always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
ortools-clone/examples/flatzinc/quasiGroup4Idempotent.fzn

616 lines
47 KiB
MiniZinc
Raw Permalink Blame History

predicate fzn_all_different_int(array [int] of var int: x);
predicate count(array [int] of var int: x, var int: y, var int: c);
predicate fixed_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
predicate maximum_int(var int: m, array [int] of var int: x);
predicate minimum_int(var int: m, array [int] of var int: x);
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
predicate sort(array [int] of var int: x, array [int] of var int: y);
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
predicate var_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00238 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00240 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00244 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00247 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00250 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00253 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00256 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00259 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00262 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00263 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00264 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00265 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00266 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00267 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00268 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00271 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00274 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00280 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00284 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00286 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00287 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00288 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00290 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00294 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00300 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00302 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00304 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00306 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00308 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00312 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;
var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00001 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00003 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00005 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00007 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00009 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00011 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00013 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00015 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00017 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00019 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00021 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00023 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00025 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00027 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00029 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00031 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00033 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00035 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00037 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00039 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00041 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00043 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00045 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00047 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00049 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00051 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00053 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00055 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00057 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00059 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00061 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00063 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00065 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00067 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00069 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00071 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00073 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00075 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00077 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00079 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00081 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00083 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00085 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00087 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00089 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00091 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00093 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00095 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00097 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00099 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00101 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00103 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00105 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00107 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00109 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00111 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00113 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00115 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00117 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00119 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00121 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00123 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00125 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00127 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00129 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00131 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00133 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00135 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00137 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00139 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00141 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00143 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00145 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00147 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00149 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00151 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00153 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00155 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00157 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00159 :: is_defined_var :: var_is_introduced;
var 1..81: INT____00161 :: is_defined_var :: var_is_introduced;
array [1..9] of var 0..8: qgDiagonal;
array [1..81] of var 0..8: quasiGroup :: output_array([0..8, 0..8]);
constraint fzn_all_different_int([quasiGroup[1], quasiGroup[2], quasiGroup[3], quasiGroup[4], quasiGroup[5], quasiGroup[6], quasiGroup[7], quasiGroup[8], quasiGroup[9]]);
constraint fzn_all_different_int([quasiGroup[1], quasiGroup[10], quasiGroup[19], quasiGroup[28], quasiGroup[37], quasiGroup[46], quasiGroup[55], quasiGroup[64], quasiGroup[73]]);
constraint fzn_all_different_int([quasiGroup[2], quasiGroup[11], quasiGroup[20], quasiGroup[29], quasiGroup[38], quasiGroup[47], quasiGroup[56], quasiGroup[65], quasiGroup[74]]);
constraint fzn_all_different_int([quasiGroup[3], quasiGroup[12], quasiGroup[21], quasiGroup[30], quasiGroup[39], quasiGroup[48], quasiGroup[57], quasiGroup[66], quasiGroup[75]]);
constraint fzn_all_different_int([quasiGroup[4], quasiGroup[13], quasiGroup[22], quasiGroup[31], quasiGroup[40], quasiGroup[49], quasiGroup[58], quasiGroup[67], quasiGroup[76]]);
constraint fzn_all_different_int([quasiGroup[5], quasiGroup[14], quasiGroup[23], quasiGroup[32], quasiGroup[41], quasiGroup[50], quasiGroup[59], quasiGroup[68], quasiGroup[77]]);
constraint fzn_all_different_int([quasiGroup[6], quasiGroup[15], quasiGroup[24], quasiGroup[33], quasiGroup[42], quasiGroup[51], quasiGroup[60], quasiGroup[69], quasiGroup[78]]);
constraint fzn_all_different_int([quasiGroup[7], quasiGroup[16], quasiGroup[25], quasiGroup[34], quasiGroup[43], quasiGroup[52], quasiGroup[61], quasiGroup[70], quasiGroup[79]]);
constraint fzn_all_different_int([quasiGroup[8], quasiGroup[17], quasiGroup[26], quasiGroup[35], quasiGroup[44], quasiGroup[53], quasiGroup[62], quasiGroup[71], quasiGroup[80]]);
constraint fzn_all_different_int([quasiGroup[9], quasiGroup[18], quasiGroup[27], quasiGroup[36], quasiGroup[45], quasiGroup[54], quasiGroup[63], quasiGroup[72], quasiGroup[81]]);
constraint fzn_all_different_int([quasiGroup[10], quasiGroup[11], quasiGroup[12], quasiGroup[13], quasiGroup[14], quasiGroup[15], quasiGroup[16], quasiGroup[17], quasiGroup[18]]);
constraint fzn_all_different_int([quasiGroup[19], quasiGroup[20], quasiGroup[21], quasiGroup[22], quasiGroup[23], quasiGroup[24], quasiGroup[25], quasiGroup[26], quasiGroup[27]]);
constraint fzn_all_different_int([quasiGroup[28], quasiGroup[29], quasiGroup[30], quasiGroup[31], quasiGroup[32], quasiGroup[33], quasiGroup[34], quasiGroup[35], quasiGroup[36]]);
constraint fzn_all_different_int([quasiGroup[37], quasiGroup[38], quasiGroup[39], quasiGroup[40], quasiGroup[41], quasiGroup[42], quasiGroup[43], quasiGroup[44], quasiGroup[45]]);
constraint fzn_all_different_int([quasiGroup[46], quasiGroup[47], quasiGroup[48], quasiGroup[49], quasiGroup[50], quasiGroup[51], quasiGroup[52], quasiGroup[53], quasiGroup[54]]);
constraint fzn_all_different_int([quasiGroup[55], quasiGroup[56], quasiGroup[57], quasiGroup[58], quasiGroup[59], quasiGroup[60], quasiGroup[61], quasiGroup[62], quasiGroup[63]]);
constraint fzn_all_different_int([quasiGroup[64], quasiGroup[65], quasiGroup[66], quasiGroup[67], quasiGroup[68], quasiGroup[69], quasiGroup[70], quasiGroup[71], quasiGroup[72]]);
constraint fzn_all_different_int([quasiGroup[73], quasiGroup[74], quasiGroup[75], quasiGroup[76], quasiGroup[77], quasiGroup[78], quasiGroup[79], quasiGroup[80], quasiGroup[81]]);
constraint fzn_all_different_int(qgDiagonal);
constraint array_var_int_element(INT____00001, quasiGroup, 0);
constraint array_var_int_element(INT____00003, quasiGroup, 0);
constraint array_var_int_element(INT____00005, quasiGroup, 0);
constraint array_var_int_element(INT____00007, quasiGroup, 0);
constraint array_var_int_element(INT____00009, quasiGroup, 0);
constraint array_var_int_element(INT____00011, quasiGroup, 0);
constraint array_var_int_element(INT____00013, quasiGroup, 0);
constraint array_var_int_element(INT____00015, quasiGroup, 0);
constraint array_var_int_element(INT____00017, quasiGroup, 0);
constraint array_var_int_element(INT____00019, quasiGroup, 1);
constraint array_var_int_element(INT____00021, quasiGroup, 1);
constraint array_var_int_element(INT____00023, quasiGroup, 1);
constraint array_var_int_element(INT____00025, quasiGroup, 1);
constraint array_var_int_element(INT____00027, quasiGroup, 1);
constraint array_var_int_element(INT____00029, quasiGroup, 1);
constraint array_var_int_element(INT____00031, quasiGroup, 1);
constraint array_var_int_element(INT____00033, quasiGroup, 1);
constraint array_var_int_element(INT____00035, quasiGroup, 1);
constraint array_var_int_element(INT____00037, quasiGroup, 2);
constraint array_var_int_element(INT____00039, quasiGroup, 2);
constraint array_var_int_element(INT____00041, quasiGroup, 2);
constraint array_var_int_element(INT____00043, quasiGroup, 2);
constraint array_var_int_element(INT____00045, quasiGroup, 2);
constraint array_var_int_element(INT____00047, quasiGroup, 2);
constraint array_var_int_element(INT____00049, quasiGroup, 2);
constraint array_var_int_element(INT____00051, quasiGroup, 2);
constraint array_var_int_element(INT____00053, quasiGroup, 2);
constraint array_var_int_element(INT____00055, quasiGroup, 3);
constraint array_var_int_element(INT____00057, quasiGroup, 3);
constraint array_var_int_element(INT____00059, quasiGroup, 3);
constraint array_var_int_element(INT____00061, quasiGroup, 3);
constraint array_var_int_element(INT____00063, quasiGroup, 3);
constraint array_var_int_element(INT____00065, quasiGroup, 3);
constraint array_var_int_element(INT____00067, quasiGroup, 3);
constraint array_var_int_element(INT____00069, quasiGroup, 3);
constraint array_var_int_element(INT____00071, quasiGroup, 3);
constraint array_var_int_element(INT____00073, quasiGroup, 4);
constraint array_var_int_element(INT____00075, quasiGroup, 4);
constraint array_var_int_element(INT____00077, quasiGroup, 4);
constraint array_var_int_element(INT____00079, quasiGroup, 4);
constraint array_var_int_element(INT____00081, quasiGroup, 4);
constraint array_var_int_element(INT____00083, quasiGroup, 4);
constraint array_var_int_element(INT____00085, quasiGroup, 4);
constraint array_var_int_element(INT____00087, quasiGroup, 4);
constraint array_var_int_element(INT____00089, quasiGroup, 4);
constraint array_var_int_element(INT____00091, quasiGroup, 5);
constraint array_var_int_element(INT____00093, quasiGroup, 5);
constraint array_var_int_element(INT____00095, quasiGroup, 5);
constraint array_var_int_element(INT____00097, quasiGroup, 5);
constraint array_var_int_element(INT____00099, quasiGroup, 5);
constraint array_var_int_element(INT____00101, quasiGroup, 5);
constraint array_var_int_element(INT____00103, quasiGroup, 5);
constraint array_var_int_element(INT____00105, quasiGroup, 5);
constraint array_var_int_element(INT____00107, quasiGroup, 5);
constraint array_var_int_element(INT____00109, quasiGroup, 6);
constraint array_var_int_element(INT____00111, quasiGroup, 6);
constraint array_var_int_element(INT____00113, quasiGroup, 6);
constraint array_var_int_element(INT____00115, quasiGroup, 6);
constraint array_var_int_element(INT____00117, quasiGroup, 6);
constraint array_var_int_element(INT____00119, quasiGroup, 6);
constraint array_var_int_element(INT____00121, quasiGroup, 6);
constraint array_var_int_element(INT____00123, quasiGroup, 6);
constraint array_var_int_element(INT____00125, quasiGroup, 6);
constraint array_var_int_element(INT____00127, quasiGroup, 7);
constraint array_var_int_element(INT____00129, quasiGroup, 7);
constraint array_var_int_element(INT____00131, quasiGroup, 7);
constraint array_var_int_element(INT____00133, quasiGroup, 7);
constraint array_var_int_element(INT____00135, quasiGroup, 7);
constraint array_var_int_element(INT____00137, quasiGroup, 7);
constraint array_var_int_element(INT____00139, quasiGroup, 7);
constraint array_var_int_element(INT____00141, quasiGroup, 7);
constraint array_var_int_element(INT____00143, quasiGroup, 7);
constraint array_var_int_element(INT____00145, quasiGroup, 8);
constraint array_var_int_element(INT____00147, quasiGroup, 8);
constraint array_var_int_element(INT____00149, quasiGroup, 8);
constraint array_var_int_element(INT____00151, quasiGroup, 8);
constraint array_var_int_element(INT____00153, quasiGroup, 8);
constraint array_var_int_element(INT____00155, quasiGroup, 8);
constraint array_var_int_element(INT____00157, quasiGroup, 8);
constraint array_var_int_element(INT____00159, quasiGroup, 8);
constraint array_var_int_element(INT____00161, quasiGroup, 8);
constraint bool_le(BOOL____00235, BOOL____00235);
constraint bool_le(BOOL____00236, BOOL____00237);
constraint bool_le(BOOL____00237, BOOL____00236);
constraint bool_le(BOOL____00238, BOOL____00239);
constraint bool_le(BOOL____00239, BOOL____00238);
constraint bool_le(BOOL____00240, BOOL____00241);
constraint bool_le(BOOL____00241, BOOL____00240);
constraint bool_le(BOOL____00242, BOOL____00243);
constraint bool_le(BOOL____00243, BOOL____00242);
constraint bool_le(BOOL____00244, BOOL____00245);
constraint bool_le(BOOL____00245, BOOL____00244);
constraint bool_le(BOOL____00246, BOOL____00247);
constraint bool_le(BOOL____00247, BOOL____00246);
constraint bool_le(BOOL____00248, BOOL____00249);
constraint bool_le(BOOL____00249, BOOL____00248);
constraint bool_le(BOOL____00250, BOOL____00251);
constraint bool_le(BOOL____00251, BOOL____00250);
constraint bool_le(BOOL____00252, BOOL____00252);
constraint bool_le(BOOL____00253, BOOL____00254);
constraint bool_le(BOOL____00254, BOOL____00253);
constraint bool_le(BOOL____00255, BOOL____00256);
constraint bool_le(BOOL____00256, BOOL____00255);
constraint bool_le(BOOL____00257, BOOL____00258);
constraint bool_le(BOOL____00258, BOOL____00257);
constraint bool_le(BOOL____00259, BOOL____00260);
constraint bool_le(BOOL____00260, BOOL____00259);
constraint bool_le(BOOL____00261, BOOL____00262);
constraint bool_le(BOOL____00262, BOOL____00261);
constraint bool_le(BOOL____00263, BOOL____00264);
constraint bool_le(BOOL____00264, BOOL____00263);
constraint bool_le(BOOL____00265, BOOL____00266);
constraint bool_le(BOOL____00266, BOOL____00265);
constraint bool_le(BOOL____00267, BOOL____00267);
constraint bool_le(BOOL____00268, BOOL____00269);
constraint bool_le(BOOL____00269, BOOL____00268);
constraint bool_le(BOOL____00270, BOOL____00271);
constraint bool_le(BOOL____00271, BOOL____00270);
constraint bool_le(BOOL____00272, BOOL____00273);
constraint bool_le(BOOL____00273, BOOL____00272);
constraint bool_le(BOOL____00274, BOOL____00275);
constraint bool_le(BOOL____00275, BOOL____00274);
constraint bool_le(BOOL____00276, BOOL____00277);
constraint bool_le(BOOL____00277, BOOL____00276);
constraint bool_le(BOOL____00278, BOOL____00279);
constraint bool_le(BOOL____00279, BOOL____00278);
constraint bool_le(BOOL____00280, BOOL____00280);
constraint bool_le(BOOL____00281, BOOL____00282);
constraint bool_le(BOOL____00282, BOOL____00281);
constraint bool_le(BOOL____00283, BOOL____00284);
constraint bool_le(BOOL____00284, BOOL____00283);
constraint bool_le(BOOL____00285, BOOL____00286);
constraint bool_le(BOOL____00286, BOOL____00285);
constraint bool_le(BOOL____00287, BOOL____00288);
constraint bool_le(BOOL____00288, BOOL____00287);
constraint bool_le(BOOL____00289, BOOL____00290);
constraint bool_le(BOOL____00290, BOOL____00289);
constraint bool_le(BOOL____00291, BOOL____00291);
constraint bool_le(BOOL____00292, BOOL____00293);
constraint bool_le(BOOL____00293, BOOL____00292);
constraint bool_le(BOOL____00294, BOOL____00295);
constraint bool_le(BOOL____00295, BOOL____00294);
constraint bool_le(BOOL____00296, BOOL____00297);
constraint bool_le(BOOL____00297, BOOL____00296);
constraint bool_le(BOOL____00298, BOOL____00299);
constraint bool_le(BOOL____00299, BOOL____00298);
constraint bool_le(BOOL____00300, BOOL____00300);
constraint bool_le(BOOL____00301, BOOL____00302);
constraint bool_le(BOOL____00302, BOOL____00301);
constraint bool_le(BOOL____00303, BOOL____00304);
constraint bool_le(BOOL____00304, BOOL____00303);
constraint bool_le(BOOL____00305, BOOL____00306);
constraint bool_le(BOOL____00306, BOOL____00305);
constraint bool_le(BOOL____00307, BOOL____00307);
constraint bool_le(BOOL____00308, BOOL____00309);
constraint bool_le(BOOL____00309, BOOL____00308);
constraint bool_le(BOOL____00310, BOOL____00311);
constraint bool_le(BOOL____00311, BOOL____00310);
constraint bool_le(BOOL____00312, BOOL____00312);
constraint bool_le(BOOL____00313, BOOL____00314);
constraint bool_le(BOOL____00314, BOOL____00313);
constraint bool_le(BOOL____00315, BOOL____00315);
constraint int_eq(qgDiagonal[1], quasiGroup[1]);
constraint int_eq(qgDiagonal[2], quasiGroup[11]);
constraint int_eq(qgDiagonal[3], quasiGroup[21]);
constraint int_eq(qgDiagonal[4], quasiGroup[31]);
constraint int_eq(qgDiagonal[5], quasiGroup[41]);
constraint int_eq(qgDiagonal[6], quasiGroup[51]);
constraint int_eq(qgDiagonal[7], quasiGroup[61]);
constraint int_eq(qgDiagonal[8], quasiGroup[71]);
constraint int_eq(qgDiagonal[9], quasiGroup[81]);
constraint int_eq(quasiGroup[1], 0);
constraint int_eq(quasiGroup[11], 1);
constraint int_eq(quasiGroup[21], 2);
constraint int_eq(quasiGroup[31], 3);
constraint int_eq(quasiGroup[41], 4);
constraint int_eq(quasiGroup[51], 5);
constraint int_eq(quasiGroup[61], 6);
constraint int_eq(quasiGroup[71], 7);
constraint int_eq(quasiGroup[81], 8);
constraint int_eq_reif(quasiGroup[1], 0, BOOL____00235) :: defines_var(BOOL____00235);
constraint int_eq_reif(quasiGroup[1], 1, BOOL____00236) :: defines_var(BOOL____00236);
constraint int_eq_reif(quasiGroup[1], 2, BOOL____00238) :: defines_var(BOOL____00238);
constraint int_eq_reif(quasiGroup[1], 3, BOOL____00240) :: defines_var(BOOL____00240);
constraint int_eq_reif(quasiGroup[1], 4, BOOL____00242) :: defines_var(BOOL____00242);
constraint int_eq_reif(quasiGroup[1], 5, BOOL____00244) :: defines_var(BOOL____00244);
constraint int_eq_reif(quasiGroup[1], 6, BOOL____00246) :: defines_var(BOOL____00246);
constraint int_eq_reif(quasiGroup[1], 7, BOOL____00248) :: defines_var(BOOL____00248);
constraint int_eq_reif(quasiGroup[1], 8, BOOL____00250) :: defines_var(BOOL____00250);
constraint int_eq_reif(quasiGroup[11], 0, BOOL____00237) :: defines_var(BOOL____00237);
constraint int_eq_reif(quasiGroup[11], 1, BOOL____00252) :: defines_var(BOOL____00252);
constraint int_eq_reif(quasiGroup[11], 2, BOOL____00253) :: defines_var(BOOL____00253);
constraint int_eq_reif(quasiGroup[11], 3, BOOL____00255) :: defines_var(BOOL____00255);
constraint int_eq_reif(quasiGroup[11], 4, BOOL____00257) :: defines_var(BOOL____00257);
constraint int_eq_reif(quasiGroup[11], 5, BOOL____00259) :: defines_var(BOOL____00259);
constraint int_eq_reif(quasiGroup[11], 6, BOOL____00261) :: defines_var(BOOL____00261);
constraint int_eq_reif(quasiGroup[11], 7, BOOL____00263) :: defines_var(BOOL____00263);
constraint int_eq_reif(quasiGroup[11], 8, BOOL____00265) :: defines_var(BOOL____00265);
constraint int_eq_reif(quasiGroup[21], 0, BOOL____00239) :: defines_var(BOOL____00239);
constraint int_eq_reif(quasiGroup[21], 1, BOOL____00254) :: defines_var(BOOL____00254);
constraint int_eq_reif(quasiGroup[21], 2, BOOL____00267) :: defines_var(BOOL____00267);
constraint int_eq_reif(quasiGroup[21], 3, BOOL____00268) :: defines_var(BOOL____00268);
constraint int_eq_reif(quasiGroup[21], 4, BOOL____00270) :: defines_var(BOOL____00270);
constraint int_eq_reif(quasiGroup[21], 5, BOOL____00272) :: defines_var(BOOL____00272);
constraint int_eq_reif(quasiGroup[21], 6, BOOL____00274) :: defines_var(BOOL____00274);
constraint int_eq_reif(quasiGroup[21], 7, BOOL____00276) :: defines_var(BOOL____00276);
constraint int_eq_reif(quasiGroup[21], 8, BOOL____00278) :: defines_var(BOOL____00278);
constraint int_eq_reif(quasiGroup[31], 0, BOOL____00241) :: defines_var(BOOL____00241);
constraint int_eq_reif(quasiGroup[31], 1, BOOL____00256) :: defines_var(BOOL____00256);
constraint int_eq_reif(quasiGroup[31], 2, BOOL____00269) :: defines_var(BOOL____00269);
constraint int_eq_reif(quasiGroup[31], 3, BOOL____00280) :: defines_var(BOOL____00280);
constraint int_eq_reif(quasiGroup[31], 4, BOOL____00281) :: defines_var(BOOL____00281);
constraint int_eq_reif(quasiGroup[31], 5, BOOL____00283) :: defines_var(BOOL____00283);
constraint int_eq_reif(quasiGroup[31], 6, BOOL____00285) :: defines_var(BOOL____00285);
constraint int_eq_reif(quasiGroup[31], 7, BOOL____00287) :: defines_var(BOOL____00287);
constraint int_eq_reif(quasiGroup[31], 8, BOOL____00289) :: defines_var(BOOL____00289);
constraint int_eq_reif(quasiGroup[41], 0, BOOL____00243) :: defines_var(BOOL____00243);
constraint int_eq_reif(quasiGroup[41], 1, BOOL____00258) :: defines_var(BOOL____00258);
constraint int_eq_reif(quasiGroup[41], 2, BOOL____00271) :: defines_var(BOOL____00271);
constraint int_eq_reif(quasiGroup[41], 3, BOOL____00282) :: defines_var(BOOL____00282);
constraint int_eq_reif(quasiGroup[41], 4, BOOL____00291) :: defines_var(BOOL____00291);
constraint int_eq_reif(quasiGroup[41], 5, BOOL____00292) :: defines_var(BOOL____00292);
constraint int_eq_reif(quasiGroup[41], 6, BOOL____00294) :: defines_var(BOOL____00294);
constraint int_eq_reif(quasiGroup[41], 7, BOOL____00296) :: defines_var(BOOL____00296);
constraint int_eq_reif(quasiGroup[41], 8, BOOL____00298) :: defines_var(BOOL____00298);
constraint int_eq_reif(quasiGroup[51], 0, BOOL____00245) :: defines_var(BOOL____00245);
constraint int_eq_reif(quasiGroup[51], 1, BOOL____00260) :: defines_var(BOOL____00260);
constraint int_eq_reif(quasiGroup[51], 2, BOOL____00273) :: defines_var(BOOL____00273);
constraint int_eq_reif(quasiGroup[51], 3, BOOL____00284) :: defines_var(BOOL____00284);
constraint int_eq_reif(quasiGroup[51], 4, BOOL____00293) :: defines_var(BOOL____00293);
constraint int_eq_reif(quasiGroup[51], 5, BOOL____00300) :: defines_var(BOOL____00300);
constraint int_eq_reif(quasiGroup[51], 6, BOOL____00301) :: defines_var(BOOL____00301);
constraint int_eq_reif(quasiGroup[51], 7, BOOL____00303) :: defines_var(BOOL____00303);
constraint int_eq_reif(quasiGroup[51], 8, BOOL____00305) :: defines_var(BOOL____00305);
constraint int_eq_reif(quasiGroup[61], 0, BOOL____00247) :: defines_var(BOOL____00247);
constraint int_eq_reif(quasiGroup[61], 1, BOOL____00262) :: defines_var(BOOL____00262);
constraint int_eq_reif(quasiGroup[61], 2, BOOL____00275) :: defines_var(BOOL____00275);
constraint int_eq_reif(quasiGroup[61], 3, BOOL____00286) :: defines_var(BOOL____00286);
constraint int_eq_reif(quasiGroup[61], 4, BOOL____00295) :: defines_var(BOOL____00295);
constraint int_eq_reif(quasiGroup[61], 5, BOOL____00302) :: defines_var(BOOL____00302);
constraint int_eq_reif(quasiGroup[61], 6, BOOL____00307) :: defines_var(BOOL____00307);
constraint int_eq_reif(quasiGroup[61], 7, BOOL____00308) :: defines_var(BOOL____00308);
constraint int_eq_reif(quasiGroup[61], 8, BOOL____00310) :: defines_var(BOOL____00310);
constraint int_eq_reif(quasiGroup[71], 0, BOOL____00249) :: defines_var(BOOL____00249);
constraint int_eq_reif(quasiGroup[71], 1, BOOL____00264) :: defines_var(BOOL____00264);
constraint int_eq_reif(quasiGroup[71], 2, BOOL____00277) :: defines_var(BOOL____00277);
constraint int_eq_reif(quasiGroup[71], 3, BOOL____00288) :: defines_var(BOOL____00288);
constraint int_eq_reif(quasiGroup[71], 4, BOOL____00297) :: defines_var(BOOL____00297);
constraint int_eq_reif(quasiGroup[71], 5, BOOL____00304) :: defines_var(BOOL____00304);
constraint int_eq_reif(quasiGroup[71], 6, BOOL____00309) :: defines_var(BOOL____00309);
constraint int_eq_reif(quasiGroup[71], 7, BOOL____00312) :: defines_var(BOOL____00312);
constraint int_eq_reif(quasiGroup[71], 8, BOOL____00313) :: defines_var(BOOL____00313);
constraint int_eq_reif(quasiGroup[81], 0, BOOL____00251) :: defines_var(BOOL____00251);
constraint int_eq_reif(quasiGroup[81], 1, BOOL____00266) :: defines_var(BOOL____00266);
constraint int_eq_reif(quasiGroup[81], 2, BOOL____00279) :: defines_var(BOOL____00279);
constraint int_eq_reif(quasiGroup[81], 3, BOOL____00290) :: defines_var(BOOL____00290);
constraint int_eq_reif(quasiGroup[81], 4, BOOL____00299) :: defines_var(BOOL____00299);
constraint int_eq_reif(quasiGroup[81], 5, BOOL____00306) :: defines_var(BOOL____00306);
constraint int_eq_reif(quasiGroup[81], 6, BOOL____00311) :: defines_var(BOOL____00311);
constraint int_eq_reif(quasiGroup[81], 7, BOOL____00314) :: defines_var(BOOL____00314);
constraint int_eq_reif(quasiGroup[81], 8, BOOL____00315) :: defines_var(BOOL____00315);
constraint int_lin_eq([-1, 10], [INT____00001, quasiGroup[1]], -1) :: defines_var(INT____00001) :: domain;
constraint int_lin_eq([-1, 10], [INT____00021, quasiGroup[11]], -1) :: defines_var(INT____00021) :: domain;
constraint int_lin_eq([-1, 10], [INT____00041, quasiGroup[21]], -1) :: defines_var(INT____00041) :: domain;
constraint int_lin_eq([-1, 10], [INT____00061, quasiGroup[31]], -1) :: defines_var(INT____00061) :: domain;
constraint int_lin_eq([-1, 10], [INT____00081, quasiGroup[41]], -1) :: defines_var(INT____00081) :: domain;
constraint int_lin_eq([-1, 10], [INT____00101, quasiGroup[51]], -1) :: defines_var(INT____00101) :: domain;
constraint int_lin_eq([-1, 10], [INT____00121, quasiGroup[61]], -1) :: defines_var(INT____00121) :: domain;
constraint int_lin_eq([-1, 10], [INT____00141, quasiGroup[71]], -1) :: defines_var(INT____00141) :: domain;
constraint int_lin_eq([-1, 10], [INT____00161, quasiGroup[81]], -1) :: defines_var(INT____00161) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00003, quasiGroup[2], quasiGroup[10]], -1) :: defines_var(INT____00003) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00005, quasiGroup[3], quasiGroup[19]], -1) :: defines_var(INT____00005) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00007, quasiGroup[4], quasiGroup[28]], -1) :: defines_var(INT____00007) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00009, quasiGroup[5], quasiGroup[37]], -1) :: defines_var(INT____00009) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00011, quasiGroup[6], quasiGroup[46]], -1) :: defines_var(INT____00011) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00013, quasiGroup[7], quasiGroup[55]], -1) :: defines_var(INT____00013) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00015, quasiGroup[8], quasiGroup[64]], -1) :: defines_var(INT____00015) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00017, quasiGroup[9], quasiGroup[73]], -1) :: defines_var(INT____00017) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00023, quasiGroup[12], quasiGroup[20]], -1) :: defines_var(INT____00023) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00025, quasiGroup[13], quasiGroup[29]], -1) :: defines_var(INT____00025) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00027, quasiGroup[14], quasiGroup[38]], -1) :: defines_var(INT____00027) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00029, quasiGroup[15], quasiGroup[47]], -1) :: defines_var(INT____00029) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00031, quasiGroup[16], quasiGroup[56]], -1) :: defines_var(INT____00031) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00033, quasiGroup[17], quasiGroup[65]], -1) :: defines_var(INT____00033) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00035, quasiGroup[18], quasiGroup[74]], -1) :: defines_var(INT____00035) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00043, quasiGroup[22], quasiGroup[30]], -1) :: defines_var(INT____00043) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00045, quasiGroup[23], quasiGroup[39]], -1) :: defines_var(INT____00045) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00047, quasiGroup[24], quasiGroup[48]], -1) :: defines_var(INT____00047) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00049, quasiGroup[25], quasiGroup[57]], -1) :: defines_var(INT____00049) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00051, quasiGroup[26], quasiGroup[66]], -1) :: defines_var(INT____00051) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00053, quasiGroup[27], quasiGroup[75]], -1) :: defines_var(INT____00053) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00063, quasiGroup[32], quasiGroup[40]], -1) :: defines_var(INT____00063) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00065, quasiGroup[33], quasiGroup[49]], -1) :: defines_var(INT____00065) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00067, quasiGroup[34], quasiGroup[58]], -1) :: defines_var(INT____00067) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00069, quasiGroup[35], quasiGroup[67]], -1) :: defines_var(INT____00069) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00071, quasiGroup[36], quasiGroup[76]], -1) :: defines_var(INT____00071) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00083, quasiGroup[42], quasiGroup[50]], -1) :: defines_var(INT____00083) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00085, quasiGroup[43], quasiGroup[59]], -1) :: defines_var(INT____00085) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00087, quasiGroup[44], quasiGroup[68]], -1) :: defines_var(INT____00087) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00089, quasiGroup[45], quasiGroup[77]], -1) :: defines_var(INT____00089) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00103, quasiGroup[52], quasiGroup[60]], -1) :: defines_var(INT____00103) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00105, quasiGroup[53], quasiGroup[69]], -1) :: defines_var(INT____00105) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00107, quasiGroup[54], quasiGroup[78]], -1) :: defines_var(INT____00107) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00123, quasiGroup[62], quasiGroup[70]], -1) :: defines_var(INT____00123) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00125, quasiGroup[63], quasiGroup[79]], -1) :: defines_var(INT____00125) :: domain;
constraint int_lin_eq([-1, 1, 9], [INT____00143, quasiGroup[72], quasiGroup[80]], -1) :: defines_var(INT____00143) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00019, quasiGroup[2], quasiGroup[10]], -1) :: defines_var(INT____00019) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00037, quasiGroup[3], quasiGroup[19]], -1) :: defines_var(INT____00037) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00039, quasiGroup[12], quasiGroup[20]], -1) :: defines_var(INT____00039) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00055, quasiGroup[4], quasiGroup[28]], -1) :: defines_var(INT____00055) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00057, quasiGroup[13], quasiGroup[29]], -1) :: defines_var(INT____00057) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00059, quasiGroup[22], quasiGroup[30]], -1) :: defines_var(INT____00059) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00073, quasiGroup[5], quasiGroup[37]], -1) :: defines_var(INT____00073) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00075, quasiGroup[14], quasiGroup[38]], -1) :: defines_var(INT____00075) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00077, quasiGroup[23], quasiGroup[39]], -1) :: defines_var(INT____00077) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00079, quasiGroup[32], quasiGroup[40]], -1) :: defines_var(INT____00079) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00091, quasiGroup[6], quasiGroup[46]], -1) :: defines_var(INT____00091) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00093, quasiGroup[15], quasiGroup[47]], -1) :: defines_var(INT____00093) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00095, quasiGroup[24], quasiGroup[48]], -1) :: defines_var(INT____00095) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00097, quasiGroup[33], quasiGroup[49]], -1) :: defines_var(INT____00097) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00099, quasiGroup[42], quasiGroup[50]], -1) :: defines_var(INT____00099) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00109, quasiGroup[7], quasiGroup[55]], -1) :: defines_var(INT____00109) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00111, quasiGroup[16], quasiGroup[56]], -1) :: defines_var(INT____00111) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00113, quasiGroup[25], quasiGroup[57]], -1) :: defines_var(INT____00113) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00115, quasiGroup[34], quasiGroup[58]], -1) :: defines_var(INT____00115) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00117, quasiGroup[43], quasiGroup[59]], -1) :: defines_var(INT____00117) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00119, quasiGroup[52], quasiGroup[60]], -1) :: defines_var(INT____00119) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00127, quasiGroup[8], quasiGroup[64]], -1) :: defines_var(INT____00127) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00129, quasiGroup[17], quasiGroup[65]], -1) :: defines_var(INT____00129) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00131, quasiGroup[26], quasiGroup[66]], -1) :: defines_var(INT____00131) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00133, quasiGroup[35], quasiGroup[67]], -1) :: defines_var(INT____00133) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00135, quasiGroup[44], quasiGroup[68]], -1) :: defines_var(INT____00135) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00137, quasiGroup[53], quasiGroup[69]], -1) :: defines_var(INT____00137) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00139, quasiGroup[62], quasiGroup[70]], -1) :: defines_var(INT____00139) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00145, quasiGroup[9], quasiGroup[73]], -1) :: defines_var(INT____00145) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00147, quasiGroup[18], quasiGroup[74]], -1) :: defines_var(INT____00147) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00149, quasiGroup[27], quasiGroup[75]], -1) :: defines_var(INT____00149) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00151, quasiGroup[36], quasiGroup[76]], -1) :: defines_var(INT____00151) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00153, quasiGroup[45], quasiGroup[77]], -1) :: defines_var(INT____00153) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00155, quasiGroup[54], quasiGroup[78]], -1) :: defines_var(INT____00155) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00157, quasiGroup[63], quasiGroup[79]], -1) :: defines_var(INT____00157) :: domain;
constraint int_lin_eq([-1, 9, 1], [INT____00159, quasiGroup[72], quasiGroup[80]], -1) :: defines_var(INT____00159) :: domain;
constraint int_lin_le([-1], [quasiGroup[36]], -1);
constraint int_lin_le([-1], [quasiGroup[45]], -2);
constraint int_lin_le([-1], [quasiGroup[54]], -3);
constraint int_lin_le([-1], [quasiGroup[63]], -4);
constraint int_lin_le([-1], [quasiGroup[72]], -5);
constraint int_lin_le([-1], [quasiGroup[81]], -6);
constraint int_ne_reif(quasiGroup[2], quasiGroup[10], true);
constraint int_ne_reif(quasiGroup[3], quasiGroup[19], true);
constraint int_ne_reif(quasiGroup[4], quasiGroup[28], true);
constraint int_ne_reif(quasiGroup[5], quasiGroup[37], true);
constraint int_ne_reif(quasiGroup[6], quasiGroup[46], true);
constraint int_ne_reif(quasiGroup[7], quasiGroup[55], true);
constraint int_ne_reif(quasiGroup[8], quasiGroup[64], true);
constraint int_ne_reif(quasiGroup[9], quasiGroup[73], true);
constraint int_ne_reif(quasiGroup[10], quasiGroup[2], true);
constraint int_ne_reif(quasiGroup[12], quasiGroup[20], true);
constraint int_ne_reif(quasiGroup[13], quasiGroup[29], true);
constraint int_ne_reif(quasiGroup[14], quasiGroup[38], true);
constraint int_ne_reif(quasiGroup[15], quasiGroup[47], true);
constraint int_ne_reif(quasiGroup[16], quasiGroup[56], true);
constraint int_ne_reif(quasiGroup[17], quasiGroup[65], true);
constraint int_ne_reif(quasiGroup[18], quasiGroup[74], true);
constraint int_ne_reif(quasiGroup[19], quasiGroup[3], true);
constraint int_ne_reif(quasiGroup[20], quasiGroup[12], true);
constraint int_ne_reif(quasiGroup[22], quasiGroup[30], true);
constraint int_ne_reif(quasiGroup[23], quasiGroup[39], true);
constraint int_ne_reif(quasiGroup[24], quasiGroup[48], true);
constraint int_ne_reif(quasiGroup[25], quasiGroup[57], true);
constraint int_ne_reif(quasiGroup[26], quasiGroup[66], true);
constraint int_ne_reif(quasiGroup[27], quasiGroup[75], true);
constraint int_ne_reif(quasiGroup[28], quasiGroup[4], true);
constraint int_ne_reif(quasiGroup[29], quasiGroup[13], true);
constraint int_ne_reif(quasiGroup[30], quasiGroup[22], true);
constraint int_ne_reif(quasiGroup[32], quasiGroup[40], true);
constraint int_ne_reif(quasiGroup[33], quasiGroup[49], true);
constraint int_ne_reif(quasiGroup[34], quasiGroup[58], true);
constraint int_ne_reif(quasiGroup[35], quasiGroup[67], true);
constraint int_ne_reif(quasiGroup[36], quasiGroup[76], true);
constraint int_ne_reif(quasiGroup[37], quasiGroup[5], true);
constraint int_ne_reif(quasiGroup[38], quasiGroup[14], true);
constraint int_ne_reif(quasiGroup[39], quasiGroup[23], true);
constraint int_ne_reif(quasiGroup[40], quasiGroup[32], true);
constraint int_ne_reif(quasiGroup[42], quasiGroup[50], true);
constraint int_ne_reif(quasiGroup[43], quasiGroup[59], true);
constraint int_ne_reif(quasiGroup[44], quasiGroup[68], true);
constraint int_ne_reif(quasiGroup[45], quasiGroup[77], true);
constraint int_ne_reif(quasiGroup[46], quasiGroup[6], true);
constraint int_ne_reif(quasiGroup[47], quasiGroup[15], true);
constraint int_ne_reif(quasiGroup[48], quasiGroup[24], true);
constraint int_ne_reif(quasiGroup[49], quasiGroup[33], true);
constraint int_ne_reif(quasiGroup[50], quasiGroup[42], true);
constraint int_ne_reif(quasiGroup[52], quasiGroup[60], true);
constraint int_ne_reif(quasiGroup[53], quasiGroup[69], true);
constraint int_ne_reif(quasiGroup[54], quasiGroup[78], true);
constraint int_ne_reif(quasiGroup[55], quasiGroup[7], true);
constraint int_ne_reif(quasiGroup[56], quasiGroup[16], true);
constraint int_ne_reif(quasiGroup[57], quasiGroup[25], true);
constraint int_ne_reif(quasiGroup[58], quasiGroup[34], true);
constraint int_ne_reif(quasiGroup[59], quasiGroup[43], true);
constraint int_ne_reif(quasiGroup[60], quasiGroup[52], true);
constraint int_ne_reif(quasiGroup[62], quasiGroup[70], true);
constraint int_ne_reif(quasiGroup[63], quasiGroup[79], true);
constraint int_ne_reif(quasiGroup[64], quasiGroup[8], true);
constraint int_ne_reif(quasiGroup[65], quasiGroup[17], true);
constraint int_ne_reif(quasiGroup[66], quasiGroup[26], true);
constraint int_ne_reif(quasiGroup[67], quasiGroup[35], true);
constraint int_ne_reif(quasiGroup[68], quasiGroup[44], true);
constraint int_ne_reif(quasiGroup[69], quasiGroup[53], true);
constraint int_ne_reif(quasiGroup[70], quasiGroup[62], true);
constraint int_ne_reif(quasiGroup[72], quasiGroup[80], true);
constraint int_ne_reif(quasiGroup[73], quasiGroup[9], true);
constraint int_ne_reif(quasiGroup[74], quasiGroup[18], true);
constraint int_ne_reif(quasiGroup[75], quasiGroup[27], true);
constraint int_ne_reif(quasiGroup[76], quasiGroup[36], true);
constraint int_ne_reif(quasiGroup[77], quasiGroup[45], true);
constraint int_ne_reif(quasiGroup[78], quasiGroup[54], true);
constraint int_ne_reif(quasiGroup[79], quasiGroup[63], true);
constraint int_ne_reif(quasiGroup[80], quasiGroup[72], true);
solve :: int_search([quasiGroup[1], quasiGroup[2], quasiGroup[3], quasiGroup[4], quasiGroup[5], quasiGroup[6], quasiGroup[7], quasiGroup[8], quasiGroup[9], quasiGroup[10], quasiGroup[11], quasiGroup[12], quasiGroup[13], quasiGroup[14], quasiGroup[15], quasiGroup[16], quasiGroup[17], quasiGroup[18], quasiGroup[19], quasiGroup[20], quasiGroup[21], quasiGroup[22], quasiGroup[23], quasiGroup[24], quasiGroup[25], quasiGroup[26], quasiGroup[27], quasiGroup[28], quasiGroup[29], quasiGroup[30], quasiGroup[31], quasiGroup[32], quasiGroup[33], quasiGroup[34], quasiGroup[35], quasiGroup[36], quasiGroup[37], quasiGroup[38], quasiGroup[39], quasiGroup[40], quasiGroup[41], quasiGroup[42], quasiGroup[43], quasiGroup[44], quasiGroup[45], quasiGroup[46], quasiGroup[47], quasiGroup[48], quasiGroup[49], quasiGroup[50], quasiGroup[51], quasiGroup[52], quasiGroup[53], quasiGroup[54], quasiGroup[55], quasiGroup[56], quasiGroup[57], quasiGroup[58], quasiGroup[59], quasiGroup[60], quasiGroup[61], quasiGroup[62], quasiGroup[63], quasiGroup[64], quasiGroup[65], quasiGroup[66], quasiGroup[67], quasiGroup[68], quasiGroup[69], quasiGroup[70], quasiGroup[71], quasiGroup[72], quasiGroup[73], quasiGroup[74], quasiGroup[75], quasiGroup[76], quasiGroup[77], quasiGroup[78], quasiGroup[79], quasiGroup[80], quasiGroup[81]], first_fail, indomain, complete) satisfy;
Reference in New Issue View Git Blame Copy Permalink