this repo has no description
dekker.one
1array [1..2] of int: X_INTRODUCED_28 = [1,-1];
2var 0..86: X_INTRODUCED_0;
3var 0..86: X_INTRODUCED_1;
4var 0..86: X_INTRODUCED_2;
5var 0..86: X_INTRODUCED_3;
6var 0..24: X_INTRODUCED_4;
7var 0..86: X_INTRODUCED_5;
8var 0..86: X_INTRODUCED_6;
9var 0..86: X_INTRODUCED_7;
10var 0..86: X_INTRODUCED_8;
11var 0..28: X_INTRODUCED_9;
12var 0..86: X_INTRODUCED_10;
13var 0..86: X_INTRODUCED_11;
14var 0..86: X_INTRODUCED_12;
15var 0..86: X_INTRODUCED_13;
16var 0..26: X_INTRODUCED_14;
17var 0..86: X_INTRODUCED_15;
18var 0..86: X_INTRODUCED_16;
19var 0..86: X_INTRODUCED_17;
20var 0..86: X_INTRODUCED_18;
21var 0..22: X_INTRODUCED_19;
22var 0..86: X_INTRODUCED_20;
23var 0..86: X_INTRODUCED_21;
24var 0..86: X_INTRODUCED_22;
25var 0..86: X_INTRODUCED_23;
26var 0..29: X_INTRODUCED_24;
27var bool: X_INTRODUCED_52 ::var_is_introduced :: is_defined_var;
28var bool: X_INTRODUCED_53 ::var_is_introduced :: is_defined_var;
29var bool: X_INTRODUCED_54 ::var_is_introduced :: is_defined_var;
30var bool: X_INTRODUCED_55 ::var_is_introduced :: is_defined_var;
31var bool: X_INTRODUCED_56 ::var_is_introduced :: is_defined_var;
32var bool: X_INTRODUCED_57 ::var_is_introduced :: is_defined_var;
33var bool: X_INTRODUCED_58 ::var_is_introduced :: is_defined_var;
34var bool: X_INTRODUCED_59 ::var_is_introduced :: is_defined_var;
35var bool: X_INTRODUCED_60 ::var_is_introduced :: is_defined_var;
36var bool: X_INTRODUCED_61 ::var_is_introduced :: is_defined_var;
37var bool: X_INTRODUCED_62 ::var_is_introduced :: is_defined_var;
38var bool: X_INTRODUCED_63 ::var_is_introduced :: is_defined_var;
39var bool: X_INTRODUCED_64 ::var_is_introduced :: is_defined_var;
40var bool: X_INTRODUCED_65 ::var_is_introduced :: is_defined_var;
41var bool: X_INTRODUCED_66 ::var_is_introduced :: is_defined_var;
42var bool: X_INTRODUCED_67 ::var_is_introduced :: is_defined_var;
43var bool: X_INTRODUCED_68 ::var_is_introduced :: is_defined_var;
44var bool: X_INTRODUCED_69 ::var_is_introduced :: is_defined_var;
45var bool: X_INTRODUCED_70 ::var_is_introduced :: is_defined_var;
46var bool: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var;
47var bool: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var;
48var bool: X_INTRODUCED_73 ::var_is_introduced :: is_defined_var;
49var bool: X_INTRODUCED_74 ::var_is_introduced :: is_defined_var;
50var bool: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var;
51var bool: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var;
52var bool: X_INTRODUCED_77 ::var_is_introduced :: is_defined_var;
53var bool: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var;
54var bool: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var;
55var bool: X_INTRODUCED_80 ::var_is_introduced :: is_defined_var;
56var bool: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var;
57var bool: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var;
58var bool: X_INTRODUCED_83 ::var_is_introduced :: is_defined_var;
59var bool: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var;
60var bool: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var;
61var bool: X_INTRODUCED_86 ::var_is_introduced :: is_defined_var;
62var bool: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var;
63var bool: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var;
64var bool: X_INTRODUCED_89 ::var_is_introduced :: is_defined_var;
65var bool: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var;
66var bool: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var;
67var bool: X_INTRODUCED_92 ::var_is_introduced :: is_defined_var;
68var bool: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var;
69var bool: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var;
70var bool: X_INTRODUCED_95 ::var_is_introduced :: is_defined_var;
71var bool: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var;
72var bool: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var;
73var bool: X_INTRODUCED_98 ::var_is_introduced :: is_defined_var;
74var bool: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var;
75var bool: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var;
76var bool: X_INTRODUCED_101 ::var_is_introduced :: is_defined_var;
77var bool: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var;
78var bool: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var;
79var bool: X_INTRODUCED_104 ::var_is_introduced :: is_defined_var;
80var bool: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var;
81var bool: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var;
82var bool: X_INTRODUCED_107 ::var_is_introduced :: is_defined_var;
83var bool: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var;
84var bool: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var;
85var bool: X_INTRODUCED_110 ::var_is_introduced :: is_defined_var;
86var bool: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var;
87var bool: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var;
88var bool: X_INTRODUCED_113 ::var_is_introduced :: is_defined_var;
89var bool: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var;
90var bool: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var;
91var bool: X_INTRODUCED_116 ::var_is_introduced :: is_defined_var;
92var bool: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var;
93var bool: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var;
94var bool: X_INTRODUCED_119 ::var_is_introduced :: is_defined_var;
95var bool: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var;
96var bool: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var;
97var bool: X_INTRODUCED_122 ::var_is_introduced :: is_defined_var;
98var bool: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var;
99var bool: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var;
100var bool: X_INTRODUCED_125 ::var_is_introduced :: is_defined_var;
101var bool: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var;
102var bool: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var;
103var bool: X_INTRODUCED_128 ::var_is_introduced :: is_defined_var;
104var bool: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var;
105var bool: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var;
106var bool: X_INTRODUCED_131 ::var_is_introduced :: is_defined_var;
107var bool: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var;
108var bool: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var;
109var bool: X_INTRODUCED_134 ::var_is_introduced :: is_defined_var;
110var bool: X_INTRODUCED_135 ::var_is_introduced :: is_defined_var;
111var bool: X_INTRODUCED_136 ::var_is_introduced :: is_defined_var;
112var bool: X_INTRODUCED_137 ::var_is_introduced :: is_defined_var;
113var bool: X_INTRODUCED_138 ::var_is_introduced :: is_defined_var;
114var bool: X_INTRODUCED_139 ::var_is_introduced :: is_defined_var;
115var bool: X_INTRODUCED_140 ::var_is_introduced :: is_defined_var;
116var bool: X_INTRODUCED_141 ::var_is_introduced :: is_defined_var;
117var bool: X_INTRODUCED_142 ::var_is_introduced :: is_defined_var;
118var bool: X_INTRODUCED_143 ::var_is_introduced :: is_defined_var;
119var bool: X_INTRODUCED_144 ::var_is_introduced :: is_defined_var;
120var bool: X_INTRODUCED_145 ::var_is_introduced :: is_defined_var;
121var bool: X_INTRODUCED_146 ::var_is_introduced :: is_defined_var;
122var bool: X_INTRODUCED_147 ::var_is_introduced :: is_defined_var;
123var bool: X_INTRODUCED_148 ::var_is_introduced :: is_defined_var;
124var bool: X_INTRODUCED_149 ::var_is_introduced :: is_defined_var;
125var bool: X_INTRODUCED_150 ::var_is_introduced :: is_defined_var;
126var bool: X_INTRODUCED_151 ::var_is_introduced :: is_defined_var;
127array [1..25] of var int: s:: output_array([1..5,1..5]) = [X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_11,X_INTRODUCED_12,X_INTRODUCED_13,X_INTRODUCED_14,X_INTRODUCED_15,X_INTRODUCED_16,X_INTRODUCED_17,X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24];
128constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_0,X_INTRODUCED_1],-1);
129constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_1,X_INTRODUCED_2],-4);
130constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_2,X_INTRODUCED_3],-5);
131constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_3,X_INTRODUCED_4],-3);
132constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_5,X_INTRODUCED_6],-3);
133constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_6,X_INTRODUCED_7],-2);
134constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_7,X_INTRODUCED_8],-7);
135constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_8,X_INTRODUCED_9],-1);
136constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_10,X_INTRODUCED_11],-4);
137constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_11,X_INTRODUCED_12],-4);
138constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_12,X_INTRODUCED_13],-4);
139constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_13,X_INTRODUCED_14],-4);
140constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_15,X_INTRODUCED_16],-1);
141constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_16,X_INTRODUCED_17],-1);
142constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_17,X_INTRODUCED_18],-1);
143constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_18,X_INTRODUCED_19],-6);
144constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_20,X_INTRODUCED_21],-7);
145constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_21,X_INTRODUCED_22],-3);
146constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_22,X_INTRODUCED_23],-2);
147constraint int_lin_le(X_INTRODUCED_28,[X_INTRODUCED_23,X_INTRODUCED_24],-2);
148constraint array_bool_or([X_INTRODUCED_52,X_INTRODUCED_53],true);
149constraint array_bool_or([X_INTRODUCED_54,X_INTRODUCED_55],true);
150constraint array_bool_or([X_INTRODUCED_56,X_INTRODUCED_57],true);
151constraint array_bool_or([X_INTRODUCED_59,X_INTRODUCED_58],true);
152constraint array_bool_or([X_INTRODUCED_61,X_INTRODUCED_60],true);
153constraint array_bool_or([X_INTRODUCED_63,X_INTRODUCED_62],true);
154constraint array_bool_or([X_INTRODUCED_65,X_INTRODUCED_64],true);
155constraint array_bool_or([X_INTRODUCED_67,X_INTRODUCED_66],true);
156constraint array_bool_or([X_INTRODUCED_69,X_INTRODUCED_68],true);
157constraint array_bool_or([X_INTRODUCED_71,X_INTRODUCED_70],true);
158constraint array_bool_or([X_INTRODUCED_73,X_INTRODUCED_72],true);
159constraint array_bool_or([X_INTRODUCED_75,X_INTRODUCED_74],true);
160constraint array_bool_or([X_INTRODUCED_77,X_INTRODUCED_76],true);
161constraint array_bool_or([X_INTRODUCED_78,X_INTRODUCED_79],true);
162constraint array_bool_or([X_INTRODUCED_80,X_INTRODUCED_81],true);
163constraint array_bool_or([X_INTRODUCED_82,X_INTRODUCED_83],true);
164constraint array_bool_or([X_INTRODUCED_84,X_INTRODUCED_85],true);
165constraint array_bool_or([X_INTRODUCED_86,X_INTRODUCED_87],true);
166constraint array_bool_or([X_INTRODUCED_88,X_INTRODUCED_89],true);
167constraint array_bool_or([X_INTRODUCED_90,X_INTRODUCED_91],true);
168constraint array_bool_or([X_INTRODUCED_92,X_INTRODUCED_93],true);
169constraint array_bool_or([X_INTRODUCED_94,X_INTRODUCED_95],true);
170constraint array_bool_or([X_INTRODUCED_96,X_INTRODUCED_97],true);
171constraint array_bool_or([X_INTRODUCED_98,X_INTRODUCED_99],true);
172constraint array_bool_or([X_INTRODUCED_100,X_INTRODUCED_101],true);
173constraint array_bool_or([X_INTRODUCED_102,X_INTRODUCED_103],true);
174constraint array_bool_or([X_INTRODUCED_104,X_INTRODUCED_105],true);
175constraint array_bool_or([X_INTRODUCED_106,X_INTRODUCED_107],true);
176constraint array_bool_or([X_INTRODUCED_108,X_INTRODUCED_109],true);
177constraint array_bool_or([X_INTRODUCED_110,X_INTRODUCED_111],true);
178constraint array_bool_or([X_INTRODUCED_112,X_INTRODUCED_113],true);
179constraint array_bool_or([X_INTRODUCED_114,X_INTRODUCED_115],true);
180constraint array_bool_or([X_INTRODUCED_116,X_INTRODUCED_117],true);
181constraint array_bool_or([X_INTRODUCED_118,X_INTRODUCED_119],true);
182constraint array_bool_or([X_INTRODUCED_120,X_INTRODUCED_121],true);
183constraint array_bool_or([X_INTRODUCED_122,X_INTRODUCED_123],true);
184constraint array_bool_or([X_INTRODUCED_124,X_INTRODUCED_125],true);
185constraint array_bool_or([X_INTRODUCED_126,X_INTRODUCED_127],true);
186constraint array_bool_or([X_INTRODUCED_128,X_INTRODUCED_129],true);
187constraint array_bool_or([X_INTRODUCED_130,X_INTRODUCED_131],true);
188constraint array_bool_or([X_INTRODUCED_132,X_INTRODUCED_133],true);
189constraint array_bool_or([X_INTRODUCED_134,X_INTRODUCED_135],true);
190constraint array_bool_or([X_INTRODUCED_136,X_INTRODUCED_137],true);
191constraint array_bool_or([X_INTRODUCED_138,X_INTRODUCED_139],true);
192constraint array_bool_or([X_INTRODUCED_140,X_INTRODUCED_141],true);
193constraint array_bool_or([X_INTRODUCED_142,X_INTRODUCED_143],true);
194constraint array_bool_or([X_INTRODUCED_144,X_INTRODUCED_145],true);
195constraint array_bool_or([X_INTRODUCED_146,X_INTRODUCED_147],true);
196constraint array_bool_or([X_INTRODUCED_148,X_INTRODUCED_149],true);
197constraint array_bool_or([X_INTRODUCED_150,X_INTRODUCED_151],true);
198constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_5,X_INTRODUCED_0],-3,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52);
199constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_0,X_INTRODUCED_5],-1,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53);
200constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_10,X_INTRODUCED_0],-4,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54);
201constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_0,X_INTRODUCED_10],-1,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55);
202constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_15,X_INTRODUCED_0],-1,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56);
203constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_0,X_INTRODUCED_15],-1,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57);
204constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_20,X_INTRODUCED_0],-7,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58);
205constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_0,X_INTRODUCED_20],-1,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59);
206constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_10,X_INTRODUCED_5],-4,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60);
207constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_5,X_INTRODUCED_10],-3,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61);
208constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_15,X_INTRODUCED_5],-1,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62);
209constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_5,X_INTRODUCED_15],-3,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63);
210constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_20,X_INTRODUCED_5],-7,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64);
211constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_5,X_INTRODUCED_20],-3,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65);
212constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_15,X_INTRODUCED_10],-1,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66);
213constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_10,X_INTRODUCED_15],-4,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67);
214constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_20,X_INTRODUCED_10],-7,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68);
215constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_10,X_INTRODUCED_20],-4,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69);
216constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_20,X_INTRODUCED_15],-7,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70);
217constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_15,X_INTRODUCED_20],-1,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71);
218constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_6,X_INTRODUCED_1],-2,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72);
219constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_1,X_INTRODUCED_6],-4,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73);
220constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_11,X_INTRODUCED_1],-4,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74);
221constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_1,X_INTRODUCED_11],-4,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75);
222constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_16,X_INTRODUCED_1],-1,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76);
223constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_1,X_INTRODUCED_16],-4,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77);
224constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_21,X_INTRODUCED_1],-3,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78);
225constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_1,X_INTRODUCED_21],-4,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79);
226constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_11,X_INTRODUCED_6],-4,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80);
227constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_6,X_INTRODUCED_11],-2,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81);
228constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_16,X_INTRODUCED_6],-1,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82);
229constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_6,X_INTRODUCED_16],-2,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83);
230constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_21,X_INTRODUCED_6],-3,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84);
231constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_6,X_INTRODUCED_21],-2,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85);
232constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_16,X_INTRODUCED_11],-1,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86);
233constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_11,X_INTRODUCED_16],-4,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87);
234constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_21,X_INTRODUCED_11],-3,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88);
235constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_11,X_INTRODUCED_21],-4,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89);
236constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_21,X_INTRODUCED_16],-3,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90);
237constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_16,X_INTRODUCED_21],-1,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91);
238constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_7,X_INTRODUCED_2],-7,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92);
239constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_2,X_INTRODUCED_7],-5,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93);
240constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_12,X_INTRODUCED_2],-4,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94);
241constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_2,X_INTRODUCED_12],-5,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95);
242constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_17,X_INTRODUCED_2],-1,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96);
243constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_2,X_INTRODUCED_17],-5,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97);
244constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_22,X_INTRODUCED_2],-2,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
245constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_2,X_INTRODUCED_22],-5,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99);
246constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_12,X_INTRODUCED_7],-4,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100);
247constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_7,X_INTRODUCED_12],-7,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101);
248constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_17,X_INTRODUCED_7],-1,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102);
249constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_7,X_INTRODUCED_17],-7,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103);
250constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_22,X_INTRODUCED_7],-2,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104);
251constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_7,X_INTRODUCED_22],-7,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105);
252constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_17,X_INTRODUCED_12],-1,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106);
253constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_12,X_INTRODUCED_17],-4,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107);
254constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_22,X_INTRODUCED_12],-2,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108);
255constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_12,X_INTRODUCED_22],-4,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109);
256constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_22,X_INTRODUCED_17],-2,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110);
257constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_17,X_INTRODUCED_22],-1,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111);
258constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_8,X_INTRODUCED_3],-1,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112);
259constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_3,X_INTRODUCED_8],-3,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113);
260constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_13,X_INTRODUCED_3],-4,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114);
261constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_3,X_INTRODUCED_13],-3,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115);
262constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_18,X_INTRODUCED_3],-6,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116);
263constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_3,X_INTRODUCED_18],-3,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117);
264constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_23,X_INTRODUCED_3],-2,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118);
265constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_3,X_INTRODUCED_23],-3,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119);
266constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_13,X_INTRODUCED_8],-4,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120);
267constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_8,X_INTRODUCED_13],-1,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
268constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_18,X_INTRODUCED_8],-6,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122);
269constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_8,X_INTRODUCED_18],-1,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123);
270constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_23,X_INTRODUCED_8],-2,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124);
271constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_8,X_INTRODUCED_23],-1,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125);
272constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_18,X_INTRODUCED_13],-6,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126);
273constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_13,X_INTRODUCED_18],-4,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127);
274constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_23,X_INTRODUCED_13],-2,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128);
275constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_13,X_INTRODUCED_23],-4,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129);
276constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_23,X_INTRODUCED_18],-2,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130);
277constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_18,X_INTRODUCED_23],-6,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131);
278constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_9,X_INTRODUCED_4],-2,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132);
279constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_4,X_INTRODUCED_9],-6,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133);
280constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_14,X_INTRODUCED_4],-4,X_INTRODUCED_134):: defines_var(X_INTRODUCED_134);
281constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_4,X_INTRODUCED_14],-6,X_INTRODUCED_135):: defines_var(X_INTRODUCED_135);
282constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_19,X_INTRODUCED_4],-8,X_INTRODUCED_136):: defines_var(X_INTRODUCED_136);
283constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_4,X_INTRODUCED_19],-6,X_INTRODUCED_137):: defines_var(X_INTRODUCED_137);
284constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_24,X_INTRODUCED_4],-1,X_INTRODUCED_138):: defines_var(X_INTRODUCED_138);
285constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_4,X_INTRODUCED_24],-6,X_INTRODUCED_139):: defines_var(X_INTRODUCED_139);
286constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_14,X_INTRODUCED_9],-4,X_INTRODUCED_140):: defines_var(X_INTRODUCED_140);
287constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_9,X_INTRODUCED_14],-2,X_INTRODUCED_141):: defines_var(X_INTRODUCED_141);
288constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_19,X_INTRODUCED_9],-8,X_INTRODUCED_142):: defines_var(X_INTRODUCED_142);
289constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_9,X_INTRODUCED_19],-2,X_INTRODUCED_143):: defines_var(X_INTRODUCED_143);
290constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_24,X_INTRODUCED_9],-1,X_INTRODUCED_144):: defines_var(X_INTRODUCED_144);
291constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_9,X_INTRODUCED_24],-2,X_INTRODUCED_145):: defines_var(X_INTRODUCED_145);
292constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_19,X_INTRODUCED_14],-8,X_INTRODUCED_146):: defines_var(X_INTRODUCED_146);
293constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_14,X_INTRODUCED_19],-4,X_INTRODUCED_147):: defines_var(X_INTRODUCED_147);
294constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_24,X_INTRODUCED_14],-1,X_INTRODUCED_148):: defines_var(X_INTRODUCED_148);
295constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_14,X_INTRODUCED_24],-4,X_INTRODUCED_149):: defines_var(X_INTRODUCED_149);
296constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_24,X_INTRODUCED_19],-1,X_INTRODUCED_150):: defines_var(X_INTRODUCED_150);
297constraint int_lin_le_reif(X_INTRODUCED_28,[X_INTRODUCED_19,X_INTRODUCED_24],-8,X_INTRODUCED_151):: defines_var(X_INTRODUCED_151);
298solve satisfy;