1var 0..64: INT____00001 :: is_defined_var :: var_is_introduced;
2array [1..64] of var 0..1: a;
3var 0..64: numq :: output_var = INT____00001;
4array [1..64] of var 0..1: x :: output_array([1..8, 1..8]);
5constraint int_lin_eq([1, 1], [a[1], x[1]], 1);
6constraint int_lin_eq([1, 1], [a[2], x[2]], 1);
7constraint int_lin_eq([1, 1], [a[3], x[3]], 1);
8constraint int_lin_eq([1, 1], [a[4], x[4]], 1);
9constraint int_lin_eq([1, 1], [a[5], x[5]], 1);
10constraint int_lin_eq([1, 1], [a[6], x[6]], 1);
11constraint int_lin_eq([1, 1], [a[7], x[7]], 1);
12constraint int_lin_eq([1, 1], [a[8], x[8]], 1);
13constraint int_lin_eq([1, 1], [a[9], x[9]], 1);
14constraint int_lin_eq([1, 1], [a[10], x[10]], 1);
15constraint int_lin_eq([1, 1], [a[11], x[11]], 1);
16constraint int_lin_eq([1, 1], [a[12], x[12]], 1);
17constraint int_lin_eq([1, 1], [a[13], x[13]], 1);
18constraint int_lin_eq([1, 1], [a[14], x[14]], 1);
19constraint int_lin_eq([1, 1], [a[15], x[15]], 1);
20constraint int_lin_eq([1, 1], [a[16], x[16]], 1);
21constraint int_lin_eq([1, 1], [a[17], x[17]], 1);
22constraint int_lin_eq([1, 1], [a[18], x[18]], 1);
23constraint int_lin_eq([1, 1], [a[19], x[19]], 1);
24constraint int_lin_eq([1, 1], [a[20], x[20]], 1);
25constraint int_lin_eq([1, 1], [a[21], x[21]], 1);
26constraint int_lin_eq([1, 1], [a[22], x[22]], 1);
27constraint int_lin_eq([1, 1], [a[23], x[23]], 1);
28constraint int_lin_eq([1, 1], [a[24], x[24]], 1);
29constraint int_lin_eq([1, 1], [a[25], x[25]], 1);
30constraint int_lin_eq([1, 1], [a[26], x[26]], 1);
31constraint int_lin_eq([1, 1], [a[27], x[27]], 1);
32constraint int_lin_eq([1, 1], [a[28], x[28]], 1);
33constraint int_lin_eq([1, 1], [a[29], x[29]], 1);
34constraint int_lin_eq([1, 1], [a[30], x[30]], 1);
35constraint int_lin_eq([1, 1], [a[31], x[31]], 1);
36constraint int_lin_eq([1, 1], [a[32], x[32]], 1);
37constraint int_lin_eq([1, 1], [a[33], x[33]], 1);
38constraint int_lin_eq([1, 1], [a[34], x[34]], 1);
39constraint int_lin_eq([1, 1], [a[35], x[35]], 1);
40constraint int_lin_eq([1, 1], [a[36], x[36]], 1);
41constraint int_lin_eq([1, 1], [a[37], x[37]], 1);
42constraint int_lin_eq([1, 1], [a[38], x[38]], 1);
43constraint int_lin_eq([1, 1], [a[39], x[39]], 1);
44constraint int_lin_eq([1, 1], [a[40], x[40]], 1);
45constraint int_lin_eq([1, 1], [a[41], x[41]], 1);
46constraint int_lin_eq([1, 1], [a[42], x[42]], 1);
47constraint int_lin_eq([1, 1], [a[43], x[43]], 1);
48constraint int_lin_eq([1, 1], [a[44], x[44]], 1);
49constraint int_lin_eq([1, 1], [a[45], x[45]], 1);
50constraint int_lin_eq([1, 1], [a[46], x[46]], 1);
51constraint int_lin_eq([1, 1], [a[47], x[47]], 1);
52constraint int_lin_eq([1, 1], [a[48], x[48]], 1);
53constraint int_lin_eq([1, 1], [a[49], x[49]], 1);
54constraint int_lin_eq([1, 1], [a[50], x[50]], 1);
55constraint int_lin_eq([1, 1], [a[51], x[51]], 1);
56constraint int_lin_eq([1, 1], [a[52], x[52]], 1);
57constraint int_lin_eq([1, 1], [a[53], x[53]], 1);
58constraint int_lin_eq([1, 1], [a[54], x[54]], 1);
59constraint int_lin_eq([1, 1], [a[55], x[55]], 1);
60constraint int_lin_eq([1, 1], [a[56], x[56]], 1);
61constraint int_lin_eq([1, 1], [a[57], x[57]], 1);
62constraint int_lin_eq([1, 1], [a[58], x[58]], 1);
63constraint int_lin_eq([1, 1], [a[59], x[59]], 1);
64constraint int_lin_eq([1, 1], [a[60], x[60]], 1);
65constraint int_lin_eq([1, 1], [a[61], x[61]], 1);
66constraint int_lin_eq([1, 1], [a[62], x[62]], 1);
67constraint int_lin_eq([1, 1], [a[63], x[63]], 1);
68constraint int_lin_eq([1, 1], [a[64], x[64]], 1);
69constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00001, x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0) :: defines_var(INT____00001);
70constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[1], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[17], x[19], x[25], x[28], x[33], x[37], x[41], x[46], x[49], x[55], x[57], x[64]], 0);
71constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[2], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[18], x[20], x[26], x[29], x[34], x[38], x[42], x[47], x[50], x[56], x[58]], 0);
72constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[3], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[10], x[11], x[12], x[17], x[19], x[21], x[27], x[30], x[35], x[39], x[43], x[48], x[51], x[59]], 0);
73constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[4], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[11], x[12], x[13], x[18], x[20], x[22], x[25], x[28], x[31], x[36], x[40], x[44], x[52], x[60]], 0);
74constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[5], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[12], x[13], x[14], x[19], x[21], x[23], x[26], x[29], x[32], x[33], x[37], x[45], x[53], x[61]], 0);
75constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[6], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[13], x[14], x[15], x[20], x[22], x[24], x[27], x[30], x[34], x[38], x[41], x[46], x[54], x[62]], 0);
76constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[7], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[14], x[15], x[16], x[21], x[23], x[28], x[31], x[35], x[39], x[42], x[47], x[49], x[55], x[63]], 0);
77constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[8], x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[15], x[16], x[22], x[24], x[29], x[32], x[36], x[40], x[43], x[48], x[50], x[56], x[57], x[64]], 0);
78constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[9], x[1], x[2], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[25], x[27], x[33], x[36], x[41], x[45], x[49], x[54], x[57], x[63]], 0);
79constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[16], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[23], x[24], x[30], x[32], x[37], x[40], x[44], x[48], x[51], x[56], x[58], x[64]], 0);
80constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[17], x[1], x[3], x[9], x[10], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[33], x[35], x[41], x[44], x[49], x[53], x[57], x[62]], 0);
81constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[24], x[6], x[8], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[31], x[32], x[38], x[40], x[45], x[48], x[52], x[56], x[59], x[64]], 0);
82constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[25], x[1], x[4], x[9], x[11], x[17], x[18], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[41], x[43], x[49], x[52], x[57], x[61]], 0);
83constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[32], x[5], x[8], x[14], x[16], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[39], x[40], x[46], x[48], x[53], x[56], x[60], x[64]], 0);
84constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[33], x[1], x[5], x[9], x[12], x[17], x[19], x[25], x[26], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[49], x[51], x[57], x[60]], 0);
85constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[40], x[4], x[8], x[13], x[16], x[22], x[24], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[47], x[48], x[54], x[56], x[61], x[64]], 0);
86constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[41], x[1], x[6], x[9], x[13], x[17], x[20], x[25], x[27], x[33], x[34], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[57], x[59]], 0);
87constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[48], x[3], x[8], x[12], x[16], x[21], x[24], x[30], x[32], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[55], x[56], x[62], x[64]], 0);
88constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[49], x[1], x[7], x[9], x[14], x[17], x[21], x[25], x[28], x[33], x[35], x[41], x[42], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58]], 0);
89constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[56], x[2], x[8], x[11], x[16], x[20], x[24], x[29], x[32], x[38], x[40], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[63], x[64]], 0);
90constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[57], x[1], x[8], x[9], x[15], x[17], x[22], x[25], x[29], x[33], x[36], x[41], x[43], x[49], x[50], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
91constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[58], x[2], x[10], x[16], x[18], x[23], x[26], x[30], x[34], x[37], x[42], x[44], x[49], x[50], x[51], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
92constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[59], x[3], x[11], x[19], x[24], x[27], x[31], x[35], x[38], x[41], x[43], x[45], x[50], x[51], x[52], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
93constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[60], x[4], x[12], x[20], x[28], x[32], x[33], x[36], x[39], x[42], x[44], x[46], x[51], x[52], x[53], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
94constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[61], x[5], x[13], x[21], x[25], x[29], x[34], x[37], x[40], x[43], x[45], x[47], x[52], x[53], x[54], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
95constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[62], x[6], x[14], x[17], x[22], x[26], x[30], x[35], x[38], x[44], x[46], x[48], x[53], x[54], x[55], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
96constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[63], x[7], x[9], x[15], x[18], x[23], x[27], x[31], x[36], x[39], x[45], x[47], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
97constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[64], x[1], x[8], x[10], x[16], x[19], x[24], x[28], x[32], x[37], x[40], x[46], x[48], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], 0);
98constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[10], x[1], x[2], x[3], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[26], x[28], x[34], x[37], x[42], x[46], x[50], x[55], x[58], x[64]], 0);
99constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[11], x[2], x[3], x[4], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[18], x[19], x[20], x[25], x[27], x[29], x[35], x[38], x[43], x[47], x[51], x[56], x[59]], 0);
100constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[12], x[3], x[4], x[5], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[19], x[20], x[21], x[26], x[28], x[30], x[33], x[36], x[39], x[44], x[48], x[52], x[60]], 0);
101constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[13], x[4], x[5], x[6], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[20], x[21], x[22], x[27], x[29], x[31], x[34], x[37], x[40], x[41], x[45], x[53], x[61]], 0);
102constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[14], x[5], x[6], x[7], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[21], x[22], x[23], x[28], x[30], x[32], x[35], x[38], x[42], x[46], x[49], x[54], x[62]], 0);
103constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[15], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[22], x[23], x[24], x[29], x[31], x[36], x[39], x[43], x[47], x[50], x[55], x[57], x[63]], 0);
104constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[18], x[2], x[4], x[9], x[10], x[11], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[34], x[36], x[42], x[45], x[50], x[54], x[58], x[63]], 0);
105constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[23], x[5], x[7], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[30], x[31], x[32], x[37], x[39], x[44], x[47], x[51], x[55], x[58], x[63]], 0);
106constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[26], x[2], x[5], x[10], x[12], x[17], x[18], x[19], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[42], x[44], x[50], x[53], x[58], x[62]], 0);
107constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[31], x[4], x[7], x[13], x[15], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[38], x[39], x[40], x[45], x[47], x[52], x[55], x[59], x[63]], 0);
108constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[34], x[2], x[6], x[10], x[13], x[18], x[20], x[25], x[26], x[27], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[50], x[52], x[58], x[61]], 0);
109constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[39], x[3], x[7], x[12], x[15], x[21], x[23], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[46], x[47], x[48], x[53], x[55], x[60], x[63]], 0);
110constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[42], x[2], x[7], x[10], x[14], x[18], x[21], x[26], x[28], x[33], x[34], x[35], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[58], x[60]], 0);
111constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[47], x[2], x[7], x[11], x[15], x[20], x[23], x[29], x[31], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[54], x[55], x[56], x[61], x[63]], 0);
112constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[50], x[2], x[8], x[10], x[15], x[18], x[22], x[26], x[29], x[34], x[36], x[41], x[42], x[43], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59]], 0);
113constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[51], x[3], x[11], x[16], x[19], x[23], x[27], x[30], x[33], x[35], x[37], x[42], x[43], x[44], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[58], x[59], x[60]], 0);
114constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[52], x[4], x[12], x[20], x[24], x[25], x[28], x[31], x[34], x[36], x[38], x[43], x[44], x[45], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[59], x[60], x[61]], 0);
115constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[53], x[5], x[13], x[17], x[21], x[26], x[29], x[32], x[35], x[37], x[39], x[44], x[45], x[46], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[60], x[61], x[62]], 0);
116constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[54], x[6], x[9], x[14], x[18], x[22], x[27], x[30], x[36], x[38], x[40], x[45], x[46], x[47], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[61], x[62], x[63]], 0);
117constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[55], x[1], x[7], x[10], x[15], x[19], x[23], x[28], x[31], x[37], x[39], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[62], x[63], x[64]], 0);
118constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[19], x[1], x[3], x[5], x[10], x[11], x[12], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[26], x[27], x[28], x[33], x[35], x[37], x[43], x[46], x[51], x[55], x[59], x[64]], 0);
119constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[20], x[2], x[4], x[6], x[11], x[12], x[13], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[27], x[28], x[29], x[34], x[36], x[38], x[41], x[44], x[47], x[52], x[56], x[60]], 0);
120constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[21], x[3], x[5], x[7], x[12], x[13], x[14], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[28], x[29], x[30], x[35], x[37], x[39], x[42], x[45], x[48], x[49], x[53], x[61]], 0);
121constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[22], x[4], x[6], x[8], x[13], x[14], x[15], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[29], x[30], x[31], x[36], x[38], x[40], x[43], x[46], x[50], x[54], x[57], x[62]], 0);
122constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[27], x[3], x[6], x[9], x[11], x[13], x[18], x[19], x[20], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[34], x[35], x[36], x[41], x[43], x[45], x[51], x[54], x[59], x[63]], 0);
123constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[30], x[3], x[6], x[12], x[14], x[16], x[21], x[22], x[23], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[37], x[38], x[39], x[44], x[46], x[48], x[51], x[54], x[58], x[62]], 0);
124constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[35], x[3], x[7], x[11], x[14], x[17], x[19], x[21], x[26], x[27], x[28], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[42], x[43], x[44], x[49], x[51], x[53], x[59], x[62]], 0);
125constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[38], x[2], x[6], x[11], x[14], x[20], x[22], x[24], x[29], x[30], x[31], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[45], x[46], x[47], x[52], x[54], x[56], x[59], x[62]], 0);
126constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[43], x[3], x[8], x[11], x[15], x[19], x[22], x[25], x[27], x[29], x[34], x[35], x[36], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[50], x[51], x[52], x[57], x[59], x[61]], 0);
127constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[44], x[4], x[12], x[16], x[17], x[20], x[23], x[26], x[28], x[30], x[35], x[36], x[37], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[51], x[52], x[53], x[58], x[60], x[62]], 0);
128constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[45], x[5], x[9], x[13], x[18], x[21], x[24], x[27], x[29], x[31], x[36], x[37], x[38], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[52], x[53], x[54], x[59], x[61], x[63]], 0);
129constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[46], x[1], x[6], x[10], x[14], x[19], x[22], x[28], x[30], x[32], x[37], x[38], x[39], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[53], x[54], x[55], x[60], x[62], x[64]], 0);
130constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[28], x[1], x[4], x[7], x[10], x[12], x[14], x[19], x[20], x[21], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[35], x[36], x[37], x[42], x[44], x[46], x[49], x[52], x[55], x[60], x[64]], 0);
131constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[29], x[2], x[5], x[8], x[11], x[13], x[15], x[20], x[21], x[22], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[36], x[37], x[38], x[43], x[45], x[47], x[50], x[53], x[56], x[57], x[61]], 0);
132constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[36], x[4], x[8], x[9], x[12], x[15], x[18], x[20], x[22], x[27], x[28], x[29], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[43], x[44], x[45], x[50], x[52], x[54], x[57], x[60], x[63]], 0);
133constraint int_lin_le([1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [a[37], x[1], x[5], x[10], x[13], x[16], x[19], x[21], x[23], x[28], x[29], x[30], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[44], x[45], x[46], x[51], x[53], x[55], x[58], x[61], x[64]], 0);
134solve  :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64]], first_fail, indomain, complete) minimize INT____00001;
135