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