0 init 1 set elimint 0 2 add 4 3 add 2 4 add 0 5 add 4 6 add 3 7 add 0 8 add -2 9 add -1 10 add 0 11 add -3 12 add -4 13 add 0 14 add 3 15 add -4 16 add 0 17 add 1 18 add -3 19 add 0 20 solve 0