array [1..2] of int: X_INTRODUCED_120_ = [1,-1];
array [1..10] of int: X_INTRODUCED_122_ = [0,0,0,0,1,0,0,1,0,0];
array [1..3] of int: X_INTRODUCED_125_ = [1,-1,-1];
array [1..10] of int: X_INTRODUCED_126_ = [0,0,1,0,0,1,0,0,0,1];
array [1..10] of int: X_INTRODUCED_129_ = [1,0,0,1,0,0,0,0,0,1];
array [1..10] of int: X_INTRODUCED_132_ = [1,0,1,0,1,0,1,1,0,0];
array [1..10] of int: X_INTRODUCED_135_ = [0,0,0,0,0,0,0,1,1,0];
array [1..10] of int: X_INTRODUCED_138_ = [0,0,0,0,1,0,1,0,1,0];
array [1..10] of int: X_INTRODUCED_141_ = [0,0,0,0,0,0,1,0,0,0];
array [1..10] of int: X_INTRODUCED_144_ = [0,1,0,0,0,0,0,1,0,0];
array [1..10] of int: X_INTRODUCED_147_ = [0,0,0,1,0,0,1,0,0,0];
array [1..10] of int: X_INTRODUCED_150_ = [0,1,0,0,0,0,0,0,1,0];
array [1..11] of int: X_INTRODUCED_707_ = [1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1];
var 1..10: X_INTRODUCED_0_;
var 1..10: X_INTRODUCED_1_;
var 1..10: X_INTRODUCED_2_;
var 1..10: X_INTRODUCED_3_;
var 1..10: X_INTRODUCED_4_;
var 1..10: X_INTRODUCED_5_;
var 1..10: X_INTRODUCED_6_;
var 1..10: X_INTRODUCED_7_;
var 1..10: X_INTRODUCED_8_;
var 1..10: X_INTRODUCED_9_;
var 0..2: X_INTRODUCED_12_:: is_defined_var;
var 0..3: X_INTRODUCED_13_:: is_defined_var;
var 0..4: X_INTRODUCED_14_:: is_defined_var;
var 0..5: X_INTRODUCED_15_:: is_defined_var;
var 0..5: X_INTRODUCED_16_:: is_defined_var;
var 0..5: X_INTRODUCED_17_:: is_defined_var;
var 0..5: X_INTRODUCED_18_:: is_defined_var;
var 0..5: X_INTRODUCED_19_:: is_defined_var;
var 0..5: X_INTRODUCED_20_:: is_defined_var;
var 0..2: X_INTRODUCED_23_:: is_defined_var;
var 0..3: X_INTRODUCED_24_:: is_defined_var;
var 0..4: X_INTRODUCED_25_:: is_defined_var;
var 0..5: X_INTRODUCED_26_:: is_defined_var;
var 0..5: X_INTRODUCED_27_:: is_defined_var;
var 0..5: X_INTRODUCED_28_:: is_defined_var;
var 0..5: X_INTRODUCED_29_:: is_defined_var;
var 0..5: X_INTRODUCED_30_:: is_defined_var;
var 0..5: X_INTRODUCED_31_:: is_defined_var;
var 0..2: X_INTRODUCED_34_:: is_defined_var;
var 0..3: X_INTRODUCED_35_:: is_defined_var;
var 0..4: X_INTRODUCED_36_:: is_defined_var;
var 0..5: X_INTRODUCED_37_:: is_defined_var;
var 0..5: X_INTRODUCED_38_:: is_defined_var;
var 0..5: X_INTRODUCED_39_:: is_defined_var;
var 0..5: X_INTRODUCED_40_:: is_defined_var;
var 0..5: X_INTRODUCED_41_:: is_defined_var;
var 0..5: X_INTRODUCED_42_:: is_defined_var;
var 0..2: X_INTRODUCED_45_:: is_defined_var;
var 0..3: X_INTRODUCED_46_:: is_defined_var;
var 0..4: X_INTRODUCED_47_:: is_defined_var;
var 0..5: X_INTRODUCED_48_:: is_defined_var;
var 0..5: X_INTRODUCED_49_:: is_defined_var;
var 0..5: X_INTRODUCED_50_:: is_defined_var;
var 0..5: X_INTRODUCED_51_:: is_defined_var;
var 0..5: X_INTRODUCED_52_:: is_defined_var;
var 0..5: X_INTRODUCED_53_:: is_defined_var;
var 0..2: X_INTRODUCED_56_:: is_defined_var;
var 0..3: X_INTRODUCED_57_:: is_defined_var;
var 0..4: X_INTRODUCED_58_:: is_defined_var;
var 0..5: X_INTRODUCED_59_:: is_defined_var;
var 0..5: X_INTRODUCED_60_:: is_defined_var;
var 0..5: X_INTRODUCED_61_:: is_defined_var;
var 0..5: X_INTRODUCED_62_:: is_defined_var;
var 0..5: X_INTRODUCED_63_:: is_defined_var;
var 0..5: X_INTRODUCED_64_:: is_defined_var;
var 0..2: X_INTRODUCED_67_:: is_defined_var;
var 0..3: X_INTRODUCED_68_:: is_defined_var;
var 0..4: X_INTRODUCED_69_:: is_defined_var;
var 0..5: X_INTRODUCED_70_:: is_defined_var;
var 0..5: X_INTRODUCED_71_:: is_defined_var;
var 0..5: X_INTRODUCED_72_:: is_defined_var;
var 0..5: X_INTRODUCED_73_:: is_defined_var;
var 0..5: X_INTRODUCED_74_:: is_defined_var;
var 0..5: X_INTRODUCED_75_:: is_defined_var;
var 0..2: X_INTRODUCED_78_:: is_defined_var;
var 0..3: X_INTRODUCED_79_:: is_defined_var;
var 0..4: X_INTRODUCED_80_:: is_defined_var;
var 0..5: X_INTRODUCED_81_:: is_defined_var;
var 0..5: X_INTRODUCED_82_:: is_defined_var;
var 0..5: X_INTRODUCED_83_:: is_defined_var;
var 0..5: X_INTRODUCED_84_:: is_defined_var;
var 0..5: X_INTRODUCED_85_:: is_defined_var;
var 0..5: X_INTRODUCED_86_:: is_defined_var;
var 0..2: X_INTRODUCED_89_:: is_defined_var;
var 0..3: X_INTRODUCED_90_:: is_defined_var;
var 0..4: X_INTRODUCED_91_:: is_defined_var;
var 0..5: X_INTRODUCED_92_:: is_defined_var;
var 0..5: X_INTRODUCED_93_:: is_defined_var;
var 0..5: X_INTRODUCED_94_:: is_defined_var;
var 0..5: X_INTRODUCED_95_:: is_defined_var;
var 0..5: X_INTRODUCED_96_:: is_defined_var;
var 0..5: X_INTRODUCED_97_:: is_defined_var;
var 0..2: X_INTRODUCED_100_:: is_defined_var;
var 0..3: X_INTRODUCED_101_:: is_defined_var;
var 0..4: X_INTRODUCED_102_:: is_defined_var;
var 0..5: X_INTRODUCED_103_:: is_defined_var;
var 0..5: X_INTRODUCED_104_:: is_defined_var;
var 0..5: X_INTRODUCED_105_:: is_defined_var;
var 0..5: X_INTRODUCED_106_:: is_defined_var;
var 0..5: X_INTRODUCED_107_:: is_defined_var;
var 0..5: X_INTRODUCED_108_:: is_defined_var;
var 0..2: X_INTRODUCED_111_:: is_defined_var;
var 0..3: X_INTRODUCED_112_:: is_defined_var;
var 0..4: X_INTRODUCED_113_:: is_defined_var;
var 0..5: X_INTRODUCED_114_:: is_defined_var;
var 0..5: X_INTRODUCED_115_:: is_defined_var;
var 0..5: X_INTRODUCED_116_:: is_defined_var;
var 0..5: X_INTRODUCED_117_:: is_defined_var;
var 0..5: X_INTRODUCED_118_:: is_defined_var;
var 0..5: X_INTRODUCED_119_:: is_defined_var;
var 0..10: objective:: output_var;
var 0..1: X_INTRODUCED_123_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_127_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_130_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_133_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_136_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_139_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_142_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_145_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_148_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_151_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_153_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_155_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_157_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_159_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_161_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_163_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_165_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_167_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_169_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_171_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_173_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_175_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_177_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_179_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_181_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_183_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_185_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_187_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_189_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_191_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_193_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_195_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_197_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_199_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_201_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_203_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_205_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_207_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_209_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_211_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_213_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_215_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_217_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_219_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_223_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_225_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_229_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_233_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_235_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_237_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_239_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_241_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_243_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_245_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_247_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_251_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_253_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_255_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_257_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_259_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_261_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_263_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_265_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_267_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_269_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_271_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_273_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_275_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_277_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_279_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_281_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_285_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_287_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_289_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_291_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_293_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_295_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_297_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_299_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_301_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_303_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_305_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_307_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_309_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_311_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_313_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_315_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_317_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_319_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_321_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_323_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_325_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_327_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_329_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_331_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_333_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_334_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_335_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_336_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_337_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_338_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_339_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_340_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_341_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_342_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_343_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_344_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_345_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_346_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_347_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_348_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_349_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_350_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_351_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_352_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_354_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_355_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_356_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_357_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_358_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_359_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_360_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_361_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_362_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_363_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_364_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_365_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_366_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_367_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_368_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_369_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_370_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_371_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_372_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_373_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_374_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_375_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_376_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_377_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_378_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_379_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_380_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_381_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_382_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_383_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_384_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_385_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_386_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_387_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_388_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_389_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_390_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_391_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_392_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_393_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_394_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_395_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_396_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_397_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_398_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_399_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_400_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_401_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_402_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_403_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_404_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_405_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_406_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_407_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_408_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_409_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_410_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_411_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_412_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_413_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_414_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_415_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_416_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_417_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_418_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_419_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_420_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_421_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_422_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_423_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_424_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_425_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_426_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_427_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_428_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_429_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_430_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_431_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_432_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_433_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_434_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_435_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_436_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_437_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_438_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_439_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_440_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_441_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_442_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_443_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_444_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_445_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_446_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_447_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_448_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_449_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_450_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_451_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_452_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_453_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_454_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_455_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_456_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_457_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_458_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_459_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_460_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_461_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_462_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_463_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_464_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_465_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_466_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_467_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_468_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_469_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_470_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_471_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_472_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_473_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_474_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_475_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_476_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_477_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_478_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_479_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_480_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_481_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_482_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_483_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_484_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_485_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_486_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_487_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_488_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_489_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_490_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_491_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_492_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_493_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_494_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_495_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_496_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_497_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_498_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_499_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_500_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_501_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_502_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_503_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_504_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_505_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_506_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_507_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_508_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_509_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_510_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_511_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_512_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_513_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_514_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_515_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_516_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_517_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_518_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_519_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_520_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_521_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_522_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_523_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_524_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_525_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_526_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_527_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_528_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_529_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_530_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_531_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_532_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_533_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_534_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_535_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_536_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_537_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_538_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_539_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_540_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_541_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_542_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_543_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_544_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_545_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_546_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_547_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_548_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_549_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_550_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_551_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_552_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_553_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_554_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_555_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_556_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_557_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_558_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_559_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_560_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_561_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_562_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_563_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_564_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_565_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_566_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_567_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_568_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_569_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_570_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_571_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_572_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_573_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_574_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_575_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_576_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_577_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_578_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_579_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_580_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_581_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_582_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_583_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_584_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_585_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_586_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_587_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_588_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_589_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_590_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_591_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_592_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_593_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_594_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_595_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_596_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_597_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_598_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_599_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_600_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_601_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_602_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_603_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_604_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_605_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_606_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_607_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_608_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_609_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_610_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_611_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_612_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_613_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_614_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_615_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_616_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_617_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_618_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_619_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_620_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_621_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_622_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_623_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_624_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_625_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_626_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_627_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_628_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_629_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_630_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_631_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_632_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_633_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_634_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_635_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_636_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_637_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_638_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_639_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_640_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_641_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_642_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_643_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_644_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_645_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_646_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_647_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_648_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_649_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_650_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_651_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_652_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_653_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_654_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_655_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_656_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_657_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_658_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_659_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_660_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_661_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_662_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_663_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_664_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_665_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_666_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_667_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_668_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_669_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_670_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_671_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_672_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_673_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_674_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_675_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_676_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_677_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_678_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_679_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_680_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_681_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_682_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_683_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_684_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_685_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_686_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_687_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_688_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_689_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_690_ ::var_is_introduced :: is_defined_var;
var 0..1: X_INTRODUCED_691_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_692_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_696_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_708_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_709_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_710_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_711_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_712_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_713_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_714_ ::var_is_introduced :: is_defined_var;
var 0..10: X_INTRODUCED_715_ ::var_is_introduced :: is_defined_var;
array [1..10] of var int: s:: output_array([1..10]) = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_];
array [1..110] of var int: o:: output_array([1..10,0..10]) = [0,X_INTRODUCED_123_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,0,X_INTRODUCED_127_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,0,X_INTRODUCED_130_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,0,X_INTRODUCED_133_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,0,X_INTRODUCED_136_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,0,X_INTRODUCED_139_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,X_INTRODUCED_70_,X_INTRODUCED_71_,X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,0,X_INTRODUCED_142_,X_INTRODUCED_78_,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,X_INTRODUCED_85_,X_INTRODUCED_86_,0,X_INTRODUCED_145_,X_INTRODUCED_89_,X_INTRODUCED_90_,X_INTRODUCED_91_,X_INTRODUCED_92_,X_INTRODUCED_93_,X_INTRODUCED_94_,X_INTRODUCED_95_,X_INTRODUCED_96_,X_INTRODUCED_97_,0,X_INTRODUCED_148_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,X_INTRODUCED_104_,X_INTRODUCED_105_,X_INTRODUCED_106_,X_INTRODUCED_107_,X_INTRODUCED_108_,0,X_INTRODUCED_151_,X_INTRODUCED_111_,X_INTRODUCED_112_,X_INTRODUCED_113_,X_INTRODUCED_114_,X_INTRODUCED_115_,X_INTRODUCED_116_,X_INTRODUCED_117_,X_INTRODUCED_118_,X_INTRODUCED_119_];
array [1..11] of var int: X_INTRODUCED_706_ ::var_is_introduced  = [X_INTRODUCED_696_,X_INTRODUCED_334_,X_INTRODUCED_336_,X_INTRODUCED_338_,X_INTRODUCED_340_,X_INTRODUCED_342_,X_INTRODUCED_344_,X_INTRODUCED_346_,X_INTRODUCED_348_,X_INTRODUCED_350_,X_INTRODUCED_352_];
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_0_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_120_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_122_,X_INTRODUCED_123_):: defines_var(X_INTRODUCED_123_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_126_,X_INTRODUCED_127_):: defines_var(X_INTRODUCED_127_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_129_,X_INTRODUCED_130_):: defines_var(X_INTRODUCED_130_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_132_,X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_135_,X_INTRODUCED_136_):: defines_var(X_INTRODUCED_136_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_138_,X_INTRODUCED_139_):: defines_var(X_INTRODUCED_139_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_141_,X_INTRODUCED_142_):: defines_var(X_INTRODUCED_142_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_144_,X_INTRODUCED_145_):: defines_var(X_INTRODUCED_145_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_147_,X_INTRODUCED_148_):: defines_var(X_INTRODUCED_148_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_150_,X_INTRODUCED_151_):: defines_var(X_INTRODUCED_151_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_122_,X_INTRODUCED_153_):: defines_var(X_INTRODUCED_153_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_12_,X_INTRODUCED_123_,X_INTRODUCED_153_],0):: defines_var(X_INTRODUCED_12_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_126_,X_INTRODUCED_155_):: defines_var(X_INTRODUCED_155_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_23_,X_INTRODUCED_127_,X_INTRODUCED_155_],0):: defines_var(X_INTRODUCED_23_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_129_,X_INTRODUCED_157_):: defines_var(X_INTRODUCED_157_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_34_,X_INTRODUCED_130_,X_INTRODUCED_157_],0):: defines_var(X_INTRODUCED_34_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_132_,X_INTRODUCED_159_):: defines_var(X_INTRODUCED_159_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_45_,X_INTRODUCED_133_,X_INTRODUCED_159_],0):: defines_var(X_INTRODUCED_45_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_135_,X_INTRODUCED_161_):: defines_var(X_INTRODUCED_161_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_56_,X_INTRODUCED_136_,X_INTRODUCED_161_],0):: defines_var(X_INTRODUCED_56_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_138_,X_INTRODUCED_163_):: defines_var(X_INTRODUCED_163_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_67_,X_INTRODUCED_139_,X_INTRODUCED_163_],0):: defines_var(X_INTRODUCED_67_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_141_,X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_78_,X_INTRODUCED_142_,X_INTRODUCED_165_],0):: defines_var(X_INTRODUCED_78_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_144_,X_INTRODUCED_167_):: defines_var(X_INTRODUCED_167_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_89_,X_INTRODUCED_145_,X_INTRODUCED_167_],0):: defines_var(X_INTRODUCED_89_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_147_,X_INTRODUCED_169_):: defines_var(X_INTRODUCED_169_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_100_,X_INTRODUCED_148_,X_INTRODUCED_169_],0):: defines_var(X_INTRODUCED_100_);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_150_,X_INTRODUCED_171_):: defines_var(X_INTRODUCED_171_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_111_,X_INTRODUCED_151_,X_INTRODUCED_171_],0):: defines_var(X_INTRODUCED_111_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_122_,X_INTRODUCED_173_):: defines_var(X_INTRODUCED_173_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_13_,X_INTRODUCED_12_,X_INTRODUCED_173_],0):: defines_var(X_INTRODUCED_13_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_126_,X_INTRODUCED_175_):: defines_var(X_INTRODUCED_175_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_24_,X_INTRODUCED_23_,X_INTRODUCED_175_],0):: defines_var(X_INTRODUCED_24_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_129_,X_INTRODUCED_177_):: defines_var(X_INTRODUCED_177_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_35_,X_INTRODUCED_34_,X_INTRODUCED_177_],0):: defines_var(X_INTRODUCED_35_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_132_,X_INTRODUCED_179_):: defines_var(X_INTRODUCED_179_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_46_,X_INTRODUCED_45_,X_INTRODUCED_179_],0):: defines_var(X_INTRODUCED_46_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_135_,X_INTRODUCED_181_):: defines_var(X_INTRODUCED_181_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_57_,X_INTRODUCED_56_,X_INTRODUCED_181_],0):: defines_var(X_INTRODUCED_57_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_138_,X_INTRODUCED_183_):: defines_var(X_INTRODUCED_183_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_68_,X_INTRODUCED_67_,X_INTRODUCED_183_],0):: defines_var(X_INTRODUCED_68_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_141_,X_INTRODUCED_185_):: defines_var(X_INTRODUCED_185_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_79_,X_INTRODUCED_78_,X_INTRODUCED_185_],0):: defines_var(X_INTRODUCED_79_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_144_,X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_90_,X_INTRODUCED_89_,X_INTRODUCED_187_],0):: defines_var(X_INTRODUCED_90_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_147_,X_INTRODUCED_189_):: defines_var(X_INTRODUCED_189_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_101_,X_INTRODUCED_100_,X_INTRODUCED_189_],0):: defines_var(X_INTRODUCED_101_);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_150_,X_INTRODUCED_191_):: defines_var(X_INTRODUCED_191_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_112_,X_INTRODUCED_111_,X_INTRODUCED_191_],0):: defines_var(X_INTRODUCED_112_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_122_,X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_14_,X_INTRODUCED_13_,X_INTRODUCED_193_],0):: defines_var(X_INTRODUCED_14_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_126_,X_INTRODUCED_195_):: defines_var(X_INTRODUCED_195_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_25_,X_INTRODUCED_24_,X_INTRODUCED_195_],0):: defines_var(X_INTRODUCED_25_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_129_,X_INTRODUCED_197_):: defines_var(X_INTRODUCED_197_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_36_,X_INTRODUCED_35_,X_INTRODUCED_197_],0):: defines_var(X_INTRODUCED_36_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_132_,X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_47_,X_INTRODUCED_46_,X_INTRODUCED_199_],0):: defines_var(X_INTRODUCED_47_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_135_,X_INTRODUCED_201_):: defines_var(X_INTRODUCED_201_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_58_,X_INTRODUCED_57_,X_INTRODUCED_201_],0):: defines_var(X_INTRODUCED_58_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_138_,X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_69_,X_INTRODUCED_68_,X_INTRODUCED_203_],0):: defines_var(X_INTRODUCED_69_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_141_,X_INTRODUCED_205_):: defines_var(X_INTRODUCED_205_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_80_,X_INTRODUCED_79_,X_INTRODUCED_205_],0):: defines_var(X_INTRODUCED_80_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_144_,X_INTRODUCED_207_):: defines_var(X_INTRODUCED_207_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_91_,X_INTRODUCED_90_,X_INTRODUCED_207_],0):: defines_var(X_INTRODUCED_91_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_147_,X_INTRODUCED_209_):: defines_var(X_INTRODUCED_209_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_102_,X_INTRODUCED_101_,X_INTRODUCED_209_],0):: defines_var(X_INTRODUCED_102_);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_150_,X_INTRODUCED_211_):: defines_var(X_INTRODUCED_211_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_113_,X_INTRODUCED_112_,X_INTRODUCED_211_],0):: defines_var(X_INTRODUCED_113_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_122_,X_INTRODUCED_213_):: defines_var(X_INTRODUCED_213_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_15_,X_INTRODUCED_14_,X_INTRODUCED_213_],0):: defines_var(X_INTRODUCED_15_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_126_,X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_26_,X_INTRODUCED_25_,X_INTRODUCED_215_],0):: defines_var(X_INTRODUCED_26_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_129_,X_INTRODUCED_217_):: defines_var(X_INTRODUCED_217_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_37_,X_INTRODUCED_36_,X_INTRODUCED_217_],0):: defines_var(X_INTRODUCED_37_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_132_,X_INTRODUCED_219_):: defines_var(X_INTRODUCED_219_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_48_,X_INTRODUCED_47_,X_INTRODUCED_219_],0):: defines_var(X_INTRODUCED_48_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_135_,X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_59_,X_INTRODUCED_58_,X_INTRODUCED_221_],0):: defines_var(X_INTRODUCED_59_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_138_,X_INTRODUCED_223_):: defines_var(X_INTRODUCED_223_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_70_,X_INTRODUCED_69_,X_INTRODUCED_223_],0):: defines_var(X_INTRODUCED_70_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_141_,X_INTRODUCED_225_):: defines_var(X_INTRODUCED_225_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_81_,X_INTRODUCED_80_,X_INTRODUCED_225_],0):: defines_var(X_INTRODUCED_81_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_144_,X_INTRODUCED_227_):: defines_var(X_INTRODUCED_227_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_92_,X_INTRODUCED_91_,X_INTRODUCED_227_],0):: defines_var(X_INTRODUCED_92_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_147_,X_INTRODUCED_229_):: defines_var(X_INTRODUCED_229_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_103_,X_INTRODUCED_102_,X_INTRODUCED_229_],0):: defines_var(X_INTRODUCED_103_);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_150_,X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_114_,X_INTRODUCED_113_,X_INTRODUCED_231_],0):: defines_var(X_INTRODUCED_114_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_122_,X_INTRODUCED_233_):: defines_var(X_INTRODUCED_233_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_16_,X_INTRODUCED_15_,X_INTRODUCED_233_],0):: defines_var(X_INTRODUCED_16_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_126_,X_INTRODUCED_235_):: defines_var(X_INTRODUCED_235_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_27_,X_INTRODUCED_26_,X_INTRODUCED_235_],0):: defines_var(X_INTRODUCED_27_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_129_,X_INTRODUCED_237_):: defines_var(X_INTRODUCED_237_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_38_,X_INTRODUCED_37_,X_INTRODUCED_237_],0):: defines_var(X_INTRODUCED_38_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_132_,X_INTRODUCED_239_):: defines_var(X_INTRODUCED_239_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_49_,X_INTRODUCED_48_,X_INTRODUCED_239_],0):: defines_var(X_INTRODUCED_49_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_135_,X_INTRODUCED_241_):: defines_var(X_INTRODUCED_241_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_60_,X_INTRODUCED_59_,X_INTRODUCED_241_],0):: defines_var(X_INTRODUCED_60_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_138_,X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_71_,X_INTRODUCED_70_,X_INTRODUCED_243_],0):: defines_var(X_INTRODUCED_71_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_141_,X_INTRODUCED_245_):: defines_var(X_INTRODUCED_245_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_82_,X_INTRODUCED_81_,X_INTRODUCED_245_],0):: defines_var(X_INTRODUCED_82_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_144_,X_INTRODUCED_247_):: defines_var(X_INTRODUCED_247_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_93_,X_INTRODUCED_92_,X_INTRODUCED_247_],0):: defines_var(X_INTRODUCED_93_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_147_,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_104_,X_INTRODUCED_103_,X_INTRODUCED_249_],0):: defines_var(X_INTRODUCED_104_);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_150_,X_INTRODUCED_251_):: defines_var(X_INTRODUCED_251_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_115_,X_INTRODUCED_114_,X_INTRODUCED_251_],0):: defines_var(X_INTRODUCED_115_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_122_,X_INTRODUCED_253_):: defines_var(X_INTRODUCED_253_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_17_,X_INTRODUCED_16_,X_INTRODUCED_253_],0):: defines_var(X_INTRODUCED_17_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_126_,X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_28_,X_INTRODUCED_27_,X_INTRODUCED_255_],0):: defines_var(X_INTRODUCED_28_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_129_,X_INTRODUCED_257_):: defines_var(X_INTRODUCED_257_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_39_,X_INTRODUCED_38_,X_INTRODUCED_257_],0):: defines_var(X_INTRODUCED_39_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_132_,X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_50_,X_INTRODUCED_49_,X_INTRODUCED_259_],0):: defines_var(X_INTRODUCED_50_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_135_,X_INTRODUCED_261_):: defines_var(X_INTRODUCED_261_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_61_,X_INTRODUCED_60_,X_INTRODUCED_261_],0):: defines_var(X_INTRODUCED_61_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_138_,X_INTRODUCED_263_):: defines_var(X_INTRODUCED_263_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_72_,X_INTRODUCED_71_,X_INTRODUCED_263_],0):: defines_var(X_INTRODUCED_72_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_141_,X_INTRODUCED_265_):: defines_var(X_INTRODUCED_265_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_83_,X_INTRODUCED_82_,X_INTRODUCED_265_],0):: defines_var(X_INTRODUCED_83_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_144_,X_INTRODUCED_267_):: defines_var(X_INTRODUCED_267_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_94_,X_INTRODUCED_93_,X_INTRODUCED_267_],0):: defines_var(X_INTRODUCED_94_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_147_,X_INTRODUCED_269_):: defines_var(X_INTRODUCED_269_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_105_,X_INTRODUCED_104_,X_INTRODUCED_269_],0):: defines_var(X_INTRODUCED_105_);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_150_,X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_116_,X_INTRODUCED_115_,X_INTRODUCED_271_],0):: defines_var(X_INTRODUCED_116_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_122_,X_INTRODUCED_273_):: defines_var(X_INTRODUCED_273_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_18_,X_INTRODUCED_17_,X_INTRODUCED_273_],0):: defines_var(X_INTRODUCED_18_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_126_,X_INTRODUCED_275_):: defines_var(X_INTRODUCED_275_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_29_,X_INTRODUCED_28_,X_INTRODUCED_275_],0):: defines_var(X_INTRODUCED_29_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_129_,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_40_,X_INTRODUCED_39_,X_INTRODUCED_277_],0):: defines_var(X_INTRODUCED_40_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_132_,X_INTRODUCED_279_):: defines_var(X_INTRODUCED_279_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_51_,X_INTRODUCED_50_,X_INTRODUCED_279_],0):: defines_var(X_INTRODUCED_51_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_135_,X_INTRODUCED_281_):: defines_var(X_INTRODUCED_281_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_62_,X_INTRODUCED_61_,X_INTRODUCED_281_],0):: defines_var(X_INTRODUCED_62_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_138_,X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_73_,X_INTRODUCED_72_,X_INTRODUCED_283_],0):: defines_var(X_INTRODUCED_73_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_141_,X_INTRODUCED_285_):: defines_var(X_INTRODUCED_285_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_84_,X_INTRODUCED_83_,X_INTRODUCED_285_],0):: defines_var(X_INTRODUCED_84_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_144_,X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_95_,X_INTRODUCED_94_,X_INTRODUCED_287_],0):: defines_var(X_INTRODUCED_95_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_147_,X_INTRODUCED_289_):: defines_var(X_INTRODUCED_289_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_106_,X_INTRODUCED_105_,X_INTRODUCED_289_],0):: defines_var(X_INTRODUCED_106_);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_150_,X_INTRODUCED_291_):: defines_var(X_INTRODUCED_291_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_117_,X_INTRODUCED_116_,X_INTRODUCED_291_],0):: defines_var(X_INTRODUCED_117_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_122_,X_INTRODUCED_293_):: defines_var(X_INTRODUCED_293_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_19_,X_INTRODUCED_18_,X_INTRODUCED_293_],0):: defines_var(X_INTRODUCED_19_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_126_,X_INTRODUCED_295_):: defines_var(X_INTRODUCED_295_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_30_,X_INTRODUCED_29_,X_INTRODUCED_295_],0):: defines_var(X_INTRODUCED_30_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_129_,X_INTRODUCED_297_):: defines_var(X_INTRODUCED_297_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_41_,X_INTRODUCED_40_,X_INTRODUCED_297_],0):: defines_var(X_INTRODUCED_41_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_132_,X_INTRODUCED_299_):: defines_var(X_INTRODUCED_299_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_52_,X_INTRODUCED_51_,X_INTRODUCED_299_],0):: defines_var(X_INTRODUCED_52_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_135_,X_INTRODUCED_301_):: defines_var(X_INTRODUCED_301_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_63_,X_INTRODUCED_62_,X_INTRODUCED_301_],0):: defines_var(X_INTRODUCED_63_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_138_,X_INTRODUCED_303_):: defines_var(X_INTRODUCED_303_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_74_,X_INTRODUCED_73_,X_INTRODUCED_303_],0):: defines_var(X_INTRODUCED_74_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_141_,X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_85_,X_INTRODUCED_84_,X_INTRODUCED_305_],0):: defines_var(X_INTRODUCED_85_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_144_,X_INTRODUCED_307_):: defines_var(X_INTRODUCED_307_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_96_,X_INTRODUCED_95_,X_INTRODUCED_307_],0):: defines_var(X_INTRODUCED_96_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_147_,X_INTRODUCED_309_):: defines_var(X_INTRODUCED_309_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_107_,X_INTRODUCED_106_,X_INTRODUCED_309_],0):: defines_var(X_INTRODUCED_107_);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_150_,X_INTRODUCED_311_):: defines_var(X_INTRODUCED_311_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_118_,X_INTRODUCED_117_,X_INTRODUCED_311_],0):: defines_var(X_INTRODUCED_118_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_122_,X_INTRODUCED_313_):: defines_var(X_INTRODUCED_313_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_20_,X_INTRODUCED_19_,X_INTRODUCED_313_],0):: defines_var(X_INTRODUCED_20_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_126_,X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_31_,X_INTRODUCED_30_,X_INTRODUCED_315_],0):: defines_var(X_INTRODUCED_31_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_129_,X_INTRODUCED_317_):: defines_var(X_INTRODUCED_317_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_42_,X_INTRODUCED_41_,X_INTRODUCED_317_],0):: defines_var(X_INTRODUCED_42_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_132_,X_INTRODUCED_319_):: defines_var(X_INTRODUCED_319_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_53_,X_INTRODUCED_52_,X_INTRODUCED_319_],0):: defines_var(X_INTRODUCED_53_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_135_,X_INTRODUCED_321_):: defines_var(X_INTRODUCED_321_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_64_,X_INTRODUCED_63_,X_INTRODUCED_321_],0):: defines_var(X_INTRODUCED_64_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_138_,X_INTRODUCED_323_):: defines_var(X_INTRODUCED_323_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_75_,X_INTRODUCED_74_,X_INTRODUCED_323_],0):: defines_var(X_INTRODUCED_75_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_141_,X_INTRODUCED_325_):: defines_var(X_INTRODUCED_325_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_86_,X_INTRODUCED_85_,X_INTRODUCED_325_],0):: defines_var(X_INTRODUCED_86_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_144_,X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_97_,X_INTRODUCED_96_,X_INTRODUCED_327_],0):: defines_var(X_INTRODUCED_97_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_147_,X_INTRODUCED_329_):: defines_var(X_INTRODUCED_329_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_108_,X_INTRODUCED_107_,X_INTRODUCED_329_],0):: defines_var(X_INTRODUCED_108_);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_150_,X_INTRODUCED_331_):: defines_var(X_INTRODUCED_331_);
constraint int_lin_eq(X_INTRODUCED_125_,[X_INTRODUCED_119_,X_INTRODUCED_118_,X_INTRODUCED_331_],0):: defines_var(X_INTRODUCED_119_);
constraint int_lin_eq(X_INTRODUCED_707_,X_INTRODUCED_706_,0):: defines_var(X_INTRODUCED_696_);
constraint int_max(X_INTRODUCED_376_,X_INTRODUCED_696_,X_INTRODUCED_708_):: defines_var(X_INTRODUCED_708_);
constraint int_max(X_INTRODUCED_409_,X_INTRODUCED_708_,X_INTRODUCED_709_):: defines_var(X_INTRODUCED_709_);
constraint int_max(X_INTRODUCED_448_,X_INTRODUCED_709_,X_INTRODUCED_710_):: defines_var(X_INTRODUCED_710_);
constraint int_max(X_INTRODUCED_487_,X_INTRODUCED_710_,X_INTRODUCED_711_):: defines_var(X_INTRODUCED_711_);
constraint int_max(X_INTRODUCED_528_,X_INTRODUCED_711_,X_INTRODUCED_712_):: defines_var(X_INTRODUCED_712_);
constraint int_max(X_INTRODUCED_569_,X_INTRODUCED_712_,X_INTRODUCED_713_):: defines_var(X_INTRODUCED_713_);
constraint int_max(X_INTRODUCED_610_,X_INTRODUCED_713_,X_INTRODUCED_714_):: defines_var(X_INTRODUCED_714_);
constraint int_max(X_INTRODUCED_651_,X_INTRODUCED_714_,X_INTRODUCED_715_):: defines_var(X_INTRODUCED_715_);
constraint int_max(X_INTRODUCED_692_,X_INTRODUCED_715_,objective):: defines_var(objective);
constraint int_le_reif(1,X_INTRODUCED_123_,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint bool2int(X_INTRODUCED_333_,X_INTRODUCED_334_):: defines_var(X_INTRODUCED_334_);
constraint int_le_reif(1,X_INTRODUCED_127_,X_INTRODUCED_335_):: defines_var(X_INTRODUCED_335_);
constraint bool2int(X_INTRODUCED_335_,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint int_le_reif(1,X_INTRODUCED_130_,X_INTRODUCED_337_):: defines_var(X_INTRODUCED_337_);
constraint bool2int(X_INTRODUCED_337_,X_INTRODUCED_338_):: defines_var(X_INTRODUCED_338_);
constraint int_le_reif(1,X_INTRODUCED_133_,X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint bool2int(X_INTRODUCED_339_,X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint int_le_reif(1,X_INTRODUCED_136_,X_INTRODUCED_341_):: defines_var(X_INTRODUCED_341_);
constraint bool2int(X_INTRODUCED_341_,X_INTRODUCED_342_):: defines_var(X_INTRODUCED_342_);
constraint int_le_reif(1,X_INTRODUCED_139_,X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint bool2int(X_INTRODUCED_343_,X_INTRODUCED_344_):: defines_var(X_INTRODUCED_344_);
constraint int_le_reif(1,X_INTRODUCED_142_,X_INTRODUCED_345_):: defines_var(X_INTRODUCED_345_);
constraint bool2int(X_INTRODUCED_345_,X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint int_le_reif(1,X_INTRODUCED_145_,X_INTRODUCED_347_):: defines_var(X_INTRODUCED_347_);
constraint bool2int(X_INTRODUCED_347_,X_INTRODUCED_348_):: defines_var(X_INTRODUCED_348_);
constraint int_le_reif(1,X_INTRODUCED_148_,X_INTRODUCED_349_):: defines_var(X_INTRODUCED_349_);
constraint bool2int(X_INTRODUCED_349_,X_INTRODUCED_350_):: defines_var(X_INTRODUCED_350_);
constraint int_le_reif(1,X_INTRODUCED_151_,X_INTRODUCED_351_):: defines_var(X_INTRODUCED_351_);
constraint bool2int(X_INTRODUCED_351_,X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint int_le_reif(1,X_INTRODUCED_12_,X_INTRODUCED_354_):: defines_var(X_INTRODUCED_354_);
constraint bool2int(X_INTRODUCED_354_,X_INTRODUCED_355_):: defines_var(X_INTRODUCED_355_);
constraint int_le_reif(1,X_INTRODUCED_23_,X_INTRODUCED_356_):: defines_var(X_INTRODUCED_356_);
constraint bool2int(X_INTRODUCED_356_,X_INTRODUCED_357_):: defines_var(X_INTRODUCED_357_);
constraint int_le_reif(1,X_INTRODUCED_34_,X_INTRODUCED_358_):: defines_var(X_INTRODUCED_358_);
constraint bool2int(X_INTRODUCED_358_,X_INTRODUCED_359_):: defines_var(X_INTRODUCED_359_);
constraint int_le_reif(1,X_INTRODUCED_45_,X_INTRODUCED_360_):: defines_var(X_INTRODUCED_360_);
constraint bool2int(X_INTRODUCED_360_,X_INTRODUCED_361_):: defines_var(X_INTRODUCED_361_);
constraint int_le_reif(1,X_INTRODUCED_56_,X_INTRODUCED_362_):: defines_var(X_INTRODUCED_362_);
constraint bool2int(X_INTRODUCED_362_,X_INTRODUCED_363_):: defines_var(X_INTRODUCED_363_);
constraint int_le_reif(1,X_INTRODUCED_67_,X_INTRODUCED_364_):: defines_var(X_INTRODUCED_364_);
constraint bool2int(X_INTRODUCED_364_,X_INTRODUCED_365_):: defines_var(X_INTRODUCED_365_);
constraint int_le_reif(1,X_INTRODUCED_78_,X_INTRODUCED_366_):: defines_var(X_INTRODUCED_366_);
constraint int_le_reif(X_INTRODUCED_142_,0,X_INTRODUCED_367_):: defines_var(X_INTRODUCED_367_);
constraint array_bool_and([X_INTRODUCED_366_,X_INTRODUCED_367_],X_INTRODUCED_368_):: defines_var(X_INTRODUCED_368_);
constraint bool2int(X_INTRODUCED_368_,X_INTRODUCED_369_):: defines_var(X_INTRODUCED_369_);
constraint int_le_reif(1,X_INTRODUCED_89_,X_INTRODUCED_370_):: defines_var(X_INTRODUCED_370_);
constraint bool2int(X_INTRODUCED_370_,X_INTRODUCED_371_):: defines_var(X_INTRODUCED_371_);
constraint int_le_reif(1,X_INTRODUCED_100_,X_INTRODUCED_372_):: defines_var(X_INTRODUCED_372_);
constraint bool2int(X_INTRODUCED_372_,X_INTRODUCED_373_):: defines_var(X_INTRODUCED_373_);
constraint int_le_reif(1,X_INTRODUCED_111_,X_INTRODUCED_374_):: defines_var(X_INTRODUCED_374_);
constraint bool2int(X_INTRODUCED_374_,X_INTRODUCED_375_):: defines_var(X_INTRODUCED_375_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_355_,X_INTRODUCED_357_,X_INTRODUCED_359_,X_INTRODUCED_361_,X_INTRODUCED_363_,X_INTRODUCED_365_,X_INTRODUCED_369_,X_INTRODUCED_371_,X_INTRODUCED_373_,X_INTRODUCED_375_,X_INTRODUCED_376_],0):: defines_var(X_INTRODUCED_376_);
constraint int_le_reif(1,X_INTRODUCED_13_,X_INTRODUCED_377_):: defines_var(X_INTRODUCED_377_);
constraint int_le_reif(X_INTRODUCED_12_,1,X_INTRODUCED_378_):: defines_var(X_INTRODUCED_378_);
constraint array_bool_and([X_INTRODUCED_377_,X_INTRODUCED_378_],X_INTRODUCED_379_):: defines_var(X_INTRODUCED_379_);
constraint bool2int(X_INTRODUCED_379_,X_INTRODUCED_380_):: defines_var(X_INTRODUCED_380_);
constraint int_le_reif(1,X_INTRODUCED_24_,X_INTRODUCED_381_):: defines_var(X_INTRODUCED_381_);
constraint bool2int(X_INTRODUCED_381_,X_INTRODUCED_382_):: defines_var(X_INTRODUCED_382_);
constraint int_le_reif(1,X_INTRODUCED_35_,X_INTRODUCED_383_):: defines_var(X_INTRODUCED_383_);
constraint bool2int(X_INTRODUCED_383_,X_INTRODUCED_384_):: defines_var(X_INTRODUCED_384_);
constraint int_le_reif(1,X_INTRODUCED_46_,X_INTRODUCED_385_):: defines_var(X_INTRODUCED_385_);
constraint bool2int(X_INTRODUCED_385_,X_INTRODUCED_386_):: defines_var(X_INTRODUCED_386_);
constraint int_le_reif(1,X_INTRODUCED_57_,X_INTRODUCED_387_):: defines_var(X_INTRODUCED_387_);
constraint int_le_reif(X_INTRODUCED_56_,1,X_INTRODUCED_388_):: defines_var(X_INTRODUCED_388_);
constraint array_bool_and([X_INTRODUCED_387_,X_INTRODUCED_388_],X_INTRODUCED_389_):: defines_var(X_INTRODUCED_389_);
constraint bool2int(X_INTRODUCED_389_,X_INTRODUCED_390_):: defines_var(X_INTRODUCED_390_);
constraint int_le_reif(1,X_INTRODUCED_68_,X_INTRODUCED_391_):: defines_var(X_INTRODUCED_391_);
constraint bool2int(X_INTRODUCED_391_,X_INTRODUCED_392_):: defines_var(X_INTRODUCED_392_);
constraint int_le_reif(1,X_INTRODUCED_79_,X_INTRODUCED_393_):: defines_var(X_INTRODUCED_393_);
constraint int_le_reif(X_INTRODUCED_78_,0,X_INTRODUCED_394_):: defines_var(X_INTRODUCED_394_);
constraint array_bool_and([X_INTRODUCED_393_,X_INTRODUCED_394_],X_INTRODUCED_395_):: defines_var(X_INTRODUCED_395_);
constraint bool2int(X_INTRODUCED_395_,X_INTRODUCED_396_):: defines_var(X_INTRODUCED_396_);
constraint int_le_reif(1,X_INTRODUCED_90_,X_INTRODUCED_397_):: defines_var(X_INTRODUCED_397_);
constraint int_le_reif(X_INTRODUCED_89_,1,X_INTRODUCED_398_):: defines_var(X_INTRODUCED_398_);
constraint array_bool_and([X_INTRODUCED_397_,X_INTRODUCED_398_],X_INTRODUCED_399_):: defines_var(X_INTRODUCED_399_);
constraint bool2int(X_INTRODUCED_399_,X_INTRODUCED_400_):: defines_var(X_INTRODUCED_400_);
constraint int_le_reif(1,X_INTRODUCED_101_,X_INTRODUCED_401_):: defines_var(X_INTRODUCED_401_);
constraint int_le_reif(X_INTRODUCED_100_,1,X_INTRODUCED_402_):: defines_var(X_INTRODUCED_402_);
constraint array_bool_and([X_INTRODUCED_401_,X_INTRODUCED_402_],X_INTRODUCED_403_):: defines_var(X_INTRODUCED_403_);
constraint bool2int(X_INTRODUCED_403_,X_INTRODUCED_404_):: defines_var(X_INTRODUCED_404_);
constraint int_le_reif(1,X_INTRODUCED_112_,X_INTRODUCED_405_):: defines_var(X_INTRODUCED_405_);
constraint int_le_reif(X_INTRODUCED_111_,1,X_INTRODUCED_406_):: defines_var(X_INTRODUCED_406_);
constraint array_bool_and([X_INTRODUCED_405_,X_INTRODUCED_406_],X_INTRODUCED_407_):: defines_var(X_INTRODUCED_407_);
constraint bool2int(X_INTRODUCED_407_,X_INTRODUCED_408_):: defines_var(X_INTRODUCED_408_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_380_,X_INTRODUCED_382_,X_INTRODUCED_384_,X_INTRODUCED_386_,X_INTRODUCED_390_,X_INTRODUCED_392_,X_INTRODUCED_396_,X_INTRODUCED_400_,X_INTRODUCED_404_,X_INTRODUCED_408_,X_INTRODUCED_409_],0):: defines_var(X_INTRODUCED_409_);
constraint int_le_reif(1,X_INTRODUCED_14_,X_INTRODUCED_410_):: defines_var(X_INTRODUCED_410_);
constraint int_le_reif(X_INTRODUCED_13_,1,X_INTRODUCED_411_):: defines_var(X_INTRODUCED_411_);
constraint array_bool_and([X_INTRODUCED_410_,X_INTRODUCED_411_],X_INTRODUCED_412_):: defines_var(X_INTRODUCED_412_);
constraint bool2int(X_INTRODUCED_412_,X_INTRODUCED_413_):: defines_var(X_INTRODUCED_413_);
constraint int_le_reif(1,X_INTRODUCED_25_,X_INTRODUCED_414_):: defines_var(X_INTRODUCED_414_);
constraint int_le_reif(X_INTRODUCED_24_,2,X_INTRODUCED_415_):: defines_var(X_INTRODUCED_415_);
constraint array_bool_and([X_INTRODUCED_414_,X_INTRODUCED_415_],X_INTRODUCED_416_):: defines_var(X_INTRODUCED_416_);
constraint bool2int(X_INTRODUCED_416_,X_INTRODUCED_417_):: defines_var(X_INTRODUCED_417_);
constraint int_le_reif(1,X_INTRODUCED_36_,X_INTRODUCED_418_):: defines_var(X_INTRODUCED_418_);
constraint int_le_reif(X_INTRODUCED_35_,2,X_INTRODUCED_419_):: defines_var(X_INTRODUCED_419_);
constraint array_bool_and([X_INTRODUCED_418_,X_INTRODUCED_419_],X_INTRODUCED_420_):: defines_var(X_INTRODUCED_420_);
constraint bool2int(X_INTRODUCED_420_,X_INTRODUCED_421_):: defines_var(X_INTRODUCED_421_);
constraint int_le_reif(1,X_INTRODUCED_47_,X_INTRODUCED_422_):: defines_var(X_INTRODUCED_422_);
constraint bool2int(X_INTRODUCED_422_,X_INTRODUCED_423_):: defines_var(X_INTRODUCED_423_);
constraint int_le_reif(1,X_INTRODUCED_58_,X_INTRODUCED_424_):: defines_var(X_INTRODUCED_424_);
constraint int_le_reif(X_INTRODUCED_57_,1,X_INTRODUCED_425_):: defines_var(X_INTRODUCED_425_);
constraint array_bool_and([X_INTRODUCED_424_,X_INTRODUCED_425_],X_INTRODUCED_426_):: defines_var(X_INTRODUCED_426_);
constraint bool2int(X_INTRODUCED_426_,X_INTRODUCED_427_):: defines_var(X_INTRODUCED_427_);
constraint int_le_reif(1,X_INTRODUCED_69_,X_INTRODUCED_428_):: defines_var(X_INTRODUCED_428_);
constraint int_le_reif(X_INTRODUCED_68_,2,X_INTRODUCED_429_):: defines_var(X_INTRODUCED_429_);
constraint array_bool_and([X_INTRODUCED_428_,X_INTRODUCED_429_],X_INTRODUCED_430_):: defines_var(X_INTRODUCED_430_);
constraint bool2int(X_INTRODUCED_430_,X_INTRODUCED_431_):: defines_var(X_INTRODUCED_431_);
constraint int_le_reif(1,X_INTRODUCED_80_,X_INTRODUCED_432_):: defines_var(X_INTRODUCED_432_);
constraint int_le_reif(X_INTRODUCED_79_,0,X_INTRODUCED_433_):: defines_var(X_INTRODUCED_433_);
constraint array_bool_and([X_INTRODUCED_432_,X_INTRODUCED_433_],X_INTRODUCED_434_):: defines_var(X_INTRODUCED_434_);
constraint bool2int(X_INTRODUCED_434_,X_INTRODUCED_435_):: defines_var(X_INTRODUCED_435_);
constraint int_le_reif(1,X_INTRODUCED_91_,X_INTRODUCED_436_):: defines_var(X_INTRODUCED_436_);
constraint int_le_reif(X_INTRODUCED_90_,1,X_INTRODUCED_437_):: defines_var(X_INTRODUCED_437_);
constraint array_bool_and([X_INTRODUCED_436_,X_INTRODUCED_437_],X_INTRODUCED_438_):: defines_var(X_INTRODUCED_438_);
constraint bool2int(X_INTRODUCED_438_,X_INTRODUCED_439_):: defines_var(X_INTRODUCED_439_);
constraint int_le_reif(1,X_INTRODUCED_102_,X_INTRODUCED_440_):: defines_var(X_INTRODUCED_440_);
constraint int_le_reif(X_INTRODUCED_101_,1,X_INTRODUCED_441_):: defines_var(X_INTRODUCED_441_);
constraint array_bool_and([X_INTRODUCED_440_,X_INTRODUCED_441_],X_INTRODUCED_442_):: defines_var(X_INTRODUCED_442_);
constraint bool2int(X_INTRODUCED_442_,X_INTRODUCED_443_):: defines_var(X_INTRODUCED_443_);
constraint int_le_reif(1,X_INTRODUCED_113_,X_INTRODUCED_444_):: defines_var(X_INTRODUCED_444_);
constraint int_le_reif(X_INTRODUCED_112_,1,X_INTRODUCED_445_):: defines_var(X_INTRODUCED_445_);
constraint array_bool_and([X_INTRODUCED_444_,X_INTRODUCED_445_],X_INTRODUCED_446_):: defines_var(X_INTRODUCED_446_);
constraint bool2int(X_INTRODUCED_446_,X_INTRODUCED_447_):: defines_var(X_INTRODUCED_447_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_413_,X_INTRODUCED_417_,X_INTRODUCED_421_,X_INTRODUCED_423_,X_INTRODUCED_427_,X_INTRODUCED_431_,X_INTRODUCED_435_,X_INTRODUCED_439_,X_INTRODUCED_443_,X_INTRODUCED_447_,X_INTRODUCED_448_],0):: defines_var(X_INTRODUCED_448_);
constraint int_le_reif(1,X_INTRODUCED_15_,X_INTRODUCED_449_):: defines_var(X_INTRODUCED_449_);
constraint int_le_reif(X_INTRODUCED_14_,1,X_INTRODUCED_450_):: defines_var(X_INTRODUCED_450_);
constraint array_bool_and([X_INTRODUCED_449_,X_INTRODUCED_450_],X_INTRODUCED_451_):: defines_var(X_INTRODUCED_451_);
constraint bool2int(X_INTRODUCED_451_,X_INTRODUCED_452_):: defines_var(X_INTRODUCED_452_);
constraint int_le_reif(1,X_INTRODUCED_26_,X_INTRODUCED_453_):: defines_var(X_INTRODUCED_453_);
constraint int_le_reif(X_INTRODUCED_25_,2,X_INTRODUCED_454_):: defines_var(X_INTRODUCED_454_);
constraint array_bool_and([X_INTRODUCED_453_,X_INTRODUCED_454_],X_INTRODUCED_455_):: defines_var(X_INTRODUCED_455_);
constraint bool2int(X_INTRODUCED_455_,X_INTRODUCED_456_):: defines_var(X_INTRODUCED_456_);
constraint int_le_reif(1,X_INTRODUCED_37_,X_INTRODUCED_457_):: defines_var(X_INTRODUCED_457_);
constraint int_le_reif(X_INTRODUCED_36_,2,X_INTRODUCED_458_):: defines_var(X_INTRODUCED_458_);
constraint array_bool_and([X_INTRODUCED_457_,X_INTRODUCED_458_],X_INTRODUCED_459_):: defines_var(X_INTRODUCED_459_);
constraint bool2int(X_INTRODUCED_459_,X_INTRODUCED_460_):: defines_var(X_INTRODUCED_460_);
constraint int_le_reif(1,X_INTRODUCED_48_,X_INTRODUCED_461_):: defines_var(X_INTRODUCED_461_);
constraint bool2int(X_INTRODUCED_461_,X_INTRODUCED_462_):: defines_var(X_INTRODUCED_462_);
constraint int_le_reif(1,X_INTRODUCED_59_,X_INTRODUCED_463_):: defines_var(X_INTRODUCED_463_);
constraint int_le_reif(X_INTRODUCED_58_,1,X_INTRODUCED_464_):: defines_var(X_INTRODUCED_464_);
constraint array_bool_and([X_INTRODUCED_463_,X_INTRODUCED_464_],X_INTRODUCED_465_):: defines_var(X_INTRODUCED_465_);
constraint bool2int(X_INTRODUCED_465_,X_INTRODUCED_466_):: defines_var(X_INTRODUCED_466_);
constraint int_le_reif(1,X_INTRODUCED_70_,X_INTRODUCED_467_):: defines_var(X_INTRODUCED_467_);
constraint int_le_reif(X_INTRODUCED_69_,2,X_INTRODUCED_468_):: defines_var(X_INTRODUCED_468_);
constraint array_bool_and([X_INTRODUCED_467_,X_INTRODUCED_468_],X_INTRODUCED_469_):: defines_var(X_INTRODUCED_469_);
constraint bool2int(X_INTRODUCED_469_,X_INTRODUCED_470_):: defines_var(X_INTRODUCED_470_);
constraint int_le_reif(1,X_INTRODUCED_81_,X_INTRODUCED_471_):: defines_var(X_INTRODUCED_471_);
constraint int_le_reif(X_INTRODUCED_80_,0,X_INTRODUCED_472_):: defines_var(X_INTRODUCED_472_);
constraint array_bool_and([X_INTRODUCED_471_,X_INTRODUCED_472_],X_INTRODUCED_473_):: defines_var(X_INTRODUCED_473_);
constraint bool2int(X_INTRODUCED_473_,X_INTRODUCED_474_):: defines_var(X_INTRODUCED_474_);
constraint int_le_reif(1,X_INTRODUCED_92_,X_INTRODUCED_475_):: defines_var(X_INTRODUCED_475_);
constraint int_le_reif(X_INTRODUCED_91_,1,X_INTRODUCED_476_):: defines_var(X_INTRODUCED_476_);
constraint array_bool_and([X_INTRODUCED_475_,X_INTRODUCED_476_],X_INTRODUCED_477_):: defines_var(X_INTRODUCED_477_);
constraint bool2int(X_INTRODUCED_477_,X_INTRODUCED_478_):: defines_var(X_INTRODUCED_478_);
constraint int_le_reif(1,X_INTRODUCED_103_,X_INTRODUCED_479_):: defines_var(X_INTRODUCED_479_);
constraint int_le_reif(X_INTRODUCED_102_,1,X_INTRODUCED_480_):: defines_var(X_INTRODUCED_480_);
constraint array_bool_and([X_INTRODUCED_479_,X_INTRODUCED_480_],X_INTRODUCED_481_):: defines_var(X_INTRODUCED_481_);
constraint bool2int(X_INTRODUCED_481_,X_INTRODUCED_482_):: defines_var(X_INTRODUCED_482_);
constraint int_le_reif(1,X_INTRODUCED_114_,X_INTRODUCED_483_):: defines_var(X_INTRODUCED_483_);
constraint int_le_reif(X_INTRODUCED_113_,1,X_INTRODUCED_484_):: defines_var(X_INTRODUCED_484_);
constraint array_bool_and([X_INTRODUCED_483_,X_INTRODUCED_484_],X_INTRODUCED_485_):: defines_var(X_INTRODUCED_485_);
constraint bool2int(X_INTRODUCED_485_,X_INTRODUCED_486_):: defines_var(X_INTRODUCED_486_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_452_,X_INTRODUCED_456_,X_INTRODUCED_460_,X_INTRODUCED_462_,X_INTRODUCED_466_,X_INTRODUCED_470_,X_INTRODUCED_474_,X_INTRODUCED_478_,X_INTRODUCED_482_,X_INTRODUCED_486_,X_INTRODUCED_487_],0):: defines_var(X_INTRODUCED_487_);
constraint int_le_reif(1,X_INTRODUCED_16_,X_INTRODUCED_488_):: defines_var(X_INTRODUCED_488_);
constraint int_le_reif(X_INTRODUCED_15_,1,X_INTRODUCED_489_):: defines_var(X_INTRODUCED_489_);
constraint array_bool_and([X_INTRODUCED_488_,X_INTRODUCED_489_],X_INTRODUCED_490_):: defines_var(X_INTRODUCED_490_);
constraint bool2int(X_INTRODUCED_490_,X_INTRODUCED_491_):: defines_var(X_INTRODUCED_491_);
constraint int_le_reif(1,X_INTRODUCED_27_,X_INTRODUCED_492_):: defines_var(X_INTRODUCED_492_);
constraint int_le_reif(X_INTRODUCED_26_,2,X_INTRODUCED_493_):: defines_var(X_INTRODUCED_493_);
constraint array_bool_and([X_INTRODUCED_492_,X_INTRODUCED_493_],X_INTRODUCED_494_):: defines_var(X_INTRODUCED_494_);
constraint bool2int(X_INTRODUCED_494_,X_INTRODUCED_495_):: defines_var(X_INTRODUCED_495_);
constraint int_le_reif(1,X_INTRODUCED_38_,X_INTRODUCED_496_):: defines_var(X_INTRODUCED_496_);
constraint int_le_reif(X_INTRODUCED_37_,2,X_INTRODUCED_497_):: defines_var(X_INTRODUCED_497_);
constraint array_bool_and([X_INTRODUCED_496_,X_INTRODUCED_497_],X_INTRODUCED_498_):: defines_var(X_INTRODUCED_498_);
constraint bool2int(X_INTRODUCED_498_,X_INTRODUCED_499_):: defines_var(X_INTRODUCED_499_);
constraint int_le_reif(1,X_INTRODUCED_49_,X_INTRODUCED_500_):: defines_var(X_INTRODUCED_500_);
constraint int_le_reif(X_INTRODUCED_48_,4,X_INTRODUCED_501_):: defines_var(X_INTRODUCED_501_);
constraint array_bool_and([X_INTRODUCED_500_,X_INTRODUCED_501_],X_INTRODUCED_502_):: defines_var(X_INTRODUCED_502_);
constraint bool2int(X_INTRODUCED_502_,X_INTRODUCED_503_):: defines_var(X_INTRODUCED_503_);
constraint int_le_reif(1,X_INTRODUCED_60_,X_INTRODUCED_504_):: defines_var(X_INTRODUCED_504_);
constraint int_le_reif(X_INTRODUCED_59_,1,X_INTRODUCED_505_):: defines_var(X_INTRODUCED_505_);
constraint array_bool_and([X_INTRODUCED_504_,X_INTRODUCED_505_],X_INTRODUCED_506_):: defines_var(X_INTRODUCED_506_);
constraint bool2int(X_INTRODUCED_506_,X_INTRODUCED_507_):: defines_var(X_INTRODUCED_507_);
constraint int_le_reif(1,X_INTRODUCED_71_,X_INTRODUCED_508_):: defines_var(X_INTRODUCED_508_);
constraint int_le_reif(X_INTRODUCED_70_,2,X_INTRODUCED_509_):: defines_var(X_INTRODUCED_509_);
constraint array_bool_and([X_INTRODUCED_508_,X_INTRODUCED_509_],X_INTRODUCED_510_):: defines_var(X_INTRODUCED_510_);
constraint bool2int(X_INTRODUCED_510_,X_INTRODUCED_511_):: defines_var(X_INTRODUCED_511_);
constraint int_le_reif(1,X_INTRODUCED_82_,X_INTRODUCED_512_):: defines_var(X_INTRODUCED_512_);
constraint int_le_reif(X_INTRODUCED_81_,0,X_INTRODUCED_513_):: defines_var(X_INTRODUCED_513_);
constraint array_bool_and([X_INTRODUCED_512_,X_INTRODUCED_513_],X_INTRODUCED_514_):: defines_var(X_INTRODUCED_514_);
constraint bool2int(X_INTRODUCED_514_,X_INTRODUCED_515_):: defines_var(X_INTRODUCED_515_);
constraint int_le_reif(1,X_INTRODUCED_93_,X_INTRODUCED_516_):: defines_var(X_INTRODUCED_516_);
constraint int_le_reif(X_INTRODUCED_92_,1,X_INTRODUCED_517_):: defines_var(X_INTRODUCED_517_);
constraint array_bool_and([X_INTRODUCED_516_,X_INTRODUCED_517_],X_INTRODUCED_518_):: defines_var(X_INTRODUCED_518_);
constraint bool2int(X_INTRODUCED_518_,X_INTRODUCED_519_):: defines_var(X_INTRODUCED_519_);
constraint int_le_reif(1,X_INTRODUCED_104_,X_INTRODUCED_520_):: defines_var(X_INTRODUCED_520_);
constraint int_le_reif(X_INTRODUCED_103_,1,X_INTRODUCED_521_):: defines_var(X_INTRODUCED_521_);
constraint array_bool_and([X_INTRODUCED_520_,X_INTRODUCED_521_],X_INTRODUCED_522_):: defines_var(X_INTRODUCED_522_);
constraint bool2int(X_INTRODUCED_522_,X_INTRODUCED_523_):: defines_var(X_INTRODUCED_523_);
constraint int_le_reif(1,X_INTRODUCED_115_,X_INTRODUCED_524_):: defines_var(X_INTRODUCED_524_);
constraint int_le_reif(X_INTRODUCED_114_,1,X_INTRODUCED_525_):: defines_var(X_INTRODUCED_525_);
constraint array_bool_and([X_INTRODUCED_524_,X_INTRODUCED_525_],X_INTRODUCED_526_):: defines_var(X_INTRODUCED_526_);
constraint bool2int(X_INTRODUCED_526_,X_INTRODUCED_527_):: defines_var(X_INTRODUCED_527_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_491_,X_INTRODUCED_495_,X_INTRODUCED_499_,X_INTRODUCED_503_,X_INTRODUCED_507_,X_INTRODUCED_511_,X_INTRODUCED_515_,X_INTRODUCED_519_,X_INTRODUCED_523_,X_INTRODUCED_527_,X_INTRODUCED_528_],0):: defines_var(X_INTRODUCED_528_);
constraint int_le_reif(1,X_INTRODUCED_17_,X_INTRODUCED_529_):: defines_var(X_INTRODUCED_529_);
constraint int_le_reif(X_INTRODUCED_16_,1,X_INTRODUCED_530_):: defines_var(X_INTRODUCED_530_);
constraint array_bool_and([X_INTRODUCED_529_,X_INTRODUCED_530_],X_INTRODUCED_531_):: defines_var(X_INTRODUCED_531_);
constraint bool2int(X_INTRODUCED_531_,X_INTRODUCED_532_):: defines_var(X_INTRODUCED_532_);
constraint int_le_reif(1,X_INTRODUCED_28_,X_INTRODUCED_533_):: defines_var(X_INTRODUCED_533_);
constraint int_le_reif(X_INTRODUCED_27_,2,X_INTRODUCED_534_):: defines_var(X_INTRODUCED_534_);
constraint array_bool_and([X_INTRODUCED_533_,X_INTRODUCED_534_],X_INTRODUCED_535_):: defines_var(X_INTRODUCED_535_);
constraint bool2int(X_INTRODUCED_535_,X_INTRODUCED_536_):: defines_var(X_INTRODUCED_536_);
constraint int_le_reif(1,X_INTRODUCED_39_,X_INTRODUCED_537_):: defines_var(X_INTRODUCED_537_);
constraint int_le_reif(X_INTRODUCED_38_,2,X_INTRODUCED_538_):: defines_var(X_INTRODUCED_538_);
constraint array_bool_and([X_INTRODUCED_537_,X_INTRODUCED_538_],X_INTRODUCED_539_):: defines_var(X_INTRODUCED_539_);
constraint bool2int(X_INTRODUCED_539_,X_INTRODUCED_540_):: defines_var(X_INTRODUCED_540_);
constraint int_le_reif(1,X_INTRODUCED_50_,X_INTRODUCED_541_):: defines_var(X_INTRODUCED_541_);
constraint int_le_reif(X_INTRODUCED_49_,4,X_INTRODUCED_542_):: defines_var(X_INTRODUCED_542_);
constraint array_bool_and([X_INTRODUCED_541_,X_INTRODUCED_542_],X_INTRODUCED_543_):: defines_var(X_INTRODUCED_543_);
constraint bool2int(X_INTRODUCED_543_,X_INTRODUCED_544_):: defines_var(X_INTRODUCED_544_);
constraint int_le_reif(1,X_INTRODUCED_61_,X_INTRODUCED_545_):: defines_var(X_INTRODUCED_545_);
constraint int_le_reif(X_INTRODUCED_60_,1,X_INTRODUCED_546_):: defines_var(X_INTRODUCED_546_);
constraint array_bool_and([X_INTRODUCED_545_,X_INTRODUCED_546_],X_INTRODUCED_547_):: defines_var(X_INTRODUCED_547_);
constraint bool2int(X_INTRODUCED_547_,X_INTRODUCED_548_):: defines_var(X_INTRODUCED_548_);
constraint int_le_reif(1,X_INTRODUCED_72_,X_INTRODUCED_549_):: defines_var(X_INTRODUCED_549_);
constraint int_le_reif(X_INTRODUCED_71_,2,X_INTRODUCED_550_):: defines_var(X_INTRODUCED_550_);
constraint array_bool_and([X_INTRODUCED_549_,X_INTRODUCED_550_],X_INTRODUCED_551_):: defines_var(X_INTRODUCED_551_);
constraint bool2int(X_INTRODUCED_551_,X_INTRODUCED_552_):: defines_var(X_INTRODUCED_552_);
constraint int_le_reif(1,X_INTRODUCED_83_,X_INTRODUCED_553_):: defines_var(X_INTRODUCED_553_);
constraint int_le_reif(X_INTRODUCED_82_,0,X_INTRODUCED_554_):: defines_var(X_INTRODUCED_554_);
constraint array_bool_and([X_INTRODUCED_553_,X_INTRODUCED_554_],X_INTRODUCED_555_):: defines_var(X_INTRODUCED_555_);
constraint bool2int(X_INTRODUCED_555_,X_INTRODUCED_556_):: defines_var(X_INTRODUCED_556_);
constraint int_le_reif(1,X_INTRODUCED_94_,X_INTRODUCED_557_):: defines_var(X_INTRODUCED_557_);
constraint int_le_reif(X_INTRODUCED_93_,1,X_INTRODUCED_558_):: defines_var(X_INTRODUCED_558_);
constraint array_bool_and([X_INTRODUCED_557_,X_INTRODUCED_558_],X_INTRODUCED_559_):: defines_var(X_INTRODUCED_559_);
constraint bool2int(X_INTRODUCED_559_,X_INTRODUCED_560_):: defines_var(X_INTRODUCED_560_);
constraint int_le_reif(1,X_INTRODUCED_105_,X_INTRODUCED_561_):: defines_var(X_INTRODUCED_561_);
constraint int_le_reif(X_INTRODUCED_104_,1,X_INTRODUCED_562_):: defines_var(X_INTRODUCED_562_);
constraint array_bool_and([X_INTRODUCED_561_,X_INTRODUCED_562_],X_INTRODUCED_563_):: defines_var(X_INTRODUCED_563_);
constraint bool2int(X_INTRODUCED_563_,X_INTRODUCED_564_):: defines_var(X_INTRODUCED_564_);
constraint int_le_reif(1,X_INTRODUCED_116_,X_INTRODUCED_565_):: defines_var(X_INTRODUCED_565_);
constraint int_le_reif(X_INTRODUCED_115_,1,X_INTRODUCED_566_):: defines_var(X_INTRODUCED_566_);
constraint array_bool_and([X_INTRODUCED_565_,X_INTRODUCED_566_],X_INTRODUCED_567_):: defines_var(X_INTRODUCED_567_);
constraint bool2int(X_INTRODUCED_567_,X_INTRODUCED_568_):: defines_var(X_INTRODUCED_568_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_532_,X_INTRODUCED_536_,X_INTRODUCED_540_,X_INTRODUCED_544_,X_INTRODUCED_548_,X_INTRODUCED_552_,X_INTRODUCED_556_,X_INTRODUCED_560_,X_INTRODUCED_564_,X_INTRODUCED_568_,X_INTRODUCED_569_],0):: defines_var(X_INTRODUCED_569_);
constraint int_le_reif(1,X_INTRODUCED_18_,X_INTRODUCED_570_):: defines_var(X_INTRODUCED_570_);
constraint int_le_reif(X_INTRODUCED_17_,1,X_INTRODUCED_571_):: defines_var(X_INTRODUCED_571_);
constraint array_bool_and([X_INTRODUCED_570_,X_INTRODUCED_571_],X_INTRODUCED_572_):: defines_var(X_INTRODUCED_572_);
constraint bool2int(X_INTRODUCED_572_,X_INTRODUCED_573_):: defines_var(X_INTRODUCED_573_);
constraint int_le_reif(1,X_INTRODUCED_29_,X_INTRODUCED_574_):: defines_var(X_INTRODUCED_574_);
constraint int_le_reif(X_INTRODUCED_28_,2,X_INTRODUCED_575_):: defines_var(X_INTRODUCED_575_);
constraint array_bool_and([X_INTRODUCED_574_,X_INTRODUCED_575_],X_INTRODUCED_576_):: defines_var(X_INTRODUCED_576_);
constraint bool2int(X_INTRODUCED_576_,X_INTRODUCED_577_):: defines_var(X_INTRODUCED_577_);
constraint int_le_reif(1,X_INTRODUCED_40_,X_INTRODUCED_578_):: defines_var(X_INTRODUCED_578_);
constraint int_le_reif(X_INTRODUCED_39_,2,X_INTRODUCED_579_):: defines_var(X_INTRODUCED_579_);
constraint array_bool_and([X_INTRODUCED_578_,X_INTRODUCED_579_],X_INTRODUCED_580_):: defines_var(X_INTRODUCED_580_);
constraint bool2int(X_INTRODUCED_580_,X_INTRODUCED_581_):: defines_var(X_INTRODUCED_581_);
constraint int_le_reif(1,X_INTRODUCED_51_,X_INTRODUCED_582_):: defines_var(X_INTRODUCED_582_);
constraint int_le_reif(X_INTRODUCED_50_,4,X_INTRODUCED_583_):: defines_var(X_INTRODUCED_583_);
constraint array_bool_and([X_INTRODUCED_582_,X_INTRODUCED_583_],X_INTRODUCED_584_):: defines_var(X_INTRODUCED_584_);
constraint bool2int(X_INTRODUCED_584_,X_INTRODUCED_585_):: defines_var(X_INTRODUCED_585_);
constraint int_le_reif(1,X_INTRODUCED_62_,X_INTRODUCED_586_):: defines_var(X_INTRODUCED_586_);
constraint int_le_reif(X_INTRODUCED_61_,1,X_INTRODUCED_587_):: defines_var(X_INTRODUCED_587_);
constraint array_bool_and([X_INTRODUCED_586_,X_INTRODUCED_587_],X_INTRODUCED_588_):: defines_var(X_INTRODUCED_588_);
constraint bool2int(X_INTRODUCED_588_,X_INTRODUCED_589_):: defines_var(X_INTRODUCED_589_);
constraint int_le_reif(1,X_INTRODUCED_73_,X_INTRODUCED_590_):: defines_var(X_INTRODUCED_590_);
constraint int_le_reif(X_INTRODUCED_72_,2,X_INTRODUCED_591_):: defines_var(X_INTRODUCED_591_);
constraint array_bool_and([X_INTRODUCED_590_,X_INTRODUCED_591_],X_INTRODUCED_592_):: defines_var(X_INTRODUCED_592_);
constraint bool2int(X_INTRODUCED_592_,X_INTRODUCED_593_):: defines_var(X_INTRODUCED_593_);
constraint int_le_reif(1,X_INTRODUCED_84_,X_INTRODUCED_594_):: defines_var(X_INTRODUCED_594_);
constraint int_le_reif(X_INTRODUCED_83_,0,X_INTRODUCED_595_):: defines_var(X_INTRODUCED_595_);
constraint array_bool_and([X_INTRODUCED_594_,X_INTRODUCED_595_],X_INTRODUCED_596_):: defines_var(X_INTRODUCED_596_);
constraint bool2int(X_INTRODUCED_596_,X_INTRODUCED_597_):: defines_var(X_INTRODUCED_597_);
constraint int_le_reif(1,X_INTRODUCED_95_,X_INTRODUCED_598_):: defines_var(X_INTRODUCED_598_);
constraint int_le_reif(X_INTRODUCED_94_,1,X_INTRODUCED_599_):: defines_var(X_INTRODUCED_599_);
constraint array_bool_and([X_INTRODUCED_598_,X_INTRODUCED_599_],X_INTRODUCED_600_):: defines_var(X_INTRODUCED_600_);
constraint bool2int(X_INTRODUCED_600_,X_INTRODUCED_601_):: defines_var(X_INTRODUCED_601_);
constraint int_le_reif(1,X_INTRODUCED_106_,X_INTRODUCED_602_):: defines_var(X_INTRODUCED_602_);
constraint int_le_reif(X_INTRODUCED_105_,1,X_INTRODUCED_603_):: defines_var(X_INTRODUCED_603_);
constraint array_bool_and([X_INTRODUCED_602_,X_INTRODUCED_603_],X_INTRODUCED_604_):: defines_var(X_INTRODUCED_604_);
constraint bool2int(X_INTRODUCED_604_,X_INTRODUCED_605_):: defines_var(X_INTRODUCED_605_);
constraint int_le_reif(1,X_INTRODUCED_117_,X_INTRODUCED_606_):: defines_var(X_INTRODUCED_606_);
constraint int_le_reif(X_INTRODUCED_116_,1,X_INTRODUCED_607_):: defines_var(X_INTRODUCED_607_);
constraint array_bool_and([X_INTRODUCED_606_,X_INTRODUCED_607_],X_INTRODUCED_608_):: defines_var(X_INTRODUCED_608_);
constraint bool2int(X_INTRODUCED_608_,X_INTRODUCED_609_):: defines_var(X_INTRODUCED_609_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_573_,X_INTRODUCED_577_,X_INTRODUCED_581_,X_INTRODUCED_585_,X_INTRODUCED_589_,X_INTRODUCED_593_,X_INTRODUCED_597_,X_INTRODUCED_601_,X_INTRODUCED_605_,X_INTRODUCED_609_,X_INTRODUCED_610_],0):: defines_var(X_INTRODUCED_610_);
constraint int_le_reif(1,X_INTRODUCED_19_,X_INTRODUCED_611_):: defines_var(X_INTRODUCED_611_);
constraint int_le_reif(X_INTRODUCED_18_,1,X_INTRODUCED_612_):: defines_var(X_INTRODUCED_612_);
constraint array_bool_and([X_INTRODUCED_611_,X_INTRODUCED_612_],X_INTRODUCED_613_):: defines_var(X_INTRODUCED_613_);
constraint bool2int(X_INTRODUCED_613_,X_INTRODUCED_614_):: defines_var(X_INTRODUCED_614_);
constraint int_le_reif(1,X_INTRODUCED_30_,X_INTRODUCED_615_):: defines_var(X_INTRODUCED_615_);
constraint int_le_reif(X_INTRODUCED_29_,2,X_INTRODUCED_616_):: defines_var(X_INTRODUCED_616_);
constraint array_bool_and([X_INTRODUCED_615_,X_INTRODUCED_616_],X_INTRODUCED_617_):: defines_var(X_INTRODUCED_617_);
constraint bool2int(X_INTRODUCED_617_,X_INTRODUCED_618_):: defines_var(X_INTRODUCED_618_);
constraint int_le_reif(1,X_INTRODUCED_41_,X_INTRODUCED_619_):: defines_var(X_INTRODUCED_619_);
constraint int_le_reif(X_INTRODUCED_40_,2,X_INTRODUCED_620_):: defines_var(X_INTRODUCED_620_);
constraint array_bool_and([X_INTRODUCED_619_,X_INTRODUCED_620_],X_INTRODUCED_621_):: defines_var(X_INTRODUCED_621_);
constraint bool2int(X_INTRODUCED_621_,X_INTRODUCED_622_):: defines_var(X_INTRODUCED_622_);
constraint int_le_reif(1,X_INTRODUCED_52_,X_INTRODUCED_623_):: defines_var(X_INTRODUCED_623_);
constraint int_le_reif(X_INTRODUCED_51_,4,X_INTRODUCED_624_):: defines_var(X_INTRODUCED_624_);
constraint array_bool_and([X_INTRODUCED_623_,X_INTRODUCED_624_],X_INTRODUCED_625_):: defines_var(X_INTRODUCED_625_);
constraint bool2int(X_INTRODUCED_625_,X_INTRODUCED_626_):: defines_var(X_INTRODUCED_626_);
constraint int_le_reif(1,X_INTRODUCED_63_,X_INTRODUCED_627_):: defines_var(X_INTRODUCED_627_);
constraint int_le_reif(X_INTRODUCED_62_,1,X_INTRODUCED_628_):: defines_var(X_INTRODUCED_628_);
constraint array_bool_and([X_INTRODUCED_627_,X_INTRODUCED_628_],X_INTRODUCED_629_):: defines_var(X_INTRODUCED_629_);
constraint bool2int(X_INTRODUCED_629_,X_INTRODUCED_630_):: defines_var(X_INTRODUCED_630_);
constraint int_le_reif(1,X_INTRODUCED_74_,X_INTRODUCED_631_):: defines_var(X_INTRODUCED_631_);
constraint int_le_reif(X_INTRODUCED_73_,2,X_INTRODUCED_632_):: defines_var(X_INTRODUCED_632_);
constraint array_bool_and([X_INTRODUCED_631_,X_INTRODUCED_632_],X_INTRODUCED_633_):: defines_var(X_INTRODUCED_633_);
constraint bool2int(X_INTRODUCED_633_,X_INTRODUCED_634_):: defines_var(X_INTRODUCED_634_);
constraint int_le_reif(1,X_INTRODUCED_85_,X_INTRODUCED_635_):: defines_var(X_INTRODUCED_635_);
constraint int_le_reif(X_INTRODUCED_84_,0,X_INTRODUCED_636_):: defines_var(X_INTRODUCED_636_);
constraint array_bool_and([X_INTRODUCED_635_,X_INTRODUCED_636_],X_INTRODUCED_637_):: defines_var(X_INTRODUCED_637_);
constraint bool2int(X_INTRODUCED_637_,X_INTRODUCED_638_):: defines_var(X_INTRODUCED_638_);
constraint int_le_reif(1,X_INTRODUCED_96_,X_INTRODUCED_639_):: defines_var(X_INTRODUCED_639_);
constraint int_le_reif(X_INTRODUCED_95_,1,X_INTRODUCED_640_):: defines_var(X_INTRODUCED_640_);
constraint array_bool_and([X_INTRODUCED_639_,X_INTRODUCED_640_],X_INTRODUCED_641_):: defines_var(X_INTRODUCED_641_);
constraint bool2int(X_INTRODUCED_641_,X_INTRODUCED_642_):: defines_var(X_INTRODUCED_642_);
constraint int_le_reif(1,X_INTRODUCED_107_,X_INTRODUCED_643_):: defines_var(X_INTRODUCED_643_);
constraint int_le_reif(X_INTRODUCED_106_,1,X_INTRODUCED_644_):: defines_var(X_INTRODUCED_644_);
constraint array_bool_and([X_INTRODUCED_643_,X_INTRODUCED_644_],X_INTRODUCED_645_):: defines_var(X_INTRODUCED_645_);
constraint bool2int(X_INTRODUCED_645_,X_INTRODUCED_646_):: defines_var(X_INTRODUCED_646_);
constraint int_le_reif(1,X_INTRODUCED_118_,X_INTRODUCED_647_):: defines_var(X_INTRODUCED_647_);
constraint int_le_reif(X_INTRODUCED_117_,1,X_INTRODUCED_648_):: defines_var(X_INTRODUCED_648_);
constraint array_bool_and([X_INTRODUCED_647_,X_INTRODUCED_648_],X_INTRODUCED_649_):: defines_var(X_INTRODUCED_649_);
constraint bool2int(X_INTRODUCED_649_,X_INTRODUCED_650_):: defines_var(X_INTRODUCED_650_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_614_,X_INTRODUCED_618_,X_INTRODUCED_622_,X_INTRODUCED_626_,X_INTRODUCED_630_,X_INTRODUCED_634_,X_INTRODUCED_638_,X_INTRODUCED_642_,X_INTRODUCED_646_,X_INTRODUCED_650_,X_INTRODUCED_651_],0):: defines_var(X_INTRODUCED_651_);
constraint int_le_reif(1,X_INTRODUCED_20_,X_INTRODUCED_652_):: defines_var(X_INTRODUCED_652_);
constraint int_le_reif(X_INTRODUCED_19_,1,X_INTRODUCED_653_):: defines_var(X_INTRODUCED_653_);
constraint array_bool_and([X_INTRODUCED_652_,X_INTRODUCED_653_],X_INTRODUCED_654_):: defines_var(X_INTRODUCED_654_);
constraint bool2int(X_INTRODUCED_654_,X_INTRODUCED_655_):: defines_var(X_INTRODUCED_655_);
constraint int_le_reif(1,X_INTRODUCED_31_,X_INTRODUCED_656_):: defines_var(X_INTRODUCED_656_);
constraint int_le_reif(X_INTRODUCED_30_,2,X_INTRODUCED_657_):: defines_var(X_INTRODUCED_657_);
constraint array_bool_and([X_INTRODUCED_656_,X_INTRODUCED_657_],X_INTRODUCED_658_):: defines_var(X_INTRODUCED_658_);
constraint bool2int(X_INTRODUCED_658_,X_INTRODUCED_659_):: defines_var(X_INTRODUCED_659_);
constraint int_le_reif(1,X_INTRODUCED_42_,X_INTRODUCED_660_):: defines_var(X_INTRODUCED_660_);
constraint int_le_reif(X_INTRODUCED_41_,2,X_INTRODUCED_661_):: defines_var(X_INTRODUCED_661_);
constraint array_bool_and([X_INTRODUCED_660_,X_INTRODUCED_661_],X_INTRODUCED_662_):: defines_var(X_INTRODUCED_662_);
constraint bool2int(X_INTRODUCED_662_,X_INTRODUCED_663_):: defines_var(X_INTRODUCED_663_);
constraint int_le_reif(1,X_INTRODUCED_53_,X_INTRODUCED_664_):: defines_var(X_INTRODUCED_664_);
constraint int_le_reif(X_INTRODUCED_52_,4,X_INTRODUCED_665_):: defines_var(X_INTRODUCED_665_);
constraint array_bool_and([X_INTRODUCED_664_,X_INTRODUCED_665_],X_INTRODUCED_666_):: defines_var(X_INTRODUCED_666_);
constraint bool2int(X_INTRODUCED_666_,X_INTRODUCED_667_):: defines_var(X_INTRODUCED_667_);
constraint int_le_reif(1,X_INTRODUCED_64_,X_INTRODUCED_668_):: defines_var(X_INTRODUCED_668_);
constraint int_le_reif(X_INTRODUCED_63_,1,X_INTRODUCED_669_):: defines_var(X_INTRODUCED_669_);
constraint array_bool_and([X_INTRODUCED_668_,X_INTRODUCED_669_],X_INTRODUCED_670_):: defines_var(X_INTRODUCED_670_);
constraint bool2int(X_INTRODUCED_670_,X_INTRODUCED_671_):: defines_var(X_INTRODUCED_671_);
constraint int_le_reif(1,X_INTRODUCED_75_,X_INTRODUCED_672_):: defines_var(X_INTRODUCED_672_);
constraint int_le_reif(X_INTRODUCED_74_,2,X_INTRODUCED_673_):: defines_var(X_INTRODUCED_673_);
constraint array_bool_and([X_INTRODUCED_672_,X_INTRODUCED_673_],X_INTRODUCED_674_):: defines_var(X_INTRODUCED_674_);
constraint bool2int(X_INTRODUCED_674_,X_INTRODUCED_675_):: defines_var(X_INTRODUCED_675_);
constraint int_le_reif(1,X_INTRODUCED_86_,X_INTRODUCED_676_):: defines_var(X_INTRODUCED_676_);
constraint int_le_reif(X_INTRODUCED_85_,0,X_INTRODUCED_677_):: defines_var(X_INTRODUCED_677_);
constraint array_bool_and([X_INTRODUCED_676_,X_INTRODUCED_677_],X_INTRODUCED_678_):: defines_var(X_INTRODUCED_678_);
constraint bool2int(X_INTRODUCED_678_,X_INTRODUCED_679_):: defines_var(X_INTRODUCED_679_);
constraint int_le_reif(1,X_INTRODUCED_97_,X_INTRODUCED_680_):: defines_var(X_INTRODUCED_680_);
constraint int_le_reif(X_INTRODUCED_96_,1,X_INTRODUCED_681_):: defines_var(X_INTRODUCED_681_);
constraint array_bool_and([X_INTRODUCED_680_,X_INTRODUCED_681_],X_INTRODUCED_682_):: defines_var(X_INTRODUCED_682_);
constraint bool2int(X_INTRODUCED_682_,X_INTRODUCED_683_):: defines_var(X_INTRODUCED_683_);
constraint int_le_reif(1,X_INTRODUCED_108_,X_INTRODUCED_684_):: defines_var(X_INTRODUCED_684_);
constraint int_le_reif(X_INTRODUCED_107_,1,X_INTRODUCED_685_):: defines_var(X_INTRODUCED_685_);
constraint array_bool_and([X_INTRODUCED_684_,X_INTRODUCED_685_],X_INTRODUCED_686_):: defines_var(X_INTRODUCED_686_);
constraint bool2int(X_INTRODUCED_686_,X_INTRODUCED_687_):: defines_var(X_INTRODUCED_687_);
constraint int_le_reif(1,X_INTRODUCED_119_,X_INTRODUCED_688_):: defines_var(X_INTRODUCED_688_);
constraint int_le_reif(X_INTRODUCED_118_,1,X_INTRODUCED_689_):: defines_var(X_INTRODUCED_689_);
constraint array_bool_and([X_INTRODUCED_688_,X_INTRODUCED_689_],X_INTRODUCED_690_):: defines_var(X_INTRODUCED_690_);
constraint bool2int(X_INTRODUCED_690_,X_INTRODUCED_691_):: defines_var(X_INTRODUCED_691_);
constraint int_lin_eq([1,1,1,1,1,1,1,1,1,1,-1],[X_INTRODUCED_655_,X_INTRODUCED_659_,X_INTRODUCED_663_,X_INTRODUCED_667_,X_INTRODUCED_671_,X_INTRODUCED_675_,X_INTRODUCED_679_,X_INTRODUCED_683_,X_INTRODUCED_687_,X_INTRODUCED_691_,X_INTRODUCED_692_],0):: defines_var(X_INTRODUCED_692_);
solve :: int_search(s,input_order,indomain_min,complete) minimize objective;