array [1..2] of int: X_INTRODUCED_65_ = [1,-1];
var 0..0: X_INTRODUCED_0_;
var 0..7: X_INTRODUCED_1_;
var 0..7: X_INTRODUCED_2_;
var 0..7: X_INTRODUCED_3_;
var 0..7: X_INTRODUCED_4_;
var 0..7: X_INTRODUCED_5_;
var 0..7: X_INTRODUCED_6_;
var 0..7: X_INTRODUCED_7_;
var 0..7: X_INTRODUCED_8_;
var 1..1: X_INTRODUCED_9_;
var 0..7: X_INTRODUCED_10_;
var 0..7: X_INTRODUCED_11_;
var 0..7: X_INTRODUCED_12_;
var 0..7: X_INTRODUCED_13_;
var 0..7: X_INTRODUCED_14_;
var 0..7: X_INTRODUCED_15_;
var 0..7: X_INTRODUCED_16_;
var 0..7: X_INTRODUCED_17_;
var 2..2: X_INTRODUCED_18_;
var 0..7: X_INTRODUCED_19_;
var 0..7: X_INTRODUCED_20_;
var 0..7: X_INTRODUCED_21_;
var 0..7: X_INTRODUCED_22_;
var 0..7: X_INTRODUCED_23_;
var 0..7: X_INTRODUCED_24_;
var 0..7: X_INTRODUCED_25_;
var 0..7: X_INTRODUCED_26_;
var 3..3: X_INTRODUCED_27_;
var 0..7: X_INTRODUCED_28_;
var 0..7: X_INTRODUCED_29_;
var 0..7: X_INTRODUCED_30_;
var 1..7: X_INTRODUCED_31_;
var 0..7: X_INTRODUCED_32_;
var 0..7: X_INTRODUCED_33_;
var 0..7: X_INTRODUCED_34_;
var 0..7: X_INTRODUCED_35_;
var 4..4: X_INTRODUCED_36_;
var 0..7: X_INTRODUCED_37_;
var 0..7: X_INTRODUCED_38_;
var 2..7: X_INTRODUCED_39_;
var 0..7: X_INTRODUCED_40_;
var 0..7: X_INTRODUCED_41_;
var 0..7: X_INTRODUCED_42_;
var 0..7: X_INTRODUCED_43_;
var 0..7: X_INTRODUCED_44_;
var 5..5: X_INTRODUCED_45_;
var 0..7: X_INTRODUCED_46_;
var 3..7: X_INTRODUCED_47_;
var 0..7: X_INTRODUCED_48_;
var 0..7: X_INTRODUCED_49_;
var 0..7: X_INTRODUCED_50_;
var 0..7: X_INTRODUCED_51_;
var 0..7: X_INTRODUCED_52_;
var 0..7: X_INTRODUCED_53_;
var 6..6: X_INTRODUCED_54_;
var 4..7: X_INTRODUCED_55_;
var 0..7: X_INTRODUCED_56_;
var 0..7: X_INTRODUCED_57_;
var 0..7: X_INTRODUCED_58_;
var 0..7: X_INTRODUCED_59_;
var 0..7: X_INTRODUCED_60_;
var 0..7: X_INTRODUCED_61_;
var 0..7: X_INTRODUCED_62_;
var 7..7: X_INTRODUCED_63_;
var 1..8: X_INTRODUCED_88_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_90_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_92_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_94_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_96_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_98_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_100_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_102_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_104_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_106_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_108_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_110_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_112_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_114_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_117_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_118_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_123_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_124_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_126_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_127_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_129_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_130_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_132_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_133_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_135_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_136_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_138_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_139_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_142_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_143_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_145_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_146_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_151_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_152_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_154_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_155_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_157_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_158_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_160_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_161_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_163_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_164_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_167_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_168_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_170_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_171_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_173_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_174_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_179_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_180_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_182_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_183_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_185_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_186_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_188_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_189_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_192_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_193_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_195_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_196_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_198_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_199_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_201_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_202_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_207_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_208_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_210_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_211_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_213_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_214_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_217_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_218_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_220_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_221_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_223_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_224_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_226_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_227_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_229_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_230_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_235_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_236_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_238_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_239_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_242_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_243_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_245_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_246_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_248_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_249_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_251_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_252_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_254_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_255_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_257_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_258_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_263_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_264_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_267_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_268_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_270_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_271_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_273_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_274_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_276_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_277_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_279_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_280_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_282_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_283_ ::var_is_introduced :: is_defined_var;
var 1..8: X_INTRODUCED_285_ ::var_is_introduced :: is_defined_var;
var 0..7: X_INTRODUCED_286_ ::var_is_introduced :: is_defined_var;
var 0..0: X_INTRODUCED_86_ ::var_is_introduced  = 0;
var 1..1: X_INTRODUCED_121_ ::var_is_introduced  = 1;
var 2..2: X_INTRODUCED_149_ ::var_is_introduced  = 2;
var 3..3: X_INTRODUCED_177_ ::var_is_introduced  = 3;
var 4..4: X_INTRODUCED_205_ ::var_is_introduced  = 4;
var 5..5: X_INTRODUCED_233_ ::var_is_introduced  = 5;
var 6..6: X_INTRODUCED_261_ ::var_is_introduced  = 6;
var 7..7: X_INTRODUCED_289_ ::var_is_introduced  = 7;
array [1..64] of var int: quasiGroup:: output_array([0..7,0..7]) = [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_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7];
array [1..64] of var int: X_INTRODUCED_298_ ::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_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7];
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(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1],[X_INTRODUCED_8_],1);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_15_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_10_],-1);
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(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_17_],0);
constraint int_lin_ne([1],[X_INTRODUCED_16_],2);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_23_],0);
constraint int_lin_ne([1],[X_INTRODUCED_17_],2);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_23_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_19_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_20_],-2);
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(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_22_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_26_],0);
constraint int_lin_ne([1],[X_INTRODUCED_24_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_26_],0);
constraint int_lin_ne([1],[X_INTRODUCED_25_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_31_],0);
constraint int_lin_ne([1],[X_INTRODUCED_26_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_28_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_31_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_28_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_29_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_30_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_31_],-3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_29_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_29_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_30_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_35_],0);
constraint int_lin_ne([1],[X_INTRODUCED_32_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_35_],0);
constraint int_lin_ne([1],[X_INTRODUCED_33_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_35_],0);
constraint int_lin_ne([1],[X_INTRODUCED_34_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_39_],0);
constraint int_lin_ne([1],[X_INTRODUCED_35_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_37_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_39_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_37_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_38_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_39_],-4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_37_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_37_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_38_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_44_],0);
constraint int_lin_ne([1],[X_INTRODUCED_40_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_44_],0);
constraint int_lin_ne([1],[X_INTRODUCED_41_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_44_],0);
constraint int_lin_ne([1],[X_INTRODUCED_42_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_43_,X_INTRODUCED_44_],0);
constraint int_lin_ne([1],[X_INTRODUCED_43_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_43_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_43_,X_INTRODUCED_47_],0);
constraint int_lin_ne([1],[X_INTRODUCED_44_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_44_,X_INTRODUCED_46_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_44_,X_INTRODUCED_47_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_46_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_47_],-5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_46_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_48_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_49_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_50_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_50_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_50_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_50_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_50_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_51_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_51_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_51_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_51_,X_INTRODUCED_55_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_52_,X_INTRODUCED_53_],0);
constraint int_lin_ne([1],[X_INTRODUCED_52_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_52_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_53_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_53_,X_INTRODUCED_55_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_55_],-6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_56_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_56_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_57_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_57_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_57_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_57_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_57_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_57_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_58_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_58_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_58_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_58_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_58_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_59_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_59_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_59_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_59_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_60_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_60_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_60_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_61_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_61_],7);
constraint int_lin_ne([1],[X_INTRODUCED_62_],7);
constraint int_lin_ne([-1],[X_INTRODUCED_8_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_16_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_24_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_32_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_40_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_48_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_8_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_24_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_16_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_32_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_24_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_40_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_32_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_48_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_40_,X_INTRODUCED_56_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_48_,X_INTRODUCED_56_],0);
constraint int_lin_ne([1],[X_INTRODUCED_1_],1);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_1_,X_INTRODUCED_57_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_17_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_25_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_33_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_41_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_49_],-1);
constraint int_lin_ne([-1],[X_INTRODUCED_57_],-1);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_25_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_17_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_33_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_25_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_41_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_33_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_49_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_41_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_49_,X_INTRODUCED_57_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1],[X_INTRODUCED_2_],2);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_2_,X_INTRODUCED_58_],0);
constraint int_lin_ne([1],[X_INTRODUCED_10_],2);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_26_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_10_,X_INTRODUCED_58_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_26_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_34_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_42_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_50_],-2);
constraint int_lin_ne([-1],[X_INTRODUCED_58_],-2);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_34_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_26_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_42_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_34_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_50_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_42_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_50_,X_INTRODUCED_58_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_19_],0);
constraint int_lin_ne([1],[X_INTRODUCED_3_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_3_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_19_],0);
constraint int_lin_ne([1],[X_INTRODUCED_11_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_11_,X_INTRODUCED_59_],0);
constraint int_lin_ne([1],[X_INTRODUCED_19_],3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_35_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_19_,X_INTRODUCED_59_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_35_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_43_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_51_],-3);
constraint int_lin_ne([-1],[X_INTRODUCED_59_],-3);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_43_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_35_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_43_,X_INTRODUCED_51_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_43_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_51_,X_INTRODUCED_59_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_28_],0);
constraint int_lin_ne([1],[X_INTRODUCED_4_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_4_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_28_],0);
constraint int_lin_ne([1],[X_INTRODUCED_12_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_12_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_28_],0);
constraint int_lin_ne([1],[X_INTRODUCED_20_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_20_,X_INTRODUCED_60_],0);
constraint int_lin_ne([1],[X_INTRODUCED_28_],4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_44_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_28_,X_INTRODUCED_60_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_44_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_52_],-4);
constraint int_lin_ne([-1],[X_INTRODUCED_60_],-4);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_44_,X_INTRODUCED_52_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_44_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_52_,X_INTRODUCED_60_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_37_],0);
constraint int_lin_ne([1],[X_INTRODUCED_5_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_5_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_37_],0);
constraint int_lin_ne([1],[X_INTRODUCED_13_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_13_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_29_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_37_],0);
constraint int_lin_ne([1],[X_INTRODUCED_21_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_21_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_29_,X_INTRODUCED_37_],0);
constraint int_lin_ne([1],[X_INTRODUCED_29_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_29_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_29_,X_INTRODUCED_61_],0);
constraint int_lin_ne([1],[X_INTRODUCED_37_],5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_37_,X_INTRODUCED_53_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_37_,X_INTRODUCED_61_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_53_],-5);
constraint int_lin_ne([-1],[X_INTRODUCED_61_],-5);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_53_,X_INTRODUCED_61_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_46_],0);
constraint int_lin_ne([1],[X_INTRODUCED_6_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_6_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_46_],0);
constraint int_lin_ne([1],[X_INTRODUCED_14_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_14_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_22_,X_INTRODUCED_30_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_22_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_22_,X_INTRODUCED_46_],0);
constraint int_lin_ne([1],[X_INTRODUCED_22_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_22_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_30_,X_INTRODUCED_38_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_30_,X_INTRODUCED_46_],0);
constraint int_lin_ne([1],[X_INTRODUCED_30_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_30_,X_INTRODUCED_62_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_38_,X_INTRODUCED_46_],0);
constraint int_lin_ne([1],[X_INTRODUCED_38_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_38_,X_INTRODUCED_62_],0);
constraint int_lin_ne([1],[X_INTRODUCED_46_],6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_46_,X_INTRODUCED_62_],0);
constraint int_lin_ne([-1],[X_INTRODUCED_62_],-6);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_7_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_15_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_15_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_15_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_15_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_15_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_15_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_23_,X_INTRODUCED_31_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_23_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_23_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_23_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_23_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_31_,X_INTRODUCED_39_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_31_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_31_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_31_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_39_,X_INTRODUCED_47_],0);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_39_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_39_],7);
constraint int_lin_ne(X_INTRODUCED_65_,[X_INTRODUCED_47_,X_INTRODUCED_55_],0);
constraint int_lin_ne([1],[X_INTRODUCED_47_],7);
constraint int_lin_ne([1],[X_INTRODUCED_55_],7);
constraint array_var_int_element(X_INTRODUCED_88_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_90_):: defines_var(X_INTRODUCED_90_);
constraint array_var_int_element(X_INTRODUCED_88_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_90_):: defines_var(X_INTRODUCED_90_);
constraint array_var_int_element(X_INTRODUCED_92_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_94_):: defines_var(X_INTRODUCED_94_);
constraint array_var_int_element(X_INTRODUCED_92_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_94_):: defines_var(X_INTRODUCED_94_);
constraint array_var_int_element(X_INTRODUCED_96_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_98_):: defines_var(X_INTRODUCED_98_);
constraint array_var_int_element(X_INTRODUCED_96_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_98_):: defines_var(X_INTRODUCED_98_);
constraint array_var_int_element(X_INTRODUCED_100_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_102_):: defines_var(X_INTRODUCED_102_);
constraint array_var_int_element(X_INTRODUCED_100_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_102_):: defines_var(X_INTRODUCED_102_);
constraint array_var_int_element(X_INTRODUCED_104_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_106_):: defines_var(X_INTRODUCED_106_);
constraint array_var_int_element(X_INTRODUCED_104_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_106_):: defines_var(X_INTRODUCED_106_);
constraint array_var_int_element(X_INTRODUCED_108_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_110_):: defines_var(X_INTRODUCED_110_);
constraint array_var_int_element(X_INTRODUCED_108_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_110_):: defines_var(X_INTRODUCED_110_);
constraint array_var_int_element(X_INTRODUCED_112_,[0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_],X_INTRODUCED_114_):: defines_var(X_INTRODUCED_114_);
constraint array_var_int_element(X_INTRODUCED_112_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_114_):: defines_var(X_INTRODUCED_114_);
constraint array_var_int_element(X_INTRODUCED_117_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_118_):: defines_var(X_INTRODUCED_118_);
constraint array_var_int_element(X_INTRODUCED_117_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_118_):: defines_var(X_INTRODUCED_118_);
constraint array_var_int_element(X_INTRODUCED_123_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_124_):: defines_var(X_INTRODUCED_124_);
constraint array_var_int_element(X_INTRODUCED_123_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_124_):: defines_var(X_INTRODUCED_124_);
constraint array_var_int_element(X_INTRODUCED_126_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_127_):: defines_var(X_INTRODUCED_127_);
constraint array_var_int_element(X_INTRODUCED_126_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_127_):: defines_var(X_INTRODUCED_127_);
constraint array_var_int_element(X_INTRODUCED_129_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_130_):: defines_var(X_INTRODUCED_130_);
constraint array_var_int_element(X_INTRODUCED_129_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_130_):: defines_var(X_INTRODUCED_130_);
constraint array_var_int_element(X_INTRODUCED_132_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_var_int_element(X_INTRODUCED_132_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_133_):: defines_var(X_INTRODUCED_133_);
constraint array_var_int_element(X_INTRODUCED_135_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_136_):: defines_var(X_INTRODUCED_136_);
constraint array_var_int_element(X_INTRODUCED_135_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_136_):: defines_var(X_INTRODUCED_136_);
constraint array_var_int_element(X_INTRODUCED_138_,[X_INTRODUCED_8_,1,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_],X_INTRODUCED_139_):: defines_var(X_INTRODUCED_139_);
constraint array_var_int_element(X_INTRODUCED_138_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_139_):: defines_var(X_INTRODUCED_139_);
constraint array_var_int_element(X_INTRODUCED_142_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_143_):: defines_var(X_INTRODUCED_143_);
constraint array_var_int_element(X_INTRODUCED_142_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_143_):: defines_var(X_INTRODUCED_143_);
constraint array_var_int_element(X_INTRODUCED_145_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_146_):: defines_var(X_INTRODUCED_146_);
constraint array_var_int_element(X_INTRODUCED_145_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_146_):: defines_var(X_INTRODUCED_146_);
constraint array_var_int_element(X_INTRODUCED_151_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_152_):: defines_var(X_INTRODUCED_152_);
constraint array_var_int_element(X_INTRODUCED_151_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_152_):: defines_var(X_INTRODUCED_152_);
constraint array_var_int_element(X_INTRODUCED_154_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_155_):: defines_var(X_INTRODUCED_155_);
constraint array_var_int_element(X_INTRODUCED_154_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_155_):: defines_var(X_INTRODUCED_155_);
constraint array_var_int_element(X_INTRODUCED_157_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_158_):: defines_var(X_INTRODUCED_158_);
constraint array_var_int_element(X_INTRODUCED_157_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_158_):: defines_var(X_INTRODUCED_158_);
constraint array_var_int_element(X_INTRODUCED_160_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_161_):: defines_var(X_INTRODUCED_161_);
constraint array_var_int_element(X_INTRODUCED_160_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_161_):: defines_var(X_INTRODUCED_161_);
constraint array_var_int_element(X_INTRODUCED_163_,[X_INTRODUCED_16_,X_INTRODUCED_17_,2,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_],X_INTRODUCED_164_):: defines_var(X_INTRODUCED_164_);
constraint array_var_int_element(X_INTRODUCED_163_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_164_):: defines_var(X_INTRODUCED_164_);
constraint array_var_int_element(X_INTRODUCED_167_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_168_):: defines_var(X_INTRODUCED_168_);
constraint array_var_int_element(X_INTRODUCED_167_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_168_):: defines_var(X_INTRODUCED_168_);
constraint array_var_int_element(X_INTRODUCED_170_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_171_):: defines_var(X_INTRODUCED_171_);
constraint array_var_int_element(X_INTRODUCED_170_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_171_):: defines_var(X_INTRODUCED_171_);
constraint array_var_int_element(X_INTRODUCED_173_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_174_):: defines_var(X_INTRODUCED_174_);
constraint array_var_int_element(X_INTRODUCED_173_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_174_):: defines_var(X_INTRODUCED_174_);
constraint array_var_int_element(X_INTRODUCED_179_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_180_):: defines_var(X_INTRODUCED_180_);
constraint array_var_int_element(X_INTRODUCED_179_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_180_):: defines_var(X_INTRODUCED_180_);
constraint array_var_int_element(X_INTRODUCED_182_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_183_):: defines_var(X_INTRODUCED_183_);
constraint array_var_int_element(X_INTRODUCED_182_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_183_):: defines_var(X_INTRODUCED_183_);
constraint array_var_int_element(X_INTRODUCED_185_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_186_):: defines_var(X_INTRODUCED_186_);
constraint array_var_int_element(X_INTRODUCED_185_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_186_):: defines_var(X_INTRODUCED_186_);
constraint array_var_int_element(X_INTRODUCED_188_,[X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,3,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_],X_INTRODUCED_189_):: defines_var(X_INTRODUCED_189_);
constraint array_var_int_element(X_INTRODUCED_188_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_189_):: defines_var(X_INTRODUCED_189_);
constraint array_var_int_element(X_INTRODUCED_192_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_var_int_element(X_INTRODUCED_192_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_193_):: defines_var(X_INTRODUCED_193_);
constraint array_var_int_element(X_INTRODUCED_195_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_196_):: defines_var(X_INTRODUCED_196_);
constraint array_var_int_element(X_INTRODUCED_195_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_196_):: defines_var(X_INTRODUCED_196_);
constraint array_var_int_element(X_INTRODUCED_198_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint array_var_int_element(X_INTRODUCED_198_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_199_):: defines_var(X_INTRODUCED_199_);
constraint array_var_int_element(X_INTRODUCED_201_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_var_int_element(X_INTRODUCED_201_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_202_):: defines_var(X_INTRODUCED_202_);
constraint array_var_int_element(X_INTRODUCED_207_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_208_):: defines_var(X_INTRODUCED_208_);
constraint array_var_int_element(X_INTRODUCED_207_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_208_):: defines_var(X_INTRODUCED_208_);
constraint array_var_int_element(X_INTRODUCED_210_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_211_):: defines_var(X_INTRODUCED_211_);
constraint array_var_int_element(X_INTRODUCED_210_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_211_):: defines_var(X_INTRODUCED_211_);
constraint array_var_int_element(X_INTRODUCED_213_,[X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,4,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_],X_INTRODUCED_214_):: defines_var(X_INTRODUCED_214_);
constraint array_var_int_element(X_INTRODUCED_213_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_214_):: defines_var(X_INTRODUCED_214_);
constraint array_var_int_element(X_INTRODUCED_217_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_217_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_218_):: defines_var(X_INTRODUCED_218_);
constraint array_var_int_element(X_INTRODUCED_220_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_var_int_element(X_INTRODUCED_220_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_221_):: defines_var(X_INTRODUCED_221_);
constraint array_var_int_element(X_INTRODUCED_223_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_224_):: defines_var(X_INTRODUCED_224_);
constraint array_var_int_element(X_INTRODUCED_223_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_224_):: defines_var(X_INTRODUCED_224_);
constraint array_var_int_element(X_INTRODUCED_226_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_227_):: defines_var(X_INTRODUCED_227_);
constraint array_var_int_element(X_INTRODUCED_226_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_227_):: defines_var(X_INTRODUCED_227_);
constraint array_var_int_element(X_INTRODUCED_229_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_230_):: defines_var(X_INTRODUCED_230_);
constraint array_var_int_element(X_INTRODUCED_229_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_230_):: defines_var(X_INTRODUCED_230_);
constraint array_var_int_element(X_INTRODUCED_235_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_236_):: defines_var(X_INTRODUCED_236_);
constraint array_var_int_element(X_INTRODUCED_235_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_236_):: defines_var(X_INTRODUCED_236_);
constraint array_var_int_element(X_INTRODUCED_238_,[X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,5,X_INTRODUCED_46_,X_INTRODUCED_47_],X_INTRODUCED_239_):: defines_var(X_INTRODUCED_239_);
constraint array_var_int_element(X_INTRODUCED_238_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_239_):: defines_var(X_INTRODUCED_239_);
constraint array_var_int_element(X_INTRODUCED_242_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_242_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_243_):: defines_var(X_INTRODUCED_243_);
constraint array_var_int_element(X_INTRODUCED_245_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_245_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_246_):: defines_var(X_INTRODUCED_246_);
constraint array_var_int_element(X_INTRODUCED_248_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_248_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_249_):: defines_var(X_INTRODUCED_249_);
constraint array_var_int_element(X_INTRODUCED_251_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint array_var_int_element(X_INTRODUCED_251_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_252_):: defines_var(X_INTRODUCED_252_);
constraint array_var_int_element(X_INTRODUCED_254_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint array_var_int_element(X_INTRODUCED_254_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_255_):: defines_var(X_INTRODUCED_255_);
constraint array_var_int_element(X_INTRODUCED_257_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_258_):: defines_var(X_INTRODUCED_258_);
constraint array_var_int_element(X_INTRODUCED_257_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_258_):: defines_var(X_INTRODUCED_258_);
constraint array_var_int_element(X_INTRODUCED_263_,[X_INTRODUCED_48_,X_INTRODUCED_49_,X_INTRODUCED_50_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,6,X_INTRODUCED_55_],X_INTRODUCED_264_):: defines_var(X_INTRODUCED_264_);
constraint array_var_int_element(X_INTRODUCED_263_,[X_INTRODUCED_7_,X_INTRODUCED_15_,X_INTRODUCED_23_,X_INTRODUCED_31_,X_INTRODUCED_39_,X_INTRODUCED_47_,X_INTRODUCED_55_,7],X_INTRODUCED_264_):: defines_var(X_INTRODUCED_264_);
constraint array_var_int_element(X_INTRODUCED_267_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_var_int_element(X_INTRODUCED_267_,[0,X_INTRODUCED_8_,X_INTRODUCED_16_,X_INTRODUCED_24_,X_INTRODUCED_32_,X_INTRODUCED_40_,X_INTRODUCED_48_,X_INTRODUCED_56_],X_INTRODUCED_268_):: defines_var(X_INTRODUCED_268_);
constraint array_var_int_element(X_INTRODUCED_270_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_270_,[X_INTRODUCED_1_,1,X_INTRODUCED_17_,X_INTRODUCED_25_,X_INTRODUCED_33_,X_INTRODUCED_41_,X_INTRODUCED_49_,X_INTRODUCED_57_],X_INTRODUCED_271_):: defines_var(X_INTRODUCED_271_);
constraint array_var_int_element(X_INTRODUCED_273_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_273_,[X_INTRODUCED_2_,X_INTRODUCED_10_,2,X_INTRODUCED_26_,X_INTRODUCED_34_,X_INTRODUCED_42_,X_INTRODUCED_50_,X_INTRODUCED_58_],X_INTRODUCED_274_):: defines_var(X_INTRODUCED_274_);
constraint array_var_int_element(X_INTRODUCED_276_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_276_,[X_INTRODUCED_3_,X_INTRODUCED_11_,X_INTRODUCED_19_,3,X_INTRODUCED_35_,X_INTRODUCED_43_,X_INTRODUCED_51_,X_INTRODUCED_59_],X_INTRODUCED_277_):: defines_var(X_INTRODUCED_277_);
constraint array_var_int_element(X_INTRODUCED_279_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint array_var_int_element(X_INTRODUCED_279_,[X_INTRODUCED_4_,X_INTRODUCED_12_,X_INTRODUCED_20_,X_INTRODUCED_28_,4,X_INTRODUCED_44_,X_INTRODUCED_52_,X_INTRODUCED_60_],X_INTRODUCED_280_):: defines_var(X_INTRODUCED_280_);
constraint array_var_int_element(X_INTRODUCED_282_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint array_var_int_element(X_INTRODUCED_282_,[X_INTRODUCED_5_,X_INTRODUCED_13_,X_INTRODUCED_21_,X_INTRODUCED_29_,X_INTRODUCED_37_,5,X_INTRODUCED_53_,X_INTRODUCED_61_],X_INTRODUCED_283_):: defines_var(X_INTRODUCED_283_);
constraint array_var_int_element(X_INTRODUCED_285_,[X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,X_INTRODUCED_59_,X_INTRODUCED_60_,X_INTRODUCED_61_,X_INTRODUCED_62_,7],X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint array_var_int_element(X_INTRODUCED_285_,[X_INTRODUCED_6_,X_INTRODUCED_14_,X_INTRODUCED_22_,X_INTRODUCED_30_,X_INTRODUCED_38_,X_INTRODUCED_46_,6,X_INTRODUCED_62_],X_INTRODUCED_286_):: defines_var(X_INTRODUCED_286_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_8_,X_INTRODUCED_88_],-1):: domain:: defines_var(X_INTRODUCED_88_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_16_,X_INTRODUCED_92_],-1):: domain:: defines_var(X_INTRODUCED_92_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_24_,X_INTRODUCED_96_],-1):: domain:: defines_var(X_INTRODUCED_96_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_32_,X_INTRODUCED_100_],-1):: domain:: defines_var(X_INTRODUCED_100_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_40_,X_INTRODUCED_104_],-1):: domain:: defines_var(X_INTRODUCED_104_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_48_,X_INTRODUCED_108_],-1):: domain:: defines_var(X_INTRODUCED_108_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_56_,X_INTRODUCED_112_],-1):: domain:: defines_var(X_INTRODUCED_112_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_1_,X_INTRODUCED_117_],-1):: domain:: defines_var(X_INTRODUCED_117_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_17_,X_INTRODUCED_123_],-1):: domain:: defines_var(X_INTRODUCED_123_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_25_,X_INTRODUCED_126_],-1):: domain:: defines_var(X_INTRODUCED_126_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_33_,X_INTRODUCED_129_],-1):: domain:: defines_var(X_INTRODUCED_129_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_41_,X_INTRODUCED_132_],-1):: domain:: defines_var(X_INTRODUCED_132_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_49_,X_INTRODUCED_135_],-1):: domain:: defines_var(X_INTRODUCED_135_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_57_,X_INTRODUCED_138_],-1):: domain:: defines_var(X_INTRODUCED_138_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_2_,X_INTRODUCED_142_],-1):: domain:: defines_var(X_INTRODUCED_142_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_10_,X_INTRODUCED_145_],-1):: domain:: defines_var(X_INTRODUCED_145_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_26_,X_INTRODUCED_151_],-1):: domain:: defines_var(X_INTRODUCED_151_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_34_,X_INTRODUCED_154_],-1):: domain:: defines_var(X_INTRODUCED_154_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_42_,X_INTRODUCED_157_],-1):: domain:: defines_var(X_INTRODUCED_157_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_50_,X_INTRODUCED_160_],-1):: domain:: defines_var(X_INTRODUCED_160_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_58_,X_INTRODUCED_163_],-1):: domain:: defines_var(X_INTRODUCED_163_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_3_,X_INTRODUCED_167_],-1):: domain:: defines_var(X_INTRODUCED_167_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_11_,X_INTRODUCED_170_],-1):: domain:: defines_var(X_INTRODUCED_170_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_19_,X_INTRODUCED_173_],-1):: domain:: defines_var(X_INTRODUCED_173_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_35_,X_INTRODUCED_179_],-1):: domain:: defines_var(X_INTRODUCED_179_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_43_,X_INTRODUCED_182_],-1):: domain:: defines_var(X_INTRODUCED_182_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_51_,X_INTRODUCED_185_],-1):: domain:: defines_var(X_INTRODUCED_185_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_59_,X_INTRODUCED_188_],-1):: domain:: defines_var(X_INTRODUCED_188_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_4_,X_INTRODUCED_192_],-1):: domain:: defines_var(X_INTRODUCED_192_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_12_,X_INTRODUCED_195_],-1):: domain:: defines_var(X_INTRODUCED_195_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_20_,X_INTRODUCED_198_],-1):: domain:: defines_var(X_INTRODUCED_198_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_28_,X_INTRODUCED_201_],-1):: domain:: defines_var(X_INTRODUCED_201_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_44_,X_INTRODUCED_207_],-1):: domain:: defines_var(X_INTRODUCED_207_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_52_,X_INTRODUCED_210_],-1):: domain:: defines_var(X_INTRODUCED_210_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_60_,X_INTRODUCED_213_],-1):: domain:: defines_var(X_INTRODUCED_213_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_5_,X_INTRODUCED_217_],-1):: domain:: defines_var(X_INTRODUCED_217_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_13_,X_INTRODUCED_220_],-1):: domain:: defines_var(X_INTRODUCED_220_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_21_,X_INTRODUCED_223_],-1):: domain:: defines_var(X_INTRODUCED_223_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_29_,X_INTRODUCED_226_],-1):: domain:: defines_var(X_INTRODUCED_226_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_37_,X_INTRODUCED_229_],-1):: domain:: defines_var(X_INTRODUCED_229_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_53_,X_INTRODUCED_235_],-1):: domain:: defines_var(X_INTRODUCED_235_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_61_,X_INTRODUCED_238_],-1):: domain:: defines_var(X_INTRODUCED_238_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_6_,X_INTRODUCED_242_],-1):: domain:: defines_var(X_INTRODUCED_242_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_14_,X_INTRODUCED_245_],-1):: domain:: defines_var(X_INTRODUCED_245_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_22_,X_INTRODUCED_248_],-1):: domain:: defines_var(X_INTRODUCED_248_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_30_,X_INTRODUCED_251_],-1):: domain:: defines_var(X_INTRODUCED_251_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_38_,X_INTRODUCED_254_],-1):: domain:: defines_var(X_INTRODUCED_254_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_46_,X_INTRODUCED_257_],-1):: domain:: defines_var(X_INTRODUCED_257_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_62_,X_INTRODUCED_263_],-1):: domain:: defines_var(X_INTRODUCED_263_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_7_,X_INTRODUCED_267_],-1):: domain:: defines_var(X_INTRODUCED_267_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_15_,X_INTRODUCED_270_],-1):: domain:: defines_var(X_INTRODUCED_270_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_23_,X_INTRODUCED_273_],-1):: domain:: defines_var(X_INTRODUCED_273_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_31_,X_INTRODUCED_276_],-1):: domain:: defines_var(X_INTRODUCED_276_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_39_,X_INTRODUCED_279_],-1):: domain:: defines_var(X_INTRODUCED_279_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_47_,X_INTRODUCED_282_],-1):: domain:: defines_var(X_INTRODUCED_282_);
constraint int_lin_eq([1,-1],[X_INTRODUCED_55_,X_INTRODUCED_285_],-1):: domain:: defines_var(X_INTRODUCED_285_);
solve :: int_search(X_INTRODUCED_298_,first_fail,indomain_min,complete) satisfy;