0 init
1 set elimint 0
2 add 5
3 add -2
4 add 0
5 add -4
6 add -12
7 add 0
8 add 11
9 add -5
10 add 0
11 add 8
12 add -10
13 add 0
14 add -12
15 add -11
16 add 0
17 add -3
18 add -11
19 add 0
20 add -1
21 add 3
22 add 0
23 add 2
24 add -8
25 add 0
26 add 12
27 add 7
28 add 0
29 add 1
30 add -7
31 add 0
32 add 10
33 add 11
34 add 0
35 solve 0
36 add -6
37 add -9
38 add 0