Skip to content

Instantly share code, notes, and snippets.

@skosch
Created December 7, 2015 19:41
Show Gist options
  • Save skosch/e6683b0eaa5351926f2f to your computer and use it in GitHub Desktop.
Save skosch/e6683b0eaa5351926f2f to your computer and use it in GitHub Desktop.
predicate maximum_int(var int: m,array [int] of var int: x);
predicate minimum_int(var int: m,array [int] of var int: x);
array [1..8] of int: X_INTRODUCED_313 = [1,1,1,1,1,1,1,1];
array [1..4] of int: X_INTRODUCED_538 = [-1,-1,-1,-1];
array [1..14] of int: X_INTRODUCED_633 = [1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1];
array [1..7] of int: X_INTRODUCED_657 = [1,-1,-1,-1,-1,-1,-1];
array [1..11] of int: X_INTRODUCED_675 = [1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1];
array [1..8] of int: X_INTRODUCED_699 = [1,-1,-1,-1,-1,-1,-1,-1];
array [1..6] of int: X_INTRODUCED_716 = [1,-1,-1,-1,-1,-1];
array [1..5] of int: X_INTRODUCED_741 = [1,-1,-1,-1,-1];
array [1..3] of int: X_INTRODUCED_782 = [1,-1,-1];
array [1..9] of int: X_INTRODUCED_815 = [1,-1,-1,-1,-1,-1,-1,-1,-1];
array [1..29] of int: X_INTRODUCED_909 = [1,-3,-3,-3,-3,-3,-3,-3,-3,-3,-3,-1,-1,-1,-1,-1,-1,-2,-2,-2,-2,1,1,1,1,1,1,1,1];
var bool: X_INTRODUCED_2;
var bool: X_INTRODUCED_3;
var bool: X_INTRODUCED_6;
var bool: X_INTRODUCED_7;
var bool: X_INTRODUCED_8;
var bool: X_INTRODUCED_9;
var bool: X_INTRODUCED_10;
var bool: X_INTRODUCED_11;
var bool: X_INTRODUCED_12;
var bool: X_INTRODUCED_13;
var bool: X_INTRODUCED_20;
var bool: X_INTRODUCED_21;
var bool: X_INTRODUCED_22;
var bool: X_INTRODUCED_23;
var bool: X_INTRODUCED_24;
var bool: X_INTRODUCED_25;
var bool: X_INTRODUCED_26;
var bool: X_INTRODUCED_27;
var bool: X_INTRODUCED_28;
var bool: X_INTRODUCED_29;
var bool: X_INTRODUCED_32;
var bool: X_INTRODUCED_33;
var bool: X_INTRODUCED_34;
var bool: X_INTRODUCED_35;
var bool: X_INTRODUCED_40;
var bool: X_INTRODUCED_41;
var bool: X_INTRODUCED_46;
var bool: X_INTRODUCED_47;
var bool: X_INTRODUCED_50;
var bool: X_INTRODUCED_51;
var bool: X_INTRODUCED_52;
var bool: X_INTRODUCED_53;
var bool: X_INTRODUCED_58;
var bool: X_INTRODUCED_59;
var bool: X_INTRODUCED_60;
var bool: X_INTRODUCED_61;
var bool: X_INTRODUCED_62;
var bool: X_INTRODUCED_63;
var bool: X_INTRODUCED_66;
var bool: X_INTRODUCED_67;
var bool: X_INTRODUCED_76;
var bool: X_INTRODUCED_77;
var bool: X_INTRODUCED_78;
var bool: X_INTRODUCED_79;
var bool: X_INTRODUCED_82;
var bool: X_INTRODUCED_83;
var bool: X_INTRODUCED_88;
var bool: X_INTRODUCED_89;
var bool: X_INTRODUCED_92;
var bool: X_INTRODUCED_93;
var bool: X_INTRODUCED_102;
var bool: X_INTRODUCED_103;
var bool: X_INTRODUCED_106;
var bool: X_INTRODUCED_107;
var bool: X_INTRODUCED_108;
var bool: X_INTRODUCED_109;
var bool: X_INTRODUCED_116;
var bool: X_INTRODUCED_117;
var bool: X_INTRODUCED_118;
var bool: X_INTRODUCED_119;
var bool: X_INTRODUCED_122;
var bool: X_INTRODUCED_123;
var bool: X_INTRODUCED_126;
var bool: X_INTRODUCED_127;
var bool: X_INTRODUCED_128;
var bool: X_INTRODUCED_129;
var bool: X_INTRODUCED_130;
var bool: X_INTRODUCED_131;
var bool: X_INTRODUCED_132;
var bool: X_INTRODUCED_133;
var bool: X_INTRODUCED_138;
var bool: X_INTRODUCED_139;
var bool: X_INTRODUCED_142;
var bool: X_INTRODUCED_143;
var bool: X_INTRODUCED_148;
var bool: X_INTRODUCED_149;
var bool: X_INTRODUCED_152;
var bool: X_INTRODUCED_153;
var bool: X_INTRODUCED_156;
var bool: X_INTRODUCED_157;
var bool: X_INTRODUCED_162;
var bool: X_INTRODUCED_163;
var bool: X_INTRODUCED_166;
var bool: X_INTRODUCED_167;
var bool: X_INTRODUCED_172;
var bool: X_INTRODUCED_173;
var bool: X_INTRODUCED_178;
var bool: X_INTRODUCED_179;
var bool: X_INTRODUCED_182;
var bool: X_INTRODUCED_183;
var 0..13: X_INTRODUCED_184:: is_defined_var;
var 0..13: X_INTRODUCED_185:: is_defined_var;
var 0..13: X_INTRODUCED_186:: is_defined_var;
var 0..13: X_INTRODUCED_187:: is_defined_var;
var 0..13: X_INTRODUCED_188:: is_defined_var;
var 0..13: X_INTRODUCED_189:: is_defined_var;
var 0..13: X_INTRODUCED_190:: is_defined_var;
var 0..13: X_INTRODUCED_191:: is_defined_var;
var 0..6: X_INTRODUCED_192:: is_defined_var;
var 0..6: X_INTRODUCED_193:: is_defined_var;
var 0..6: X_INTRODUCED_194:: is_defined_var;
var 0..6: X_INTRODUCED_195:: is_defined_var;
var 0..6: X_INTRODUCED_196:: is_defined_var;
var 0..6: X_INTRODUCED_197:: is_defined_var;
var 0..6: X_INTRODUCED_198:: is_defined_var;
var 0..6: X_INTRODUCED_199:: is_defined_var;
var 0..10: X_INTRODUCED_200:: is_defined_var;
var 0..10: X_INTRODUCED_201:: is_defined_var;
var 0..10: X_INTRODUCED_202:: is_defined_var;
var 0..10: X_INTRODUCED_203:: is_defined_var;
var 0..10: X_INTRODUCED_204:: is_defined_var;
var 0..10: X_INTRODUCED_205:: is_defined_var;
var 0..10: X_INTRODUCED_206:: is_defined_var;
var 0..10: X_INTRODUCED_207:: is_defined_var;
var 0..7: X_INTRODUCED_208:: is_defined_var;
var 0..7: X_INTRODUCED_209:: is_defined_var;
var 0..7: X_INTRODUCED_210:: is_defined_var;
var 0..7: X_INTRODUCED_211:: is_defined_var;
var 0..7: X_INTRODUCED_212:: is_defined_var;
var 0..7: X_INTRODUCED_213:: is_defined_var;
var 0..7: X_INTRODUCED_214:: is_defined_var;
var 0..7: X_INTRODUCED_215:: is_defined_var;
var 0..5: X_INTRODUCED_216:: is_defined_var;
var 0..5: X_INTRODUCED_217:: is_defined_var;
var 0..5: X_INTRODUCED_218:: is_defined_var;
var 0..5: X_INTRODUCED_219:: is_defined_var;
var 0..5: X_INTRODUCED_220:: is_defined_var;
var 0..5: X_INTRODUCED_221:: is_defined_var;
var 0..5: X_INTRODUCED_222:: is_defined_var;
var 0..5: X_INTRODUCED_223:: is_defined_var;
var 0..4: X_INTRODUCED_232:: is_defined_var;
var 0..4: X_INTRODUCED_233:: is_defined_var;
var 0..4: X_INTRODUCED_234:: is_defined_var;
var 0..4: X_INTRODUCED_235:: is_defined_var;
var 0..4: X_INTRODUCED_236:: is_defined_var;
var 0..4: X_INTRODUCED_237:: is_defined_var;
var 0..4: X_INTRODUCED_238:: is_defined_var;
var 0..4: X_INTRODUCED_239:: is_defined_var;
var 0..4: X_INTRODUCED_240:: is_defined_var;
var 0..4: X_INTRODUCED_241:: is_defined_var;
var 0..4: X_INTRODUCED_242:: is_defined_var;
var 0..4: X_INTRODUCED_243:: is_defined_var;
var 0..4: X_INTRODUCED_244:: is_defined_var;
var 0..4: X_INTRODUCED_245:: is_defined_var;
var 0..4: X_INTRODUCED_246:: is_defined_var;
var 0..4: X_INTRODUCED_247:: is_defined_var;
var 0..4: X_INTRODUCED_248:: is_defined_var;
var 0..4: X_INTRODUCED_249:: is_defined_var;
var 0..4: X_INTRODUCED_250:: is_defined_var;
var 0..4: X_INTRODUCED_251:: is_defined_var;
var 0..4: X_INTRODUCED_252:: is_defined_var;
var 0..4: X_INTRODUCED_253:: is_defined_var;
var 0..4: X_INTRODUCED_254:: is_defined_var;
var 0..4: X_INTRODUCED_255:: is_defined_var;
var 0..2: X_INTRODUCED_256:: is_defined_var;
var 0..2: X_INTRODUCED_257:: is_defined_var;
var 0..2: X_INTRODUCED_258:: is_defined_var;
var 0..2: X_INTRODUCED_259:: is_defined_var;
var 0..2: X_INTRODUCED_260:: is_defined_var;
var 0..2: X_INTRODUCED_261:: is_defined_var;
var 0..2: X_INTRODUCED_262:: is_defined_var;
var 0..2: X_INTRODUCED_263:: is_defined_var;
var int: X_INTRODUCED_264;
var int: X_INTRODUCED_265;
var int: X_INTRODUCED_266;
var int: X_INTRODUCED_267;
var int: X_INTRODUCED_268;
var int: X_INTRODUCED_269;
var int: X_INTRODUCED_270;
var int: X_INTRODUCED_271;
var int: X_INTRODUCED_272;
var int: X_INTRODUCED_273;
var int: X_INTRODUCED_274;
var int: X_INTRODUCED_275;
var int: X_INTRODUCED_276;
var int: X_INTRODUCED_277;
var int: X_INTRODUCED_278;
var int: X_INTRODUCED_279;
var int: X_INTRODUCED_280;
var int: X_INTRODUCED_281;
var int: X_INTRODUCED_282;
var int: X_INTRODUCED_283;
var 0..52: X_INTRODUCED_284:: is_defined_var;
var 0..24: X_INTRODUCED_285:: is_defined_var;
var 0..40: X_INTRODUCED_286:: is_defined_var;
var 0..28: X_INTRODUCED_287:: is_defined_var;
var 0..20: X_INTRODUCED_288:: is_defined_var;
var int: X_INTRODUCED_289:: is_defined_var;
var 0..32: X_INTRODUCED_290:: is_defined_var;
var 0..32: X_INTRODUCED_291:: is_defined_var;
var 0..32: X_INTRODUCED_292:: is_defined_var;
var 0..16: X_INTRODUCED_293:: is_defined_var;
var int: objective:: output_var:: is_defined_var;
var 3..3: target:: output_var;
var 0..1: X_INTRODUCED_306 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_307 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_310 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_311 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_315 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_316 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_317 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_318 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_319 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_320 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_329 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_330 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_331 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_332 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_335 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_336 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_337 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_338 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_339 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_340 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_345 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_346 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_347 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_348 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_355 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_356 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_361 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_362 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_367 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_368 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_369 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_370 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_377 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_378 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_379 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_380 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_381 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_382 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_387 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_388 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_399 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_400 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_401 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_402 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_407 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_408 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_415 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_416 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_419 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_420 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_431 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_432 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_437 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_438 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_439 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_440 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_449 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_450 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_451 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_452 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_457 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_458 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_461 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_462 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_465 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_466 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_467 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_468 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_469 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_470 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_477 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_478 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_481 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_482 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_489 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_490 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_495 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_496 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_499 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_500 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_507 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_508 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_511 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_512 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_519 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_520 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_527 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_528 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_531 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_532 ::var_is_introduced :: is_defined_var;
var -20..3: X_INTRODUCED_823 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_824 ::var_is_introduced ;
var -20..3: X_INTRODUCED_828 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_829 ::var_is_introduced ;
var -20..3: X_INTRODUCED_833 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_834 ::var_is_introduced ;
var -20..3: X_INTRODUCED_838 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_839 ::var_is_introduced ;
var -20..3: X_INTRODUCED_843 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_844 ::var_is_introduced ;
var -20..3: X_INTRODUCED_848 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_849 ::var_is_introduced ;
var -20..3: X_INTRODUCED_853 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_854 ::var_is_introduced ;
var -20..3: X_INTRODUCED_858 ::var_is_introduced :: is_defined_var;
var 0..3: X_INTRODUCED_859 ::var_is_introduced ;
var 0..300: X_INTRODUCED_861 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_863 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_864 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_866 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_867 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_869 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_870 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_872 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_873 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_875 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_876 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_878 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_879 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_881 ::var_is_introduced :: is_defined_var;
var 0..300: X_INTRODUCED_882 ::var_is_introduced :: is_defined_var;
var 0..100: X_INTRODUCED_884 ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_304 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_305 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_308 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_309 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_321 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_322 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_325 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_326 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_327 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_328 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_341 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_342 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_349 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_350 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_351 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_352 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_357 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_358 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_359 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_360 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_365 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_366 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_371 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_372 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_375 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_376 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_385 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_386 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_389 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_390 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_391 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_392 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_395 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_396 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_397 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_398 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_405 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_406 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_409 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_410 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_411 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_412 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_417 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_418 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_421 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_422 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_425 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_426 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_427 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_428 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_429 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_430 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_435 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_436 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_441 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_442 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_445 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_446 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_447 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_448 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_455 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_456 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_459 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_460 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_471 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_472 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_475 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_476 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_479 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_480 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_485 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_486 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_487 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_488 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_491 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_492 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_497 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_498 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_501 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_502 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_505 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_506 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_509 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_510 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_515 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_516 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_517 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_518 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_521 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_522 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_525 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_526 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_529 ::var_is_introduced = 0;
var 0..1: X_INTRODUCED_530 ::var_is_introduced = 0;
array [1..184] of var bool: Assignment:: output_array([1..23,1..4,1..2]) = [false,false,X_INTRODUCED_2,X_INTRODUCED_3,false,false,X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_11,X_INTRODUCED_12,X_INTRODUCED_13,false,false,false,false,false,false,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,false,false,X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35,false,false,false,false,X_INTRODUCED_40,X_INTRODUCED_41,false,false,false,false,X_INTRODUCED_46,X_INTRODUCED_47,false,false,X_INTRODUCED_50,X_INTRODUCED_51,X_INTRODUCED_52,X_INTRODUCED_53,false,false,false,false,X_INTRODUCED_58,X_INTRODUCED_59,X_INTRODUCED_60,X_INTRODUCED_61,X_INTRODUCED_62,X_INTRODUCED_63,false,false,X_INTRODUCED_66,X_INTRODUCED_67,false,false,false,false,false,false,false,false,X_INTRODUCED_76,X_INTRODUCED_77,X_INTRODUCED_78,X_INTRODUCED_79,false,false,X_INTRODUCED_82,X_INTRODUCED_83,false,false,false,false,X_INTRODUCED_88,X_INTRODUCED_89,false,false,X_INTRODUCED_92,X_INTRODUCED_93,false,false,false,false,false,false,false,false,X_INTRODUCED_102,X_INTRODUCED_103,false,false,X_INTRODUCED_106,X_INTRODUCED_107,X_INTRODUCED_108,X_INTRODUCED_109,false,false,false,false,false,false,X_INTRODUCED_116,X_INTRODUCED_117,X_INTRODUCED_118,X_INTRODUCED_119,false,false,X_INTRODUCED_122,X_INTRODUCED_123,false,false,X_INTRODUCED_126,X_INTRODUCED_127,X_INTRODUCED_128,X_INTRODUCED_129,X_INTRODUCED_130,X_INTRODUCED_131,X_INTRODUCED_132,X_INTRODUCED_133,false,false,false,false,X_INTRODUCED_138,X_INTRODUCED_139,false,false,X_INTRODUCED_142,X_INTRODUCED_143,false,false,false,false,X_INTRODUCED_148,X_INTRODUCED_149,false,false,X_INTRODUCED_152,X_INTRODUCED_153,false,false,X_INTRODUCED_156,X_INTRODUCED_157,false,false,false,false,X_INTRODUCED_162,X_INTRODUCED_163,false,false,X_INTRODUCED_166,X_INTRODUCED_167,false,false,false,false,X_INTRODUCED_172,X_INTRODUCED_173,false,false,false,false,X_INTRODUCED_178,X_INTRODUCED_179,false,false,X_INTRODUCED_182,X_INTRODUCED_183];
array [1..80] of var int: Coverage:: output_array([1..10,1..4,1..2]) = [X_INTRODUCED_184,X_INTRODUCED_185,X_INTRODUCED_186,X_INTRODUCED_187,X_INTRODUCED_188,X_INTRODUCED_189,X_INTRODUCED_190,X_INTRODUCED_191,X_INTRODUCED_192,X_INTRODUCED_193,X_INTRODUCED_194,X_INTRODUCED_195,X_INTRODUCED_196,X_INTRODUCED_197,X_INTRODUCED_198,X_INTRODUCED_199,X_INTRODUCED_200,X_INTRODUCED_201,X_INTRODUCED_202,X_INTRODUCED_203,X_INTRODUCED_204,X_INTRODUCED_205,X_INTRODUCED_206,X_INTRODUCED_207,X_INTRODUCED_208,X_INTRODUCED_209,X_INTRODUCED_210,X_INTRODUCED_211,X_INTRODUCED_212,X_INTRODUCED_213,X_INTRODUCED_214,X_INTRODUCED_215,X_INTRODUCED_216,X_INTRODUCED_217,X_INTRODUCED_218,X_INTRODUCED_219,X_INTRODUCED_220,X_INTRODUCED_221,X_INTRODUCED_222,X_INTRODUCED_223,0,0,X_INTRODUCED_437,X_INTRODUCED_438,X_INTRODUCED_439,X_INTRODUCED_440,0,0,X_INTRODUCED_232,X_INTRODUCED_233,X_INTRODUCED_234,X_INTRODUCED_235,X_INTRODUCED_236,X_INTRODUCED_237,X_INTRODUCED_238,X_INTRODUCED_239,X_INTRODUCED_240,X_INTRODUCED_241,X_INTRODUCED_242,X_INTRODUCED_243,X_INTRODUCED_244,X_INTRODUCED_245,X_INTRODUCED_246,X_INTRODUCED_247,X_INTRODUCED_248,X_INTRODUCED_249,X_INTRODUCED_250,X_INTRODUCED_251,X_INTRODUCED_252,X_INTRODUCED_253,X_INTRODUCED_254,X_INTRODUCED_255,X_INTRODUCED_256,X_INTRODUCED_257,X_INTRODUCED_258,X_INTRODUCED_259,X_INTRODUCED_260,X_INTRODUCED_261,X_INTRODUCED_262,X_INTRODUCED_263];
array [1..10] of var int: MaxTable:: output_array([1..10]) = [X_INTRODUCED_264,X_INTRODUCED_265,X_INTRODUCED_266,X_INTRODUCED_267,X_INTRODUCED_268,X_INTRODUCED_269,X_INTRODUCED_270,X_INTRODUCED_271,X_INTRODUCED_272,X_INTRODUCED_273];
array [1..10] of var int: MinTable:: output_array([1..10]) = [X_INTRODUCED_274,X_INTRODUCED_275,X_INTRODUCED_276,X_INTRODUCED_277,X_INTRODUCED_278,X_INTRODUCED_279,X_INTRODUCED_280,X_INTRODUCED_281,X_INTRODUCED_282,X_INTRODUCED_283];
array [1..10] of var int: totalTable:: output_array([1..10]) = [X_INTRODUCED_284,X_INTRODUCED_285,X_INTRODUCED_286,X_INTRODUCED_287,X_INTRODUCED_288,X_INTRODUCED_289,X_INTRODUCED_290,X_INTRODUCED_291,X_INTRODUCED_292,X_INTRODUCED_293];
array [1..8] of var int: seshSlack:: output_array([1..4,1..2]) = [X_INTRODUCED_824,X_INTRODUCED_829,X_INTRODUCED_834,X_INTRODUCED_839,X_INTRODUCED_844,X_INTRODUCED_849,X_INTRODUCED_854,X_INTRODUCED_859];
array [1..14] of var int: X_INTRODUCED_632 ::var_is_introduced = [X_INTRODUCED_184,X_INTRODUCED_304,X_INTRODUCED_325,X_INTRODUCED_335,X_INTRODUCED_345,X_INTRODUCED_355,X_INTRODUCED_365,X_INTRODUCED_405,X_INTRODUCED_435,X_INTRODUCED_445,X_INTRODUCED_455,X_INTRODUCED_465,X_INTRODUCED_515,X_INTRODUCED_525];
array [1..14] of var int: X_INTRODUCED_636 ::var_is_introduced = [X_INTRODUCED_185,X_INTRODUCED_305,X_INTRODUCED_326,X_INTRODUCED_336,X_INTRODUCED_346,X_INTRODUCED_356,X_INTRODUCED_366,X_INTRODUCED_406,X_INTRODUCED_436,X_INTRODUCED_446,X_INTRODUCED_456,X_INTRODUCED_466,X_INTRODUCED_516,X_INTRODUCED_526];
array [1..14] of var int: X_INTRODUCED_639 ::var_is_introduced = [X_INTRODUCED_186,X_INTRODUCED_306,X_INTRODUCED_327,X_INTRODUCED_337,X_INTRODUCED_347,X_INTRODUCED_357,X_INTRODUCED_367,X_INTRODUCED_407,X_INTRODUCED_437,X_INTRODUCED_447,X_INTRODUCED_457,X_INTRODUCED_467,X_INTRODUCED_517,X_INTRODUCED_527];
array [1..14] of var int: X_INTRODUCED_642 ::var_is_introduced = [X_INTRODUCED_187,X_INTRODUCED_307,X_INTRODUCED_328,X_INTRODUCED_338,X_INTRODUCED_348,X_INTRODUCED_358,X_INTRODUCED_368,X_INTRODUCED_408,X_INTRODUCED_438,X_INTRODUCED_448,X_INTRODUCED_458,X_INTRODUCED_468,X_INTRODUCED_518,X_INTRODUCED_528];
array [1..14] of var int: X_INTRODUCED_645 ::var_is_introduced = [X_INTRODUCED_188,X_INTRODUCED_308,X_INTRODUCED_329,X_INTRODUCED_339,X_INTRODUCED_349,X_INTRODUCED_359,X_INTRODUCED_369,X_INTRODUCED_409,X_INTRODUCED_439,X_INTRODUCED_449,X_INTRODUCED_459,X_INTRODUCED_469,X_INTRODUCED_519,X_INTRODUCED_529];
array [1..14] of var int: X_INTRODUCED_648 ::var_is_introduced = [X_INTRODUCED_189,X_INTRODUCED_309,X_INTRODUCED_330,X_INTRODUCED_340,X_INTRODUCED_350,X_INTRODUCED_360,X_INTRODUCED_370,X_INTRODUCED_410,X_INTRODUCED_440,X_INTRODUCED_450,X_INTRODUCED_460,X_INTRODUCED_470,X_INTRODUCED_520,X_INTRODUCED_530];
array [1..14] of var int: X_INTRODUCED_651 ::var_is_introduced = [X_INTRODUCED_190,X_INTRODUCED_310,X_INTRODUCED_331,X_INTRODUCED_341,X_INTRODUCED_351,X_INTRODUCED_361,X_INTRODUCED_371,X_INTRODUCED_411,X_INTRODUCED_441,X_INTRODUCED_451,X_INTRODUCED_461,X_INTRODUCED_471,X_INTRODUCED_521,X_INTRODUCED_531];
array [1..14] of var int: X_INTRODUCED_654 ::var_is_introduced = [X_INTRODUCED_191,X_INTRODUCED_311,X_INTRODUCED_332,X_INTRODUCED_342,X_INTRODUCED_352,X_INTRODUCED_362,X_INTRODUCED_372,X_INTRODUCED_412,X_INTRODUCED_442,X_INTRODUCED_452,X_INTRODUCED_462,X_INTRODUCED_472,X_INTRODUCED_522,X_INTRODUCED_532];
array [1..11] of var int: X_INTRODUCED_674 ::var_is_introduced = [X_INTRODUCED_200,X_INTRODUCED_315,X_INTRODUCED_335,X_INTRODUCED_355,X_INTRODUCED_375,X_INTRODUCED_395,X_INTRODUCED_415,X_INTRODUCED_455,X_INTRODUCED_465,X_INTRODUCED_475,X_INTRODUCED_525];
array [1..11] of var int: X_INTRODUCED_678 ::var_is_introduced = [X_INTRODUCED_201,X_INTRODUCED_316,X_INTRODUCED_336,X_INTRODUCED_356,X_INTRODUCED_376,X_INTRODUCED_396,X_INTRODUCED_416,X_INTRODUCED_456,X_INTRODUCED_466,X_INTRODUCED_476,X_INTRODUCED_526];
array [1..11] of var int: X_INTRODUCED_681 ::var_is_introduced = [X_INTRODUCED_202,X_INTRODUCED_317,X_INTRODUCED_337,X_INTRODUCED_357,X_INTRODUCED_377,X_INTRODUCED_397,X_INTRODUCED_417,X_INTRODUCED_457,X_INTRODUCED_467,X_INTRODUCED_477,X_INTRODUCED_527];
array [1..11] of var int: X_INTRODUCED_684 ::var_is_introduced = [X_INTRODUCED_203,X_INTRODUCED_318,X_INTRODUCED_338,X_INTRODUCED_358,X_INTRODUCED_378,X_INTRODUCED_398,X_INTRODUCED_418,X_INTRODUCED_458,X_INTRODUCED_468,X_INTRODUCED_478,X_INTRODUCED_528];
array [1..11] of var int: X_INTRODUCED_687 ::var_is_introduced = [X_INTRODUCED_204,X_INTRODUCED_319,X_INTRODUCED_339,X_INTRODUCED_359,X_INTRODUCED_379,X_INTRODUCED_399,X_INTRODUCED_419,X_INTRODUCED_459,X_INTRODUCED_469,X_INTRODUCED_479,X_INTRODUCED_529];
array [1..11] of var int: X_INTRODUCED_690 ::var_is_introduced = [X_INTRODUCED_205,X_INTRODUCED_320,X_INTRODUCED_340,X_INTRODUCED_360,X_INTRODUCED_380,X_INTRODUCED_400,X_INTRODUCED_420,X_INTRODUCED_460,X_INTRODUCED_470,X_INTRODUCED_480,X_INTRODUCED_530];
array [1..11] of var int: X_INTRODUCED_693 ::var_is_introduced = [X_INTRODUCED_206,X_INTRODUCED_321,X_INTRODUCED_341,X_INTRODUCED_361,X_INTRODUCED_381,X_INTRODUCED_401,X_INTRODUCED_421,X_INTRODUCED_461,X_INTRODUCED_471,X_INTRODUCED_481,X_INTRODUCED_531];
array [1..11] of var int: X_INTRODUCED_696 ::var_is_introduced = [X_INTRODUCED_207,X_INTRODUCED_322,X_INTRODUCED_342,X_INTRODUCED_362,X_INTRODUCED_382,X_INTRODUCED_402,X_INTRODUCED_422,X_INTRODUCED_462,X_INTRODUCED_472,X_INTRODUCED_482,X_INTRODUCED_532];
array [1..4] of var int: X_INTRODUCED_798 ::var_is_introduced = [X_INTRODUCED_184,X_INTRODUCED_186,X_INTRODUCED_188,X_INTRODUCED_190];
array [1..4] of var int: X_INTRODUCED_799 ::var_is_introduced = [X_INTRODUCED_193,X_INTRODUCED_195,X_INTRODUCED_197,X_INTRODUCED_199];
array [1..4] of var int: X_INTRODUCED_800 ::var_is_introduced = [X_INTRODUCED_200,X_INTRODUCED_202,X_INTRODUCED_204,X_INTRODUCED_206];
array [1..4] of var int: X_INTRODUCED_801 ::var_is_introduced = [X_INTRODUCED_209,X_INTRODUCED_211,X_INTRODUCED_213,X_INTRODUCED_215];
array [1..4] of var int: X_INTRODUCED_802 ::var_is_introduced = [X_INTRODUCED_217,X_INTRODUCED_219,X_INTRODUCED_221,X_INTRODUCED_223];
array [1..4] of var int: X_INTRODUCED_803 ::var_is_introduced = [0,X_INTRODUCED_438,X_INTRODUCED_440,0];
array [1..8] of var int: X_INTRODUCED_804 ::var_is_introduced = [X_INTRODUCED_232,X_INTRODUCED_233,X_INTRODUCED_234,X_INTRODUCED_235,X_INTRODUCED_236,X_INTRODUCED_237,X_INTRODUCED_238,X_INTRODUCED_239];
array [1..8] of var int: X_INTRODUCED_805 ::var_is_introduced = [X_INTRODUCED_240,X_INTRODUCED_241,X_INTRODUCED_242,X_INTRODUCED_243,X_INTRODUCED_244,X_INTRODUCED_245,X_INTRODUCED_246,X_INTRODUCED_247];
array [1..8] of var int: X_INTRODUCED_806 ::var_is_introduced = [X_INTRODUCED_248,X_INTRODUCED_249,X_INTRODUCED_250,X_INTRODUCED_251,X_INTRODUCED_252,X_INTRODUCED_253,X_INTRODUCED_254,X_INTRODUCED_255];
array [1..8] of var int: X_INTRODUCED_807 ::var_is_introduced = [X_INTRODUCED_256,X_INTRODUCED_257,X_INTRODUCED_258,X_INTRODUCED_259,X_INTRODUCED_260,X_INTRODUCED_261,X_INTRODUCED_262,X_INTRODUCED_263];
array [1..29] of var int: X_INTRODUCED_908 ::var_is_introduced = [objective,X_INTRODUCED_284,X_INTRODUCED_274,X_INTRODUCED_285,X_INTRODUCED_275,X_INTRODUCED_286,X_INTRODUCED_276,X_INTRODUCED_287,X_INTRODUCED_277,X_INTRODUCED_288,X_INTRODUCED_278,X_INTRODUCED_289,X_INTRODUCED_279,X_INTRODUCED_290,X_INTRODUCED_280,X_INTRODUCED_291,X_INTRODUCED_281,X_INTRODUCED_292,X_INTRODUCED_282,X_INTRODUCED_293,X_INTRODUCED_283,X_INTRODUCED_863,X_INTRODUCED_866,X_INTRODUCED_869,X_INTRODUCED_872,X_INTRODUCED_875,X_INTRODUCED_878,X_INTRODUCED_881,X_INTRODUCED_884];
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_304,X_INTRODUCED_305,X_INTRODUCED_306,X_INTRODUCED_307,X_INTRODUCED_308,X_INTRODUCED_309,X_INTRODUCED_310,X_INTRODUCED_311],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_315,X_INTRODUCED_316,X_INTRODUCED_317,X_INTRODUCED_318,X_INTRODUCED_319,X_INTRODUCED_320,X_INTRODUCED_321,X_INTRODUCED_322],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_325,X_INTRODUCED_326,X_INTRODUCED_327,X_INTRODUCED_328,X_INTRODUCED_329,X_INTRODUCED_330,X_INTRODUCED_331,X_INTRODUCED_332],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_335,X_INTRODUCED_336,X_INTRODUCED_337,X_INTRODUCED_338,X_INTRODUCED_339,X_INTRODUCED_340,X_INTRODUCED_341,X_INTRODUCED_342],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_345,X_INTRODUCED_346,X_INTRODUCED_347,X_INTRODUCED_348,X_INTRODUCED_349,X_INTRODUCED_350,X_INTRODUCED_351,X_INTRODUCED_352],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_355,X_INTRODUCED_356,X_INTRODUCED_357,X_INTRODUCED_358,X_INTRODUCED_359,X_INTRODUCED_360,X_INTRODUCED_361,X_INTRODUCED_362],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_365,X_INTRODUCED_366,X_INTRODUCED_367,X_INTRODUCED_368,X_INTRODUCED_369,X_INTRODUCED_370,X_INTRODUCED_371,X_INTRODUCED_372],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_375,X_INTRODUCED_376,X_INTRODUCED_377,X_INTRODUCED_378,X_INTRODUCED_379,X_INTRODUCED_380,X_INTRODUCED_381,X_INTRODUCED_382],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_385,X_INTRODUCED_386,X_INTRODUCED_387,X_INTRODUCED_388,X_INTRODUCED_389,X_INTRODUCED_390,X_INTRODUCED_391,X_INTRODUCED_392],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_395,X_INTRODUCED_396,X_INTRODUCED_397,X_INTRODUCED_398,X_INTRODUCED_399,X_INTRODUCED_400,X_INTRODUCED_401,X_INTRODUCED_402],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_405,X_INTRODUCED_406,X_INTRODUCED_407,X_INTRODUCED_408,X_INTRODUCED_409,X_INTRODUCED_410,X_INTRODUCED_411,X_INTRODUCED_412],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_415,X_INTRODUCED_416,X_INTRODUCED_417,X_INTRODUCED_418,X_INTRODUCED_419,X_INTRODUCED_420,X_INTRODUCED_421,X_INTRODUCED_422],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_425,X_INTRODUCED_426,X_INTRODUCED_427,X_INTRODUCED_428,X_INTRODUCED_429,X_INTRODUCED_430,X_INTRODUCED_431,X_INTRODUCED_432],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_435,X_INTRODUCED_436,X_INTRODUCED_437,X_INTRODUCED_438,X_INTRODUCED_439,X_INTRODUCED_440,X_INTRODUCED_441,X_INTRODUCED_442],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_445,X_INTRODUCED_446,X_INTRODUCED_447,X_INTRODUCED_448,X_INTRODUCED_449,X_INTRODUCED_450,X_INTRODUCED_451,X_INTRODUCED_452],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_455,X_INTRODUCED_456,X_INTRODUCED_457,X_INTRODUCED_458,X_INTRODUCED_459,X_INTRODUCED_460,X_INTRODUCED_461,X_INTRODUCED_462],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_465,X_INTRODUCED_466,X_INTRODUCED_467,X_INTRODUCED_468,X_INTRODUCED_469,X_INTRODUCED_470,X_INTRODUCED_471,X_INTRODUCED_472],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_475,X_INTRODUCED_476,X_INTRODUCED_477,X_INTRODUCED_478,X_INTRODUCED_479,X_INTRODUCED_480,X_INTRODUCED_481,X_INTRODUCED_482],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_485,X_INTRODUCED_486,X_INTRODUCED_487,X_INTRODUCED_488,X_INTRODUCED_489,X_INTRODUCED_490,X_INTRODUCED_491,X_INTRODUCED_492],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_495,X_INTRODUCED_496,X_INTRODUCED_497,X_INTRODUCED_498,X_INTRODUCED_499,X_INTRODUCED_500,X_INTRODUCED_501,X_INTRODUCED_502],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_505,X_INTRODUCED_506,X_INTRODUCED_507,X_INTRODUCED_508,X_INTRODUCED_509,X_INTRODUCED_510,X_INTRODUCED_511,X_INTRODUCED_512],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_515,X_INTRODUCED_516,X_INTRODUCED_517,X_INTRODUCED_518,X_INTRODUCED_519,X_INTRODUCED_520,X_INTRODUCED_521,X_INTRODUCED_522],1);
constraint int_lin_eq(X_INTRODUCED_313,[X_INTRODUCED_525,X_INTRODUCED_526,X_INTRODUCED_527,X_INTRODUCED_528,X_INTRODUCED_529,X_INTRODUCED_530,X_INTRODUCED_531,X_INTRODUCED_532],1);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_304,X_INTRODUCED_306,X_INTRODUCED_308,X_INTRODUCED_310],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_305,X_INTRODUCED_307,X_INTRODUCED_309,X_INTRODUCED_311],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_315,X_INTRODUCED_317,X_INTRODUCED_319,X_INTRODUCED_321],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_316,X_INTRODUCED_318,X_INTRODUCED_320,X_INTRODUCED_322],-1);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_325,X_INTRODUCED_327,X_INTRODUCED_329,X_INTRODUCED_331],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_326,X_INTRODUCED_328,X_INTRODUCED_330,X_INTRODUCED_332],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_335,X_INTRODUCED_337,X_INTRODUCED_339,X_INTRODUCED_341],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_336,X_INTRODUCED_338,X_INTRODUCED_340,X_INTRODUCED_342],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_345,X_INTRODUCED_347,X_INTRODUCED_349,X_INTRODUCED_351],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_346,X_INTRODUCED_348,X_INTRODUCED_350,X_INTRODUCED_352],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_355,X_INTRODUCED_357,X_INTRODUCED_359,X_INTRODUCED_361],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_356,X_INTRODUCED_358,X_INTRODUCED_360,X_INTRODUCED_362],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_365,X_INTRODUCED_367,X_INTRODUCED_369,X_INTRODUCED_371],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_366,X_INTRODUCED_368,X_INTRODUCED_370,X_INTRODUCED_372],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_375,X_INTRODUCED_377,X_INTRODUCED_379,X_INTRODUCED_381],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_376,X_INTRODUCED_378,X_INTRODUCED_380,X_INTRODUCED_382],-1);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_385,X_INTRODUCED_387,X_INTRODUCED_389,X_INTRODUCED_391],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_386,X_INTRODUCED_388,X_INTRODUCED_390,X_INTRODUCED_392],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_395,X_INTRODUCED_397,X_INTRODUCED_399,X_INTRODUCED_401],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_396,X_INTRODUCED_398,X_INTRODUCED_400,X_INTRODUCED_402],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_405,X_INTRODUCED_407,X_INTRODUCED_409,X_INTRODUCED_411],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_406,X_INTRODUCED_408,X_INTRODUCED_410,X_INTRODUCED_412],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_415,X_INTRODUCED_417,X_INTRODUCED_419,X_INTRODUCED_421],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_416,X_INTRODUCED_418,X_INTRODUCED_420,X_INTRODUCED_422],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_425,X_INTRODUCED_427,X_INTRODUCED_429,X_INTRODUCED_431],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_426,X_INTRODUCED_428,X_INTRODUCED_430,X_INTRODUCED_432],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_435,X_INTRODUCED_437,X_INTRODUCED_439,X_INTRODUCED_441],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_436,X_INTRODUCED_438,X_INTRODUCED_440,X_INTRODUCED_442],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_445,X_INTRODUCED_447,X_INTRODUCED_449,X_INTRODUCED_451],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_446,X_INTRODUCED_448,X_INTRODUCED_450,X_INTRODUCED_452],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_455,X_INTRODUCED_457,X_INTRODUCED_459,X_INTRODUCED_461],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_456,X_INTRODUCED_458,X_INTRODUCED_460,X_INTRODUCED_462],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_465,X_INTRODUCED_467,X_INTRODUCED_469,X_INTRODUCED_471],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_466,X_INTRODUCED_468,X_INTRODUCED_470,X_INTRODUCED_472],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_475,X_INTRODUCED_477,X_INTRODUCED_479,X_INTRODUCED_481],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_476,X_INTRODUCED_478,X_INTRODUCED_480,X_INTRODUCED_482],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_485,X_INTRODUCED_487,X_INTRODUCED_489,X_INTRODUCED_491],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_486,X_INTRODUCED_488,X_INTRODUCED_490,X_INTRODUCED_492],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_495,X_INTRODUCED_497,X_INTRODUCED_499,X_INTRODUCED_501],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_496,X_INTRODUCED_498,X_INTRODUCED_500,X_INTRODUCED_502],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_505,X_INTRODUCED_507,X_INTRODUCED_509,X_INTRODUCED_511],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_506,X_INTRODUCED_508,X_INTRODUCED_510,X_INTRODUCED_512],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_515,X_INTRODUCED_517,X_INTRODUCED_519,X_INTRODUCED_521],-1);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_516,X_INTRODUCED_518,X_INTRODUCED_520,X_INTRODUCED_522],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_525,X_INTRODUCED_527,X_INTRODUCED_529,X_INTRODUCED_531],0);
constraint int_lin_le(X_INTRODUCED_538,[X_INTRODUCED_526,X_INTRODUCED_528,X_INTRODUCED_530,X_INTRODUCED_532],0);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_632,0):: defines_var(X_INTRODUCED_184);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_636,0):: defines_var(X_INTRODUCED_185);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_639,0):: defines_var(X_INTRODUCED_186);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_642,0):: defines_var(X_INTRODUCED_187);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_645,0):: defines_var(X_INTRODUCED_188);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_648,0):: defines_var(X_INTRODUCED_189);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_651,0):: defines_var(X_INTRODUCED_190);
constraint int_lin_eq(X_INTRODUCED_633,X_INTRODUCED_654,0):: defines_var(X_INTRODUCED_191);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_192,X_INTRODUCED_365,X_INTRODUCED_385,X_INTRODUCED_395,X_INTRODUCED_405,X_INTRODUCED_435,X_INTRODUCED_525],0):: defines_var(X_INTRODUCED_192);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_193,X_INTRODUCED_366,X_INTRODUCED_386,X_INTRODUCED_396,X_INTRODUCED_406,X_INTRODUCED_436,X_INTRODUCED_526],0):: defines_var(X_INTRODUCED_193);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_194,X_INTRODUCED_367,X_INTRODUCED_387,X_INTRODUCED_397,X_INTRODUCED_407,X_INTRODUCED_437,X_INTRODUCED_527],0):: defines_var(X_INTRODUCED_194);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_195,X_INTRODUCED_368,X_INTRODUCED_388,X_INTRODUCED_398,X_INTRODUCED_408,X_INTRODUCED_438,X_INTRODUCED_528],0):: defines_var(X_INTRODUCED_195);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_196,X_INTRODUCED_369,X_INTRODUCED_389,X_INTRODUCED_399,X_INTRODUCED_409,X_INTRODUCED_439,X_INTRODUCED_529],0):: defines_var(X_INTRODUCED_196);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_197,X_INTRODUCED_370,X_INTRODUCED_390,X_INTRODUCED_400,X_INTRODUCED_410,X_INTRODUCED_440,X_INTRODUCED_530],0):: defines_var(X_INTRODUCED_197);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_198,X_INTRODUCED_371,X_INTRODUCED_391,X_INTRODUCED_401,X_INTRODUCED_411,X_INTRODUCED_441,X_INTRODUCED_531],0):: defines_var(X_INTRODUCED_198);
constraint int_lin_eq(X_INTRODUCED_657,[X_INTRODUCED_199,X_INTRODUCED_372,X_INTRODUCED_392,X_INTRODUCED_402,X_INTRODUCED_412,X_INTRODUCED_442,X_INTRODUCED_532],0):: defines_var(X_INTRODUCED_199);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_674,0):: defines_var(X_INTRODUCED_200);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_678,0):: defines_var(X_INTRODUCED_201);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_681,0):: defines_var(X_INTRODUCED_202);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_684,0):: defines_var(X_INTRODUCED_203);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_687,0):: defines_var(X_INTRODUCED_204);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_690,0):: defines_var(X_INTRODUCED_205);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_693,0):: defines_var(X_INTRODUCED_206);
constraint int_lin_eq(X_INTRODUCED_675,X_INTRODUCED_696,0):: defines_var(X_INTRODUCED_207);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_208,X_INTRODUCED_315,X_INTRODUCED_335,X_INTRODUCED_365,X_INTRODUCED_375,X_INTRODUCED_445,X_INTRODUCED_475,X_INTRODUCED_485],0):: defines_var(X_INTRODUCED_208);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_209,X_INTRODUCED_316,X_INTRODUCED_336,X_INTRODUCED_366,X_INTRODUCED_376,X_INTRODUCED_446,X_INTRODUCED_476,X_INTRODUCED_486],0):: defines_var(X_INTRODUCED_209);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_210,X_INTRODUCED_317,X_INTRODUCED_337,X_INTRODUCED_367,X_INTRODUCED_377,X_INTRODUCED_447,X_INTRODUCED_477,X_INTRODUCED_487],0):: defines_var(X_INTRODUCED_210);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_211,X_INTRODUCED_318,X_INTRODUCED_338,X_INTRODUCED_368,X_INTRODUCED_378,X_INTRODUCED_448,X_INTRODUCED_478,X_INTRODUCED_488],0):: defines_var(X_INTRODUCED_211);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_212,X_INTRODUCED_319,X_INTRODUCED_339,X_INTRODUCED_369,X_INTRODUCED_379,X_INTRODUCED_449,X_INTRODUCED_479,X_INTRODUCED_489],0):: defines_var(X_INTRODUCED_212);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_213,X_INTRODUCED_320,X_INTRODUCED_340,X_INTRODUCED_370,X_INTRODUCED_380,X_INTRODUCED_450,X_INTRODUCED_480,X_INTRODUCED_490],0):: defines_var(X_INTRODUCED_213);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_214,X_INTRODUCED_321,X_INTRODUCED_341,X_INTRODUCED_371,X_INTRODUCED_381,X_INTRODUCED_451,X_INTRODUCED_481,X_INTRODUCED_491],0):: defines_var(X_INTRODUCED_214);
constraint int_lin_eq(X_INTRODUCED_699,[X_INTRODUCED_215,X_INTRODUCED_322,X_INTRODUCED_342,X_INTRODUCED_372,X_INTRODUCED_382,X_INTRODUCED_452,X_INTRODUCED_482,X_INTRODUCED_492],0):: defines_var(X_INTRODUCED_215);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_216,X_INTRODUCED_315,X_INTRODUCED_375,X_INTRODUCED_395,X_INTRODUCED_475,X_INTRODUCED_485],0):: defines_var(X_INTRODUCED_216);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_217,X_INTRODUCED_316,X_INTRODUCED_376,X_INTRODUCED_396,X_INTRODUCED_476,X_INTRODUCED_486],0):: defines_var(X_INTRODUCED_217);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_218,X_INTRODUCED_317,X_INTRODUCED_377,X_INTRODUCED_397,X_INTRODUCED_477,X_INTRODUCED_487],0):: defines_var(X_INTRODUCED_218);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_219,X_INTRODUCED_318,X_INTRODUCED_378,X_INTRODUCED_398,X_INTRODUCED_478,X_INTRODUCED_488],0):: defines_var(X_INTRODUCED_219);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_220,X_INTRODUCED_319,X_INTRODUCED_379,X_INTRODUCED_399,X_INTRODUCED_479,X_INTRODUCED_489],0):: defines_var(X_INTRODUCED_220);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_221,X_INTRODUCED_320,X_INTRODUCED_380,X_INTRODUCED_400,X_INTRODUCED_480,X_INTRODUCED_490],0):: defines_var(X_INTRODUCED_221);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_222,X_INTRODUCED_321,X_INTRODUCED_381,X_INTRODUCED_401,X_INTRODUCED_481,X_INTRODUCED_491],0):: defines_var(X_INTRODUCED_222);
constraint int_lin_eq(X_INTRODUCED_716,[X_INTRODUCED_223,X_INTRODUCED_322,X_INTRODUCED_382,X_INTRODUCED_402,X_INTRODUCED_482,X_INTRODUCED_492],0):: defines_var(X_INTRODUCED_223);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_232,X_INTRODUCED_425,X_INTRODUCED_495,X_INTRODUCED_505,X_INTRODUCED_515],0):: defines_var(X_INTRODUCED_232);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_233,X_INTRODUCED_426,X_INTRODUCED_496,X_INTRODUCED_506,X_INTRODUCED_516],0):: defines_var(X_INTRODUCED_233);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_234,X_INTRODUCED_427,X_INTRODUCED_497,X_INTRODUCED_507,X_INTRODUCED_517],0):: defines_var(X_INTRODUCED_234);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_235,X_INTRODUCED_428,X_INTRODUCED_498,X_INTRODUCED_508,X_INTRODUCED_518],0):: defines_var(X_INTRODUCED_235);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_236,X_INTRODUCED_429,X_INTRODUCED_499,X_INTRODUCED_509,X_INTRODUCED_519],0):: defines_var(X_INTRODUCED_236);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_237,X_INTRODUCED_430,X_INTRODUCED_500,X_INTRODUCED_510,X_INTRODUCED_520],0):: defines_var(X_INTRODUCED_237);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_238,X_INTRODUCED_431,X_INTRODUCED_501,X_INTRODUCED_511,X_INTRODUCED_521],0):: defines_var(X_INTRODUCED_238);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_239,X_INTRODUCED_432,X_INTRODUCED_502,X_INTRODUCED_512,X_INTRODUCED_522],0):: defines_var(X_INTRODUCED_239);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_240,X_INTRODUCED_425,X_INTRODUCED_495,X_INTRODUCED_505,X_INTRODUCED_515],0):: defines_var(X_INTRODUCED_240);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_241,X_INTRODUCED_426,X_INTRODUCED_496,X_INTRODUCED_506,X_INTRODUCED_516],0):: defines_var(X_INTRODUCED_241);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_242,X_INTRODUCED_427,X_INTRODUCED_497,X_INTRODUCED_507,X_INTRODUCED_517],0):: defines_var(X_INTRODUCED_242);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_243,X_INTRODUCED_428,X_INTRODUCED_498,X_INTRODUCED_508,X_INTRODUCED_518],0):: defines_var(X_INTRODUCED_243);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_244,X_INTRODUCED_429,X_INTRODUCED_499,X_INTRODUCED_509,X_INTRODUCED_519],0):: defines_var(X_INTRODUCED_244);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_245,X_INTRODUCED_430,X_INTRODUCED_500,X_INTRODUCED_510,X_INTRODUCED_520],0):: defines_var(X_INTRODUCED_245);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_246,X_INTRODUCED_431,X_INTRODUCED_501,X_INTRODUCED_511,X_INTRODUCED_521],0):: defines_var(X_INTRODUCED_246);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_247,X_INTRODUCED_432,X_INTRODUCED_502,X_INTRODUCED_512,X_INTRODUCED_522],0):: defines_var(X_INTRODUCED_247);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_248,X_INTRODUCED_335,X_INTRODUCED_355,X_INTRODUCED_425,X_INTRODUCED_435],0):: defines_var(X_INTRODUCED_248);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_249,X_INTRODUCED_336,X_INTRODUCED_356,X_INTRODUCED_426,X_INTRODUCED_436],0):: defines_var(X_INTRODUCED_249);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_250,X_INTRODUCED_337,X_INTRODUCED_357,X_INTRODUCED_427,X_INTRODUCED_437],0):: defines_var(X_INTRODUCED_250);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_251,X_INTRODUCED_338,X_INTRODUCED_358,X_INTRODUCED_428,X_INTRODUCED_438],0):: defines_var(X_INTRODUCED_251);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_252,X_INTRODUCED_339,X_INTRODUCED_359,X_INTRODUCED_429,X_INTRODUCED_439],0):: defines_var(X_INTRODUCED_252);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_253,X_INTRODUCED_340,X_INTRODUCED_360,X_INTRODUCED_430,X_INTRODUCED_440],0):: defines_var(X_INTRODUCED_253);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_254,X_INTRODUCED_341,X_INTRODUCED_361,X_INTRODUCED_431,X_INTRODUCED_441],0):: defines_var(X_INTRODUCED_254);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_255,X_INTRODUCED_342,X_INTRODUCED_362,X_INTRODUCED_432,X_INTRODUCED_442],0):: defines_var(X_INTRODUCED_255);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_256,X_INTRODUCED_335,X_INTRODUCED_435],0):: defines_var(X_INTRODUCED_256);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_257,X_INTRODUCED_336,X_INTRODUCED_436],0):: defines_var(X_INTRODUCED_257);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_258,X_INTRODUCED_337,X_INTRODUCED_437],0):: defines_var(X_INTRODUCED_258);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_259,X_INTRODUCED_338,X_INTRODUCED_438],0):: defines_var(X_INTRODUCED_259);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_260,X_INTRODUCED_339,X_INTRODUCED_439],0):: defines_var(X_INTRODUCED_260);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_261,X_INTRODUCED_340,X_INTRODUCED_440],0):: defines_var(X_INTRODUCED_261);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_262,X_INTRODUCED_341,X_INTRODUCED_441],0):: defines_var(X_INTRODUCED_262);
constraint int_lin_eq(X_INTRODUCED_782,[X_INTRODUCED_263,X_INTRODUCED_342,X_INTRODUCED_442],0):: defines_var(X_INTRODUCED_263);
constraint maximum_int(X_INTRODUCED_264,X_INTRODUCED_798);
constraint maximum_int(X_INTRODUCED_265,X_INTRODUCED_799);
constraint maximum_int(X_INTRODUCED_266,X_INTRODUCED_800);
constraint maximum_int(X_INTRODUCED_267,X_INTRODUCED_801);
constraint maximum_int(X_INTRODUCED_268,X_INTRODUCED_802);
constraint maximum_int(X_INTRODUCED_269,X_INTRODUCED_803);
constraint maximum_int(X_INTRODUCED_270,X_INTRODUCED_804);
constraint maximum_int(X_INTRODUCED_271,X_INTRODUCED_805);
constraint maximum_int(X_INTRODUCED_272,X_INTRODUCED_806);
constraint maximum_int(X_INTRODUCED_273,X_INTRODUCED_807);
constraint minimum_int(X_INTRODUCED_274,X_INTRODUCED_798);
constraint minimum_int(X_INTRODUCED_275,X_INTRODUCED_799);
constraint minimum_int(X_INTRODUCED_276,X_INTRODUCED_800);
constraint minimum_int(X_INTRODUCED_277,X_INTRODUCED_801);
constraint minimum_int(X_INTRODUCED_278,X_INTRODUCED_802);
constraint minimum_int(X_INTRODUCED_279,X_INTRODUCED_803);
constraint minimum_int(X_INTRODUCED_280,X_INTRODUCED_804);
constraint minimum_int(X_INTRODUCED_281,X_INTRODUCED_805);
constraint minimum_int(X_INTRODUCED_282,X_INTRODUCED_806);
constraint minimum_int(X_INTRODUCED_283,X_INTRODUCED_807);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_284,X_INTRODUCED_184,X_INTRODUCED_186,X_INTRODUCED_188,X_INTRODUCED_190],0):: defines_var(X_INTRODUCED_284);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_285,X_INTRODUCED_193,X_INTRODUCED_195,X_INTRODUCED_197,X_INTRODUCED_199],0):: defines_var(X_INTRODUCED_285);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_286,X_INTRODUCED_200,X_INTRODUCED_202,X_INTRODUCED_204,X_INTRODUCED_206],0):: defines_var(X_INTRODUCED_286);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_287,X_INTRODUCED_209,X_INTRODUCED_211,X_INTRODUCED_213,X_INTRODUCED_215],0):: defines_var(X_INTRODUCED_287);
constraint int_lin_eq(X_INTRODUCED_741,[X_INTRODUCED_288,X_INTRODUCED_217,X_INTRODUCED_219,X_INTRODUCED_221,X_INTRODUCED_223],0):: defines_var(X_INTRODUCED_288);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_289,X_INTRODUCED_438,X_INTRODUCED_440],0):: defines_var(X_INTRODUCED_289);
constraint int_lin_eq(X_INTRODUCED_815,[X_INTRODUCED_290,X_INTRODUCED_232,X_INTRODUCED_233,X_INTRODUCED_234,X_INTRODUCED_235,X_INTRODUCED_236,X_INTRODUCED_237,X_INTRODUCED_238,X_INTRODUCED_239],0):: defines_var(X_INTRODUCED_290);
constraint int_lin_eq(X_INTRODUCED_815,[X_INTRODUCED_291,X_INTRODUCED_240,X_INTRODUCED_241,X_INTRODUCED_242,X_INTRODUCED_243,X_INTRODUCED_244,X_INTRODUCED_245,X_INTRODUCED_246,X_INTRODUCED_247],0):: defines_var(X_INTRODUCED_291);
constraint int_lin_eq(X_INTRODUCED_815,[X_INTRODUCED_292,X_INTRODUCED_248,X_INTRODUCED_249,X_INTRODUCED_250,X_INTRODUCED_251,X_INTRODUCED_252,X_INTRODUCED_253,X_INTRODUCED_254,X_INTRODUCED_255],0):: defines_var(X_INTRODUCED_292);
constraint int_lin_eq(X_INTRODUCED_815,[X_INTRODUCED_293,X_INTRODUCED_256,X_INTRODUCED_257,X_INTRODUCED_258,X_INTRODUCED_259,X_INTRODUCED_260,X_INTRODUCED_261,X_INTRODUCED_262,X_INTRODUCED_263],0):: defines_var(X_INTRODUCED_293);
constraint int_max(0,X_INTRODUCED_823,X_INTRODUCED_824);
constraint int_max(0,X_INTRODUCED_828,X_INTRODUCED_829);
constraint int_max(0,X_INTRODUCED_833,X_INTRODUCED_834);
constraint int_max(0,X_INTRODUCED_838,X_INTRODUCED_839);
constraint int_max(0,X_INTRODUCED_843,X_INTRODUCED_844);
constraint int_max(0,X_INTRODUCED_848,X_INTRODUCED_849);
constraint int_max(0,X_INTRODUCED_853,X_INTRODUCED_854);
constraint int_max(0,X_INTRODUCED_858,X_INTRODUCED_859);
constraint int_div(X_INTRODUCED_861,3,X_INTRODUCED_863):: defines_var(X_INTRODUCED_863);
constraint int_div(X_INTRODUCED_864,3,X_INTRODUCED_866):: defines_var(X_INTRODUCED_866);
constraint int_div(X_INTRODUCED_867,3,X_INTRODUCED_869):: defines_var(X_INTRODUCED_869);
constraint int_div(X_INTRODUCED_870,3,X_INTRODUCED_872):: defines_var(X_INTRODUCED_872);
constraint int_div(X_INTRODUCED_873,3,X_INTRODUCED_875):: defines_var(X_INTRODUCED_875);
constraint int_div(X_INTRODUCED_876,3,X_INTRODUCED_878):: defines_var(X_INTRODUCED_878);
constraint int_div(X_INTRODUCED_879,3,X_INTRODUCED_881):: defines_var(X_INTRODUCED_881);
constraint int_div(X_INTRODUCED_882,3,X_INTRODUCED_884):: defines_var(X_INTRODUCED_884);
constraint int_lin_eq(X_INTRODUCED_909,X_INTRODUCED_908,0):: defines_var(objective);
constraint int_le(0,0);
constraint int_le(0,0);
constraint int_le(0,0);
constraint int_le(0,0);
constraint int_le(0,X_INTRODUCED_264);
constraint int_le(0,X_INTRODUCED_265);
constraint int_le(0,X_INTRODUCED_266);
constraint int_le(0,X_INTRODUCED_267);
constraint int_le(0,X_INTRODUCED_268);
constraint int_le(0,X_INTRODUCED_269);
constraint int_le(0,X_INTRODUCED_270);
constraint int_le(0,X_INTRODUCED_271);
constraint int_le(0,X_INTRODUCED_272);
constraint int_le(0,X_INTRODUCED_273);
constraint int_le(0,X_INTRODUCED_274);
constraint int_le(0,X_INTRODUCED_275);
constraint int_le(0,X_INTRODUCED_276);
constraint int_le(0,X_INTRODUCED_277);
constraint int_le(0,X_INTRODUCED_278);
constraint int_le(0,X_INTRODUCED_279);
constraint int_le(0,X_INTRODUCED_280);
constraint int_le(0,X_INTRODUCED_281);
constraint int_le(0,X_INTRODUCED_282);
constraint int_le(0,X_INTRODUCED_283);
constraint int_le(0,X_INTRODUCED_289);
constraint int_le(0,objective);
constraint bool2int(X_INTRODUCED_2,X_INTRODUCED_306):: defines_var(X_INTRODUCED_306);
constraint bool2int(X_INTRODUCED_3,X_INTRODUCED_307):: defines_var(X_INTRODUCED_307);
constraint bool2int(X_INTRODUCED_6,X_INTRODUCED_310):: defines_var(X_INTRODUCED_310);
constraint bool2int(X_INTRODUCED_7,X_INTRODUCED_311):: defines_var(X_INTRODUCED_311);
constraint bool2int(X_INTRODUCED_8,X_INTRODUCED_315):: defines_var(X_INTRODUCED_315);
constraint bool2int(X_INTRODUCED_9,X_INTRODUCED_316):: defines_var(X_INTRODUCED_316);
constraint bool2int(X_INTRODUCED_10,X_INTRODUCED_317):: defines_var(X_INTRODUCED_317);
constraint bool2int(X_INTRODUCED_11,X_INTRODUCED_318):: defines_var(X_INTRODUCED_318);
constraint bool2int(X_INTRODUCED_12,X_INTRODUCED_319):: defines_var(X_INTRODUCED_319);
constraint bool2int(X_INTRODUCED_13,X_INTRODUCED_320):: defines_var(X_INTRODUCED_320);
constraint bool2int(X_INTRODUCED_20,X_INTRODUCED_329):: defines_var(X_INTRODUCED_329);
constraint bool2int(X_INTRODUCED_21,X_INTRODUCED_330):: defines_var(X_INTRODUCED_330);
constraint bool2int(X_INTRODUCED_22,X_INTRODUCED_331):: defines_var(X_INTRODUCED_331);
constraint bool2int(X_INTRODUCED_23,X_INTRODUCED_332):: defines_var(X_INTRODUCED_332);
constraint bool2int(X_INTRODUCED_24,X_INTRODUCED_335):: defines_var(X_INTRODUCED_335);
constraint bool2int(X_INTRODUCED_25,X_INTRODUCED_336):: defines_var(X_INTRODUCED_336);
constraint bool2int(X_INTRODUCED_26,X_INTRODUCED_337):: defines_var(X_INTRODUCED_337);
constraint bool2int(X_INTRODUCED_27,X_INTRODUCED_338):: defines_var(X_INTRODUCED_338);
constraint bool2int(X_INTRODUCED_28,X_INTRODUCED_339):: defines_var(X_INTRODUCED_339);
constraint bool2int(X_INTRODUCED_29,X_INTRODUCED_340):: defines_var(X_INTRODUCED_340);
constraint bool2int(X_INTRODUCED_32,X_INTRODUCED_345):: defines_var(X_INTRODUCED_345);
constraint bool2int(X_INTRODUCED_33,X_INTRODUCED_346):: defines_var(X_INTRODUCED_346);
constraint bool2int(X_INTRODUCED_34,X_INTRODUCED_347):: defines_var(X_INTRODUCED_347);
constraint bool2int(X_INTRODUCED_35,X_INTRODUCED_348):: defines_var(X_INTRODUCED_348);
constraint bool2int(X_INTRODUCED_40,X_INTRODUCED_355):: defines_var(X_INTRODUCED_355);
constraint bool2int(X_INTRODUCED_41,X_INTRODUCED_356):: defines_var(X_INTRODUCED_356);
constraint bool2int(X_INTRODUCED_46,X_INTRODUCED_361):: defines_var(X_INTRODUCED_361);
constraint bool2int(X_INTRODUCED_47,X_INTRODUCED_362):: defines_var(X_INTRODUCED_362);
constraint bool2int(X_INTRODUCED_50,X_INTRODUCED_367):: defines_var(X_INTRODUCED_367);
constraint bool2int(X_INTRODUCED_51,X_INTRODUCED_368):: defines_var(X_INTRODUCED_368);
constraint bool2int(X_INTRODUCED_52,X_INTRODUCED_369):: defines_var(X_INTRODUCED_369);
constraint bool2int(X_INTRODUCED_53,X_INTRODUCED_370):: defines_var(X_INTRODUCED_370);
constraint bool2int(X_INTRODUCED_58,X_INTRODUCED_377):: defines_var(X_INTRODUCED_377);
constraint bool2int(X_INTRODUCED_59,X_INTRODUCED_378):: defines_var(X_INTRODUCED_378);
constraint bool2int(X_INTRODUCED_60,X_INTRODUCED_379):: defines_var(X_INTRODUCED_379);
constraint bool2int(X_INTRODUCED_61,X_INTRODUCED_380):: defines_var(X_INTRODUCED_380);
constraint bool2int(X_INTRODUCED_62,X_INTRODUCED_381):: defines_var(X_INTRODUCED_381);
constraint bool2int(X_INTRODUCED_63,X_INTRODUCED_382):: defines_var(X_INTRODUCED_382);
constraint bool2int(X_INTRODUCED_66,X_INTRODUCED_387):: defines_var(X_INTRODUCED_387);
constraint bool2int(X_INTRODUCED_67,X_INTRODUCED_388):: defines_var(X_INTRODUCED_388);
constraint bool2int(X_INTRODUCED_76,X_INTRODUCED_399):: defines_var(X_INTRODUCED_399);
constraint bool2int(X_INTRODUCED_77,X_INTRODUCED_400):: defines_var(X_INTRODUCED_400);
constraint bool2int(X_INTRODUCED_78,X_INTRODUCED_401):: defines_var(X_INTRODUCED_401);
constraint bool2int(X_INTRODUCED_79,X_INTRODUCED_402):: defines_var(X_INTRODUCED_402);
constraint bool2int(X_INTRODUCED_82,X_INTRODUCED_407):: defines_var(X_INTRODUCED_407);
constraint bool2int(X_INTRODUCED_83,X_INTRODUCED_408):: defines_var(X_INTRODUCED_408);
constraint bool2int(X_INTRODUCED_88,X_INTRODUCED_415):: defines_var(X_INTRODUCED_415);
constraint bool2int(X_INTRODUCED_89,X_INTRODUCED_416):: defines_var(X_INTRODUCED_416);
constraint bool2int(X_INTRODUCED_92,X_INTRODUCED_419):: defines_var(X_INTRODUCED_419);
constraint bool2int(X_INTRODUCED_93,X_INTRODUCED_420):: defines_var(X_INTRODUCED_420);
constraint bool2int(X_INTRODUCED_102,X_INTRODUCED_431):: defines_var(X_INTRODUCED_431);
constraint bool2int(X_INTRODUCED_103,X_INTRODUCED_432):: defines_var(X_INTRODUCED_432);
constraint bool2int(X_INTRODUCED_106,X_INTRODUCED_437):: defines_var(X_INTRODUCED_437);
constraint bool2int(X_INTRODUCED_107,X_INTRODUCED_438):: defines_var(X_INTRODUCED_438);
constraint bool2int(X_INTRODUCED_108,X_INTRODUCED_439):: defines_var(X_INTRODUCED_439);
constraint bool2int(X_INTRODUCED_109,X_INTRODUCED_440):: defines_var(X_INTRODUCED_440);
constraint bool2int(X_INTRODUCED_116,X_INTRODUCED_449):: defines_var(X_INTRODUCED_449);
constraint bool2int(X_INTRODUCED_117,X_INTRODUCED_450):: defines_var(X_INTRODUCED_450);
constraint bool2int(X_INTRODUCED_118,X_INTRODUCED_451):: defines_var(X_INTRODUCED_451);
constraint bool2int(X_INTRODUCED_119,X_INTRODUCED_452):: defines_var(X_INTRODUCED_452);
constraint bool2int(X_INTRODUCED_122,X_INTRODUCED_457):: defines_var(X_INTRODUCED_457);
constraint bool2int(X_INTRODUCED_123,X_INTRODUCED_458):: defines_var(X_INTRODUCED_458);
constraint bool2int(X_INTRODUCED_126,X_INTRODUCED_461):: defines_var(X_INTRODUCED_461);
constraint bool2int(X_INTRODUCED_127,X_INTRODUCED_462):: defines_var(X_INTRODUCED_462);
constraint bool2int(X_INTRODUCED_128,X_INTRODUCED_465):: defines_var(X_INTRODUCED_465);
constraint bool2int(X_INTRODUCED_129,X_INTRODUCED_466):: defines_var(X_INTRODUCED_466);
constraint bool2int(X_INTRODUCED_130,X_INTRODUCED_467):: defines_var(X_INTRODUCED_467);
constraint bool2int(X_INTRODUCED_131,X_INTRODUCED_468):: defines_var(X_INTRODUCED_468);
constraint bool2int(X_INTRODUCED_132,X_INTRODUCED_469):: defines_var(X_INTRODUCED_469);
constraint bool2int(X_INTRODUCED_133,X_INTRODUCED_470):: defines_var(X_INTRODUCED_470);
constraint bool2int(X_INTRODUCED_138,X_INTRODUCED_477):: defines_var(X_INTRODUCED_477);
constraint bool2int(X_INTRODUCED_139,X_INTRODUCED_478):: defines_var(X_INTRODUCED_478);
constraint bool2int(X_INTRODUCED_142,X_INTRODUCED_481):: defines_var(X_INTRODUCED_481);
constraint bool2int(X_INTRODUCED_143,X_INTRODUCED_482):: defines_var(X_INTRODUCED_482);
constraint bool2int(X_INTRODUCED_148,X_INTRODUCED_489):: defines_var(X_INTRODUCED_489);
constraint bool2int(X_INTRODUCED_149,X_INTRODUCED_490):: defines_var(X_INTRODUCED_490);
constraint bool2int(X_INTRODUCED_152,X_INTRODUCED_495):: defines_var(X_INTRODUCED_495);
constraint bool2int(X_INTRODUCED_153,X_INTRODUCED_496):: defines_var(X_INTRODUCED_496);
constraint bool2int(X_INTRODUCED_156,X_INTRODUCED_499):: defines_var(X_INTRODUCED_499);
constraint bool2int(X_INTRODUCED_157,X_INTRODUCED_500):: defines_var(X_INTRODUCED_500);
constraint bool2int(X_INTRODUCED_162,X_INTRODUCED_507):: defines_var(X_INTRODUCED_507);
constraint bool2int(X_INTRODUCED_163,X_INTRODUCED_508):: defines_var(X_INTRODUCED_508);
constraint bool2int(X_INTRODUCED_166,X_INTRODUCED_511):: defines_var(X_INTRODUCED_511);
constraint bool2int(X_INTRODUCED_167,X_INTRODUCED_512):: defines_var(X_INTRODUCED_512);
constraint bool2int(X_INTRODUCED_172,X_INTRODUCED_519):: defines_var(X_INTRODUCED_519);
constraint bool2int(X_INTRODUCED_173,X_INTRODUCED_520):: defines_var(X_INTRODUCED_520);
constraint bool2int(X_INTRODUCED_178,X_INTRODUCED_527):: defines_var(X_INTRODUCED_527);
constraint bool2int(X_INTRODUCED_179,X_INTRODUCED_528):: defines_var(X_INTRODUCED_528);
constraint bool2int(X_INTRODUCED_182,X_INTRODUCED_531):: defines_var(X_INTRODUCED_531);
constraint bool2int(X_INTRODUCED_183,X_INTRODUCED_532):: defines_var(X_INTRODUCED_532);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_315,X_INTRODUCED_335,X_INTRODUCED_345,X_INTRODUCED_355,X_INTRODUCED_415,X_INTRODUCED_465,X_INTRODUCED_495,X_INTRODUCED_823],-3):: defines_var(X_INTRODUCED_823);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_316,X_INTRODUCED_336,X_INTRODUCED_346,X_INTRODUCED_356,X_INTRODUCED_416,X_INTRODUCED_466,X_INTRODUCED_496,X_INTRODUCED_828],-3):: defines_var(X_INTRODUCED_828);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_306,X_INTRODUCED_317,X_INTRODUCED_337,X_INTRODUCED_347,X_INTRODUCED_367,X_INTRODUCED_377,X_INTRODUCED_387,X_INTRODUCED_407,X_INTRODUCED_437,X_INTRODUCED_457,X_INTRODUCED_467,X_INTRODUCED_477,X_INTRODUCED_507,X_INTRODUCED_527,X_INTRODUCED_833],-3):: defines_var(X_INTRODUCED_833);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_307,X_INTRODUCED_318,X_INTRODUCED_338,X_INTRODUCED_348,X_INTRODUCED_368,X_INTRODUCED_378,X_INTRODUCED_388,X_INTRODUCED_408,X_INTRODUCED_438,X_INTRODUCED_458,X_INTRODUCED_468,X_INTRODUCED_478,X_INTRODUCED_508,X_INTRODUCED_528,X_INTRODUCED_838],-3):: defines_var(X_INTRODUCED_838);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_319,X_INTRODUCED_329,X_INTRODUCED_339,X_INTRODUCED_369,X_INTRODUCED_379,X_INTRODUCED_399,X_INTRODUCED_419,X_INTRODUCED_439,X_INTRODUCED_449,X_INTRODUCED_469,X_INTRODUCED_489,X_INTRODUCED_499,X_INTRODUCED_519,X_INTRODUCED_843],-3):: defines_var(X_INTRODUCED_843);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_320,X_INTRODUCED_330,X_INTRODUCED_340,X_INTRODUCED_370,X_INTRODUCED_380,X_INTRODUCED_400,X_INTRODUCED_420,X_INTRODUCED_440,X_INTRODUCED_450,X_INTRODUCED_470,X_INTRODUCED_490,X_INTRODUCED_500,X_INTRODUCED_520,X_INTRODUCED_848],-3):: defines_var(X_INTRODUCED_848);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_310,X_INTRODUCED_331,X_INTRODUCED_361,X_INTRODUCED_381,X_INTRODUCED_401,X_INTRODUCED_431,X_INTRODUCED_451,X_INTRODUCED_461,X_INTRODUCED_481,X_INTRODUCED_511,X_INTRODUCED_531,X_INTRODUCED_853],-3):: defines_var(X_INTRODUCED_853);
constraint int_lin_eq([-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[X_INTRODUCED_311,X_INTRODUCED_332,X_INTRODUCED_362,X_INTRODUCED_382,X_INTRODUCED_402,X_INTRODUCED_432,X_INTRODUCED_452,X_INTRODUCED_462,X_INTRODUCED_482,X_INTRODUCED_512,X_INTRODUCED_532,X_INTRODUCED_858],-3):: defines_var(X_INTRODUCED_858);
constraint int_lin_eq([100,-1],[X_INTRODUCED_824,X_INTRODUCED_861],0):: defines_var(X_INTRODUCED_861);
constraint int_lin_eq([100,-1],[X_INTRODUCED_829,X_INTRODUCED_864],0):: defines_var(X_INTRODUCED_864);
constraint int_lin_eq([100,-1],[X_INTRODUCED_834,X_INTRODUCED_867],0):: defines_var(X_INTRODUCED_867);
constraint int_lin_eq([100,-1],[X_INTRODUCED_839,X_INTRODUCED_870],0):: defines_var(X_INTRODUCED_870);
constraint int_lin_eq([100,-1],[X_INTRODUCED_844,X_INTRODUCED_873],0):: defines_var(X_INTRODUCED_873);
constraint int_lin_eq([100,-1],[X_INTRODUCED_849,X_INTRODUCED_876],0):: defines_var(X_INTRODUCED_876);
constraint int_lin_eq([100,-1],[X_INTRODUCED_854,X_INTRODUCED_879],0):: defines_var(X_INTRODUCED_879);
constraint int_lin_eq([100,-1],[X_INTRODUCED_859,X_INTRODUCED_882],0):: defines_var(X_INTRODUCED_882);
solve maximize objective;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment