1 var 8 
2 const 4 0010 
3 const 4 0111 
4 const 8 00100111 
5 const 8 11010111 
6 const 8 00101000
7 const 8 11011000

8 concat 12 1 2
9 concat 16 -8 3

10 concat 16 -1 5 
11 eq 1 9 10 


12 concat 12 1 -2
13 concat 16 -12 3

14 concat 16 -1 4
15 eq 1 13 14


16 concat 12 1 2
17 concat 16 -16 -3

18 concat 16 -1 7
19 eq 1 17 18


20 concat 12 1 -2
21 concat 16 -20 -3

22 concat 16 -1 6
23 eq 1 21 22

24 or 1 -11 -15
25 or 1 -19 -23
26 or 1 24 25
27 root 1 26