1 var 32
2 zero 29 
3 var 2
4 one 1
5 concat 31 2 3
6 concat 32 5 4 
7 urem 32 1 6
8 slice 29 7 31 3
9 eq 1 8 2
10 root 1 -9