1 zero 1
2 root 1 1
3 var 1
4 eq 1 3 -1
5 eq 1 4 -1
6 root 1 5
7 var 1
8 eq 1 7 3
9 root 1 8
10 var 1
11 var 1
12 and 1 11 7
13 eq 1 10 12
14 root 1 13
15 var 1
16 eq 1 15 10
17 root 1 16
18 var 1
19 eq 1 18 -1
20 eq 1 15 -1
21 var 1
22 and 1 20 -21
23 eq 1 19 -22
24 root 1 23
25 var 1
26 eq 1 25 18
27 root 1 26
28 eq 1 25 -1
29 eq 1 1 28
30 root 1 29