1 var 1
2 var 1
3 and 1 1 2
4 var 1
5 var 2
6 var 1
7 slice 1 3 0 0
8 zero 3
9 cond 3 7 -8 8
10 concat 4 9 3
11 slice 1 10 3 3
12 concat 2 6 11
13 add 2 5 12
14 zero 2
15 eq 1 13 14
16 and 1 4 15
17 and 1 3 16
18 root 1 17