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