diff --git a/examples/flatzinc/einav_puzzle.fzn b/examples/flatzinc/einav_puzzle.fzn
new file mode 100644
index 0000000000..6cf061e01c
--- /dev/null
+++ b/examples/flatzinc/einav_puzzle.fzn
@@ -0,0 +1,1479 @@
+array [1..243] of int: data = [33, 30, 10, -6, 18, -7, -11, 23, -6, 16, -19, 9, -26, -8, -19, -8, -21, -14, 17, 12, -14, 31, -30, 13, -13, 19, 16, -6, -11, 1, 17, -12, -4, -7, 14, -21, 18, -31, 34, -22, 17, -19, 20, 24, 6, 33, -18, 17, -15, 31, -5, 3, 27, -3, -18, -20, -18, 31, 6, 4, -2, -12, 24, 27, 14, 4, -29, -3, 5, -29, 8, -12, -15, -7, -23, 23, -9, -8, 6, 8, -12, 33, -23, -19, -4, -8, -7, 11, -12, 31, -20, 19, -15, -30, 11, 32, 7, 14, -5, -23, 18, -32, -2, -31, -7, 8, 24, 16, 32, -4, -10, -14, -6, -1, 0, 23, 23, 25, 0, -23, 22, 12, 28, -27, 15, 4, -30, -13, -16, -3, -3, -32, -3, 27, -31, 22, 1, 26, 4, -2, -13, 26, 17, 14, -9, -18, 3, -20, -27, -32, -11, 27, 13, -17, 33, -7, 19, -32, 13, -31, -2, -24, -31, 27, -31, -29, 15, 2, 29, -15, 33, -18, -23, 15, 28, 0, 30, -4, 12, -32, -3, 34, 27, -25, -18, 26, 1, 34, 26, -21, -31, -10, -13, -30, -17, -12, -26, 31, 23, -31, -19, 21, -17, -10, 2, -23, 23, -3, 6, 0, -3, -32, 0, -10, -25, 14, -19, 9, 14, -27, 20, 15, -5, -27, 18, 11, -6, 24, 7, -17, 26, 20, -31, -25, -25, 4, -16, 30, 33, 23, -4, -4, 23];
+var -33..33: INT____00001 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00003 :: is_defined_var :: var_is_introduced;
+var -10..10: INT____00005 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00007 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00009 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00011 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00013 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00015 :: is_defined_var :: var_is_introduced;
+var -16..16: INT____00018 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00020 :: is_defined_var :: var_is_introduced;
+var -9..9: INT____00022 :: is_defined_var :: var_is_introduced;
+var -26..26: INT____00024 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00026 :: is_defined_var :: var_is_introduced;
+var -21..21: INT____00030 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00032 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00034 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00036 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00038 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00040 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00042 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00044 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00046 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00048 :: is_defined_var :: var_is_introduced;
+var -16..16: INT____00050 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00052 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00054 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00057 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00059 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00061 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00063 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00065 :: is_defined_var :: var_is_introduced;
+var -21..21: INT____00067 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00069 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00071 :: is_defined_var :: var_is_introduced;
+var -34..34: INT____00073 :: is_defined_var :: var_is_introduced;
+var -22..22: INT____00075 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00077 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00079 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00081 :: is_defined_var :: var_is_introduced;
+var -24..24: INT____00083 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00085 :: is_defined_var :: var_is_introduced;
+var -33..33: INT____00087 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00089 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00091 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00093 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00095 :: is_defined_var :: var_is_introduced;
+var -5..5: INT____00097 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00099 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00101 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00103 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00105 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00107 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00110 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00112 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00114 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00116 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00118 :: is_defined_var :: var_is_introduced;
+var -24..24: INT____00120 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00122 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00124 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00126 :: is_defined_var :: var_is_introduced;
+var -29..29: INT____00128 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00130 :: is_defined_var :: var_is_introduced;
+var -5..5: INT____00132 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00135 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00137 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00139 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00141 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00143 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00145 :: is_defined_var :: var_is_introduced;
+var -9..9: INT____00147 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00149 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00151 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00153 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00155 :: is_defined_var :: var_is_introduced;
+var -33..33: INT____00157 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00159 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00161 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00163 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00165 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00167 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00169 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00171 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00173 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00175 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00177 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00179 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00181 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00183 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00185 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00187 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00189 :: is_defined_var :: var_is_introduced;
+var -5..5: INT____00191 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00193 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00195 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00197 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00199 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00201 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00203 :: is_defined_var :: var_is_introduced;
+var -8..8: INT____00205 :: is_defined_var :: var_is_introduced;
+var -24..24: INT____00207 :: is_defined_var :: var_is_introduced;
+var -16..16: INT____00209 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00211 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00213 :: is_defined_var :: var_is_introduced;
+var -10..10: INT____00215 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00217 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00219 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00221 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00223 :: is_defined_var :: var_is_introduced;
+var -25..25: INT____00226 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00228 :: is_defined_var :: var_is_introduced;
+var -22..22: INT____00230 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00232 :: is_defined_var :: var_is_introduced;
+var -28..28: INT____00234 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00236 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00238 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00240 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00242 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00244 :: is_defined_var :: var_is_introduced;
+var -16..16: INT____00246 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00248 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00251 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00254 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00256 :: is_defined_var :: var_is_introduced;
+var -22..22: INT____00258 :: is_defined_var :: var_is_introduced;
+var -26..26: INT____00261 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00263 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00265 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00267 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00270 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00272 :: is_defined_var :: var_is_introduced;
+var -9..9: INT____00274 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00276 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00278 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00280 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00282 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00284 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00286 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00288 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00290 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00292 :: is_defined_var :: var_is_introduced;
+var -33..33: INT____00294 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00296 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00298 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00300 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00302 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00304 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00306 :: is_defined_var :: var_is_introduced;
+var -24..24: INT____00308 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00310 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00312 :: is_defined_var :: var_is_introduced;
+var -29..29: INT____00315 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00317 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00319 :: is_defined_var :: var_is_introduced;
+var -29..29: INT____00321 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00323 :: is_defined_var :: var_is_introduced;
+var -33..33: INT____00325 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00327 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00329 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00331 :: is_defined_var :: var_is_introduced;
+var -28..28: INT____00333 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00335 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00337 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00339 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00341 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00343 :: is_defined_var :: var_is_introduced;
+var -34..34: INT____00345 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00347 :: is_defined_var :: var_is_introduced;
+var -25..25: INT____00349 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00351 :: is_defined_var :: var_is_introduced;
+var -26..26: INT____00353 :: is_defined_var :: var_is_introduced;
+var -21..21: INT____00358 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00360 :: is_defined_var :: var_is_introduced;
+var -10..10: INT____00362 :: is_defined_var :: var_is_introduced;
+var -13..13: INT____00364 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00366 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00368 :: is_defined_var :: var_is_introduced;
+var -12..12: INT____00370 :: is_defined_var :: var_is_introduced;
+var -26..26: INT____00372 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00374 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00376 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00378 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00380 :: is_defined_var :: var_is_introduced;
+var -21..21: INT____00382 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00384 :: is_defined_var :: var_is_introduced;
+var -10..10: INT____00386 :: is_defined_var :: var_is_introduced;
+var -2..2: INT____00388 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00390 :: is_defined_var :: var_is_introduced;
+var -3..3: INT____00393 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00395 :: is_defined_var :: var_is_introduced;
+var -32..32: INT____00398 :: is_defined_var :: var_is_introduced;
+var -10..10: INT____00400 :: is_defined_var :: var_is_introduced;
+var -25..25: INT____00402 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00404 :: is_defined_var :: var_is_introduced;
+var -19..19: INT____00406 :: is_defined_var :: var_is_introduced;
+var -9..9: INT____00408 :: is_defined_var :: var_is_introduced;
+var -14..14: INT____00410 :: is_defined_var :: var_is_introduced;
+var -27..27: INT____00412 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00414 :: is_defined_var :: var_is_introduced;
+var -15..15: INT____00416 :: is_defined_var :: var_is_introduced;
+var -5..5: INT____00418 :: is_defined_var :: var_is_introduced;
+var -18..18: INT____00421 :: is_defined_var :: var_is_introduced;
+var -11..11: INT____00423 :: is_defined_var :: var_is_introduced;
+var -6..6: INT____00425 :: is_defined_var :: var_is_introduced;
+var -24..24: INT____00427 :: is_defined_var :: var_is_introduced;
+var -7..7: INT____00429 :: is_defined_var :: var_is_introduced;
+var -17..17: INT____00431 :: is_defined_var :: var_is_introduced;
+var -26..26: INT____00433 :: is_defined_var :: var_is_introduced;
+var -20..20: INT____00435 :: is_defined_var :: var_is_introduced;
+var -31..31: INT____00437 :: is_defined_var :: var_is_introduced;
+var -25..25: INT____00439 :: is_defined_var :: var_is_introduced;
+var -25..25: INT____00441 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00443 :: is_defined_var :: var_is_introduced;
+var -16..16: INT____00445 :: is_defined_var :: var_is_introduced;
+var -30..30: INT____00447 :: is_defined_var :: var_is_introduced;
+var -33..33: INT____00449 :: is_defined_var :: var_is_introduced;
+var -23..23: INT____00451 :: is_defined_var :: var_is_introduced;
+var -4..4: INT____00453 :: is_defined_var :: var_is_introduced;
+var 0..1000: INT____00457 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00458 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00459 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00460 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00461 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00462 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00463 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00464 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00465 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00466 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00467 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00468 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00469 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00470 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00471 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00472 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00473 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00474 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00475 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00476 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00477 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00478 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00479 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00480 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00481 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00482 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00483 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00484 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00485 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00486 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00487 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00488 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00489 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00490 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00491 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00492 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00493 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00494 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00495 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00496 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00497 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00498 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00499 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00500 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00501 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00502 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00503 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00504 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00505 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00506 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00507 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00508 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00509 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00510 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00511 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00512 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00513 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00514 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00515 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00516 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00517 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00518 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00519 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00520 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00521 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00522 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00523 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00524 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00525 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00526 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00527 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00528 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00529 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00530 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00531 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00532 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00533 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00534 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00535 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00536 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00537 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00538 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00539 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00540 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00541 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00542 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00543 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00544 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00545 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00546 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00547 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00548 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00549 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00550 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00551 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00552 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00553 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00554 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00555 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00556 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00557 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00558 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00559 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00560 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00561 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00562 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00563 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00564 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00565 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00566 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00567 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00568 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00569 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00570 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00571 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00572 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00573 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00574 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00575 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00576 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00577 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00578 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00579 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00580 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00581 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00582 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00583 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00584 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00585 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00586 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00587 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00588 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00589 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00590 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00591 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00592 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00593 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00594 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00595 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00596 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00597 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00598 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00599 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00600 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00601 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00602 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00603 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00604 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00605 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00606 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00607 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00608 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00609 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00610 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00611 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00612 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00613 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00614 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00615 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00616 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00617 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00618 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00619 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00620 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00621 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00622 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00623 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00624 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00625 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00626 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00627 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00628 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00629 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00630 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00631 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00632 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00633 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00634 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00635 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00636 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00637 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00638 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00639 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00640 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00641 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00642 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00643 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00644 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00645 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00646 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00647 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00648 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00649 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00650 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00651 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00652 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00653 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00654 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00655 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00656 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00657 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00658 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00659 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00660 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00661 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00662 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00663 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00664 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00665 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00666 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00667 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00668 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00669 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00670 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00671 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00672 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00673 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00674 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00675 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00676 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00677 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00678 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00679 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00680 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00681 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00682 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00683 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00684 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00685 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00686 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00687 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00688 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00689 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00690 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00691 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00692 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00693 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00694 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00695 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00696 :: is_defined_var :: var_is_introduced;
+var -1..1: INT____00697 :: is_defined_var :: var_is_introduced;
+array [1..9] of var -1..1: col_signs :: output_array([1..9]);
+array [1..9] of var 0..200: col_sums :: output_array([1..9]);
+array [1..243] of var -100..100: data_x :: output_array([1..27, 1..9]);
+var -23..23: INT____00456 :: var_is_introduced = data_x[243];
+var -4..4: INT____00455 :: var_is_introduced = data_x[242];
+var -4..4: INT____00454 :: var_is_introduced = data_x[241];
+var -23..23: INT____00452 :: var_is_introduced = data_x[240];
+var -33..33: INT____00450 :: var_is_introduced = data_x[239];
+var -30..30: INT____00448 :: var_is_introduced = data_x[238];
+var -16..16: INT____00446 :: var_is_introduced = data_x[237];
+var -4..4: INT____00444 :: var_is_introduced = data_x[236];
+var -25..25: INT____00442 :: var_is_introduced = data_x[235];
+var -25..25: INT____00440 :: var_is_introduced = data_x[234];
+var -31..31: INT____00438 :: var_is_introduced = data_x[233];
+var -20..20: INT____00436 :: var_is_introduced = data_x[232];
+var -26..26: INT____00434 :: var_is_introduced = data_x[231];
+var -17..17: INT____00432 :: var_is_introduced = data_x[230];
+var -7..7: INT____00430 :: var_is_introduced = data_x[229];
+var -24..24: INT____00428 :: var_is_introduced = data_x[228];
+var -6..6: INT____00426 :: var_is_introduced = data_x[227];
+var -11..11: INT____00424 :: var_is_introduced = data_x[226];
+var -18..18: INT____00422 :: var_is_introduced = data_x[225];
+var -27..27: INT____00420 :: var_is_introduced = data_x[224];
+var -5..5: INT____00419 :: var_is_introduced = data_x[223];
+var -15..15: INT____00417 :: var_is_introduced = data_x[222];
+var -20..20: INT____00415 :: var_is_introduced = data_x[221];
+var -27..27: INT____00413 :: var_is_introduced = data_x[220];
+var -14..14: INT____00411 :: var_is_introduced = data_x[219];
+var -9..9: INT____00409 :: var_is_introduced = data_x[218];
+var -19..19: INT____00407 :: var_is_introduced = data_x[217];
+var -14..14: INT____00405 :: var_is_introduced = data_x[216];
+var -25..25: INT____00403 :: var_is_introduced = data_x[215];
+var -10..10: INT____00401 :: var_is_introduced = data_x[214];
+var -32..32: INT____00399 :: var_is_introduced = data_x[212];
+var -3..3: INT____00397 :: var_is_introduced = data_x[211];
+var -6..6: INT____00396 :: var_is_introduced = data_x[209];
+var -3..3: INT____00394 :: var_is_introduced = data_x[208];
+var -23..23: INT____00392 :: var_is_introduced = data_x[207];
+var -23..23: INT____00391 :: var_is_introduced = data_x[206];
+var -2..2: INT____00389 :: var_is_introduced = data_x[205];
+var -10..10: INT____00387 :: var_is_introduced = data_x[204];
+var -17..17: INT____00385 :: var_is_introduced = data_x[203];
+var -21..21: INT____00383 :: var_is_introduced = data_x[202];
+var -19..19: INT____00381 :: var_is_introduced = data_x[201];
+var -31..31: INT____00379 :: var_is_introduced = data_x[200];
+var -23..23: INT____00377 :: var_is_introduced = data_x[199];
+var -31..31: INT____00375 :: var_is_introduced = data_x[198];
+var -26..26: INT____00373 :: var_is_introduced = data_x[197];
+var -12..12: INT____00371 :: var_is_introduced = data_x[196];
+var -17..17: INT____00369 :: var_is_introduced = data_x[195];
+var -30..30: INT____00367 :: var_is_introduced = data_x[194];
+var -13..13: INT____00365 :: var_is_introduced = data_x[193];
+var -10..10: INT____00363 :: var_is_introduced = data_x[192];
+var -31..31: INT____00361 :: var_is_introduced = data_x[191];
+var -21..21: INT____00359 :: var_is_introduced = data_x[190];
+var -26..26: INT____00357 :: var_is_introduced = data_x[189];
+var -34..34: INT____00356 :: var_is_introduced = data_x[188];
+var -1..1: INT____00355 :: var_is_introduced = data_x[187];
+var -26..26: INT____00354 :: var_is_introduced = data_x[186];
+var -18..18: INT____00352 :: var_is_introduced = data_x[185];
+var -25..25: INT____00350 :: var_is_introduced = data_x[184];
+var -27..27: INT____00348 :: var_is_introduced = data_x[183];
+var -34..34: INT____00346 :: var_is_introduced = data_x[182];
+var -3..3: INT____00344 :: var_is_introduced = data_x[181];
+var -32..32: INT____00342 :: var_is_introduced = data_x[180];
+var -12..12: INT____00340 :: var_is_introduced = data_x[179];
+var -4..4: INT____00338 :: var_is_introduced = data_x[178];
+var -30..30: INT____00336 :: var_is_introduced = data_x[177];
+var -28..28: INT____00334 :: var_is_introduced = data_x[175];
+var -15..15: INT____00332 :: var_is_introduced = data_x[174];
+var -23..23: INT____00330 :: var_is_introduced = data_x[173];
+var -18..18: INT____00328 :: var_is_introduced = data_x[172];
+var -33..33: INT____00326 :: var_is_introduced = data_x[171];
+var -15..15: INT____00324 :: var_is_introduced = data_x[170];
+var -29..29: INT____00322 :: var_is_introduced = data_x[169];
+var -2..2: INT____00320 :: var_is_introduced = data_x[168];
+var -15..15: INT____00318 :: var_is_introduced = data_x[167];
+var -29..29: INT____00316 :: var_is_introduced = data_x[166];
+var -31..31: INT____00314 :: var_is_introduced = data_x[165];
+var -27..27: INT____00313 :: var_is_introduced = data_x[164];
+var -31..31: INT____00311 :: var_is_introduced = data_x[163];
+var -24..24: INT____00309 :: var_is_introduced = data_x[162];
+var -2..2: INT____00307 :: var_is_introduced = data_x[161];
+var -31..31: INT____00305 :: var_is_introduced = data_x[160];
+var -13..13: INT____00303 :: var_is_introduced = data_x[159];
+var -32..32: INT____00301 :: var_is_introduced = data_x[158];
+var -19..19: INT____00299 :: var_is_introduced = data_x[157];
+var -7..7: INT____00297 :: var_is_introduced = data_x[156];
+var -33..33: INT____00295 :: var_is_introduced = data_x[155];
+var -17..17: INT____00293 :: var_is_introduced = data_x[154];
+var -13..13: INT____00291 :: var_is_introduced = data_x[153];
+var -27..27: INT____00289 :: var_is_introduced = data_x[152];
+var -11..11: INT____00287 :: var_is_introduced = data_x[151];
+var -32..32: INT____00285 :: var_is_introduced = data_x[150];
+var -27..27: INT____00283 :: var_is_introduced = data_x[149];
+var -20..20: INT____00281 :: var_is_introduced = data_x[148];
+var -3..3: INT____00279 :: var_is_introduced = data_x[147];
+var -18..18: INT____00277 :: var_is_introduced = data_x[146];
+var -9..9: INT____00275 :: var_is_introduced = data_x[145];
+var -14..14: INT____00273 :: var_is_introduced = data_x[144];
+var -17..17: INT____00271 :: var_is_introduced = data_x[143];
+var -26..26: INT____00269 :: var_is_introduced = data_x[142];
+var -13..13: INT____00268 :: var_is_introduced = data_x[141];
+var -2..2: INT____00266 :: var_is_introduced = data_x[140];
+var -4..4: INT____00264 :: var_is_introduced = data_x[139];
+var -26..26: INT____00262 :: var_is_introduced = data_x[138];
+var -1..1: INT____00260 :: var_is_introduced = data_x[137];
+var -22..22: INT____00259 :: var_is_introduced = data_x[136];
+var -31..31: INT____00257 :: var_is_introduced = data_x[135];
+var -27..27: INT____00255 :: var_is_introduced = data_x[134];
+var -3..3: INT____00253 :: var_is_introduced = data_x[133];
+var -32..32: INT____00252 :: var_is_introduced = data_x[132];
+var -3..3: INT____00250 :: var_is_introduced = data_x[131];
+var -3..3: INT____00249 :: var_is_introduced = data_x[130];
+var -16..16: INT____00247 :: var_is_introduced = data_x[129];
+var -13..13: INT____00245 :: var_is_introduced = data_x[128];
+var -30..30: INT____00243 :: var_is_introduced = data_x[127];
+var -4..4: INT____00241 :: var_is_introduced = data_x[126];
+var -15..15: INT____00239 :: var_is_introduced = data_x[125];
+var -27..27: INT____00237 :: var_is_introduced = data_x[124];
+var -28..28: INT____00235 :: var_is_introduced = data_x[123];
+var -12..12: INT____00233 :: var_is_introduced = data_x[122];
+var -22..22: INT____00231 :: var_is_introduced = data_x[121];
+var -23..23: INT____00229 :: var_is_introduced = data_x[120];
+var -25..25: INT____00227 :: var_is_introduced = data_x[118];
+var -23..23: INT____00225 :: var_is_introduced = data_x[117];
+var -23..23: INT____00224 :: var_is_introduced = data_x[116];
+var -1..1: INT____00222 :: var_is_introduced = data_x[114];
+var -6..6: INT____00220 :: var_is_introduced = data_x[113];
+var -14..14: INT____00218 :: var_is_introduced = data_x[112];
+var -10..10: INT____00216 :: var_is_introduced = data_x[111];
+var -4..4: INT____00214 :: var_is_introduced = data_x[110];
+var -32..32: INT____00212 :: var_is_introduced = data_x[109];
+var -16..16: INT____00210 :: var_is_introduced = data_x[108];
+var -24..24: INT____00208 :: var_is_introduced = data_x[107];
+var -8..8: INT____00206 :: var_is_introduced = data_x[106];
+var -7..7: INT____00204 :: var_is_introduced = data_x[105];
+var -31..31: INT____00202 :: var_is_introduced = data_x[104];
+var -2..2: INT____00200 :: var_is_introduced = data_x[103];
+var -32..32: INT____00198 :: var_is_introduced = data_x[102];
+var -18..18: INT____00196 :: var_is_introduced = data_x[101];
+var -23..23: INT____00194 :: var_is_introduced = data_x[100];
+var -5..5: INT____00192 :: var_is_introduced = data_x[99];
+var -14..14: INT____00190 :: var_is_introduced = data_x[98];
+var -7..7: INT____00188 :: var_is_introduced = data_x[97];
+var -32..32: INT____00186 :: var_is_introduced = data_x[96];
+var -11..11: INT____00184 :: var_is_introduced = data_x[95];
+var -30..30: INT____00182 :: var_is_introduced = data_x[94];
+var -15..15: INT____00180 :: var_is_introduced = data_x[93];
+var -19..19: INT____00178 :: var_is_introduced = data_x[92];
+var -20..20: INT____00176 :: var_is_introduced = data_x[91];
+var -31..31: INT____00174 :: var_is_introduced = data_x[90];
+var -12..12: INT____00172 :: var_is_introduced = data_x[89];
+var -11..11: INT____00170 :: var_is_introduced = data_x[88];
+var -7..7: INT____00168 :: var_is_introduced = data_x[87];
+var -8..8: INT____00166 :: var_is_introduced = data_x[86];
+var -4..4: INT____00164 :: var_is_introduced = data_x[85];
+var -19..19: INT____00162 :: var_is_introduced = data_x[84];
+var -23..23: INT____00160 :: var_is_introduced = data_x[83];
+var -33..33: INT____00158 :: var_is_introduced = data_x[82];
+var -12..12: INT____00156 :: var_is_introduced = data_x[81];
+var -8..8: INT____00154 :: var_is_introduced = data_x[80];
+var -6..6: INT____00152 :: var_is_introduced = data_x[79];
+var -8..8: INT____00150 :: var_is_introduced = data_x[78];
+var -9..9: INT____00148 :: var_is_introduced = data_x[77];
+var -23..23: INT____00146 :: var_is_introduced = data_x[76];
+var -23..23: INT____00144 :: var_is_introduced = data_x[75];
+var -7..7: INT____00142 :: var_is_introduced = data_x[74];
+var -15..15: INT____00140 :: var_is_introduced = data_x[73];
+var -12..12: INT____00138 :: var_is_introduced = data_x[72];
+var -8..8: INT____00136 :: var_is_introduced = data_x[71];
+var -29..29: INT____00134 :: var_is_introduced = data_x[70];
+var -5..5: INT____00133 :: var_is_introduced = data_x[69];
+var -3..3: INT____00131 :: var_is_introduced = data_x[68];
+var -29..29: INT____00129 :: var_is_introduced = data_x[67];
+var -4..4: INT____00127 :: var_is_introduced = data_x[66];
+var -14..14: INT____00125 :: var_is_introduced = data_x[65];
+var -27..27: INT____00123 :: var_is_introduced = data_x[64];
+var -24..24: INT____00121 :: var_is_introduced = data_x[63];
+var -12..12: INT____00119 :: var_is_introduced = data_x[62];
+var -2..2: INT____00117 :: var_is_introduced = data_x[61];
+var -4..4: INT____00115 :: var_is_introduced = data_x[60];
+var -6..6: INT____00113 :: var_is_introduced = data_x[59];
+var -31..31: INT____00111 :: var_is_introduced = data_x[58];
+var -18..18: INT____00109 :: var_is_introduced = data_x[57];
+var -20..20: INT____00108 :: var_is_introduced = data_x[56];
+var -18..18: INT____00106 :: var_is_introduced = data_x[55];
+var -3..3: INT____00104 :: var_is_introduced = data_x[54];
+var -27..27: INT____00102 :: var_is_introduced = data_x[53];
+var -3..3: INT____00100 :: var_is_introduced = data_x[52];
+var -5..5: INT____00098 :: var_is_introduced = data_x[51];
+var -31..31: INT____00096 :: var_is_introduced = data_x[50];
+var -15..15: INT____00094 :: var_is_introduced = data_x[49];
+var -17..17: INT____00092 :: var_is_introduced = data_x[48];
+var -18..18: INT____00090 :: var_is_introduced = data_x[47];
+var -33..33: INT____00088 :: var_is_introduced = data_x[46];
+var -6..6: INT____00086 :: var_is_introduced = data_x[45];
+var -24..24: INT____00084 :: var_is_introduced = data_x[44];
+var -20..20: INT____00082 :: var_is_introduced = data_x[43];
+var -19..19: INT____00080 :: var_is_introduced = data_x[42];
+var -17..17: INT____00078 :: var_is_introduced = data_x[41];
+var -22..22: INT____00076 :: var_is_introduced = data_x[40];
+var -34..34: INT____00074 :: var_is_introduced = data_x[39];
+var -31..31: INT____00072 :: var_is_introduced = data_x[38];
+var -18..18: INT____00070 :: var_is_introduced = data_x[37];
+var -21..21: INT____00068 :: var_is_introduced = data_x[36];
+var -14..14: INT____00066 :: var_is_introduced = data_x[35];
+var -7..7: INT____00064 :: var_is_introduced = data_x[34];
+var -4..4: INT____00062 :: var_is_introduced = data_x[33];
+var -12..12: INT____00060 :: var_is_introduced = data_x[32];
+var -17..17: INT____00058 :: var_is_introduced = data_x[31];
+var -1..1: INT____00056 :: var_is_introduced = data_x[30];
+var -11..11: INT____00055 :: var_is_introduced = data_x[29];
+var -6..6: INT____00053 :: var_is_introduced = data_x[28];
+var -16..16: INT____00051 :: var_is_introduced = data_x[27];
+var -19..19: INT____00049 :: var_is_introduced = data_x[26];
+var -13..13: INT____00047 :: var_is_introduced = data_x[25];
+var -13..13: INT____00045 :: var_is_introduced = data_x[24];
+var -30..30: INT____00043 :: var_is_introduced = data_x[23];
+var -31..31: INT____00041 :: var_is_introduced = data_x[22];
+var -14..14: INT____00039 :: var_is_introduced = data_x[21];
+var -12..12: INT____00037 :: var_is_introduced = data_x[20];
+var -17..17: INT____00035 :: var_is_introduced = data_x[19];
+var -14..14: INT____00033 :: var_is_introduced = data_x[18];
+var -21..21: INT____00031 :: var_is_introduced = data_x[17];
+var -8..8: INT____00029 :: var_is_introduced = data_x[16];
+var -19..19: INT____00028 :: var_is_introduced = data_x[15];
+var -8..8: INT____00027 :: var_is_introduced = data_x[14];
+var -26..26: INT____00025 :: var_is_introduced = data_x[13];
+var -9..9: INT____00023 :: var_is_introduced = data_x[12];
+var -19..19: INT____00021 :: var_is_introduced = data_x[11];
+var -16..16: INT____00019 :: var_is_introduced = data_x[10];
+var -6..6: INT____00017 :: var_is_introduced = data_x[9];
+var -23..23: INT____00016 :: var_is_introduced = data_x[8];
+var -11..11: INT____00014 :: var_is_introduced = data_x[7];
+var -7..7: INT____00012 :: var_is_introduced = data_x[6];
+var -18..18: INT____00010 :: var_is_introduced = data_x[5];
+var -6..6: INT____00008 :: var_is_introduced = data_x[4];
+var -10..10: INT____00006 :: var_is_introduced = data_x[3];
+var -30..30: INT____00004 :: var_is_introduced = data_x[2];
+var -33..33: INT____00002 :: var_is_introduced = data_x[1];
+array [1..27] of var -1..1: row_signs :: output_array([1..27]);
+array [1..27] of var 0..200: row_sums :: output_array([1..27]);
+var 0..1000: total_sum :: output_var = INT____00457;
+constraint int_eq(data_x[115], 0);
+constraint int_eq(data_x[119], 0);
+constraint int_eq(data_x[176], 0);
+constraint int_eq(data_x[210], 0);
+constraint int_eq(data_x[213], 0);
+constraint int_lin_eq([-1, -32], [INT____00197, row_signs[12]], 0) :: defines_var(INT____00197);
+constraint int_lin_eq([-1, -32], [INT____00251, row_signs[15]], 0) :: defines_var(INT____00251);
+constraint int_lin_eq([-1, -32], [INT____00284, row_signs[17]], 0) :: defines_var(INT____00284);
+constraint int_lin_eq([-1, -32], [INT____00300, row_signs[18]], 0) :: defines_var(INT____00300);
+constraint int_lin_eq([-1, -32], [INT____00341, row_signs[20]], 0) :: defines_var(INT____00341);
+constraint int_lin_eq([-1, -32], [INT____00398, row_signs[24]], 0) :: defines_var(INT____00398);
+constraint int_lin_eq([-1, -31], [INT____00071, row_signs[5]], 0) :: defines_var(INT____00071);
+constraint int_lin_eq([-1, -31], [INT____00201, row_signs[12]], 0) :: defines_var(INT____00201);
+constraint int_lin_eq([-1, -31], [INT____00256, row_signs[15]], 0) :: defines_var(INT____00256);
+constraint int_lin_eq([-1, -31], [INT____00304, row_signs[18]], 0) :: defines_var(INT____00304);
+constraint int_lin_eq([-1, -31], [INT____00310, row_signs[19]], 0) :: defines_var(INT____00310);
+constraint int_lin_eq([-1, -31], [INT____00360, row_signs[22]], 0) :: defines_var(INT____00360);
+constraint int_lin_eq([-1, -31], [INT____00378, row_signs[23]], 0) :: defines_var(INT____00378);
+constraint int_lin_eq([-1, -31], [INT____00437, row_signs[26]], 0) :: defines_var(INT____00437);
+constraint int_lin_eq([-1, -30], [INT____00042, row_signs[3]], 0) :: defines_var(INT____00042);
+constraint int_lin_eq([-1, -30], [INT____00181, row_signs[11]], 0) :: defines_var(INT____00181);
+constraint int_lin_eq([-1, -30], [INT____00242, row_signs[15]], 0) :: defines_var(INT____00242);
+constraint int_lin_eq([-1, -30], [INT____00366, row_signs[22]], 0) :: defines_var(INT____00366);
+constraint int_lin_eq([-1, -29], [INT____00128, row_signs[8]], 0) :: defines_var(INT____00128);
+constraint int_lin_eq([-1, -29], [INT____00315, row_signs[19]], 0) :: defines_var(INT____00315);
+constraint int_lin_eq([-1, -27], [INT____00236, row_signs[14]], 0) :: defines_var(INT____00236);
+constraint int_lin_eq([-1, -27], [INT____00282, row_signs[17]], 0) :: defines_var(INT____00282);
+constraint int_lin_eq([-1, -27], [INT____00412, row_signs[25]], 0) :: defines_var(INT____00412);
+constraint int_lin_eq([-1, -26], [INT____00024, row_signs[2]], 0) :: defines_var(INT____00024);
+constraint int_lin_eq([-1, -26], [INT____00372, row_signs[22]], 0) :: defines_var(INT____00372);
+constraint int_lin_eq([-1, -25], [INT____00349, row_signs[21]], 0) :: defines_var(INT____00349);
+constraint int_lin_eq([-1, -25], [INT____00402, row_signs[24]], 0) :: defines_var(INT____00402);
+constraint int_lin_eq([-1, -25], [INT____00439, row_signs[26]], 0) :: defines_var(INT____00439);
+constraint int_lin_eq([-1, -25], [INT____00441, row_signs[27]], 0) :: defines_var(INT____00441);
+constraint int_lin_eq([-1, -24], [INT____00308, row_signs[18]], 0) :: defines_var(INT____00308);
+constraint int_lin_eq([-1, -23], [INT____00143, row_signs[9]], 0) :: defines_var(INT____00143);
+constraint int_lin_eq([-1, -23], [INT____00159, row_signs[10]], 0) :: defines_var(INT____00159);
+constraint int_lin_eq([-1, -23], [INT____00193, row_signs[12]], 0) :: defines_var(INT____00193);
+constraint int_lin_eq([-1, -23], [INT____00228, row_signs[14]], 0) :: defines_var(INT____00228);
+constraint int_lin_eq([-1, -23], [INT____00329, row_signs[20]], 0) :: defines_var(INT____00329);
+constraint int_lin_eq([-1, -23], [INT____00390, row_signs[23]], 0) :: defines_var(INT____00390);
+constraint int_lin_eq([-1, -22], [INT____00075, row_signs[5]], 0) :: defines_var(INT____00075);
+constraint int_lin_eq([-1, -21], [INT____00030, row_signs[2]], 0) :: defines_var(INT____00030);
+constraint int_lin_eq([-1, -21], [INT____00067, row_signs[4]], 0) :: defines_var(INT____00067);
+constraint int_lin_eq([-1, -21], [INT____00358, row_signs[22]], 0) :: defines_var(INT____00358);
+constraint int_lin_eq([-1, -20], [INT____00107, row_signs[7]], 0) :: defines_var(INT____00107);
+constraint int_lin_eq([-1, -20], [INT____00175, row_signs[11]], 0) :: defines_var(INT____00175);
+constraint int_lin_eq([-1, -20], [INT____00280, row_signs[17]], 0) :: defines_var(INT____00280);
+constraint int_lin_eq([-1, -19], [INT____00020, row_signs[2]], 0) :: defines_var(INT____00020);
+constraint int_lin_eq([-1, -19], [INT____00079, row_signs[5]], 0) :: defines_var(INT____00079);
+constraint int_lin_eq([-1, -19], [INT____00161, row_signs[10]], 0) :: defines_var(INT____00161);
+constraint int_lin_eq([-1, -19], [INT____00380, row_signs[23]], 0) :: defines_var(INT____00380);
+constraint int_lin_eq([-1, -19], [INT____00406, row_signs[25]], 0) :: defines_var(INT____00406);
+constraint int_lin_eq([-1, -18], [INT____00089, row_signs[6]], 0) :: defines_var(INT____00089);
+constraint int_lin_eq([-1, -18], [INT____00105, row_signs[7]], 0) :: defines_var(INT____00105);
+constraint int_lin_eq([-1, -18], [INT____00276, row_signs[17]], 0) :: defines_var(INT____00276);
+constraint int_lin_eq([-1, -18], [INT____00327, row_signs[20]], 0) :: defines_var(INT____00327);
+constraint int_lin_eq([-1, -18], [INT____00351, row_signs[21]], 0) :: defines_var(INT____00351);
+constraint int_lin_eq([-1, -17], [INT____00292, row_signs[18]], 0) :: defines_var(INT____00292);
+constraint int_lin_eq([-1, -17], [INT____00368, row_signs[22]], 0) :: defines_var(INT____00368);
+constraint int_lin_eq([-1, -17], [INT____00384, row_signs[23]], 0) :: defines_var(INT____00384);
+constraint int_lin_eq([-1, -17], [INT____00431, row_signs[26]], 0) :: defines_var(INT____00431);
+constraint int_lin_eq([-1, -16], [INT____00246, row_signs[15]], 0) :: defines_var(INT____00246);
+constraint int_lin_eq([-1, -16], [INT____00445, row_signs[27]], 0) :: defines_var(INT____00445);
+constraint int_lin_eq([-1, -15], [INT____00093, row_signs[6]], 0) :: defines_var(INT____00093);
+constraint int_lin_eq([-1, -15], [INT____00139, row_signs[9]], 0) :: defines_var(INT____00139);
+constraint int_lin_eq([-1, -15], [INT____00179, row_signs[11]], 0) :: defines_var(INT____00179);
+constraint int_lin_eq([-1, -15], [INT____00323, row_signs[19]], 0) :: defines_var(INT____00323);
+constraint int_lin_eq([-1, -14], [INT____00032, row_signs[2]], 0) :: defines_var(INT____00032);
+constraint int_lin_eq([-1, -14], [INT____00038, row_signs[3]], 0) :: defines_var(INT____00038);
+constraint int_lin_eq([-1, -14], [INT____00217, row_signs[13]], 0) :: defines_var(INT____00217);
+constraint int_lin_eq([-1, -13], [INT____00046, row_signs[3]], 0) :: defines_var(INT____00046);
+constraint int_lin_eq([-1, -13], [INT____00244, row_signs[15]], 0) :: defines_var(INT____00244);
+constraint int_lin_eq([-1, -13], [INT____00267, row_signs[16]], 0) :: defines_var(INT____00267);
+constraint int_lin_eq([-1, -13], [INT____00364, row_signs[22]], 0) :: defines_var(INT____00364);
+constraint int_lin_eq([-1, -12], [INT____00059, row_signs[4]], 0) :: defines_var(INT____00059);
+constraint int_lin_eq([-1, -12], [INT____00118, row_signs[7]], 0) :: defines_var(INT____00118);
+constraint int_lin_eq([-1, -12], [INT____00137, row_signs[8]], 0) :: defines_var(INT____00137);
+constraint int_lin_eq([-1, -12], [INT____00155, row_signs[9]], 0) :: defines_var(INT____00155);
+constraint int_lin_eq([-1, -12], [INT____00171, row_signs[10]], 0) :: defines_var(INT____00171);
+constraint int_lin_eq([-1, -12], [INT____00370, row_signs[22]], 0) :: defines_var(INT____00370);
+constraint int_lin_eq([-1, -11], [INT____00013, row_signs[1]], 0) :: defines_var(INT____00013);
+constraint int_lin_eq([-1, -11], [INT____00054, row_signs[4]], 0) :: defines_var(INT____00054);
+constraint int_lin_eq([-1, -11], [INT____00286, row_signs[17]], 0) :: defines_var(INT____00286);
+constraint int_lin_eq([-1, -10], [INT____00215, row_signs[13]], 0) :: defines_var(INT____00215);
+constraint int_lin_eq([-1, -10], [INT____00362, row_signs[22]], 0) :: defines_var(INT____00362);
+constraint int_lin_eq([-1, -10], [INT____00386, row_signs[23]], 0) :: defines_var(INT____00386);
+constraint int_lin_eq([-1, -10], [INT____00400, row_signs[24]], 0) :: defines_var(INT____00400);
+constraint int_lin_eq([-1, -9], [INT____00147, row_signs[9]], 0) :: defines_var(INT____00147);
+constraint int_lin_eq([-1, -9], [INT____00274, row_signs[17]], 0) :: defines_var(INT____00274);
+constraint int_lin_eq([-1, -8], [INT____00026, row_signs[2]], 0) :: defines_var(INT____00026);
+constraint int_lin_eq([-1, -8], [INT____00149, row_signs[9]], 0) :: defines_var(INT____00149);
+constraint int_lin_eq([-1, -8], [INT____00165, row_signs[10]], 0) :: defines_var(INT____00165);
+constraint int_lin_eq([-1, -7], [INT____00011, row_signs[1]], 0) :: defines_var(INT____00011);
+constraint int_lin_eq([-1, -7], [INT____00063, row_signs[4]], 0) :: defines_var(INT____00063);
+constraint int_lin_eq([-1, -7], [INT____00141, row_signs[9]], 0) :: defines_var(INT____00141);
+constraint int_lin_eq([-1, -7], [INT____00167, row_signs[10]], 0) :: defines_var(INT____00167);
+constraint int_lin_eq([-1, -7], [INT____00203, row_signs[12]], 0) :: defines_var(INT____00203);
+constraint int_lin_eq([-1, -7], [INT____00296, row_signs[18]], 0) :: defines_var(INT____00296);
+constraint int_lin_eq([-1, -6], [INT____00007, row_signs[1]], 0) :: defines_var(INT____00007);
+constraint int_lin_eq([-1, -6], [INT____00052, row_signs[4]], 0) :: defines_var(INT____00052);
+constraint int_lin_eq([-1, -6], [INT____00219, row_signs[13]], 0) :: defines_var(INT____00219);
+constraint int_lin_eq([-1, -6], [INT____00425, row_signs[26]], 0) :: defines_var(INT____00425);
+constraint int_lin_eq([-1, -5], [INT____00097, row_signs[6]], 0) :: defines_var(INT____00097);
+constraint int_lin_eq([-1, -5], [INT____00191, row_signs[11]], 0) :: defines_var(INT____00191);
+constraint int_lin_eq([-1, -5], [INT____00418, row_signs[25]], 0) :: defines_var(INT____00418);
+constraint int_lin_eq([-1, -4], [INT____00061, row_signs[4]], 0) :: defines_var(INT____00061);
+constraint int_lin_eq([-1, -4], [INT____00163, row_signs[10]], 0) :: defines_var(INT____00163);
+constraint int_lin_eq([-1, -4], [INT____00213, row_signs[13]], 0) :: defines_var(INT____00213);
+constraint int_lin_eq([-1, -4], [INT____00337, row_signs[20]], 0) :: defines_var(INT____00337);
+constraint int_lin_eq([-1, -4], [INT____00453, row_signs[27]], 0) :: defines_var(INT____00453);
+constraint int_lin_eq([-1, -3], [INT____00103, row_signs[6]], 0) :: defines_var(INT____00103);
+constraint int_lin_eq([-1, -3], [INT____00130, row_signs[8]], 0) :: defines_var(INT____00130);
+constraint int_lin_eq([-1, -3], [INT____00248, row_signs[15]], 0) :: defines_var(INT____00248);
+constraint int_lin_eq([-1, -3], [INT____00343, row_signs[21]], 0) :: defines_var(INT____00343);
+constraint int_lin_eq([-1, -3], [INT____00393, row_signs[24]], 0) :: defines_var(INT____00393);
+constraint int_lin_eq([-1, -2], [INT____00116, row_signs[7]], 0) :: defines_var(INT____00116);
+constraint int_lin_eq([-1, -2], [INT____00199, row_signs[12]], 0) :: defines_var(INT____00199);
+constraint int_lin_eq([-1, -2], [INT____00265, row_signs[16]], 0) :: defines_var(INT____00265);
+constraint int_lin_eq([-1, -2], [INT____00306, row_signs[18]], 0) :: defines_var(INT____00306);
+constraint int_lin_eq([-1, -1], [INT____00221, row_signs[13]], 0) :: defines_var(INT____00221);
+constraint int_lin_eq([-1, 2], [INT____00319, row_signs[19]], 0) :: defines_var(INT____00319);
+constraint int_lin_eq([-1, 2], [INT____00388, row_signs[23]], 0) :: defines_var(INT____00388);
+constraint int_lin_eq([-1, 3], [INT____00099, row_signs[6]], 0) :: defines_var(INT____00099);
+constraint int_lin_eq([-1, 3], [INT____00278, row_signs[17]], 0) :: defines_var(INT____00278);
+constraint int_lin_eq([-1, 4], [INT____00114, row_signs[7]], 0) :: defines_var(INT____00114);
+constraint int_lin_eq([-1, 4], [INT____00126, row_signs[8]], 0) :: defines_var(INT____00126);
+constraint int_lin_eq([-1, 4], [INT____00240, row_signs[14]], 0) :: defines_var(INT____00240);
+constraint int_lin_eq([-1, 4], [INT____00263, row_signs[16]], 0) :: defines_var(INT____00263);
+constraint int_lin_eq([-1, 4], [INT____00443, row_signs[27]], 0) :: defines_var(INT____00443);
+constraint int_lin_eq([-1, 5], [INT____00132, row_signs[8]], 0) :: defines_var(INT____00132);
+constraint int_lin_eq([-1, 6], [INT____00085, row_signs[5]], 0) :: defines_var(INT____00085);
+constraint int_lin_eq([-1, 6], [INT____00112, row_signs[7]], 0) :: defines_var(INT____00112);
+constraint int_lin_eq([-1, 6], [INT____00151, row_signs[9]], 0) :: defines_var(INT____00151);
+constraint int_lin_eq([-1, 6], [INT____00395, row_signs[24]], 0) :: defines_var(INT____00395);
+constraint int_lin_eq([-1, 7], [INT____00187, row_signs[11]], 0) :: defines_var(INT____00187);
+constraint int_lin_eq([-1, 7], [INT____00429, row_signs[26]], 0) :: defines_var(INT____00429);
+constraint int_lin_eq([-1, 8], [INT____00135, row_signs[8]], 0) :: defines_var(INT____00135);
+constraint int_lin_eq([-1, 8], [INT____00153, row_signs[9]], 0) :: defines_var(INT____00153);
+constraint int_lin_eq([-1, 8], [INT____00205, row_signs[12]], 0) :: defines_var(INT____00205);
+constraint int_lin_eq([-1, 9], [INT____00022, row_signs[2]], 0) :: defines_var(INT____00022);
+constraint int_lin_eq([-1, 9], [INT____00408, row_signs[25]], 0) :: defines_var(INT____00408);
+constraint int_lin_eq([-1, 10], [INT____00005, row_signs[1]], 0) :: defines_var(INT____00005);
+constraint int_lin_eq([-1, 11], [INT____00169, row_signs[10]], 0) :: defines_var(INT____00169);
+constraint int_lin_eq([-1, 11], [INT____00183, row_signs[11]], 0) :: defines_var(INT____00183);
+constraint int_lin_eq([-1, 11], [INT____00423, row_signs[26]], 0) :: defines_var(INT____00423);
+constraint int_lin_eq([-1, 12], [INT____00036, row_signs[3]], 0) :: defines_var(INT____00036);
+constraint int_lin_eq([-1, 12], [INT____00232, row_signs[14]], 0) :: defines_var(INT____00232);
+constraint int_lin_eq([-1, 12], [INT____00339, row_signs[20]], 0) :: defines_var(INT____00339);
+constraint int_lin_eq([-1, 13], [INT____00044, row_signs[3]], 0) :: defines_var(INT____00044);
+constraint int_lin_eq([-1, 13], [INT____00290, row_signs[17]], 0) :: defines_var(INT____00290);
+constraint int_lin_eq([-1, 13], [INT____00302, row_signs[18]], 0) :: defines_var(INT____00302);
+constraint int_lin_eq([-1, 14], [INT____00065, row_signs[4]], 0) :: defines_var(INT____00065);
+constraint int_lin_eq([-1, 14], [INT____00124, row_signs[8]], 0) :: defines_var(INT____00124);
+constraint int_lin_eq([-1, 14], [INT____00189, row_signs[11]], 0) :: defines_var(INT____00189);
+constraint int_lin_eq([-1, 14], [INT____00272, row_signs[16]], 0) :: defines_var(INT____00272);
+constraint int_lin_eq([-1, 14], [INT____00404, row_signs[24]], 0) :: defines_var(INT____00404);
+constraint int_lin_eq([-1, 14], [INT____00410, row_signs[25]], 0) :: defines_var(INT____00410);
+constraint int_lin_eq([-1, 15], [INT____00238, row_signs[14]], 0) :: defines_var(INT____00238);
+constraint int_lin_eq([-1, 15], [INT____00317, row_signs[19]], 0) :: defines_var(INT____00317);
+constraint int_lin_eq([-1, 15], [INT____00331, row_signs[20]], 0) :: defines_var(INT____00331);
+constraint int_lin_eq([-1, 15], [INT____00416, row_signs[25]], 0) :: defines_var(INT____00416);
+constraint int_lin_eq([-1, 16], [INT____00018, row_signs[2]], 0) :: defines_var(INT____00018);
+constraint int_lin_eq([-1, 16], [INT____00050, row_signs[3]], 0) :: defines_var(INT____00050);
+constraint int_lin_eq([-1, 16], [INT____00209, row_signs[12]], 0) :: defines_var(INT____00209);
+constraint int_lin_eq([-1, 17], [INT____00034, row_signs[3]], 0) :: defines_var(INT____00034);
+constraint int_lin_eq([-1, 17], [INT____00057, row_signs[4]], 0) :: defines_var(INT____00057);
+constraint int_lin_eq([-1, 17], [INT____00077, row_signs[5]], 0) :: defines_var(INT____00077);
+constraint int_lin_eq([-1, 17], [INT____00091, row_signs[6]], 0) :: defines_var(INT____00091);
+constraint int_lin_eq([-1, 17], [INT____00270, row_signs[16]], 0) :: defines_var(INT____00270);
+constraint int_lin_eq([-1, 18], [INT____00009, row_signs[1]], 0) :: defines_var(INT____00009);
+constraint int_lin_eq([-1, 18], [INT____00069, row_signs[5]], 0) :: defines_var(INT____00069);
+constraint int_lin_eq([-1, 18], [INT____00195, row_signs[12]], 0) :: defines_var(INT____00195);
+constraint int_lin_eq([-1, 18], [INT____00421, row_signs[25]], 0) :: defines_var(INT____00421);
+constraint int_lin_eq([-1, 19], [INT____00048, row_signs[3]], 0) :: defines_var(INT____00048);
+constraint int_lin_eq([-1, 19], [INT____00177, row_signs[11]], 0) :: defines_var(INT____00177);
+constraint int_lin_eq([-1, 19], [INT____00298, row_signs[18]], 0) :: defines_var(INT____00298);
+constraint int_lin_eq([-1, 20], [INT____00081, row_signs[5]], 0) :: defines_var(INT____00081);
+constraint int_lin_eq([-1, 20], [INT____00414, row_signs[25]], 0) :: defines_var(INT____00414);
+constraint int_lin_eq([-1, 20], [INT____00435, row_signs[26]], 0) :: defines_var(INT____00435);
+constraint int_lin_eq([-1, 21], [INT____00382, row_signs[23]], 0) :: defines_var(INT____00382);
+constraint int_lin_eq([-1, 22], [INT____00230, row_signs[14]], 0) :: defines_var(INT____00230);
+constraint int_lin_eq([-1, 22], [INT____00258, row_signs[16]], 0) :: defines_var(INT____00258);
+constraint int_lin_eq([-1, 23], [INT____00015, row_signs[1]], 0) :: defines_var(INT____00015);
+constraint int_lin_eq([-1, 23], [INT____00145, row_signs[9]], 0) :: defines_var(INT____00145);
+constraint int_lin_eq([-1, 23], [INT____00223, row_signs[13]], 0) :: defines_var(INT____00223);
+constraint int_lin_eq([-1, 23], [INT____00376, row_signs[23]], 0) :: defines_var(INT____00376);
+constraint int_lin_eq([-1, 23], [INT____00451, row_signs[27]], 0) :: defines_var(INT____00451);
+constraint int_lin_eq([-1, 24], [INT____00083, row_signs[5]], 0) :: defines_var(INT____00083);
+constraint int_lin_eq([-1, 24], [INT____00120, row_signs[7]], 0) :: defines_var(INT____00120);
+constraint int_lin_eq([-1, 24], [INT____00207, row_signs[12]], 0) :: defines_var(INT____00207);
+constraint int_lin_eq([-1, 24], [INT____00427, row_signs[26]], 0) :: defines_var(INT____00427);
+constraint int_lin_eq([-1, 25], [INT____00226, row_signs[14]], 0) :: defines_var(INT____00226);
+constraint int_lin_eq([-1, 26], [INT____00261, row_signs[16]], 0) :: defines_var(INT____00261);
+constraint int_lin_eq([-1, 26], [INT____00353, row_signs[21]], 0) :: defines_var(INT____00353);
+constraint int_lin_eq([-1, 26], [INT____00433, row_signs[26]], 0) :: defines_var(INT____00433);
+constraint int_lin_eq([-1, 27], [INT____00101, row_signs[6]], 0) :: defines_var(INT____00101);
+constraint int_lin_eq([-1, 27], [INT____00122, row_signs[8]], 0) :: defines_var(INT____00122);
+constraint int_lin_eq([-1, 27], [INT____00254, row_signs[15]], 0) :: defines_var(INT____00254);
+constraint int_lin_eq([-1, 27], [INT____00288, row_signs[17]], 0) :: defines_var(INT____00288);
+constraint int_lin_eq([-1, 27], [INT____00312, row_signs[19]], 0) :: defines_var(INT____00312);
+constraint int_lin_eq([-1, 27], [INT____00347, row_signs[21]], 0) :: defines_var(INT____00347);
+constraint int_lin_eq([-1, 28], [INT____00234, row_signs[14]], 0) :: defines_var(INT____00234);
+constraint int_lin_eq([-1, 28], [INT____00333, row_signs[20]], 0) :: defines_var(INT____00333);
+constraint int_lin_eq([-1, 29], [INT____00321, row_signs[19]], 0) :: defines_var(INT____00321);
+constraint int_lin_eq([-1, 30], [INT____00003, row_signs[1]], 0) :: defines_var(INT____00003);
+constraint int_lin_eq([-1, 30], [INT____00335, row_signs[20]], 0) :: defines_var(INT____00335);
+constraint int_lin_eq([-1, 30], [INT____00447, row_signs[27]], 0) :: defines_var(INT____00447);
+constraint int_lin_eq([-1, 31], [INT____00040, row_signs[3]], 0) :: defines_var(INT____00040);
+constraint int_lin_eq([-1, 31], [INT____00095, row_signs[6]], 0) :: defines_var(INT____00095);
+constraint int_lin_eq([-1, 31], [INT____00110, row_signs[7]], 0) :: defines_var(INT____00110);
+constraint int_lin_eq([-1, 31], [INT____00173, row_signs[10]], 0) :: defines_var(INT____00173);
+constraint int_lin_eq([-1, 31], [INT____00374, row_signs[22]], 0) :: defines_var(INT____00374);
+constraint int_lin_eq([-1, 32], [INT____00185, row_signs[11]], 0) :: defines_var(INT____00185);
+constraint int_lin_eq([-1, 32], [INT____00211, row_signs[13]], 0) :: defines_var(INT____00211);
+constraint int_lin_eq([-1, 33], [INT____00001, row_signs[1]], 0) :: defines_var(INT____00001);
+constraint int_lin_eq([-1, 33], [INT____00087, row_signs[6]], 0) :: defines_var(INT____00087);
+constraint int_lin_eq([-1, 33], [INT____00157, row_signs[10]], 0) :: defines_var(INT____00157);
+constraint int_lin_eq([-1, 33], [INT____00294, row_signs[18]], 0) :: defines_var(INT____00294);
+constraint int_lin_eq([-1, 33], [INT____00325, row_signs[19]], 0) :: defines_var(INT____00325);
+constraint int_lin_eq([-1, 33], [INT____00449, row_signs[27]], 0) :: defines_var(INT____00449);
+constraint int_lin_eq([-1, 34], [INT____00073, row_signs[5]], 0) :: defines_var(INT____00073);
+constraint int_lin_eq([-1, 34], [INT____00345, row_signs[21]], 0) :: defines_var(INT____00345);
+constraint int_lin_eq([3, -6, 3, 32, 10, 25, -14, 1], [INT____00662, INT____00663, INT____00665, INT____00666, INT____00668, INT____00669, INT____00670, row_sums[24]], 0);
+constraint int_lin_eq([-32, 4, 10, 14, 6, 1, -23, -23, 1], [INT____00565, INT____00566, INT____00567, INT____00568, INT____00569, INT____00570, INT____00572, INT____00573, row_sums[13]], 0);
+constraint int_lin_eq([-25, 23, -22, -12, -28, 27, -15, -4, 1], [INT____00574, INT____00576, INT____00577, INT____00578, INT____00579, INT____00580, INT____00581, INT____00582, row_sums[14]], 0);
+constraint int_lin_eq([18, 23, -15, -28, -30, 4, -12, 32, 1], [INT____00627, INT____00628, INT____00629, INT____00630, INT____00632, INT____00633, INT____00634, INT____00635, row_sums[20]], 0);
+constraint int_lin_eq([-33, -30, -10, 6, -18, 7, 11, -23, 6, 1], [INT____00458, INT____00459, INT____00460, INT____00461, INT____00462, INT____00463, INT____00464, INT____00465, INT____00466, row_sums[1]], 0);
+constraint int_lin_eq([-33, 18, -17, 15, -31, 5, -3, -27, 3, 1], [INT____00502, INT____00503, INT____00504, INT____00505, INT____00506, INT____00507, INT____00508, INT____00509, INT____00510, row_sums[6]], 0);
+constraint int_lin_eq([-33, 23, 19, 4, 8, 7, -11, 12, -31, 1], [INT____00538, INT____00539, INT____00540, INT____00541, INT____00542, INT____00543, INT____00544, INT____00545, INT____00546, row_sums[10]], 0);
+constraint int_lin_eq([-27, -14, -4, 29, 3, -5, 29, -8, 12, 1], [INT____00520, INT____00521, INT____00522, INT____00523, INT____00524, INT____00525, INT____00526, INT____00527, INT____00528, row_sums[8]], 0);
+constraint int_lin_eq([-23, 31, 19, -21, 17, 10, -2, 23, -23, 1], [INT____00653, INT____00654, INT____00655, INT____00656, INT____00657, INT____00658, INT____00659, INT____00660, INT____00661, row_sums[23]], 0);
+constraint int_lin_eq([-18, 31, -34, 22, -17, 19, -20, -24, -6, 1], [INT____00493, INT____00494, INT____00495, INT____00496, INT____00497, INT____00498, INT____00499, INT____00500, INT____00501, row_sums[5]], 0);
+constraint int_lin_eq([-17, -12, 14, -31, 30, -13, 13, -19, -16, 1], [INT____00476, INT____00477, INT____00478, INT____00479, INT____00480, INT____00481, INT____00482, INT____00483, INT____00484, row_sums[3]], 0);
+constraint int_lin_eq([-16, 19, -9, 26, 8, 19, 8, 21, 14, 1], [INT____00467, INT____00468, INT____00469, INT____00470, INT____00471, INT____00472, INT____00473, INT____00474, INT____00475, row_sums[2]], 0);
+constraint int_lin_eq([-11, 6, -24, -7, 17, -26, -20, 31, 25, 1], [INT____00680, INT____00681, INT____00682, INT____00683, INT____00684, INT____00685, INT____00686, INT____00687, INT____00688, row_sums[26]], 0);
+constraint int_lin_eq([-1, -22, -26, -4, 2, 13, -26, -17, -14, 1], [data_x[137], INT____00592, INT____00593, INT____00594, INT____00595, INT____00596, INT____00597, INT____00598, INT____00599, row_sums[16]], 0);
+constraint int_lin_eq([-1, 3, -34, -27, 25, 18, -26, -34, -26, 1], [data_x[187], INT____00636, INT____00637, INT____00638, INT____00639, INT____00640, INT____00641, INT____00642, INT____00643, row_sums[21]], 0);
+constraint int_lin_eq([-1, 6, 11, -17, 12, 4, 7, -14, 21, 1], [data_x[30], INT____00485, INT____00486, INT____00487, INT____00488, INT____00489, INT____00490, INT____00491, INT____00492, row_sums[4]], 0);
+constraint int_lin_eq([9, 18, -3, 20, 27, 32, 11, -27, -13, 1], [INT____00600, INT____00601, INT____00602, INT____00603, INT____00604, INT____00605, INT____00606, INT____00607, INT____00608, row_sums[17]], 0);
+constraint int_lin_eq([15, 7, 23, -23, 9, 8, -6, -8, 12, 1], [INT____00529, INT____00530, INT____00531, INT____00532, INT____00533, INT____00534, INT____00535, INT____00536, INT____00537, row_sums[9]], 0);
+constraint int_lin_eq([17, -33, 7, -19, 32, -13, 31, 2, 24, 1], [INT____00609, INT____00610, INT____00611, INT____00612, INT____00613, INT____00614, INT____00615, INT____00616, INT____00617, row_sums[18]], 0);
+constraint int_lin_eq([18, 20, 18, -31, -6, -4, 2, 12, -24, 1], [INT____00511, INT____00512, INT____00513, INT____00514, INT____00515, INT____00516, INT____00517, INT____00518, INT____00519, row_sums[7]], 0);
+constraint int_lin_eq([19, -9, -14, 27, -20, -15, 5, 27, -18, 1], [INT____00671, INT____00672, INT____00673, INT____00674, INT____00675, INT____00676, INT____00677, INT____00678, INT____00679, row_sums[25]], 0);
+constraint int_lin_eq([20, -19, 15, 30, -11, -32, -7, -14, 5, 1], [INT____00547, INT____00548, INT____00549, INT____00550, INT____00551, INT____00552, INT____00553, INT____00554, INT____00555, row_sums[11]], 0);
+constraint int_lin_eq([21, 31, 10, 13, 30, 17, 12, 26, -31, 1], [INT____00644, INT____00645, INT____00646, INT____00647, INT____00648, INT____00649, INT____00650, INT____00651, INT____00652, row_sums[22]], 0);
+constraint int_lin_eq([23, -18, 32, 2, 31, 7, -8, -24, -16, 1], [INT____00556, INT____00557, INT____00558, INT____00559, INT____00560, INT____00561, INT____00562, INT____00563, INT____00564, row_sums[12]], 0);
+constraint int_lin_eq([25, -4, 16, -30, -33, -23, 4, 4, -23, 1], [INT____00689, INT____00690, INT____00691, INT____00692, INT____00693, INT____00694, INT____00695, INT____00696, INT____00697, row_sums[27]], 0);
+constraint int_lin_eq([30, 13, 16, 3, 3, 32, 3, -27, 31, 1], [INT____00583, INT____00584, INT____00585, INT____00586, INT____00587, INT____00588, INT____00589, INT____00590, INT____00591, row_sums[15]], 0);
+constraint int_lin_eq([31, -27, 31, 29, -15, -2, -29, 15, -33, 1], [INT____00618, INT____00619, INT____00620, INT____00621, INT____00622, INT____00623, INT____00624, INT____00625, INT____00626, row_sums[19]], 0);
+constraint int_lin_eq([-18, 8, 30, 12, -17, -31, -6, 3, 9, 8, -11, 31, 6, -12, 3, 2, 27, 32, -15, 18, 30, 17, 32, -20, 17, -33, 1], [INT____00462, INT____00471, INT____00480, INT____00488, INT____00497, INT____00506, INT____00515, INT____00524, INT____00533, INT____00542, INT____00551, INT____00560, INT____00569, INT____00578, INT____00587, INT____00595, INT____00604, INT____00613, INT____00622, INT____00640, INT____00648, INT____00657, INT____00666, INT____00675, INT____00684, INT____00693, col_sums[5]], 0);
+constraint int_lin_eq([-1, -30, 19, -12, 11, 31, 18, 20, -14, 7, 23, -19, -18, 4, 13, 18, -33, -27, 23, -34, 31, 31, -6, -9, 6, -4, 1], [data_x[137], INT____00459, INT____00468, INT____00477, INT____00486, INT____00494, INT____00503, INT____00512, INT____00521, INT____00530, INT____00539, INT____00548, INT____00557, INT____00566, INT____00584, INT____00601, INT____00610, INT____00619, INT____00628, INT____00637, INT____00645, INT____00654, INT____00663, INT____00672, INT____00681, INT____00690, col_sums[2]], 0);
+constraint int_lin_eq([-1, -10, -9, 14, -34, -17, 18, -4, 23, 19, 15, 32, 10, 23, 16, -26, -3, 7, 31, -15, -27, 10, 19, -14, -24, 16, 1], [data_x[30], INT____00460, INT____00469, INT____00478, INT____00495, INT____00504, INT____00513, INT____00522, INT____00531, INT____00540, INT____00549, INT____00558, INT____00567, INT____00576, INT____00585, INT____00593, INT____00602, INT____00611, INT____00620, INT____00629, INT____00638, INT____00646, INT____00655, INT____00673, INT____00682, INT____00691, col_sums[3]], 0);
+constraint int_lin_eq([-1, 11, 8, 13, 7, -20, -3, 2, 29, -6, -11, -7, -8, 27, 3, -26, 11, 31, -29, 4, 12, -2, 10, 5, -20, 4, 1], [data_x[187], INT____00464, INT____00473, INT____00482, INT____00490, INT____00499, INT____00508, INT____00517, INT____00526, INT____00535, INT____00544, INT____00553, INT____00562, INT____00580, INT____00589, INT____00597, INT____00606, INT____00615, INT____00624, INT____00633, INT____00650, INT____00659, INT____00668, INT____00677, INT____00686, INT____00695, col_sums[7]], 0);
+constraint int_lin_eq([7, 19, -13, 4, 19, 5, -4, -5, 8, 7, -32, 7, 1, -28, 32, 13, 32, -13, -2, -30, -26, 17, 10, -15, -26, -23, 1], [INT____00463, INT____00472, INT____00481, INT____00489, INT____00498, INT____00507, INT____00516, INT____00525, INT____00534, INT____00543, INT____00552, INT____00561, INT____00570, INT____00579, INT____00588, INT____00596, INT____00605, INT____00614, INT____00623, INT____00632, INT____00641, INT____00649, INT____00658, INT____00676, INT____00685, INT____00694, col_sums[6]], 0);
+constraint int_lin_eq([-33, -16, -17, 6, -18, -33, 18, -27, 15, -33, 20, 23, -32, -25, 30, -22, 9, 17, 31, 18, 3, 21, -23, 3, 19, -11, 25, 1], [INT____00458, INT____00467, INT____00476, INT____00485, INT____00493, INT____00502, INT____00511, INT____00520, INT____00529, INT____00538, INT____00547, INT____00556, INT____00565, INT____00574, INT____00583, INT____00592, INT____00600, INT____00609, INT____00618, INT____00627, INT____00636, INT____00644, INT____00653, INT____00662, INT____00671, INT____00680, INT____00689, col_sums[1]], 0);
+constraint int_lin_eq([-23, 21, -19, -14, -24, -27, 12, -8, -8, 12, -14, -24, -23, -15, -27, -17, -27, 2, 15, -12, -34, 26, 23, 25, 27, 31, 4, 1], [INT____00465, INT____00474, INT____00483, INT____00491, INT____00500, INT____00509, INT____00518, INT____00527, INT____00536, INT____00545, INT____00554, INT____00563, INT____00572, INT____00581, INT____00590, INT____00598, INT____00607, INT____00616, INT____00625, INT____00634, INT____00642, INT____00651, INT____00660, INT____00669, INT____00678, INT____00687, INT____00696, col_sums[8]], 0);
+constraint int_lin_eq([6, 14, -16, 21, -6, 3, -24, 12, 12, -31, 5, -16, -23, -4, 31, -14, -13, 24, -33, 32, -26, -31, -23, -14, -18, 25, -23, 1], [INT____00466, INT____00475, INT____00484, INT____00492, INT____00501, INT____00510, INT____00519, INT____00528, INT____00537, INT____00546, INT____00555, INT____00564, INT____00573, INT____00582, INT____00591, INT____00599, INT____00608, INT____00617, INT____00626, INT____00635, INT____00643, INT____00652, INT____00661, INT____00670, INT____00679, INT____00688, INT____00697, col_sums[9]], 0);
+constraint int_lin_eq([6, 26, -31, -17, 22, 15, -31, 29, -23, 4, 30, 2, 14, -22, 3, -4, 20, -19, 29, -28, 25, 13, -21, 3, 27, -7, -30, 1], [INT____00461, INT____00470, INT____00479, INT____00487, INT____00496, INT____00505, INT____00514, INT____00523, INT____00532, INT____00541, INT____00550, INT____00559, INT____00568, INT____00577, INT____00586, INT____00594, INT____00603, INT____00612, INT____00621, INT____00630, INT____00639, INT____00647, INT____00656, INT____00665, INT____00674, INT____00683, INT____00692, col_sums[4]], 0);
+constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00457, data_x[1], data_x[2], data_x[3], data_x[4], data_x[5], data_x[6], data_x[7], data_x[8], data_x[9], data_x[10], data_x[11], data_x[12], data_x[13], data_x[14], data_x[15], data_x[16], data_x[17], data_x[18], data_x[19], data_x[20], data_x[21], data_x[22], data_x[23], data_x[24], data_x[25], data_x[26], data_x[27], data_x[28], data_x[29], data_x[30], data_x[31], data_x[32], data_x[33], data_x[34], data_x[35], data_x[36], data_x[37], data_x[38], data_x[39], data_x[40], data_x[41], data_x[42], data_x[43], data_x[44], data_x[45], data_x[46], data_x[47], data_x[48], data_x[49], data_x[50], data_x[51], data_x[52], data_x[53], data_x[54], data_x[55], data_x[56], data_x[57], data_x[58], data_x[59], data_x[60], data_x[61], data_x[62], data_x[63], data_x[64], data_x[65], data_x[66], data_x[67], data_x[68], data_x[69], data_x[70], data_x[71], data_x[72], data_x[73], data_x[74], data_x[75], data_x[76], data_x[77], data_x[78], data_x[79], data_x[80], data_x[81], data_x[82], data_x[83], data_x[84], data_x[85], data_x[86], data_x[87], data_x[88], data_x[89], data_x[90], data_x[91], data_x[92], data_x[93], data_x[94], data_x[95], data_x[96], data_x[97], data_x[98], data_x[99], data_x[100], data_x[101], data_x[102], data_x[103], data_x[104], data_x[105], data_x[106], data_x[107], data_x[108], data_x[109], data_x[110], data_x[111], data_x[112], data_x[113], data_x[114], data_x[115], data_x[116], data_x[117], data_x[118], data_x[119], data_x[120], data_x[121], data_x[122], data_x[123], data_x[124], data_x[125], data_x[126], data_x[127], data_x[128], data_x[129], data_x[130], data_x[131], data_x[132], data_x[133], data_x[134], data_x[135], data_x[136], data_x[137], data_x[138], data_x[139], data_x[140], data_x[141], data_x[142], data_x[143], data_x[144], data_x[145], data_x[146], data_x[147], data_x[148], data_x[149], data_x[150], data_x[151], data_x[152], data_x[153], data_x[154], data_x[155], data_x[156], data_x[157], data_x[158], data_x[159], data_x[160], data_x[161], data_x[162], data_x[163], data_x[164], data_x[165], data_x[166], data_x[167], data_x[168], data_x[169], data_x[170], data_x[171], data_x[172], data_x[173], data_x[174], data_x[175], data_x[176], data_x[177], data_x[178], data_x[179], data_x[180], data_x[181], data_x[182], data_x[183], data_x[184], data_x[185], data_x[186], data_x[187], data_x[188], data_x[189], data_x[190], data_x[191], data_x[192], data_x[193], data_x[194], data_x[195], data_x[196], data_x[197], data_x[198], data_x[199], data_x[200], data_x[201], data_x[202], data_x[203], data_x[204], data_x[205], data_x[206], data_x[207], data_x[208], data_x[209], data_x[210], data_x[211], data_x[212], data_x[213], data_x[214], data_x[215], data_x[216], data_x[217], data_x[218], data_x[219], data_x[220], data_x[221], data_x[222], data_x[223], data_x[224], data_x[225], data_x[226], data_x[227], data_x[228], data_x[229], data_x[230], data_x[231], data_x[232], data_x[233], data_x[234], data_x[235], data_x[236], data_x[237], data_x[238], data_x[239], data_x[240], data_x[241], data_x[242], data_x[243]], 0) :: defines_var(INT____00457);
+constraint int_times(INT____00001, col_signs[1], data_x[1]);
+constraint int_times(INT____00003, col_signs[2], data_x[2]);
+constraint int_times(INT____00005, col_signs[3], data_x[3]);
+constraint int_times(INT____00007, col_signs[4], data_x[4]);
+constraint int_times(INT____00007, col_signs[9], data_x[9]);
+constraint int_times(INT____00009, col_signs[5], data_x[5]);
+constraint int_times(INT____00011, col_signs[6], data_x[6]);
+constraint int_times(INT____00013, col_signs[7], data_x[7]);
+constraint int_times(INT____00015, col_signs[8], data_x[8]);
+constraint int_times(INT____00018, col_signs[1], data_x[10]);
+constraint int_times(INT____00020, col_signs[2], data_x[11]);
+constraint int_times(INT____00020, col_signs[6], data_x[15]);
+constraint int_times(INT____00022, col_signs[3], data_x[12]);
+constraint int_times(INT____00024, col_signs[4], data_x[13]);
+constraint int_times(INT____00026, col_signs[5], data_x[14]);
+constraint int_times(INT____00026, col_signs[7], data_x[16]);
+constraint int_times(INT____00030, col_signs[8], data_x[17]);
+constraint int_times(INT____00032, col_signs[9], data_x[18]);
+constraint int_times(INT____00034, col_signs[1], data_x[19]);
+constraint int_times(INT____00036, col_signs[2], data_x[20]);
+constraint int_times(INT____00038, col_signs[3], data_x[21]);
+constraint int_times(INT____00040, col_signs[4], data_x[22]);
+constraint int_times(INT____00042, col_signs[5], data_x[23]);
+constraint int_times(INT____00044, col_signs[6], data_x[24]);
+constraint int_times(INT____00046, col_signs[7], data_x[25]);
+constraint int_times(INT____00048, col_signs[8], data_x[26]);
+constraint int_times(INT____00050, col_signs[9], data_x[27]);
+constraint int_times(INT____00052, col_signs[1], data_x[28]);
+constraint int_times(INT____00054, col_signs[2], data_x[29]);
+constraint int_times(INT____00057, col_signs[4], data_x[31]);
+constraint int_times(INT____00059, col_signs[5], data_x[32]);
+constraint int_times(INT____00061, col_signs[6], data_x[33]);
+constraint int_times(INT____00063, col_signs[7], data_x[34]);
+constraint int_times(INT____00065, col_signs[8], data_x[35]);
+constraint int_times(INT____00067, col_signs[9], data_x[36]);
+constraint int_times(INT____00069, col_signs[1], data_x[37]);
+constraint int_times(INT____00071, col_signs[2], data_x[38]);
+constraint int_times(INT____00073, col_signs[3], data_x[39]);
+constraint int_times(INT____00075, col_signs[4], data_x[40]);
+constraint int_times(INT____00077, col_signs[5], data_x[41]);
+constraint int_times(INT____00079, col_signs[6], data_x[42]);
+constraint int_times(INT____00081, col_signs[7], data_x[43]);
+constraint int_times(INT____00083, col_signs[8], data_x[44]);
+constraint int_times(INT____00085, col_signs[9], data_x[45]);
+constraint int_times(INT____00087, col_signs[1], data_x[46]);
+constraint int_times(INT____00089, col_signs[2], data_x[47]);
+constraint int_times(INT____00091, col_signs[3], data_x[48]);
+constraint int_times(INT____00093, col_signs[4], data_x[49]);
+constraint int_times(INT____00095, col_signs[5], data_x[50]);
+constraint int_times(INT____00097, col_signs[6], data_x[51]);
+constraint int_times(INT____00099, col_signs[7], data_x[52]);
+constraint int_times(INT____00101, col_signs[8], data_x[53]);
+constraint int_times(INT____00103, col_signs[9], data_x[54]);
+constraint int_times(INT____00105, col_signs[1], data_x[55]);
+constraint int_times(INT____00105, col_signs[3], data_x[57]);
+constraint int_times(INT____00107, col_signs[2], data_x[56]);
+constraint int_times(INT____00110, col_signs[4], data_x[58]);
+constraint int_times(INT____00112, col_signs[5], data_x[59]);
+constraint int_times(INT____00114, col_signs[6], data_x[60]);
+constraint int_times(INT____00116, col_signs[7], data_x[61]);
+constraint int_times(INT____00118, col_signs[8], data_x[62]);
+constraint int_times(INT____00120, col_signs[9], data_x[63]);
+constraint int_times(INT____00122, col_signs[1], data_x[64]);
+constraint int_times(INT____00124, col_signs[2], data_x[65]);
+constraint int_times(INT____00126, col_signs[3], data_x[66]);
+constraint int_times(INT____00128, col_signs[4], data_x[67]);
+constraint int_times(INT____00128, col_signs[7], data_x[70]);
+constraint int_times(INT____00130, col_signs[5], data_x[68]);
+constraint int_times(INT____00132, col_signs[6], data_x[69]);
+constraint int_times(INT____00135, col_signs[8], data_x[71]);
+constraint int_times(INT____00137, col_signs[9], data_x[72]);
+constraint int_times(INT____00139, col_signs[1], data_x[73]);
+constraint int_times(INT____00141, col_signs[2], data_x[74]);
+constraint int_times(INT____00143, col_signs[3], data_x[75]);
+constraint int_times(INT____00145, col_signs[4], data_x[76]);
+constraint int_times(INT____00147, col_signs[5], data_x[77]);
+constraint int_times(INT____00149, col_signs[6], data_x[78]);
+constraint int_times(INT____00151, col_signs[7], data_x[79]);
+constraint int_times(INT____00153, col_signs[8], data_x[80]);
+constraint int_times(INT____00155, col_signs[9], data_x[81]);
+constraint int_times(INT____00157, col_signs[1], data_x[82]);
+constraint int_times(INT____00159, col_signs[2], data_x[83]);
+constraint int_times(INT____00161, col_signs[3], data_x[84]);
+constraint int_times(INT____00163, col_signs[4], data_x[85]);
+constraint int_times(INT____00165, col_signs[5], data_x[86]);
+constraint int_times(INT____00167, col_signs[6], data_x[87]);
+constraint int_times(INT____00169, col_signs[7], data_x[88]);
+constraint int_times(INT____00171, col_signs[8], data_x[89]);
+constraint int_times(INT____00173, col_signs[9], data_x[90]);
+constraint int_times(INT____00175, col_signs[1], data_x[91]);
+constraint int_times(INT____00177, col_signs[2], data_x[92]);
+constraint int_times(INT____00179, col_signs[3], data_x[93]);
+constraint int_times(INT____00181, col_signs[4], data_x[94]);
+constraint int_times(INT____00183, col_signs[5], data_x[95]);
+constraint int_times(INT____00185, col_signs[6], data_x[96]);
+constraint int_times(INT____00187, col_signs[7], data_x[97]);
+constraint int_times(INT____00189, col_signs[8], data_x[98]);
+constraint int_times(INT____00191, col_signs[9], data_x[99]);
+constraint int_times(INT____00193, col_signs[1], data_x[100]);
+constraint int_times(INT____00195, col_signs[2], data_x[101]);
+constraint int_times(INT____00197, col_signs[3], data_x[102]);
+constraint int_times(INT____00199, col_signs[4], data_x[103]);
+constraint int_times(INT____00201, col_signs[5], data_x[104]);
+constraint int_times(INT____00203, col_signs[6], data_x[105]);
+constraint int_times(INT____00205, col_signs[7], data_x[106]);
+constraint int_times(INT____00207, col_signs[8], data_x[107]);
+constraint int_times(INT____00209, col_signs[9], data_x[108]);
+constraint int_times(INT____00211, col_signs[1], data_x[109]);
+constraint int_times(INT____00213, col_signs[2], data_x[110]);
+constraint int_times(INT____00215, col_signs[3], data_x[111]);
+constraint int_times(INT____00217, col_signs[4], data_x[112]);
+constraint int_times(INT____00219, col_signs[5], data_x[113]);
+constraint int_times(INT____00221, col_signs[6], data_x[114]);
+constraint int_times(INT____00223, col_signs[8], data_x[116]);
+constraint int_times(INT____00223, col_signs[9], data_x[117]);
+constraint int_times(INT____00226, col_signs[1], data_x[118]);
+constraint int_times(INT____00228, col_signs[3], data_x[120]);
+constraint int_times(INT____00230, col_signs[4], data_x[121]);
+constraint int_times(INT____00232, col_signs[5], data_x[122]);
+constraint int_times(INT____00234, col_signs[6], data_x[123]);
+constraint int_times(INT____00236, col_signs[7], data_x[124]);
+constraint int_times(INT____00238, col_signs[8], data_x[125]);
+constraint int_times(INT____00240, col_signs[9], data_x[126]);
+constraint int_times(INT____00242, col_signs[1], data_x[127]);
+constraint int_times(INT____00244, col_signs[2], data_x[128]);
+constraint int_times(INT____00246, col_signs[3], data_x[129]);
+constraint int_times(INT____00248, col_signs[4], data_x[130]);
+constraint int_times(INT____00248, col_signs[5], data_x[131]);
+constraint int_times(INT____00248, col_signs[7], data_x[133]);
+constraint int_times(INT____00251, col_signs[6], data_x[132]);
+constraint int_times(INT____00254, col_signs[8], data_x[134]);
+constraint int_times(INT____00256, col_signs[9], data_x[135]);
+constraint int_times(INT____00258, col_signs[1], data_x[136]);
+constraint int_times(INT____00261, col_signs[3], data_x[138]);
+constraint int_times(INT____00261, col_signs[7], data_x[142]);
+constraint int_times(INT____00263, col_signs[4], data_x[139]);
+constraint int_times(INT____00265, col_signs[5], data_x[140]);
+constraint int_times(INT____00267, col_signs[6], data_x[141]);
+constraint int_times(INT____00270, col_signs[8], data_x[143]);
+constraint int_times(INT____00272, col_signs[9], data_x[144]);
+constraint int_times(INT____00274, col_signs[1], data_x[145]);
+constraint int_times(INT____00276, col_signs[2], data_x[146]);
+constraint int_times(INT____00278, col_signs[3], data_x[147]);
+constraint int_times(INT____00280, col_signs[4], data_x[148]);
+constraint int_times(INT____00282, col_signs[5], data_x[149]);
+constraint int_times(INT____00284, col_signs[6], data_x[150]);
+constraint int_times(INT____00286, col_signs[7], data_x[151]);
+constraint int_times(INT____00288, col_signs[8], data_x[152]);
+constraint int_times(INT____00290, col_signs[9], data_x[153]);
+constraint int_times(INT____00292, col_signs[1], data_x[154]);
+constraint int_times(INT____00294, col_signs[2], data_x[155]);
+constraint int_times(INT____00296, col_signs[3], data_x[156]);
+constraint int_times(INT____00298, col_signs[4], data_x[157]);
+constraint int_times(INT____00300, col_signs[5], data_x[158]);
+constraint int_times(INT____00302, col_signs[6], data_x[159]);
+constraint int_times(INT____00304, col_signs[7], data_x[160]);
+constraint int_times(INT____00306, col_signs[8], data_x[161]);
+constraint int_times(INT____00308, col_signs[9], data_x[162]);
+constraint int_times(INT____00310, col_signs[1], data_x[163]);
+constraint int_times(INT____00310, col_signs[3], data_x[165]);
+constraint int_times(INT____00312, col_signs[2], data_x[164]);
+constraint int_times(INT____00315, col_signs[4], data_x[166]);
+constraint int_times(INT____00317, col_signs[5], data_x[167]);
+constraint int_times(INT____00319, col_signs[6], data_x[168]);
+constraint int_times(INT____00321, col_signs[7], data_x[169]);
+constraint int_times(INT____00323, col_signs[8], data_x[170]);
+constraint int_times(INT____00325, col_signs[9], data_x[171]);
+constraint int_times(INT____00327, col_signs[1], data_x[172]);
+constraint int_times(INT____00329, col_signs[2], data_x[173]);
+constraint int_times(INT____00331, col_signs[3], data_x[174]);
+constraint int_times(INT____00333, col_signs[4], data_x[175]);
+constraint int_times(INT____00335, col_signs[6], data_x[177]);
+constraint int_times(INT____00337, col_signs[7], data_x[178]);
+constraint int_times(INT____00339, col_signs[8], data_x[179]);
+constraint int_times(INT____00341, col_signs[9], data_x[180]);
+constraint int_times(INT____00343, col_signs[1], data_x[181]);
+constraint int_times(INT____00345, col_signs[2], data_x[182]);
+constraint int_times(INT____00345, col_signs[8], data_x[188]);
+constraint int_times(INT____00347, col_signs[3], data_x[183]);
+constraint int_times(INT____00349, col_signs[4], data_x[184]);
+constraint int_times(INT____00351, col_signs[5], data_x[185]);
+constraint int_times(INT____00353, col_signs[6], data_x[186]);
+constraint int_times(INT____00353, col_signs[9], data_x[189]);
+constraint int_times(INT____00358, col_signs[1], data_x[190]);
+constraint int_times(INT____00360, col_signs[2], data_x[191]);
+constraint int_times(INT____00362, col_signs[3], data_x[192]);
+constraint int_times(INT____00364, col_signs[4], data_x[193]);
+constraint int_times(INT____00366, col_signs[5], data_x[194]);
+constraint int_times(INT____00368, col_signs[6], data_x[195]);
+constraint int_times(INT____00370, col_signs[7], data_x[196]);
+constraint int_times(INT____00372, col_signs[8], data_x[197]);
+constraint int_times(INT____00374, col_signs[9], data_x[198]);
+constraint int_times(INT____00376, col_signs[1], data_x[199]);
+constraint int_times(INT____00376, col_signs[9], data_x[207]);
+constraint int_times(INT____00378, col_signs[2], data_x[200]);
+constraint int_times(INT____00380, col_signs[3], data_x[201]);
+constraint int_times(INT____00382, col_signs[4], data_x[202]);
+constraint int_times(INT____00384, col_signs[5], data_x[203]);
+constraint int_times(INT____00386, col_signs[6], data_x[204]);
+constraint int_times(INT____00388, col_signs[7], data_x[205]);
+constraint int_times(INT____00390, col_signs[8], data_x[206]);
+constraint int_times(INT____00393, col_signs[1], data_x[208]);
+constraint int_times(INT____00393, col_signs[4], data_x[211]);
+constraint int_times(INT____00395, col_signs[2], data_x[209]);
+constraint int_times(INT____00398, col_signs[5], data_x[212]);
+constraint int_times(INT____00400, col_signs[7], data_x[214]);
+constraint int_times(INT____00402, col_signs[8], data_x[215]);
+constraint int_times(INT____00404, col_signs[9], data_x[216]);
+constraint int_times(INT____00406, col_signs[1], data_x[217]);
+constraint int_times(INT____00408, col_signs[2], data_x[218]);
+constraint int_times(INT____00410, col_signs[3], data_x[219]);
+constraint int_times(INT____00412, col_signs[4], data_x[220]);
+constraint int_times(INT____00412, col_signs[8], data_x[224]);
+constraint int_times(INT____00414, col_signs[5], data_x[221]);
+constraint int_times(INT____00416, col_signs[6], data_x[222]);
+constraint int_times(INT____00418, col_signs[7], data_x[223]);
+constraint int_times(INT____00421, col_signs[9], data_x[225]);
+constraint int_times(INT____00423, col_signs[1], data_x[226]);
+constraint int_times(INT____00425, col_signs[2], data_x[227]);
+constraint int_times(INT____00427, col_signs[3], data_x[228]);
+constraint int_times(INT____00429, col_signs[4], data_x[229]);
+constraint int_times(INT____00431, col_signs[5], data_x[230]);
+constraint int_times(INT____00433, col_signs[6], data_x[231]);
+constraint int_times(INT____00435, col_signs[7], data_x[232]);
+constraint int_times(INT____00437, col_signs[8], data_x[233]);
+constraint int_times(INT____00439, col_signs[9], data_x[234]);
+constraint int_times(INT____00441, col_signs[1], data_x[235]);
+constraint int_times(INT____00443, col_signs[2], data_x[236]);
+constraint int_times(INT____00445, col_signs[3], data_x[237]);
+constraint int_times(INT____00447, col_signs[4], data_x[238]);
+constraint int_times(INT____00449, col_signs[5], data_x[239]);
+constraint int_times(INT____00451, col_signs[6], data_x[240]);
+constraint int_times(INT____00451, col_signs[9], data_x[243]);
+constraint int_times(INT____00453, col_signs[7], data_x[241]);
+constraint int_times(INT____00453, col_signs[8], data_x[242]);
+constraint int_times(row_signs[1], col_signs[1], INT____00458) :: defines_var(INT____00458);
+constraint int_times(row_signs[1], col_signs[2], INT____00459) :: defines_var(INT____00459);
+constraint int_times(row_signs[1], col_signs[3], INT____00460) :: defines_var(INT____00460);
+constraint int_times(row_signs[1], col_signs[4], INT____00461) :: defines_var(INT____00461);
+constraint int_times(row_signs[1], col_signs[5], INT____00462) :: defines_var(INT____00462);
+constraint int_times(row_signs[1], col_signs[6], INT____00463) :: defines_var(INT____00463);
+constraint int_times(row_signs[1], col_signs[7], INT____00464) :: defines_var(INT____00464);
+constraint int_times(row_signs[1], col_signs[8], INT____00465) :: defines_var(INT____00465);
+constraint int_times(row_signs[1], col_signs[9], INT____00466) :: defines_var(INT____00466);
+constraint int_times(row_signs[2], col_signs[1], INT____00467) :: defines_var(INT____00467);
+constraint int_times(row_signs[2], col_signs[2], INT____00468) :: defines_var(INT____00468);
+constraint int_times(row_signs[2], col_signs[3], INT____00469) :: defines_var(INT____00469);
+constraint int_times(row_signs[2], col_signs[4], INT____00470) :: defines_var(INT____00470);
+constraint int_times(row_signs[2], col_signs[5], INT____00471) :: defines_var(INT____00471);
+constraint int_times(row_signs[2], col_signs[6], INT____00472) :: defines_var(INT____00472);
+constraint int_times(row_signs[2], col_signs[7], INT____00473) :: defines_var(INT____00473);
+constraint int_times(row_signs[2], col_signs[8], INT____00474) :: defines_var(INT____00474);
+constraint int_times(row_signs[2], col_signs[9], INT____00475) :: defines_var(INT____00475);
+constraint int_times(row_signs[3], col_signs[1], INT____00476) :: defines_var(INT____00476);
+constraint int_times(row_signs[3], col_signs[2], INT____00477) :: defines_var(INT____00477);
+constraint int_times(row_signs[3], col_signs[3], INT____00478) :: defines_var(INT____00478);
+constraint int_times(row_signs[3], col_signs[4], INT____00479) :: defines_var(INT____00479);
+constraint int_times(row_signs[3], col_signs[5], INT____00480) :: defines_var(INT____00480);
+constraint int_times(row_signs[3], col_signs[6], INT____00481) :: defines_var(INT____00481);
+constraint int_times(row_signs[3], col_signs[7], INT____00482) :: defines_var(INT____00482);
+constraint int_times(row_signs[3], col_signs[8], INT____00483) :: defines_var(INT____00483);
+constraint int_times(row_signs[3], col_signs[9], INT____00484) :: defines_var(INT____00484);
+constraint int_times(row_signs[4], col_signs[1], INT____00485) :: defines_var(INT____00485);
+constraint int_times(row_signs[4], col_signs[2], INT____00486) :: defines_var(INT____00486);
+constraint int_times(row_signs[4], col_signs[3], data_x[30]);
+constraint int_times(row_signs[4], col_signs[4], INT____00487) :: defines_var(INT____00487);
+constraint int_times(row_signs[4], col_signs[5], INT____00488) :: defines_var(INT____00488);
+constraint int_times(row_signs[4], col_signs[6], INT____00489) :: defines_var(INT____00489);
+constraint int_times(row_signs[4], col_signs[7], INT____00490) :: defines_var(INT____00490);
+constraint int_times(row_signs[4], col_signs[8], INT____00491) :: defines_var(INT____00491);
+constraint int_times(row_signs[4], col_signs[9], INT____00492) :: defines_var(INT____00492);
+constraint int_times(row_signs[5], col_signs[1], INT____00493) :: defines_var(INT____00493);
+constraint int_times(row_signs[5], col_signs[2], INT____00494) :: defines_var(INT____00494);
+constraint int_times(row_signs[5], col_signs[3], INT____00495) :: defines_var(INT____00495);
+constraint int_times(row_signs[5], col_signs[4], INT____00496) :: defines_var(INT____00496);
+constraint int_times(row_signs[5], col_signs[5], INT____00497) :: defines_var(INT____00497);
+constraint int_times(row_signs[5], col_signs[6], INT____00498) :: defines_var(INT____00498);
+constraint int_times(row_signs[5], col_signs[7], INT____00499) :: defines_var(INT____00499);
+constraint int_times(row_signs[5], col_signs[8], INT____00500) :: defines_var(INT____00500);
+constraint int_times(row_signs[5], col_signs[9], INT____00501) :: defines_var(INT____00501);
+constraint int_times(row_signs[6], col_signs[1], INT____00502) :: defines_var(INT____00502);
+constraint int_times(row_signs[6], col_signs[2], INT____00503) :: defines_var(INT____00503);
+constraint int_times(row_signs[6], col_signs[3], INT____00504) :: defines_var(INT____00504);
+constraint int_times(row_signs[6], col_signs[4], INT____00505) :: defines_var(INT____00505);
+constraint int_times(row_signs[6], col_signs[5], INT____00506) :: defines_var(INT____00506);
+constraint int_times(row_signs[6], col_signs[6], INT____00507) :: defines_var(INT____00507);
+constraint int_times(row_signs[6], col_signs[7], INT____00508) :: defines_var(INT____00508);
+constraint int_times(row_signs[6], col_signs[8], INT____00509) :: defines_var(INT____00509);
+constraint int_times(row_signs[6], col_signs[9], INT____00510) :: defines_var(INT____00510);
+constraint int_times(row_signs[7], col_signs[1], INT____00511) :: defines_var(INT____00511);
+constraint int_times(row_signs[7], col_signs[2], INT____00512) :: defines_var(INT____00512);
+constraint int_times(row_signs[7], col_signs[3], INT____00513) :: defines_var(INT____00513);
+constraint int_times(row_signs[7], col_signs[4], INT____00514) :: defines_var(INT____00514);
+constraint int_times(row_signs[7], col_signs[5], INT____00515) :: defines_var(INT____00515);
+constraint int_times(row_signs[7], col_signs[6], INT____00516) :: defines_var(INT____00516);
+constraint int_times(row_signs[7], col_signs[7], INT____00517) :: defines_var(INT____00517);
+constraint int_times(row_signs[7], col_signs[8], INT____00518) :: defines_var(INT____00518);
+constraint int_times(row_signs[7], col_signs[9], INT____00519) :: defines_var(INT____00519);
+constraint int_times(row_signs[8], col_signs[1], INT____00520) :: defines_var(INT____00520);
+constraint int_times(row_signs[8], col_signs[2], INT____00521) :: defines_var(INT____00521);
+constraint int_times(row_signs[8], col_signs[3], INT____00522) :: defines_var(INT____00522);
+constraint int_times(row_signs[8], col_signs[4], INT____00523) :: defines_var(INT____00523);
+constraint int_times(row_signs[8], col_signs[5], INT____00524) :: defines_var(INT____00524);
+constraint int_times(row_signs[8], col_signs[6], INT____00525) :: defines_var(INT____00525);
+constraint int_times(row_signs[8], col_signs[7], INT____00526) :: defines_var(INT____00526);
+constraint int_times(row_signs[8], col_signs[8], INT____00527) :: defines_var(INT____00527);
+constraint int_times(row_signs[8], col_signs[9], INT____00528) :: defines_var(INT____00528);
+constraint int_times(row_signs[9], col_signs[1], INT____00529) :: defines_var(INT____00529);
+constraint int_times(row_signs[9], col_signs[2], INT____00530) :: defines_var(INT____00530);
+constraint int_times(row_signs[9], col_signs[3], INT____00531) :: defines_var(INT____00531);
+constraint int_times(row_signs[9], col_signs[4], INT____00532) :: defines_var(INT____00532);
+constraint int_times(row_signs[9], col_signs[5], INT____00533) :: defines_var(INT____00533);
+constraint int_times(row_signs[9], col_signs[6], INT____00534) :: defines_var(INT____00534);
+constraint int_times(row_signs[9], col_signs[7], INT____00535) :: defines_var(INT____00535);
+constraint int_times(row_signs[9], col_signs[8], INT____00536) :: defines_var(INT____00536);
+constraint int_times(row_signs[9], col_signs[9], INT____00537) :: defines_var(INT____00537);
+constraint int_times(row_signs[10], col_signs[1], INT____00538) :: defines_var(INT____00538);
+constraint int_times(row_signs[10], col_signs[2], INT____00539) :: defines_var(INT____00539);
+constraint int_times(row_signs[10], col_signs[3], INT____00540) :: defines_var(INT____00540);
+constraint int_times(row_signs[10], col_signs[4], INT____00541) :: defines_var(INT____00541);
+constraint int_times(row_signs[10], col_signs[5], INT____00542) :: defines_var(INT____00542);
+constraint int_times(row_signs[10], col_signs[6], INT____00543) :: defines_var(INT____00543);
+constraint int_times(row_signs[10], col_signs[7], INT____00544) :: defines_var(INT____00544);
+constraint int_times(row_signs[10], col_signs[8], INT____00545) :: defines_var(INT____00545);
+constraint int_times(row_signs[10], col_signs[9], INT____00546) :: defines_var(INT____00546);
+constraint int_times(row_signs[11], col_signs[1], INT____00547) :: defines_var(INT____00547);
+constraint int_times(row_signs[11], col_signs[2], INT____00548) :: defines_var(INT____00548);
+constraint int_times(row_signs[11], col_signs[3], INT____00549) :: defines_var(INT____00549);
+constraint int_times(row_signs[11], col_signs[4], INT____00550) :: defines_var(INT____00550);
+constraint int_times(row_signs[11], col_signs[5], INT____00551) :: defines_var(INT____00551);
+constraint int_times(row_signs[11], col_signs[6], INT____00552) :: defines_var(INT____00552);
+constraint int_times(row_signs[11], col_signs[7], INT____00553) :: defines_var(INT____00553);
+constraint int_times(row_signs[11], col_signs[8], INT____00554) :: defines_var(INT____00554);
+constraint int_times(row_signs[11], col_signs[9], INT____00555) :: defines_var(INT____00555);
+constraint int_times(row_signs[12], col_signs[1], INT____00556) :: defines_var(INT____00556);
+constraint int_times(row_signs[12], col_signs[2], INT____00557) :: defines_var(INT____00557);
+constraint int_times(row_signs[12], col_signs[3], INT____00558) :: defines_var(INT____00558);
+constraint int_times(row_signs[12], col_signs[4], INT____00559) :: defines_var(INT____00559);
+constraint int_times(row_signs[12], col_signs[5], INT____00560) :: defines_var(INT____00560);
+constraint int_times(row_signs[12], col_signs[6], INT____00561) :: defines_var(INT____00561);
+constraint int_times(row_signs[12], col_signs[7], INT____00562) :: defines_var(INT____00562);
+constraint int_times(row_signs[12], col_signs[8], INT____00563) :: defines_var(INT____00563);
+constraint int_times(row_signs[12], col_signs[9], INT____00564) :: defines_var(INT____00564);
+constraint int_times(row_signs[13], col_signs[1], INT____00565) :: defines_var(INT____00565);
+constraint int_times(row_signs[13], col_signs[2], INT____00566) :: defines_var(INT____00566);
+constraint int_times(row_signs[13], col_signs[3], INT____00567) :: defines_var(INT____00567);
+constraint int_times(row_signs[13], col_signs[4], INT____00568) :: defines_var(INT____00568);
+constraint int_times(row_signs[13], col_signs[5], INT____00569) :: defines_var(INT____00569);
+constraint int_times(row_signs[13], col_signs[6], INT____00570) :: defines_var(INT____00570);
+constraint int_times(row_signs[13], col_signs[7], INT____00571) :: defines_var(INT____00571);
+constraint int_times(row_signs[13], col_signs[8], INT____00572) :: defines_var(INT____00572);
+constraint int_times(row_signs[13], col_signs[9], INT____00573) :: defines_var(INT____00573);
+constraint int_times(row_signs[14], col_signs[1], INT____00574) :: defines_var(INT____00574);
+constraint int_times(row_signs[14], col_signs[2], INT____00575) :: defines_var(INT____00575);
+constraint int_times(row_signs[14], col_signs[3], INT____00576) :: defines_var(INT____00576);
+constraint int_times(row_signs[14], col_signs[4], INT____00577) :: defines_var(INT____00577);
+constraint int_times(row_signs[14], col_signs[5], INT____00578) :: defines_var(INT____00578);
+constraint int_times(row_signs[14], col_signs[6], INT____00579) :: defines_var(INT____00579);
+constraint int_times(row_signs[14], col_signs[7], INT____00580) :: defines_var(INT____00580);
+constraint int_times(row_signs[14], col_signs[8], INT____00581) :: defines_var(INT____00581);
+constraint int_times(row_signs[14], col_signs[9], INT____00582) :: defines_var(INT____00582);
+constraint int_times(row_signs[15], col_signs[1], INT____00583) :: defines_var(INT____00583);
+constraint int_times(row_signs[15], col_signs[2], INT____00584) :: defines_var(INT____00584);
+constraint int_times(row_signs[15], col_signs[3], INT____00585) :: defines_var(INT____00585);
+constraint int_times(row_signs[15], col_signs[4], INT____00586) :: defines_var(INT____00586);
+constraint int_times(row_signs[15], col_signs[5], INT____00587) :: defines_var(INT____00587);
+constraint int_times(row_signs[15], col_signs[6], INT____00588) :: defines_var(INT____00588);
+constraint int_times(row_signs[15], col_signs[7], INT____00589) :: defines_var(INT____00589);
+constraint int_times(row_signs[15], col_signs[8], INT____00590) :: defines_var(INT____00590);
+constraint int_times(row_signs[15], col_signs[9], INT____00591) :: defines_var(INT____00591);
+constraint int_times(row_signs[16], col_signs[1], INT____00592) :: defines_var(INT____00592);
+constraint int_times(row_signs[16], col_signs[2], data_x[137]);
+constraint int_times(row_signs[16], col_signs[3], INT____00593) :: defines_var(INT____00593);
+constraint int_times(row_signs[16], col_signs[4], INT____00594) :: defines_var(INT____00594);
+constraint int_times(row_signs[16], col_signs[5], INT____00595) :: defines_var(INT____00595);
+constraint int_times(row_signs[16], col_signs[6], INT____00596) :: defines_var(INT____00596);
+constraint int_times(row_signs[16], col_signs[7], INT____00597) :: defines_var(INT____00597);
+constraint int_times(row_signs[16], col_signs[8], INT____00598) :: defines_var(INT____00598);
+constraint int_times(row_signs[16], col_signs[9], INT____00599) :: defines_var(INT____00599);
+constraint int_times(row_signs[17], col_signs[1], INT____00600) :: defines_var(INT____00600);
+constraint int_times(row_signs[17], col_signs[2], INT____00601) :: defines_var(INT____00601);
+constraint int_times(row_signs[17], col_signs[3], INT____00602) :: defines_var(INT____00602);
+constraint int_times(row_signs[17], col_signs[4], INT____00603) :: defines_var(INT____00603);
+constraint int_times(row_signs[17], col_signs[5], INT____00604) :: defines_var(INT____00604);
+constraint int_times(row_signs[17], col_signs[6], INT____00605) :: defines_var(INT____00605);
+constraint int_times(row_signs[17], col_signs[7], INT____00606) :: defines_var(INT____00606);
+constraint int_times(row_signs[17], col_signs[8], INT____00607) :: defines_var(INT____00607);
+constraint int_times(row_signs[17], col_signs[9], INT____00608) :: defines_var(INT____00608);
+constraint int_times(row_signs[18], col_signs[1], INT____00609) :: defines_var(INT____00609);
+constraint int_times(row_signs[18], col_signs[2], INT____00610) :: defines_var(INT____00610);
+constraint int_times(row_signs[18], col_signs[3], INT____00611) :: defines_var(INT____00611);
+constraint int_times(row_signs[18], col_signs[4], INT____00612) :: defines_var(INT____00612);
+constraint int_times(row_signs[18], col_signs[5], INT____00613) :: defines_var(INT____00613);
+constraint int_times(row_signs[18], col_signs[6], INT____00614) :: defines_var(INT____00614);
+constraint int_times(row_signs[18], col_signs[7], INT____00615) :: defines_var(INT____00615);
+constraint int_times(row_signs[18], col_signs[8], INT____00616) :: defines_var(INT____00616);
+constraint int_times(row_signs[18], col_signs[9], INT____00617) :: defines_var(INT____00617);
+constraint int_times(row_signs[19], col_signs[1], INT____00618) :: defines_var(INT____00618);
+constraint int_times(row_signs[19], col_signs[2], INT____00619) :: defines_var(INT____00619);
+constraint int_times(row_signs[19], col_signs[3], INT____00620) :: defines_var(INT____00620);
+constraint int_times(row_signs[19], col_signs[4], INT____00621) :: defines_var(INT____00621);
+constraint int_times(row_signs[19], col_signs[5], INT____00622) :: defines_var(INT____00622);
+constraint int_times(row_signs[19], col_signs[6], INT____00623) :: defines_var(INT____00623);
+constraint int_times(row_signs[19], col_signs[7], INT____00624) :: defines_var(INT____00624);
+constraint int_times(row_signs[19], col_signs[8], INT____00625) :: defines_var(INT____00625);
+constraint int_times(row_signs[19], col_signs[9], INT____00626) :: defines_var(INT____00626);
+constraint int_times(row_signs[20], col_signs[1], INT____00627) :: defines_var(INT____00627);
+constraint int_times(row_signs[20], col_signs[2], INT____00628) :: defines_var(INT____00628);
+constraint int_times(row_signs[20], col_signs[3], INT____00629) :: defines_var(INT____00629);
+constraint int_times(row_signs[20], col_signs[4], INT____00630) :: defines_var(INT____00630);
+constraint int_times(row_signs[20], col_signs[5], INT____00631) :: defines_var(INT____00631);
+constraint int_times(row_signs[20], col_signs[6], INT____00632) :: defines_var(INT____00632);
+constraint int_times(row_signs[20], col_signs[7], INT____00633) :: defines_var(INT____00633);
+constraint int_times(row_signs[20], col_signs[8], INT____00634) :: defines_var(INT____00634);
+constraint int_times(row_signs[20], col_signs[9], INT____00635) :: defines_var(INT____00635);
+constraint int_times(row_signs[21], col_signs[1], INT____00636) :: defines_var(INT____00636);
+constraint int_times(row_signs[21], col_signs[2], INT____00637) :: defines_var(INT____00637);
+constraint int_times(row_signs[21], col_signs[3], INT____00638) :: defines_var(INT____00638);
+constraint int_times(row_signs[21], col_signs[4], INT____00639) :: defines_var(INT____00639);
+constraint int_times(row_signs[21], col_signs[5], INT____00640) :: defines_var(INT____00640);
+constraint int_times(row_signs[21], col_signs[6], INT____00641) :: defines_var(INT____00641);
+constraint int_times(row_signs[21], col_signs[7], data_x[187]);
+constraint int_times(row_signs[21], col_signs[8], INT____00642) :: defines_var(INT____00642);
+constraint int_times(row_signs[21], col_signs[9], INT____00643) :: defines_var(INT____00643);
+constraint int_times(row_signs[22], col_signs[1], INT____00644) :: defines_var(INT____00644);
+constraint int_times(row_signs[22], col_signs[2], INT____00645) :: defines_var(INT____00645);
+constraint int_times(row_signs[22], col_signs[3], INT____00646) :: defines_var(INT____00646);
+constraint int_times(row_signs[22], col_signs[4], INT____00647) :: defines_var(INT____00647);
+constraint int_times(row_signs[22], col_signs[5], INT____00648) :: defines_var(INT____00648);
+constraint int_times(row_signs[22], col_signs[6], INT____00649) :: defines_var(INT____00649);
+constraint int_times(row_signs[22], col_signs[7], INT____00650) :: defines_var(INT____00650);
+constraint int_times(row_signs[22], col_signs[8], INT____00651) :: defines_var(INT____00651);
+constraint int_times(row_signs[22], col_signs[9], INT____00652) :: defines_var(INT____00652);
+constraint int_times(row_signs[23], col_signs[1], INT____00653) :: defines_var(INT____00653);
+constraint int_times(row_signs[23], col_signs[2], INT____00654) :: defines_var(INT____00654);
+constraint int_times(row_signs[23], col_signs[3], INT____00655) :: defines_var(INT____00655);
+constraint int_times(row_signs[23], col_signs[4], INT____00656) :: defines_var(INT____00656);
+constraint int_times(row_signs[23], col_signs[5], INT____00657) :: defines_var(INT____00657);
+constraint int_times(row_signs[23], col_signs[6], INT____00658) :: defines_var(INT____00658);
+constraint int_times(row_signs[23], col_signs[7], INT____00659) :: defines_var(INT____00659);
+constraint int_times(row_signs[23], col_signs[8], INT____00660) :: defines_var(INT____00660);
+constraint int_times(row_signs[23], col_signs[9], INT____00661) :: defines_var(INT____00661);
+constraint int_times(row_signs[24], col_signs[1], INT____00662) :: defines_var(INT____00662);
+constraint int_times(row_signs[24], col_signs[2], INT____00663) :: defines_var(INT____00663);
+constraint int_times(row_signs[24], col_signs[3], INT____00664) :: defines_var(INT____00664);
+constraint int_times(row_signs[24], col_signs[4], INT____00665) :: defines_var(INT____00665);
+constraint int_times(row_signs[24], col_signs[5], INT____00666) :: defines_var(INT____00666);
+constraint int_times(row_signs[24], col_signs[6], INT____00667) :: defines_var(INT____00667);
+constraint int_times(row_signs[24], col_signs[7], INT____00668) :: defines_var(INT____00668);
+constraint int_times(row_signs[24], col_signs[8], INT____00669) :: defines_var(INT____00669);
+constraint int_times(row_signs[24], col_signs[9], INT____00670) :: defines_var(INT____00670);
+constraint int_times(row_signs[25], col_signs[1], INT____00671) :: defines_var(INT____00671);
+constraint int_times(row_signs[25], col_signs[2], INT____00672) :: defines_var(INT____00672);
+constraint int_times(row_signs[25], col_signs[3], INT____00673) :: defines_var(INT____00673);
+constraint int_times(row_signs[25], col_signs[4], INT____00674) :: defines_var(INT____00674);
+constraint int_times(row_signs[25], col_signs[5], INT____00675) :: defines_var(INT____00675);
+constraint int_times(row_signs[25], col_signs[6], INT____00676) :: defines_var(INT____00676);
+constraint int_times(row_signs[25], col_signs[7], INT____00677) :: defines_var(INT____00677);
+constraint int_times(row_signs[25], col_signs[8], INT____00678) :: defines_var(INT____00678);
+constraint int_times(row_signs[25], col_signs[9], INT____00679) :: defines_var(INT____00679);
+constraint int_times(row_signs[26], col_signs[1], INT____00680) :: defines_var(INT____00680);
+constraint int_times(row_signs[26], col_signs[2], INT____00681) :: defines_var(INT____00681);
+constraint int_times(row_signs[26], col_signs[3], INT____00682) :: defines_var(INT____00682);
+constraint int_times(row_signs[26], col_signs[4], INT____00683) :: defines_var(INT____00683);
+constraint int_times(row_signs[26], col_signs[5], INT____00684) :: defines_var(INT____00684);
+constraint int_times(row_signs[26], col_signs[6], INT____00685) :: defines_var(INT____00685);
+constraint int_times(row_signs[26], col_signs[7], INT____00686) :: defines_var(INT____00686);
+constraint int_times(row_signs[26], col_signs[8], INT____00687) :: defines_var(INT____00687);
+constraint int_times(row_signs[26], col_signs[9], INT____00688) :: defines_var(INT____00688);
+constraint int_times(row_signs[27], col_signs[1], INT____00689) :: defines_var(INT____00689);
+constraint int_times(row_signs[27], col_signs[2], INT____00690) :: defines_var(INT____00690);
+constraint int_times(row_signs[27], col_signs[3], INT____00691) :: defines_var(INT____00691);
+constraint int_times(row_signs[27], col_signs[4], INT____00692) :: defines_var(INT____00692);
+constraint int_times(row_signs[27], col_signs[5], INT____00693) :: defines_var(INT____00693);
+constraint int_times(row_signs[27], col_signs[6], INT____00694) :: defines_var(INT____00694);
+constraint int_times(row_signs[27], col_signs[7], INT____00695) :: defines_var(INT____00695);
+constraint int_times(row_signs[27], col_signs[8], INT____00696) :: defines_var(INT____00696);
+constraint int_times(row_signs[27], col_signs[9], INT____00697) :: defines_var(INT____00697);
+constraint set_in(col_signs[1], {-1, 1});
+constraint set_in(col_signs[2], {-1, 1});
+constraint set_in(col_signs[3], {-1, 1});
+constraint set_in(col_signs[4], {-1, 1});
+constraint set_in(col_signs[5], {-1, 1});
+constraint set_in(col_signs[6], {-1, 1});
+constraint set_in(col_signs[7], {-1, 1});
+constraint set_in(col_signs[8], {-1, 1});
+constraint set_in(col_signs[9], {-1, 1});
+constraint set_in(row_signs[1], {-1, 1});
+constraint set_in(row_signs[2], {-1, 1});
+constraint set_in(row_signs[3], {-1, 1});
+constraint set_in(row_signs[4], {-1, 1});
+constraint set_in(row_signs[5], {-1, 1});
+constraint set_in(row_signs[6], {-1, 1});
+constraint set_in(row_signs[7], {-1, 1});
+constraint set_in(row_signs[8], {-1, 1});
+constraint set_in(row_signs[9], {-1, 1});
+constraint set_in(row_signs[10], {-1, 1});
+constraint set_in(row_signs[11], {-1, 1});
+constraint set_in(row_signs[12], {-1, 1});
+constraint set_in(row_signs[13], {-1, 1});
+constraint set_in(row_signs[14], {-1, 1});
+constraint set_in(row_signs[15], {-1, 1});
+constraint set_in(row_signs[16], {-1, 1});
+constraint set_in(row_signs[17], {-1, 1});
+constraint set_in(row_signs[18], {-1, 1});
+constraint set_in(row_signs[19], {-1, 1});
+constraint set_in(row_signs[20], {-1, 1});
+constraint set_in(row_signs[21], {-1, 1});
+constraint set_in(row_signs[22], {-1, 1});
+constraint set_in(row_signs[23], {-1, 1});
+constraint set_in(row_signs[24], {-1, 1});
+constraint set_in(row_signs[25], {-1, 1});
+constraint set_in(row_signs[26], {-1, 1});
+constraint set_in(row_signs[27], {-1, 1});
+solve  :: int_search([col_sums[1], col_sums[2], col_sums[3], col_sums[4], col_sums[5], col_sums[6], col_sums[7], col_sums[8], col_sums[9], row_sums[1], row_sums[2], row_sums[3], row_sums[4], row_sums[5], row_sums[6], row_sums[7], row_sums[8], row_sums[9], row_sums[10], row_sums[11], row_sums[12], row_sums[13], row_sums[14], row_sums[15], row_sums[16], row_sums[17], row_sums[18], row_sums[19], row_sums[20], row_sums[21], row_sums[22], row_sums[23], row_sums[24], row_sums[25], row_sums[26], row_sums[27], row_signs[1], row_signs[2], row_signs[3], row_signs[4], row_signs[5], row_signs[6], row_signs[7], row_signs[8], row_signs[9], row_signs[10], row_signs[11], row_signs[12], row_signs[13], row_signs[14], row_signs[15], row_signs[16], row_signs[17], row_signs[18], row_signs[19], row_signs[20], row_signs[21], row_signs[22], row_signs[23], row_signs[24], row_signs[25], row_signs[26], row_signs[27], col_signs[1], col_signs[2], col_signs[3], col_signs[4], col_signs[5], col_signs[6], col_signs[7], col_signs[8], col_signs[9]], occurrence, indomain_max, complete) minimize INT____00457;
diff --git a/examples/flatzinc/max_m_in_row.fzn b/examples/flatzinc/max_m_in_row.fzn
new file mode 100644
index 0000000000..5ddb40a325
--- /dev/null
+++ b/examples/flatzinc/max_m_in_row.fzn
@@ -0,0 +1,44 @@
+predicate 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_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 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_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
+array [1..3] of var 0..2: gcc____00001;
+array [1..3] of var 0..2: gcc____00002;
+array [1..3] of var 0..2: gcc____00003;
+array [1..3] of var 0..2: gcc____00004;
+array [1..3] of var 0..2: gcc____00005;
+array [1..3] of var 0..2: gcc____00006;
+array [1..3] of var 0..2: gcc____00007;
+array [1..3] of var 0..2: gcc____00008;
+array [1..3] of var 0..2: gcc____00009;
+array [1..3] of var 0..2: gcc____00010;
+array [1..3] of var 0..2: gcc____00011;
+array [1..3] of var 0..2: gcc____00012;
+array [1..3] of var 0..2: gcc____00013;
+array [1..3] of var 0..2: gcc____00014;
+array [1..3] of var 0..2: gcc____00015;
+array [1..3] of var 0..2: gcc____00016;
+array [1..16] of var 0..2: x :: output_array([1..4, 1..4]);
+constraint global_cardinality([x[1], x[2], x[3]], [0, 1, 2], gcc____00001) :: domain;
+constraint global_cardinality([x[1], x[5], x[9]], [0, 1, 2], gcc____00003) :: domain;
+constraint global_cardinality([x[2], x[3], x[4]], [0, 1, 2], gcc____00002) :: domain;
+constraint global_cardinality([x[2], x[6], x[10]], [0, 1, 2], gcc____00007) :: domain;
+constraint global_cardinality([x[3], x[7], x[11]], [0, 1, 2], gcc____00011) :: domain;
+constraint global_cardinality([x[4], x[8], x[12]], [0, 1, 2], gcc____00015) :: domain;
+constraint global_cardinality([x[5], x[6], x[7]], [0, 1, 2], gcc____00005) :: domain;
+constraint global_cardinality([x[5], x[9], x[13]], [0, 1, 2], gcc____00004) :: domain;
+constraint global_cardinality([x[6], x[7], x[8]], [0, 1, 2], gcc____00006) :: domain;
+constraint global_cardinality([x[6], x[10], x[14]], [0, 1, 2], gcc____00008) :: domain;
+constraint global_cardinality([x[7], x[11], x[15]], [0, 1, 2], gcc____00012) :: domain;
+constraint global_cardinality([x[8], x[12], x[16]], [0, 1, 2], gcc____00016) :: domain;
+constraint global_cardinality([x[9], x[10], x[11]], [0, 1, 2], gcc____00009) :: domain;
+constraint global_cardinality([x[10], x[11], x[12]], [0, 1, 2], gcc____00010) :: domain;
+constraint global_cardinality([x[13], x[14], x[15]], [0, 1, 2], gcc____00013) :: domain;
+constraint global_cardinality([x[14], x[15], x[16]], [0, 1, 2], gcc____00014) :: domain;
+solve satisfy;
diff --git a/examples/flatzinc/number_puzzle.fzn b/examples/flatzinc/number_puzzle.fzn
new file mode 100644
index 0000000000..90b8d7e2a6
--- /dev/null
+++ b/examples/flatzinc/number_puzzle.fzn
@@ -0,0 +1,340 @@
+predicate 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_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 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_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
+var 10000..99999: INT____00001 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00002 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00003 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00004 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00005 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00006 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00007 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00008 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00009 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00010 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00011 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00012 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00013 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00014 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00015 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00016 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00017 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00018 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00019 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00020 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00021 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00022 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00023 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00024 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00025 :: is_defined_var :: var_is_introduced;
+var 10000..99999: INT____00026 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00027 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00028 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00029 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00030 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00031 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00032 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00033 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00034 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00035 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00036 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00037 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00038 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00039 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00040 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00041 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00042 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00043 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00044 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00045 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00046 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00047 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00048 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00049 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00050 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00051 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00052 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00053 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00054 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00055 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00056 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00057 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00058 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00059 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00060 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00061 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00062 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00063 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00064 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00065 :: is_defined_var :: var_is_introduced;
+var 10000..18999: INT____00066 :: is_defined_var :: var_is_introduced;
+var 10000..99999: a :: output_var = INT____00001;
+var 1..9: a1 :: output_var;
+var 0..9: a2 :: output_var;
+var 0..9: a3 :: output_var;
+var 0..9: a4 :: output_var;
+var 0..9: a5 :: output_var;
+var 10000..99999: b :: output_var = INT____00002;
+var 1..9: b1 :: output_var;
+var 0..9: b2 :: output_var;
+var 0..9: b3 :: output_var;
+var 0..9: b4 :: output_var;
+var 0..9: b5 :: output_var;
+var 10000..99999: c :: output_var = INT____00003;
+var 1..9: c1 :: output_var;
+var 0..9: c2 :: output_var;
+var 0..9: c3 :: output_var;
+var 0..9: c4 :: output_var;
+var 0..9: c5 :: output_var;
+var 10000..99999: d :: output_var = INT____00004;
+var 1..9: d1 :: output_var;
+var 0..9: d2 :: output_var;
+var 0..9: d3 :: output_var;
+var 0..9: d4 :: output_var;
+var 0..9: d5 :: output_var;
+var 10000..99999: e :: output_var = INT____00005;
+var 1..9: e1 :: output_var;
+var 0..9: e2 :: output_var;
+var 0..9: e3 :: output_var;
+var 0..9: e4 :: output_var;
+var 0..9: e5 :: output_var;
+var 10000..99999: f :: output_var = INT____00006;
+var 1..9: f1 :: output_var;
+var 0..9: f2 :: output_var;
+var 0..9: f3 :: output_var;
+var 0..9: f4 :: output_var;
+var 0..9: f5 :: output_var;
+var 10000..99999: g :: output_var = INT____00007;
+var 1..9: g1 :: output_var;
+var 0..9: g2 :: output_var;
+var 0..9: g3 :: output_var;
+var 0..9: g4 :: output_var;
+var 0..9: g5 :: output_var;
+var 10000..99999: h :: output_var = INT____00008;
+var 1..9: h1 :: output_var;
+var 0..9: h2 :: output_var;
+var 0..9: h3 :: output_var;
+var 0..9: h4 :: output_var;
+var 0..9: h5 :: output_var;
+var 10000..99999: i :: output_var = INT____00009;
+var 1..9: i1 :: output_var;
+var 0..9: i2 :: output_var;
+var 0..9: i3 :: output_var;
+var 0..9: i4 :: output_var;
+var 0..9: i5 :: output_var;
+var 10000..99999: j :: output_var = INT____00010;
+var 1..9: j1 :: output_var;
+var 0..9: j2 :: output_var;
+var 0..9: j3 :: output_var;
+var 0..9: j4 :: output_var;
+var 0..9: j5 :: output_var;
+var 10000..99999: k :: output_var = INT____00011;
+var 1..9: k1 :: output_var;
+var 0..9: k2 :: output_var;
+var 0..9: k3 :: output_var;
+var 0..9: k4 :: output_var;
+var 0..9: k5 :: output_var;
+var 10000..99999: l :: output_var = INT____00012;
+var 1..9: l1 :: output_var;
+var 0..9: l2 :: output_var;
+var 0..9: l3 :: output_var;
+var 0..9: l4 :: output_var;
+var 0..9: l5 :: output_var;
+var 10000..99999: m :: output_var = INT____00013;
+var 1..9: m1 :: output_var;
+var 0..9: m2 :: output_var;
+var 0..9: m3 :: output_var;
+var 0..9: m4 :: output_var;
+var 0..9: m5 :: output_var;
+var 10000..99999: n :: output_var = INT____00014;
+var 1..9: n1 :: output_var;
+var 0..9: n2 :: output_var;
+var 0..9: n3 :: output_var;
+var 0..9: n4 :: output_var;
+var 0..9: n5 :: output_var;
+var 10000..99999: o :: output_var = INT____00015;
+var 1..9: o1 :: output_var;
+var 0..9: o2 :: output_var;
+var 0..9: o3 :: output_var;
+var 0..9: o4 :: output_var;
+var 0..9: o5 :: output_var;
+var 10000..99999: p :: output_var = INT____00016;
+var 1..9: p1 :: output_var;
+var 0..9: p2 :: output_var;
+var 0..9: p3 :: output_var;
+var 0..9: p4 :: output_var;
+var 0..9: p5 :: output_var;
+var 10000..99999: q :: output_var = INT____00017;
+var 1..9: q1 :: output_var;
+var 0..9: q2 :: output_var;
+var 0..9: q3 :: output_var;
+var 0..9: q4 :: output_var;
+var 0..9: q5 :: output_var;
+var 10000..99999: r :: output_var = INT____00018;
+var 1..9: r1 :: output_var;
+var 0..9: r2 :: output_var;
+var 0..9: r3 :: output_var;
+var 0..9: r4 :: output_var;
+var 0..9: r5 :: output_var;
+var 1..18999: rad01 :: output_var = INT____00027;
+var 1001..18999: rad02 :: output_var = INT____00028;
+var 1001..18999: rad03 :: output_var = INT____00029;
+var 1..18999: rad04 :: output_var = INT____00030;
+var 10..18999: rad05 :: output_var = INT____00031;
+var 10..18999: rad06 :: output_var = INT____00032;
+var 1000..18999: rad07 :: output_var = INT____00033;
+var 1000..18999: rad08 :: output_var = INT____00034;
+var 100..18999: rad09 :: output_var = INT____00035;
+var 100..18999: rad10 :: output_var = INT____00036;
+var 0..18999: rad11 :: output_var = INT____00037;
+var 1000..18999: rad12 :: output_var = INT____00038;
+var 1000..18999: rad13 :: output_var = INT____00039;
+var 0..18999: rad14 :: output_var = INT____00040;
+var 10..18999: rad15 :: output_var = INT____00041;
+var 10..18999: rad16 :: output_var = INT____00042;
+var 1000..18999: rad17 :: output_var = INT____00043;
+var 1000..18999: rad18 :: output_var = INT____00044;
+var 100..18999: rad19 :: output_var = INT____00045;
+var 100..18999: rad20 :: output_var = INT____00046;
+var 1..18999: rad21 :: output_var = INT____00047;
+var 1001..18999: rad22 :: output_var = INT____00048;
+var 1001..18999: rad23 :: output_var = INT____00049;
+var 1..18999: rad24 :: output_var = INT____00050;
+var 10..18999: rad25 :: output_var = INT____00051;
+var 10..18999: rad26 :: output_var = INT____00052;
+var 1000..18999: rad27 :: output_var = INT____00053;
+var 1000..18999: rad28 :: output_var = INT____00054;
+var 100..18999: rad29 :: output_var = INT____00055;
+var 100..18999: rad30 :: output_var = INT____00056;
+var 0..18999: rad31 :: output_var = INT____00057;
+var 1000..18999: rad32 :: output_var = INT____00058;
+var 1000..18999: rad33 :: output_var = INT____00059;
+var 0..18999: rad34 :: output_var = INT____00060;
+var 10..18999: rad35 :: output_var = INT____00061;
+var 10..18999: rad36 :: output_var = INT____00062;
+var 1000..18999: rad37 :: output_var = INT____00063;
+var 1000..18999: rad38 :: output_var = INT____00064;
+var 100..18999: rad39 :: output_var = INT____00065;
+var 100..18999: rad40 :: output_var = INT____00066;
+var 10000..99999: s :: output_var = INT____00019;
+var 1..9: s1 :: output_var;
+var 0..9: s2 :: output_var;
+var 0..9: s3 :: output_var;
+var 0..9: s4 :: output_var;
+var 0..9: s5 :: output_var;
+var 10000..99999: t :: output_var = INT____00020;
+var 1..9: t1 :: output_var;
+var 0..9: t2 :: output_var;
+var 0..9: t3 :: output_var;
+var 0..9: t4 :: output_var;
+var 0..9: t5 :: output_var;
+var 10000..99999: u :: output_var = INT____00021;
+var 1..9: u1 :: output_var;
+var 0..9: u2 :: output_var;
+var 0..9: u3 :: output_var;
+var 0..9: u4 :: output_var;
+var 0..9: u5 :: output_var;
+var 10000..99999: v :: output_var = INT____00022;
+var 1..9: v1 :: output_var;
+var 0..9: v2 :: output_var;
+var 0..9: v3 :: output_var;
+var 0..9: v4 :: output_var;
+var 0..9: v5 :: output_var;
+var 10000..99999: w :: output_var = INT____00023;
+var 1..9: w1 :: output_var;
+var 0..9: w2 :: output_var;
+var 0..9: w3 :: output_var;
+var 0..9: w4 :: output_var;
+var 0..9: w5 :: output_var;
+var 10000..99999: x :: output_var = INT____00024;
+var 1..9: x1 :: output_var;
+var 0..9: x2 :: output_var;
+var 0..9: x3 :: output_var;
+var 0..9: x4 :: output_var;
+var 0..9: x5 :: output_var;
+var 10000..99999: y :: output_var = INT____00025;
+var 1..9: y1 :: output_var;
+var 0..9: y2 :: output_var;
+var 0..9: y3 :: output_var;
+var 0..9: y4 :: output_var;
+var 0..9: y5 :: output_var;
+var 10000..99999: z :: output_var = INT____00026;
+var 1..9: z1 :: output_var;
+var 0..9: z2 :: output_var;
+var 0..9: z3 :: output_var;
+var 0..9: z4 :: output_var;
+var 0..9: z5 :: output_var;
+constraint all_different_int([INT____00001, INT____00002, INT____00003, INT____00004, INT____00005, INT____00006, INT____00007, INT____00008, INT____00009, INT____00010, INT____00011, INT____00012, INT____00013, INT____00014, INT____00015, INT____00016, INT____00017, INT____00018, INT____00019, INT____00020, INT____00021, INT____00022, INT____00023, INT____00024, INT____00025, INT____00026, INT____00027, INT____00028, INT____00029, INT____00030, INT____00031, INT____00032, INT____00033, INT____00034, INT____00035, INT____00036, INT____00037, INT____00038, INT____00039, INT____00040, INT____00041, INT____00042, INT____00043, INT____00044, INT____00045, INT____00046, INT____00047, INT____00048, INT____00049, INT____00050, INT____00051, INT____00052, INT____00053, INT____00054, INT____00055, INT____00056, INT____00057, INT____00058, INT____00059, INT____00060, INT____00061, INT____00062, INT____00063, INT____00064, INT____00065, INT____00066]);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00027, h5, i4, q2, u4, y1], 0) :: defines_var(INT____00027);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00028, a1, i5, q2, u4, y1], 0) :: defines_var(INT____00028);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00029, a2, j1, q3, u5, y1], 0) :: defines_var(INT____00029);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00030, a3, j2, q3, u5, y1], 0) :: defines_var(INT____00030);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00031, a4, j3, q4, v1, y2], 0) :: defines_var(INT____00031);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00032, a5, j4, q4, v1, y2], 0) :: defines_var(INT____00032);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00033, b1, j5, q5, v2, y2], 0) :: defines_var(INT____00033);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00034, b2, k1, q5, v2, y2], 0) :: defines_var(INT____00034);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00035, b3, k2, r1, v3, y3], 0) :: defines_var(INT____00035);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00036, b4, k3, r1, v3, y3], 0) :: defines_var(INT____00036);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00037, b5, k4, r2, v4, y3], 0) :: defines_var(INT____00037);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00038, c1, k5, r2, v4, y3], 0) :: defines_var(INT____00038);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00039, c2, l1, r3, v5, y4], 0) :: defines_var(INT____00039);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00040, c3, l2, r3, v5, y4], 0) :: defines_var(INT____00040);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00041, c4, l3, r4, w1, y4], 0) :: defines_var(INT____00041);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00042, c5, l4, r4, w1, y4], 0) :: defines_var(INT____00042);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00043, d1, l5, r5, w2, y5], 0) :: defines_var(INT____00043);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00044, d2, m1, r5, w2, y5], 0) :: defines_var(INT____00044);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00045, d3, m2, s1, w3, y5], 0) :: defines_var(INT____00045);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00046, d4, m3, s1, w3, y5], 0) :: defines_var(INT____00046);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00047, d5, m4, s2, w4, z1], 0) :: defines_var(INT____00047);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00048, e1, m5, s2, w4, z1], 0) :: defines_var(INT____00048);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00049, e2, n1, s3, w5, z1], 0) :: defines_var(INT____00049);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00050, e3, n2, s3, w5, z1], 0) :: defines_var(INT____00050);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00051, e4, n3, s4, x1, z2], 0) :: defines_var(INT____00051);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00052, e5, n4, s4, x1, z2], 0) :: defines_var(INT____00052);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00053, f1, n5, s5, x2, z2], 0) :: defines_var(INT____00053);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00054, f2, o1, s5, x2, z2], 0) :: defines_var(INT____00054);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00055, f3, o2, t1, x3, z3], 0) :: defines_var(INT____00055);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00056, f4, o3, t1, x3, z3], 0) :: defines_var(INT____00056);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00057, f5, o4, t2, x4, z3], 0) :: defines_var(INT____00057);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00058, g1, o5, t2, x4, z3], 0) :: defines_var(INT____00058);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00059, g2, p1, t3, x5, z4], 0) :: defines_var(INT____00059);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00060, g3, p2, t3, x5, z4], 0) :: defines_var(INT____00060);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00061, g4, p3, t4, u1, z4], 0) :: defines_var(INT____00061);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00062, g5, p4, t4, u1, z4], 0) :: defines_var(INT____00062);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00063, h1, p5, t5, u2, z5], 0) :: defines_var(INT____00063);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00064, h2, i1, t5, u2, z5], 0) :: defines_var(INT____00064);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00065, h3, i2, q1, u3, z5], 0) :: defines_var(INT____00065);
+constraint int_lin_eq([-1, 1000, 1000, 100, 10, 1], [INT____00066, h4, i3, q1, u3, z5], 0) :: defines_var(INT____00066);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00001, a1, a2, a3, a4, a5], 0) :: defines_var(INT____00001);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00002, b1, b2, b3, b4, b5], 0) :: defines_var(INT____00002);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00003, c1, c2, c3, c4, c5], 0) :: defines_var(INT____00003);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00004, d1, d2, d3, d4, d5], 0) :: defines_var(INT____00004);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00005, e1, e2, e3, e4, e5], 0) :: defines_var(INT____00005);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00006, f1, f2, f3, f4, f5], 0) :: defines_var(INT____00006);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00007, g1, g2, g3, g4, g5], 0) :: defines_var(INT____00007);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00008, h1, h2, h3, h4, h5], 0) :: defines_var(INT____00008);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00009, i1, i2, i3, i4, i5], 0) :: defines_var(INT____00009);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00010, j1, j2, j3, j4, j5], 0) :: defines_var(INT____00010);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00011, k1, k2, k3, k4, k5], 0) :: defines_var(INT____00011);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00012, l1, l2, l3, l4, l5], 0) :: defines_var(INT____00012);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00013, m1, m2, m3, m4, m5], 0) :: defines_var(INT____00013);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00014, n1, n2, n3, n4, n5], 0) :: defines_var(INT____00014);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00015, o1, o2, o3, o4, o5], 0) :: defines_var(INT____00015);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00016, p1, p2, p3, p4, p5], 0) :: defines_var(INT____00016);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00017, q1, q2, q3, q4, q5], 0) :: defines_var(INT____00017);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00018, r1, r2, r3, r4, r5], 0) :: defines_var(INT____00018);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00019, s1, s2, s3, s4, s5], 0) :: defines_var(INT____00019);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00020, t1, t2, t3, t4, t5], 0) :: defines_var(INT____00020);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00021, u1, u2, u3, u4, u5], 0) :: defines_var(INT____00021);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00022, v1, v2, v3, v4, v5], 0) :: defines_var(INT____00022);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00023, w1, w2, w3, w4, w5], 0) :: defines_var(INT____00023);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00024, x1, x2, x3, x4, x5], 0) :: defines_var(INT____00024);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00025, y1, y2, y3, y4, y5], 0) :: defines_var(INT____00025);
+constraint int_lin_eq([-1, 10000, 1000, 100, 10, 1], [INT____00026, z1, z2, z3, z4, z5], 0) :: defines_var(INT____00026);
+solve  :: int_search([INT____00001, INT____00002, INT____00003, INT____00004, INT____00005, INT____00006, INT____00007, INT____00008, INT____00009, INT____00010, INT____00011, INT____00012, INT____00013, INT____00014, INT____00015, INT____00016, INT____00017, INT____00018, INT____00019, INT____00020, INT____00021, INT____00022, INT____00023, INT____00024, INT____00025, INT____00026, INT____00027, INT____00028, INT____00029, INT____00030, INT____00031, INT____00032, INT____00033, INT____00034, INT____00035, INT____00036, INT____00037, INT____00038, INT____00039, INT____00040, INT____00041, INT____00042, INT____00043, INT____00044, INT____00045, INT____00046, INT____00047, INT____00048, INT____00049, INT____00050, INT____00051, INT____00052, INT____00053, INT____00054, INT____00055, INT____00056, INT____00057, INT____00058, INT____00059, INT____00060, INT____00061, INT____00062, INT____00063, INT____00064, INT____00065, INT____00066, a1, a2, a3, a4, a5, b1, b2, b3, b4, b5, c1, c2, c3, c4, c5, d1, d2, d3, d4, d5, e1, e2, e3, e4, e5, f1, f2, f3, f4, f5, g1, g2, g3, g4, g5, h1, h2, h3, h4, h5, i1, i2, i3, i4, i5, j1, j2, j3, j4, j5, k1, k2, k3, k4, k5, l1, l2, l3, l4, l5, m1, m2, m3, m4, m5, n1, n2, n3, n4, n5, o1, o2, o3, o4, o5, p1, p2, p3, p4, p5, q1, q2, q3, q4, q5, r1, r2, r3, r4, r5, s1, s2, s3, s4, s5, t1, t2, t3, t4, t5, u1, u2, u3, u4, u5, v1, v2, v3, v4, v5, w1, w2, w3, w4, w5, x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, z1, z2, z3, z4, z5], first_fail, indomain, complete) satisfy;