array [1..4] of int: X_INTRODUCED_44_ = [8,1,-8,-1];
array [1..2] of int: X_INTRODUCED_47_ = [1,-1];
var 1..8: X_INTRODUCED_2_;
var 1..8: X_INTRODUCED_3_;
var 1..8: X_INTRODUCED_4_;
var 1..8: X_INTRODUCED_5_;
var 1..8: X_INTRODUCED_6_;
var 1..8: X_INTRODUCED_7_;
var 1..8: X_INTRODUCED_8_;
var 1..8: X_INTRODUCED_9_;
var 1..8: X_INTRODUCED_10_;
var 1..8: X_INTRODUCED_11_;
var 1..8: X_INTRODUCED_12_;
var 1..8: X_INTRODUCED_16_;
var 1..8: X_INTRODUCED_17_;
var 1..8: X_INTRODUCED_18_;
var 1..8: X_INTRODUCED_19_;
var 1..8: X_INTRODUCED_20_;
var 1..8: X_INTRODUCED_21_;
var 1..8: X_INTRODUCED_22_;
var 1..8: X_INTRODUCED_23_;
var 1..8: X_INTRODUCED_24_;
var 1..8: X_INTRODUCED_25_;
var 1..8: X_INTRODUCED_26_;
var bool: X_INTRODUCED_76_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_78_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_79_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_81_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_83_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_84_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_87_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_88_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_90_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_91_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_94_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_95_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_97_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_98_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_100_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_101_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_104_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_106_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_107_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_109_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_111_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_112_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_115_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_116_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_118_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_119_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_122_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_123_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_125_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_126_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_128_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_129_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_132_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_134_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_135_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_137_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_139_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_140_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_143_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_144_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_146_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_147_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_150_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_151_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_153_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_154_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_156_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_157_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_160_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_162_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_163_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_165_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_167_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_168_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_171_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_172_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_174_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_175_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_178_ ::var_is_introduced :: is_defined_var;
var bool: 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 bool: X_INTRODUCED_184_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_185_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_188_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_190_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_191_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_193_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_195_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_196_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_199_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_200_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_202_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_203_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_206_ ::var_is_introduced :: is_defined_var;
var bool: 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 bool: X_INTRODUCED_212_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_213_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_216_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_218_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_219_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_223_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_224_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_228_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_230_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_234_ ::var_is_introduced :: is_defined_var;
var bool: 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 bool: X_INTRODUCED_240_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_241_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_244_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_246_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_247_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_251_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_252_ ::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_258_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_259_ ::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_265_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_266_ ::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_272_ ::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_277_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_279_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_284_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_286_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_287_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_290_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_291_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_293_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_294_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_296_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_297_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_300_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_302_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_303_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_305_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_307_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_308_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_311_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_312_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_314_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_315_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_318_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_319_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_321_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_322_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_324_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_325_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_328_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_330_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_331_ ::var_is_introduced :: is_defined_var;
var bool: 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 bool: X_INTRODUCED_339_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_340_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_342_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_343_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_346_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_347_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_349_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_350_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_352_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_353_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_356_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_358_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_359_ ::var_is_introduced :: is_defined_var;
var bool: 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 bool: X_INTRODUCED_367_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_368_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_370_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_371_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_374_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_375_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_377_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_378_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_380_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_381_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_384_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_386_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_387_ ::var_is_introduced :: is_defined_var;
var bool: 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_395_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_396_ ::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_402_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_403_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_405_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_406_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_408_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_409_ ::var_is_introduced :: is_defined_var;
array [1..14] of var int: r:: output_array([1..14]) = [1,2,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_,3];
array [1..14] of var int: c:: output_array([1..14]) = [1,3,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,2];
array [1..28] of var int: X_INTRODUCED_411_ ::var_is_introduced  = [1,2,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_,3,1,3,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,2];
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_16_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_17_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_18_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_19_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_20_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_21_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_22_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_23_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_24_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_11_,X_INTRODUCED_25_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_12_,X_INTRODUCED_26_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_16_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_17_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_18_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_19_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_20_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_21_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_22_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_23_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_24_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_11_,X_INTRODUCED_25_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_12_,X_INTRODUCED_26_],-19);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_3_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_4_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_5_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_6_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_2_,X_INTRODUCED_16_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_2_,X_INTRODUCED_16_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_4_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_5_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_6_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_3_,X_INTRODUCED_17_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_3_,X_INTRODUCED_17_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_5_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_6_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_4_,X_INTRODUCED_18_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_4_,X_INTRODUCED_18_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_6_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_5_,X_INTRODUCED_19_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_5_,X_INTRODUCED_19_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_6_,X_INTRODUCED_20_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_6_,X_INTRODUCED_20_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_7_,X_INTRODUCED_21_,X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_7_,X_INTRODUCED_21_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_7_,X_INTRODUCED_21_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_7_,X_INTRODUCED_21_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_7_,X_INTRODUCED_21_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_7_,X_INTRODUCED_21_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_8_,X_INTRODUCED_22_,X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_8_,X_INTRODUCED_22_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_8_,X_INTRODUCED_22_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_8_,X_INTRODUCED_22_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_8_,X_INTRODUCED_22_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_9_,X_INTRODUCED_23_,X_INTRODUCED_10_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_9_,X_INTRODUCED_23_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_9_,X_INTRODUCED_23_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_9_,X_INTRODUCED_23_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_10_,X_INTRODUCED_24_,X_INTRODUCED_11_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_10_,X_INTRODUCED_24_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_10_,X_INTRODUCED_24_],26);
constraint int_lin_ne(X_INTRODUCED_44_,[X_INTRODUCED_11_,X_INTRODUCED_25_,X_INTRODUCED_12_,X_INTRODUCED_26_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_11_,X_INTRODUCED_25_],26);
constraint int_lin_ne([8,1],[X_INTRODUCED_12_,X_INTRODUCED_26_],26);
constraint array_bool_or([X_INTRODUCED_79_,X_INTRODUCED_84_,X_INTRODUCED_88_,X_INTRODUCED_91_,X_INTRODUCED_95_,X_INTRODUCED_98_,X_INTRODUCED_100_,X_INTRODUCED_101_],true);
constraint array_bool_or([X_INTRODUCED_107_,X_INTRODUCED_112_,X_INTRODUCED_116_,X_INTRODUCED_119_,X_INTRODUCED_123_,X_INTRODUCED_126_,X_INTRODUCED_128_,X_INTRODUCED_129_],true);
constraint array_bool_or([X_INTRODUCED_135_,X_INTRODUCED_140_,X_INTRODUCED_144_,X_INTRODUCED_147_,X_INTRODUCED_151_,X_INTRODUCED_154_,X_INTRODUCED_156_,X_INTRODUCED_157_],true);
constraint array_bool_or([X_INTRODUCED_163_,X_INTRODUCED_168_,X_INTRODUCED_172_,X_INTRODUCED_175_,X_INTRODUCED_179_,X_INTRODUCED_182_,X_INTRODUCED_184_,X_INTRODUCED_185_],true);
constraint array_bool_or([X_INTRODUCED_191_,X_INTRODUCED_196_,X_INTRODUCED_200_,X_INTRODUCED_203_,X_INTRODUCED_207_,X_INTRODUCED_210_,X_INTRODUCED_212_,X_INTRODUCED_213_],true);
constraint array_bool_or([X_INTRODUCED_219_,X_INTRODUCED_224_,X_INTRODUCED_228_,X_INTRODUCED_231_,X_INTRODUCED_235_,X_INTRODUCED_238_,X_INTRODUCED_240_,X_INTRODUCED_241_],true);
constraint array_bool_or([X_INTRODUCED_268_,X_INTRODUCED_269_,X_INTRODUCED_247_,X_INTRODUCED_252_,X_INTRODUCED_256_,X_INTRODUCED_259_,X_INTRODUCED_263_,X_INTRODUCED_266_],true);
constraint array_bool_or([X_INTRODUCED_275_,X_INTRODUCED_280_,X_INTRODUCED_284_,X_INTRODUCED_287_,X_INTRODUCED_291_,X_INTRODUCED_294_,X_INTRODUCED_296_,X_INTRODUCED_297_],true);
constraint array_bool_or([X_INTRODUCED_303_,X_INTRODUCED_308_,X_INTRODUCED_312_,X_INTRODUCED_315_,X_INTRODUCED_319_,X_INTRODUCED_322_,X_INTRODUCED_324_,X_INTRODUCED_325_],true);
constraint array_bool_or([X_INTRODUCED_331_,X_INTRODUCED_336_,X_INTRODUCED_340_,X_INTRODUCED_343_,X_INTRODUCED_347_,X_INTRODUCED_350_,X_INTRODUCED_352_,X_INTRODUCED_353_],true);
constraint array_bool_or([X_INTRODUCED_359_,X_INTRODUCED_364_,X_INTRODUCED_368_,X_INTRODUCED_371_,X_INTRODUCED_375_,X_INTRODUCED_378_,X_INTRODUCED_380_,X_INTRODUCED_381_],true);
constraint array_bool_or([X_INTRODUCED_387_,X_INTRODUCED_392_,X_INTRODUCED_396_,X_INTRODUCED_399_,X_INTRODUCED_403_,X_INTRODUCED_406_,X_INTRODUCED_408_,X_INTRODUCED_409_],true);
constraint int_lin_eq_reif([1],[X_INTRODUCED_16_],1,X_INTRODUCED_76_):: defines_var(X_INTRODUCED_76_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],1,X_INTRODUCED_78_):: defines_var(X_INTRODUCED_78_);
constraint array_bool_and([X_INTRODUCED_76_,X_INTRODUCED_78_],X_INTRODUCED_79_):: defines_var(X_INTRODUCED_79_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_16_],2,X_INTRODUCED_81_):: defines_var(X_INTRODUCED_81_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],0,X_INTRODUCED_83_):: defines_var(X_INTRODUCED_83_);
constraint array_bool_and([X_INTRODUCED_81_,X_INTRODUCED_83_],X_INTRODUCED_84_):: defines_var(X_INTRODUCED_84_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],3,X_INTRODUCED_87_):: defines_var(X_INTRODUCED_87_);
constraint array_bool_and([X_INTRODUCED_76_,X_INTRODUCED_87_],X_INTRODUCED_88_):: defines_var(X_INTRODUCED_88_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_16_],4,X_INTRODUCED_90_):: defines_var(X_INTRODUCED_90_);
constraint array_bool_and([X_INTRODUCED_83_,X_INTRODUCED_90_],X_INTRODUCED_91_):: defines_var(X_INTRODUCED_91_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_16_],5,X_INTRODUCED_94_):: defines_var(X_INTRODUCED_94_);
constraint array_bool_and([X_INTRODUCED_78_,X_INTRODUCED_94_],X_INTRODUCED_95_):: defines_var(X_INTRODUCED_95_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],4,X_INTRODUCED_97_):: defines_var(X_INTRODUCED_97_);
constraint array_bool_and([X_INTRODUCED_81_,X_INTRODUCED_97_],X_INTRODUCED_98_):: defines_var(X_INTRODUCED_98_);
constraint array_bool_and([X_INTRODUCED_87_,X_INTRODUCED_94_],X_INTRODUCED_100_):: defines_var(X_INTRODUCED_100_);
constraint array_bool_and([X_INTRODUCED_90_,X_INTRODUCED_97_],X_INTRODUCED_101_):: defines_var(X_INTRODUCED_101_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_17_,X_INTRODUCED_16_],-2,X_INTRODUCED_104_):: defines_var(X_INTRODUCED_104_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-1,X_INTRODUCED_106_):: defines_var(X_INTRODUCED_106_);
constraint array_bool_and([X_INTRODUCED_104_,X_INTRODUCED_106_],X_INTRODUCED_107_):: defines_var(X_INTRODUCED_107_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_17_,X_INTRODUCED_16_],-1,X_INTRODUCED_109_):: defines_var(X_INTRODUCED_109_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-2,X_INTRODUCED_111_):: defines_var(X_INTRODUCED_111_);
constraint array_bool_and([X_INTRODUCED_109_,X_INTRODUCED_111_],X_INTRODUCED_112_):: defines_var(X_INTRODUCED_112_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_2_],1,X_INTRODUCED_115_):: defines_var(X_INTRODUCED_115_);
constraint array_bool_and([X_INTRODUCED_104_,X_INTRODUCED_115_],X_INTRODUCED_116_):: defines_var(X_INTRODUCED_116_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_17_,X_INTRODUCED_16_],1,X_INTRODUCED_118_):: defines_var(X_INTRODUCED_118_);
constraint array_bool_and([X_INTRODUCED_111_,X_INTRODUCED_118_],X_INTRODUCED_119_):: defines_var(X_INTRODUCED_119_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_17_,X_INTRODUCED_16_],2,X_INTRODUCED_122_):: defines_var(X_INTRODUCED_122_);
constraint array_bool_and([X_INTRODUCED_106_,X_INTRODUCED_122_],X_INTRODUCED_123_):: defines_var(X_INTRODUCED_123_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_2_],2,X_INTRODUCED_125_):: defines_var(X_INTRODUCED_125_);
constraint array_bool_and([X_INTRODUCED_109_,X_INTRODUCED_125_],X_INTRODUCED_126_):: defines_var(X_INTRODUCED_126_);
constraint array_bool_and([X_INTRODUCED_115_,X_INTRODUCED_122_],X_INTRODUCED_128_):: defines_var(X_INTRODUCED_128_);
constraint array_bool_and([X_INTRODUCED_118_,X_INTRODUCED_125_],X_INTRODUCED_129_):: defines_var(X_INTRODUCED_129_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-2,X_INTRODUCED_132_):: defines_var(X_INTRODUCED_132_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-1,X_INTRODUCED_134_):: defines_var(X_INTRODUCED_134_);
constraint array_bool_and([X_INTRODUCED_132_,X_INTRODUCED_134_],X_INTRODUCED_135_):: defines_var(X_INTRODUCED_135_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-1,X_INTRODUCED_137_):: defines_var(X_INTRODUCED_137_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-2,X_INTRODUCED_139_):: defines_var(X_INTRODUCED_139_);
constraint array_bool_and([X_INTRODUCED_137_,X_INTRODUCED_139_],X_INTRODUCED_140_):: defines_var(X_INTRODUCED_140_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_3_],1,X_INTRODUCED_143_):: defines_var(X_INTRODUCED_143_);
constraint array_bool_and([X_INTRODUCED_132_,X_INTRODUCED_143_],X_INTRODUCED_144_):: defines_var(X_INTRODUCED_144_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_18_,X_INTRODUCED_17_],1,X_INTRODUCED_146_):: defines_var(X_INTRODUCED_146_);
constraint array_bool_and([X_INTRODUCED_139_,X_INTRODUCED_146_],X_INTRODUCED_147_):: defines_var(X_INTRODUCED_147_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_18_,X_INTRODUCED_17_],2,X_INTRODUCED_150_):: defines_var(X_INTRODUCED_150_);
constraint array_bool_and([X_INTRODUCED_134_,X_INTRODUCED_150_],X_INTRODUCED_151_):: defines_var(X_INTRODUCED_151_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_3_],2,X_INTRODUCED_153_):: defines_var(X_INTRODUCED_153_);
constraint array_bool_and([X_INTRODUCED_137_,X_INTRODUCED_153_],X_INTRODUCED_154_):: defines_var(X_INTRODUCED_154_);
constraint array_bool_and([X_INTRODUCED_143_,X_INTRODUCED_150_],X_INTRODUCED_156_):: defines_var(X_INTRODUCED_156_);
constraint array_bool_and([X_INTRODUCED_146_,X_INTRODUCED_153_],X_INTRODUCED_157_):: defines_var(X_INTRODUCED_157_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-2,X_INTRODUCED_160_):: defines_var(X_INTRODUCED_160_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-1,X_INTRODUCED_162_):: defines_var(X_INTRODUCED_162_);
constraint array_bool_and([X_INTRODUCED_160_,X_INTRODUCED_162_],X_INTRODUCED_163_):: defines_var(X_INTRODUCED_163_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-1,X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-2,X_INTRODUCED_167_):: defines_var(X_INTRODUCED_167_);
constraint array_bool_and([X_INTRODUCED_165_,X_INTRODUCED_167_],X_INTRODUCED_168_):: defines_var(X_INTRODUCED_168_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_4_],1,X_INTRODUCED_171_):: defines_var(X_INTRODUCED_171_);
constraint array_bool_and([X_INTRODUCED_160_,X_INTRODUCED_171_],X_INTRODUCED_172_):: defines_var(X_INTRODUCED_172_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_19_,X_INTRODUCED_18_],1,X_INTRODUCED_174_):: defines_var(X_INTRODUCED_174_);
constraint array_bool_and([X_INTRODUCED_167_,X_INTRODUCED_174_],X_INTRODUCED_175_):: defines_var(X_INTRODUCED_175_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_19_,X_INTRODUCED_18_],2,X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_bool_and([X_INTRODUCED_162_,X_INTRODUCED_178_],X_INTRODUCED_179_):: defines_var(X_INTRODUCED_179_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_4_],2,X_INTRODUCED_181_):: defines_var(X_INTRODUCED_181_);
constraint array_bool_and([X_INTRODUCED_165_,X_INTRODUCED_181_],X_INTRODUCED_182_):: defines_var(X_INTRODUCED_182_);
constraint array_bool_and([X_INTRODUCED_171_,X_INTRODUCED_178_],X_INTRODUCED_184_):: defines_var(X_INTRODUCED_184_);
constraint array_bool_and([X_INTRODUCED_174_,X_INTRODUCED_181_],X_INTRODUCED_185_):: defines_var(X_INTRODUCED_185_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-2,X_INTRODUCED_188_):: defines_var(X_INTRODUCED_188_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-1,X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint array_bool_and([X_INTRODUCED_188_,X_INTRODUCED_190_],X_INTRODUCED_191_):: defines_var(X_INTRODUCED_191_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-1,X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-2,X_INTRODUCED_195_):: defines_var(X_INTRODUCED_195_);
constraint array_bool_and([X_INTRODUCED_193_,X_INTRODUCED_195_],X_INTRODUCED_196_):: defines_var(X_INTRODUCED_196_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_5_],1,X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint array_bool_and([X_INTRODUCED_188_,X_INTRODUCED_199_],X_INTRODUCED_200_):: defines_var(X_INTRODUCED_200_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_20_,X_INTRODUCED_19_],1,X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_bool_and([X_INTRODUCED_195_,X_INTRODUCED_202_],X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_20_,X_INTRODUCED_19_],2,X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint array_bool_and([X_INTRODUCED_190_,X_INTRODUCED_206_],X_INTRODUCED_207_):: defines_var(X_INTRODUCED_207_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_5_],2,X_INTRODUCED_209_):: defines_var(X_INTRODUCED_209_);
constraint array_bool_and([X_INTRODUCED_193_,X_INTRODUCED_209_],X_INTRODUCED_210_):: defines_var(X_INTRODUCED_210_);
constraint array_bool_and([X_INTRODUCED_199_,X_INTRODUCED_206_],X_INTRODUCED_212_):: defines_var(X_INTRODUCED_212_);
constraint array_bool_and([X_INTRODUCED_202_,X_INTRODUCED_209_],X_INTRODUCED_213_):: defines_var(X_INTRODUCED_213_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-2,X_INTRODUCED_216_):: defines_var(X_INTRODUCED_216_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-1,X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_bool_and([X_INTRODUCED_216_,X_INTRODUCED_218_],X_INTRODUCED_219_):: defines_var(X_INTRODUCED_219_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-1,X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-2,X_INTRODUCED_223_):: defines_var(X_INTRODUCED_223_);
constraint array_bool_and([X_INTRODUCED_221_,X_INTRODUCED_223_],X_INTRODUCED_224_):: defines_var(X_INTRODUCED_224_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_6_],1,X_INTRODUCED_227_):: defines_var(X_INTRODUCED_227_);
constraint array_bool_and([X_INTRODUCED_216_,X_INTRODUCED_227_],X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_21_,X_INTRODUCED_20_],1,X_INTRODUCED_230_):: defines_var(X_INTRODUCED_230_);
constraint array_bool_and([X_INTRODUCED_223_,X_INTRODUCED_230_],X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_21_,X_INTRODUCED_20_],2,X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_bool_and([X_INTRODUCED_218_,X_INTRODUCED_234_],X_INTRODUCED_235_):: defines_var(X_INTRODUCED_235_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_6_],2,X_INTRODUCED_237_):: defines_var(X_INTRODUCED_237_);
constraint array_bool_and([X_INTRODUCED_221_,X_INTRODUCED_237_],X_INTRODUCED_238_):: defines_var(X_INTRODUCED_238_);
constraint array_bool_and([X_INTRODUCED_227_,X_INTRODUCED_234_],X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_bool_and([X_INTRODUCED_230_,X_INTRODUCED_237_],X_INTRODUCED_241_):: defines_var(X_INTRODUCED_241_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-2,X_INTRODUCED_244_):: defines_var(X_INTRODUCED_244_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-1,X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_bool_and([X_INTRODUCED_244_,X_INTRODUCED_246_],X_INTRODUCED_247_):: defines_var(X_INTRODUCED_247_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-1,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-2,X_INTRODUCED_251_):: defines_var(X_INTRODUCED_251_);
constraint array_bool_and([X_INTRODUCED_249_,X_INTRODUCED_251_],X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_7_],1,X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint array_bool_and([X_INTRODUCED_244_,X_INTRODUCED_255_],X_INTRODUCED_256_):: defines_var(X_INTRODUCED_256_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_22_,X_INTRODUCED_21_],1,X_INTRODUCED_258_):: defines_var(X_INTRODUCED_258_);
constraint array_bool_and([X_INTRODUCED_251_,X_INTRODUCED_258_],X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_22_,X_INTRODUCED_21_],2,X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_bool_and([X_INTRODUCED_246_,X_INTRODUCED_262_],X_INTRODUCED_263_):: defines_var(X_INTRODUCED_263_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_7_],2,X_INTRODUCED_265_):: defines_var(X_INTRODUCED_265_);
constraint array_bool_and([X_INTRODUCED_249_,X_INTRODUCED_265_],X_INTRODUCED_266_):: defines_var(X_INTRODUCED_266_);
constraint array_bool_and([X_INTRODUCED_255_,X_INTRODUCED_262_],X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_bool_and([X_INTRODUCED_258_,X_INTRODUCED_265_],X_INTRODUCED_269_):: defines_var(X_INTRODUCED_269_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_23_,X_INTRODUCED_22_],-2,X_INTRODUCED_272_):: defines_var(X_INTRODUCED_272_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-1,X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_bool_and([X_INTRODUCED_272_,X_INTRODUCED_274_],X_INTRODUCED_275_):: defines_var(X_INTRODUCED_275_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_23_,X_INTRODUCED_22_],-1,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-2,X_INTRODUCED_279_):: defines_var(X_INTRODUCED_279_);
constraint array_bool_and([X_INTRODUCED_277_,X_INTRODUCED_279_],X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_8_],1,X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint array_bool_and([X_INTRODUCED_272_,X_INTRODUCED_283_],X_INTRODUCED_284_):: defines_var(X_INTRODUCED_284_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_23_,X_INTRODUCED_22_],1,X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint array_bool_and([X_INTRODUCED_279_,X_INTRODUCED_286_],X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_23_,X_INTRODUCED_22_],2,X_INTRODUCED_290_):: defines_var(X_INTRODUCED_290_);
constraint array_bool_and([X_INTRODUCED_274_,X_INTRODUCED_290_],X_INTRODUCED_291_):: defines_var(X_INTRODUCED_291_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_8_],2,X_INTRODUCED_293_):: defines_var(X_INTRODUCED_293_);
constraint array_bool_and([X_INTRODUCED_277_,X_INTRODUCED_293_],X_INTRODUCED_294_):: defines_var(X_INTRODUCED_294_);
constraint array_bool_and([X_INTRODUCED_283_,X_INTRODUCED_290_],X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_bool_and([X_INTRODUCED_286_,X_INTRODUCED_293_],X_INTRODUCED_297_):: defines_var(X_INTRODUCED_297_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_24_,X_INTRODUCED_23_],-2,X_INTRODUCED_300_):: defines_var(X_INTRODUCED_300_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-1,X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint array_bool_and([X_INTRODUCED_300_,X_INTRODUCED_302_],X_INTRODUCED_303_):: defines_var(X_INTRODUCED_303_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_24_,X_INTRODUCED_23_],-1,X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-2,X_INTRODUCED_307_):: defines_var(X_INTRODUCED_307_);
constraint array_bool_and([X_INTRODUCED_305_,X_INTRODUCED_307_],X_INTRODUCED_308_):: defines_var(X_INTRODUCED_308_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_9_],1,X_INTRODUCED_311_):: defines_var(X_INTRODUCED_311_);
constraint array_bool_and([X_INTRODUCED_300_,X_INTRODUCED_311_],X_INTRODUCED_312_):: defines_var(X_INTRODUCED_312_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_24_,X_INTRODUCED_23_],1,X_INTRODUCED_314_):: defines_var(X_INTRODUCED_314_);
constraint array_bool_and([X_INTRODUCED_307_,X_INTRODUCED_314_],X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_24_,X_INTRODUCED_23_],2,X_INTRODUCED_318_):: defines_var(X_INTRODUCED_318_);
constraint array_bool_and([X_INTRODUCED_302_,X_INTRODUCED_318_],X_INTRODUCED_319_):: defines_var(X_INTRODUCED_319_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_9_],2,X_INTRODUCED_321_):: defines_var(X_INTRODUCED_321_);
constraint array_bool_and([X_INTRODUCED_305_,X_INTRODUCED_321_],X_INTRODUCED_322_):: defines_var(X_INTRODUCED_322_);
constraint array_bool_and([X_INTRODUCED_311_,X_INTRODUCED_318_],X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint array_bool_and([X_INTRODUCED_314_,X_INTRODUCED_321_],X_INTRODUCED_325_):: defines_var(X_INTRODUCED_325_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_25_,X_INTRODUCED_24_],-2,X_INTRODUCED_328_):: defines_var(X_INTRODUCED_328_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_10_],-1,X_INTRODUCED_330_):: defines_var(X_INTRODUCED_330_);
constraint array_bool_and([X_INTRODUCED_328_,X_INTRODUCED_330_],X_INTRODUCED_331_):: defines_var(X_INTRODUCED_331_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_25_,X_INTRODUCED_24_],-1,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_10_],-2,X_INTRODUCED_335_):: defines_var(X_INTRODUCED_335_);
constraint array_bool_and([X_INTRODUCED_333_,X_INTRODUCED_335_],X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_10_],1,X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint array_bool_and([X_INTRODUCED_328_,X_INTRODUCED_339_],X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_25_,X_INTRODUCED_24_],1,X_INTRODUCED_342_):: defines_var(X_INTRODUCED_342_);
constraint array_bool_and([X_INTRODUCED_335_,X_INTRODUCED_342_],X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_25_,X_INTRODUCED_24_],2,X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint array_bool_and([X_INTRODUCED_330_,X_INTRODUCED_346_],X_INTRODUCED_347_):: defines_var(X_INTRODUCED_347_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_10_],2,X_INTRODUCED_349_):: defines_var(X_INTRODUCED_349_);
constraint array_bool_and([X_INTRODUCED_333_,X_INTRODUCED_349_],X_INTRODUCED_350_):: defines_var(X_INTRODUCED_350_);
constraint array_bool_and([X_INTRODUCED_339_,X_INTRODUCED_346_],X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint array_bool_and([X_INTRODUCED_342_,X_INTRODUCED_349_],X_INTRODUCED_353_):: defines_var(X_INTRODUCED_353_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_26_,X_INTRODUCED_25_],-2,X_INTRODUCED_356_):: defines_var(X_INTRODUCED_356_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_12_,X_INTRODUCED_11_],-1,X_INTRODUCED_358_):: defines_var(X_INTRODUCED_358_);
constraint array_bool_and([X_INTRODUCED_356_,X_INTRODUCED_358_],X_INTRODUCED_359_):: defines_var(X_INTRODUCED_359_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_26_,X_INTRODUCED_25_],-1,X_INTRODUCED_361_):: defines_var(X_INTRODUCED_361_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_12_,X_INTRODUCED_11_],-2,X_INTRODUCED_363_):: defines_var(X_INTRODUCED_363_);
constraint array_bool_and([X_INTRODUCED_361_,X_INTRODUCED_363_],X_INTRODUCED_364_):: defines_var(X_INTRODUCED_364_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_12_,X_INTRODUCED_11_],1,X_INTRODUCED_367_):: defines_var(X_INTRODUCED_367_);
constraint array_bool_and([X_INTRODUCED_356_,X_INTRODUCED_367_],X_INTRODUCED_368_):: defines_var(X_INTRODUCED_368_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_26_,X_INTRODUCED_25_],1,X_INTRODUCED_370_):: defines_var(X_INTRODUCED_370_);
constraint array_bool_and([X_INTRODUCED_363_,X_INTRODUCED_370_],X_INTRODUCED_371_):: defines_var(X_INTRODUCED_371_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_26_,X_INTRODUCED_25_],2,X_INTRODUCED_374_):: defines_var(X_INTRODUCED_374_);
constraint array_bool_and([X_INTRODUCED_358_,X_INTRODUCED_374_],X_INTRODUCED_375_):: defines_var(X_INTRODUCED_375_);
constraint int_lin_eq_reif(X_INTRODUCED_47_,[X_INTRODUCED_12_,X_INTRODUCED_11_],2,X_INTRODUCED_377_):: defines_var(X_INTRODUCED_377_);
constraint array_bool_and([X_INTRODUCED_361_,X_INTRODUCED_377_],X_INTRODUCED_378_):: defines_var(X_INTRODUCED_378_);
constraint array_bool_and([X_INTRODUCED_367_,X_INTRODUCED_374_],X_INTRODUCED_380_):: defines_var(X_INTRODUCED_380_);
constraint array_bool_and([X_INTRODUCED_370_,X_INTRODUCED_377_],X_INTRODUCED_381_):: defines_var(X_INTRODUCED_381_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_26_],-4,X_INTRODUCED_384_):: defines_var(X_INTRODUCED_384_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_12_],-4,X_INTRODUCED_386_):: defines_var(X_INTRODUCED_386_);
constraint array_bool_and([X_INTRODUCED_384_,X_INTRODUCED_386_],X_INTRODUCED_387_):: defines_var(X_INTRODUCED_387_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_26_],-3,X_INTRODUCED_389_):: defines_var(X_INTRODUCED_389_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_12_],-5,X_INTRODUCED_391_):: defines_var(X_INTRODUCED_391_);
constraint array_bool_and([X_INTRODUCED_389_,X_INTRODUCED_391_],X_INTRODUCED_392_):: defines_var(X_INTRODUCED_392_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_12_],-2,X_INTRODUCED_395_):: defines_var(X_INTRODUCED_395_);
constraint array_bool_and([X_INTRODUCED_384_,X_INTRODUCED_395_],X_INTRODUCED_396_):: defines_var(X_INTRODUCED_396_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_26_],-1,X_INTRODUCED_398_):: defines_var(X_INTRODUCED_398_);
constraint array_bool_and([X_INTRODUCED_391_,X_INTRODUCED_398_],X_INTRODUCED_399_):: defines_var(X_INTRODUCED_399_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_26_],0,X_INTRODUCED_402_):: defines_var(X_INTRODUCED_402_);
constraint array_bool_and([X_INTRODUCED_386_,X_INTRODUCED_402_],X_INTRODUCED_403_):: defines_var(X_INTRODUCED_403_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_12_],-1,X_INTRODUCED_405_):: defines_var(X_INTRODUCED_405_);
constraint array_bool_and([X_INTRODUCED_389_,X_INTRODUCED_405_],X_INTRODUCED_406_):: defines_var(X_INTRODUCED_406_);
constraint array_bool_and([X_INTRODUCED_395_,X_INTRODUCED_402_],X_INTRODUCED_408_):: defines_var(X_INTRODUCED_408_);
constraint array_bool_and([X_INTRODUCED_398_,X_INTRODUCED_405_],X_INTRODUCED_409_):: defines_var(X_INTRODUCED_409_);
solve :: int_search(X_INTRODUCED_411_,input_order,indomain_min,complete) satisfy;