array [1..4] of int: X_INTRODUCED_47_ = [8,1,-8,-1];
array [1..2] of int: X_INTRODUCED_50_ = [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_13_;
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 1..8: X_INTRODUCED_27_;
var 1..8: X_INTRODUCED_28_;
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_82_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_84_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_86_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_87_ ::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_93_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_94_ ::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_103_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_104_ ::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_110_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_112_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_114_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_115_ ::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_121_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_122_ ::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_131_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_132_ ::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_138_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_140_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_142_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_143_ ::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_149_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_150_ ::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_159_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_160_ ::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_166_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_168_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_170_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_171_ ::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_177_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_178_ ::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_187_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_188_ ::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_194_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_196_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_198_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_199_ ::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_205_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_206_ ::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_215_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_216_ ::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_222_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_224_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_226_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_227_ ::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_233_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_234_ ::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_243_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_244_ ::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_250_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_252_ ::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_258_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_259_ ::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_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_271_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_272_ ::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_278_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_282_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_283_ ::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_289_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_290_ ::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_299_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_300_ ::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_306_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_308_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_310_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_311_ ::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_317_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_318_ ::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_327_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_328_ ::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_334_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_336_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_338_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_339_ ::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_345_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_346_ ::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_355_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_356_ ::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_362_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_364_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_366_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_367_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_370_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_371_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_373_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_374_ ::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_383_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_384_ ::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_390_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_392_ ::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_398_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_399_ ::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_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;
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_415_ ::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_420_ ::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_426_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_427_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_429_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_430_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_433_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_434_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_436_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_437_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_439_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_440_ ::var_is_introduced :: is_defined_var;
array [1..15] of var int: r:: output_array([1..15]) = [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_,X_INTRODUCED_13_,3];
array [1..15] of var int: c:: output_array([1..15]) = [1,3,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_,X_INTRODUCED_27_,X_INTRODUCED_28_,2];
array [1..30] of var int: X_INTRODUCED_442_ ::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_,X_INTRODUCED_13_,3,1,3,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_,X_INTRODUCED_27_,X_INTRODUCED_28_,2];
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_17_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_18_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_19_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_20_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_21_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_22_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_23_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_24_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_25_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_11_,X_INTRODUCED_26_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_12_,X_INTRODUCED_27_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_13_,X_INTRODUCED_28_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_17_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_18_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_19_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_20_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_21_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_22_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_23_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_24_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_25_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_11_,X_INTRODUCED_26_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_12_,X_INTRODUCED_27_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_13_,X_INTRODUCED_28_],-19);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_3_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_4_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_5_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_6_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_2_,X_INTRODUCED_17_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_2_,X_INTRODUCED_17_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_4_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_5_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_6_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_3_,X_INTRODUCED_18_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_3_,X_INTRODUCED_18_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_5_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_6_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_4_,X_INTRODUCED_19_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_4_,X_INTRODUCED_19_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_6_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_5_,X_INTRODUCED_20_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_5_,X_INTRODUCED_20_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_6_,X_INTRODUCED_21_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_6_,X_INTRODUCED_21_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_7_,X_INTRODUCED_22_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_7_,X_INTRODUCED_22_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_23_,X_INTRODUCED_9_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_23_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_23_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_23_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_8_,X_INTRODUCED_23_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_8_,X_INTRODUCED_23_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_24_,X_INTRODUCED_10_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_24_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_24_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_9_,X_INTRODUCED_24_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_9_,X_INTRODUCED_24_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_25_,X_INTRODUCED_11_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_25_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_10_,X_INTRODUCED_25_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_10_,X_INTRODUCED_25_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_26_,X_INTRODUCED_12_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_11_,X_INTRODUCED_26_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_11_,X_INTRODUCED_26_],26);
constraint int_lin_ne(X_INTRODUCED_47_,[X_INTRODUCED_12_,X_INTRODUCED_27_,X_INTRODUCED_13_,X_INTRODUCED_28_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_12_,X_INTRODUCED_27_],26);
constraint int_lin_ne([8,1],[X_INTRODUCED_13_,X_INTRODUCED_28_],26);
constraint array_bool_or([X_INTRODUCED_82_,X_INTRODUCED_87_,X_INTRODUCED_91_,X_INTRODUCED_94_,X_INTRODUCED_98_,X_INTRODUCED_101_,X_INTRODUCED_103_,X_INTRODUCED_104_],true);
constraint array_bool_or([X_INTRODUCED_110_,X_INTRODUCED_115_,X_INTRODUCED_119_,X_INTRODUCED_122_,X_INTRODUCED_126_,X_INTRODUCED_129_,X_INTRODUCED_131_,X_INTRODUCED_132_],true);
constraint array_bool_or([X_INTRODUCED_138_,X_INTRODUCED_143_,X_INTRODUCED_147_,X_INTRODUCED_150_,X_INTRODUCED_154_,X_INTRODUCED_157_,X_INTRODUCED_159_,X_INTRODUCED_160_],true);
constraint array_bool_or([X_INTRODUCED_166_,X_INTRODUCED_171_,X_INTRODUCED_175_,X_INTRODUCED_178_,X_INTRODUCED_182_,X_INTRODUCED_185_,X_INTRODUCED_187_,X_INTRODUCED_188_],true);
constraint array_bool_or([X_INTRODUCED_194_,X_INTRODUCED_199_,X_INTRODUCED_203_,X_INTRODUCED_206_,X_INTRODUCED_210_,X_INTRODUCED_213_,X_INTRODUCED_215_,X_INTRODUCED_216_],true);
constraint array_bool_or([X_INTRODUCED_222_,X_INTRODUCED_227_,X_INTRODUCED_231_,X_INTRODUCED_234_,X_INTRODUCED_238_,X_INTRODUCED_241_,X_INTRODUCED_243_,X_INTRODUCED_244_],true);
constraint array_bool_or([X_INTRODUCED_250_,X_INTRODUCED_255_,X_INTRODUCED_259_,X_INTRODUCED_262_,X_INTRODUCED_266_,X_INTRODUCED_269_,X_INTRODUCED_271_,X_INTRODUCED_272_],true);
constraint array_bool_or([X_INTRODUCED_278_,X_INTRODUCED_283_,X_INTRODUCED_287_,X_INTRODUCED_290_,X_INTRODUCED_294_,X_INTRODUCED_297_,X_INTRODUCED_299_,X_INTRODUCED_300_],true);
constraint array_bool_or([X_INTRODUCED_306_,X_INTRODUCED_311_,X_INTRODUCED_315_,X_INTRODUCED_318_,X_INTRODUCED_322_,X_INTRODUCED_325_,X_INTRODUCED_327_,X_INTRODUCED_328_],true);
constraint array_bool_or([X_INTRODUCED_334_,X_INTRODUCED_339_,X_INTRODUCED_343_,X_INTRODUCED_346_,X_INTRODUCED_350_,X_INTRODUCED_353_,X_INTRODUCED_355_,X_INTRODUCED_356_],true);
constraint array_bool_or([X_INTRODUCED_362_,X_INTRODUCED_367_,X_INTRODUCED_371_,X_INTRODUCED_374_,X_INTRODUCED_378_,X_INTRODUCED_381_,X_INTRODUCED_383_,X_INTRODUCED_384_],true);
constraint array_bool_or([X_INTRODUCED_390_,X_INTRODUCED_395_,X_INTRODUCED_399_,X_INTRODUCED_402_,X_INTRODUCED_406_,X_INTRODUCED_409_,X_INTRODUCED_411_,X_INTRODUCED_412_],true);
constraint array_bool_or([X_INTRODUCED_440_,X_INTRODUCED_439_,X_INTRODUCED_437_,X_INTRODUCED_434_,X_INTRODUCED_430_,X_INTRODUCED_427_,X_INTRODUCED_423_,X_INTRODUCED_418_],true);
constraint int_lin_eq_reif([1],[X_INTRODUCED_17_],1,X_INTRODUCED_79_):: defines_var(X_INTRODUCED_79_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],1,X_INTRODUCED_81_):: defines_var(X_INTRODUCED_81_);
constraint array_bool_and([X_INTRODUCED_79_,X_INTRODUCED_81_],X_INTRODUCED_82_):: defines_var(X_INTRODUCED_82_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_17_],2,X_INTRODUCED_84_):: defines_var(X_INTRODUCED_84_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],0,X_INTRODUCED_86_):: defines_var(X_INTRODUCED_86_);
constraint array_bool_and([X_INTRODUCED_84_,X_INTRODUCED_86_],X_INTRODUCED_87_):: defines_var(X_INTRODUCED_87_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],3,X_INTRODUCED_90_):: defines_var(X_INTRODUCED_90_);
constraint array_bool_and([X_INTRODUCED_79_,X_INTRODUCED_90_],X_INTRODUCED_91_):: defines_var(X_INTRODUCED_91_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_17_],4,X_INTRODUCED_93_):: defines_var(X_INTRODUCED_93_);
constraint array_bool_and([X_INTRODUCED_86_,X_INTRODUCED_93_],X_INTRODUCED_94_):: defines_var(X_INTRODUCED_94_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_17_],5,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 int_lin_eq_reif([1],[X_INTRODUCED_2_],4,X_INTRODUCED_100_):: defines_var(X_INTRODUCED_100_);
constraint array_bool_and([X_INTRODUCED_84_,X_INTRODUCED_100_],X_INTRODUCED_101_):: defines_var(X_INTRODUCED_101_);
constraint array_bool_and([X_INTRODUCED_90_,X_INTRODUCED_97_],X_INTRODUCED_103_):: defines_var(X_INTRODUCED_103_);
constraint array_bool_and([X_INTRODUCED_93_,X_INTRODUCED_100_],X_INTRODUCED_104_):: defines_var(X_INTRODUCED_104_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-2,X_INTRODUCED_107_):: defines_var(X_INTRODUCED_107_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-1,X_INTRODUCED_109_):: defines_var(X_INTRODUCED_109_);
constraint array_bool_and([X_INTRODUCED_107_,X_INTRODUCED_109_],X_INTRODUCED_110_):: defines_var(X_INTRODUCED_110_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-1,X_INTRODUCED_112_):: defines_var(X_INTRODUCED_112_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-2,X_INTRODUCED_114_):: defines_var(X_INTRODUCED_114_);
constraint array_bool_and([X_INTRODUCED_112_,X_INTRODUCED_114_],X_INTRODUCED_115_):: defines_var(X_INTRODUCED_115_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_2_],1,X_INTRODUCED_118_):: defines_var(X_INTRODUCED_118_);
constraint array_bool_and([X_INTRODUCED_107_,X_INTRODUCED_118_],X_INTRODUCED_119_):: defines_var(X_INTRODUCED_119_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_17_],1,X_INTRODUCED_121_):: defines_var(X_INTRODUCED_121_);
constraint array_bool_and([X_INTRODUCED_114_,X_INTRODUCED_121_],X_INTRODUCED_122_):: defines_var(X_INTRODUCED_122_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_17_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_2_],2,X_INTRODUCED_128_):: defines_var(X_INTRODUCED_128_);
constraint array_bool_and([X_INTRODUCED_112_,X_INTRODUCED_128_],X_INTRODUCED_129_):: defines_var(X_INTRODUCED_129_);
constraint array_bool_and([X_INTRODUCED_118_,X_INTRODUCED_125_],X_INTRODUCED_131_):: defines_var(X_INTRODUCED_131_);
constraint array_bool_and([X_INTRODUCED_121_,X_INTRODUCED_128_],X_INTRODUCED_132_):: defines_var(X_INTRODUCED_132_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-2,X_INTRODUCED_135_):: defines_var(X_INTRODUCED_135_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-1,X_INTRODUCED_137_):: defines_var(X_INTRODUCED_137_);
constraint array_bool_and([X_INTRODUCED_135_,X_INTRODUCED_137_],X_INTRODUCED_138_):: defines_var(X_INTRODUCED_138_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-1,X_INTRODUCED_140_):: defines_var(X_INTRODUCED_140_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-2,X_INTRODUCED_142_):: defines_var(X_INTRODUCED_142_);
constraint array_bool_and([X_INTRODUCED_140_,X_INTRODUCED_142_],X_INTRODUCED_143_):: defines_var(X_INTRODUCED_143_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_3_],1,X_INTRODUCED_146_):: defines_var(X_INTRODUCED_146_);
constraint array_bool_and([X_INTRODUCED_135_,X_INTRODUCED_146_],X_INTRODUCED_147_):: defines_var(X_INTRODUCED_147_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_18_],1,X_INTRODUCED_149_):: defines_var(X_INTRODUCED_149_);
constraint array_bool_and([X_INTRODUCED_142_,X_INTRODUCED_149_],X_INTRODUCED_150_):: defines_var(X_INTRODUCED_150_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_18_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_3_],2,X_INTRODUCED_156_):: defines_var(X_INTRODUCED_156_);
constraint array_bool_and([X_INTRODUCED_140_,X_INTRODUCED_156_],X_INTRODUCED_157_):: defines_var(X_INTRODUCED_157_);
constraint array_bool_and([X_INTRODUCED_146_,X_INTRODUCED_153_],X_INTRODUCED_159_):: defines_var(X_INTRODUCED_159_);
constraint array_bool_and([X_INTRODUCED_149_,X_INTRODUCED_156_],X_INTRODUCED_160_):: defines_var(X_INTRODUCED_160_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-2,X_INTRODUCED_163_):: defines_var(X_INTRODUCED_163_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-1,X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint array_bool_and([X_INTRODUCED_163_,X_INTRODUCED_165_],X_INTRODUCED_166_):: defines_var(X_INTRODUCED_166_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-1,X_INTRODUCED_168_):: defines_var(X_INTRODUCED_168_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-2,X_INTRODUCED_170_):: defines_var(X_INTRODUCED_170_);
constraint array_bool_and([X_INTRODUCED_168_,X_INTRODUCED_170_],X_INTRODUCED_171_):: defines_var(X_INTRODUCED_171_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_4_],1,X_INTRODUCED_174_):: defines_var(X_INTRODUCED_174_);
constraint array_bool_and([X_INTRODUCED_163_,X_INTRODUCED_174_],X_INTRODUCED_175_):: defines_var(X_INTRODUCED_175_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_19_],1,X_INTRODUCED_177_):: defines_var(X_INTRODUCED_177_);
constraint array_bool_and([X_INTRODUCED_170_,X_INTRODUCED_177_],X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_19_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_4_],2,X_INTRODUCED_184_):: defines_var(X_INTRODUCED_184_);
constraint array_bool_and([X_INTRODUCED_168_,X_INTRODUCED_184_],X_INTRODUCED_185_):: defines_var(X_INTRODUCED_185_);
constraint array_bool_and([X_INTRODUCED_174_,X_INTRODUCED_181_],X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint array_bool_and([X_INTRODUCED_177_,X_INTRODUCED_184_],X_INTRODUCED_188_):: defines_var(X_INTRODUCED_188_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-2,X_INTRODUCED_191_):: defines_var(X_INTRODUCED_191_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-1,X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_bool_and([X_INTRODUCED_191_,X_INTRODUCED_193_],X_INTRODUCED_194_):: defines_var(X_INTRODUCED_194_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-1,X_INTRODUCED_196_):: defines_var(X_INTRODUCED_196_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-2,X_INTRODUCED_198_):: defines_var(X_INTRODUCED_198_);
constraint array_bool_and([X_INTRODUCED_196_,X_INTRODUCED_198_],X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_5_],1,X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_bool_and([X_INTRODUCED_191_,X_INTRODUCED_202_],X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_20_],1,X_INTRODUCED_205_):: defines_var(X_INTRODUCED_205_);
constraint array_bool_and([X_INTRODUCED_198_,X_INTRODUCED_205_],X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_20_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_5_],2,X_INTRODUCED_212_):: defines_var(X_INTRODUCED_212_);
constraint array_bool_and([X_INTRODUCED_196_,X_INTRODUCED_212_],X_INTRODUCED_213_):: defines_var(X_INTRODUCED_213_);
constraint array_bool_and([X_INTRODUCED_202_,X_INTRODUCED_209_],X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint array_bool_and([X_INTRODUCED_205_,X_INTRODUCED_212_],X_INTRODUCED_216_):: defines_var(X_INTRODUCED_216_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-2,X_INTRODUCED_219_):: defines_var(X_INTRODUCED_219_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-1,X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_bool_and([X_INTRODUCED_219_,X_INTRODUCED_221_],X_INTRODUCED_222_):: defines_var(X_INTRODUCED_222_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-1,X_INTRODUCED_224_):: defines_var(X_INTRODUCED_224_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-2,X_INTRODUCED_226_):: defines_var(X_INTRODUCED_226_);
constraint array_bool_and([X_INTRODUCED_224_,X_INTRODUCED_226_],X_INTRODUCED_227_):: defines_var(X_INTRODUCED_227_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_6_],1,X_INTRODUCED_230_):: defines_var(X_INTRODUCED_230_);
constraint array_bool_and([X_INTRODUCED_219_,X_INTRODUCED_230_],X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_21_],1,X_INTRODUCED_233_):: defines_var(X_INTRODUCED_233_);
constraint array_bool_and([X_INTRODUCED_226_,X_INTRODUCED_233_],X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_21_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_6_],2,X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_bool_and([X_INTRODUCED_224_,X_INTRODUCED_240_],X_INTRODUCED_241_):: defines_var(X_INTRODUCED_241_);
constraint array_bool_and([X_INTRODUCED_230_,X_INTRODUCED_237_],X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_bool_and([X_INTRODUCED_233_,X_INTRODUCED_240_],X_INTRODUCED_244_):: defines_var(X_INTRODUCED_244_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_23_,X_INTRODUCED_22_],-2,X_INTRODUCED_247_):: defines_var(X_INTRODUCED_247_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-1,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_bool_and([X_INTRODUCED_247_,X_INTRODUCED_249_],X_INTRODUCED_250_):: defines_var(X_INTRODUCED_250_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_23_,X_INTRODUCED_22_],-1,X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-2,X_INTRODUCED_254_):: defines_var(X_INTRODUCED_254_);
constraint array_bool_and([X_INTRODUCED_252_,X_INTRODUCED_254_],X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_7_],1,X_INTRODUCED_258_):: defines_var(X_INTRODUCED_258_);
constraint array_bool_and([X_INTRODUCED_247_,X_INTRODUCED_258_],X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_23_,X_INTRODUCED_22_],1,X_INTRODUCED_261_):: defines_var(X_INTRODUCED_261_);
constraint array_bool_and([X_INTRODUCED_254_,X_INTRODUCED_261_],X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_23_,X_INTRODUCED_22_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_7_],2,X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_bool_and([X_INTRODUCED_252_,X_INTRODUCED_268_],X_INTRODUCED_269_):: defines_var(X_INTRODUCED_269_);
constraint array_bool_and([X_INTRODUCED_258_,X_INTRODUCED_265_],X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_bool_and([X_INTRODUCED_261_,X_INTRODUCED_268_],X_INTRODUCED_272_):: defines_var(X_INTRODUCED_272_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_24_,X_INTRODUCED_23_],-2,X_INTRODUCED_275_):: defines_var(X_INTRODUCED_275_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-1,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_bool_and([X_INTRODUCED_275_,X_INTRODUCED_277_],X_INTRODUCED_278_):: defines_var(X_INTRODUCED_278_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_24_,X_INTRODUCED_23_],-1,X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-2,X_INTRODUCED_282_):: defines_var(X_INTRODUCED_282_);
constraint array_bool_and([X_INTRODUCED_280_,X_INTRODUCED_282_],X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_8_],1,X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint array_bool_and([X_INTRODUCED_275_,X_INTRODUCED_286_],X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_24_,X_INTRODUCED_23_],1,X_INTRODUCED_289_):: defines_var(X_INTRODUCED_289_);
constraint array_bool_and([X_INTRODUCED_282_,X_INTRODUCED_289_],X_INTRODUCED_290_):: defines_var(X_INTRODUCED_290_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_24_,X_INTRODUCED_23_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_8_],2,X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_bool_and([X_INTRODUCED_280_,X_INTRODUCED_296_],X_INTRODUCED_297_):: defines_var(X_INTRODUCED_297_);
constraint array_bool_and([X_INTRODUCED_286_,X_INTRODUCED_293_],X_INTRODUCED_299_):: defines_var(X_INTRODUCED_299_);
constraint array_bool_and([X_INTRODUCED_289_,X_INTRODUCED_296_],X_INTRODUCED_300_):: defines_var(X_INTRODUCED_300_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_25_,X_INTRODUCED_24_],-2,X_INTRODUCED_303_):: defines_var(X_INTRODUCED_303_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-1,X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint array_bool_and([X_INTRODUCED_303_,X_INTRODUCED_305_],X_INTRODUCED_306_):: defines_var(X_INTRODUCED_306_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_25_,X_INTRODUCED_24_],-1,X_INTRODUCED_308_):: defines_var(X_INTRODUCED_308_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-2,X_INTRODUCED_310_):: defines_var(X_INTRODUCED_310_);
constraint array_bool_and([X_INTRODUCED_308_,X_INTRODUCED_310_],X_INTRODUCED_311_):: defines_var(X_INTRODUCED_311_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_9_],1,X_INTRODUCED_314_):: defines_var(X_INTRODUCED_314_);
constraint array_bool_and([X_INTRODUCED_303_,X_INTRODUCED_314_],X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_25_,X_INTRODUCED_24_],1,X_INTRODUCED_317_):: defines_var(X_INTRODUCED_317_);
constraint array_bool_and([X_INTRODUCED_310_,X_INTRODUCED_317_],X_INTRODUCED_318_):: defines_var(X_INTRODUCED_318_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_25_,X_INTRODUCED_24_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_9_],2,X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint array_bool_and([X_INTRODUCED_308_,X_INTRODUCED_324_],X_INTRODUCED_325_):: defines_var(X_INTRODUCED_325_);
constraint array_bool_and([X_INTRODUCED_314_,X_INTRODUCED_321_],X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint array_bool_and([X_INTRODUCED_317_,X_INTRODUCED_324_],X_INTRODUCED_328_):: defines_var(X_INTRODUCED_328_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_26_,X_INTRODUCED_25_],-2,X_INTRODUCED_331_):: defines_var(X_INTRODUCED_331_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_10_],-1,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_bool_and([X_INTRODUCED_331_,X_INTRODUCED_333_],X_INTRODUCED_334_):: defines_var(X_INTRODUCED_334_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_26_,X_INTRODUCED_25_],-1,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_10_],-2,X_INTRODUCED_338_):: defines_var(X_INTRODUCED_338_);
constraint array_bool_and([X_INTRODUCED_336_,X_INTRODUCED_338_],X_INTRODUCED_339_):: defines_var(X_INTRODUCED_339_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_10_],1,X_INTRODUCED_342_):: defines_var(X_INTRODUCED_342_);
constraint array_bool_and([X_INTRODUCED_331_,X_INTRODUCED_342_],X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_26_,X_INTRODUCED_25_],1,X_INTRODUCED_345_):: defines_var(X_INTRODUCED_345_);
constraint array_bool_and([X_INTRODUCED_338_,X_INTRODUCED_345_],X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_26_,X_INTRODUCED_25_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_10_],2,X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint array_bool_and([X_INTRODUCED_336_,X_INTRODUCED_352_],X_INTRODUCED_353_):: defines_var(X_INTRODUCED_353_);
constraint array_bool_and([X_INTRODUCED_342_,X_INTRODUCED_349_],X_INTRODUCED_355_):: defines_var(X_INTRODUCED_355_);
constraint array_bool_and([X_INTRODUCED_345_,X_INTRODUCED_352_],X_INTRODUCED_356_):: defines_var(X_INTRODUCED_356_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_27_,X_INTRODUCED_26_],-2,X_INTRODUCED_359_):: defines_var(X_INTRODUCED_359_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_11_],-1,X_INTRODUCED_361_):: defines_var(X_INTRODUCED_361_);
constraint array_bool_and([X_INTRODUCED_359_,X_INTRODUCED_361_],X_INTRODUCED_362_):: defines_var(X_INTRODUCED_362_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_27_,X_INTRODUCED_26_],-1,X_INTRODUCED_364_):: defines_var(X_INTRODUCED_364_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_11_],-2,X_INTRODUCED_366_):: defines_var(X_INTRODUCED_366_);
constraint array_bool_and([X_INTRODUCED_364_,X_INTRODUCED_366_],X_INTRODUCED_367_):: defines_var(X_INTRODUCED_367_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_11_],1,X_INTRODUCED_370_):: defines_var(X_INTRODUCED_370_);
constraint array_bool_and([X_INTRODUCED_359_,X_INTRODUCED_370_],X_INTRODUCED_371_):: defines_var(X_INTRODUCED_371_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_27_,X_INTRODUCED_26_],1,X_INTRODUCED_373_):: defines_var(X_INTRODUCED_373_);
constraint array_bool_and([X_INTRODUCED_366_,X_INTRODUCED_373_],X_INTRODUCED_374_):: defines_var(X_INTRODUCED_374_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_27_,X_INTRODUCED_26_],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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_11_],2,X_INTRODUCED_380_):: defines_var(X_INTRODUCED_380_);
constraint array_bool_and([X_INTRODUCED_364_,X_INTRODUCED_380_],X_INTRODUCED_381_):: defines_var(X_INTRODUCED_381_);
constraint array_bool_and([X_INTRODUCED_370_,X_INTRODUCED_377_],X_INTRODUCED_383_):: defines_var(X_INTRODUCED_383_);
constraint array_bool_and([X_INTRODUCED_373_,X_INTRODUCED_380_],X_INTRODUCED_384_):: defines_var(X_INTRODUCED_384_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_28_,X_INTRODUCED_27_],-2,X_INTRODUCED_387_):: defines_var(X_INTRODUCED_387_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_12_],-1,X_INTRODUCED_389_):: defines_var(X_INTRODUCED_389_);
constraint array_bool_and([X_INTRODUCED_387_,X_INTRODUCED_389_],X_INTRODUCED_390_):: defines_var(X_INTRODUCED_390_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_28_,X_INTRODUCED_27_],-1,X_INTRODUCED_392_):: defines_var(X_INTRODUCED_392_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_12_],-2,X_INTRODUCED_394_):: defines_var(X_INTRODUCED_394_);
constraint array_bool_and([X_INTRODUCED_392_,X_INTRODUCED_394_],X_INTRODUCED_395_):: defines_var(X_INTRODUCED_395_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_12_],1,X_INTRODUCED_398_):: defines_var(X_INTRODUCED_398_);
constraint array_bool_and([X_INTRODUCED_387_,X_INTRODUCED_398_],X_INTRODUCED_399_):: defines_var(X_INTRODUCED_399_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_28_,X_INTRODUCED_27_],1,X_INTRODUCED_401_):: defines_var(X_INTRODUCED_401_);
constraint array_bool_and([X_INTRODUCED_394_,X_INTRODUCED_401_],X_INTRODUCED_402_):: defines_var(X_INTRODUCED_402_);
constraint int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_28_,X_INTRODUCED_27_],2,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 int_lin_eq_reif(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_12_],2,X_INTRODUCED_408_):: defines_var(X_INTRODUCED_408_);
constraint array_bool_and([X_INTRODUCED_392_,X_INTRODUCED_408_],X_INTRODUCED_409_):: defines_var(X_INTRODUCED_409_);
constraint array_bool_and([X_INTRODUCED_398_,X_INTRODUCED_405_],X_INTRODUCED_411_):: defines_var(X_INTRODUCED_411_);
constraint array_bool_and([X_INTRODUCED_401_,X_INTRODUCED_408_],X_INTRODUCED_412_):: defines_var(X_INTRODUCED_412_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_28_],-4,X_INTRODUCED_415_):: defines_var(X_INTRODUCED_415_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_13_],-4,X_INTRODUCED_417_):: defines_var(X_INTRODUCED_417_);
constraint array_bool_and([X_INTRODUCED_415_,X_INTRODUCED_417_],X_INTRODUCED_418_):: defines_var(X_INTRODUCED_418_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_28_],-3,X_INTRODUCED_420_):: defines_var(X_INTRODUCED_420_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_13_],-5,X_INTRODUCED_422_):: defines_var(X_INTRODUCED_422_);
constraint array_bool_and([X_INTRODUCED_422_,X_INTRODUCED_420_],X_INTRODUCED_423_):: defines_var(X_INTRODUCED_423_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_13_],-2,X_INTRODUCED_426_):: defines_var(X_INTRODUCED_426_);
constraint array_bool_and([X_INTRODUCED_426_,X_INTRODUCED_415_],X_INTRODUCED_427_):: defines_var(X_INTRODUCED_427_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_28_],-1,X_INTRODUCED_429_):: defines_var(X_INTRODUCED_429_);
constraint array_bool_and([X_INTRODUCED_429_,X_INTRODUCED_422_],X_INTRODUCED_430_):: defines_var(X_INTRODUCED_430_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_28_],0,X_INTRODUCED_433_):: defines_var(X_INTRODUCED_433_);
constraint array_bool_and([X_INTRODUCED_433_,X_INTRODUCED_417_],X_INTRODUCED_434_):: defines_var(X_INTRODUCED_434_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_13_],-1,X_INTRODUCED_436_):: defines_var(X_INTRODUCED_436_);
constraint array_bool_and([X_INTRODUCED_436_,X_INTRODUCED_420_],X_INTRODUCED_437_):: defines_var(X_INTRODUCED_437_);
constraint array_bool_and([X_INTRODUCED_433_,X_INTRODUCED_426_],X_INTRODUCED_439_):: defines_var(X_INTRODUCED_439_);
constraint array_bool_and([X_INTRODUCED_436_,X_INTRODUCED_429_],X_INTRODUCED_440_):: defines_var(X_INTRODUCED_440_);
solve :: int_search(X_INTRODUCED_442_,input_order,indomain_min,complete) satisfy;