0 init
1 set bump 0
2 set restartint 1
3 set restartmargin 0
4 add 4
5 add 0
6 add 7
7 add -3
8 add 0
9 add -28
10 add 0
11 add -27
12 add 3
13 add 0
14 add -11
15 add 0
16 add -10
17 add 0
18 add -18
19 add -26
20 add 0
21 add -7
22 add -1
23 add 0
24 add 12
25 add 0
26 add -6
27 add 26
28 add 0
29 add -1
30 add 13
31 add 0
32 add -17
33 add 0
34 add -7
35 add 14
36 add 0
37 add -16
38 add 5
39 add 0
40 add -15
41 add 0
42 add 6
43 add 3
44 add 0
45 add 25
46 add 0
47 add -20
48 add 0
49 add -29
50 add 0
51 add 6
52 add 9
53 add 0
54 add 23
55 add 0
56 add -24
57 add 0
58 add 16
59 add 30
60 add 8
61 add 0
62 add -9
63 add -14
64 add 0
65 add -2
66 add -30
67 add 0
68 add 18
69 add -8
70 add 0
71 add 19
72 add 0
73 add -3
74 add 13
75 add 0
76 add -21
77 add 0
78 add 16
79 add -13
80 add 0
81 add -5
82 add 27
83 add 0
84 assume -22
85 solve 0