array [1..2] of int: X_INTRODUCED_145_ = [1,-1];
var 0..11: X_INTRODUCED_1_;
var 0..11: X_INTRODUCED_2_;
var 0..11: X_INTRODUCED_3_;
var 0..11: X_INTRODUCED_4_;
var 0..11: X_INTRODUCED_5_;
var 0..11: X_INTRODUCED_6_;
var 0..11: X_INTRODUCED_7_;
var 0..11: X_INTRODUCED_8_;
var 0..11: X_INTRODUCED_9_;
var 0..11: X_INTRODUCED_10_;
var 0..11: X_INTRODUCED_11_;
var 0..11: X_INTRODUCED_12_;
var 0..11: X_INTRODUCED_14_;
var 0..11: X_INTRODUCED_15_;
var 0..11: X_INTRODUCED_16_;
var 0..11: X_INTRODUCED_17_;
var 0..11: X_INTRODUCED_18_;
var 0..11: X_INTRODUCED_19_;
var 0..11: X_INTRODUCED_20_;
var 0..11: X_INTRODUCED_21_;
var 0..11: X_INTRODUCED_22_;
var 0..11: X_INTRODUCED_23_;
var 0..11: X_INTRODUCED_24_;
var 0..11: X_INTRODUCED_25_;
var 0..11: X_INTRODUCED_27_;
var 0..11: X_INTRODUCED_28_;
var 0..11: X_INTRODUCED_29_;
var 0..11: X_INTRODUCED_30_;
var 0..11: X_INTRODUCED_31_;
var 0..11: X_INTRODUCED_32_;
var 0..11: X_INTRODUCED_33_;
var 0..11: X_INTRODUCED_34_;
var 0..11: X_INTRODUCED_35_;
var 0..11: X_INTRODUCED_36_;
var 0..11: X_INTRODUCED_37_;
var 0..11: X_INTRODUCED_38_;
var 0..11: X_INTRODUCED_40_;
var 0..11: X_INTRODUCED_41_;
var 0..11: X_INTRODUCED_42_;
var 0..11: X_INTRODUCED_43_;
var 0..11: X_INTRODUCED_44_;
var 0..11: X_INTRODUCED_45_;
var 0..11: X_INTRODUCED_46_;
var 1..11: X_INTRODUCED_47_;
var 0..11: X_INTRODUCED_48_;
var 0..11: X_INTRODUCED_49_;
var 0..11: X_INTRODUCED_50_;
var 0..11: X_INTRODUCED_51_;
var 0..11: X_INTRODUCED_53_;
var 0..11: X_INTRODUCED_54_;
var 0..11: X_INTRODUCED_55_;
var 0..11: X_INTRODUCED_56_;
var 0..11: X_INTRODUCED_57_;
var 0..11: X_INTRODUCED_58_;
var 2..11: X_INTRODUCED_59_;
var 0..11: X_INTRODUCED_60_;
var 0..11: X_INTRODUCED_61_;
var 0..11: X_INTRODUCED_62_;
var 0..11: X_INTRODUCED_63_;
var 0..11: X_INTRODUCED_64_;
var 0..11: X_INTRODUCED_66_;
var 0..11: X_INTRODUCED_67_;
var 0..11: X_INTRODUCED_68_;
var 0..11: X_INTRODUCED_69_;
var 0..11: X_INTRODUCED_70_;
var 3..11: X_INTRODUCED_71_;
var 0..11: X_INTRODUCED_72_;
var 0..11: X_INTRODUCED_73_;
var 0..11: X_INTRODUCED_74_;
var 0..11: X_INTRODUCED_75_;
var 0..11: X_INTRODUCED_76_;
var 0..11: X_INTRODUCED_77_;
var 0..11: X_INTRODUCED_79_;
var 0..11: X_INTRODUCED_80_;
var 0..11: X_INTRODUCED_81_;
var 0..11: X_INTRODUCED_82_;
var 4..11: X_INTRODUCED_83_;
var 0..11: X_INTRODUCED_84_;
var 0..11: X_INTRODUCED_85_;
var 0..11: X_INTRODUCED_86_;
var 0..11: X_INTRODUCED_87_;
var 0..11: X_INTRODUCED_88_;
var 0..11: X_INTRODUCED_89_;
var 0..11: X_INTRODUCED_90_;
var 0..11: X_INTRODUCED_92_;
var 0..11: X_INTRODUCED_93_;
var 0..11: X_INTRODUCED_94_;
var 5..11: X_INTRODUCED_95_;
var 0..11: X_INTRODUCED_96_;
var 0..11: X_INTRODUCED_97_;
var 0..11: X_INTRODUCED_98_;
var 0..11: X_INTRODUCED_99_;
var 0..11: X_INTRODUCED_100_;
var 0..11: X_INTRODUCED_101_;
var 0..11: X_INTRODUCED_102_;
var 0..11: X_INTRODUCED_103_;
var 0..11: X_INTRODUCED_105_;
var 0..11: X_INTRODUCED_106_;
var 6..11: X_INTRODUCED_107_;
var 0..11: X_INTRODUCED_108_;
var 0..11: X_INTRODUCED_109_;
var 0..11: X_INTRODUCED_110_;
var 0..11: X_INTRODUCED_111_;
var 0..11: X_INTRODUCED_112_;
var 0..11: X_INTRODUCED_113_;
var 0..11: X_INTRODUCED_114_;
var 0..11: X_INTRODUCED_115_;
var 0..11: X_INTRODUCED_116_;
var 0..11: X_INTRODUCED_118_;
var 7..11: X_INTRODUCED_119_;
var 0..11: X_INTRODUCED_120_;
var 0..11: X_INTRODUCED_121_;
var 0..11: X_INTRODUCED_122_;
var 0..11: X_INTRODUCED_123_;
var 0..11: X_INTRODUCED_124_;
var 0..11: X_INTRODUCED_125_;
var 0..11: X_INTRODUCED_126_;
var 0..11: X_INTRODUCED_127_;
var 0..11: X_INTRODUCED_128_;
var 0..11: X_INTRODUCED_129_;
var 8..11: X_INTRODUCED_131_;
var 0..11: X_INTRODUCED_132_;
var 0..11: X_INTRODUCED_133_;
var 0..11: X_INTRODUCED_134_;
var 0..11: X_INTRODUCED_135_;
var 0..11: X_INTRODUCED_136_;
var 0..11: X_INTRODUCED_137_;
var 0..11: X_INTRODUCED_138_;
var 0..11: X_INTRODUCED_139_;
var 0..11: X_INTRODUCED_140_;
var 0..11: X_INTRODUCED_141_;
var 0..11: X_INTRODUCED_142_;
var 1..12: X_INTRODUCED_176_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_178_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_180_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_182_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_184_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_186_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_188_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_190_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_192_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_194_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_196_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_198_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_200_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_202_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_204_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_206_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_208_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_210_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_212_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_214_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_216_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_218_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_222_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_228_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_230_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_233_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_234_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_236_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_237_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_239_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_240_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_242_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_243_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_245_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_246_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_248_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_251_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_252_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_254_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_255_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_258_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_259_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_261_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_262_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_267_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_268_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_270_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_271_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_273_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_274_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_276_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_277_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_279_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_282_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_285_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_286_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_288_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_289_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_291_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_292_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_295_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_296_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_298_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_299_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_301_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_302_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_307_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_308_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_310_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_311_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_313_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_314_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_316_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_317_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_319_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_320_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_322_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_323_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_325_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_326_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_328_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_329_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_332_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_333_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_335_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_336_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_338_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_339_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_341_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_342_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_347_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_348_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_350_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_351_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_353_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_354_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_356_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_357_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_359_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_360_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_362_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_363_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_365_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_366_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_369_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_370_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_372_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_373_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_375_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_376_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_378_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_379_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_381_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_382_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_387_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_388_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_390_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_391_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_393_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_394_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_396_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_397_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_399_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_400_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_402_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_403_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_406_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_407_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_409_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_410_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_412_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_413_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_415_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_416_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_418_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_419_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_421_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_422_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_427_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_428_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_430_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_431_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_433_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_434_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_436_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_437_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_439_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_440_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_443_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_444_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_446_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_447_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_449_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_450_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_452_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_453_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_455_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_456_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_458_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_459_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_461_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_462_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_467_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_468_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_470_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_471_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_473_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_474_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_476_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_477_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_480_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_481_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_483_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_484_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_486_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_487_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_489_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_490_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_492_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_493_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_495_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_496_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_498_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_499_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_501_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_502_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_507_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_508_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_510_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_511_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_513_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_514_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_517_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_518_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_520_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_521_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_523_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_524_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_526_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_527_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_529_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_530_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_532_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_533_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_535_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_536_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_538_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_539_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_541_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_542_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_547_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_548_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_550_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_551_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_554_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_555_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_557_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_558_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_560_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_561_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_563_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_564_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_566_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_567_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_569_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_570_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_572_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_573_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_575_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_576_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_578_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_579_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_581_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_582_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_587_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_588_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_591_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_592_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_594_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_595_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_597_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_598_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_600_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_601_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_603_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_604_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_606_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_607_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_609_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_610_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_612_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_613_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_615_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_616_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_618_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_619_ ::var_is_introduced :: is_defined_var;
var 1..12: X_INTRODUCED_621_ ::var_is_introduced :: is_defined_var;
var 0..11: X_INTRODUCED_622_ ::var_is_introduced :: is_defined_var;
var 0..0: X_INTRODUCED_174_ ::var_is_introduced  = 0;
var 1..1: X_INTRODUCED_225_ ::var_is_introduced  = 1;
var 2..2: X_INTRODUCED_265_ ::var_is_introduced  = 2;
var 3..3: X_INTRODUCED_305_ ::var_is_introduced  = 3;
var 4..4: X_INTRODUCED_345_ ::var_is_introduced  = 4;
var 5..5: X_INTRODUCED_385_ ::var_is_introduced  = 5;
var 6..6: X_INTRODUCED_425_ ::var_is_introduced  = 6;
var 7..7: X_INTRODUCED_465_ ::var_is_introduced  = 7;
var 8..8: X_INTRODUCED_505_ ::var_is_introduced  = 8;
var 9..9: X_INTRODUCED_545_ ::var_is_introduced  = 9;
var 10..10: X_INTRODUCED_585_ ::var_is_introduced  = 10;
var 11..11: X_INTRODUCED_625_ ::var_is_introduced  = 11;
array [1..144] of var int: quasiGroup:: output_array([0..11,0..11]) = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,1,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,2,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,3,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,4,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,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_,5,X_INTRODUCED_66_,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_,X_INTRODUCED_76_,X_INTRODUCED_77_,6,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,X_INTRODUCED_85_,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_,X_INTRODUCED_89_,X_INTRODUCED_90_,7,X_INTRODUCED_92_,X_INTRODUCED_93_,X_INTRODUCED_94_,X_INTRODUCED_95_,X_INTRODUCED_96_,X_INTRODUCED_97_,X_INTRODUCED_98_,X_INTRODUCED_99_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,8,X_INTRODUCED_105_,X_INTRODUCED_106_,X_INTRODUCED_107_,X_INTRODUCED_108_,X_INTRODUCED_109_,X_INTRODUCED_110_,X_INTRODUCED_111_,X_INTRODUCED_112_,X_INTRODUCED_113_,X_INTRODUCED_114_,X_INTRODUCED_115_,X_INTRODUCED_116_,9,X_INTRODUCED_118_,X_INTRODUCED_119_,X_INTRODUCED_120_,X_INTRODUCED_121_,X_INTRODUCED_122_,X_INTRODUCED_123_,X_INTRODUCED_124_,X_INTRODUCED_125_,X_INTRODUCED_126_,X_INTRODUCED_127_,X_INTRODUCED_128_,X_INTRODUCED_129_,10,X_INTRODUCED_131_,X_INTRODUCED_132_,X_INTRODUCED_133_,X_INTRODUCED_134_,X_INTRODUCED_135_,X_INTRODUCED_136_,X_INTRODUCED_137_,X_INTRODUCED_138_,X_INTRODUCED_139_,X_INTRODUCED_140_,X_INTRODUCED_141_,X_INTRODUCED_142_,11];
array [1..12] of var int: X_INTRODUCED_144_ ::var_is_introduced  = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_];
array [1..12] of var int: X_INTRODUCED_146_ ::var_is_introduced  = [X_INTRODUCED_12_,1,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_];
array [1..12] of var int: X_INTRODUCED_147_ ::var_is_introduced  = [X_INTRODUCED_24_,X_INTRODUCED_25_,2,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_];
array [1..12] of var int: X_INTRODUCED_148_ ::var_is_introduced  = [X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,3,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_];
array [1..12] of var int: X_INTRODUCED_149_ ::var_is_introduced  = [X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,4,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_];
array [1..12] of var int: X_INTRODUCED_150_ ::var_is_introduced  = [X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,5,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,X_INTRODUCED_70_,X_INTRODUCED_71_];
array [1..12] of var int: X_INTRODUCED_151_ ::var_is_introduced  = [X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,6,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_];
array [1..12] of var int: X_INTRODUCED_152_ ::var_is_introduced  = [X_INTRODUCED_84_,X_INTRODUCED_85_,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_,X_INTRODUCED_89_,X_INTRODUCED_90_,7,X_INTRODUCED_92_,X_INTRODUCED_93_,X_INTRODUCED_94_,X_INTRODUCED_95_];
array [1..12] of var int: X_INTRODUCED_153_ ::var_is_introduced  = [X_INTRODUCED_96_,X_INTRODUCED_97_,X_INTRODUCED_98_,X_INTRODUCED_99_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,8,X_INTRODUCED_105_,X_INTRODUCED_106_,X_INTRODUCED_107_];
array [1..12] of var int: X_INTRODUCED_154_ ::var_is_introduced  = [X_INTRODUCED_108_,X_INTRODUCED_109_,X_INTRODUCED_110_,X_INTRODUCED_111_,X_INTRODUCED_112_,X_INTRODUCED_113_,X_INTRODUCED_114_,X_INTRODUCED_115_,X_INTRODUCED_116_,9,X_INTRODUCED_118_,X_INTRODUCED_119_];
array [1..12] of var int: X_INTRODUCED_155_ ::var_is_introduced  = [X_INTRODUCED_120_,X_INTRODUCED_121_,X_INTRODUCED_122_,X_INTRODUCED_123_,X_INTRODUCED_124_,X_INTRODUCED_125_,X_INTRODUCED_126_,X_INTRODUCED_127_,X_INTRODUCED_128_,X_INTRODUCED_129_,10,X_INTRODUCED_131_];
array [1..12] of var int: X_INTRODUCED_156_ ::var_is_introduced  = [X_INTRODUCED_132_,X_INTRODUCED_133_,X_INTRODUCED_134_,X_INTRODUCED_135_,X_INTRODUCED_136_,X_INTRODUCED_137_,X_INTRODUCED_138_,X_INTRODUCED_139_,X_INTRODUCED_140_,X_INTRODUCED_141_,X_INTRODUCED_142_,11];
array [1..12] of var int: X_INTRODUCED_157_ ::var_is_introduced  = [0,X_INTRODUCED_12_,X_INTRODUCED_24_,X_INTRODUCED_36_,X_INTRODUCED_48_,X_INTRODUCED_60_,X_INTRODUCED_72_,X_INTRODUCED_84_,X_INTRODUCED_96_,X_INTRODUCED_108_,X_INTRODUCED_120_,X_INTRODUCED_132_];
array [1..12] of var int: X_INTRODUCED_158_ ::var_is_introduced  = [X_INTRODUCED_1_,1,X_INTRODUCED_25_,X_INTRODUCED_37_,X_INTRODUCED_49_,X_INTRODUCED_61_,X_INTRODUCED_73_,X_INTRODUCED_85_,X_INTRODUCED_97_,X_INTRODUCED_109_,X_INTRODUCED_121_,X_INTRODUCED_133_];
array [1..12] of var int: X_INTRODUCED_159_ ::var_is_introduced  = [X_INTRODUCED_2_,X_INTRODUCED_14_,2,X_INTRODUCED_38_,X_INTRODUCED_50_,X_INTRODUCED_62_,X_INTRODUCED_74_,X_INTRODUCED_86_,X_INTRODUCED_98_,X_INTRODUCED_110_,X_INTRODUCED_122_,X_INTRODUCED_134_];
array [1..12] of var int: X_INTRODUCED_160_ ::var_is_introduced  = [X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_27_,3,X_INTRODUCED_51_,X_INTRODUCED_63_,X_INTRODUCED_75_,X_INTRODUCED_87_,X_INTRODUCED_99_,X_INTRODUCED_111_,X_INTRODUCED_123_,X_INTRODUCED_135_];
array [1..12] of var int: X_INTRODUCED_161_ ::var_is_introduced  = [X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_28_,X_INTRODUCED_40_,4,X_INTRODUCED_64_,X_INTRODUCED_76_,X_INTRODUCED_88_,X_INTRODUCED_100_,X_INTRODUCED_112_,X_INTRODUCED_124_,X_INTRODUCED_136_];
array [1..12] of var int: X_INTRODUCED_162_ ::var_is_introduced  = [X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_29_,X_INTRODUCED_41_,X_INTRODUCED_53_,5,X_INTRODUCED_77_,X_INTRODUCED_89_,X_INTRODUCED_101_,X_INTRODUCED_113_,X_INTRODUCED_125_,X_INTRODUCED_137_];
array [1..12] of var int: X_INTRODUCED_163_ ::var_is_introduced  = [X_INTRODUCED_6_,X_INTRODUCED_18_,X_INTRODUCED_30_,X_INTRODUCED_42_,X_INTRODUCED_54_,X_INTRODUCED_66_,6,X_INTRODUCED_90_,X_INTRODUCED_102_,X_INTRODUCED_114_,X_INTRODUCED_126_,X_INTRODUCED_138_];
array [1..12] of var int: X_INTRODUCED_164_ ::var_is_introduced  = [X_INTRODUCED_7_,X_INTRODUCED_19_,X_INTRODUCED_31_,X_INTRODUCED_43_,X_INTRODUCED_55_,X_INTRODUCED_67_,X_INTRODUCED_79_,7,X_INTRODUCED_103_,X_INTRODUCED_115_,X_INTRODUCED_127_,X_INTRODUCED_139_];
array [1..12] of var int: X_INTRODUCED_165_ ::var_is_introduced  = [X_INTRODUCED_8_,X_INTRODUCED_20_,X_INTRODUCED_32_,X_INTRODUCED_44_,X_INTRODUCED_56_,X_INTRODUCED_68_,X_INTRODUCED_80_,X_INTRODUCED_92_,8,X_INTRODUCED_116_,X_INTRODUCED_128_,X_INTRODUCED_140_];
array [1..12] of var int: X_INTRODUCED_166_ ::var_is_introduced  = [X_INTRODUCED_9_,X_INTRODUCED_21_,X_INTRODUCED_33_,X_INTRODUCED_45_,X_INTRODUCED_57_,X_INTRODUCED_69_,X_INTRODUCED_81_,X_INTRODUCED_93_,X_INTRODUCED_105_,9,X_INTRODUCED_129_,X_INTRODUCED_141_];
array [1..12] of var int: X_INTRODUCED_167_ ::var_is_introduced  = [X_INTRODUCED_10_,X_INTRODUCED_22_,X_INTRODUCED_34_,X_INTRODUCED_46_,X_INTRODUCED_58_,X_INTRODUCED_70_,X_INTRODUCED_82_,X_INTRODUCED_94_,X_INTRODUCED_106_,X_INTRODUCED_118_,10,X_INTRODUCED_142_];
array [1..12] of var int: X_INTRODUCED_168_ ::var_is_introduced  = [X_INTRODUCED_11_,X_INTRODUCED_23_,X_INTRODUCED_35_,X_INTRODUCED_47_,X_INTRODUCED_59_,X_INTRODUCED_71_,X_INTRODUCED_83_,X_INTRODUCED_95_,X_INTRODUCED_107_,X_INTRODUCED_119_,X_INTRODUCED_131_,11];
array [1..144] of var int: X_INTRODUCED_638_ ::var_is_introduced  = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,1,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,2,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,3,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,4,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,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_,5,X_INTRODUCED_66_,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_,X_INTRODUCED_76_,X_INTRODUCED_77_,6,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,X_INTRODUCED_85_,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_,X_INTRODUCED_89_,X_INTRODUCED_90_,7,X_INTRODUCED_92_,X_INTRODUCED_93_,X_INTRODUCED_94_,X_INTRODUCED_95_,X_INTRODUCED_96_,X_INTRODUCED_97_,X_INTRODUCED_98_,X_INTRODUCED_99_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,8,X_INTRODUCED_105_,X_INTRODUCED_106_,X_INTRODUCED_107_,X_INTRODUCED_108_,X_INTRODUCED_109_,X_INTRODUCED_110_,X_INTRODUCED_111_,X_INTRODUCED_112_,X_INTRODUCED_113_,X_INTRODUCED_114_,X_INTRODUCED_115_,X_INTRODUCED_116_,9,X_INTRODUCED_118_,X_INTRODUCED_119_,X_INTRODUCED_120_,X_INTRODUCED_121_,X_INTRODUCED_122_,X_INTRODUCED_123_,X_INTRODUCED_124_,X_INTRODUCED_125_,X_INTRODUCED_126_,X_INTRODUCED_127_,X_INTRODUCED_128_,X_INTRODUCED_129_,10,X_INTRODUCED_131_,X_INTRODUCED_132_,X_INTRODUCED_133_,X_INTRODUCED_134_,X_INTRODUCED_135_,X_INTRODUCED_136_,X_INTRODUCED_137_,X_INTRODUCED_138_,X_INTRODUCED_139_,X_INTRODUCED_140_,X_INTRODUCED_141_,X_INTRODUCED_142_,11];
constraint int_lin_ne([-1],[X_INTRODUCED_1_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_2_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_3_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_4_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_5_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_6_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_7_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_8_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_9_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_10_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0);
constraint int_lin_ne([1],[X_INTRODUCED_12_],1);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_23_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_14_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_15_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_16_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_17_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_18_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_19_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_20_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_21_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_22_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_23_],-1);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_25_],0);
constraint int_lin_ne([1],[X_INTRODUCED_24_],2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_35_],0);
constraint int_lin_ne([1],[X_INTRODUCED_25_],2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_35_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_27_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_28_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_29_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_30_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_31_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_32_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_33_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_34_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_38_],0);
constraint int_lin_ne([1],[X_INTRODUCED_36_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_38_],0);
constraint int_lin_ne([1],[X_INTRODUCED_37_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_47_],0);
constraint int_lin_ne([1],[X_INTRODUCED_38_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_47_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_42_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_43_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_44_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_45_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_46_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_47_],-3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_48_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_49_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_50_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_51_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_59_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_53_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_54_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_55_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_56_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_57_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_58_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_59_],-4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_64_],0);
constraint int_lin_ne([1],[X_INTRODUCED_60_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_64_],0);
constraint int_lin_ne([1],[X_INTRODUCED_61_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_64_],0);
constraint int_lin_ne([1],[X_INTRODUCED_62_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_64_],0);
constraint int_lin_ne([1],[X_INTRODUCED_63_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_64_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_71_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_66_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_67_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_68_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_69_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_70_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_71_],-5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_72_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_73_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_74_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_75_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_76_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_83_],0);
constraint int_lin_ne([1],[X_INTRODUCED_77_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_83_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_79_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_80_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_81_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_82_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_83_],-6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_82_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_84_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_85_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_86_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_87_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_88_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_90_],0);
constraint int_lin_ne([1],[X_INTRODUCED_89_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_95_],0);
constraint int_lin_ne([1],[X_INTRODUCED_90_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_92_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_95_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_92_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_93_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_94_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_95_],-7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_93_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_93_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_94_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_96_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_97_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_98_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_99_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_100_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_101_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_103_],0);
constraint int_lin_ne([1],[X_INTRODUCED_102_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_107_],0);
constraint int_lin_ne([1],[X_INTRODUCED_103_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_105_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_107_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_105_],-8);
constraint int_lin_ne([-1],[X_INTRODUCED_106_],-8);
constraint int_lin_ne([-1],[X_INTRODUCED_107_],-8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_105_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_105_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_106_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_108_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_109_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_110_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_111_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_112_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_113_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_114_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_115_,X_INTRODUCED_116_],0);
constraint int_lin_ne([1],[X_INTRODUCED_115_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_115_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_115_,X_INTRODUCED_119_],0);
constraint int_lin_ne([1],[X_INTRODUCED_116_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_116_,X_INTRODUCED_118_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_116_,X_INTRODUCED_119_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_118_],-9);
constraint int_lin_ne([-1],[X_INTRODUCED_119_],-9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_118_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_120_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_121_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_122_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_123_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_124_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_125_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_126_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_126_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_126_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_126_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_126_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_127_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_127_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_127_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_127_,X_INTRODUCED_131_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_128_,X_INTRODUCED_129_],0);
constraint int_lin_ne([1],[X_INTRODUCED_128_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_128_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_129_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_129_,X_INTRODUCED_131_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_131_],-10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_132_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_132_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_133_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_133_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_134_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_134_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_135_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_135_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_136_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_136_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_137_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_137_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_137_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_137_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_137_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_137_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_138_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_138_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_138_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_138_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_138_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_139_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_139_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_139_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_139_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_140_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_140_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_140_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_141_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_141_],11);
constraint int_lin_ne([1],[X_INTRODUCED_142_],11);
constraint int_lin_ne([-1],[X_INTRODUCED_12_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_24_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_48_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_60_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_72_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_84_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_96_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_108_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_120_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_12_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_24_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_36_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_48_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_60_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_84_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_72_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_96_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_84_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_108_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_96_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_120_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_108_,X_INTRODUCED_132_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_120_,X_INTRODUCED_132_],0);
constraint int_lin_ne([1],[X_INTRODUCED_1_],1);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_1_,X_INTRODUCED_133_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_25_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_49_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_61_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_73_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_85_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_97_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_109_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_121_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_133_],-1);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_25_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_37_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_49_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_61_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_85_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_73_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_97_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_85_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_109_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_97_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_121_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_109_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_121_,X_INTRODUCED_133_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_14_],0);
constraint int_lin_ne([1],[X_INTRODUCED_2_],2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_2_,X_INTRODUCED_134_],0);
constraint int_lin_ne([1],[X_INTRODUCED_14_],2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_14_,X_INTRODUCED_134_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_50_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_62_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_74_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_86_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_98_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_110_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_122_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_134_],-2);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_38_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_50_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_62_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_86_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_74_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_98_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_86_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_110_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_98_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_122_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_110_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_122_,X_INTRODUCED_134_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_3_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_3_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_15_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_15_,X_INTRODUCED_135_],0);
constraint int_lin_ne([1],[X_INTRODUCED_27_],3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_27_,X_INTRODUCED_135_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_51_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_63_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_75_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_87_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_99_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_111_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_123_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_135_],-3);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_51_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_63_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_87_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_75_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_99_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_87_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_111_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_99_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_123_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_111_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_123_,X_INTRODUCED_135_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_40_],0);
constraint int_lin_ne([1],[X_INTRODUCED_4_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_4_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_40_],0);
constraint int_lin_ne([1],[X_INTRODUCED_16_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_40_],0);
constraint int_lin_ne([1],[X_INTRODUCED_28_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_28_,X_INTRODUCED_136_],0);
constraint int_lin_ne([1],[X_INTRODUCED_40_],4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_40_,X_INTRODUCED_136_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_64_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_76_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_88_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_100_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_112_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_124_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_136_],-4);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_64_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_88_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_76_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_100_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_88_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_112_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_100_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_124_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_112_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_124_,X_INTRODUCED_136_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_5_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_5_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_17_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_17_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_29_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_29_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_41_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_41_,X_INTRODUCED_137_],0);
constraint int_lin_ne([1],[X_INTRODUCED_53_],5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_53_,X_INTRODUCED_137_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_77_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_89_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_101_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_113_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_125_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_137_],-5);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_89_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_77_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_101_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_89_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_113_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_101_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_125_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_113_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_125_,X_INTRODUCED_137_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_66_],0);
constraint int_lin_ne([1],[X_INTRODUCED_6_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_6_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_66_],0);
constraint int_lin_ne([1],[X_INTRODUCED_18_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_18_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_66_],0);
constraint int_lin_ne([1],[X_INTRODUCED_30_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_30_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_66_],0);
constraint int_lin_ne([1],[X_INTRODUCED_42_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_42_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_66_],0);
constraint int_lin_ne([1],[X_INTRODUCED_54_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_54_,X_INTRODUCED_138_],0);
constraint int_lin_ne([1],[X_INTRODUCED_66_],6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_90_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_66_,X_INTRODUCED_138_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_90_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_102_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_114_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_126_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_138_],-6);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_102_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_90_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_114_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_102_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_126_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_114_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_126_,X_INTRODUCED_138_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_7_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_19_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_19_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_31_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_31_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_43_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_43_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_55_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_55_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_67_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_67_,X_INTRODUCED_139_],0);
constraint int_lin_ne([1],[X_INTRODUCED_79_],7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_103_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_79_,X_INTRODUCED_139_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_103_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_115_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_127_],-7);
constraint int_lin_ne([-1],[X_INTRODUCED_139_],-7);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_115_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_103_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_115_,X_INTRODUCED_127_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_115_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_127_,X_INTRODUCED_139_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_8_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_8_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_20_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_20_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_32_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_32_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_44_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_44_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_56_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_56_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_80_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_68_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_68_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_92_],0);
constraint int_lin_ne([1],[X_INTRODUCED_80_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_80_,X_INTRODUCED_140_],0);
constraint int_lin_ne([1],[X_INTRODUCED_92_],8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_116_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_92_,X_INTRODUCED_140_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_116_],-8);
constraint int_lin_ne([-1],[X_INTRODUCED_128_],-8);
constraint int_lin_ne([-1],[X_INTRODUCED_140_],-8);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_116_,X_INTRODUCED_128_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_116_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_128_,X_INTRODUCED_140_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_9_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_9_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_21_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_21_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_33_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_33_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_45_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_45_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_57_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_57_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_81_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_69_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_69_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_93_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_81_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_81_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_93_,X_INTRODUCED_105_],0);
constraint int_lin_ne([1],[X_INTRODUCED_93_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_93_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_93_,X_INTRODUCED_141_],0);
constraint int_lin_ne([1],[X_INTRODUCED_105_],9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_105_,X_INTRODUCED_129_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_105_,X_INTRODUCED_141_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_129_],-9);
constraint int_lin_ne([-1],[X_INTRODUCED_141_],-9);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_129_,X_INTRODUCED_141_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_10_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_10_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_22_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_22_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_34_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_34_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_46_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_46_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_70_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_58_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_58_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_82_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_70_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_70_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_82_,X_INTRODUCED_94_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_82_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_82_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_82_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_82_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_94_,X_INTRODUCED_106_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_94_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_94_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_94_,X_INTRODUCED_142_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_106_,X_INTRODUCED_118_],0);
constraint int_lin_ne([1],[X_INTRODUCED_106_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_106_,X_INTRODUCED_142_],0);
constraint int_lin_ne([1],[X_INTRODUCED_118_],10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_118_,X_INTRODUCED_142_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_142_],-10);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_11_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_11_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_23_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_23_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_35_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_35_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_47_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_47_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_59_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_59_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_71_,X_INTRODUCED_83_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_71_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_71_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_71_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_71_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_71_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_83_,X_INTRODUCED_95_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_83_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_83_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_83_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_83_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_95_,X_INTRODUCED_107_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_95_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_95_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_95_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_107_,X_INTRODUCED_119_],0);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_107_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_107_],11);
constraint int_lin_ne(X_INTRODUCED_145_,[X_INTRODUCED_119_,X_INTRODUCED_131_],0);
constraint int_lin_ne([1],[X_INTRODUCED_119_],11);
constraint int_lin_ne([1],[X_INTRODUCED_131_],11);
constraint array_var_int_element(X_INTRODUCED_176_,X_INTRODUCED_144_,X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_var_int_element(X_INTRODUCED_176_,X_INTRODUCED_158_,X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_var_int_element(X_INTRODUCED_180_,X_INTRODUCED_144_,X_INTRODUCED_182_):: defines_var(X_INTRODUCED_182_);
constraint array_var_int_element(X_INTRODUCED_180_,X_INTRODUCED_159_,X_INTRODUCED_182_):: defines_var(X_INTRODUCED_182_);
constraint array_var_int_element(X_INTRODUCED_184_,X_INTRODUCED_144_,X_INTRODUCED_186_):: defines_var(X_INTRODUCED_186_);
constraint array_var_int_element(X_INTRODUCED_184_,X_INTRODUCED_160_,X_INTRODUCED_186_):: defines_var(X_INTRODUCED_186_);
constraint array_var_int_element(X_INTRODUCED_188_,X_INTRODUCED_144_,X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint array_var_int_element(X_INTRODUCED_188_,X_INTRODUCED_161_,X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint array_var_int_element(X_INTRODUCED_192_,X_INTRODUCED_144_,X_INTRODUCED_194_):: defines_var(X_INTRODUCED_194_);
constraint array_var_int_element(X_INTRODUCED_192_,X_INTRODUCED_162_,X_INTRODUCED_194_):: defines_var(X_INTRODUCED_194_);
constraint array_var_int_element(X_INTRODUCED_196_,X_INTRODUCED_144_,X_INTRODUCED_198_):: defines_var(X_INTRODUCED_198_);
constraint array_var_int_element(X_INTRODUCED_196_,X_INTRODUCED_163_,X_INTRODUCED_198_):: defines_var(X_INTRODUCED_198_);
constraint array_var_int_element(X_INTRODUCED_200_,X_INTRODUCED_144_,X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_var_int_element(X_INTRODUCED_200_,X_INTRODUCED_164_,X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_var_int_element(X_INTRODUCED_204_,X_INTRODUCED_144_,X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint array_var_int_element(X_INTRODUCED_204_,X_INTRODUCED_165_,X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint array_var_int_element(X_INTRODUCED_208_,X_INTRODUCED_144_,X_INTRODUCED_210_):: defines_var(X_INTRODUCED_210_);
constraint array_var_int_element(X_INTRODUCED_208_,X_INTRODUCED_166_,X_INTRODUCED_210_):: defines_var(X_INTRODUCED_210_);
constraint array_var_int_element(X_INTRODUCED_212_,X_INTRODUCED_144_,X_INTRODUCED_214_):: defines_var(X_INTRODUCED_214_);
constraint array_var_int_element(X_INTRODUCED_212_,X_INTRODUCED_167_,X_INTRODUCED_214_):: defines_var(X_INTRODUCED_214_);
constraint array_var_int_element(X_INTRODUCED_216_,X_INTRODUCED_144_,X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_216_,X_INTRODUCED_168_,X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_221_,X_INTRODUCED_146_,X_INTRODUCED_222_):: defines_var(X_INTRODUCED_222_);
constraint array_var_int_element(X_INTRODUCED_221_,X_INTRODUCED_157_,X_INTRODUCED_222_):: defines_var(X_INTRODUCED_222_);
constraint array_var_int_element(X_INTRODUCED_227_,X_INTRODUCED_146_,X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint array_var_int_element(X_INTRODUCED_227_,X_INTRODUCED_159_,X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint array_var_int_element(X_INTRODUCED_230_,X_INTRODUCED_146_,X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint array_var_int_element(X_INTRODUCED_230_,X_INTRODUCED_160_,X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint array_var_int_element(X_INTRODUCED_233_,X_INTRODUCED_146_,X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_var_int_element(X_INTRODUCED_233_,X_INTRODUCED_161_,X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_var_int_element(X_INTRODUCED_236_,X_INTRODUCED_146_,X_INTRODUCED_237_):: defines_var(X_INTRODUCED_237_);
constraint array_var_int_element(X_INTRODUCED_236_,X_INTRODUCED_162_,X_INTRODUCED_237_):: defines_var(X_INTRODUCED_237_);
constraint array_var_int_element(X_INTRODUCED_239_,X_INTRODUCED_146_,X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_var_int_element(X_INTRODUCED_239_,X_INTRODUCED_163_,X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_var_int_element(X_INTRODUCED_242_,X_INTRODUCED_146_,X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_242_,X_INTRODUCED_164_,X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_245_,X_INTRODUCED_146_,X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_245_,X_INTRODUCED_165_,X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_248_,X_INTRODUCED_146_,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_248_,X_INTRODUCED_166_,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_251_,X_INTRODUCED_146_,X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint array_var_int_element(X_INTRODUCED_251_,X_INTRODUCED_167_,X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint array_var_int_element(X_INTRODUCED_254_,X_INTRODUCED_146_,X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint array_var_int_element(X_INTRODUCED_254_,X_INTRODUCED_168_,X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint array_var_int_element(X_INTRODUCED_258_,X_INTRODUCED_147_,X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint array_var_int_element(X_INTRODUCED_258_,X_INTRODUCED_157_,X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint array_var_int_element(X_INTRODUCED_261_,X_INTRODUCED_147_,X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_var_int_element(X_INTRODUCED_261_,X_INTRODUCED_158_,X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_var_int_element(X_INTRODUCED_267_,X_INTRODUCED_147_,X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_var_int_element(X_INTRODUCED_267_,X_INTRODUCED_160_,X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_var_int_element(X_INTRODUCED_270_,X_INTRODUCED_147_,X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_270_,X_INTRODUCED_161_,X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_273_,X_INTRODUCED_147_,X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_273_,X_INTRODUCED_162_,X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_276_,X_INTRODUCED_147_,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_276_,X_INTRODUCED_163_,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_279_,X_INTRODUCED_147_,X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint array_var_int_element(X_INTRODUCED_279_,X_INTRODUCED_164_,X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint array_var_int_element(X_INTRODUCED_282_,X_INTRODUCED_147_,X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint array_var_int_element(X_INTRODUCED_282_,X_INTRODUCED_165_,X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint array_var_int_element(X_INTRODUCED_285_,X_INTRODUCED_147_,X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint array_var_int_element(X_INTRODUCED_285_,X_INTRODUCED_166_,X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint array_var_int_element(X_INTRODUCED_288_,X_INTRODUCED_147_,X_INTRODUCED_289_):: defines_var(X_INTRODUCED_289_);
constraint array_var_int_element(X_INTRODUCED_288_,X_INTRODUCED_167_,X_INTRODUCED_289_):: defines_var(X_INTRODUCED_289_);
constraint array_var_int_element(X_INTRODUCED_291_,X_INTRODUCED_147_,X_INTRODUCED_292_):: defines_var(X_INTRODUCED_292_);
constraint array_var_int_element(X_INTRODUCED_291_,X_INTRODUCED_168_,X_INTRODUCED_292_):: defines_var(X_INTRODUCED_292_);
constraint array_var_int_element(X_INTRODUCED_295_,X_INTRODUCED_148_,X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_var_int_element(X_INTRODUCED_295_,X_INTRODUCED_157_,X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_var_int_element(X_INTRODUCED_298_,X_INTRODUCED_148_,X_INTRODUCED_299_):: defines_var(X_INTRODUCED_299_);
constraint array_var_int_element(X_INTRODUCED_298_,X_INTRODUCED_158_,X_INTRODUCED_299_):: defines_var(X_INTRODUCED_299_);
constraint array_var_int_element(X_INTRODUCED_301_,X_INTRODUCED_148_,X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint array_var_int_element(X_INTRODUCED_301_,X_INTRODUCED_159_,X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint array_var_int_element(X_INTRODUCED_307_,X_INTRODUCED_148_,X_INTRODUCED_308_):: defines_var(X_INTRODUCED_308_);
constraint array_var_int_element(X_INTRODUCED_307_,X_INTRODUCED_161_,X_INTRODUCED_308_):: defines_var(X_INTRODUCED_308_);
constraint array_var_int_element(X_INTRODUCED_310_,X_INTRODUCED_148_,X_INTRODUCED_311_):: defines_var(X_INTRODUCED_311_);
constraint array_var_int_element(X_INTRODUCED_310_,X_INTRODUCED_162_,X_INTRODUCED_311_):: defines_var(X_INTRODUCED_311_);
constraint array_var_int_element(X_INTRODUCED_313_,X_INTRODUCED_148_,X_INTRODUCED_314_):: defines_var(X_INTRODUCED_314_);
constraint array_var_int_element(X_INTRODUCED_313_,X_INTRODUCED_163_,X_INTRODUCED_314_):: defines_var(X_INTRODUCED_314_);
constraint array_var_int_element(X_INTRODUCED_316_,X_INTRODUCED_148_,X_INTRODUCED_317_):: defines_var(X_INTRODUCED_317_);
constraint array_var_int_element(X_INTRODUCED_316_,X_INTRODUCED_164_,X_INTRODUCED_317_):: defines_var(X_INTRODUCED_317_);
constraint array_var_int_element(X_INTRODUCED_319_,X_INTRODUCED_148_,X_INTRODUCED_320_):: defines_var(X_INTRODUCED_320_);
constraint array_var_int_element(X_INTRODUCED_319_,X_INTRODUCED_165_,X_INTRODUCED_320_):: defines_var(X_INTRODUCED_320_);
constraint array_var_int_element(X_INTRODUCED_322_,X_INTRODUCED_148_,X_INTRODUCED_323_):: defines_var(X_INTRODUCED_323_);
constraint array_var_int_element(X_INTRODUCED_322_,X_INTRODUCED_166_,X_INTRODUCED_323_):: defines_var(X_INTRODUCED_323_);
constraint array_var_int_element(X_INTRODUCED_325_,X_INTRODUCED_148_,X_INTRODUCED_326_):: defines_var(X_INTRODUCED_326_);
constraint array_var_int_element(X_INTRODUCED_325_,X_INTRODUCED_167_,X_INTRODUCED_326_):: defines_var(X_INTRODUCED_326_);
constraint array_var_int_element(X_INTRODUCED_328_,X_INTRODUCED_148_,X_INTRODUCED_329_):: defines_var(X_INTRODUCED_329_);
constraint array_var_int_element(X_INTRODUCED_328_,X_INTRODUCED_168_,X_INTRODUCED_329_):: defines_var(X_INTRODUCED_329_);
constraint array_var_int_element(X_INTRODUCED_332_,X_INTRODUCED_149_,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_var_int_element(X_INTRODUCED_332_,X_INTRODUCED_157_,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_var_int_element(X_INTRODUCED_335_,X_INTRODUCED_149_,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint array_var_int_element(X_INTRODUCED_335_,X_INTRODUCED_158_,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint array_var_int_element(X_INTRODUCED_338_,X_INTRODUCED_149_,X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint array_var_int_element(X_INTRODUCED_338_,X_INTRODUCED_159_,X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint array_var_int_element(X_INTRODUCED_341_,X_INTRODUCED_149_,X_INTRODUCED_342_):: defines_var(X_INTRODUCED_342_);
constraint array_var_int_element(X_INTRODUCED_341_,X_INTRODUCED_160_,X_INTRODUCED_342_):: defines_var(X_INTRODUCED_342_);
constraint array_var_int_element(X_INTRODUCED_347_,X_INTRODUCED_149_,X_INTRODUCED_348_):: defines_var(X_INTRODUCED_348_);
constraint array_var_int_element(X_INTRODUCED_347_,X_INTRODUCED_162_,X_INTRODUCED_348_):: defines_var(X_INTRODUCED_348_);
constraint array_var_int_element(X_INTRODUCED_350_,X_INTRODUCED_149_,X_INTRODUCED_351_):: defines_var(X_INTRODUCED_351_);
constraint array_var_int_element(X_INTRODUCED_350_,X_INTRODUCED_163_,X_INTRODUCED_351_):: defines_var(X_INTRODUCED_351_);
constraint array_var_int_element(X_INTRODUCED_353_,X_INTRODUCED_149_,X_INTRODUCED_354_):: defines_var(X_INTRODUCED_354_);
constraint array_var_int_element(X_INTRODUCED_353_,X_INTRODUCED_164_,X_INTRODUCED_354_):: defines_var(X_INTRODUCED_354_);
constraint array_var_int_element(X_INTRODUCED_356_,X_INTRODUCED_149_,X_INTRODUCED_357_):: defines_var(X_INTRODUCED_357_);
constraint array_var_int_element(X_INTRODUCED_356_,X_INTRODUCED_165_,X_INTRODUCED_357_):: defines_var(X_INTRODUCED_357_);
constraint array_var_int_element(X_INTRODUCED_359_,X_INTRODUCED_149_,X_INTRODUCED_360_):: defines_var(X_INTRODUCED_360_);
constraint array_var_int_element(X_INTRODUCED_359_,X_INTRODUCED_166_,X_INTRODUCED_360_):: defines_var(X_INTRODUCED_360_);
constraint array_var_int_element(X_INTRODUCED_362_,X_INTRODUCED_149_,X_INTRODUCED_363_):: defines_var(X_INTRODUCED_363_);
constraint array_var_int_element(X_INTRODUCED_362_,X_INTRODUCED_167_,X_INTRODUCED_363_):: defines_var(X_INTRODUCED_363_);
constraint array_var_int_element(X_INTRODUCED_365_,X_INTRODUCED_149_,X_INTRODUCED_366_):: defines_var(X_INTRODUCED_366_);
constraint array_var_int_element(X_INTRODUCED_365_,X_INTRODUCED_168_,X_INTRODUCED_366_):: defines_var(X_INTRODUCED_366_);
constraint array_var_int_element(X_INTRODUCED_369_,X_INTRODUCED_150_,X_INTRODUCED_370_):: defines_var(X_INTRODUCED_370_);
constraint array_var_int_element(X_INTRODUCED_369_,X_INTRODUCED_157_,X_INTRODUCED_370_):: defines_var(X_INTRODUCED_370_);
constraint array_var_int_element(X_INTRODUCED_372_,X_INTRODUCED_150_,X_INTRODUCED_373_):: defines_var(X_INTRODUCED_373_);
constraint array_var_int_element(X_INTRODUCED_372_,X_INTRODUCED_158_,X_INTRODUCED_373_):: defines_var(X_INTRODUCED_373_);
constraint array_var_int_element(X_INTRODUCED_375_,X_INTRODUCED_150_,X_INTRODUCED_376_):: defines_var(X_INTRODUCED_376_);
constraint array_var_int_element(X_INTRODUCED_375_,X_INTRODUCED_159_,X_INTRODUCED_376_):: defines_var(X_INTRODUCED_376_);
constraint array_var_int_element(X_INTRODUCED_378_,X_INTRODUCED_150_,X_INTRODUCED_379_):: defines_var(X_INTRODUCED_379_);
constraint array_var_int_element(X_INTRODUCED_378_,X_INTRODUCED_160_,X_INTRODUCED_379_):: defines_var(X_INTRODUCED_379_);
constraint array_var_int_element(X_INTRODUCED_381_,X_INTRODUCED_150_,X_INTRODUCED_382_):: defines_var(X_INTRODUCED_382_);
constraint array_var_int_element(X_INTRODUCED_381_,X_INTRODUCED_161_,X_INTRODUCED_382_):: defines_var(X_INTRODUCED_382_);
constraint array_var_int_element(X_INTRODUCED_387_,X_INTRODUCED_150_,X_INTRODUCED_388_):: defines_var(X_INTRODUCED_388_);
constraint array_var_int_element(X_INTRODUCED_387_,X_INTRODUCED_163_,X_INTRODUCED_388_):: defines_var(X_INTRODUCED_388_);
constraint array_var_int_element(X_INTRODUCED_390_,X_INTRODUCED_150_,X_INTRODUCED_391_):: defines_var(X_INTRODUCED_391_);
constraint array_var_int_element(X_INTRODUCED_390_,X_INTRODUCED_164_,X_INTRODUCED_391_):: defines_var(X_INTRODUCED_391_);
constraint array_var_int_element(X_INTRODUCED_393_,X_INTRODUCED_150_,X_INTRODUCED_394_):: defines_var(X_INTRODUCED_394_);
constraint array_var_int_element(X_INTRODUCED_393_,X_INTRODUCED_165_,X_INTRODUCED_394_):: defines_var(X_INTRODUCED_394_);
constraint array_var_int_element(X_INTRODUCED_396_,X_INTRODUCED_150_,X_INTRODUCED_397_):: defines_var(X_INTRODUCED_397_);
constraint array_var_int_element(X_INTRODUCED_396_,X_INTRODUCED_166_,X_INTRODUCED_397_):: defines_var(X_INTRODUCED_397_);
constraint array_var_int_element(X_INTRODUCED_399_,X_INTRODUCED_150_,X_INTRODUCED_400_):: defines_var(X_INTRODUCED_400_);
constraint array_var_int_element(X_INTRODUCED_399_,X_INTRODUCED_167_,X_INTRODUCED_400_):: defines_var(X_INTRODUCED_400_);
constraint array_var_int_element(X_INTRODUCED_402_,X_INTRODUCED_150_,X_INTRODUCED_403_):: defines_var(X_INTRODUCED_403_);
constraint array_var_int_element(X_INTRODUCED_402_,X_INTRODUCED_168_,X_INTRODUCED_403_):: defines_var(X_INTRODUCED_403_);
constraint array_var_int_element(X_INTRODUCED_406_,X_INTRODUCED_151_,X_INTRODUCED_407_):: defines_var(X_INTRODUCED_407_);
constraint array_var_int_element(X_INTRODUCED_406_,X_INTRODUCED_157_,X_INTRODUCED_407_):: defines_var(X_INTRODUCED_407_);
constraint array_var_int_element(X_INTRODUCED_409_,X_INTRODUCED_151_,X_INTRODUCED_410_):: defines_var(X_INTRODUCED_410_);
constraint array_var_int_element(X_INTRODUCED_409_,X_INTRODUCED_158_,X_INTRODUCED_410_):: defines_var(X_INTRODUCED_410_);
constraint array_var_int_element(X_INTRODUCED_412_,X_INTRODUCED_151_,X_INTRODUCED_413_):: defines_var(X_INTRODUCED_413_);
constraint array_var_int_element(X_INTRODUCED_412_,X_INTRODUCED_159_,X_INTRODUCED_413_):: defines_var(X_INTRODUCED_413_);
constraint array_var_int_element(X_INTRODUCED_415_,X_INTRODUCED_151_,X_INTRODUCED_416_):: defines_var(X_INTRODUCED_416_);
constraint array_var_int_element(X_INTRODUCED_415_,X_INTRODUCED_160_,X_INTRODUCED_416_):: defines_var(X_INTRODUCED_416_);
constraint array_var_int_element(X_INTRODUCED_418_,X_INTRODUCED_151_,X_INTRODUCED_419_):: defines_var(X_INTRODUCED_419_);
constraint array_var_int_element(X_INTRODUCED_418_,X_INTRODUCED_161_,X_INTRODUCED_419_):: defines_var(X_INTRODUCED_419_);
constraint array_var_int_element(X_INTRODUCED_421_,X_INTRODUCED_151_,X_INTRODUCED_422_):: defines_var(X_INTRODUCED_422_);
constraint array_var_int_element(X_INTRODUCED_421_,X_INTRODUCED_162_,X_INTRODUCED_422_):: defines_var(X_INTRODUCED_422_);
constraint array_var_int_element(X_INTRODUCED_427_,X_INTRODUCED_151_,X_INTRODUCED_428_):: defines_var(X_INTRODUCED_428_);
constraint array_var_int_element(X_INTRODUCED_427_,X_INTRODUCED_164_,X_INTRODUCED_428_):: defines_var(X_INTRODUCED_428_);
constraint array_var_int_element(X_INTRODUCED_430_,X_INTRODUCED_151_,X_INTRODUCED_431_):: defines_var(X_INTRODUCED_431_);
constraint array_var_int_element(X_INTRODUCED_430_,X_INTRODUCED_165_,X_INTRODUCED_431_):: defines_var(X_INTRODUCED_431_);
constraint array_var_int_element(X_INTRODUCED_433_,X_INTRODUCED_151_,X_INTRODUCED_434_):: defines_var(X_INTRODUCED_434_);
constraint array_var_int_element(X_INTRODUCED_433_,X_INTRODUCED_166_,X_INTRODUCED_434_):: defines_var(X_INTRODUCED_434_);
constraint array_var_int_element(X_INTRODUCED_436_,X_INTRODUCED_151_,X_INTRODUCED_437_):: defines_var(X_INTRODUCED_437_);
constraint array_var_int_element(X_INTRODUCED_436_,X_INTRODUCED_167_,X_INTRODUCED_437_):: defines_var(X_INTRODUCED_437_);
constraint array_var_int_element(X_INTRODUCED_439_,X_INTRODUCED_151_,X_INTRODUCED_440_):: defines_var(X_INTRODUCED_440_);
constraint array_var_int_element(X_INTRODUCED_439_,X_INTRODUCED_168_,X_INTRODUCED_440_):: defines_var(X_INTRODUCED_440_);
constraint array_var_int_element(X_INTRODUCED_443_,X_INTRODUCED_152_,X_INTRODUCED_444_):: defines_var(X_INTRODUCED_444_);
constraint array_var_int_element(X_INTRODUCED_443_,X_INTRODUCED_157_,X_INTRODUCED_444_):: defines_var(X_INTRODUCED_444_);
constraint array_var_int_element(X_INTRODUCED_446_,X_INTRODUCED_152_,X_INTRODUCED_447_):: defines_var(X_INTRODUCED_447_);
constraint array_var_int_element(X_INTRODUCED_446_,X_INTRODUCED_158_,X_INTRODUCED_447_):: defines_var(X_INTRODUCED_447_);
constraint array_var_int_element(X_INTRODUCED_449_,X_INTRODUCED_152_,X_INTRODUCED_450_):: defines_var(X_INTRODUCED_450_);
constraint array_var_int_element(X_INTRODUCED_449_,X_INTRODUCED_159_,X_INTRODUCED_450_):: defines_var(X_INTRODUCED_450_);
constraint array_var_int_element(X_INTRODUCED_452_,X_INTRODUCED_152_,X_INTRODUCED_453_):: defines_var(X_INTRODUCED_453_);
constraint array_var_int_element(X_INTRODUCED_452_,X_INTRODUCED_160_,X_INTRODUCED_453_):: defines_var(X_INTRODUCED_453_);
constraint array_var_int_element(X_INTRODUCED_455_,X_INTRODUCED_152_,X_INTRODUCED_456_):: defines_var(X_INTRODUCED_456_);
constraint array_var_int_element(X_INTRODUCED_455_,X_INTRODUCED_161_,X_INTRODUCED_456_):: defines_var(X_INTRODUCED_456_);
constraint array_var_int_element(X_INTRODUCED_458_,X_INTRODUCED_152_,X_INTRODUCED_459_):: defines_var(X_INTRODUCED_459_);
constraint array_var_int_element(X_INTRODUCED_458_,X_INTRODUCED_162_,X_INTRODUCED_459_):: defines_var(X_INTRODUCED_459_);
constraint array_var_int_element(X_INTRODUCED_461_,X_INTRODUCED_152_,X_INTRODUCED_462_):: defines_var(X_INTRODUCED_462_);
constraint array_var_int_element(X_INTRODUCED_461_,X_INTRODUCED_163_,X_INTRODUCED_462_):: defines_var(X_INTRODUCED_462_);
constraint array_var_int_element(X_INTRODUCED_467_,X_INTRODUCED_152_,X_INTRODUCED_468_):: defines_var(X_INTRODUCED_468_);
constraint array_var_int_element(X_INTRODUCED_467_,X_INTRODUCED_165_,X_INTRODUCED_468_):: defines_var(X_INTRODUCED_468_);
constraint array_var_int_element(X_INTRODUCED_470_,X_INTRODUCED_152_,X_INTRODUCED_471_):: defines_var(X_INTRODUCED_471_);
constraint array_var_int_element(X_INTRODUCED_470_,X_INTRODUCED_166_,X_INTRODUCED_471_):: defines_var(X_INTRODUCED_471_);
constraint array_var_int_element(X_INTRODUCED_473_,X_INTRODUCED_152_,X_INTRODUCED_474_):: defines_var(X_INTRODUCED_474_);
constraint array_var_int_element(X_INTRODUCED_473_,X_INTRODUCED_167_,X_INTRODUCED_474_):: defines_var(X_INTRODUCED_474_);
constraint array_var_int_element(X_INTRODUCED_476_,X_INTRODUCED_152_,X_INTRODUCED_477_):: defines_var(X_INTRODUCED_477_);
constraint array_var_int_element(X_INTRODUCED_476_,X_INTRODUCED_168_,X_INTRODUCED_477_):: defines_var(X_INTRODUCED_477_);
constraint array_var_int_element(X_INTRODUCED_480_,X_INTRODUCED_153_,X_INTRODUCED_481_):: defines_var(X_INTRODUCED_481_);
constraint array_var_int_element(X_INTRODUCED_480_,X_INTRODUCED_157_,X_INTRODUCED_481_):: defines_var(X_INTRODUCED_481_);
constraint array_var_int_element(X_INTRODUCED_483_,X_INTRODUCED_153_,X_INTRODUCED_484_):: defines_var(X_INTRODUCED_484_);
constraint array_var_int_element(X_INTRODUCED_483_,X_INTRODUCED_158_,X_INTRODUCED_484_):: defines_var(X_INTRODUCED_484_);
constraint array_var_int_element(X_INTRODUCED_486_,X_INTRODUCED_153_,X_INTRODUCED_487_):: defines_var(X_INTRODUCED_487_);
constraint array_var_int_element(X_INTRODUCED_486_,X_INTRODUCED_159_,X_INTRODUCED_487_):: defines_var(X_INTRODUCED_487_);
constraint array_var_int_element(X_INTRODUCED_489_,X_INTRODUCED_153_,X_INTRODUCED_490_):: defines_var(X_INTRODUCED_490_);
constraint array_var_int_element(X_INTRODUCED_489_,X_INTRODUCED_160_,X_INTRODUCED_490_):: defines_var(X_INTRODUCED_490_);
constraint array_var_int_element(X_INTRODUCED_492_,X_INTRODUCED_153_,X_INTRODUCED_493_):: defines_var(X_INTRODUCED_493_);
constraint array_var_int_element(X_INTRODUCED_492_,X_INTRODUCED_161_,X_INTRODUCED_493_):: defines_var(X_INTRODUCED_493_);
constraint array_var_int_element(X_INTRODUCED_495_,X_INTRODUCED_153_,X_INTRODUCED_496_):: defines_var(X_INTRODUCED_496_);
constraint array_var_int_element(X_INTRODUCED_495_,X_INTRODUCED_162_,X_INTRODUCED_496_):: defines_var(X_INTRODUCED_496_);
constraint array_var_int_element(X_INTRODUCED_498_,X_INTRODUCED_153_,X_INTRODUCED_499_):: defines_var(X_INTRODUCED_499_);
constraint array_var_int_element(X_INTRODUCED_498_,X_INTRODUCED_163_,X_INTRODUCED_499_):: defines_var(X_INTRODUCED_499_);
constraint array_var_int_element(X_INTRODUCED_501_,X_INTRODUCED_153_,X_INTRODUCED_502_):: defines_var(X_INTRODUCED_502_);
constraint array_var_int_element(X_INTRODUCED_501_,X_INTRODUCED_164_,X_INTRODUCED_502_):: defines_var(X_INTRODUCED_502_);
constraint array_var_int_element(X_INTRODUCED_507_,X_INTRODUCED_153_,X_INTRODUCED_508_):: defines_var(X_INTRODUCED_508_);
constraint array_var_int_element(X_INTRODUCED_507_,X_INTRODUCED_166_,X_INTRODUCED_508_):: defines_var(X_INTRODUCED_508_);
constraint array_var_int_element(X_INTRODUCED_510_,X_INTRODUCED_153_,X_INTRODUCED_511_):: defines_var(X_INTRODUCED_511_);
constraint array_var_int_element(X_INTRODUCED_510_,X_INTRODUCED_167_,X_INTRODUCED_511_):: defines_var(X_INTRODUCED_511_);
constraint array_var_int_element(X_INTRODUCED_513_,X_INTRODUCED_153_,X_INTRODUCED_514_):: defines_var(X_INTRODUCED_514_);
constraint array_var_int_element(X_INTRODUCED_513_,X_INTRODUCED_168_,X_INTRODUCED_514_):: defines_var(X_INTRODUCED_514_);
constraint array_var_int_element(X_INTRODUCED_517_,X_INTRODUCED_154_,X_INTRODUCED_518_):: defines_var(X_INTRODUCED_518_);
constraint array_var_int_element(X_INTRODUCED_517_,X_INTRODUCED_157_,X_INTRODUCED_518_):: defines_var(X_INTRODUCED_518_);
constraint array_var_int_element(X_INTRODUCED_520_,X_INTRODUCED_154_,X_INTRODUCED_521_):: defines_var(X_INTRODUCED_521_);
constraint array_var_int_element(X_INTRODUCED_520_,X_INTRODUCED_158_,X_INTRODUCED_521_):: defines_var(X_INTRODUCED_521_);
constraint array_var_int_element(X_INTRODUCED_523_,X_INTRODUCED_154_,X_INTRODUCED_524_):: defines_var(X_INTRODUCED_524_);
constraint array_var_int_element(X_INTRODUCED_523_,X_INTRODUCED_159_,X_INTRODUCED_524_):: defines_var(X_INTRODUCED_524_);
constraint array_var_int_element(X_INTRODUCED_526_,X_INTRODUCED_154_,X_INTRODUCED_527_):: defines_var(X_INTRODUCED_527_);
constraint array_var_int_element(X_INTRODUCED_526_,X_INTRODUCED_160_,X_INTRODUCED_527_):: defines_var(X_INTRODUCED_527_);
constraint array_var_int_element(X_INTRODUCED_529_,X_INTRODUCED_154_,X_INTRODUCED_530_):: defines_var(X_INTRODUCED_530_);
constraint array_var_int_element(X_INTRODUCED_529_,X_INTRODUCED_161_,X_INTRODUCED_530_):: defines_var(X_INTRODUCED_530_);
constraint array_var_int_element(X_INTRODUCED_532_,X_INTRODUCED_154_,X_INTRODUCED_533_):: defines_var(X_INTRODUCED_533_);
constraint array_var_int_element(X_INTRODUCED_532_,X_INTRODUCED_162_,X_INTRODUCED_533_):: defines_var(X_INTRODUCED_533_);
constraint array_var_int_element(X_INTRODUCED_535_,X_INTRODUCED_154_,X_INTRODUCED_536_):: defines_var(X_INTRODUCED_536_);
constraint array_var_int_element(X_INTRODUCED_535_,X_INTRODUCED_163_,X_INTRODUCED_536_):: defines_var(X_INTRODUCED_536_);
constraint array_var_int_element(X_INTRODUCED_538_,X_INTRODUCED_154_,X_INTRODUCED_539_):: defines_var(X_INTRODUCED_539_);
constraint array_var_int_element(X_INTRODUCED_538_,X_INTRODUCED_164_,X_INTRODUCED_539_):: defines_var(X_INTRODUCED_539_);
constraint array_var_int_element(X_INTRODUCED_541_,X_INTRODUCED_154_,X_INTRODUCED_542_):: defines_var(X_INTRODUCED_542_);
constraint array_var_int_element(X_INTRODUCED_541_,X_INTRODUCED_165_,X_INTRODUCED_542_):: defines_var(X_INTRODUCED_542_);
constraint array_var_int_element(X_INTRODUCED_547_,X_INTRODUCED_154_,X_INTRODUCED_548_):: defines_var(X_INTRODUCED_548_);
constraint array_var_int_element(X_INTRODUCED_547_,X_INTRODUCED_167_,X_INTRODUCED_548_):: defines_var(X_INTRODUCED_548_);
constraint array_var_int_element(X_INTRODUCED_550_,X_INTRODUCED_154_,X_INTRODUCED_551_):: defines_var(X_INTRODUCED_551_);
constraint array_var_int_element(X_INTRODUCED_550_,X_INTRODUCED_168_,X_INTRODUCED_551_):: defines_var(X_INTRODUCED_551_);
constraint array_var_int_element(X_INTRODUCED_554_,X_INTRODUCED_155_,X_INTRODUCED_555_):: defines_var(X_INTRODUCED_555_);
constraint array_var_int_element(X_INTRODUCED_554_,X_INTRODUCED_157_,X_INTRODUCED_555_):: defines_var(X_INTRODUCED_555_);
constraint array_var_int_element(X_INTRODUCED_557_,X_INTRODUCED_155_,X_INTRODUCED_558_):: defines_var(X_INTRODUCED_558_);
constraint array_var_int_element(X_INTRODUCED_557_,X_INTRODUCED_158_,X_INTRODUCED_558_):: defines_var(X_INTRODUCED_558_);
constraint array_var_int_element(X_INTRODUCED_560_,X_INTRODUCED_155_,X_INTRODUCED_561_):: defines_var(X_INTRODUCED_561_);
constraint array_var_int_element(X_INTRODUCED_560_,X_INTRODUCED_159_,X_INTRODUCED_561_):: defines_var(X_INTRODUCED_561_);
constraint array_var_int_element(X_INTRODUCED_563_,X_INTRODUCED_155_,X_INTRODUCED_564_):: defines_var(X_INTRODUCED_564_);
constraint array_var_int_element(X_INTRODUCED_563_,X_INTRODUCED_160_,X_INTRODUCED_564_):: defines_var(X_INTRODUCED_564_);
constraint array_var_int_element(X_INTRODUCED_566_,X_INTRODUCED_155_,X_INTRODUCED_567_):: defines_var(X_INTRODUCED_567_);
constraint array_var_int_element(X_INTRODUCED_566_,X_INTRODUCED_161_,X_INTRODUCED_567_):: defines_var(X_INTRODUCED_567_);
constraint array_var_int_element(X_INTRODUCED_569_,X_INTRODUCED_155_,X_INTRODUCED_570_):: defines_var(X_INTRODUCED_570_);
constraint array_var_int_element(X_INTRODUCED_569_,X_INTRODUCED_162_,X_INTRODUCED_570_):: defines_var(X_INTRODUCED_570_);
constraint array_var_int_element(X_INTRODUCED_572_,X_INTRODUCED_155_,X_INTRODUCED_573_):: defines_var(X_INTRODUCED_573_);
constraint array_var_int_element(X_INTRODUCED_572_,X_INTRODUCED_163_,X_INTRODUCED_573_):: defines_var(X_INTRODUCED_573_);
constraint array_var_int_element(X_INTRODUCED_575_,X_INTRODUCED_155_,X_INTRODUCED_576_):: defines_var(X_INTRODUCED_576_);
constraint array_var_int_element(X_INTRODUCED_575_,X_INTRODUCED_164_,X_INTRODUCED_576_):: defines_var(X_INTRODUCED_576_);
constraint array_var_int_element(X_INTRODUCED_578_,X_INTRODUCED_155_,X_INTRODUCED_579_):: defines_var(X_INTRODUCED_579_);
constraint array_var_int_element(X_INTRODUCED_578_,X_INTRODUCED_165_,X_INTRODUCED_579_):: defines_var(X_INTRODUCED_579_);
constraint array_var_int_element(X_INTRODUCED_581_,X_INTRODUCED_155_,X_INTRODUCED_582_):: defines_var(X_INTRODUCED_582_);
constraint array_var_int_element(X_INTRODUCED_581_,X_INTRODUCED_166_,X_INTRODUCED_582_):: defines_var(X_INTRODUCED_582_);
constraint array_var_int_element(X_INTRODUCED_587_,X_INTRODUCED_155_,X_INTRODUCED_588_):: defines_var(X_INTRODUCED_588_);
constraint array_var_int_element(X_INTRODUCED_587_,X_INTRODUCED_168_,X_INTRODUCED_588_):: defines_var(X_INTRODUCED_588_);
constraint array_var_int_element(X_INTRODUCED_591_,X_INTRODUCED_156_,X_INTRODUCED_592_):: defines_var(X_INTRODUCED_592_);
constraint array_var_int_element(X_INTRODUCED_591_,X_INTRODUCED_157_,X_INTRODUCED_592_):: defines_var(X_INTRODUCED_592_);
constraint array_var_int_element(X_INTRODUCED_594_,X_INTRODUCED_156_,X_INTRODUCED_595_):: defines_var(X_INTRODUCED_595_);
constraint array_var_int_element(X_INTRODUCED_594_,X_INTRODUCED_158_,X_INTRODUCED_595_):: defines_var(X_INTRODUCED_595_);
constraint array_var_int_element(X_INTRODUCED_597_,X_INTRODUCED_156_,X_INTRODUCED_598_):: defines_var(X_INTRODUCED_598_);
constraint array_var_int_element(X_INTRODUCED_597_,X_INTRODUCED_159_,X_INTRODUCED_598_):: defines_var(X_INTRODUCED_598_);
constraint array_var_int_element(X_INTRODUCED_600_,X_INTRODUCED_156_,X_INTRODUCED_601_):: defines_var(X_INTRODUCED_601_);
constraint array_var_int_element(X_INTRODUCED_600_,X_INTRODUCED_160_,X_INTRODUCED_601_):: defines_var(X_INTRODUCED_601_);
constraint array_var_int_element(X_INTRODUCED_603_,X_INTRODUCED_156_,X_INTRODUCED_604_):: defines_var(X_INTRODUCED_604_);
constraint array_var_int_element(X_INTRODUCED_603_,X_INTRODUCED_161_,X_INTRODUCED_604_):: defines_var(X_INTRODUCED_604_);
constraint array_var_int_element(X_INTRODUCED_606_,X_INTRODUCED_156_,X_INTRODUCED_607_):: defines_var(X_INTRODUCED_607_);
constraint array_var_int_element(X_INTRODUCED_606_,X_INTRODUCED_162_,X_INTRODUCED_607_):: defines_var(X_INTRODUCED_607_);
constraint array_var_int_element(X_INTRODUCED_609_,X_INTRODUCED_156_,X_INTRODUCED_610_):: defines_var(X_INTRODUCED_610_);
constraint array_var_int_element(X_INTRODUCED_609_,X_INTRODUCED_163_,X_INTRODUCED_610_):: defines_var(X_INTRODUCED_610_);
constraint array_var_int_element(X_INTRODUCED_612_,X_INTRODUCED_156_,X_INTRODUCED_613_):: defines_var(X_INTRODUCED_613_);
constraint array_var_int_element(X_INTRODUCED_612_,X_INTRODUCED_164_,X_INTRODUCED_613_):: defines_var(X_INTRODUCED_613_);
constraint array_var_int_element(X_INTRODUCED_615_,X_INTRODUCED_156_,X_INTRODUCED_616_):: defines_var(X_INTRODUCED_616_);
constraint array_var_int_element(X_INTRODUCED_615_,X_INTRODUCED_165_,X_INTRODUCED_616_):: defines_var(X_INTRODUCED_616_);
constraint array_var_int_element(X_INTRODUCED_618_,X_INTRODUCED_156_,X_INTRODUCED_619_):: defines_var(X_INTRODUCED_619_);
constraint array_var_int_element(X_INTRODUCED_618_,X_INTRODUCED_166_,X_INTRODUCED_619_):: defines_var(X_INTRODUCED_619_);
constraint array_var_int_element(X_INTRODUCED_621_,X_INTRODUCED_156_,X_INTRODUCED_622_):: defines_var(X_INTRODUCED_622_);
constraint array_var_int_element(X_INTRODUCED_621_,X_INTRODUCED_167_,X_INTRODUCED_622_):: defines_var(X_INTRODUCED_622_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_12_,X_INTRODUCED_176_],-1):: domain:: defines_var(X_INTRODUCED_176_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_24_,X_INTRODUCED_180_],-1):: domain:: defines_var(X_INTRODUCED_180_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_36_,X_INTRODUCED_184_],-1):: domain:: defines_var(X_INTRODUCED_184_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_48_,X_INTRODUCED_188_],-1):: domain:: defines_var(X_INTRODUCED_188_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_60_,X_INTRODUCED_192_],-1):: domain:: defines_var(X_INTRODUCED_192_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_72_,X_INTRODUCED_196_],-1):: domain:: defines_var(X_INTRODUCED_196_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_84_,X_INTRODUCED_200_],-1):: domain:: defines_var(X_INTRODUCED_200_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_96_,X_INTRODUCED_204_],-1):: domain:: defines_var(X_INTRODUCED_204_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_108_,X_INTRODUCED_208_],-1):: domain:: defines_var(X_INTRODUCED_208_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_120_,X_INTRODUCED_212_],-1):: domain:: defines_var(X_INTRODUCED_212_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_132_,X_INTRODUCED_216_],-1):: domain:: defines_var(X_INTRODUCED_216_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_1_,X_INTRODUCED_221_],-1):: domain:: defines_var(X_INTRODUCED_221_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_25_,X_INTRODUCED_227_],-1):: domain:: defines_var(X_INTRODUCED_227_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_37_,X_INTRODUCED_230_],-1):: domain:: defines_var(X_INTRODUCED_230_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_49_,X_INTRODUCED_233_],-1):: domain:: defines_var(X_INTRODUCED_233_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_61_,X_INTRODUCED_236_],-1):: domain:: defines_var(X_INTRODUCED_236_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_73_,X_INTRODUCED_239_],-1):: domain:: defines_var(X_INTRODUCED_239_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_85_,X_INTRODUCED_242_],-1):: domain:: defines_var(X_INTRODUCED_242_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_97_,X_INTRODUCED_245_],-1):: domain:: defines_var(X_INTRODUCED_245_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_109_,X_INTRODUCED_248_],-1):: domain:: defines_var(X_INTRODUCED_248_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_121_,X_INTRODUCED_251_],-1):: domain:: defines_var(X_INTRODUCED_251_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_133_,X_INTRODUCED_254_],-1):: domain:: defines_var(X_INTRODUCED_254_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_2_,X_INTRODUCED_258_],-1):: domain:: defines_var(X_INTRODUCED_258_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_14_,X_INTRODUCED_261_],-1):: domain:: defines_var(X_INTRODUCED_261_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_38_,X_INTRODUCED_267_],-1):: domain:: defines_var(X_INTRODUCED_267_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_50_,X_INTRODUCED_270_],-1):: domain:: defines_var(X_INTRODUCED_270_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_62_,X_INTRODUCED_273_],-1):: domain:: defines_var(X_INTRODUCED_273_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_74_,X_INTRODUCED_276_],-1):: domain:: defines_var(X_INTRODUCED_276_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_86_,X_INTRODUCED_279_],-1):: domain:: defines_var(X_INTRODUCED_279_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_98_,X_INTRODUCED_282_],-1):: domain:: defines_var(X_INTRODUCED_282_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_110_,X_INTRODUCED_285_],-1):: domain:: defines_var(X_INTRODUCED_285_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_122_,X_INTRODUCED_288_],-1):: domain:: defines_var(X_INTRODUCED_288_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_134_,X_INTRODUCED_291_],-1):: domain:: defines_var(X_INTRODUCED_291_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_3_,X_INTRODUCED_295_],-1):: domain:: defines_var(X_INTRODUCED_295_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_15_,X_INTRODUCED_298_],-1):: domain:: defines_var(X_INTRODUCED_298_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_27_,X_INTRODUCED_301_],-1):: domain:: defines_var(X_INTRODUCED_301_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_51_,X_INTRODUCED_307_],-1):: domain:: defines_var(X_INTRODUCED_307_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_63_,X_INTRODUCED_310_],-1):: domain:: defines_var(X_INTRODUCED_310_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_75_,X_INTRODUCED_313_],-1):: domain:: defines_var(X_INTRODUCED_313_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_87_,X_INTRODUCED_316_],-1):: domain:: defines_var(X_INTRODUCED_316_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_99_,X_INTRODUCED_319_],-1):: domain:: defines_var(X_INTRODUCED_319_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_111_,X_INTRODUCED_322_],-1):: domain:: defines_var(X_INTRODUCED_322_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_123_,X_INTRODUCED_325_],-1):: domain:: defines_var(X_INTRODUCED_325_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_135_,X_INTRODUCED_328_],-1):: domain:: defines_var(X_INTRODUCED_328_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_4_,X_INTRODUCED_332_],-1):: domain:: defines_var(X_INTRODUCED_332_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_16_,X_INTRODUCED_335_],-1):: domain:: defines_var(X_INTRODUCED_335_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_28_,X_INTRODUCED_338_],-1):: domain:: defines_var(X_INTRODUCED_338_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_40_,X_INTRODUCED_341_],-1):: domain:: defines_var(X_INTRODUCED_341_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_64_,X_INTRODUCED_347_],-1):: domain:: defines_var(X_INTRODUCED_347_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_76_,X_INTRODUCED_350_],-1):: domain:: defines_var(X_INTRODUCED_350_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_88_,X_INTRODUCED_353_],-1):: domain:: defines_var(X_INTRODUCED_353_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_100_,X_INTRODUCED_356_],-1):: domain:: defines_var(X_INTRODUCED_356_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_112_,X_INTRODUCED_359_],-1):: domain:: defines_var(X_INTRODUCED_359_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_124_,X_INTRODUCED_362_],-1):: domain:: defines_var(X_INTRODUCED_362_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_136_,X_INTRODUCED_365_],-1):: domain:: defines_var(X_INTRODUCED_365_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_5_,X_INTRODUCED_369_],-1):: domain:: defines_var(X_INTRODUCED_369_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_17_,X_INTRODUCED_372_],-1):: domain:: defines_var(X_INTRODUCED_372_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_29_,X_INTRODUCED_375_],-1):: domain:: defines_var(X_INTRODUCED_375_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_41_,X_INTRODUCED_378_],-1):: domain:: defines_var(X_INTRODUCED_378_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_53_,X_INTRODUCED_381_],-1):: domain:: defines_var(X_INTRODUCED_381_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_77_,X_INTRODUCED_387_],-1):: domain:: defines_var(X_INTRODUCED_387_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_89_,X_INTRODUCED_390_],-1):: domain:: defines_var(X_INTRODUCED_390_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_101_,X_INTRODUCED_393_],-1):: domain:: defines_var(X_INTRODUCED_393_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_113_,X_INTRODUCED_396_],-1):: domain:: defines_var(X_INTRODUCED_396_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_125_,X_INTRODUCED_399_],-1):: domain:: defines_var(X_INTRODUCED_399_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_137_,X_INTRODUCED_402_],-1):: domain:: defines_var(X_INTRODUCED_402_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_6_,X_INTRODUCED_406_],-1):: domain:: defines_var(X_INTRODUCED_406_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_18_,X_INTRODUCED_409_],-1):: domain:: defines_var(X_INTRODUCED_409_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_30_,X_INTRODUCED_412_],-1):: domain:: defines_var(X_INTRODUCED_412_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_42_,X_INTRODUCED_415_],-1):: domain:: defines_var(X_INTRODUCED_415_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_54_,X_INTRODUCED_418_],-1):: domain:: defines_var(X_INTRODUCED_418_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_66_,X_INTRODUCED_421_],-1):: domain:: defines_var(X_INTRODUCED_421_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_90_,X_INTRODUCED_427_],-1):: domain:: defines_var(X_INTRODUCED_427_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_102_,X_INTRODUCED_430_],-1):: domain:: defines_var(X_INTRODUCED_430_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_114_,X_INTRODUCED_433_],-1):: domain:: defines_var(X_INTRODUCED_433_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_126_,X_INTRODUCED_436_],-1):: domain:: defines_var(X_INTRODUCED_436_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_138_,X_INTRODUCED_439_],-1):: domain:: defines_var(X_INTRODUCED_439_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_7_,X_INTRODUCED_443_],-1):: domain:: defines_var(X_INTRODUCED_443_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_19_,X_INTRODUCED_446_],-1):: domain:: defines_var(X_INTRODUCED_446_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_31_,X_INTRODUCED_449_],-1):: domain:: defines_var(X_INTRODUCED_449_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_43_,X_INTRODUCED_452_],-1):: domain:: defines_var(X_INTRODUCED_452_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_55_,X_INTRODUCED_455_],-1):: domain:: defines_var(X_INTRODUCED_455_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_67_,X_INTRODUCED_458_],-1):: domain:: defines_var(X_INTRODUCED_458_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_79_,X_INTRODUCED_461_],-1):: domain:: defines_var(X_INTRODUCED_461_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_103_,X_INTRODUCED_467_],-1):: domain:: defines_var(X_INTRODUCED_467_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_115_,X_INTRODUCED_470_],-1):: domain:: defines_var(X_INTRODUCED_470_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_127_,X_INTRODUCED_473_],-1):: domain:: defines_var(X_INTRODUCED_473_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_139_,X_INTRODUCED_476_],-1):: domain:: defines_var(X_INTRODUCED_476_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_8_,X_INTRODUCED_480_],-1):: domain:: defines_var(X_INTRODUCED_480_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_20_,X_INTRODUCED_483_],-1):: domain:: defines_var(X_INTRODUCED_483_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_32_,X_INTRODUCED_486_],-1):: domain:: defines_var(X_INTRODUCED_486_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_44_,X_INTRODUCED_489_],-1):: domain:: defines_var(X_INTRODUCED_489_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_56_,X_INTRODUCED_492_],-1):: domain:: defines_var(X_INTRODUCED_492_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_68_,X_INTRODUCED_495_],-1):: domain:: defines_var(X_INTRODUCED_495_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_80_,X_INTRODUCED_498_],-1):: domain:: defines_var(X_INTRODUCED_498_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_92_,X_INTRODUCED_501_],-1):: domain:: defines_var(X_INTRODUCED_501_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_116_,X_INTRODUCED_507_],-1):: domain:: defines_var(X_INTRODUCED_507_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_128_,X_INTRODUCED_510_],-1):: domain:: defines_var(X_INTRODUCED_510_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_140_,X_INTRODUCED_513_],-1):: domain:: defines_var(X_INTRODUCED_513_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_9_,X_INTRODUCED_517_],-1):: domain:: defines_var(X_INTRODUCED_517_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_21_,X_INTRODUCED_520_],-1):: domain:: defines_var(X_INTRODUCED_520_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_33_,X_INTRODUCED_523_],-1):: domain:: defines_var(X_INTRODUCED_523_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_45_,X_INTRODUCED_526_],-1):: domain:: defines_var(X_INTRODUCED_526_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_57_,X_INTRODUCED_529_],-1):: domain:: defines_var(X_INTRODUCED_529_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_69_,X_INTRODUCED_532_],-1):: domain:: defines_var(X_INTRODUCED_532_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_81_,X_INTRODUCED_535_],-1):: domain:: defines_var(X_INTRODUCED_535_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_93_,X_INTRODUCED_538_],-1):: domain:: defines_var(X_INTRODUCED_538_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_105_,X_INTRODUCED_541_],-1):: domain:: defines_var(X_INTRODUCED_541_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_129_,X_INTRODUCED_547_],-1):: domain:: defines_var(X_INTRODUCED_547_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_141_,X_INTRODUCED_550_],-1):: domain:: defines_var(X_INTRODUCED_550_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_10_,X_INTRODUCED_554_],-1):: domain:: defines_var(X_INTRODUCED_554_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_22_,X_INTRODUCED_557_],-1):: domain:: defines_var(X_INTRODUCED_557_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_34_,X_INTRODUCED_560_],-1):: domain:: defines_var(X_INTRODUCED_560_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_46_,X_INTRODUCED_563_],-1):: domain:: defines_var(X_INTRODUCED_563_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_58_,X_INTRODUCED_566_],-1):: domain:: defines_var(X_INTRODUCED_566_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_70_,X_INTRODUCED_569_],-1):: domain:: defines_var(X_INTRODUCED_569_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_82_,X_INTRODUCED_572_],-1):: domain:: defines_var(X_INTRODUCED_572_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_94_,X_INTRODUCED_575_],-1):: domain:: defines_var(X_INTRODUCED_575_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_106_,X_INTRODUCED_578_],-1):: domain:: defines_var(X_INTRODUCED_578_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_118_,X_INTRODUCED_581_],-1):: domain:: defines_var(X_INTRODUCED_581_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_142_,X_INTRODUCED_587_],-1):: domain:: defines_var(X_INTRODUCED_587_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_11_,X_INTRODUCED_591_],-1):: domain:: defines_var(X_INTRODUCED_591_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_23_,X_INTRODUCED_594_],-1):: domain:: defines_var(X_INTRODUCED_594_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_35_,X_INTRODUCED_597_],-1):: domain:: defines_var(X_INTRODUCED_597_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_47_,X_INTRODUCED_600_],-1):: domain:: defines_var(X_INTRODUCED_600_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_59_,X_INTRODUCED_603_],-1):: domain:: defines_var(X_INTRODUCED_603_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_71_,X_INTRODUCED_606_],-1):: domain:: defines_var(X_INTRODUCED_606_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_83_,X_INTRODUCED_609_],-1):: domain:: defines_var(X_INTRODUCED_609_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_95_,X_INTRODUCED_612_],-1):: domain:: defines_var(X_INTRODUCED_612_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_107_,X_INTRODUCED_615_],-1):: domain:: defines_var(X_INTRODUCED_615_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_119_,X_INTRODUCED_618_],-1):: domain:: defines_var(X_INTRODUCED_618_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_131_,X_INTRODUCED_621_],-1):: domain:: defines_var(X_INTRODUCED_621_);
solve :: int_search(X_INTRODUCED_638_,first_fail,indomain_min,complete) satisfy;