0 init
1 set check 1
2 set phase 0
3 set probehbr 0
4 add 6
5 add -12
6 add 0
7 add 1
8 add 11
9 add 0
10 add 3
11 add 10
12 add 8
13 add 0
14 add -8
15 add 13
16 add 0
17 add 8
18 add 5
19 add 0
20 add -1
21 add 14
22 add 0
23 add -9
24 add 13
25 add 0
26 add -13
27 add -7
28 add 0
29 add -5
30 add -14
31 add 0
32 add -6
33 add -10
34 add 0
35 add -3
36 add -11
37 add 0
38 add 9
39 add -3
40 add 0
41 constrain 4
42 constrain -7
43 constrain -2
44 constrain 0
45 add -20
46 add -13
47 add 18
48 add 0
49 constrain -19
50 constrain 15
51 constrain 16
52 constrain 0
53 lookahead 0
54 add 18
55 add -13
56 add -17
57 add 0
58 add -18
59 add -8
60 add 0
61 add 20
62 add 0
63 add 12
64 add 0
65 constrain 17
66 constrain -14
67 constrain -21
68 constrain 0
69 solve 0