1 var 8
2 one 3
3 srl 8 1 2
4 var 8
5 ult 1 4 -3
6 root 1 -5