29 var 1 bvlambda_29_
30 var 7 bvlambda_30_
31 concat 8 29 30
5 const 8 11111110
8 zero 8
32 and 8 -5 -31
33 cond 8 29 32 31
34 eq 1 8 33
35 cond 8 34 -8 -5
39 and 8 -5 -35
40 and 8 31 39
41 and 8 -5 40
42 and 8 40 41
;63 root 8 42

51 and 8 -5 31
52 and 8 -35 51
53 and 8 -5 52
54 and 8 52 53
;64 root 8 54
65 eq 1 42 54
66 root 1 -65