array [1..2] of int: X_INTRODUCED_148_ = [1,-1];
array [1..21] of int: X_INTRODUCED_439_ = [0,4,3,7,6,4,6,5,5,5,5,5,5,5,5,5,5,5,5,5,5];
array [1..3] of int: X_INTRODUCED_444_ = [1,1,-1];
array [1..21] of int: X_INTRODUCED_445_ = [4,0,2,1,3,8,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3];
array [1..21] of int: X_INTRODUCED_449_ = [3,2,0,5,7,2,3,2,2,2,2,2,2,2,2,2,2,2,2,2,2];
array [1..21] of int: X_INTRODUCED_453_ = [7,1,5,0,7,1,4,6,6,6,6,6,6,6,6,6,6,6,6,6,6];
array [1..21] of int: X_INTRODUCED_457_ = [6,3,7,7,0,8,7,4,4,4,4,4,4,4,4,4,4,4,4,4,4];
array [1..21] of int: X_INTRODUCED_461_ = [4,8,2,1,8,0,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1];
array [1..21] of int: X_INTRODUCED_465_ = [6,3,3,4,7,2,0,5,5,5,5,5,5,5,5,5,5,5,5,5,5];
array [1..21] of int: X_INTRODUCED_469_ = [5,3,2,6,4,1,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0];
array [1..8] of int: X_INTRODUCED_513_ = [1,-1,-1,-1,-1,-1,-1,-1];
var 2..21: X_INTRODUCED_0_;
var {1,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_1_;
var {1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_2_;
var {1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_3_;
var {1,2,3,4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_4_;
var {1,2,3,4,5,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_5_;
var {1,2,3,4,5,6,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_6_;
var {1,2,3,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_7_;
var {1,2,3,4,5,6,7,8,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_8_;
var {1,2,3,4,5,6,7,8,9,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_9_;
var {1,2,3,4,5,6,7,8,9,10,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_10_;
var {1,2,3,4,5,6,7,8,9,10,11,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_11_;
var {1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,17,18,19,20,21}: X_INTRODUCED_12_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,15,16,17,18,19,20,21}: X_INTRODUCED_13_;
var 2..21: X_INTRODUCED_21_;
var {1,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_22_;
var {1,2,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_23_;
var {1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_24_;
var {1,2,3,4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_25_;
var {1,2,3,4,5,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_26_;
var {1,2,3,4,5,6,8,9,10,11,12,13,14,15,16,17,18,19,20,21}: X_INTRODUCED_27_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,18,19,20,21}: X_INTRODUCED_35_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,19,20,21}: X_INTRODUCED_36_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,18,19,20,21}: X_INTRODUCED_37_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,19,20,21}: X_INTRODUCED_38_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,21}: X_INTRODUCED_39_;
var {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,21}: X_INTRODUCED_40_;
var 1..20: X_INTRODUCED_41_;
var 1..7: X_INTRODUCED_42_;
var 1..7: X_INTRODUCED_43_;
var 1..7: X_INTRODUCED_44_;
var 1..7: X_INTRODUCED_45_;
var 1..7: X_INTRODUCED_46_;
var 1..7: X_INTRODUCED_47_;
var 1..7: X_INTRODUCED_48_;
var 0..6: X_INTRODUCED_63_;
var 0..6: X_INTRODUCED_64_;
var 0..6: X_INTRODUCED_65_;
var 0..6: X_INTRODUCED_66_;
var 0..6: X_INTRODUCED_67_;
var 0..6: X_INTRODUCED_68_;
var 0..6: X_INTRODUCED_69_;
var 0..6: X_INTRODUCED_77_;
var 0..6: X_INTRODUCED_78_;
var 0..6: X_INTRODUCED_79_;
var 0..6: X_INTRODUCED_80_;
var 0..6: X_INTRODUCED_81_;
var 0..6: X_INTRODUCED_82_;
var 0..6: X_INTRODUCED_83_;
var 0..51: X_INTRODUCED_84_;
var 0..51: X_INTRODUCED_85_;
var 0..51: X_INTRODUCED_86_;
var 0..51: X_INTRODUCED_87_;
var 0..51: X_INTRODUCED_88_;
var 0..51: X_INTRODUCED_89_;
var 0..51: X_INTRODUCED_90_;
var 0..51: X_INTRODUCED_98_;
var 0..51: X_INTRODUCED_99_;
var 0..51: X_INTRODUCED_100_;
var 0..51: X_INTRODUCED_101_;
var 0..51: X_INTRODUCED_102_;
var 0..51: X_INTRODUCED_103_;
var 0..51: X_INTRODUCED_104_;
var 0..51: objective:: output_var:: is_defined_var;
var 1..21: X_INTRODUCED_150_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_151_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_152_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_153_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_154_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_155_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_163_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_164_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_165_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_166_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_167_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_168_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_169_ ::var_is_introduced ;
var bool: X_INTRODUCED_174_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_175_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_177_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_178_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_179_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_181_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_182_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_183_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_185_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_186_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_187_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_189_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_190_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_191_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_193_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_194_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_195_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_197_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_198_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_199_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_201_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_202_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_203_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_205_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_206_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_207_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_209_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_210_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_211_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_213_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_214_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_215_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_217_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_218_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_219_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_222_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_223_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_225_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_226_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_229_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_230_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_233_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_234_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_235_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_237_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_238_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_239_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_241_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_242_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_243_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_245_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_246_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_247_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_250_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_251_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_253_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_254_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_255_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_256_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_257_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_258_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_259_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_260_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_261_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_262_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_263_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_264_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_265_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_266_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_267_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_268_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_269_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_270_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_271_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_272_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_273_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_274_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_275_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_276_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_277_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_278_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_279_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_289_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_290_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_291_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_292_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_293_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_294_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_295_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_296_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_297_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_298_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_299_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_300_ ::var_is_introduced ;
var 1..21: X_INTRODUCED_301_ ::var_is_introduced ;
var bool: X_INTRODUCED_312_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_313_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_315_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_316_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_317_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_319_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_320_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_321_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_323_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_324_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_325_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_327_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_328_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_329_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_331_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_332_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_333_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_335_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_336_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_337_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_339_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_340_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_341_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_343_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_344_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_345_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_347_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_348_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_349_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_351_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_352_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_353_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_355_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_356_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_357_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_359_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_360_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_361_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_363_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_364_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_365_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_367_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_368_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_369_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_371_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_372_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_373_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_375_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_376_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_377_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_379_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_380_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_381_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_383_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_384_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_385_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_387_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_388_ ::var_is_introduced :: is_defined_var;
var 1..21: X_INTRODUCED_389_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_391_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_392_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_393_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_394_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_395_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_396_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_397_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_398_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_399_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_400_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_401_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_402_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_403_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_411_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_412_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_413_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_414_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_415_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_416_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_417_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_418_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_419_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_420_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_421_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_422_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_423_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_424_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_440_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_443_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_446_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_448_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_450_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_452_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_454_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_456_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_458_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_460_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_462_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_464_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_466_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_468_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_470_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_472_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_473_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_475_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_476_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_478_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_479_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_481_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_482_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_484_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_485_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_487_ ::var_is_introduced :: is_defined_var;
var 0..6: X_INTRODUCED_488_ ::var_is_introduced :: is_defined_var;
var 0..51: X_INTRODUCED_490_ ::var_is_introduced :: is_defined_var;
var 4..6: X_INTRODUCED_492_ ::var_is_introduced :: is_defined_var;
var 1..6: X_INTRODUCED_494_ ::var_is_introduced :: is_defined_var;
var 5..6: X_INTRODUCED_496_ ::var_is_introduced :: is_defined_var;
var 2..6: X_INTRODUCED_498_ ::var_is_introduced :: is_defined_var;
var 2..6: X_INTRODUCED_500_ ::var_is_introduced :: is_defined_var;
var 4..6: X_INTRODUCED_502_ ::var_is_introduced :: is_defined_var;
var 3..6: X_INTRODUCED_504_ ::var_is_introduced :: is_defined_var;
var 0..0: X_INTRODUCED_505_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_506_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_507_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_508_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_509_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_510_ ::var_is_introduced ;
var 0..0: X_INTRODUCED_511_ ::var_is_introduced ;
var bool: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_281_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_282_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_284_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_285_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_286_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_404_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_405_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_406_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_407_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_408_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_409_ ::var_is_introduced :: is_defined_var = false;
var bool: X_INTRODUCED_410_ ::var_is_introduced :: is_defined_var = false;
array [1..21] of var int: successor:: output_array([1..21]) = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,9,10,11,12,13,14,8];
array [1..21] of var int: predecessor = [X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,21,15,16,17,18,19,20,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_];
array [1..21] of var int: vehicle:: output_array([1..21]) = [X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,1,2,3,4,5,6,7,1,2,3,4,5,6,7];
array [1..21] of var int: load = [X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,0,0,0,0,0,0,0,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_];
array [1..21] of var int: arrivalTime:: output_array([1..21]) = [X_INTRODUCED_84_,X_INTRODUCED_85_,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_,X_INTRODUCED_89_,X_INTRODUCED_90_,0,0,0,0,0,0,0,X_INTRODUCED_98_,X_INTRODUCED_99_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,X_INTRODUCED_104_];
array [1..21] of var int: X_INTRODUCED_147_ ::var_is_introduced  = [1,X_INTRODUCED_150_,X_INTRODUCED_151_,X_INTRODUCED_152_,X_INTRODUCED_153_,X_INTRODUCED_154_,X_INTRODUCED_155_,X_INTRODUCED_251_,X_INTRODUCED_227_,X_INTRODUCED_231_,X_INTRODUCED_235_,X_INTRODUCED_239_,X_INTRODUCED_243_,X_INTRODUCED_247_,X_INTRODUCED_163_,X_INTRODUCED_164_,X_INTRODUCED_165_,X_INTRODUCED_166_,X_INTRODUCED_167_,X_INTRODUCED_168_,X_INTRODUCED_169_];
array [1..21] of var int: X_INTRODUCED_287_ ::var_is_introduced  = [1,X_INTRODUCED_289_,X_INTRODUCED_290_,X_INTRODUCED_291_,X_INTRODUCED_292_,X_INTRODUCED_293_,X_INTRODUCED_294_,X_INTRODUCED_295_,X_INTRODUCED_296_,X_INTRODUCED_297_,X_INTRODUCED_298_,X_INTRODUCED_299_,X_INTRODUCED_300_,X_INTRODUCED_301_,X_INTRODUCED_341_,X_INTRODUCED_345_,X_INTRODUCED_349_,X_INTRODUCED_353_,X_INTRODUCED_357_,X_INTRODUCED_361_,X_INTRODUCED_337_];
array [1..21] of var int: X_INTRODUCED_514_ ::var_is_introduced  = [X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,0,0,0,0,0,0,0,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,X_INTRODUCED_80_,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_];
constraint array_var_int_element(X_INTRODUCED_21_,successor,1);
constraint array_var_int_element(X_INTRODUCED_22_,successor,2);
constraint array_var_int_element(X_INTRODUCED_23_,successor,3);
constraint array_var_int_element(X_INTRODUCED_24_,successor,4);
constraint array_var_int_element(X_INTRODUCED_25_,successor,5);
constraint array_var_int_element(X_INTRODUCED_26_,successor,6);
constraint array_var_int_element(X_INTRODUCED_27_,successor,7);
constraint array_var_int_element(X_INTRODUCED_35_,successor,15);
constraint array_var_int_element(X_INTRODUCED_36_,successor,16);
constraint array_var_int_element(X_INTRODUCED_37_,successor,17);
constraint array_var_int_element(X_INTRODUCED_38_,successor,18);
constraint array_var_int_element(X_INTRODUCED_39_,successor,19);
constraint array_var_int_element(X_INTRODUCED_40_,successor,20);
constraint array_var_int_element(X_INTRODUCED_41_,successor,21);
constraint array_var_int_element(X_INTRODUCED_0_,predecessor,1);
constraint array_var_int_element(X_INTRODUCED_1_,predecessor,2);
constraint array_var_int_element(X_INTRODUCED_2_,predecessor,3);
constraint array_var_int_element(X_INTRODUCED_3_,predecessor,4);
constraint array_var_int_element(X_INTRODUCED_4_,predecessor,5);
constraint array_var_int_element(X_INTRODUCED_5_,predecessor,6);
constraint array_var_int_element(X_INTRODUCED_6_,predecessor,7);
constraint array_var_int_element(X_INTRODUCED_7_,predecessor,8);
constraint array_var_int_element(X_INTRODUCED_8_,predecessor,9);
constraint array_var_int_element(X_INTRODUCED_9_,predecessor,10);
constraint array_var_int_element(X_INTRODUCED_10_,predecessor,11);
constraint array_var_int_element(X_INTRODUCED_11_,predecessor,12);
constraint array_var_int_element(X_INTRODUCED_12_,predecessor,13);
constraint array_var_int_element(X_INTRODUCED_13_,predecessor,14);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_0_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_0_],9);
constraint int_lin_ne([1],[X_INTRODUCED_0_],10);
constraint int_lin_ne([1],[X_INTRODUCED_0_],11);
constraint int_lin_ne([1],[X_INTRODUCED_0_],12);
constraint int_lin_ne([1],[X_INTRODUCED_0_],13);
constraint int_lin_ne([1],[X_INTRODUCED_0_],14);
constraint int_lin_ne([1],[X_INTRODUCED_0_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_1_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_1_],9);
constraint int_lin_ne([1],[X_INTRODUCED_1_],10);
constraint int_lin_ne([1],[X_INTRODUCED_1_],11);
constraint int_lin_ne([1],[X_INTRODUCED_1_],12);
constraint int_lin_ne([1],[X_INTRODUCED_1_],13);
constraint int_lin_ne([1],[X_INTRODUCED_1_],14);
constraint int_lin_ne([1],[X_INTRODUCED_1_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_2_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_2_],9);
constraint int_lin_ne([1],[X_INTRODUCED_2_],10);
constraint int_lin_ne([1],[X_INTRODUCED_2_],11);
constraint int_lin_ne([1],[X_INTRODUCED_2_],12);
constraint int_lin_ne([1],[X_INTRODUCED_2_],13);
constraint int_lin_ne([1],[X_INTRODUCED_2_],14);
constraint int_lin_ne([1],[X_INTRODUCED_2_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_3_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_3_],9);
constraint int_lin_ne([1],[X_INTRODUCED_3_],10);
constraint int_lin_ne([1],[X_INTRODUCED_3_],11);
constraint int_lin_ne([1],[X_INTRODUCED_3_],12);
constraint int_lin_ne([1],[X_INTRODUCED_3_],13);
constraint int_lin_ne([1],[X_INTRODUCED_3_],14);
constraint int_lin_ne([1],[X_INTRODUCED_3_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_4_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_4_],9);
constraint int_lin_ne([1],[X_INTRODUCED_4_],10);
constraint int_lin_ne([1],[X_INTRODUCED_4_],11);
constraint int_lin_ne([1],[X_INTRODUCED_4_],12);
constraint int_lin_ne([1],[X_INTRODUCED_4_],13);
constraint int_lin_ne([1],[X_INTRODUCED_4_],14);
constraint int_lin_ne([1],[X_INTRODUCED_4_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_5_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_5_],9);
constraint int_lin_ne([1],[X_INTRODUCED_5_],10);
constraint int_lin_ne([1],[X_INTRODUCED_5_],11);
constraint int_lin_ne([1],[X_INTRODUCED_5_],12);
constraint int_lin_ne([1],[X_INTRODUCED_5_],13);
constraint int_lin_ne([1],[X_INTRODUCED_5_],14);
constraint int_lin_ne([1],[X_INTRODUCED_5_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_6_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_6_],9);
constraint int_lin_ne([1],[X_INTRODUCED_6_],10);
constraint int_lin_ne([1],[X_INTRODUCED_6_],11);
constraint int_lin_ne([1],[X_INTRODUCED_6_],12);
constraint int_lin_ne([1],[X_INTRODUCED_6_],13);
constraint int_lin_ne([1],[X_INTRODUCED_6_],14);
constraint int_lin_ne([1],[X_INTRODUCED_6_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_7_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],9);
constraint int_lin_ne([1],[X_INTRODUCED_7_],10);
constraint int_lin_ne([1],[X_INTRODUCED_7_],11);
constraint int_lin_ne([1],[X_INTRODUCED_7_],12);
constraint int_lin_ne([1],[X_INTRODUCED_7_],13);
constraint int_lin_ne([1],[X_INTRODUCED_7_],14);
constraint int_lin_ne([1],[X_INTRODUCED_7_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_8_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_8_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_8_],9);
constraint int_lin_ne([1],[X_INTRODUCED_8_],10);
constraint int_lin_ne([1],[X_INTRODUCED_8_],11);
constraint int_lin_ne([1],[X_INTRODUCED_8_],12);
constraint int_lin_ne([1],[X_INTRODUCED_8_],13);
constraint int_lin_ne([1],[X_INTRODUCED_8_],14);
constraint int_lin_ne([1],[X_INTRODUCED_8_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_9_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_9_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_9_],9);
constraint int_lin_ne([1],[X_INTRODUCED_9_],10);
constraint int_lin_ne([1],[X_INTRODUCED_9_],11);
constraint int_lin_ne([1],[X_INTRODUCED_9_],12);
constraint int_lin_ne([1],[X_INTRODUCED_9_],13);
constraint int_lin_ne([1],[X_INTRODUCED_9_],14);
constraint int_lin_ne([1],[X_INTRODUCED_9_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_10_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_10_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_10_],9);
constraint int_lin_ne([1],[X_INTRODUCED_10_],10);
constraint int_lin_ne([1],[X_INTRODUCED_10_],11);
constraint int_lin_ne([1],[X_INTRODUCED_10_],12);
constraint int_lin_ne([1],[X_INTRODUCED_10_],13);
constraint int_lin_ne([1],[X_INTRODUCED_10_],14);
constraint int_lin_ne([1],[X_INTRODUCED_10_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_11_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_11_],9);
constraint int_lin_ne([1],[X_INTRODUCED_11_],10);
constraint int_lin_ne([1],[X_INTRODUCED_11_],11);
constraint int_lin_ne([1],[X_INTRODUCED_11_],12);
constraint int_lin_ne([1],[X_INTRODUCED_11_],13);
constraint int_lin_ne([1],[X_INTRODUCED_11_],14);
constraint int_lin_ne([1],[X_INTRODUCED_11_],8);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_12_,X_INTRODUCED_13_],0);
constraint int_lin_ne([1],[X_INTRODUCED_12_],9);
constraint int_lin_ne([1],[X_INTRODUCED_12_],10);
constraint int_lin_ne([1],[X_INTRODUCED_12_],11);
constraint int_lin_ne([1],[X_INTRODUCED_12_],12);
constraint int_lin_ne([1],[X_INTRODUCED_12_],13);
constraint int_lin_ne([1],[X_INTRODUCED_12_],14);
constraint int_lin_ne([1],[X_INTRODUCED_12_],8);
constraint int_lin_ne([1],[X_INTRODUCED_13_],9);
constraint int_lin_ne([1],[X_INTRODUCED_13_],10);
constraint int_lin_ne([1],[X_INTRODUCED_13_],11);
constraint int_lin_ne([1],[X_INTRODUCED_13_],12);
constraint int_lin_ne([1],[X_INTRODUCED_13_],13);
constraint int_lin_ne([1],[X_INTRODUCED_13_],14);
constraint int_lin_ne([1],[X_INTRODUCED_13_],8);
constraint int_lin_ne([-1],[X_INTRODUCED_150_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_151_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_152_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_153_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_154_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_155_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_251_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_227_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_231_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_235_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_239_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_243_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_247_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_163_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_164_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_165_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_166_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_167_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_168_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_169_],-1);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_151_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_152_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_153_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_154_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_155_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_150_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_152_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_153_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_154_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_155_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_151_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_153_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_154_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_155_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_152_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_154_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_155_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_153_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_155_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_154_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_251_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_155_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_227_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_231_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_235_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_239_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_243_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_247_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_163_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_164_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_163_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_164_,X_INTRODUCED_165_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_164_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_164_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_164_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_164_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_165_,X_INTRODUCED_166_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_165_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_165_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_165_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_166_,X_INTRODUCED_167_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_166_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_166_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_167_,X_INTRODUCED_168_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_167_,X_INTRODUCED_169_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_168_,X_INTRODUCED_169_],0);
constraint array_var_int_element(X_INTRODUCED_0_,X_INTRODUCED_147_,2);
constraint array_var_int_element(X_INTRODUCED_1_,X_INTRODUCED_147_,X_INTRODUCED_175_):: defines_var(X_INTRODUCED_175_);
constraint bool_clause([X_INTRODUCED_177_],[X_INTRODUCED_174_]);
constraint array_var_int_element(X_INTRODUCED_2_,X_INTRODUCED_147_,X_INTRODUCED_179_):: defines_var(X_INTRODUCED_179_);
constraint bool_clause([X_INTRODUCED_181_],[X_INTRODUCED_178_]);
constraint array_var_int_element(X_INTRODUCED_3_,X_INTRODUCED_147_,X_INTRODUCED_183_):: defines_var(X_INTRODUCED_183_);
constraint bool_clause([X_INTRODUCED_185_],[X_INTRODUCED_182_]);
constraint array_var_int_element(X_INTRODUCED_4_,X_INTRODUCED_147_,X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint bool_clause([X_INTRODUCED_189_],[X_INTRODUCED_186_]);
constraint array_var_int_element(X_INTRODUCED_5_,X_INTRODUCED_147_,X_INTRODUCED_191_):: defines_var(X_INTRODUCED_191_);
constraint bool_clause([X_INTRODUCED_193_],[X_INTRODUCED_190_]);
constraint array_var_int_element(X_INTRODUCED_6_,X_INTRODUCED_147_,X_INTRODUCED_195_):: defines_var(X_INTRODUCED_195_);
constraint bool_clause([X_INTRODUCED_197_],[X_INTRODUCED_194_]);
constraint array_var_int_element(X_INTRODUCED_7_,X_INTRODUCED_147_,X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint bool_clause([X_INTRODUCED_201_],[X_INTRODUCED_198_]);
constraint array_var_int_element(X_INTRODUCED_8_,X_INTRODUCED_147_,X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint bool_clause([X_INTRODUCED_205_],[X_INTRODUCED_202_]);
constraint array_var_int_element(X_INTRODUCED_9_,X_INTRODUCED_147_,X_INTRODUCED_207_):: defines_var(X_INTRODUCED_207_);
constraint bool_clause([X_INTRODUCED_209_],[X_INTRODUCED_206_]);
constraint array_var_int_element(X_INTRODUCED_10_,X_INTRODUCED_147_,X_INTRODUCED_211_):: defines_var(X_INTRODUCED_211_);
constraint bool_clause([X_INTRODUCED_213_],[X_INTRODUCED_210_]);
constraint array_var_int_element(X_INTRODUCED_11_,X_INTRODUCED_147_,X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint bool_clause([X_INTRODUCED_217_],[X_INTRODUCED_214_]);
constraint array_var_int_element(X_INTRODUCED_12_,X_INTRODUCED_147_,X_INTRODUCED_219_):: defines_var(X_INTRODUCED_219_);
constraint bool_clause([X_INTRODUCED_221_],[X_INTRODUCED_218_]);
constraint array_var_int_element(X_INTRODUCED_13_,X_INTRODUCED_147_,X_INTRODUCED_223_):: defines_var(X_INTRODUCED_223_);
constraint bool_clause([X_INTRODUCED_225_],[X_INTRODUCED_222_]);
constraint bool_clause([X_INTRODUCED_229_],[X_INTRODUCED_226_]);
constraint bool_clause([X_INTRODUCED_233_],[X_INTRODUCED_230_]);
constraint bool_clause([X_INTRODUCED_237_],[X_INTRODUCED_234_]);
constraint bool_clause([X_INTRODUCED_241_],[X_INTRODUCED_238_]);
constraint bool_clause([X_INTRODUCED_245_],[X_INTRODUCED_242_]);
constraint bool_clause([X_INTRODUCED_249_],[X_INTRODUCED_246_]);
constraint bool_clause([X_INTRODUCED_253_],[X_INTRODUCED_250_]);
constraint bool_clause([X_INTRODUCED_255_],[X_INTRODUCED_254_]);
constraint bool_clause([X_INTRODUCED_257_],[X_INTRODUCED_256_]);
constraint bool_clause([X_INTRODUCED_259_],[X_INTRODUCED_258_]);
constraint bool_clause([X_INTRODUCED_261_],[X_INTRODUCED_260_]);
constraint bool_clause([X_INTRODUCED_263_],[X_INTRODUCED_262_]);
constraint bool_clause([X_INTRODUCED_265_],[X_INTRODUCED_264_]);
constraint bool_clause([X_INTRODUCED_267_],[X_INTRODUCED_266_]);
constraint bool_clause([X_INTRODUCED_269_],[X_INTRODUCED_268_]);
constraint bool_clause([X_INTRODUCED_271_],[X_INTRODUCED_270_]);
constraint bool_clause([X_INTRODUCED_273_],[X_INTRODUCED_272_]);
constraint bool_clause([X_INTRODUCED_275_],[X_INTRODUCED_274_]);
constraint bool_clause([X_INTRODUCED_277_],[X_INTRODUCED_276_]);
constraint bool_clause([X_INTRODUCED_279_],[X_INTRODUCED_278_]);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_21_],21);
constraint int_lin_ne([1],[X_INTRODUCED_21_],15);
constraint int_lin_ne([1],[X_INTRODUCED_21_],16);
constraint int_lin_ne([1],[X_INTRODUCED_21_],17);
constraint int_lin_ne([1],[X_INTRODUCED_21_],18);
constraint int_lin_ne([1],[X_INTRODUCED_21_],19);
constraint int_lin_ne([1],[X_INTRODUCED_21_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_21_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_22_],21);
constraint int_lin_ne([1],[X_INTRODUCED_22_],15);
constraint int_lin_ne([1],[X_INTRODUCED_22_],16);
constraint int_lin_ne([1],[X_INTRODUCED_22_],17);
constraint int_lin_ne([1],[X_INTRODUCED_22_],18);
constraint int_lin_ne([1],[X_INTRODUCED_22_],19);
constraint int_lin_ne([1],[X_INTRODUCED_22_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_22_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_23_],21);
constraint int_lin_ne([1],[X_INTRODUCED_23_],15);
constraint int_lin_ne([1],[X_INTRODUCED_23_],16);
constraint int_lin_ne([1],[X_INTRODUCED_23_],17);
constraint int_lin_ne([1],[X_INTRODUCED_23_],18);
constraint int_lin_ne([1],[X_INTRODUCED_23_],19);
constraint int_lin_ne([1],[X_INTRODUCED_23_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_23_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_24_],21);
constraint int_lin_ne([1],[X_INTRODUCED_24_],15);
constraint int_lin_ne([1],[X_INTRODUCED_24_],16);
constraint int_lin_ne([1],[X_INTRODUCED_24_],17);
constraint int_lin_ne([1],[X_INTRODUCED_24_],18);
constraint int_lin_ne([1],[X_INTRODUCED_24_],19);
constraint int_lin_ne([1],[X_INTRODUCED_24_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_24_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_25_],21);
constraint int_lin_ne([1],[X_INTRODUCED_25_],15);
constraint int_lin_ne([1],[X_INTRODUCED_25_],16);
constraint int_lin_ne([1],[X_INTRODUCED_25_],17);
constraint int_lin_ne([1],[X_INTRODUCED_25_],18);
constraint int_lin_ne([1],[X_INTRODUCED_25_],19);
constraint int_lin_ne([1],[X_INTRODUCED_25_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_25_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_27_],0);
constraint int_lin_ne([1],[X_INTRODUCED_26_],21);
constraint int_lin_ne([1],[X_INTRODUCED_26_],15);
constraint int_lin_ne([1],[X_INTRODUCED_26_],16);
constraint int_lin_ne([1],[X_INTRODUCED_26_],17);
constraint int_lin_ne([1],[X_INTRODUCED_26_],18);
constraint int_lin_ne([1],[X_INTRODUCED_26_],19);
constraint int_lin_ne([1],[X_INTRODUCED_26_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_26_,X_INTRODUCED_41_],0);
constraint int_lin_ne([1],[X_INTRODUCED_27_],21);
constraint int_lin_ne([1],[X_INTRODUCED_27_],15);
constraint int_lin_ne([1],[X_INTRODUCED_27_],16);
constraint int_lin_ne([1],[X_INTRODUCED_27_],17);
constraint int_lin_ne([1],[X_INTRODUCED_27_],18);
constraint int_lin_ne([1],[X_INTRODUCED_27_],19);
constraint int_lin_ne([1],[X_INTRODUCED_27_],20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_27_,X_INTRODUCED_41_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-21);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-15);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-16);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-17);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-18);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-19);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],-20);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-20);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_35_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_36_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_36_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_36_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_36_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_36_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_37_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_37_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_37_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_37_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_38_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_38_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_38_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_39_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_39_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_40_,X_INTRODUCED_41_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_289_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_290_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_291_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_292_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_293_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_294_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_295_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_296_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_297_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_298_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_299_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_300_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_301_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_341_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_345_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_349_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_353_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_357_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_361_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_337_],-1);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_290_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_291_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_292_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_293_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_294_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_289_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_291_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_292_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_293_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_294_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_290_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_292_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_293_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_294_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_291_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_293_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_294_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_292_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_294_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_293_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_295_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_294_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_296_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_295_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_297_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_296_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_298_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_297_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_299_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_298_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_300_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_299_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_301_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_300_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_341_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_301_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_345_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_349_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_349_,X_INTRODUCED_353_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_349_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_349_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_349_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_353_,X_INTRODUCED_357_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_353_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_353_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_357_,X_INTRODUCED_361_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_357_,X_INTRODUCED_337_],0);
constraint int_lin_ne(X_INTRODUCED_148_,[X_INTRODUCED_361_,X_INTRODUCED_337_],0);
constraint array_var_int_element(X_INTRODUCED_21_,X_INTRODUCED_287_,2);
constraint array_var_int_element(X_INTRODUCED_22_,X_INTRODUCED_287_,X_INTRODUCED_313_):: defines_var(X_INTRODUCED_313_);
constraint bool_clause([X_INTRODUCED_315_],[X_INTRODUCED_312_]);
constraint array_var_int_element(X_INTRODUCED_23_,X_INTRODUCED_287_,X_INTRODUCED_317_):: defines_var(X_INTRODUCED_317_);
constraint bool_clause([X_INTRODUCED_319_],[X_INTRODUCED_316_]);
constraint array_var_int_element(X_INTRODUCED_24_,X_INTRODUCED_287_,X_INTRODUCED_321_):: defines_var(X_INTRODUCED_321_);
constraint bool_clause([X_INTRODUCED_323_],[X_INTRODUCED_320_]);
constraint array_var_int_element(X_INTRODUCED_25_,X_INTRODUCED_287_,X_INTRODUCED_325_):: defines_var(X_INTRODUCED_325_);
constraint bool_clause([X_INTRODUCED_327_],[X_INTRODUCED_324_]);
constraint array_var_int_element(X_INTRODUCED_26_,X_INTRODUCED_287_,X_INTRODUCED_329_):: defines_var(X_INTRODUCED_329_);
constraint bool_clause([X_INTRODUCED_331_],[X_INTRODUCED_328_]);
constraint array_var_int_element(X_INTRODUCED_27_,X_INTRODUCED_287_,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint bool_clause([X_INTRODUCED_335_],[X_INTRODUCED_332_]);
constraint bool_clause([X_INTRODUCED_339_],[X_INTRODUCED_336_]);
constraint bool_clause([X_INTRODUCED_343_],[X_INTRODUCED_340_]);
constraint bool_clause([X_INTRODUCED_347_],[X_INTRODUCED_344_]);
constraint bool_clause([X_INTRODUCED_351_],[X_INTRODUCED_348_]);
constraint bool_clause([X_INTRODUCED_355_],[X_INTRODUCED_352_]);
constraint bool_clause([X_INTRODUCED_359_],[X_INTRODUCED_356_]);
constraint bool_clause([X_INTRODUCED_363_],[X_INTRODUCED_360_]);
constraint array_var_int_element(X_INTRODUCED_35_,X_INTRODUCED_287_,X_INTRODUCED_365_):: defines_var(X_INTRODUCED_365_);
constraint bool_clause([X_INTRODUCED_367_],[X_INTRODUCED_364_]);
constraint array_var_int_element(X_INTRODUCED_36_,X_INTRODUCED_287_,X_INTRODUCED_369_):: defines_var(X_INTRODUCED_369_);
constraint bool_clause([X_INTRODUCED_371_],[X_INTRODUCED_368_]);
constraint array_var_int_element(X_INTRODUCED_37_,X_INTRODUCED_287_,X_INTRODUCED_373_):: defines_var(X_INTRODUCED_373_);
constraint bool_clause([X_INTRODUCED_375_],[X_INTRODUCED_372_]);
constraint array_var_int_element(X_INTRODUCED_38_,X_INTRODUCED_287_,X_INTRODUCED_377_):: defines_var(X_INTRODUCED_377_);
constraint bool_clause([X_INTRODUCED_379_],[X_INTRODUCED_376_]);
constraint array_var_int_element(X_INTRODUCED_39_,X_INTRODUCED_287_,X_INTRODUCED_381_):: defines_var(X_INTRODUCED_381_);
constraint bool_clause([X_INTRODUCED_383_],[X_INTRODUCED_380_]);
constraint array_var_int_element(X_INTRODUCED_40_,X_INTRODUCED_287_,X_INTRODUCED_385_):: defines_var(X_INTRODUCED_385_);
constraint bool_clause([X_INTRODUCED_387_],[X_INTRODUCED_384_]);
constraint array_var_int_element(X_INTRODUCED_41_,X_INTRODUCED_287_,X_INTRODUCED_389_):: defines_var(X_INTRODUCED_389_);
constraint bool_clause([X_INTRODUCED_391_],[X_INTRODUCED_388_]);
constraint bool_clause([X_INTRODUCED_393_],[X_INTRODUCED_392_]);
constraint bool_clause([X_INTRODUCED_395_],[X_INTRODUCED_394_]);
constraint bool_clause([X_INTRODUCED_397_],[X_INTRODUCED_396_]);
constraint bool_clause([X_INTRODUCED_399_],[X_INTRODUCED_398_]);
constraint bool_clause([X_INTRODUCED_401_],[X_INTRODUCED_400_]);
constraint bool_clause([X_INTRODUCED_403_],[X_INTRODUCED_402_]);
constraint bool_clause([X_INTRODUCED_412_],[X_INTRODUCED_411_]);
constraint bool_clause([X_INTRODUCED_414_],[X_INTRODUCED_413_]);
constraint bool_clause([X_INTRODUCED_416_],[X_INTRODUCED_415_]);
constraint bool_clause([X_INTRODUCED_418_],[X_INTRODUCED_417_]);
constraint bool_clause([X_INTRODUCED_420_],[X_INTRODUCED_419_]);
constraint bool_clause([X_INTRODUCED_422_],[X_INTRODUCED_421_]);
constraint bool_clause([X_INTRODUCED_424_],[X_INTRODUCED_423_]);
constraint array_var_int_element(X_INTRODUCED_21_,vehicle,X_INTRODUCED_42_):: defines_var(X_INTRODUCED_42_);
constraint array_var_int_element(X_INTRODUCED_22_,vehicle,X_INTRODUCED_43_):: defines_var(X_INTRODUCED_43_);
constraint array_var_int_element(X_INTRODUCED_23_,vehicle,X_INTRODUCED_44_):: defines_var(X_INTRODUCED_44_);
constraint array_var_int_element(X_INTRODUCED_24_,vehicle,X_INTRODUCED_45_):: defines_var(X_INTRODUCED_45_);
constraint array_var_int_element(X_INTRODUCED_25_,vehicle,X_INTRODUCED_46_):: defines_var(X_INTRODUCED_46_);
constraint array_var_int_element(X_INTRODUCED_26_,vehicle,X_INTRODUCED_47_):: defines_var(X_INTRODUCED_47_);
constraint array_var_int_element(X_INTRODUCED_27_,vehicle,X_INTRODUCED_48_):: defines_var(X_INTRODUCED_48_);
constraint array_var_int_element(X_INTRODUCED_0_,vehicle,X_INTRODUCED_42_):: defines_var(X_INTRODUCED_42_);
constraint array_var_int_element(X_INTRODUCED_1_,vehicle,X_INTRODUCED_43_):: defines_var(X_INTRODUCED_43_);
constraint array_var_int_element(X_INTRODUCED_2_,vehicle,X_INTRODUCED_44_):: defines_var(X_INTRODUCED_44_);
constraint array_var_int_element(X_INTRODUCED_3_,vehicle,X_INTRODUCED_45_):: defines_var(X_INTRODUCED_45_);
constraint array_var_int_element(X_INTRODUCED_4_,vehicle,X_INTRODUCED_46_):: defines_var(X_INTRODUCED_46_);
constraint array_var_int_element(X_INTRODUCED_5_,vehicle,X_INTRODUCED_47_):: defines_var(X_INTRODUCED_47_);
constraint array_var_int_element(X_INTRODUCED_6_,vehicle,X_INTRODUCED_48_):: defines_var(X_INTRODUCED_48_);
constraint array_int_element(X_INTRODUCED_0_,X_INTRODUCED_439_,X_INTRODUCED_440_):: defines_var(X_INTRODUCED_440_);
constraint array_var_int_element(X_INTRODUCED_0_,arrivalTime,X_INTRODUCED_443_):: defines_var(X_INTRODUCED_443_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_84_,X_INTRODUCED_440_,X_INTRODUCED_443_],0);
constraint array_int_element(X_INTRODUCED_1_,X_INTRODUCED_445_,X_INTRODUCED_446_):: defines_var(X_INTRODUCED_446_);
constraint array_var_int_element(X_INTRODUCED_1_,arrivalTime,X_INTRODUCED_448_):: defines_var(X_INTRODUCED_448_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_85_,X_INTRODUCED_446_,X_INTRODUCED_448_],0);
constraint array_int_element(X_INTRODUCED_2_,X_INTRODUCED_449_,X_INTRODUCED_450_):: defines_var(X_INTRODUCED_450_);
constraint array_var_int_element(X_INTRODUCED_2_,arrivalTime,X_INTRODUCED_452_):: defines_var(X_INTRODUCED_452_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_86_,X_INTRODUCED_450_,X_INTRODUCED_452_],0);
constraint array_int_element(X_INTRODUCED_3_,X_INTRODUCED_453_,X_INTRODUCED_454_):: defines_var(X_INTRODUCED_454_);
constraint array_var_int_element(X_INTRODUCED_3_,arrivalTime,X_INTRODUCED_456_):: defines_var(X_INTRODUCED_456_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_87_,X_INTRODUCED_454_,X_INTRODUCED_456_],0);
constraint array_int_element(X_INTRODUCED_4_,X_INTRODUCED_457_,X_INTRODUCED_458_):: defines_var(X_INTRODUCED_458_);
constraint array_var_int_element(X_INTRODUCED_4_,arrivalTime,X_INTRODUCED_460_):: defines_var(X_INTRODUCED_460_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_88_,X_INTRODUCED_458_,X_INTRODUCED_460_],0);
constraint array_int_element(X_INTRODUCED_5_,X_INTRODUCED_461_,X_INTRODUCED_462_):: defines_var(X_INTRODUCED_462_);
constraint array_var_int_element(X_INTRODUCED_5_,arrivalTime,X_INTRODUCED_464_):: defines_var(X_INTRODUCED_464_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_89_,X_INTRODUCED_462_,X_INTRODUCED_464_],0);
constraint array_int_element(X_INTRODUCED_6_,X_INTRODUCED_465_,X_INTRODUCED_466_):: defines_var(X_INTRODUCED_466_);
constraint array_var_int_element(X_INTRODUCED_6_,arrivalTime,X_INTRODUCED_468_):: defines_var(X_INTRODUCED_468_);
constraint int_lin_le(X_INTRODUCED_444_,[X_INTRODUCED_90_,X_INTRODUCED_466_,X_INTRODUCED_468_],0);
constraint array_int_element(X_INTRODUCED_7_,X_INTRODUCED_469_,X_INTRODUCED_470_):: defines_var(X_INTRODUCED_470_);
constraint array_var_int_element(X_INTRODUCED_7_,arrivalTime,X_INTRODUCED_472_):: defines_var(X_INTRODUCED_472_);
constraint int_lin_le([1,-1],[X_INTRODUCED_470_,X_INTRODUCED_472_],0);
constraint array_int_element(X_INTRODUCED_8_,X_INTRODUCED_469_,X_INTRODUCED_473_):: defines_var(X_INTRODUCED_473_);
constraint array_var_int_element(X_INTRODUCED_8_,arrivalTime,X_INTRODUCED_475_):: defines_var(X_INTRODUCED_475_);
constraint int_lin_le([1,-1],[X_INTRODUCED_473_,X_INTRODUCED_475_],0);
constraint array_int_element(X_INTRODUCED_9_,X_INTRODUCED_469_,X_INTRODUCED_476_):: defines_var(X_INTRODUCED_476_);
constraint array_var_int_element(X_INTRODUCED_9_,arrivalTime,X_INTRODUCED_478_):: defines_var(X_INTRODUCED_478_);
constraint int_lin_le([1,-1],[X_INTRODUCED_476_,X_INTRODUCED_478_],0);
constraint array_int_element(X_INTRODUCED_10_,X_INTRODUCED_469_,X_INTRODUCED_479_):: defines_var(X_INTRODUCED_479_);
constraint array_var_int_element(X_INTRODUCED_10_,arrivalTime,X_INTRODUCED_481_):: defines_var(X_INTRODUCED_481_);
constraint int_lin_le([1,-1],[X_INTRODUCED_479_,X_INTRODUCED_481_],0);
constraint array_int_element(X_INTRODUCED_11_,X_INTRODUCED_469_,X_INTRODUCED_482_):: defines_var(X_INTRODUCED_482_);
constraint array_var_int_element(X_INTRODUCED_11_,arrivalTime,X_INTRODUCED_484_):: defines_var(X_INTRODUCED_484_);
constraint int_lin_le([1,-1],[X_INTRODUCED_482_,X_INTRODUCED_484_],0);
constraint array_int_element(X_INTRODUCED_12_,X_INTRODUCED_469_,X_INTRODUCED_485_):: defines_var(X_INTRODUCED_485_);
constraint array_var_int_element(X_INTRODUCED_12_,arrivalTime,X_INTRODUCED_487_):: defines_var(X_INTRODUCED_487_);
constraint int_lin_le([1,-1],[X_INTRODUCED_485_,X_INTRODUCED_487_],0);
constraint array_int_element(X_INTRODUCED_13_,X_INTRODUCED_469_,X_INTRODUCED_488_):: defines_var(X_INTRODUCED_488_);
constraint array_var_int_element(X_INTRODUCED_13_,arrivalTime,X_INTRODUCED_490_):: defines_var(X_INTRODUCED_490_);
constraint int_lin_le([1,-1],[X_INTRODUCED_488_,X_INTRODUCED_490_],0);
constraint array_var_int_element(X_INTRODUCED_0_,load,X_INTRODUCED_492_):: defines_var(X_INTRODUCED_492_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_63_,X_INTRODUCED_492_],-4):: defines_var(X_INTRODUCED_492_);
constraint array_var_int_element(X_INTRODUCED_1_,load,X_INTRODUCED_494_):: defines_var(X_INTRODUCED_494_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_64_,X_INTRODUCED_494_],-1):: defines_var(X_INTRODUCED_494_);
constraint array_var_int_element(X_INTRODUCED_2_,load,X_INTRODUCED_496_):: defines_var(X_INTRODUCED_496_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_65_,X_INTRODUCED_496_],-5):: defines_var(X_INTRODUCED_496_);
constraint array_var_int_element(X_INTRODUCED_3_,load,X_INTRODUCED_498_):: defines_var(X_INTRODUCED_498_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_66_,X_INTRODUCED_498_],-2):: defines_var(X_INTRODUCED_498_);
constraint array_var_int_element(X_INTRODUCED_4_,load,X_INTRODUCED_500_):: defines_var(X_INTRODUCED_500_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_67_,X_INTRODUCED_500_],-2):: defines_var(X_INTRODUCED_500_);
constraint array_var_int_element(X_INTRODUCED_5_,load,X_INTRODUCED_502_):: defines_var(X_INTRODUCED_502_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_68_,X_INTRODUCED_502_],-4):: defines_var(X_INTRODUCED_502_);
constraint array_var_int_element(X_INTRODUCED_6_,load,X_INTRODUCED_504_):: defines_var(X_INTRODUCED_504_);
constraint int_lin_eq(X_INTRODUCED_148_,[X_INTRODUCED_69_,X_INTRODUCED_504_],-3):: defines_var(X_INTRODUCED_504_);
constraint array_var_int_element(X_INTRODUCED_7_,load,0);
constraint array_var_int_element(X_INTRODUCED_8_,load,0);
constraint array_var_int_element(X_INTRODUCED_9_,load,0);
constraint array_var_int_element(X_INTRODUCED_10_,load,0);
constraint array_var_int_element(X_INTRODUCED_11_,load,0);
constraint array_var_int_element(X_INTRODUCED_12_,load,0);
constraint array_var_int_element(X_INTRODUCED_13_,load,0);
constraint int_lin_eq(X_INTRODUCED_513_,[objective,X_INTRODUCED_98_,X_INTRODUCED_99_,X_INTRODUCED_100_,X_INTRODUCED_101_,X_INTRODUCED_102_,X_INTRODUCED_103_,X_INTRODUCED_104_],0):: defines_var(objective);
constraint int_ne_reif(X_INTRODUCED_150_,21,X_INTRODUCED_174_):: defines_var(X_INTRODUCED_174_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_175_,X_INTRODUCED_150_],1,X_INTRODUCED_177_):: defines_var(X_INTRODUCED_177_);
constraint int_ne_reif(X_INTRODUCED_151_,21,X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_179_,X_INTRODUCED_151_],1,X_INTRODUCED_181_):: defines_var(X_INTRODUCED_181_);
constraint int_ne_reif(X_INTRODUCED_152_,21,X_INTRODUCED_182_):: defines_var(X_INTRODUCED_182_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_183_,X_INTRODUCED_152_],1,X_INTRODUCED_185_):: defines_var(X_INTRODUCED_185_);
constraint int_ne_reif(X_INTRODUCED_153_,21,X_INTRODUCED_186_):: defines_var(X_INTRODUCED_186_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_187_,X_INTRODUCED_153_],1,X_INTRODUCED_189_):: defines_var(X_INTRODUCED_189_);
constraint int_ne_reif(X_INTRODUCED_154_,21,X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_191_,X_INTRODUCED_154_],1,X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint int_ne_reif(X_INTRODUCED_155_,21,X_INTRODUCED_194_):: defines_var(X_INTRODUCED_194_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_195_,X_INTRODUCED_155_],1,X_INTRODUCED_197_):: defines_var(X_INTRODUCED_197_);
constraint int_ne_reif(X_INTRODUCED_251_,21,X_INTRODUCED_198_):: defines_var(X_INTRODUCED_198_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_199_,X_INTRODUCED_251_],1,X_INTRODUCED_201_):: defines_var(X_INTRODUCED_201_);
constraint int_ne_reif(X_INTRODUCED_227_,21,X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_203_,X_INTRODUCED_227_],1,X_INTRODUCED_205_):: defines_var(X_INTRODUCED_205_);
constraint int_ne_reif(X_INTRODUCED_231_,21,X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_207_,X_INTRODUCED_231_],1,X_INTRODUCED_209_):: defines_var(X_INTRODUCED_209_);
constraint int_ne_reif(X_INTRODUCED_235_,21,X_INTRODUCED_210_):: defines_var(X_INTRODUCED_210_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_211_,X_INTRODUCED_235_],1,X_INTRODUCED_213_):: defines_var(X_INTRODUCED_213_);
constraint int_ne_reif(X_INTRODUCED_239_,21,X_INTRODUCED_214_):: defines_var(X_INTRODUCED_214_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_215_,X_INTRODUCED_239_],1,X_INTRODUCED_217_):: defines_var(X_INTRODUCED_217_);
constraint int_ne_reif(X_INTRODUCED_243_,21,X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_219_,X_INTRODUCED_243_],1,X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint int_ne_reif(X_INTRODUCED_247_,21,X_INTRODUCED_222_):: defines_var(X_INTRODUCED_222_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_223_,X_INTRODUCED_247_],1,X_INTRODUCED_225_):: defines_var(X_INTRODUCED_225_);
constraint int_ne_reif(X_INTRODUCED_163_,21,X_INTRODUCED_226_):: defines_var(X_INTRODUCED_226_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_227_,X_INTRODUCED_163_],1,X_INTRODUCED_229_):: defines_var(X_INTRODUCED_229_);
constraint int_ne_reif(X_INTRODUCED_164_,21,X_INTRODUCED_230_):: defines_var(X_INTRODUCED_230_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_231_,X_INTRODUCED_164_],1,X_INTRODUCED_233_):: defines_var(X_INTRODUCED_233_);
constraint int_ne_reif(X_INTRODUCED_165_,21,X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_235_,X_INTRODUCED_165_],1,X_INTRODUCED_237_):: defines_var(X_INTRODUCED_237_);
constraint int_ne_reif(X_INTRODUCED_166_,21,X_INTRODUCED_238_):: defines_var(X_INTRODUCED_238_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_239_,X_INTRODUCED_166_],1,X_INTRODUCED_241_):: defines_var(X_INTRODUCED_241_);
constraint int_ne_reif(X_INTRODUCED_167_,21,X_INTRODUCED_242_):: defines_var(X_INTRODUCED_242_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_243_,X_INTRODUCED_167_],1,X_INTRODUCED_245_):: defines_var(X_INTRODUCED_245_);
constraint int_ne_reif(X_INTRODUCED_168_,21,X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_247_,X_INTRODUCED_168_],1,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint int_ne_reif(X_INTRODUCED_169_,21,X_INTRODUCED_250_):: defines_var(X_INTRODUCED_250_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_251_,X_INTRODUCED_169_],1,X_INTRODUCED_253_):: defines_var(X_INTRODUCED_253_);
constraint int_eq_reif(X_INTRODUCED_150_,21,X_INTRODUCED_254_):: defines_var(X_INTRODUCED_254_);
constraint int_eq_reif(X_INTRODUCED_1_,1,X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint int_eq_reif(X_INTRODUCED_151_,21,X_INTRODUCED_256_):: defines_var(X_INTRODUCED_256_);
constraint int_eq_reif(X_INTRODUCED_2_,1,X_INTRODUCED_257_):: defines_var(X_INTRODUCED_257_);
constraint int_eq_reif(X_INTRODUCED_152_,21,X_INTRODUCED_258_):: defines_var(X_INTRODUCED_258_);
constraint int_eq_reif(X_INTRODUCED_3_,1,X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint int_eq_reif(X_INTRODUCED_153_,21,X_INTRODUCED_260_):: defines_var(X_INTRODUCED_260_);
constraint int_eq_reif(X_INTRODUCED_4_,1,X_INTRODUCED_261_):: defines_var(X_INTRODUCED_261_);
constraint int_eq_reif(X_INTRODUCED_154_,21,X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint int_eq_reif(X_INTRODUCED_5_,1,X_INTRODUCED_263_):: defines_var(X_INTRODUCED_263_);
constraint int_eq_reif(X_INTRODUCED_155_,21,X_INTRODUCED_264_):: defines_var(X_INTRODUCED_264_);
constraint int_eq_reif(X_INTRODUCED_6_,1,X_INTRODUCED_265_):: defines_var(X_INTRODUCED_265_);
constraint int_eq_reif(X_INTRODUCED_251_,21,X_INTRODUCED_266_):: defines_var(X_INTRODUCED_266_);
constraint int_eq_reif(X_INTRODUCED_7_,1,X_INTRODUCED_267_):: defines_var(X_INTRODUCED_267_);
constraint int_eq_reif(X_INTRODUCED_227_,21,X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint int_eq_reif(X_INTRODUCED_8_,1,X_INTRODUCED_269_):: defines_var(X_INTRODUCED_269_);
constraint int_eq_reif(X_INTRODUCED_231_,21,X_INTRODUCED_270_):: defines_var(X_INTRODUCED_270_);
constraint int_eq_reif(X_INTRODUCED_9_,1,X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint int_eq_reif(X_INTRODUCED_235_,21,X_INTRODUCED_272_):: defines_var(X_INTRODUCED_272_);
constraint int_eq_reif(X_INTRODUCED_10_,1,X_INTRODUCED_273_):: defines_var(X_INTRODUCED_273_);
constraint int_eq_reif(X_INTRODUCED_239_,21,X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint int_eq_reif(X_INTRODUCED_11_,1,X_INTRODUCED_275_):: defines_var(X_INTRODUCED_275_);
constraint int_eq_reif(X_INTRODUCED_243_,21,X_INTRODUCED_276_):: defines_var(X_INTRODUCED_276_);
constraint int_eq_reif(X_INTRODUCED_12_,1,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint int_eq_reif(X_INTRODUCED_247_,21,X_INTRODUCED_278_):: defines_var(X_INTRODUCED_278_);
constraint int_eq_reif(X_INTRODUCED_13_,1,X_INTRODUCED_279_):: defines_var(X_INTRODUCED_279_);
constraint int_eq_reif(X_INTRODUCED_163_,21,X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint int_eq_reif(X_INTRODUCED_164_,21,X_INTRODUCED_281_):: defines_var(X_INTRODUCED_281_);
constraint int_eq_reif(X_INTRODUCED_165_,21,X_INTRODUCED_282_):: defines_var(X_INTRODUCED_282_);
constraint int_eq_reif(X_INTRODUCED_166_,21,X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint int_eq_reif(X_INTRODUCED_167_,21,X_INTRODUCED_284_):: defines_var(X_INTRODUCED_284_);
constraint int_eq_reif(X_INTRODUCED_168_,21,X_INTRODUCED_285_):: defines_var(X_INTRODUCED_285_);
constraint int_eq_reif(X_INTRODUCED_169_,21,X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint int_ne_reif(X_INTRODUCED_289_,21,X_INTRODUCED_312_):: defines_var(X_INTRODUCED_312_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_313_,X_INTRODUCED_289_],1,X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint int_ne_reif(X_INTRODUCED_290_,21,X_INTRODUCED_316_):: defines_var(X_INTRODUCED_316_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_317_,X_INTRODUCED_290_],1,X_INTRODUCED_319_):: defines_var(X_INTRODUCED_319_);
constraint int_ne_reif(X_INTRODUCED_291_,21,X_INTRODUCED_320_):: defines_var(X_INTRODUCED_320_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_321_,X_INTRODUCED_291_],1,X_INTRODUCED_323_):: defines_var(X_INTRODUCED_323_);
constraint int_ne_reif(X_INTRODUCED_292_,21,X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_325_,X_INTRODUCED_292_],1,X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint int_ne_reif(X_INTRODUCED_293_,21,X_INTRODUCED_328_):: defines_var(X_INTRODUCED_328_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_329_,X_INTRODUCED_293_],1,X_INTRODUCED_331_):: defines_var(X_INTRODUCED_331_);
constraint int_ne_reif(X_INTRODUCED_294_,21,X_INTRODUCED_332_):: defines_var(X_INTRODUCED_332_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_333_,X_INTRODUCED_294_],1,X_INTRODUCED_335_):: defines_var(X_INTRODUCED_335_);
constraint int_ne_reif(X_INTRODUCED_295_,21,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_337_,X_INTRODUCED_295_],1,X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint int_ne_reif(X_INTRODUCED_296_,21,X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_341_,X_INTRODUCED_296_],1,X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint int_ne_reif(X_INTRODUCED_297_,21,X_INTRODUCED_344_):: defines_var(X_INTRODUCED_344_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_345_,X_INTRODUCED_297_],1,X_INTRODUCED_347_):: defines_var(X_INTRODUCED_347_);
constraint int_ne_reif(X_INTRODUCED_298_,21,X_INTRODUCED_348_):: defines_var(X_INTRODUCED_348_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_349_,X_INTRODUCED_298_],1,X_INTRODUCED_351_):: defines_var(X_INTRODUCED_351_);
constraint int_ne_reif(X_INTRODUCED_299_,21,X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_353_,X_INTRODUCED_299_],1,X_INTRODUCED_355_):: defines_var(X_INTRODUCED_355_);
constraint int_ne_reif(X_INTRODUCED_300_,21,X_INTRODUCED_356_):: defines_var(X_INTRODUCED_356_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_357_,X_INTRODUCED_300_],1,X_INTRODUCED_359_):: defines_var(X_INTRODUCED_359_);
constraint int_ne_reif(X_INTRODUCED_301_,21,X_INTRODUCED_360_):: defines_var(X_INTRODUCED_360_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_361_,X_INTRODUCED_301_],1,X_INTRODUCED_363_):: defines_var(X_INTRODUCED_363_);
constraint int_ne_reif(X_INTRODUCED_341_,21,X_INTRODUCED_364_):: defines_var(X_INTRODUCED_364_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_365_,X_INTRODUCED_341_],1,X_INTRODUCED_367_):: defines_var(X_INTRODUCED_367_);
constraint int_ne_reif(X_INTRODUCED_345_,21,X_INTRODUCED_368_):: defines_var(X_INTRODUCED_368_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_369_,X_INTRODUCED_345_],1,X_INTRODUCED_371_):: defines_var(X_INTRODUCED_371_);
constraint int_ne_reif(X_INTRODUCED_349_,21,X_INTRODUCED_372_):: defines_var(X_INTRODUCED_372_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_373_,X_INTRODUCED_349_],1,X_INTRODUCED_375_):: defines_var(X_INTRODUCED_375_);
constraint int_ne_reif(X_INTRODUCED_353_,21,X_INTRODUCED_376_):: defines_var(X_INTRODUCED_376_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_377_,X_INTRODUCED_353_],1,X_INTRODUCED_379_):: defines_var(X_INTRODUCED_379_);
constraint int_ne_reif(X_INTRODUCED_357_,21,X_INTRODUCED_380_):: defines_var(X_INTRODUCED_380_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_381_,X_INTRODUCED_357_],1,X_INTRODUCED_383_):: defines_var(X_INTRODUCED_383_);
constraint int_ne_reif(X_INTRODUCED_361_,21,X_INTRODUCED_384_):: defines_var(X_INTRODUCED_384_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_385_,X_INTRODUCED_361_],1,X_INTRODUCED_387_):: defines_var(X_INTRODUCED_387_);
constraint int_ne_reif(X_INTRODUCED_337_,21,X_INTRODUCED_388_):: defines_var(X_INTRODUCED_388_);
constraint int_lin_eq_reif(X_INTRODUCED_148_,[X_INTRODUCED_389_,X_INTRODUCED_337_],1,X_INTRODUCED_391_):: defines_var(X_INTRODUCED_391_);
constraint int_eq_reif(X_INTRODUCED_289_,21,X_INTRODUCED_392_):: defines_var(X_INTRODUCED_392_);
constraint int_eq_reif(X_INTRODUCED_22_,1,X_INTRODUCED_393_):: defines_var(X_INTRODUCED_393_);
constraint int_eq_reif(X_INTRODUCED_290_,21,X_INTRODUCED_394_):: defines_var(X_INTRODUCED_394_);
constraint int_eq_reif(X_INTRODUCED_23_,1,X_INTRODUCED_395_):: defines_var(X_INTRODUCED_395_);
constraint int_eq_reif(X_INTRODUCED_291_,21,X_INTRODUCED_396_):: defines_var(X_INTRODUCED_396_);
constraint int_eq_reif(X_INTRODUCED_24_,1,X_INTRODUCED_397_):: defines_var(X_INTRODUCED_397_);
constraint int_eq_reif(X_INTRODUCED_292_,21,X_INTRODUCED_398_):: defines_var(X_INTRODUCED_398_);
constraint int_eq_reif(X_INTRODUCED_25_,1,X_INTRODUCED_399_):: defines_var(X_INTRODUCED_399_);
constraint int_eq_reif(X_INTRODUCED_293_,21,X_INTRODUCED_400_):: defines_var(X_INTRODUCED_400_);
constraint int_eq_reif(X_INTRODUCED_26_,1,X_INTRODUCED_401_):: defines_var(X_INTRODUCED_401_);
constraint int_eq_reif(X_INTRODUCED_294_,21,X_INTRODUCED_402_):: defines_var(X_INTRODUCED_402_);
constraint int_eq_reif(X_INTRODUCED_27_,1,X_INTRODUCED_403_):: defines_var(X_INTRODUCED_403_);
constraint int_eq_reif(X_INTRODUCED_295_,21,X_INTRODUCED_404_):: defines_var(X_INTRODUCED_404_);
constraint int_eq_reif(X_INTRODUCED_296_,21,X_INTRODUCED_405_):: defines_var(X_INTRODUCED_405_);
constraint int_eq_reif(X_INTRODUCED_297_,21,X_INTRODUCED_406_):: defines_var(X_INTRODUCED_406_);
constraint int_eq_reif(X_INTRODUCED_298_,21,X_INTRODUCED_407_):: defines_var(X_INTRODUCED_407_);
constraint int_eq_reif(X_INTRODUCED_299_,21,X_INTRODUCED_408_):: defines_var(X_INTRODUCED_408_);
constraint int_eq_reif(X_INTRODUCED_300_,21,X_INTRODUCED_409_):: defines_var(X_INTRODUCED_409_);
constraint int_eq_reif(X_INTRODUCED_301_,21,X_INTRODUCED_410_):: defines_var(X_INTRODUCED_410_);
constraint int_eq_reif(X_INTRODUCED_341_,21,X_INTRODUCED_411_):: defines_var(X_INTRODUCED_411_);
constraint int_eq_reif(X_INTRODUCED_35_,1,X_INTRODUCED_412_):: defines_var(X_INTRODUCED_412_);
constraint int_eq_reif(X_INTRODUCED_345_,21,X_INTRODUCED_413_):: defines_var(X_INTRODUCED_413_);
constraint int_eq_reif(X_INTRODUCED_36_,1,X_INTRODUCED_414_):: defines_var(X_INTRODUCED_414_);
constraint int_eq_reif(X_INTRODUCED_349_,21,X_INTRODUCED_415_):: defines_var(X_INTRODUCED_415_);
constraint int_eq_reif(X_INTRODUCED_37_,1,X_INTRODUCED_416_):: defines_var(X_INTRODUCED_416_);
constraint int_eq_reif(X_INTRODUCED_353_,21,X_INTRODUCED_417_):: defines_var(X_INTRODUCED_417_);
constraint int_eq_reif(X_INTRODUCED_38_,1,X_INTRODUCED_418_):: defines_var(X_INTRODUCED_418_);
constraint int_eq_reif(X_INTRODUCED_357_,21,X_INTRODUCED_419_):: defines_var(X_INTRODUCED_419_);
constraint int_eq_reif(X_INTRODUCED_39_,1,X_INTRODUCED_420_):: defines_var(X_INTRODUCED_420_);
constraint int_eq_reif(X_INTRODUCED_361_,21,X_INTRODUCED_421_):: defines_var(X_INTRODUCED_421_);
constraint int_eq_reif(X_INTRODUCED_40_,1,X_INTRODUCED_422_):: defines_var(X_INTRODUCED_422_);
constraint int_eq_reif(X_INTRODUCED_337_,21,X_INTRODUCED_423_):: defines_var(X_INTRODUCED_423_);
constraint int_eq_reif(X_INTRODUCED_41_,1,X_INTRODUCED_424_):: defines_var(X_INTRODUCED_424_);
solve :: seq_search([int_search(successor,first_fail,indomain_split,complete),int_search(vehicle,first_fail,indomain_split,complete),int_search(arrivalTime,first_fail,indomain_min,complete),int_search(X_INTRODUCED_514_,first_fail,indomain_min,complete)]) minimize objective;