1 var 1
2 var 1
3 and 1 -1 2
4 var 3
5 slice 1 4 0 0
6 eq 1 -3 5
7 root 1 6
8 zero 5
9 cond 5 3 8 -8
10 var 14
11 zero 14
12 ult 1 10 -11
13 concat 2 12 12
14 concat 3 13 12
15 concat 6 14 4
16 slice 5 15 5 1
17 eq 1 9 16
18 root 1 17
19 var 1
20 root 1 -19
21 var 1
22 root 1 21
23 var 1
24 root 1 -23