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

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