text: predicate jacop_lex_lesseq_int(array [int] of var int: x,array [int] of var int: y);
  array [1..3] of int: X_INTRODUCED_63 = [1,-1,-1];
  array [1..30] of int: X_INTRODUCED_67 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1];
  array [1..2] of int: X_INTRODUCED_74 = [-1,-1];
  array [1..2] of int: X_INTRODUCED_196 = [1,-42];
  array [1..3] of int: X_INTRODUCED_201 = [1,1,-1];
  array [1..5] of int: X_INTRODUCED_291 = [1,1,1,1,-1];
  array [1..7] of int: X_INTRODUCED_293 = [1,1,1,1,1,1,-1];
  array [1..9] of int: X_INTRODUCED_295 = [1,1,1,1,1,1,1,1,-1];
  array [1..11] of int: X_INTRODUCED_298 = [1,1,1,1,1,1,1,1,1,1,-1];
  array [1..13] of int: X_INTRODUCED_302 = [1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..15] of int: X_INTRODUCED_306 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..17] of int: X_INTRODUCED_310 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..19] of int: X_INTRODUCED_314 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..21] of int: X_INTRODUCED_318 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..23] of int: X_INTRODUCED_322 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..25] of int: X_INTRODUCED_326 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..27] of int: X_INTRODUCED_330 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..29] of int: X_INTRODUCED_334 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..31] of int: X_INTRODUCED_338 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..33] of int: X_INTRODUCED_342 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..35] of int: X_INTRODUCED_346 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..37] of int: X_INTRODUCED_350 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..39] of int: X_INTRODUCED_354 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..41] of int: X_INTRODUCED_358 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..43] of int: X_INTRODUCED_362 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..45] of int: X_INTRODUCED_366 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..47] of int: X_INTRODUCED_370 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..49] of int: X_INTRODUCED_374 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..51] of int: X_INTRODUCED_378 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..53] of int: X_INTRODUCED_382 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..55] of int: X_INTRODUCED_386 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..57] of int: X_INTRODUCED_390 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..59] of int: X_INTRODUCED_394 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-1];
  array [1..2] of int: X_INTRODUCED_398 = [-1,1];
  array [1..2] of int: X_INTRODUCED_399 = [1,-1];
  var 0..42: X_INTRODUCED_0;
  var 0..42: X_INTRODUCED_1;
  var 0..42: X_INTRODUCED_2;
  var 0..42: X_INTRODUCED_3;
  var 0..42: X_INTRODUCED_4;
  var 0..42: X_INTRODUCED_5;
  var 0..42: X_INTRODUCED_6;
  var 0..42: X_INTRODUCED_7;
  var 0..42: X_INTRODUCED_8;
  var 0..42: X_INTRODUCED_9;
  var 0..42: X_INTRODUCED_10;
  var 0..42: X_INTRODUCED_11;
  var 0..42: X_INTRODUCED_12;
  var 0..42: X_INTRODUCED_13;
  var 0..42: X_INTRODUCED_14;
  var 0..42: X_INTRODUCED_15;
  var 0..42: X_INTRODUCED_16;
  var 0..42: X_INTRODUCED_17;
  var 0..42: X_INTRODUCED_18;
  var 0..42: X_INTRODUCED_19;
  var 0..42: X_INTRODUCED_20;
  var 0..42: X_INTRODUCED_21;
  var 0..42: X_INTRODUCED_22;
  var 0..42: X_INTRODUCED_23;
  var 0..42: X_INTRODUCED_24;
  var 0..42: X_INTRODUCED_25;
  var 0..42: X_INTRODUCED_26;
  var 0..42: X_INTRODUCED_27;
  var 0..42: X_INTRODUCED_28;
  var 0..42: X_INTRODUCED_29;
  var 0..42: X_INTRODUCED_30;
  var 0..42: X_INTRODUCED_31;
  var 0..42: X_INTRODUCED_32;
  var 0..42: X_INTRODUCED_33;
  var 0..42: X_INTRODUCED_34;
  var 0..42: X_INTRODUCED_35;
  var 0..42: X_INTRODUCED_36;
  var 0..42: X_INTRODUCED_37;
  var 0..42: X_INTRODUCED_38;
  var 0..42: X_INTRODUCED_39;
  var 0..42: X_INTRODUCED_40;
  var 0..42: X_INTRODUCED_41;
  var 0..42: X_INTRODUCED_42;
  var 0..42: X_INTRODUCED_43;
  var 0..42: X_INTRODUCED_44;
  var 0..42: X_INTRODUCED_45;
  var 0..42: X_INTRODUCED_46;
  var 0..42: X_INTRODUCED_47;
  var 0..42: X_INTRODUCED_48;
  var 0..42: X_INTRODUCED_49;
  var 0..42: X_INTRODUCED_50;
  var 0..42: X_INTRODUCED_51;
  var 0..42: X_INTRODUCED_52;
  var 0..42: X_INTRODUCED_53;
  var 0..42: X_INTRODUCED_54;
  var 0..42: X_INTRODUCED_55;
  var 0..42: X_INTRODUCED_56;
  var 0..42: X_INTRODUCED_57;
  var 0..42: X_INTRODUCED_58;
  var 0..42: X_INTRODUCED_59;
  var 1..168: X_INTRODUCED_60;
  var 1..168: X_INTRODUCED_61;
  var 84..168: Production:: output_var:: is_defined_var;
  var 28..84: Surplus:: is_defined_var;
  var 0..7056: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_135 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_136 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_138 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_139 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_141 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_142 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_144 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_145 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_147 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_148 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_150 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_151 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_153 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_154 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_156 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_157 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_159 ::var_is_introduced :: is_defined_var;
  var 0..7056: X_INTRODUCED_160 ::var_is_introduced :: is_defined_var;
  var 42..84: X_INTRODUCED_397 ::var_is_introduced :: is_defined_var;
  array [1..60] of var int: p:: output_array([1..30,1..2]) = [X_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,X_INTRODUCED_10,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,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,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,X_INTRODUCED_40,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,X_INTRODUCED_50,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];
  array [1..2] of var int: R:: output_array([1..2]) = [X_INTRODUCED_60,X_INTRODUCED_61];
  array [1..30] of var int: X_INTRODUCED_66 ::var_is_introduced  = [X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_8,X_INTRODUCED_10,X_INTRODUCED_12,X_INTRODUCED_14,X_INTRODUCED_16,X_INTRODUCED_18,X_INTRODUCED_20,X_INTRODUCED_22,X_INTRODUCED_24,X_INTRODUCED_26,X_INTRODUCED_28,X_INTRODUCED_30,X_INTRODUCED_32,X_INTRODUCED_34,X_INTRODUCED_36,X_INTRODUCED_38,X_INTRODUCED_40,X_INTRODUCED_42,X_INTRODUCED_44,X_INTRODUCED_46,X_INTRODUCED_48,X_INTRODUCED_50,X_INTRODUCED_52,X_INTRODUCED_54,X_INTRODUCED_56,X_INTRODUCED_58];
  array [1..30] of var int: X_INTRODUCED_70 ::var_is_introduced  = [X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_9,X_INTRODUCED_11,X_INTRODUCED_13,X_INTRODUCED_15,X_INTRODUCED_17,X_INTRODUCED_19,X_INTRODUCED_21,X_INTRODUCED_23,X_INTRODUCED_25,X_INTRODUCED_27,X_INTRODUCED_29,X_INTRODUCED_31,X_INTRODUCED_33,X_INTRODUCED_35,X_INTRODUCED_37,X_INTRODUCED_39,X_INTRODUCED_41,X_INTRODUCED_43,X_INTRODUCED_45,X_INTRODUCED_47,X_INTRODUCED_49,X_INTRODUCED_51,X_INTRODUCED_53,X_INTRODUCED_55,X_INTRODUCED_57,X_INTRODUCED_59];
  array [1..2] of var int: X_INTRODUCED_163 ::var_is_introduced  = [X_INTRODUCED_2,X_INTRODUCED_3];
  array [1..2] of var int: X_INTRODUCED_164 ::var_is_introduced  = [X_INTRODUCED_0,X_INTRODUCED_1];
  array [1..2] of var int: X_INTRODUCED_165 ::var_is_introduced  = [X_INTRODUCED_6,X_INTRODUCED_7];
  array [1..2] of var int: X_INTRODUCED_166 ::var_is_introduced  = [X_INTRODUCED_4,X_INTRODUCED_5];
  array [1..2] of var int: X_INTRODUCED_167 ::var_is_introduced  = [X_INTRODUCED_8,X_INTRODUCED_9];
  array [1..2] of var int: X_INTRODUCED_168 ::var_is_introduced  = [X_INTRODUCED_10,X_INTRODUCED_11];
  array [1..2] of var int: X_INTRODUCED_169 ::var_is_introduced  = [X_INTRODUCED_16,X_INTRODUCED_17];
  array [1..2] of var int: X_INTRODUCED_170 ::var_is_introduced  = [X_INTRODUCED_14,X_INTRODUCED_15];
  array [1..2] of var int: X_INTRODUCED_171 ::var_is_introduced  = [X_INTRODUCED_18,X_INTRODUCED_19];
  array [1..2] of var int: X_INTRODUCED_172 ::var_is_introduced  = [X_INTRODUCED_20,X_INTRODUCED_21];
  array [1..2] of var int: X_INTRODUCED_173 ::var_is_introduced  = [X_INTRODUCED_24,X_INTRODUCED_25];
  array [1..2] of var int: X_INTRODUCED_174 ::var_is_introduced  = [X_INTRODUCED_22,X_INTRODUCED_23];
  array [1..2] of var int: X_INTRODUCED_175 ::var_is_introduced  = [X_INTRODUCED_26,X_INTRODUCED_27];
  array [1..2] of var int: X_INTRODUCED_176 ::var_is_introduced  = [X_INTRODUCED_28,X_INTRODUCED_29];
  array [1..2] of var int: X_INTRODUCED_177 ::var_is_introduced  = [X_INTRODUCED_30,X_INTRODUCED_31];
  array [1..2] of var int: X_INTRODUCED_178 ::var_is_introduced  = [X_INTRODUCED_32,X_INTRODUCED_33];
  array [1..2] of var int: X_INTRODUCED_179 ::var_is_introduced  = [X_INTRODUCED_36,X_INTRODUCED_37];
  array [1..2] of var int: X_INTRODUCED_180 ::var_is_introduced  = [X_INTRODUCED_34,X_INTRODUCED_35];
  array [1..2] of var int: X_INTRODUCED_181 ::var_is_introduced  = [X_INTRODUCED_38,X_INTRODUCED_39];
  array [1..2] of var int: X_INTRODUCED_182 ::var_is_introduced  = [X_INTRODUCED_40,X_INTRODUCED_41];
  array [1..2] of var int: X_INTRODUCED_183 ::var_is_introduced  = [X_INTRODUCED_44,X_INTRODUCED_45];
  array [1..2] of var int: X_INTRODUCED_184 ::var_is_introduced  = [X_INTRODUCED_42,X_INTRODUCED_43];
  array [1..2] of var int: X_INTRODUCED_185 ::var_is_introduced  = [X_INTRODUCED_46,X_INTRODUCED_47];
  array [1..2] of var int: X_INTRODUCED_186 ::var_is_introduced  = [X_INTRODUCED_48,X_INTRODUCED_49];
  array [1..2] of var int: X_INTRODUCED_187 ::var_is_introduced  = [X_INTRODUCED_50,X_INTRODUCED_51];
  array [1..2] of var int: X_INTRODUCED_188 ::var_is_introduced  = [X_INTRODUCED_52,X_INTRODUCED_53];
  array [1..2] of var int: X_INTRODUCED_189 ::var_is_introduced  = [X_INTRODUCED_54,X_INTRODUCED_55];
  array [1..2] of var int: X_INTRODUCED_190 ::var_is_introduced  = [X_INTRODUCED_58,X_INTRODUCED_59];
  array [1..2] of var int: X_INTRODUCED_191 ::var_is_introduced  = [X_INTRODUCED_56,X_INTRODUCED_57];
  array [1..11] of var int: X_INTRODUCED_297 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,Surplus];
  array [1..13] of var int: X_INTRODUCED_301 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,Surplus];
  array [1..15] of var int: X_INTRODUCED_305 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,Surplus];
  array [1..17] of var int: X_INTRODUCED_309 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,Surplus];
  array [1..19] of var int: X_INTRODUCED_313 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,Surplus];
  array [1..21] of var int: X_INTRODUCED_317 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,Surplus];
  array [1..23] of var int: X_INTRODUCED_321 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,Surplus];
  array [1..25] of var int: X_INTRODUCED_325 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,Surplus];
  array [1..27] of var int: X_INTRODUCED_329 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,Surplus];
  array [1..29] of var int: X_INTRODUCED_333 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,Surplus];
  array [1..31] of var int: X_INTRODUCED_337 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,Surplus];
  array [1..33] of var int: X_INTRODUCED_341 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,Surplus];
  array [1..35] of var int: X_INTRODUCED_345 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,Surplus];
  array [1..37] of var int: X_INTRODUCED_349 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,Surplus];
  array [1..39] of var int: X_INTRODUCED_353 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,Surplus];
  array [1..41] of var int: X_INTRODUCED_357 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,Surplus];
  array [1..43] of var int: X_INTRODUCED_361 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,Surplus];
  array [1..45] of var int: X_INTRODUCED_365 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,Surplus];
  array [1..47] of var int: X_INTRODUCED_369 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,Surplus];
  array [1..49] of var int: X_INTRODUCED_373 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,Surplus];
  array [1..51] of var int: X_INTRODUCED_377 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_144,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,X_INTRODUCED_145,Surplus];
  array [1..53] of var int: X_INTRODUCED_381 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_144,X_INTRODUCED_147,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,X_INTRODUCED_145,X_INTRODUCED_148,Surplus];
  array [1..55] of var int: X_INTRODUCED_385 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_144,X_INTRODUCED_147,X_INTRODUCED_150,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,X_INTRODUCED_145,X_INTRODUCED_148,X_INTRODUCED_151,Surplus];
  array [1..57] of var int: X_INTRODUCED_389 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_144,X_INTRODUCED_147,X_INTRODUCED_150,X_INTRODUCED_153,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,X_INTRODUCED_145,X_INTRODUCED_148,X_INTRODUCED_151,X_INTRODUCED_154,Surplus];
  array [1..59] of var int: X_INTRODUCED_393 ::var_is_introduced  = [X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_84,X_INTRODUCED_87,X_INTRODUCED_90,X_INTRODUCED_93,X_INTRODUCED_96,X_INTRODUCED_99,X_INTRODUCED_102,X_INTRODUCED_105,X_INTRODUCED_108,X_INTRODUCED_111,X_INTRODUCED_114,X_INTRODUCED_117,X_INTRODUCED_120,X_INTRODUCED_123,X_INTRODUCED_126,X_INTRODUCED_129,X_INTRODUCED_132,X_INTRODUCED_135,X_INTRODUCED_138,X_INTRODUCED_141,X_INTRODUCED_144,X_INTRODUCED_147,X_INTRODUCED_150,X_INTRODUCED_153,X_INTRODUCED_156,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,X_INTRODUCED_85,X_INTRODUCED_88,X_INTRODUCED_91,X_INTRODUCED_94,X_INTRODUCED_97,X_INTRODUCED_100,X_INTRODUCED_103,X_INTRODUCED_106,X_INTRODUCED_109,X_INTRODUCED_112,X_INTRODUCED_115,X_INTRODUCED_118,X_INTRODUCED_121,X_INTRODUCED_124,X_INTRODUCED_127,X_INTRODUCED_130,X_INTRODUCED_133,X_INTRODUCED_136,X_INTRODUCED_139,X_INTRODUCED_142,X_INTRODUCED_145,X_INTRODUCED_148,X_INTRODUCED_151,X_INTRODUCED_154,X_INTRODUCED_157,Surplus];
  array [1..62] of var int: X_INTRODUCED_401 ::var_is_introduced  = [X_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,X_INTRODUCED_10,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,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,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,X_INTRODUCED_40,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,X_INTRODUCED_50,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,X_INTRODUCED_60,X_INTRODUCED_61];
  constraint int_lin_eq(X_INTRODUCED_63,[Production,X_INTRODUCED_60,X_INTRODUCED_61],0):: defines_var(Production);
  constraint int_lin_eq(X_INTRODUCED_67,X_INTRODUCED_66,42);
  constraint int_lin_eq(X_INTRODUCED_67,X_INTRODUCED_70,42);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_71,X_INTRODUCED_72],-280);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_75,X_INTRODUCED_76],-280);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_78,X_INTRODUCED_79],-230);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_81,X_INTRODUCED_82],-230);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_84,X_INTRODUCED_85],-230);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_87,X_INTRODUCED_88],-230);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_90,X_INTRODUCED_91],-150);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_93,X_INTRODUCED_94],-100);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_96,X_INTRODUCED_97],-100);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_99,X_INTRODUCED_100],-100);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_102,X_INTRODUCED_103],-100);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_105,X_INTRODUCED_106],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_108,X_INTRODUCED_109],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_111,X_INTRODUCED_112],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_114,X_INTRODUCED_115],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_117,X_INTRODUCED_118],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_120,X_INTRODUCED_121],-90);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_123,X_INTRODUCED_124],-80);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_126,X_INTRODUCED_127],-80);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_129,X_INTRODUCED_130],-80);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_132,X_INTRODUCED_133],-80);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_135,X_INTRODUCED_136],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_138,X_INTRODUCED_139],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_141,X_INTRODUCED_142],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_144,X_INTRODUCED_145],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_147,X_INTRODUCED_148],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_150,X_INTRODUCED_151],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_153,X_INTRODUCED_154],-70);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_156,X_INTRODUCED_157],-60);
  constraint int_lin_le(X_INTRODUCED_74,[X_INTRODUCED_159,X_INTRODUCED_160],-60);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_164,X_INTRODUCED_163);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_166,X_INTRODUCED_165);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_165,X_INTRODUCED_167);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_167,X_INTRODUCED_168);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_170,X_INTRODUCED_169);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_169,X_INTRODUCED_171);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_171,X_INTRODUCED_172);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_174,X_INTRODUCED_173);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_173,X_INTRODUCED_175);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_175,X_INTRODUCED_176);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_176,X_INTRODUCED_177);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_177,X_INTRODUCED_178);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_180,X_INTRODUCED_179);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_179,X_INTRODUCED_181);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_181,X_INTRODUCED_182);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_184,X_INTRODUCED_183);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_183,X_INTRODUCED_185);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_185,X_INTRODUCED_186);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_186,X_INTRODUCED_187);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_187,X_INTRODUCED_188);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_188,X_INTRODUCED_189);
  constraint jacop_lex_lesseq_int(X_INTRODUCED_191,X_INTRODUCED_190);
  constraint int_lin_eq(X_INTRODUCED_196,[Surplus,Production],-3500):: defines_var(Surplus);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_71,X_INTRODUCED_72,Surplus],560);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_75,X_INTRODUCED_76,Surplus],560);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_78,X_INTRODUCED_79,Surplus],460);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_81,X_INTRODUCED_82,Surplus],460);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_84,X_INTRODUCED_85,Surplus],460);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_87,X_INTRODUCED_88,Surplus],460);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_90,X_INTRODUCED_91,Surplus],300);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_93,X_INTRODUCED_94,Surplus],200);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_96,X_INTRODUCED_97,Surplus],200);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_99,X_INTRODUCED_100,Surplus],200);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_102,X_INTRODUCED_103,Surplus],200);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_105,X_INTRODUCED_106,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_108,X_INTRODUCED_109,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_111,X_INTRODUCED_112,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_114,X_INTRODUCED_115,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_117,X_INTRODUCED_118,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_120,X_INTRODUCED_121,Surplus],180);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_123,X_INTRODUCED_124,Surplus],160);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_126,X_INTRODUCED_127,Surplus],160);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_129,X_INTRODUCED_130,Surplus],160);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_132,X_INTRODUCED_133,Surplus],160);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_135,X_INTRODUCED_136,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_138,X_INTRODUCED_139,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_141,X_INTRODUCED_142,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_144,X_INTRODUCED_145,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_147,X_INTRODUCED_148,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_150,X_INTRODUCED_151,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_153,X_INTRODUCED_154,Surplus],140);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_156,X_INTRODUCED_157,Surplus],120);
  constraint int_lin_le(X_INTRODUCED_201,[X_INTRODUCED_159,X_INTRODUCED_160,Surplus],120);
  constraint int_lin_le(X_INTRODUCED_291,[X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_72,X_INTRODUCED_76,Surplus],1120);
  constraint int_lin_le(X_INTRODUCED_293,[X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,Surplus],1580);
  constraint int_lin_le(X_INTRODUCED_295,[X_INTRODUCED_71,X_INTRODUCED_75,X_INTRODUCED_78,X_INTRODUCED_81,X_INTRODUCED_72,X_INTRODUCED_76,X_INTRODUCED_79,X_INTRODUCED_82,Surplus],2040);
  constraint int_lin_le(X_INTRODUCED_298,X_INTRODUCED_297,2500);
  constraint int_lin_le(X_INTRODUCED_302,X_INTRODUCED_301,2960);
  constraint int_lin_le(X_INTRODUCED_306,X_INTRODUCED_305,3260);
  constraint int_lin_le(X_INTRODUCED_310,X_INTRODUCED_309,3460);
  constraint int_lin_le(X_INTRODUCED_314,X_INTRODUCED_313,3660);
  constraint int_lin_le(X_INTRODUCED_318,X_INTRODUCED_317,3860);
  constraint int_lin_le(X_INTRODUCED_322,X_INTRODUCED_321,4060);
  constraint int_lin_le(X_INTRODUCED_326,X_INTRODUCED_325,4240);
  constraint int_lin_le(X_INTRODUCED_330,X_INTRODUCED_329,4420);
  constraint int_lin_le(X_INTRODUCED_334,X_INTRODUCED_333,4600);
  constraint int_lin_le(X_INTRODUCED_338,X_INTRODUCED_337,4780);
  constraint int_lin_le(X_INTRODUCED_342,X_INTRODUCED_341,4960);
  constraint int_lin_le(X_INTRODUCED_346,X_INTRODUCED_345,5140);
  constraint int_lin_le(X_INTRODUCED_350,X_INTRODUCED_349,5300);
  constraint int_lin_le(X_INTRODUCED_354,X_INTRODUCED_353,5460);
  constraint int_lin_le(X_INTRODUCED_358,X_INTRODUCED_357,5620);
  constraint int_lin_le(X_INTRODUCED_362,X_INTRODUCED_361,5780);
  constraint int_lin_le(X_INTRODUCED_366,X_INTRODUCED_365,5920);
  constraint int_lin_le(X_INTRODUCED_370,X_INTRODUCED_369,6060);
  constraint int_lin_le(X_INTRODUCED_374,X_INTRODUCED_373,6200);
  constraint int_lin_le(X_INTRODUCED_378,X_INTRODUCED_377,6340);
  constraint int_lin_le(X_INTRODUCED_382,X_INTRODUCED_381,6480);
  constraint int_lin_le(X_INTRODUCED_386,X_INTRODUCED_385,6620);
  constraint int_lin_le(X_INTRODUCED_390,X_INTRODUCED_389,6760);
  constraint int_lin_le(X_INTRODUCED_394,X_INTRODUCED_393,6880);
  constraint int_div(Production,2,X_INTRODUCED_397):: defines_var(X_INTRODUCED_397);
  constraint int_lin_le(X_INTRODUCED_398,[X_INTRODUCED_61,X_INTRODUCED_397],0);
  constraint int_lin_le(X_INTRODUCED_399,[X_INTRODUCED_60,X_INTRODUCED_397],0);
  constraint int_times(X_INTRODUCED_0,X_INTRODUCED_60,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71);
  constraint int_times(X_INTRODUCED_1,X_INTRODUCED_61,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72);
  constraint int_times(X_INTRODUCED_2,X_INTRODUCED_60,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75);
  constraint int_times(X_INTRODUCED_3,X_INTRODUCED_61,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76);
  constraint int_times(X_INTRODUCED_4,X_INTRODUCED_60,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78);
  constraint int_times(X_INTRODUCED_5,X_INTRODUCED_61,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79);
  constraint int_times(X_INTRODUCED_6,X_INTRODUCED_60,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81);
  constraint int_times(X_INTRODUCED_7,X_INTRODUCED_61,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82);
  constraint int_times(X_INTRODUCED_8,X_INTRODUCED_60,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84);
  constraint int_times(X_INTRODUCED_9,X_INTRODUCED_61,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85);
  constraint int_times(X_INTRODUCED_10,X_INTRODUCED_60,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87);
  constraint int_times(X_INTRODUCED_11,X_INTRODUCED_61,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88);
  constraint int_times(X_INTRODUCED_12,X_INTRODUCED_60,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90);
  constraint int_times(X_INTRODUCED_13,X_INTRODUCED_61,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91);
  constraint int_times(X_INTRODUCED_14,X_INTRODUCED_60,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93);
  constraint int_times(X_INTRODUCED_15,X_INTRODUCED_61,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94);
  constraint int_times(X_INTRODUCED_16,X_INTRODUCED_60,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96);
  constraint int_times(X_INTRODUCED_17,X_INTRODUCED_61,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97);
  constraint int_times(X_INTRODUCED_18,X_INTRODUCED_60,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99);
  constraint int_times(X_INTRODUCED_19,X_INTRODUCED_61,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100);
  constraint int_times(X_INTRODUCED_20,X_INTRODUCED_60,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102);
  constraint int_times(X_INTRODUCED_21,X_INTRODUCED_61,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103);
  constraint int_times(X_INTRODUCED_22,X_INTRODUCED_60,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105);
  constraint int_times(X_INTRODUCED_23,X_INTRODUCED_61,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106);
  constraint int_times(X_INTRODUCED_24,X_INTRODUCED_60,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108);
  constraint int_times(X_INTRODUCED_25,X_INTRODUCED_61,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109);
  constraint int_times(X_INTRODUCED_26,X_INTRODUCED_60,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111);
  constraint int_times(X_INTRODUCED_27,X_INTRODUCED_61,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112);
  constraint int_times(X_INTRODUCED_28,X_INTRODUCED_60,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114);
  constraint int_times(X_INTRODUCED_29,X_INTRODUCED_61,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115);
  constraint int_times(X_INTRODUCED_30,X_INTRODUCED_60,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117);
  constraint int_times(X_INTRODUCED_31,X_INTRODUCED_61,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118);
  constraint int_times(X_INTRODUCED_32,X_INTRODUCED_60,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120);
  constraint int_times(X_INTRODUCED_33,X_INTRODUCED_61,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
  constraint int_times(X_INTRODUCED_34,X_INTRODUCED_60,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123);
  constraint int_times(X_INTRODUCED_35,X_INTRODUCED_61,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124);
  constraint int_times(X_INTRODUCED_36,X_INTRODUCED_60,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126);
  constraint int_times(X_INTRODUCED_37,X_INTRODUCED_61,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127);
  constraint int_times(X_INTRODUCED_38,X_INTRODUCED_60,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129);
  constraint int_times(X_INTRODUCED_39,X_INTRODUCED_61,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130);
  constraint int_times(X_INTRODUCED_40,X_INTRODUCED_60,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132);
  constraint int_times(X_INTRODUCED_41,X_INTRODUCED_61,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133);
  constraint int_times(X_INTRODUCED_42,X_INTRODUCED_60,X_INTRODUCED_135):: defines_var(X_INTRODUCED_135);
  constraint int_times(X_INTRODUCED_43,X_INTRODUCED_61,X_INTRODUCED_136):: defines_var(X_INTRODUCED_136);
  constraint int_times(X_INTRODUCED_44,X_INTRODUCED_60,X_INTRODUCED_138):: defines_var(X_INTRODUCED_138);
  constraint int_times(X_INTRODUCED_45,X_INTRODUCED_61,X_INTRODUCED_139):: defines_var(X_INTRODUCED_139);
  constraint int_times(X_INTRODUCED_46,X_INTRODUCED_60,X_INTRODUCED_141):: defines_var(X_INTRODUCED_141);
  constraint int_times(X_INTRODUCED_47,X_INTRODUCED_61,X_INTRODUCED_142):: defines_var(X_INTRODUCED_142);
  constraint int_times(X_INTRODUCED_48,X_INTRODUCED_60,X_INTRODUCED_144):: defines_var(X_INTRODUCED_144);
  constraint int_times(X_INTRODUCED_49,X_INTRODUCED_61,X_INTRODUCED_145):: defines_var(X_INTRODUCED_145);
  constraint int_times(X_INTRODUCED_50,X_INTRODUCED_60,X_INTRODUCED_147):: defines_var(X_INTRODUCED_147);
  constraint int_times(X_INTRODUCED_51,X_INTRODUCED_61,X_INTRODUCED_148):: defines_var(X_INTRODUCED_148);
  constraint int_times(X_INTRODUCED_52,X_INTRODUCED_60,X_INTRODUCED_150):: defines_var(X_INTRODUCED_150);
  constraint int_times(X_INTRODUCED_53,X_INTRODUCED_61,X_INTRODUCED_151):: defines_var(X_INTRODUCED_151);
  constraint int_times(X_INTRODUCED_54,X_INTRODUCED_60,X_INTRODUCED_153):: defines_var(X_INTRODUCED_153);
  constraint int_times(X_INTRODUCED_55,X_INTRODUCED_61,X_INTRODUCED_154):: defines_var(X_INTRODUCED_154);
  constraint int_times(X_INTRODUCED_56,X_INTRODUCED_60,X_INTRODUCED_156):: defines_var(X_INTRODUCED_156);
  constraint int_times(X_INTRODUCED_57,X_INTRODUCED_61,X_INTRODUCED_157):: defines_var(X_INTRODUCED_157);
  constraint int_times(X_INTRODUCED_58,X_INTRODUCED_60,X_INTRODUCED_159):: defines_var(X_INTRODUCED_159);
  constraint int_times(X_INTRODUCED_59,X_INTRODUCED_61,X_INTRODUCED_160):: defines_var(X_INTRODUCED_160);
  solve :: int_search(X_INTRODUCED_401,input_order,indomain_min,complete) minimize Production;
  