1array [1..2] of int: X_INTRODUCED_45 = [1,-1]; 2var 1..11: X_INTRODUCED_0; 3var 1..11: X_INTRODUCED_1; 4var 1..11: X_INTRODUCED_2; 5var 1..11: X_INTRODUCED_3; 6var 1..11: X_INTRODUCED_4; 7var 1..11: X_INTRODUCED_5; 8var 1..11: X_INTRODUCED_6; 9var 1..11: X_INTRODUCED_7; 10var 1..11: X_INTRODUCED_8; 11var 1..11: X_INTRODUCED_9; 12var 1..11: X_INTRODUCED_10; 13var set of 1..11: X_INTRODUCED_11; 14var set of 1..11: X_INTRODUCED_12; 15var set of 1..11: X_INTRODUCED_13; 16var set of 1..11: X_INTRODUCED_14; 17var set of 1..11: X_INTRODUCED_15; 18var set of 1..11: X_INTRODUCED_16; 19var set of 1..11: X_INTRODUCED_17; 20var set of 1..11: X_INTRODUCED_18; 21var set of 1..11: X_INTRODUCED_19; 22var set of 1..11: X_INTRODUCED_20; 23var set of 1..11: X_INTRODUCED_21; 24var 1..11: X_INTRODUCED_35 ::var_is_introduced ; 25var 1..11: X_INTRODUCED_36 ::var_is_introduced ; 26var 1..11: X_INTRODUCED_37 ::var_is_introduced ; 27var 1..11: X_INTRODUCED_38 ::var_is_introduced ; 28var 1..11: X_INTRODUCED_39 ::var_is_introduced ; 29var 1..11: X_INTRODUCED_40 ::var_is_introduced ; 30var 1..11: X_INTRODUCED_41 ::var_is_introduced ; 31var 1..11: X_INTRODUCED_42 ::var_is_introduced ; 32var 1..11: X_INTRODUCED_43 ::var_is_introduced ; 33var 1..11: X_INTRODUCED_44 ::var_is_introduced ; 34var bool: X_INTRODUCED_46 ::var_is_introduced :: is_defined_var; 35var bool: X_INTRODUCED_47 ::var_is_introduced :: is_defined_var; 36var bool: X_INTRODUCED_48 ::var_is_introduced :: is_defined_var; 37var bool: X_INTRODUCED_49 ::var_is_introduced :: is_defined_var; 38var bool: X_INTRODUCED_50 ::var_is_introduced :: is_defined_var; 39var bool: X_INTRODUCED_51 ::var_is_introduced :: is_defined_var; 40var bool: X_INTRODUCED_52 ::var_is_introduced :: is_defined_var; 41var bool: X_INTRODUCED_53 ::var_is_introduced :: is_defined_var; 42var bool: X_INTRODUCED_54 ::var_is_introduced :: is_defined_var; 43var bool: X_INTRODUCED_55 ::var_is_introduced :: is_defined_var; 44var bool: X_INTRODUCED_56 ::var_is_introduced :: is_defined_var; 45var bool: X_INTRODUCED_57 ::var_is_introduced :: is_defined_var; 46var bool: X_INTRODUCED_58 ::var_is_introduced :: is_defined_var; 47var bool: X_INTRODUCED_59 ::var_is_introduced :: is_defined_var; 48var bool: X_INTRODUCED_60 ::var_is_introduced :: is_defined_var; 49var bool: X_INTRODUCED_61 ::var_is_introduced :: is_defined_var; 50var bool: X_INTRODUCED_62 ::var_is_introduced :: is_defined_var; 51var bool: X_INTRODUCED_63 ::var_is_introduced :: is_defined_var; 52var bool: X_INTRODUCED_64 ::var_is_introduced :: is_defined_var; 53var bool: X_INTRODUCED_65 ::var_is_introduced :: is_defined_var; 54var bool: X_INTRODUCED_66 ::var_is_introduced :: is_defined_var; 55var bool: X_INTRODUCED_67 ::var_is_introduced :: is_defined_var; 56var bool: X_INTRODUCED_68 ::var_is_introduced :: is_defined_var; 57var bool: X_INTRODUCED_69 ::var_is_introduced :: is_defined_var; 58var bool: X_INTRODUCED_70 ::var_is_introduced :: is_defined_var; 59var bool: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var; 60var bool: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var; 61var bool: X_INTRODUCED_73 ::var_is_introduced :: is_defined_var; 62var bool: X_INTRODUCED_74 ::var_is_introduced :: is_defined_var; 63var bool: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var; 64var bool: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var; 65var bool: X_INTRODUCED_77 ::var_is_introduced :: is_defined_var; 66var bool: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var; 67var bool: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var; 68var bool: X_INTRODUCED_80 ::var_is_introduced :: is_defined_var; 69var bool: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var; 70var bool: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var; 71var bool: X_INTRODUCED_83 ::var_is_introduced :: is_defined_var; 72var bool: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var; 73var bool: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var; 74var bool: X_INTRODUCED_86 ::var_is_introduced :: is_defined_var; 75var bool: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var; 76var bool: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var; 77var bool: X_INTRODUCED_89 ::var_is_introduced :: is_defined_var; 78var bool: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var; 79var bool: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var; 80var bool: X_INTRODUCED_92 ::var_is_introduced :: is_defined_var; 81var bool: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var; 82var bool: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var; 83var bool: X_INTRODUCED_95 ::var_is_introduced :: is_defined_var; 84var bool: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var; 85var bool: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var; 86var bool: X_INTRODUCED_98 ::var_is_introduced :: is_defined_var; 87var bool: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var; 88var bool: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var; 89var bool: X_INTRODUCED_101 ::var_is_introduced :: is_defined_var; 90var bool: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var; 91var bool: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var; 92var bool: X_INTRODUCED_104 ::var_is_introduced :: is_defined_var; 93var bool: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var; 94var bool: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var; 95var bool: X_INTRODUCED_107 ::var_is_introduced :: is_defined_var; 96var bool: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var; 97var bool: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var; 98var bool: X_INTRODUCED_110 ::var_is_introduced :: is_defined_var; 99var bool: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var; 100var bool: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var; 101var bool: X_INTRODUCED_113 ::var_is_introduced :: is_defined_var; 102var bool: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var; 103var bool: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var; 104var bool: X_INTRODUCED_116 ::var_is_introduced :: is_defined_var; 105var bool: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var; 106var bool: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var; 107var bool: X_INTRODUCED_119 ::var_is_introduced :: is_defined_var; 108var bool: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var; 109var bool: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var; 110var bool: X_INTRODUCED_122 ::var_is_introduced :: is_defined_var; 111var bool: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var; 112var bool: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var; 113var bool: X_INTRODUCED_125 ::var_is_introduced :: is_defined_var; 114var bool: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var; 115var bool: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var; 116var bool: X_INTRODUCED_128 ::var_is_introduced :: is_defined_var; 117var bool: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var; 118var bool: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var; 119var bool: X_INTRODUCED_131 ::var_is_introduced :: is_defined_var; 120var bool: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var; 121var bool: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var; 122var bool: X_INTRODUCED_134 ::var_is_introduced :: is_defined_var; 123var bool: X_INTRODUCED_135 ::var_is_introduced :: is_defined_var; 124var bool: X_INTRODUCED_136 ::var_is_introduced :: is_defined_var; 125var bool: X_INTRODUCED_137 ::var_is_introduced :: is_defined_var; 126var bool: X_INTRODUCED_138 ::var_is_introduced :: is_defined_var; 127var bool: X_INTRODUCED_139 ::var_is_introduced :: is_defined_var; 128var bool: X_INTRODUCED_140 ::var_is_introduced :: is_defined_var; 129var bool: X_INTRODUCED_141 ::var_is_introduced :: is_defined_var; 130var bool: X_INTRODUCED_142 ::var_is_introduced :: is_defined_var; 131var bool: X_INTRODUCED_143 ::var_is_introduced :: is_defined_var; 132var bool: X_INTRODUCED_144 ::var_is_introduced :: is_defined_var; 133var bool: X_INTRODUCED_145 ::var_is_introduced :: is_defined_var; 134var bool: X_INTRODUCED_146 ::var_is_introduced :: is_defined_var; 135var bool: X_INTRODUCED_147 ::var_is_introduced :: is_defined_var; 136var bool: X_INTRODUCED_148 ::var_is_introduced :: is_defined_var; 137var bool: X_INTRODUCED_149 ::var_is_introduced :: is_defined_var; 138var bool: X_INTRODUCED_150 ::var_is_introduced :: is_defined_var; 139var bool: X_INTRODUCED_151 ::var_is_introduced :: is_defined_var; 140var bool: X_INTRODUCED_152 ::var_is_introduced :: is_defined_var; 141var bool: X_INTRODUCED_153 ::var_is_introduced :: is_defined_var; 142var bool: X_INTRODUCED_154 ::var_is_introduced :: is_defined_var; 143var bool: X_INTRODUCED_155 ::var_is_introduced :: is_defined_var; 144var bool: X_INTRODUCED_156 ::var_is_introduced :: is_defined_var; 145var bool: X_INTRODUCED_157 ::var_is_introduced :: is_defined_var; 146var bool: X_INTRODUCED_158 ::var_is_introduced :: is_defined_var; 147var bool: X_INTRODUCED_159 ::var_is_introduced :: is_defined_var; 148var bool: X_INTRODUCED_160 ::var_is_introduced :: is_defined_var; 149var bool: X_INTRODUCED_161 ::var_is_introduced :: is_defined_var; 150var bool: X_INTRODUCED_162 ::var_is_introduced :: is_defined_var; 151var bool: X_INTRODUCED_163 ::var_is_introduced :: is_defined_var; 152var bool: X_INTRODUCED_164 ::var_is_introduced :: is_defined_var; 153var bool: X_INTRODUCED_165 ::var_is_introduced :: is_defined_var; 154var bool: X_INTRODUCED_166 ::var_is_introduced :: is_defined_var; 155var 0..3: X_INTRODUCED_170 ::var_is_introduced :: is_defined_var; 156var 0..3: X_INTRODUCED_171 ::var_is_introduced :: is_defined_var; 157var 0..3: X_INTRODUCED_172 ::var_is_introduced :: is_defined_var; 158var 0..3: X_INTRODUCED_173 ::var_is_introduced :: is_defined_var; 159var 0..3: X_INTRODUCED_174 ::var_is_introduced :: is_defined_var; 160var 0..3: X_INTRODUCED_175 ::var_is_introduced :: is_defined_var; 161var 0..3: X_INTRODUCED_176 ::var_is_introduced :: is_defined_var; 162var 0..3: X_INTRODUCED_177 ::var_is_introduced :: is_defined_var; 163var 0..3: X_INTRODUCED_178 ::var_is_introduced :: is_defined_var; 164var 0..3: X_INTRODUCED_179 ::var_is_introduced :: is_defined_var; 165var 0..3: X_INTRODUCED_180 ::var_is_introduced :: is_defined_var; 166array [1..11] of var int: sessions:: output_array([1..11]) = [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]; 167array [1..11] of var set of int: slots:: output_array([1..11]) = [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]; 168constraint int_max(X_INTRODUCED_1,X_INTRODUCED_0,X_INTRODUCED_35); 169constraint int_max(X_INTRODUCED_2,X_INTRODUCED_35,X_INTRODUCED_36); 170constraint int_max(X_INTRODUCED_3,X_INTRODUCED_36,X_INTRODUCED_37); 171constraint int_max(X_INTRODUCED_4,X_INTRODUCED_37,X_INTRODUCED_38); 172constraint int_max(X_INTRODUCED_5,X_INTRODUCED_38,X_INTRODUCED_39); 173constraint int_max(X_INTRODUCED_6,X_INTRODUCED_39,X_INTRODUCED_40); 174constraint int_max(X_INTRODUCED_7,X_INTRODUCED_40,X_INTRODUCED_41); 175constraint int_max(X_INTRODUCED_8,X_INTRODUCED_41,X_INTRODUCED_42); 176constraint int_max(X_INTRODUCED_9,X_INTRODUCED_42,X_INTRODUCED_43); 177constraint int_max(X_INTRODUCED_10,X_INTRODUCED_43,X_INTRODUCED_44); 178constraint int_lin_le(X_INTRODUCED_45,[X_INTRODUCED_3,X_INTRODUCED_10],-1); 179constraint int_lin_le(X_INTRODUCED_45,[X_INTRODUCED_4,X_INTRODUCED_9],-1); 180constraint int_lin_le(X_INTRODUCED_45,[X_INTRODUCED_5,X_INTRODUCED_10],-1); 181constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_1],0); 182constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_2],0); 183constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_4],0); 184constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_6],0); 185constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_7],0); 186constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_0,X_INTRODUCED_9],0); 187constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_2],0); 188constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_3],0); 189constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_6],0); 190constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_7],0); 191constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_8],0); 192constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_1,X_INTRODUCED_10],0); 193constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_2,X_INTRODUCED_4],0); 194constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_2,X_INTRODUCED_5],0); 195constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_2,X_INTRODUCED_7],0); 196constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_3,X_INTRODUCED_5],0); 197constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_3,X_INTRODUCED_7],0); 198constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_3,X_INTRODUCED_9],0); 199constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_5,X_INTRODUCED_6],0); 200constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_5,X_INTRODUCED_9],0); 201constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_6,X_INTRODUCED_7],0); 202constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_6,X_INTRODUCED_8],0); 203constraint int_lin_ne(X_INTRODUCED_45,[X_INTRODUCED_7,X_INTRODUCED_9],0); 204constraint set_in_reif(1,X_INTRODUCED_11,X_INTRODUCED_46):: defines_var(X_INTRODUCED_46); 205constraint set_in_reif(1,X_INTRODUCED_12,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47); 206constraint set_in_reif(1,X_INTRODUCED_13,X_INTRODUCED_48):: defines_var(X_INTRODUCED_48); 207constraint set_in_reif(1,X_INTRODUCED_14,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49); 208constraint set_in_reif(1,X_INTRODUCED_15,X_INTRODUCED_50):: defines_var(X_INTRODUCED_50); 209constraint set_in_reif(1,X_INTRODUCED_16,X_INTRODUCED_51):: defines_var(X_INTRODUCED_51); 210constraint set_in_reif(1,X_INTRODUCED_17,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52); 211constraint set_in_reif(1,X_INTRODUCED_18,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53); 212constraint set_in_reif(1,X_INTRODUCED_19,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54); 213constraint set_in_reif(1,X_INTRODUCED_20,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55); 214constraint set_in_reif(1,X_INTRODUCED_21,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56); 215constraint set_in_reif(2,X_INTRODUCED_11,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57); 216constraint set_in_reif(2,X_INTRODUCED_12,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58); 217constraint set_in_reif(2,X_INTRODUCED_13,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59); 218constraint set_in_reif(2,X_INTRODUCED_14,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60); 219constraint set_in_reif(2,X_INTRODUCED_15,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61); 220constraint set_in_reif(2,X_INTRODUCED_16,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62); 221constraint set_in_reif(2,X_INTRODUCED_17,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63); 222constraint set_in_reif(2,X_INTRODUCED_18,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64); 223constraint set_in_reif(2,X_INTRODUCED_19,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65); 224constraint set_in_reif(2,X_INTRODUCED_20,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66); 225constraint set_in_reif(2,X_INTRODUCED_21,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67); 226constraint set_in_reif(3,X_INTRODUCED_11,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68); 227constraint set_in_reif(3,X_INTRODUCED_12,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69); 228constraint set_in_reif(3,X_INTRODUCED_13,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70); 229constraint set_in_reif(3,X_INTRODUCED_14,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71); 230constraint set_in_reif(3,X_INTRODUCED_15,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72); 231constraint set_in_reif(3,X_INTRODUCED_16,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73); 232constraint set_in_reif(3,X_INTRODUCED_17,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74); 233constraint set_in_reif(3,X_INTRODUCED_18,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75); 234constraint set_in_reif(3,X_INTRODUCED_19,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76); 235constraint set_in_reif(3,X_INTRODUCED_20,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77); 236constraint set_in_reif(3,X_INTRODUCED_21,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78); 237constraint set_in_reif(4,X_INTRODUCED_11,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79); 238constraint set_in_reif(4,X_INTRODUCED_12,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80); 239constraint set_in_reif(4,X_INTRODUCED_13,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81); 240constraint set_in_reif(4,X_INTRODUCED_14,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82); 241constraint set_in_reif(4,X_INTRODUCED_15,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83); 242constraint set_in_reif(4,X_INTRODUCED_16,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84); 243constraint set_in_reif(4,X_INTRODUCED_17,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85); 244constraint set_in_reif(4,X_INTRODUCED_18,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86); 245constraint set_in_reif(4,X_INTRODUCED_19,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87); 246constraint set_in_reif(4,X_INTRODUCED_20,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88); 247constraint set_in_reif(4,X_INTRODUCED_21,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89); 248constraint set_in_reif(5,X_INTRODUCED_11,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90); 249constraint set_in_reif(5,X_INTRODUCED_12,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91); 250constraint set_in_reif(5,X_INTRODUCED_13,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92); 251constraint set_in_reif(5,X_INTRODUCED_14,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93); 252constraint set_in_reif(5,X_INTRODUCED_15,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94); 253constraint set_in_reif(5,X_INTRODUCED_16,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95); 254constraint set_in_reif(5,X_INTRODUCED_17,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96); 255constraint set_in_reif(5,X_INTRODUCED_18,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97); 256constraint set_in_reif(5,X_INTRODUCED_19,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98); 257constraint set_in_reif(5,X_INTRODUCED_20,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 258constraint set_in_reif(5,X_INTRODUCED_21,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100); 259constraint set_in_reif(6,X_INTRODUCED_11,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101); 260constraint set_in_reif(6,X_INTRODUCED_12,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102); 261constraint set_in_reif(6,X_INTRODUCED_13,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103); 262constraint set_in_reif(6,X_INTRODUCED_14,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104); 263constraint set_in_reif(6,X_INTRODUCED_15,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105); 264constraint set_in_reif(6,X_INTRODUCED_16,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106); 265constraint set_in_reif(6,X_INTRODUCED_17,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107); 266constraint set_in_reif(6,X_INTRODUCED_18,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108); 267constraint set_in_reif(6,X_INTRODUCED_19,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109); 268constraint set_in_reif(6,X_INTRODUCED_20,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110); 269constraint set_in_reif(6,X_INTRODUCED_21,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111); 270constraint set_in_reif(7,X_INTRODUCED_11,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112); 271constraint set_in_reif(7,X_INTRODUCED_12,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113); 272constraint set_in_reif(7,X_INTRODUCED_13,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114); 273constraint set_in_reif(7,X_INTRODUCED_14,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115); 274constraint set_in_reif(7,X_INTRODUCED_15,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116); 275constraint set_in_reif(7,X_INTRODUCED_16,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117); 276constraint set_in_reif(7,X_INTRODUCED_17,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118); 277constraint set_in_reif(7,X_INTRODUCED_18,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 278constraint set_in_reif(7,X_INTRODUCED_19,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120); 279constraint set_in_reif(7,X_INTRODUCED_20,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121); 280constraint set_in_reif(7,X_INTRODUCED_21,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122); 281constraint set_in_reif(8,X_INTRODUCED_11,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123); 282constraint set_in_reif(8,X_INTRODUCED_12,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124); 283constraint set_in_reif(8,X_INTRODUCED_13,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125); 284constraint set_in_reif(8,X_INTRODUCED_14,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126); 285constraint set_in_reif(8,X_INTRODUCED_15,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127); 286constraint set_in_reif(8,X_INTRODUCED_16,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128); 287constraint set_in_reif(8,X_INTRODUCED_17,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129); 288constraint set_in_reif(8,X_INTRODUCED_18,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130); 289constraint set_in_reif(8,X_INTRODUCED_19,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131); 290constraint set_in_reif(8,X_INTRODUCED_20,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132); 291constraint set_in_reif(8,X_INTRODUCED_21,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133); 292constraint set_in_reif(9,X_INTRODUCED_11,X_INTRODUCED_134):: defines_var(X_INTRODUCED_134); 293constraint set_in_reif(9,X_INTRODUCED_12,X_INTRODUCED_135):: defines_var(X_INTRODUCED_135); 294constraint set_in_reif(9,X_INTRODUCED_13,X_INTRODUCED_136):: defines_var(X_INTRODUCED_136); 295constraint set_in_reif(9,X_INTRODUCED_14,X_INTRODUCED_137):: defines_var(X_INTRODUCED_137); 296constraint set_in_reif(9,X_INTRODUCED_15,X_INTRODUCED_138):: defines_var(X_INTRODUCED_138); 297constraint set_in_reif(9,X_INTRODUCED_16,X_INTRODUCED_139):: defines_var(X_INTRODUCED_139); 298constraint set_in_reif(9,X_INTRODUCED_17,X_INTRODUCED_140):: defines_var(X_INTRODUCED_140); 299constraint set_in_reif(9,X_INTRODUCED_18,X_INTRODUCED_141):: defines_var(X_INTRODUCED_141); 300constraint set_in_reif(9,X_INTRODUCED_19,X_INTRODUCED_142):: defines_var(X_INTRODUCED_142); 301constraint set_in_reif(9,X_INTRODUCED_20,X_INTRODUCED_143):: defines_var(X_INTRODUCED_143); 302constraint set_in_reif(9,X_INTRODUCED_21,X_INTRODUCED_144):: defines_var(X_INTRODUCED_144); 303constraint set_in_reif(10,X_INTRODUCED_11,X_INTRODUCED_145):: defines_var(X_INTRODUCED_145); 304constraint set_in_reif(10,X_INTRODUCED_12,X_INTRODUCED_146):: defines_var(X_INTRODUCED_146); 305constraint set_in_reif(10,X_INTRODUCED_13,X_INTRODUCED_147):: defines_var(X_INTRODUCED_147); 306constraint set_in_reif(10,X_INTRODUCED_14,X_INTRODUCED_148):: defines_var(X_INTRODUCED_148); 307constraint set_in_reif(10,X_INTRODUCED_15,X_INTRODUCED_149):: defines_var(X_INTRODUCED_149); 308constraint set_in_reif(10,X_INTRODUCED_16,X_INTRODUCED_150):: defines_var(X_INTRODUCED_150); 309constraint set_in_reif(10,X_INTRODUCED_17,X_INTRODUCED_151):: defines_var(X_INTRODUCED_151); 310constraint set_in_reif(10,X_INTRODUCED_18,X_INTRODUCED_152):: defines_var(X_INTRODUCED_152); 311constraint set_in_reif(10,X_INTRODUCED_19,X_INTRODUCED_153):: defines_var(X_INTRODUCED_153); 312constraint set_in_reif(10,X_INTRODUCED_20,X_INTRODUCED_154):: defines_var(X_INTRODUCED_154); 313constraint set_in_reif(10,X_INTRODUCED_21,X_INTRODUCED_155):: defines_var(X_INTRODUCED_155); 314constraint set_in_reif(11,X_INTRODUCED_11,X_INTRODUCED_156):: defines_var(X_INTRODUCED_156); 315constraint set_in_reif(11,X_INTRODUCED_12,X_INTRODUCED_157):: defines_var(X_INTRODUCED_157); 316constraint set_in_reif(11,X_INTRODUCED_13,X_INTRODUCED_158):: defines_var(X_INTRODUCED_158); 317constraint set_in_reif(11,X_INTRODUCED_14,X_INTRODUCED_159):: defines_var(X_INTRODUCED_159); 318constraint set_in_reif(11,X_INTRODUCED_15,X_INTRODUCED_160):: defines_var(X_INTRODUCED_160); 319constraint set_in_reif(11,X_INTRODUCED_16,X_INTRODUCED_161):: defines_var(X_INTRODUCED_161); 320constraint set_in_reif(11,X_INTRODUCED_17,X_INTRODUCED_162):: defines_var(X_INTRODUCED_162); 321constraint set_in_reif(11,X_INTRODUCED_18,X_INTRODUCED_163):: defines_var(X_INTRODUCED_163); 322constraint set_in_reif(11,X_INTRODUCED_19,X_INTRODUCED_164):: defines_var(X_INTRODUCED_164); 323constraint set_in_reif(11,X_INTRODUCED_20,X_INTRODUCED_165):: defines_var(X_INTRODUCED_165); 324constraint set_in_reif(11,X_INTRODUCED_21,X_INTRODUCED_166):: defines_var(X_INTRODUCED_166); 325constraint int_le(X_INTRODUCED_170,3); 326constraint int_le(X_INTRODUCED_171,3); 327constraint int_le(X_INTRODUCED_172,3); 328constraint int_le(X_INTRODUCED_173,3); 329constraint int_le(X_INTRODUCED_174,3); 330constraint int_le(X_INTRODUCED_175,3); 331constraint int_le(X_INTRODUCED_176,3); 332constraint int_le(X_INTRODUCED_177,3); 333constraint int_le(X_INTRODUCED_178,3); 334constraint int_le(X_INTRODUCED_179,3); 335constraint int_le(X_INTRODUCED_180,3); 336constraint int_eq_reif(X_INTRODUCED_0,1,X_INTRODUCED_46):: defines_var(X_INTRODUCED_46); 337constraint int_eq_reif(X_INTRODUCED_0,2,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47); 338constraint int_eq_reif(X_INTRODUCED_0,3,X_INTRODUCED_48):: defines_var(X_INTRODUCED_48); 339constraint int_eq_reif(X_INTRODUCED_0,4,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49); 340constraint int_eq_reif(X_INTRODUCED_0,5,X_INTRODUCED_50):: defines_var(X_INTRODUCED_50); 341constraint int_eq_reif(X_INTRODUCED_0,6,X_INTRODUCED_51):: defines_var(X_INTRODUCED_51); 342constraint int_eq_reif(X_INTRODUCED_0,7,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52); 343constraint int_eq_reif(X_INTRODUCED_0,8,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53); 344constraint int_eq_reif(X_INTRODUCED_0,9,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54); 345constraint int_eq_reif(X_INTRODUCED_0,10,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55); 346constraint int_eq_reif(X_INTRODUCED_0,11,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56); 347constraint int_eq_reif(X_INTRODUCED_1,1,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57); 348constraint int_eq_reif(X_INTRODUCED_1,2,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58); 349constraint int_eq_reif(X_INTRODUCED_1,3,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59); 350constraint int_eq_reif(X_INTRODUCED_1,4,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60); 351constraint int_eq_reif(X_INTRODUCED_1,5,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61); 352constraint int_eq_reif(X_INTRODUCED_1,6,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62); 353constraint int_eq_reif(X_INTRODUCED_1,7,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63); 354constraint int_eq_reif(X_INTRODUCED_1,8,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64); 355constraint int_eq_reif(X_INTRODUCED_1,9,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65); 356constraint int_eq_reif(X_INTRODUCED_1,10,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66); 357constraint int_eq_reif(X_INTRODUCED_1,11,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67); 358constraint int_eq_reif(X_INTRODUCED_2,1,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68); 359constraint int_eq_reif(X_INTRODUCED_2,2,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69); 360constraint int_eq_reif(X_INTRODUCED_2,3,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70); 361constraint int_eq_reif(X_INTRODUCED_2,4,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71); 362constraint int_eq_reif(X_INTRODUCED_2,5,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72); 363constraint int_eq_reif(X_INTRODUCED_2,6,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73); 364constraint int_eq_reif(X_INTRODUCED_2,7,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74); 365constraint int_eq_reif(X_INTRODUCED_2,8,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75); 366constraint int_eq_reif(X_INTRODUCED_2,9,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76); 367constraint int_eq_reif(X_INTRODUCED_2,10,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77); 368constraint int_eq_reif(X_INTRODUCED_2,11,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78); 369constraint int_eq_reif(X_INTRODUCED_3,1,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79); 370constraint int_eq_reif(X_INTRODUCED_3,2,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80); 371constraint int_eq_reif(X_INTRODUCED_3,3,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81); 372constraint int_eq_reif(X_INTRODUCED_3,4,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82); 373constraint int_eq_reif(X_INTRODUCED_3,5,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83); 374constraint int_eq_reif(X_INTRODUCED_3,6,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84); 375constraint int_eq_reif(X_INTRODUCED_3,7,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85); 376constraint int_eq_reif(X_INTRODUCED_3,8,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86); 377constraint int_eq_reif(X_INTRODUCED_3,9,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87); 378constraint int_eq_reif(X_INTRODUCED_3,10,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88); 379constraint int_eq_reif(X_INTRODUCED_3,11,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89); 380constraint int_eq_reif(X_INTRODUCED_4,1,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90); 381constraint int_eq_reif(X_INTRODUCED_4,2,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91); 382constraint int_eq_reif(X_INTRODUCED_4,3,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92); 383constraint int_eq_reif(X_INTRODUCED_4,4,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93); 384constraint int_eq_reif(X_INTRODUCED_4,5,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94); 385constraint int_eq_reif(X_INTRODUCED_4,6,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95); 386constraint int_eq_reif(X_INTRODUCED_4,7,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96); 387constraint int_eq_reif(X_INTRODUCED_4,8,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97); 388constraint int_eq_reif(X_INTRODUCED_4,9,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98); 389constraint int_eq_reif(X_INTRODUCED_4,10,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 390constraint int_eq_reif(X_INTRODUCED_4,11,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100); 391constraint int_eq_reif(X_INTRODUCED_5,1,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101); 392constraint int_eq_reif(X_INTRODUCED_5,2,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102); 393constraint int_eq_reif(X_INTRODUCED_5,3,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103); 394constraint int_eq_reif(X_INTRODUCED_5,4,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104); 395constraint int_eq_reif(X_INTRODUCED_5,5,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105); 396constraint int_eq_reif(X_INTRODUCED_5,6,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106); 397constraint int_eq_reif(X_INTRODUCED_5,7,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107); 398constraint int_eq_reif(X_INTRODUCED_5,8,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108); 399constraint int_eq_reif(X_INTRODUCED_5,9,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109); 400constraint int_eq_reif(X_INTRODUCED_5,10,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110); 401constraint int_eq_reif(X_INTRODUCED_5,11,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111); 402constraint int_eq_reif(X_INTRODUCED_6,1,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112); 403constraint int_eq_reif(X_INTRODUCED_6,2,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113); 404constraint int_eq_reif(X_INTRODUCED_6,3,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114); 405constraint int_eq_reif(X_INTRODUCED_6,4,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115); 406constraint int_eq_reif(X_INTRODUCED_6,5,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116); 407constraint int_eq_reif(X_INTRODUCED_6,6,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117); 408constraint int_eq_reif(X_INTRODUCED_6,7,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118); 409constraint int_eq_reif(X_INTRODUCED_6,8,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 410constraint int_eq_reif(X_INTRODUCED_6,9,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120); 411constraint int_eq_reif(X_INTRODUCED_6,10,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121); 412constraint int_eq_reif(X_INTRODUCED_6,11,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122); 413constraint int_eq_reif(X_INTRODUCED_7,1,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123); 414constraint int_eq_reif(X_INTRODUCED_7,2,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124); 415constraint int_eq_reif(X_INTRODUCED_7,3,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125); 416constraint int_eq_reif(X_INTRODUCED_7,4,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126); 417constraint int_eq_reif(X_INTRODUCED_7,5,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127); 418constraint int_eq_reif(X_INTRODUCED_7,6,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128); 419constraint int_eq_reif(X_INTRODUCED_7,7,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129); 420constraint int_eq_reif(X_INTRODUCED_7,8,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130); 421constraint int_eq_reif(X_INTRODUCED_7,9,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131); 422constraint int_eq_reif(X_INTRODUCED_7,10,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132); 423constraint int_eq_reif(X_INTRODUCED_7,11,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133); 424constraint int_eq_reif(X_INTRODUCED_8,1,X_INTRODUCED_134):: defines_var(X_INTRODUCED_134); 425constraint int_eq_reif(X_INTRODUCED_8,2,X_INTRODUCED_135):: defines_var(X_INTRODUCED_135); 426constraint int_eq_reif(X_INTRODUCED_8,3,X_INTRODUCED_136):: defines_var(X_INTRODUCED_136); 427constraint int_eq_reif(X_INTRODUCED_8,4,X_INTRODUCED_137):: defines_var(X_INTRODUCED_137); 428constraint int_eq_reif(X_INTRODUCED_8,5,X_INTRODUCED_138):: defines_var(X_INTRODUCED_138); 429constraint int_eq_reif(X_INTRODUCED_8,6,X_INTRODUCED_139):: defines_var(X_INTRODUCED_139); 430constraint int_eq_reif(X_INTRODUCED_8,7,X_INTRODUCED_140):: defines_var(X_INTRODUCED_140); 431constraint int_eq_reif(X_INTRODUCED_8,8,X_INTRODUCED_141):: defines_var(X_INTRODUCED_141); 432constraint int_eq_reif(X_INTRODUCED_8,9,X_INTRODUCED_142):: defines_var(X_INTRODUCED_142); 433constraint int_eq_reif(X_INTRODUCED_8,10,X_INTRODUCED_143):: defines_var(X_INTRODUCED_143); 434constraint int_eq_reif(X_INTRODUCED_8,11,X_INTRODUCED_144):: defines_var(X_INTRODUCED_144); 435constraint int_eq_reif(X_INTRODUCED_9,1,X_INTRODUCED_145):: defines_var(X_INTRODUCED_145); 436constraint int_eq_reif(X_INTRODUCED_9,2,X_INTRODUCED_146):: defines_var(X_INTRODUCED_146); 437constraint int_eq_reif(X_INTRODUCED_9,3,X_INTRODUCED_147):: defines_var(X_INTRODUCED_147); 438constraint int_eq_reif(X_INTRODUCED_9,4,X_INTRODUCED_148):: defines_var(X_INTRODUCED_148); 439constraint int_eq_reif(X_INTRODUCED_9,5,X_INTRODUCED_149):: defines_var(X_INTRODUCED_149); 440constraint int_eq_reif(X_INTRODUCED_9,6,X_INTRODUCED_150):: defines_var(X_INTRODUCED_150); 441constraint int_eq_reif(X_INTRODUCED_9,7,X_INTRODUCED_151):: defines_var(X_INTRODUCED_151); 442constraint int_eq_reif(X_INTRODUCED_9,8,X_INTRODUCED_152):: defines_var(X_INTRODUCED_152); 443constraint int_eq_reif(X_INTRODUCED_9,9,X_INTRODUCED_153):: defines_var(X_INTRODUCED_153); 444constraint int_eq_reif(X_INTRODUCED_9,10,X_INTRODUCED_154):: defines_var(X_INTRODUCED_154); 445constraint int_eq_reif(X_INTRODUCED_9,11,X_INTRODUCED_155):: defines_var(X_INTRODUCED_155); 446constraint int_eq_reif(X_INTRODUCED_10,1,X_INTRODUCED_156):: defines_var(X_INTRODUCED_156); 447constraint int_eq_reif(X_INTRODUCED_10,2,X_INTRODUCED_157):: defines_var(X_INTRODUCED_157); 448constraint int_eq_reif(X_INTRODUCED_10,3,X_INTRODUCED_158):: defines_var(X_INTRODUCED_158); 449constraint int_eq_reif(X_INTRODUCED_10,4,X_INTRODUCED_159):: defines_var(X_INTRODUCED_159); 450constraint int_eq_reif(X_INTRODUCED_10,5,X_INTRODUCED_160):: defines_var(X_INTRODUCED_160); 451constraint int_eq_reif(X_INTRODUCED_10,6,X_INTRODUCED_161):: defines_var(X_INTRODUCED_161); 452constraint int_eq_reif(X_INTRODUCED_10,7,X_INTRODUCED_162):: defines_var(X_INTRODUCED_162); 453constraint int_eq_reif(X_INTRODUCED_10,8,X_INTRODUCED_163):: defines_var(X_INTRODUCED_163); 454constraint int_eq_reif(X_INTRODUCED_10,9,X_INTRODUCED_164):: defines_var(X_INTRODUCED_164); 455constraint int_eq_reif(X_INTRODUCED_10,10,X_INTRODUCED_165):: defines_var(X_INTRODUCED_165); 456constraint int_eq_reif(X_INTRODUCED_10,11,X_INTRODUCED_166):: defines_var(X_INTRODUCED_166); 457constraint set_card(X_INTRODUCED_11,X_INTRODUCED_170):: defines_var(X_INTRODUCED_170); 458constraint set_card(X_INTRODUCED_12,X_INTRODUCED_171):: defines_var(X_INTRODUCED_171); 459constraint set_card(X_INTRODUCED_13,X_INTRODUCED_172):: defines_var(X_INTRODUCED_172); 460constraint set_card(X_INTRODUCED_14,X_INTRODUCED_173):: defines_var(X_INTRODUCED_173); 461constraint set_card(X_INTRODUCED_15,X_INTRODUCED_174):: defines_var(X_INTRODUCED_174); 462constraint set_card(X_INTRODUCED_16,X_INTRODUCED_175):: defines_var(X_INTRODUCED_175); 463constraint set_card(X_INTRODUCED_17,X_INTRODUCED_176):: defines_var(X_INTRODUCED_176); 464constraint set_card(X_INTRODUCED_18,X_INTRODUCED_177):: defines_var(X_INTRODUCED_177); 465constraint set_card(X_INTRODUCED_19,X_INTRODUCED_178):: defines_var(X_INTRODUCED_178); 466constraint set_card(X_INTRODUCED_20,X_INTRODUCED_179):: defines_var(X_INTRODUCED_179); 467constraint set_card(X_INTRODUCED_21,X_INTRODUCED_180):: defines_var(X_INTRODUCED_180); 468solve :: int_search(sessions,input_order,indomain_min,complete) minimize X_INTRODUCED_44; 469