1 var 8
2 const 1 0
3 ult 1 1 1
4 eq 1 2 3
5 root 1 4