array [1..4] of int: X_INTRODUCED_38_ = [8,1,-8,-1];
array [1..2] of int: X_INTRODUCED_41_ = [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_14_;
var 1..8: X_INTRODUCED_15_;
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 bool: X_INTRODUCED_70_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_72_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_73_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_75_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_77_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_78_ ::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_85_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_88_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_89_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_91_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_92_ ::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_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_105_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_106_ ::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_113_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_116_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_117_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_119_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_120_ ::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_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_133_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_134_ ::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_141_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_144_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_145_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_147_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_148_ ::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_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_161_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_162_ ::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_169_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_172_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_173_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_175_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_176_ ::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_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_189_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_190_ ::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_197_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_200_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_201_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_203_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_204_ ::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_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_217_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_218_ ::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_225_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_228_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_229_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_232_ ::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_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_245_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_246_ ::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_253_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_256_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_257_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_259_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_260_ ::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_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_273_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_274_ ::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_281_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_284_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_285_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_287_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_288_ ::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_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_301_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_302_ ::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_309_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_312_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_313_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_315_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_316_ ::var_is_introduced :: is_defined_var;
var 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_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_329_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_330_ ::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_337_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_340_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_341_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_343_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_344_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_346_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_347_ ::var_is_introduced :: is_defined_var;
array [1..12] of var int: r:: output_array([1..12]) = [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_,3];
array [1..12] of var int: c:: output_array([1..12]) = [1,3,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,2];
array [1..24] of var int: X_INTRODUCED_349_ ::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_,3,1,3,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,2];
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_14_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_15_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_16_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_17_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_18_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_19_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_20_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_21_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_22_],-9);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_2_,X_INTRODUCED_14_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_3_,X_INTRODUCED_15_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_4_,X_INTRODUCED_16_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_5_,X_INTRODUCED_17_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_6_,X_INTRODUCED_18_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_7_,X_INTRODUCED_19_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_8_,X_INTRODUCED_20_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_9_,X_INTRODUCED_21_],-19);
constraint int_lin_ne([-8,-1],[X_INTRODUCED_10_,X_INTRODUCED_22_],-19);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_3_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_4_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_5_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_2_,X_INTRODUCED_14_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_2_,X_INTRODUCED_14_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_4_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_5_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_3_,X_INTRODUCED_15_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_3_,X_INTRODUCED_15_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_5_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_4_,X_INTRODUCED_16_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_4_,X_INTRODUCED_16_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_5_,X_INTRODUCED_17_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_5_,X_INTRODUCED_17_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_6_,X_INTRODUCED_18_,X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_6_,X_INTRODUCED_18_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_6_,X_INTRODUCED_18_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_6_,X_INTRODUCED_18_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_6_,X_INTRODUCED_18_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_7_,X_INTRODUCED_19_,X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_7_,X_INTRODUCED_19_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_7_,X_INTRODUCED_19_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_7_,X_INTRODUCED_19_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_8_,X_INTRODUCED_20_,X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_8_,X_INTRODUCED_20_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_8_,X_INTRODUCED_20_],26);
constraint int_lin_ne(X_INTRODUCED_38_,[X_INTRODUCED_9_,X_INTRODUCED_21_,X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne([8,1],[X_INTRODUCED_9_,X_INTRODUCED_21_],26);
constraint int_lin_ne([8,1],[X_INTRODUCED_10_,X_INTRODUCED_22_],26);
constraint array_bool_or([X_INTRODUCED_73_,X_INTRODUCED_78_,X_INTRODUCED_82_,X_INTRODUCED_85_,X_INTRODUCED_89_,X_INTRODUCED_92_,X_INTRODUCED_94_,X_INTRODUCED_95_],true);
constraint array_bool_or([X_INTRODUCED_101_,X_INTRODUCED_106_,X_INTRODUCED_110_,X_INTRODUCED_113_,X_INTRODUCED_117_,X_INTRODUCED_120_,X_INTRODUCED_122_,X_INTRODUCED_123_],true);
constraint array_bool_or([X_INTRODUCED_129_,X_INTRODUCED_134_,X_INTRODUCED_138_,X_INTRODUCED_141_,X_INTRODUCED_145_,X_INTRODUCED_148_,X_INTRODUCED_150_,X_INTRODUCED_151_],true);
constraint array_bool_or([X_INTRODUCED_157_,X_INTRODUCED_162_,X_INTRODUCED_166_,X_INTRODUCED_169_,X_INTRODUCED_173_,X_INTRODUCED_176_,X_INTRODUCED_178_,X_INTRODUCED_179_],true);
constraint array_bool_or([X_INTRODUCED_185_,X_INTRODUCED_190_,X_INTRODUCED_194_,X_INTRODUCED_197_,X_INTRODUCED_201_,X_INTRODUCED_204_,X_INTRODUCED_206_,X_INTRODUCED_207_],true);
constraint array_bool_or([X_INTRODUCED_213_,X_INTRODUCED_218_,X_INTRODUCED_222_,X_INTRODUCED_225_,X_INTRODUCED_229_,X_INTRODUCED_232_,X_INTRODUCED_234_,X_INTRODUCED_235_],true);
constraint array_bool_or([X_INTRODUCED_241_,X_INTRODUCED_246_,X_INTRODUCED_250_,X_INTRODUCED_253_,X_INTRODUCED_257_,X_INTRODUCED_260_,X_INTRODUCED_262_,X_INTRODUCED_263_],true);
constraint array_bool_or([X_INTRODUCED_269_,X_INTRODUCED_274_,X_INTRODUCED_278_,X_INTRODUCED_281_,X_INTRODUCED_285_,X_INTRODUCED_288_,X_INTRODUCED_290_,X_INTRODUCED_291_],true);
constraint array_bool_or([X_INTRODUCED_297_,X_INTRODUCED_302_,X_INTRODUCED_306_,X_INTRODUCED_309_,X_INTRODUCED_313_,X_INTRODUCED_316_,X_INTRODUCED_318_,X_INTRODUCED_319_],true);
constraint array_bool_or([X_INTRODUCED_325_,X_INTRODUCED_330_,X_INTRODUCED_334_,X_INTRODUCED_337_,X_INTRODUCED_341_,X_INTRODUCED_344_,X_INTRODUCED_346_,X_INTRODUCED_347_],true);
constraint int_lin_eq_reif([1],[X_INTRODUCED_14_],1,X_INTRODUCED_70_):: defines_var(X_INTRODUCED_70_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],1,X_INTRODUCED_72_):: defines_var(X_INTRODUCED_72_);
constraint array_bool_and([X_INTRODUCED_70_,X_INTRODUCED_72_],X_INTRODUCED_73_):: defines_var(X_INTRODUCED_73_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_14_],2,X_INTRODUCED_75_):: defines_var(X_INTRODUCED_75_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],0,X_INTRODUCED_77_):: defines_var(X_INTRODUCED_77_);
constraint array_bool_and([X_INTRODUCED_75_,X_INTRODUCED_77_],X_INTRODUCED_78_):: defines_var(X_INTRODUCED_78_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],3,X_INTRODUCED_81_):: defines_var(X_INTRODUCED_81_);
constraint array_bool_and([X_INTRODUCED_70_,X_INTRODUCED_81_],X_INTRODUCED_82_):: defines_var(X_INTRODUCED_82_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_14_],4,X_INTRODUCED_84_):: defines_var(X_INTRODUCED_84_);
constraint array_bool_and([X_INTRODUCED_77_,X_INTRODUCED_84_],X_INTRODUCED_85_):: defines_var(X_INTRODUCED_85_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_14_],5,X_INTRODUCED_88_):: defines_var(X_INTRODUCED_88_);
constraint array_bool_and([X_INTRODUCED_72_,X_INTRODUCED_88_],X_INTRODUCED_89_):: defines_var(X_INTRODUCED_89_);
constraint int_lin_eq_reif([1],[X_INTRODUCED_2_],4,X_INTRODUCED_91_):: defines_var(X_INTRODUCED_91_);
constraint array_bool_and([X_INTRODUCED_75_,X_INTRODUCED_91_],X_INTRODUCED_92_):: defines_var(X_INTRODUCED_92_);
constraint array_bool_and([X_INTRODUCED_81_,X_INTRODUCED_88_],X_INTRODUCED_94_):: defines_var(X_INTRODUCED_94_);
constraint array_bool_and([X_INTRODUCED_84_,X_INTRODUCED_91_],X_INTRODUCED_95_):: defines_var(X_INTRODUCED_95_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_15_,X_INTRODUCED_14_],-2,X_INTRODUCED_98_):: defines_var(X_INTRODUCED_98_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-1,X_INTRODUCED_100_):: defines_var(X_INTRODUCED_100_);
constraint array_bool_and([X_INTRODUCED_98_,X_INTRODUCED_100_],X_INTRODUCED_101_):: defines_var(X_INTRODUCED_101_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_15_,X_INTRODUCED_14_],-1,X_INTRODUCED_103_):: defines_var(X_INTRODUCED_103_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_3_,X_INTRODUCED_2_],-2,X_INTRODUCED_105_):: defines_var(X_INTRODUCED_105_);
constraint array_bool_and([X_INTRODUCED_103_,X_INTRODUCED_105_],X_INTRODUCED_106_):: defines_var(X_INTRODUCED_106_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_3_,X_INTRODUCED_2_],1,X_INTRODUCED_109_):: defines_var(X_INTRODUCED_109_);
constraint array_bool_and([X_INTRODUCED_98_,X_INTRODUCED_109_],X_INTRODUCED_110_):: defines_var(X_INTRODUCED_110_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_15_,X_INTRODUCED_14_],1,X_INTRODUCED_112_):: defines_var(X_INTRODUCED_112_);
constraint array_bool_and([X_INTRODUCED_105_,X_INTRODUCED_112_],X_INTRODUCED_113_):: defines_var(X_INTRODUCED_113_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_15_,X_INTRODUCED_14_],2,X_INTRODUCED_116_):: defines_var(X_INTRODUCED_116_);
constraint array_bool_and([X_INTRODUCED_100_,X_INTRODUCED_116_],X_INTRODUCED_117_):: defines_var(X_INTRODUCED_117_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_3_,X_INTRODUCED_2_],2,X_INTRODUCED_119_):: defines_var(X_INTRODUCED_119_);
constraint array_bool_and([X_INTRODUCED_103_,X_INTRODUCED_119_],X_INTRODUCED_120_):: defines_var(X_INTRODUCED_120_);
constraint array_bool_and([X_INTRODUCED_109_,X_INTRODUCED_116_],X_INTRODUCED_122_):: defines_var(X_INTRODUCED_122_);
constraint array_bool_and([X_INTRODUCED_112_,X_INTRODUCED_119_],X_INTRODUCED_123_):: defines_var(X_INTRODUCED_123_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_16_,X_INTRODUCED_15_],-2,X_INTRODUCED_126_):: defines_var(X_INTRODUCED_126_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-1,X_INTRODUCED_128_):: defines_var(X_INTRODUCED_128_);
constraint array_bool_and([X_INTRODUCED_126_,X_INTRODUCED_128_],X_INTRODUCED_129_):: defines_var(X_INTRODUCED_129_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_16_,X_INTRODUCED_15_],-1,X_INTRODUCED_131_):: defines_var(X_INTRODUCED_131_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_4_,X_INTRODUCED_3_],-2,X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_bool_and([X_INTRODUCED_131_,X_INTRODUCED_133_],X_INTRODUCED_134_):: defines_var(X_INTRODUCED_134_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_4_,X_INTRODUCED_3_],1,X_INTRODUCED_137_):: defines_var(X_INTRODUCED_137_);
constraint array_bool_and([X_INTRODUCED_126_,X_INTRODUCED_137_],X_INTRODUCED_138_):: defines_var(X_INTRODUCED_138_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_16_,X_INTRODUCED_15_],1,X_INTRODUCED_140_):: defines_var(X_INTRODUCED_140_);
constraint array_bool_and([X_INTRODUCED_133_,X_INTRODUCED_140_],X_INTRODUCED_141_):: defines_var(X_INTRODUCED_141_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_16_,X_INTRODUCED_15_],2,X_INTRODUCED_144_):: defines_var(X_INTRODUCED_144_);
constraint array_bool_and([X_INTRODUCED_128_,X_INTRODUCED_144_],X_INTRODUCED_145_):: defines_var(X_INTRODUCED_145_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_4_,X_INTRODUCED_3_],2,X_INTRODUCED_147_):: defines_var(X_INTRODUCED_147_);
constraint array_bool_and([X_INTRODUCED_131_,X_INTRODUCED_147_],X_INTRODUCED_148_):: defines_var(X_INTRODUCED_148_);
constraint array_bool_and([X_INTRODUCED_137_,X_INTRODUCED_144_],X_INTRODUCED_150_):: defines_var(X_INTRODUCED_150_);
constraint array_bool_and([X_INTRODUCED_140_,X_INTRODUCED_147_],X_INTRODUCED_151_):: defines_var(X_INTRODUCED_151_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_17_,X_INTRODUCED_16_],-2,X_INTRODUCED_154_):: defines_var(X_INTRODUCED_154_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-1,X_INTRODUCED_156_):: defines_var(X_INTRODUCED_156_);
constraint array_bool_and([X_INTRODUCED_154_,X_INTRODUCED_156_],X_INTRODUCED_157_):: defines_var(X_INTRODUCED_157_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_17_,X_INTRODUCED_16_],-1,X_INTRODUCED_159_):: defines_var(X_INTRODUCED_159_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_5_,X_INTRODUCED_4_],-2,X_INTRODUCED_161_):: defines_var(X_INTRODUCED_161_);
constraint array_bool_and([X_INTRODUCED_159_,X_INTRODUCED_161_],X_INTRODUCED_162_):: defines_var(X_INTRODUCED_162_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_5_,X_INTRODUCED_4_],1,X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint array_bool_and([X_INTRODUCED_154_,X_INTRODUCED_165_],X_INTRODUCED_166_):: defines_var(X_INTRODUCED_166_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_17_,X_INTRODUCED_16_],1,X_INTRODUCED_168_):: defines_var(X_INTRODUCED_168_);
constraint array_bool_and([X_INTRODUCED_161_,X_INTRODUCED_168_],X_INTRODUCED_169_):: defines_var(X_INTRODUCED_169_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_17_,X_INTRODUCED_16_],2,X_INTRODUCED_172_):: defines_var(X_INTRODUCED_172_);
constraint array_bool_and([X_INTRODUCED_156_,X_INTRODUCED_172_],X_INTRODUCED_173_):: defines_var(X_INTRODUCED_173_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_5_,X_INTRODUCED_4_],2,X_INTRODUCED_175_):: defines_var(X_INTRODUCED_175_);
constraint array_bool_and([X_INTRODUCED_159_,X_INTRODUCED_175_],X_INTRODUCED_176_):: defines_var(X_INTRODUCED_176_);
constraint array_bool_and([X_INTRODUCED_165_,X_INTRODUCED_172_],X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_bool_and([X_INTRODUCED_168_,X_INTRODUCED_175_],X_INTRODUCED_179_):: defines_var(X_INTRODUCED_179_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-2,X_INTRODUCED_182_):: defines_var(X_INTRODUCED_182_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-1,X_INTRODUCED_184_):: defines_var(X_INTRODUCED_184_);
constraint array_bool_and([X_INTRODUCED_182_,X_INTRODUCED_184_],X_INTRODUCED_185_):: defines_var(X_INTRODUCED_185_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_18_,X_INTRODUCED_17_],-1,X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_6_,X_INTRODUCED_5_],-2,X_INTRODUCED_189_):: defines_var(X_INTRODUCED_189_);
constraint array_bool_and([X_INTRODUCED_187_,X_INTRODUCED_189_],X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_6_,X_INTRODUCED_5_],1,X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_bool_and([X_INTRODUCED_182_,X_INTRODUCED_193_],X_INTRODUCED_194_):: defines_var(X_INTRODUCED_194_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_18_,X_INTRODUCED_17_],1,X_INTRODUCED_196_):: defines_var(X_INTRODUCED_196_);
constraint array_bool_and([X_INTRODUCED_189_,X_INTRODUCED_196_],X_INTRODUCED_197_):: defines_var(X_INTRODUCED_197_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_18_,X_INTRODUCED_17_],2,X_INTRODUCED_200_):: defines_var(X_INTRODUCED_200_);
constraint array_bool_and([X_INTRODUCED_184_,X_INTRODUCED_200_],X_INTRODUCED_201_):: defines_var(X_INTRODUCED_201_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_6_,X_INTRODUCED_5_],2,X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint array_bool_and([X_INTRODUCED_187_,X_INTRODUCED_203_],X_INTRODUCED_204_):: defines_var(X_INTRODUCED_204_);
constraint array_bool_and([X_INTRODUCED_193_,X_INTRODUCED_200_],X_INTRODUCED_206_):: defines_var(X_INTRODUCED_206_);
constraint array_bool_and([X_INTRODUCED_196_,X_INTRODUCED_203_],X_INTRODUCED_207_):: defines_var(X_INTRODUCED_207_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-2,X_INTRODUCED_210_):: defines_var(X_INTRODUCED_210_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-1,X_INTRODUCED_212_):: defines_var(X_INTRODUCED_212_);
constraint array_bool_and([X_INTRODUCED_210_,X_INTRODUCED_212_],X_INTRODUCED_213_):: defines_var(X_INTRODUCED_213_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_19_,X_INTRODUCED_18_],-1,X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_7_,X_INTRODUCED_6_],-2,X_INTRODUCED_217_):: defines_var(X_INTRODUCED_217_);
constraint array_bool_and([X_INTRODUCED_215_,X_INTRODUCED_217_],X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_7_,X_INTRODUCED_6_],1,X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_bool_and([X_INTRODUCED_210_,X_INTRODUCED_221_],X_INTRODUCED_222_):: defines_var(X_INTRODUCED_222_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_19_,X_INTRODUCED_18_],1,X_INTRODUCED_224_):: defines_var(X_INTRODUCED_224_);
constraint array_bool_and([X_INTRODUCED_217_,X_INTRODUCED_224_],X_INTRODUCED_225_):: defines_var(X_INTRODUCED_225_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_19_,X_INTRODUCED_18_],2,X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint array_bool_and([X_INTRODUCED_212_,X_INTRODUCED_228_],X_INTRODUCED_229_):: defines_var(X_INTRODUCED_229_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_7_,X_INTRODUCED_6_],2,X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint array_bool_and([X_INTRODUCED_215_,X_INTRODUCED_231_],X_INTRODUCED_232_):: defines_var(X_INTRODUCED_232_);
constraint array_bool_and([X_INTRODUCED_221_,X_INTRODUCED_228_],X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_bool_and([X_INTRODUCED_224_,X_INTRODUCED_231_],X_INTRODUCED_235_):: defines_var(X_INTRODUCED_235_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-2,X_INTRODUCED_238_):: defines_var(X_INTRODUCED_238_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-1,X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_bool_and([X_INTRODUCED_238_,X_INTRODUCED_240_],X_INTRODUCED_241_):: defines_var(X_INTRODUCED_241_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_20_,X_INTRODUCED_19_],-1,X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_8_,X_INTRODUCED_7_],-2,X_INTRODUCED_245_):: defines_var(X_INTRODUCED_245_);
constraint array_bool_and([X_INTRODUCED_243_,X_INTRODUCED_245_],X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_8_,X_INTRODUCED_7_],1,X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_bool_and([X_INTRODUCED_238_,X_INTRODUCED_249_],X_INTRODUCED_250_):: defines_var(X_INTRODUCED_250_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_20_,X_INTRODUCED_19_],1,X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint array_bool_and([X_INTRODUCED_245_,X_INTRODUCED_252_],X_INTRODUCED_253_):: defines_var(X_INTRODUCED_253_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_20_,X_INTRODUCED_19_],2,X_INTRODUCED_256_):: defines_var(X_INTRODUCED_256_);
constraint array_bool_and([X_INTRODUCED_240_,X_INTRODUCED_256_],X_INTRODUCED_257_):: defines_var(X_INTRODUCED_257_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_8_,X_INTRODUCED_7_],2,X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint array_bool_and([X_INTRODUCED_243_,X_INTRODUCED_259_],X_INTRODUCED_260_):: defines_var(X_INTRODUCED_260_);
constraint array_bool_and([X_INTRODUCED_249_,X_INTRODUCED_256_],X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_bool_and([X_INTRODUCED_252_,X_INTRODUCED_259_],X_INTRODUCED_263_):: defines_var(X_INTRODUCED_263_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-2,X_INTRODUCED_266_):: defines_var(X_INTRODUCED_266_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-1,X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_bool_and([X_INTRODUCED_266_,X_INTRODUCED_268_],X_INTRODUCED_269_):: defines_var(X_INTRODUCED_269_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_21_,X_INTRODUCED_20_],-1,X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_9_,X_INTRODUCED_8_],-2,X_INTRODUCED_273_):: defines_var(X_INTRODUCED_273_);
constraint array_bool_and([X_INTRODUCED_271_,X_INTRODUCED_273_],X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_9_,X_INTRODUCED_8_],1,X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_bool_and([X_INTRODUCED_266_,X_INTRODUCED_277_],X_INTRODUCED_278_):: defines_var(X_INTRODUCED_278_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_21_,X_INTRODUCED_20_],1,X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint array_bool_and([X_INTRODUCED_273_,X_INTRODUCED_280_],X_INTRODUCED_281_):: defines_var(X_INTRODUCED_281_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_21_,X_INTRODUCED_20_],2,X_INTRODUCED_284_):: defines_var(X_INTRODUCED_284_);
constraint array_bool_and([X_INTRODUCED_268_,X_INTRODUCED_284_],X_INTRODUCED_285_):: defines_var(X_INTRODUCED_285_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_9_,X_INTRODUCED_8_],2,X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint array_bool_and([X_INTRODUCED_271_,X_INTRODUCED_287_],X_INTRODUCED_288_):: defines_var(X_INTRODUCED_288_);
constraint array_bool_and([X_INTRODUCED_277_,X_INTRODUCED_284_],X_INTRODUCED_290_):: defines_var(X_INTRODUCED_290_);
constraint array_bool_and([X_INTRODUCED_280_,X_INTRODUCED_287_],X_INTRODUCED_291_):: defines_var(X_INTRODUCED_291_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-2,X_INTRODUCED_294_):: defines_var(X_INTRODUCED_294_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-1,X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_bool_and([X_INTRODUCED_294_,X_INTRODUCED_296_],X_INTRODUCED_297_):: defines_var(X_INTRODUCED_297_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_22_,X_INTRODUCED_21_],-1,X_INTRODUCED_299_):: defines_var(X_INTRODUCED_299_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_10_,X_INTRODUCED_9_],-2,X_INTRODUCED_301_):: defines_var(X_INTRODUCED_301_);
constraint array_bool_and([X_INTRODUCED_299_,X_INTRODUCED_301_],X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_10_,X_INTRODUCED_9_],1,X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint array_bool_and([X_INTRODUCED_294_,X_INTRODUCED_305_],X_INTRODUCED_306_):: defines_var(X_INTRODUCED_306_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_22_,X_INTRODUCED_21_],1,X_INTRODUCED_308_):: defines_var(X_INTRODUCED_308_);
constraint array_bool_and([X_INTRODUCED_301_,X_INTRODUCED_308_],X_INTRODUCED_309_):: defines_var(X_INTRODUCED_309_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_22_,X_INTRODUCED_21_],2,X_INTRODUCED_312_):: defines_var(X_INTRODUCED_312_);
constraint array_bool_and([X_INTRODUCED_296_,X_INTRODUCED_312_],X_INTRODUCED_313_):: defines_var(X_INTRODUCED_313_);
constraint int_lin_eq_reif(X_INTRODUCED_41_,[X_INTRODUCED_10_,X_INTRODUCED_9_],2,X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint array_bool_and([X_INTRODUCED_299_,X_INTRODUCED_315_],X_INTRODUCED_316_):: defines_var(X_INTRODUCED_316_);
constraint array_bool_and([X_INTRODUCED_305_,X_INTRODUCED_312_],X_INTRODUCED_318_):: defines_var(X_INTRODUCED_318_);
constraint array_bool_and([X_INTRODUCED_308_,X_INTRODUCED_315_],X_INTRODUCED_319_):: defines_var(X_INTRODUCED_319_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_22_],-4,X_INTRODUCED_322_):: defines_var(X_INTRODUCED_322_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_10_],-4,X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint array_bool_and([X_INTRODUCED_322_,X_INTRODUCED_324_],X_INTRODUCED_325_):: defines_var(X_INTRODUCED_325_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_22_],-3,X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_10_],-5,X_INTRODUCED_329_):: defines_var(X_INTRODUCED_329_);
constraint array_bool_and([X_INTRODUCED_327_,X_INTRODUCED_329_],X_INTRODUCED_330_):: defines_var(X_INTRODUCED_330_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_10_],-2,X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_bool_and([X_INTRODUCED_322_,X_INTRODUCED_333_],X_INTRODUCED_334_):: defines_var(X_INTRODUCED_334_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_22_],-1,X_INTRODUCED_336_):: defines_var(X_INTRODUCED_336_);
constraint array_bool_and([X_INTRODUCED_329_,X_INTRODUCED_336_],X_INTRODUCED_337_):: defines_var(X_INTRODUCED_337_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_22_],0,X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint array_bool_and([X_INTRODUCED_324_,X_INTRODUCED_340_],X_INTRODUCED_341_):: defines_var(X_INTRODUCED_341_);
constraint int_lin_eq_reif([-1],[X_INTRODUCED_10_],-1,X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint array_bool_and([X_INTRODUCED_327_,X_INTRODUCED_343_],X_INTRODUCED_344_):: defines_var(X_INTRODUCED_344_);
constraint array_bool_and([X_INTRODUCED_333_,X_INTRODUCED_340_],X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint array_bool_and([X_INTRODUCED_336_,X_INTRODUCED_343_],X_INTRODUCED_347_):: defines_var(X_INTRODUCED_347_);
solve :: int_search(X_INTRODUCED_349_,input_order,indomain_min,complete) satisfy;