1var bool: BOOL____00001 :: is_defined_var :: var_is_introduced;
2var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;
3var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;
4var bool: BOOL____00007 :: is_defined_var :: var_is_introduced;
5var bool: BOOL____00009 :: is_defined_var :: var_is_introduced;
6var bool: BOOL____00011 :: is_defined_var :: var_is_introduced;
7var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;
8var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;
9var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;
10var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;
11var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;
12var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;
13var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;
14var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;
15var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;
16var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;
17var 0..1: INT____00002 :: is_defined_var :: var_is_introduced;
18var 0..1: INT____00004 :: is_defined_var :: var_is_introduced;
19var 0..1: INT____00006 :: is_defined_var :: var_is_introduced;
20var 0..1: INT____00008 :: is_defined_var :: var_is_introduced;
21var 0..1: INT____00010 :: is_defined_var :: var_is_introduced;
22var 0..1: INT____00012 :: is_defined_var :: var_is_introduced;
23var 0..1: INT____00014 :: is_defined_var :: var_is_introduced;
24var 0..1: INT____00016 :: is_defined_var :: var_is_introduced;
25var 0..1: INT____00018 :: is_defined_var :: var_is_introduced;
26var 0..1: INT____00020 :: is_defined_var :: var_is_introduced;
27var 0..1: INT____00022 :: is_defined_var :: var_is_introduced;
28var 0..1: INT____00024 :: is_defined_var :: var_is_introduced;
29var 0..1: INT____00026 :: is_defined_var :: var_is_introduced;
30var 0..1: INT____00028 :: is_defined_var :: var_is_introduced;
31var 0..1: INT____00030 :: is_defined_var :: var_is_introduced;
32var 0..1: INT____00032 :: is_defined_var :: var_is_introduced;
33var 4..16: INT____00033 :: is_defined_var :: var_is_introduced;
34array [1..16] of var 0..16: rt :: output_array([1..4, 1..4]);
35var 0..16: sum_zeros :: output_var = INT____00033;
36array [1..96] of var 0..1: x;
37constraint bool2int(BOOL____00001, INT____00002) :: defines_var(INT____00002);
38constraint bool2int(BOOL____00003, INT____00004) :: defines_var(INT____00004);
39constraint bool2int(BOOL____00005, INT____00006) :: defines_var(INT____00006);
40constraint bool2int(BOOL____00007, INT____00008) :: defines_var(INT____00008);
41constraint bool2int(BOOL____00009, INT____00010) :: defines_var(INT____00010);
42constraint bool2int(BOOL____00011, INT____00012) :: defines_var(INT____00012);
43constraint bool2int(BOOL____00013, INT____00014) :: defines_var(INT____00014);
44constraint bool2int(BOOL____00015, INT____00016) :: defines_var(INT____00016);
45constraint bool2int(BOOL____00017, INT____00018) :: defines_var(INT____00018);
46constraint bool2int(BOOL____00019, INT____00020) :: defines_var(INT____00020);
47constraint bool2int(BOOL____00021, INT____00022) :: defines_var(INT____00022);
48constraint bool2int(BOOL____00023, INT____00024) :: defines_var(INT____00024);
49constraint bool2int(BOOL____00025, INT____00026) :: defines_var(INT____00026);
50constraint bool2int(BOOL____00027, INT____00028) :: defines_var(INT____00028);
51constraint bool2int(BOOL____00029, INT____00030) :: defines_var(INT____00030);
52constraint bool2int(BOOL____00031, INT____00032) :: defines_var(INT____00032);
53constraint int_eq_reif(rt[1], 0, BOOL____00001) :: defines_var(BOOL____00001);
54constraint int_eq_reif(rt[2], 0, BOOL____00003) :: defines_var(BOOL____00003);
55constraint int_eq_reif(rt[3], 0, BOOL____00005) :: defines_var(BOOL____00005);
56constraint int_eq_reif(rt[4], 0, BOOL____00007) :: defines_var(BOOL____00007);
57constraint int_eq_reif(rt[5], 0, BOOL____00009) :: defines_var(BOOL____00009);
58constraint int_eq_reif(rt[6], 0, BOOL____00011) :: defines_var(BOOL____00011);
59constraint int_eq_reif(rt[7], 0, BOOL____00013) :: defines_var(BOOL____00013);
60constraint int_eq_reif(rt[8], 0, BOOL____00015) :: defines_var(BOOL____00015);
61constraint int_eq_reif(rt[9], 0, BOOL____00017) :: defines_var(BOOL____00017);
62constraint int_eq_reif(rt[10], 0, BOOL____00019) :: defines_var(BOOL____00019);
63constraint int_eq_reif(rt[11], 0, BOOL____00021) :: defines_var(BOOL____00021);
64constraint int_eq_reif(rt[12], 0, BOOL____00023) :: defines_var(BOOL____00023);
65constraint int_eq_reif(rt[13], 0, BOOL____00025) :: defines_var(BOOL____00025);
66constraint int_eq_reif(rt[14], 0, BOOL____00027) :: defines_var(BOOL____00027);
67constraint int_eq_reif(rt[15], 0, BOOL____00029) :: defines_var(BOOL____00029);
68constraint int_eq_reif(rt[16], 0, BOOL____00031) :: defines_var(BOOL____00031);
69constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[1], x[1], x[2], x[3], x[4], x[5], x[6]], 0);
70constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[2], x[7], x[8], x[9], x[10], x[11], x[12]], 0);
71constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[3], x[13], x[14], x[15], x[16], x[17], x[18]], 0);
72constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[4], x[19], x[20], x[21], x[22], x[23], x[24]], 0);
73constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[5], x[25], x[26], x[27], x[28], x[29], x[30]], 0);
74constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[6], x[31], x[32], x[33], x[34], x[35], x[36]], 0);
75constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[7], x[37], x[38], x[39], x[40], x[41], x[42]], 0);
76constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[8], x[43], x[44], x[45], x[46], x[47], x[48]], 0);
77constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[9], x[49], x[50], x[51], x[52], x[53], x[54]], 0);
78constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[10], x[55], x[56], x[57], x[58], x[59], x[60]], 0);
79constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[11], x[61], x[62], x[63], x[64], x[65], x[66]], 0);
80constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[12], x[67], x[68], x[69], x[70], x[71], x[72]], 0);
81constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[13], x[73], x[74], x[75], x[76], x[77], x[78]], 0);
82constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[14], x[79], x[80], x[81], x[82], x[83], x[84]], 0);
83constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[15], x[85], x[86], x[87], x[88], x[89], x[90]], 0);
84constraint int_lin_eq([1, -1, -2, -3, -4, -5, -6], [rt[16], x[91], x[92], x[93], x[94], x[95], x[96]], 0);
85constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[1], x[7], x[13], x[19], x[25], x[31], x[37], x[43], x[49], x[55], x[61], x[67], x[73], x[79], x[85], x[91]], 2);
86constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[2], x[8], x[14], x[20], x[26], x[32], x[38], x[44], x[50], x[56], x[62], x[68], x[74], x[80], x[86], x[92]], 2);
87constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[3], x[9], x[15], x[21], x[27], x[33], x[39], x[45], x[51], x[57], x[63], x[69], x[75], x[81], x[87], x[93]], 2);
88constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[4], x[10], x[16], x[22], x[28], x[34], x[40], x[46], x[52], x[58], x[64], x[70], x[76], x[82], x[88], x[94]], 2);
89constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[5], x[11], x[17], x[23], x[29], x[35], x[41], x[47], x[53], x[59], x[65], x[71], x[77], x[83], x[89], x[95]], 2);
90constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [x[6], x[12], x[18], x[24], x[30], x[36], x[42], x[48], x[54], x[60], x[66], x[72], x[78], x[84], x[90], x[96]], 2);
91constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00033, INT____00002, INT____00004, INT____00006, INT____00008, INT____00010, INT____00012, INT____00014, INT____00016, INT____00018, INT____00020, INT____00022, INT____00024, INT____00026, INT____00028, INT____00030, INT____00032], 0) :: defines_var(INT____00033);
92constraint int_lin_le([-1, -1, 1], [x[67], x[85], x[91]], 0);
93constraint int_lin_le([-1, -1, 1], [x[68], x[86], x[92]], 0);
94constraint int_lin_le([-1, -1, 1], [x[69], x[87], x[93]], 0);
95constraint int_lin_le([-1, -1, 1], [x[70], x[88], x[94]], 0);
96constraint int_lin_le([-1, -1, 1], [x[71], x[89], x[95]], 0);
97constraint int_lin_le([-1, -1, 1], [x[72], x[90], x[96]], 0);
98constraint int_lin_le([-1, 1, -1], [x[13], x[19], x[43]], 0);
99constraint int_lin_le([-1, 1, -1], [x[14], x[20], x[44]], 0);
100constraint int_lin_le([-1, 1, -1], [x[15], x[21], x[45]], 0);
101constraint int_lin_le([-1, 1, -1], [x[16], x[22], x[46]], 0);
102constraint int_lin_le([-1, 1, -1], [x[17], x[23], x[47]], 0);
103constraint int_lin_le([-1, 1, -1], [x[18], x[24], x[48]], 0);
104constraint int_lin_le([-1, 1, -1], [x[49], x[73], x[79]], 0);
105constraint int_lin_le([-1, 1, -1], [x[50], x[74], x[80]], 0);
106constraint int_lin_le([-1, 1, -1], [x[51], x[75], x[81]], 0);
107constraint int_lin_le([-1, 1, -1], [x[52], x[76], x[82]], 0);
108constraint int_lin_le([-1, 1, -1], [x[53], x[77], x[83]], 0);
109constraint int_lin_le([-1, 1, -1], [x[54], x[78], x[84]], 0);
110constraint int_lin_le([1, -1, -1], [x[1], x[7], x[25]], 0);
111constraint int_lin_le([1, -1, -1], [x[2], x[8], x[26]], 0);
112constraint int_lin_le([1, -1, -1], [x[3], x[9], x[27]], 0);
113constraint int_lin_le([1, -1, -1], [x[4], x[10], x[28]], 0);
114constraint int_lin_le([1, -1, -1], [x[5], x[11], x[29]], 0);
115constraint int_lin_le([1, -1, -1], [x[6], x[12], x[30]], 0);
116constraint int_lin_le([-1, -1, 1, -1], [x[19], x[37], x[43], x[67]], 0);
117constraint int_lin_le([-1, -1, 1, -1], [x[20], x[38], x[44], x[68]], 0);
118constraint int_lin_le([-1, -1, 1, -1], [x[21], x[39], x[45], x[69]], 0);
119constraint int_lin_le([-1, -1, 1, -1], [x[22], x[40], x[46], x[70]], 0);
120constraint int_lin_le([-1, -1, 1, -1], [x[23], x[41], x[47], x[71]], 0);
121constraint int_lin_le([-1, -1, 1, -1], [x[24], x[42], x[48], x[72]], 0);
122constraint int_lin_le([-1, -1, 1, -1], [x[43], x[61], x[67], x[91]], 0);
123constraint int_lin_le([-1, -1, 1, -1], [x[44], x[62], x[68], x[92]], 0);
124constraint int_lin_le([-1, -1, 1, -1], [x[45], x[63], x[69], x[93]], 0);
125constraint int_lin_le([-1, -1, 1, -1], [x[46], x[64], x[70], x[94]], 0);
126constraint int_lin_le([-1, -1, 1, -1], [x[47], x[65], x[71], x[95]], 0);
127constraint int_lin_le([-1, -1, 1, -1], [x[48], x[66], x[72], x[96]], 0);
128constraint int_lin_le([-1, -1, 1, -1], [x[55], x[73], x[79], x[85]], 0);
129constraint int_lin_le([-1, -1, 1, -1], [x[56], x[74], x[80], x[86]], 0);
130constraint int_lin_le([-1, -1, 1, -1], [x[57], x[75], x[81], x[87]], 0);
131constraint int_lin_le([-1, -1, 1, -1], [x[58], x[76], x[82], x[88]], 0);
132constraint int_lin_le([-1, -1, 1, -1], [x[59], x[77], x[83], x[89]], 0);
133constraint int_lin_le([-1, -1, 1, -1], [x[60], x[78], x[84], x[90]], 0);
134constraint int_lin_le([-1, -1, 1, -1], [x[61], x[79], x[85], x[91]], 0);
135constraint int_lin_le([-1, -1, 1, -1], [x[62], x[80], x[86], x[92]], 0);
136constraint int_lin_le([-1, -1, 1, -1], [x[63], x[81], x[87], x[93]], 0);
137constraint int_lin_le([-1, -1, 1, -1], [x[64], x[82], x[88], x[94]], 0);
138constraint int_lin_le([-1, -1, 1, -1], [x[65], x[83], x[89], x[95]], 0);
139constraint int_lin_le([-1, -1, 1, -1], [x[66], x[84], x[90], x[96]], 0);
140constraint int_lin_le([-1, 1, -1, -1], [x[1], x[7], x[13], x[31]], 0);
141constraint int_lin_le([-1, 1, -1, -1], [x[1], x[25], x[31], x[49]], 0);
142constraint int_lin_le([-1, 1, -1, -1], [x[2], x[8], x[14], x[32]], 0);
143constraint int_lin_le([-1, 1, -1, -1], [x[2], x[26], x[32], x[50]], 0);
144constraint int_lin_le([-1, 1, -1, -1], [x[3], x[9], x[15], x[33]], 0);
145constraint int_lin_le([-1, 1, -1, -1], [x[3], x[27], x[33], x[51]], 0);
146constraint int_lin_le([-1, 1, -1, -1], [x[4], x[10], x[16], x[34]], 0);
147constraint int_lin_le([-1, 1, -1, -1], [x[4], x[28], x[34], x[52]], 0);
148constraint int_lin_le([-1, 1, -1, -1], [x[5], x[11], x[17], x[35]], 0);
149constraint int_lin_le([-1, 1, -1, -1], [x[5], x[29], x[35], x[53]], 0);
150constraint int_lin_le([-1, 1, -1, -1], [x[6], x[12], x[18], x[36]], 0);
151constraint int_lin_le([-1, 1, -1, -1], [x[6], x[30], x[36], x[54]], 0);
152constraint int_lin_le([-1, 1, -1, -1], [x[7], x[13], x[19], x[37]], 0);
153constraint int_lin_le([-1, 1, -1, -1], [x[8], x[14], x[20], x[38]], 0);
154constraint int_lin_le([-1, 1, -1, -1], [x[9], x[15], x[21], x[39]], 0);
155constraint int_lin_le([-1, 1, -1, -1], [x[10], x[16], x[22], x[40]], 0);
156constraint int_lin_le([-1, 1, -1, -1], [x[11], x[17], x[23], x[41]], 0);
157constraint int_lin_le([-1, 1, -1, -1], [x[12], x[18], x[24], x[42]], 0);
158constraint int_lin_le([-1, 1, -1, -1], [x[25], x[49], x[55], x[73]], 0);
159constraint int_lin_le([-1, 1, -1, -1], [x[26], x[50], x[56], x[74]], 0);
160constraint int_lin_le([-1, 1, -1, -1], [x[27], x[51], x[57], x[75]], 0);
161constraint int_lin_le([-1, 1, -1, -1], [x[28], x[52], x[58], x[76]], 0);
162constraint int_lin_le([-1, 1, -1, -1], [x[29], x[53], x[59], x[77]], 0);
163constraint int_lin_le([-1, 1, -1, -1], [x[30], x[54], x[60], x[78]], 0);
164constraint int_lin_le([-1, -1, 1, -1, -1], [x[7], x[25], x[31], x[37], x[55]], 0);
165constraint int_lin_le([-1, -1, 1, -1, -1], [x[8], x[26], x[32], x[38], x[56]], 0);
166constraint int_lin_le([-1, -1, 1, -1, -1], [x[9], x[27], x[33], x[39], x[57]], 0);
167constraint int_lin_le([-1, -1, 1, -1, -1], [x[10], x[28], x[34], x[40], x[58]], 0);
168constraint int_lin_le([-1, -1, 1, -1, -1], [x[11], x[29], x[35], x[41], x[59]], 0);
169constraint int_lin_le([-1, -1, 1, -1, -1], [x[12], x[30], x[36], x[42], x[60]], 0);
170constraint int_lin_le([-1, -1, 1, -1, -1], [x[13], x[31], x[37], x[43], x[61]], 0);
171constraint int_lin_le([-1, -1, 1, -1, -1], [x[14], x[32], x[38], x[44], x[62]], 0);
172constraint int_lin_le([-1, -1, 1, -1, -1], [x[15], x[33], x[39], x[45], x[63]], 0);
173constraint int_lin_le([-1, -1, 1, -1, -1], [x[16], x[34], x[40], x[46], x[64]], 0);
174constraint int_lin_le([-1, -1, 1, -1, -1], [x[17], x[35], x[41], x[47], x[65]], 0);
175constraint int_lin_le([-1, -1, 1, -1, -1], [x[18], x[36], x[42], x[48], x[66]], 0);
176constraint int_lin_le([-1, -1, 1, -1, -1], [x[31], x[49], x[55], x[61], x[79]], 0);
177constraint int_lin_le([-1, -1, 1, -1, -1], [x[32], x[50], x[56], x[62], x[80]], 0);
178constraint int_lin_le([-1, -1, 1, -1, -1], [x[33], x[51], x[57], x[63], x[81]], 0);
179constraint int_lin_le([-1, -1, 1, -1, -1], [x[34], x[52], x[58], x[64], x[82]], 0);
180constraint int_lin_le([-1, -1, 1, -1, -1], [x[35], x[53], x[59], x[65], x[83]], 0);
181constraint int_lin_le([-1, -1, 1, -1, -1], [x[36], x[54], x[60], x[66], x[84]], 0);
182constraint int_lin_le([-1, -1, 1, -1, -1], [x[37], x[55], x[61], x[67], x[85]], 0);
183constraint int_lin_le([-1, -1, 1, -1, -1], [x[38], x[56], x[62], x[68], x[86]], 0);
184constraint int_lin_le([-1, -1, 1, -1, -1], [x[39], x[57], x[63], x[69], x[87]], 0);
185constraint int_lin_le([-1, -1, 1, -1, -1], [x[40], x[58], x[64], x[70], x[88]], 0);
186constraint int_lin_le([-1, -1, 1, -1, -1], [x[41], x[59], x[65], x[71], x[89]], 0);
187constraint int_lin_le([-1, -1, 1, -1, -1], [x[42], x[60], x[66], x[72], x[90]], 0);
188constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[1], x[2], x[3], x[4], x[5], x[6]], 1);
189constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[7], x[8], x[9], x[10], x[11], x[12]], 1);
190constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[13], x[14], x[15], x[16], x[17], x[18]], 1);
191constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[19], x[20], x[21], x[22], x[23], x[24]], 1);
192constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[25], x[26], x[27], x[28], x[29], x[30]], 1);
193constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[31], x[32], x[33], x[34], x[35], x[36]], 1);
194constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[37], x[38], x[39], x[40], x[41], x[42]], 1);
195constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[43], x[44], x[45], x[46], x[47], x[48]], 1);
196constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[49], x[50], x[51], x[52], x[53], x[54]], 1);
197constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[55], x[56], x[57], x[58], x[59], x[60]], 1);
198constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[61], x[62], x[63], x[64], x[65], x[66]], 1);
199constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[67], x[68], x[69], x[70], x[71], x[72]], 1);
200constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[73], x[74], x[75], x[76], x[77], x[78]], 1);
201constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[79], x[80], x[81], x[82], x[83], x[84]], 1);
202constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[85], x[86], x[87], x[88], x[89], x[90]], 1);
203constraint int_lin_le([1, 1, 1, 1, 1, 1], [x[91], x[92], x[93], x[94], x[95], x[96]], 1);
204constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12]], -1);
205constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[2], x[3], x[4], x[5], x[6], x[25], x[26], x[27], x[28], x[29], x[30]], -1);
206constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18]], -1);
207constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[7], x[8], x[9], x[10], x[11], x[12], x[31], x[32], x[33], x[34], x[35], x[36]], -1);
208constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24]], -1);
209constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[13], x[14], x[15], x[16], x[17], x[18], x[37], x[38], x[39], x[40], x[41], x[42]], -1);
210constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[19], x[20], x[21], x[22], x[23], x[24], x[43], x[44], x[45], x[46], x[47], x[48]], -1);
211constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36]], -1);
212constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[25], x[26], x[27], x[28], x[29], x[30], x[49], x[50], x[51], x[52], x[53], x[54]], -1);
213constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42]], -1);
214constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[31], x[32], x[33], x[34], x[35], x[36], x[55], x[56], x[57], x[58], x[59], x[60]], -1);
215constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48]], -1);
216constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[37], x[38], x[39], x[40], x[41], x[42], x[61], x[62], x[63], x[64], x[65], x[66]], -1);
217constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[43], x[44], x[45], x[46], x[47], x[48], x[67], x[68], x[69], x[70], x[71], x[72]], -1);
218constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60]], -1);
219constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[49], x[50], x[51], x[52], x[53], x[54], x[73], x[74], x[75], x[76], x[77], x[78]], -1);
220constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66]], -1);
221constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[55], x[56], x[57], x[58], x[59], x[60], x[79], x[80], x[81], x[82], x[83], x[84]], -1);
222constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72]], -1);
223constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[61], x[62], x[63], x[64], x[65], x[66], x[85], x[86], x[87], x[88], x[89], x[90]], -1);
224constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[67], x[68], x[69], x[70], x[71], x[72], x[91], x[92], x[93], x[94], x[95], x[96]], -1);
225constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84]], -1);
226constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90]], -1);
227constraint int_lin_le([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96]], -1);
228solve  :: 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], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96]], first_fail, indomain, complete) satisfy;
229