1 var 8
2 eq 1 -1 1
3 root 1 -2