array [1..2] of int: X_INTRODUCED_82_ = [1,-1];
var 0..0: X_INTRODUCED_0_;
var 0..8: X_INTRODUCED_1_;
var 0..8: X_INTRODUCED_2_;
var 0..8: X_INTRODUCED_3_;
var 0..8: X_INTRODUCED_4_;
var 0..8: X_INTRODUCED_5_;
var 0..8: X_INTRODUCED_6_;
var 0..8: X_INTRODUCED_7_;
var 0..8: X_INTRODUCED_8_;
var 0..8: X_INTRODUCED_9_;
var 1..1: X_INTRODUCED_10_;
var 0..8: X_INTRODUCED_11_;
var 0..8: X_INTRODUCED_12_;
var 0..8: X_INTRODUCED_13_;
var 0..8: X_INTRODUCED_14_;
var 0..8: X_INTRODUCED_15_;
var 0..8: X_INTRODUCED_16_;
var 0..8: X_INTRODUCED_17_;
var 0..8: X_INTRODUCED_18_;
var 0..8: X_INTRODUCED_19_;
var 2..2: X_INTRODUCED_20_;
var 0..8: X_INTRODUCED_21_;
var 0..8: X_INTRODUCED_22_;
var 0..8: X_INTRODUCED_23_;
var 0..8: X_INTRODUCED_24_;
var 0..8: X_INTRODUCED_25_;
var 0..8: X_INTRODUCED_26_;
var 0..8: X_INTRODUCED_27_;
var 0..8: X_INTRODUCED_28_;
var 0..8: X_INTRODUCED_29_;
var 3..3: X_INTRODUCED_30_;
var 0..8: X_INTRODUCED_31_;
var 0..8: X_INTRODUCED_32_;
var 0..8: X_INTRODUCED_33_;
var 0..8: X_INTRODUCED_34_;
var 1..8: X_INTRODUCED_35_;
var 0..8: X_INTRODUCED_36_;
var 0..8: X_INTRODUCED_37_;
var 0..8: X_INTRODUCED_38_;
var 0..8: X_INTRODUCED_39_;
var 4..4: X_INTRODUCED_40_;
var 0..8: X_INTRODUCED_41_;
var 0..8: X_INTRODUCED_42_;
var 0..8: X_INTRODUCED_43_;
var 2..8: X_INTRODUCED_44_;
var 0..8: X_INTRODUCED_45_;
var 0..8: X_INTRODUCED_46_;
var 0..8: X_INTRODUCED_47_;
var 0..8: X_INTRODUCED_48_;
var 0..8: X_INTRODUCED_49_;
var 5..5: X_INTRODUCED_50_;
var 0..8: X_INTRODUCED_51_;
var 0..8: X_INTRODUCED_52_;
var 3..8: X_INTRODUCED_53_;
var 0..8: X_INTRODUCED_54_;
var 0..8: X_INTRODUCED_55_;
var 0..8: X_INTRODUCED_56_;
var 0..8: X_INTRODUCED_57_;
var 0..8: X_INTRODUCED_58_;
var 0..8: X_INTRODUCED_59_;
var 6..6: X_INTRODUCED_60_;
var 0..8: X_INTRODUCED_61_;
var 4..8: X_INTRODUCED_62_;
var 0..8: X_INTRODUCED_63_;
var 0..8: X_INTRODUCED_64_;
var 0..8: X_INTRODUCED_65_;
var 0..8: X_INTRODUCED_66_;
var 0..8: X_INTRODUCED_67_;
var 0..8: X_INTRODUCED_68_;
var 0..8: X_INTRODUCED_69_;
var 7..7: X_INTRODUCED_70_;
var 5..8: X_INTRODUCED_71_;
var 0..8: X_INTRODUCED_72_;
var 0..8: X_INTRODUCED_73_;
var 0..8: X_INTRODUCED_74_;
var 0..8: X_INTRODUCED_75_;
var 0..8: X_INTRODUCED_76_;
var 0..8: X_INTRODUCED_77_;
var 0..8: X_INTRODUCED_78_;
var 0..8: X_INTRODUCED_79_;
var 8..8: X_INTRODUCED_80_;
var 1..9: X_INTRODUCED_107_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_109_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_111_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_113_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_115_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_117_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_119_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_121_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_123_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_125_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_127_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_129_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_131_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_133_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_135_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_137_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_140_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_141_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_146_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_147_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_149_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_150_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_152_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_153_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_155_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_156_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_158_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_159_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_161_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_162_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_164_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_165_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_168_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_169_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_171_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_172_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_177_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_178_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_180_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_181_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_183_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_184_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_186_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_187_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_189_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_190_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_192_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_193_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_196_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_197_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_199_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_200_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_202_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_203_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_208_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_209_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_211_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_212_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_214_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_215_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_217_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_218_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_220_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_224_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_225_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_228_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_230_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_231_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_233_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_234_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_239_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_240_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_242_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_243_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_245_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_246_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_248_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_252_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_253_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_255_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_256_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_258_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_259_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_261_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_262_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_264_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_265_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_270_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_271_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_273_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_274_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_276_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_277_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_281_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_284_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_286_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_287_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_289_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_290_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_292_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_293_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_295_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_296_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_301_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_302_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_304_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_305_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_308_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_309_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_311_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_312_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_314_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_315_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_317_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_318_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_320_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_321_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_323_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_324_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_326_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_327_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_332_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_333_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_336_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_337_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_339_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_340_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_342_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_343_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_345_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_346_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_348_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_349_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_351_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_352_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_354_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_355_ ::var_is_introduced :: is_defined_var;
var 1..9: X_INTRODUCED_357_ ::var_is_introduced :: is_defined_var;
var 0..8: X_INTRODUCED_358_ ::var_is_introduced :: is_defined_var;
var 0..0: X_INTRODUCED_105_ ::var_is_introduced  = 0;
var 1..1: X_INTRODUCED_144_ ::var_is_introduced  = 1;
var 2..2: X_INTRODUCED_175_ ::var_is_introduced  = 2;
var 3..3: X_INTRODUCED_206_ ::var_is_introduced  = 3;
var 4..4: X_INTRODUCED_237_ ::var_is_introduced  = 4;
var 5..5: X_INTRODUCED_268_ ::var_is_introduced  = 5;
var 6..6: X_INTRODUCED_299_ ::var_is_introduced  = 6;
var 7..7: X_INTRODUCED_330_ ::var_is_introduced  = 7;
var 8..8: X_INTRODUCED_361_ ::var_is_introduced  = 8;
array [1..81] of var int: quasiGroup:: output_array([0..8,0..8]) = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_,X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8];
array [1..81] of var int: X_INTRODUCED_371_ ::var_is_introduced  = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_,X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8];
constraint int_lin_ne([-1],[X_INTRODUCED_1_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_2_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_3_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_4_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_5_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_6_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_7_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1],[X_INTRODUCED_9_],1);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_17_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_11_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_12_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_13_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_14_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_15_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_16_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_17_],-1);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_19_],0);
constraint int_lin_ne([1],[X_INTRODUCED_18_],2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_26_],0);
constraint int_lin_ne([1],[X_INTRODUCED_19_],2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_26_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_21_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_22_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_23_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_24_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_25_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_26_],-2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_29_],0);
constraint int_lin_ne([1],[X_INTRODUCED_27_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_29_],0);
constraint int_lin_ne([1],[X_INTRODUCED_28_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_35_],0);
constraint int_lin_ne([1],[X_INTRODUCED_29_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_35_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_31_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_32_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_33_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_34_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_34_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_39_],0);
constraint int_lin_ne([1],[X_INTRODUCED_36_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_39_],0);
constraint int_lin_ne([1],[X_INTRODUCED_37_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_39_],0);
constraint int_lin_ne([1],[X_INTRODUCED_38_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_44_],0);
constraint int_lin_ne([1],[X_INTRODUCED_39_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_44_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_42_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_43_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_44_],-4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_42_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_42_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_43_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_49_],0);
constraint int_lin_ne([1],[X_INTRODUCED_45_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_49_],0);
constraint int_lin_ne([1],[X_INTRODUCED_46_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_49_],0);
constraint int_lin_ne([1],[X_INTRODUCED_47_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_49_],0);
constraint int_lin_ne([1],[X_INTRODUCED_48_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_49_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_53_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_51_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_52_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_53_],-5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_51_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_51_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_52_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_54_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_55_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_56_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_57_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_58_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_58_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_58_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_58_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_59_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_59_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_59_,X_INTRODUCED_62_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_61_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_62_],-6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_61_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_63_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_64_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_65_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_66_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_66_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_66_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_66_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_66_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_67_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_67_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_67_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_67_,X_INTRODUCED_71_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_68_,X_INTRODUCED_69_],0);
constraint int_lin_ne([1],[X_INTRODUCED_68_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_68_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_69_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_69_,X_INTRODUCED_71_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_71_],-7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_72_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_72_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_73_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_73_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_74_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_74_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_74_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_74_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_74_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_74_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_75_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_75_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_75_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_75_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_75_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_76_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_76_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_76_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_76_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_77_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_77_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_77_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_78_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_78_],8);
constraint int_lin_ne([1],[X_INTRODUCED_79_],8);
constraint int_lin_ne([-1],[X_INTRODUCED_9_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_18_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_27_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_36_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_45_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_54_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_63_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_9_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_27_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_18_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_36_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_27_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_45_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_36_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_54_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_45_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_63_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_54_,X_INTRODUCED_72_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_63_,X_INTRODUCED_72_],0);
constraint int_lin_ne([1],[X_INTRODUCED_1_],1);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_1_,X_INTRODUCED_73_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_19_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_28_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_46_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_55_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_64_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_73_],-1);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_19_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_28_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_37_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_46_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_64_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_55_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_64_,X_INTRODUCED_73_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0);
constraint int_lin_ne([1],[X_INTRODUCED_2_],2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_2_,X_INTRODUCED_74_],0);
constraint int_lin_ne([1],[X_INTRODUCED_11_],2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_11_,X_INTRODUCED_74_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_29_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_47_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_56_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_65_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_74_],-2);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_29_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_38_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_47_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_65_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_56_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_65_,X_INTRODUCED_74_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_21_],0);
constraint int_lin_ne([1],[X_INTRODUCED_3_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_3_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_21_],0);
constraint int_lin_ne([1],[X_INTRODUCED_12_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_12_,X_INTRODUCED_75_],0);
constraint int_lin_ne([1],[X_INTRODUCED_21_],3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_21_,X_INTRODUCED_75_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_48_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_57_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_66_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_75_],-3);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_39_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_48_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_66_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_57_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_66_,X_INTRODUCED_75_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_31_],0);
constraint int_lin_ne([1],[X_INTRODUCED_4_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_4_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_31_],0);
constraint int_lin_ne([1],[X_INTRODUCED_13_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_13_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_31_],0);
constraint int_lin_ne([1],[X_INTRODUCED_22_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_22_,X_INTRODUCED_76_],0);
constraint int_lin_ne([1],[X_INTRODUCED_31_],4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_31_,X_INTRODUCED_76_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_49_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_58_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_67_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_76_],-4);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_49_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_58_,X_INTRODUCED_67_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_58_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_67_,X_INTRODUCED_76_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_41_],0);
constraint int_lin_ne([1],[X_INTRODUCED_5_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_5_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_41_],0);
constraint int_lin_ne([1],[X_INTRODUCED_14_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_14_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_41_],0);
constraint int_lin_ne([1],[X_INTRODUCED_23_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_23_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_41_],0);
constraint int_lin_ne([1],[X_INTRODUCED_32_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_32_,X_INTRODUCED_77_],0);
constraint int_lin_ne([1],[X_INTRODUCED_41_],5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_41_,X_INTRODUCED_77_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_59_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_68_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_77_],-5);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_59_,X_INTRODUCED_68_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_59_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_68_,X_INTRODUCED_77_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_6_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_6_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_15_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_15_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_24_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_24_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_33_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_33_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_42_,X_INTRODUCED_51_],0);
constraint int_lin_ne([1],[X_INTRODUCED_42_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_42_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_42_,X_INTRODUCED_78_],0);
constraint int_lin_ne([1],[X_INTRODUCED_51_],6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_51_,X_INTRODUCED_69_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_51_,X_INTRODUCED_78_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_69_],-6);
constraint int_lin_ne([-1],[X_INTRODUCED_78_],-6);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_69_,X_INTRODUCED_78_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_7_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_16_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_16_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_25_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_25_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_34_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_34_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_34_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_34_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_34_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_43_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_43_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_43_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_43_,X_INTRODUCED_79_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_52_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_52_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_52_,X_INTRODUCED_79_],0);
constraint int_lin_ne([1],[X_INTRODUCED_61_],7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_61_,X_INTRODUCED_79_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_79_],-7);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_8_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_8_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_17_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_17_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_26_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_26_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_26_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_26_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_26_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_26_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_35_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_35_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_35_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_35_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_35_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_44_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_44_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_44_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_44_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_53_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_53_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_53_],8);
constraint int_lin_ne(X_INTRODUCED_82_,[X_INTRODUCED_62_,X_INTRODUCED_71_],0);
constraint int_lin_ne([1],[X_INTRODUCED_62_],8);
constraint int_lin_ne([1],[X_INTRODUCED_71_],8);
constraint array_var_int_element(X_INTRODUCED_107_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_109_):: defines_var(X_INTRODUCED_109_);
constraint array_var_int_element(X_INTRODUCED_107_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_109_):: defines_var(X_INTRODUCED_109_);
constraint array_var_int_element(X_INTRODUCED_111_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_113_):: defines_var(X_INTRODUCED_113_);
constraint array_var_int_element(X_INTRODUCED_111_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_113_):: defines_var(X_INTRODUCED_113_);
constraint array_var_int_element(X_INTRODUCED_115_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_117_):: defines_var(X_INTRODUCED_117_);
constraint array_var_int_element(X_INTRODUCED_115_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_117_):: defines_var(X_INTRODUCED_117_);
constraint array_var_int_element(X_INTRODUCED_119_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_121_):: defines_var(X_INTRODUCED_121_);
constraint array_var_int_element(X_INTRODUCED_119_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_121_):: defines_var(X_INTRODUCED_121_);
constraint array_var_int_element(X_INTRODUCED_123_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_125_):: defines_var(X_INTRODUCED_125_);
constraint array_var_int_element(X_INTRODUCED_123_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_125_):: defines_var(X_INTRODUCED_125_);
constraint array_var_int_element(X_INTRODUCED_127_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_129_):: defines_var(X_INTRODUCED_129_);
constraint array_var_int_element(X_INTRODUCED_127_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_129_):: defines_var(X_INTRODUCED_129_);
constraint array_var_int_element(X_INTRODUCED_131_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_var_int_element(X_INTRODUCED_131_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_var_int_element(X_INTRODUCED_135_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_],X_INTRODUCED_137_):: defines_var(X_INTRODUCED_137_);
constraint array_var_int_element(X_INTRODUCED_135_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_137_):: defines_var(X_INTRODUCED_137_);
constraint array_var_int_element(X_INTRODUCED_140_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_141_):: defines_var(X_INTRODUCED_141_);
constraint array_var_int_element(X_INTRODUCED_140_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_141_):: defines_var(X_INTRODUCED_141_);
constraint array_var_int_element(X_INTRODUCED_146_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_147_):: defines_var(X_INTRODUCED_147_);
constraint array_var_int_element(X_INTRODUCED_146_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_147_):: defines_var(X_INTRODUCED_147_);
constraint array_var_int_element(X_INTRODUCED_149_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_150_):: defines_var(X_INTRODUCED_150_);
constraint array_var_int_element(X_INTRODUCED_149_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_150_):: defines_var(X_INTRODUCED_150_);
constraint array_var_int_element(X_INTRODUCED_152_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_153_):: defines_var(X_INTRODUCED_153_);
constraint array_var_int_element(X_INTRODUCED_152_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_153_):: defines_var(X_INTRODUCED_153_);
constraint array_var_int_element(X_INTRODUCED_155_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_156_):: defines_var(X_INTRODUCED_156_);
constraint array_var_int_element(X_INTRODUCED_155_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_156_):: defines_var(X_INTRODUCED_156_);
constraint array_var_int_element(X_INTRODUCED_158_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_159_):: defines_var(X_INTRODUCED_159_);
constraint array_var_int_element(X_INTRODUCED_158_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_159_):: defines_var(X_INTRODUCED_159_);
constraint array_var_int_element(X_INTRODUCED_161_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_162_):: defines_var(X_INTRODUCED_162_);
constraint array_var_int_element(X_INTRODUCED_161_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_162_):: defines_var(X_INTRODUCED_162_);
constraint array_var_int_element(X_INTRODUCED_164_,[X_INTRODUCED_9_,1,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_],X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint array_var_int_element(X_INTRODUCED_164_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_165_):: defines_var(X_INTRODUCED_165_);
constraint array_var_int_element(X_INTRODUCED_168_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_169_):: defines_var(X_INTRODUCED_169_);
constraint array_var_int_element(X_INTRODUCED_168_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_169_):: defines_var(X_INTRODUCED_169_);
constraint array_var_int_element(X_INTRODUCED_171_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_172_):: defines_var(X_INTRODUCED_172_);
constraint array_var_int_element(X_INTRODUCED_171_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_172_):: defines_var(X_INTRODUCED_172_);
constraint array_var_int_element(X_INTRODUCED_177_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_var_int_element(X_INTRODUCED_177_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_178_):: defines_var(X_INTRODUCED_178_);
constraint array_var_int_element(X_INTRODUCED_180_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_181_):: defines_var(X_INTRODUCED_181_);
constraint array_var_int_element(X_INTRODUCED_180_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_181_):: defines_var(X_INTRODUCED_181_);
constraint array_var_int_element(X_INTRODUCED_183_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_184_):: defines_var(X_INTRODUCED_184_);
constraint array_var_int_element(X_INTRODUCED_183_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_184_):: defines_var(X_INTRODUCED_184_);
constraint array_var_int_element(X_INTRODUCED_186_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint array_var_int_element(X_INTRODUCED_186_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_187_):: defines_var(X_INTRODUCED_187_);
constraint array_var_int_element(X_INTRODUCED_189_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint array_var_int_element(X_INTRODUCED_189_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_190_):: defines_var(X_INTRODUCED_190_);
constraint array_var_int_element(X_INTRODUCED_192_,[X_INTRODUCED_18_,X_INTRODUCED_19_,2,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_],X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_var_int_element(X_INTRODUCED_192_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_var_int_element(X_INTRODUCED_196_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_197_):: defines_var(X_INTRODUCED_197_);
constraint array_var_int_element(X_INTRODUCED_196_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_197_):: defines_var(X_INTRODUCED_197_);
constraint array_var_int_element(X_INTRODUCED_199_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_200_):: defines_var(X_INTRODUCED_200_);
constraint array_var_int_element(X_INTRODUCED_199_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_200_):: defines_var(X_INTRODUCED_200_);
constraint array_var_int_element(X_INTRODUCED_202_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint array_var_int_element(X_INTRODUCED_202_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_203_):: defines_var(X_INTRODUCED_203_);
constraint array_var_int_element(X_INTRODUCED_208_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_209_):: defines_var(X_INTRODUCED_209_);
constraint array_var_int_element(X_INTRODUCED_208_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_209_):: defines_var(X_INTRODUCED_209_);
constraint array_var_int_element(X_INTRODUCED_211_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_212_):: defines_var(X_INTRODUCED_212_);
constraint array_var_int_element(X_INTRODUCED_211_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_212_):: defines_var(X_INTRODUCED_212_);
constraint array_var_int_element(X_INTRODUCED_214_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint array_var_int_element(X_INTRODUCED_214_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_215_):: defines_var(X_INTRODUCED_215_);
constraint array_var_int_element(X_INTRODUCED_217_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_217_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_220_,[X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,3,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_],X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_var_int_element(X_INTRODUCED_220_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_var_int_element(X_INTRODUCED_224_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_225_):: defines_var(X_INTRODUCED_225_);
constraint array_var_int_element(X_INTRODUCED_224_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_225_):: defines_var(X_INTRODUCED_225_);
constraint array_var_int_element(X_INTRODUCED_227_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint array_var_int_element(X_INTRODUCED_227_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_228_):: defines_var(X_INTRODUCED_228_);
constraint array_var_int_element(X_INTRODUCED_230_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint array_var_int_element(X_INTRODUCED_230_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_231_):: defines_var(X_INTRODUCED_231_);
constraint array_var_int_element(X_INTRODUCED_233_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_var_int_element(X_INTRODUCED_233_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_234_):: defines_var(X_INTRODUCED_234_);
constraint array_var_int_element(X_INTRODUCED_239_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_var_int_element(X_INTRODUCED_239_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_240_):: defines_var(X_INTRODUCED_240_);
constraint array_var_int_element(X_INTRODUCED_242_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_242_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_245_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_245_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_248_,[X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,4,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_],X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_248_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_252_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_253_):: defines_var(X_INTRODUCED_253_);
constraint array_var_int_element(X_INTRODUCED_252_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_253_):: defines_var(X_INTRODUCED_253_);
constraint array_var_int_element(X_INTRODUCED_255_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_256_):: defines_var(X_INTRODUCED_256_);
constraint array_var_int_element(X_INTRODUCED_255_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_256_):: defines_var(X_INTRODUCED_256_);
constraint array_var_int_element(X_INTRODUCED_258_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint array_var_int_element(X_INTRODUCED_258_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_259_):: defines_var(X_INTRODUCED_259_);
constraint array_var_int_element(X_INTRODUCED_261_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_var_int_element(X_INTRODUCED_261_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_262_):: defines_var(X_INTRODUCED_262_);
constraint array_var_int_element(X_INTRODUCED_264_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_265_):: defines_var(X_INTRODUCED_265_);
constraint array_var_int_element(X_INTRODUCED_264_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_265_):: defines_var(X_INTRODUCED_265_);
constraint array_var_int_element(X_INTRODUCED_270_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_270_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_273_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_273_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_276_,[X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,5,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_],X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_276_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_280_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_281_):: defines_var(X_INTRODUCED_281_);
constraint array_var_int_element(X_INTRODUCED_280_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_281_):: defines_var(X_INTRODUCED_281_);
constraint array_var_int_element(X_INTRODUCED_283_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_284_):: defines_var(X_INTRODUCED_284_);
constraint array_var_int_element(X_INTRODUCED_283_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_284_):: defines_var(X_INTRODUCED_284_);
constraint array_var_int_element(X_INTRODUCED_286_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint array_var_int_element(X_INTRODUCED_286_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_287_):: defines_var(X_INTRODUCED_287_);
constraint array_var_int_element(X_INTRODUCED_289_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_290_):: defines_var(X_INTRODUCED_290_);
constraint array_var_int_element(X_INTRODUCED_289_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_290_):: defines_var(X_INTRODUCED_290_);
constraint array_var_int_element(X_INTRODUCED_292_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_293_):: defines_var(X_INTRODUCED_293_);
constraint array_var_int_element(X_INTRODUCED_292_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_293_):: defines_var(X_INTRODUCED_293_);
constraint array_var_int_element(X_INTRODUCED_295_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_var_int_element(X_INTRODUCED_295_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_296_):: defines_var(X_INTRODUCED_296_);
constraint array_var_int_element(X_INTRODUCED_301_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint array_var_int_element(X_INTRODUCED_301_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_302_):: defines_var(X_INTRODUCED_302_);
constraint array_var_int_element(X_INTRODUCED_304_,[X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,6,X_INTRODUCED_61_,X_INTRODUCED_62_],X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint array_var_int_element(X_INTRODUCED_304_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_305_):: defines_var(X_INTRODUCED_305_);
constraint array_var_int_element(X_INTRODUCED_308_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_309_):: defines_var(X_INTRODUCED_309_);
constraint array_var_int_element(X_INTRODUCED_308_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_309_):: defines_var(X_INTRODUCED_309_);
constraint array_var_int_element(X_INTRODUCED_311_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_312_):: defines_var(X_INTRODUCED_312_);
constraint array_var_int_element(X_INTRODUCED_311_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_312_):: defines_var(X_INTRODUCED_312_);
constraint array_var_int_element(X_INTRODUCED_314_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint array_var_int_element(X_INTRODUCED_314_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_315_):: defines_var(X_INTRODUCED_315_);
constraint array_var_int_element(X_INTRODUCED_317_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_318_):: defines_var(X_INTRODUCED_318_);
constraint array_var_int_element(X_INTRODUCED_317_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_318_):: defines_var(X_INTRODUCED_318_);
constraint array_var_int_element(X_INTRODUCED_320_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_321_):: defines_var(X_INTRODUCED_321_);
constraint array_var_int_element(X_INTRODUCED_320_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_321_):: defines_var(X_INTRODUCED_321_);
constraint array_var_int_element(X_INTRODUCED_323_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint array_var_int_element(X_INTRODUCED_323_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_324_):: defines_var(X_INTRODUCED_324_);
constraint array_var_int_element(X_INTRODUCED_326_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint array_var_int_element(X_INTRODUCED_326_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_327_):: defines_var(X_INTRODUCED_327_);
constraint array_var_int_element(X_INTRODUCED_332_,[X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_67_,X_INTRODUCED_68_,X_INTRODUCED_69_,7,X_INTRODUCED_71_],X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_var_int_element(X_INTRODUCED_332_,[X_INTRODUCED_8_,X_INTRODUCED_17_,X_INTRODUCED_26_,X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_71_,8],X_INTRODUCED_333_):: defines_var(X_INTRODUCED_333_);
constraint array_var_int_element(X_INTRODUCED_336_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_337_):: defines_var(X_INTRODUCED_337_);
constraint array_var_int_element(X_INTRODUCED_336_,[0,X_INTRODUCED_9_,X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_45_,X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_72_],X_INTRODUCED_337_):: defines_var(X_INTRODUCED_337_);
constraint array_var_int_element(X_INTRODUCED_339_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint array_var_int_element(X_INTRODUCED_339_,[X_INTRODUCED_1_,1,X_INTRODUCED_19_,X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_73_],X_INTRODUCED_340_):: defines_var(X_INTRODUCED_340_);
constraint array_var_int_element(X_INTRODUCED_342_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint array_var_int_element(X_INTRODUCED_342_,[X_INTRODUCED_2_,X_INTRODUCED_11_,2,X_INTRODUCED_29_,X_INTRODUCED_38_,X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_74_],X_INTRODUCED_343_):: defines_var(X_INTRODUCED_343_);
constraint array_var_int_element(X_INTRODUCED_345_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint array_var_int_element(X_INTRODUCED_345_,[X_INTRODUCED_3_,X_INTRODUCED_12_,X_INTRODUCED_21_,3,X_INTRODUCED_39_,X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_75_],X_INTRODUCED_346_):: defines_var(X_INTRODUCED_346_);
constraint array_var_int_element(X_INTRODUCED_348_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_349_):: defines_var(X_INTRODUCED_349_);
constraint array_var_int_element(X_INTRODUCED_348_,[X_INTRODUCED_4_,X_INTRODUCED_13_,X_INTRODUCED_22_,X_INTRODUCED_31_,4,X_INTRODUCED_49_,X_INTRODUCED_58_,X_INTRODUCED_67_,X_INTRODUCED_76_],X_INTRODUCED_349_):: defines_var(X_INTRODUCED_349_);
constraint array_var_int_element(X_INTRODUCED_351_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint array_var_int_element(X_INTRODUCED_351_,[X_INTRODUCED_5_,X_INTRODUCED_14_,X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_41_,5,X_INTRODUCED_59_,X_INTRODUCED_68_,X_INTRODUCED_77_],X_INTRODUCED_352_):: defines_var(X_INTRODUCED_352_);
constraint array_var_int_element(X_INTRODUCED_354_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_355_):: defines_var(X_INTRODUCED_355_);
constraint array_var_int_element(X_INTRODUCED_354_,[X_INTRODUCED_6_,X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_51_,6,X_INTRODUCED_69_,X_INTRODUCED_78_],X_INTRODUCED_355_):: defines_var(X_INTRODUCED_355_);
constraint array_var_int_element(X_INTRODUCED_357_,[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_74_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_,8],X_INTRODUCED_358_):: defines_var(X_INTRODUCED_358_);
constraint array_var_int_element(X_INTRODUCED_357_,[X_INTRODUCED_7_,X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_61_,7,X_INTRODUCED_79_],X_INTRODUCED_358_):: defines_var(X_INTRODUCED_358_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_9_,X_INTRODUCED_107_],-1):: domain:: defines_var(X_INTRODUCED_107_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_18_,X_INTRODUCED_111_],-1):: domain:: defines_var(X_INTRODUCED_111_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_27_,X_INTRODUCED_115_],-1):: domain:: defines_var(X_INTRODUCED_115_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_36_,X_INTRODUCED_119_],-1):: domain:: defines_var(X_INTRODUCED_119_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_45_,X_INTRODUCED_123_],-1):: domain:: defines_var(X_INTRODUCED_123_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_54_,X_INTRODUCED_127_],-1):: domain:: defines_var(X_INTRODUCED_127_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_63_,X_INTRODUCED_131_],-1):: domain:: defines_var(X_INTRODUCED_131_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_72_,X_INTRODUCED_135_],-1):: domain:: defines_var(X_INTRODUCED_135_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_1_,X_INTRODUCED_140_],-1):: domain:: defines_var(X_INTRODUCED_140_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_19_,X_INTRODUCED_146_],-1):: domain:: defines_var(X_INTRODUCED_146_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_28_,X_INTRODUCED_149_],-1):: domain:: defines_var(X_INTRODUCED_149_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_37_,X_INTRODUCED_152_],-1):: domain:: defines_var(X_INTRODUCED_152_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_46_,X_INTRODUCED_155_],-1):: domain:: defines_var(X_INTRODUCED_155_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_55_,X_INTRODUCED_158_],-1):: domain:: defines_var(X_INTRODUCED_158_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_64_,X_INTRODUCED_161_],-1):: domain:: defines_var(X_INTRODUCED_161_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_73_,X_INTRODUCED_164_],-1):: domain:: defines_var(X_INTRODUCED_164_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_2_,X_INTRODUCED_168_],-1):: domain:: defines_var(X_INTRODUCED_168_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_11_,X_INTRODUCED_171_],-1):: domain:: defines_var(X_INTRODUCED_171_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_29_,X_INTRODUCED_177_],-1):: domain:: defines_var(X_INTRODUCED_177_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_38_,X_INTRODUCED_180_],-1):: domain:: defines_var(X_INTRODUCED_180_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_47_,X_INTRODUCED_183_],-1):: domain:: defines_var(X_INTRODUCED_183_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_56_,X_INTRODUCED_186_],-1):: domain:: defines_var(X_INTRODUCED_186_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_65_,X_INTRODUCED_189_],-1):: domain:: defines_var(X_INTRODUCED_189_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_74_,X_INTRODUCED_192_],-1):: domain:: defines_var(X_INTRODUCED_192_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_3_,X_INTRODUCED_196_],-1):: domain:: defines_var(X_INTRODUCED_196_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_12_,X_INTRODUCED_199_],-1):: domain:: defines_var(X_INTRODUCED_199_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_21_,X_INTRODUCED_202_],-1):: domain:: defines_var(X_INTRODUCED_202_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_39_,X_INTRODUCED_208_],-1):: domain:: defines_var(X_INTRODUCED_208_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_48_,X_INTRODUCED_211_],-1):: domain:: defines_var(X_INTRODUCED_211_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_57_,X_INTRODUCED_214_],-1):: domain:: defines_var(X_INTRODUCED_214_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_66_,X_INTRODUCED_217_],-1):: domain:: defines_var(X_INTRODUCED_217_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_75_,X_INTRODUCED_220_],-1):: domain:: defines_var(X_INTRODUCED_220_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_4_,X_INTRODUCED_224_],-1):: domain:: defines_var(X_INTRODUCED_224_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_13_,X_INTRODUCED_227_],-1):: domain:: defines_var(X_INTRODUCED_227_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_22_,X_INTRODUCED_230_],-1):: domain:: defines_var(X_INTRODUCED_230_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_31_,X_INTRODUCED_233_],-1):: domain:: defines_var(X_INTRODUCED_233_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_49_,X_INTRODUCED_239_],-1):: domain:: defines_var(X_INTRODUCED_239_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_58_,X_INTRODUCED_242_],-1):: domain:: defines_var(X_INTRODUCED_242_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_67_,X_INTRODUCED_245_],-1):: domain:: defines_var(X_INTRODUCED_245_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_76_,X_INTRODUCED_248_],-1):: domain:: defines_var(X_INTRODUCED_248_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_5_,X_INTRODUCED_252_],-1):: domain:: defines_var(X_INTRODUCED_252_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_14_,X_INTRODUCED_255_],-1):: domain:: defines_var(X_INTRODUCED_255_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_23_,X_INTRODUCED_258_],-1):: domain:: defines_var(X_INTRODUCED_258_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_32_,X_INTRODUCED_261_],-1):: domain:: defines_var(X_INTRODUCED_261_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_41_,X_INTRODUCED_264_],-1):: domain:: defines_var(X_INTRODUCED_264_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_59_,X_INTRODUCED_270_],-1):: domain:: defines_var(X_INTRODUCED_270_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_68_,X_INTRODUCED_273_],-1):: domain:: defines_var(X_INTRODUCED_273_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_77_,X_INTRODUCED_276_],-1):: domain:: defines_var(X_INTRODUCED_276_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_6_,X_INTRODUCED_280_],-1):: domain:: defines_var(X_INTRODUCED_280_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_15_,X_INTRODUCED_283_],-1):: domain:: defines_var(X_INTRODUCED_283_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_24_,X_INTRODUCED_286_],-1):: domain:: defines_var(X_INTRODUCED_286_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_33_,X_INTRODUCED_289_],-1):: domain:: defines_var(X_INTRODUCED_289_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_42_,X_INTRODUCED_292_],-1):: domain:: defines_var(X_INTRODUCED_292_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_51_,X_INTRODUCED_295_],-1):: domain:: defines_var(X_INTRODUCED_295_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_69_,X_INTRODUCED_301_],-1):: domain:: defines_var(X_INTRODUCED_301_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_78_,X_INTRODUCED_304_],-1):: domain:: defines_var(X_INTRODUCED_304_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_7_,X_INTRODUCED_308_],-1):: domain:: defines_var(X_INTRODUCED_308_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_16_,X_INTRODUCED_311_],-1):: domain:: defines_var(X_INTRODUCED_311_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_25_,X_INTRODUCED_314_],-1):: domain:: defines_var(X_INTRODUCED_314_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_34_,X_INTRODUCED_317_],-1):: domain:: defines_var(X_INTRODUCED_317_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_43_,X_INTRODUCED_320_],-1):: domain:: defines_var(X_INTRODUCED_320_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_52_,X_INTRODUCED_323_],-1):: domain:: defines_var(X_INTRODUCED_323_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_61_,X_INTRODUCED_326_],-1):: domain:: defines_var(X_INTRODUCED_326_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_79_,X_INTRODUCED_332_],-1):: domain:: defines_var(X_INTRODUCED_332_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_8_,X_INTRODUCED_336_],-1):: domain:: defines_var(X_INTRODUCED_336_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_17_,X_INTRODUCED_339_],-1):: domain:: defines_var(X_INTRODUCED_339_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_26_,X_INTRODUCED_342_],-1):: domain:: defines_var(X_INTRODUCED_342_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_35_,X_INTRODUCED_345_],-1):: domain:: defines_var(X_INTRODUCED_345_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_44_,X_INTRODUCED_348_],-1):: domain:: defines_var(X_INTRODUCED_348_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_53_,X_INTRODUCED_351_],-1):: domain:: defines_var(X_INTRODUCED_351_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_62_,X_INTRODUCED_354_],-1):: domain:: defines_var(X_INTRODUCED_354_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_71_,X_INTRODUCED_357_],-1):: domain:: defines_var(X_INTRODUCED_357_);
solve :: int_search(X_INTRODUCED_371_,first_fail,indomain_min,complete) satisfy;