1 var 2
2 var 1
3 var 1
4 and 1 2 3
5 concat 3 1 4
6 zero 3
7 eq 1 5 6
8 eq 1 3 7
9 var 1
10 and 1 8 9
11 and 1 7 10 
12 root 1 11