dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / social-golfers.fzn
at develop 47 kB view raw
1predicate array_set_partition(array [int] of var set of int: S,set of int: universe); 2var set of 1..12: X_INTRODUCED_0; 3var set of 1..12: X_INTRODUCED_1; 4var set of 1..12: X_INTRODUCED_2; 5var set of 1..12: X_INTRODUCED_3; 6var set of 1..12: X_INTRODUCED_4; 7var set of 1..12: X_INTRODUCED_5; 8var set of 1..12: X_INTRODUCED_6; 9var set of 1..12: X_INTRODUCED_7; 10var set of 1..12: X_INTRODUCED_8; 11var set of 1..12: X_INTRODUCED_9; 12var set of 1..12: X_INTRODUCED_10; 13var set of 1..12: X_INTRODUCED_11; 14var set of 1..12: X_INTRODUCED_12; 15var set of 1..12: X_INTRODUCED_13; 16var set of 1..12: X_INTRODUCED_14; 17var set of 1..12: X_INTRODUCED_15; 18var set of 1..12: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var; 19var 0..1: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var; 20var set of 1..12: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var; 21var 0..1: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var; 22var set of 1..12: X_INTRODUCED_20 ::var_is_introduced :: is_defined_var; 23var 0..1: X_INTRODUCED_21 ::var_is_introduced :: is_defined_var; 24var set of 1..12: X_INTRODUCED_22 ::var_is_introduced :: is_defined_var; 25var 0..1: X_INTRODUCED_23 ::var_is_introduced :: is_defined_var; 26var set of 1..12: X_INTRODUCED_24 ::var_is_introduced :: is_defined_var; 27var 0..1: X_INTRODUCED_25 ::var_is_introduced :: is_defined_var; 28var set of 1..12: X_INTRODUCED_26 ::var_is_introduced :: is_defined_var; 29var 0..1: X_INTRODUCED_27 ::var_is_introduced :: is_defined_var; 30var set of 1..12: X_INTRODUCED_28 ::var_is_introduced :: is_defined_var; 31var 0..1: X_INTRODUCED_29 ::var_is_introduced :: is_defined_var; 32var set of 1..12: X_INTRODUCED_30 ::var_is_introduced :: is_defined_var; 33var 0..1: X_INTRODUCED_31 ::var_is_introduced :: is_defined_var; 34var set of 1..12: X_INTRODUCED_32 ::var_is_introduced :: is_defined_var; 35var 0..1: X_INTRODUCED_33 ::var_is_introduced :: is_defined_var; 36var set of 1..12: X_INTRODUCED_34 ::var_is_introduced :: is_defined_var; 37var 0..1: X_INTRODUCED_35 ::var_is_introduced :: is_defined_var; 38var set of 1..12: X_INTRODUCED_36 ::var_is_introduced :: is_defined_var; 39var 0..1: X_INTRODUCED_37 ::var_is_introduced :: is_defined_var; 40var set of 1..12: X_INTRODUCED_38 ::var_is_introduced :: is_defined_var; 41var 0..1: X_INTRODUCED_39 ::var_is_introduced :: is_defined_var; 42var set of 1..12: X_INTRODUCED_40 ::var_is_introduced :: is_defined_var; 43var 0..1: X_INTRODUCED_41 ::var_is_introduced :: is_defined_var; 44var set of 1..12: X_INTRODUCED_42 ::var_is_introduced :: is_defined_var; 45var 0..1: X_INTRODUCED_43 ::var_is_introduced :: is_defined_var; 46var set of 1..12: X_INTRODUCED_44 ::var_is_introduced :: is_defined_var; 47var 0..1: X_INTRODUCED_45 ::var_is_introduced :: is_defined_var; 48var set of 1..12: X_INTRODUCED_46 ::var_is_introduced :: is_defined_var; 49var 0..1: X_INTRODUCED_47 ::var_is_introduced :: is_defined_var; 50var set of 1..12: X_INTRODUCED_48 ::var_is_introduced :: is_defined_var; 51var 0..1: X_INTRODUCED_49 ::var_is_introduced :: is_defined_var; 52var set of 1..12: X_INTRODUCED_50 ::var_is_introduced :: is_defined_var; 53var 0..1: X_INTRODUCED_51 ::var_is_introduced :: is_defined_var; 54var set of 1..12: X_INTRODUCED_52 ::var_is_introduced :: is_defined_var; 55var 0..1: X_INTRODUCED_53 ::var_is_introduced :: is_defined_var; 56var set of 1..12: X_INTRODUCED_54 ::var_is_introduced :: is_defined_var; 57var 0..1: X_INTRODUCED_55 ::var_is_introduced :: is_defined_var; 58var set of 1..12: X_INTRODUCED_56 ::var_is_introduced :: is_defined_var; 59var 0..1: X_INTRODUCED_57 ::var_is_introduced :: is_defined_var; 60var set of 1..12: X_INTRODUCED_58 ::var_is_introduced :: is_defined_var; 61var 0..1: X_INTRODUCED_59 ::var_is_introduced :: is_defined_var; 62var set of 1..12: X_INTRODUCED_60 ::var_is_introduced :: is_defined_var; 63var 0..1: X_INTRODUCED_61 ::var_is_introduced :: is_defined_var; 64var set of 1..12: X_INTRODUCED_62 ::var_is_introduced :: is_defined_var; 65var 0..1: X_INTRODUCED_63 ::var_is_introduced :: is_defined_var; 66var set of 1..12: X_INTRODUCED_64 ::var_is_introduced :: is_defined_var; 67var 0..1: X_INTRODUCED_65 ::var_is_introduced :: is_defined_var; 68var set of 1..12: X_INTRODUCED_66 ::var_is_introduced :: is_defined_var; 69var 0..1: X_INTRODUCED_67 ::var_is_introduced :: is_defined_var; 70var set of 1..12: X_INTRODUCED_68 ::var_is_introduced :: is_defined_var; 71var 0..1: X_INTRODUCED_69 ::var_is_introduced :: is_defined_var; 72var set of 1..12: X_INTRODUCED_70 ::var_is_introduced :: is_defined_var; 73var 0..1: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var; 74var set of 1..12: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var; 75var 0..1: X_INTRODUCED_73 ::var_is_introduced :: is_defined_var; 76var set of 1..12: X_INTRODUCED_74 ::var_is_introduced :: is_defined_var; 77var 0..1: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var; 78var set of 1..12: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var; 79var 0..1: X_INTRODUCED_77 ::var_is_introduced :: is_defined_var; 80var set of 1..12: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var; 81var 0..1: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var; 82var set of 1..12: X_INTRODUCED_80 ::var_is_introduced :: is_defined_var; 83var 0..1: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var; 84var set of 1..12: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var; 85var 0..1: X_INTRODUCED_83 ::var_is_introduced :: is_defined_var; 86var set of 1..12: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var; 87var 0..1: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var; 88var set of 1..12: X_INTRODUCED_86 ::var_is_introduced :: is_defined_var; 89var 0..1: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var; 90var set of 1..12: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var; 91var 0..1: X_INTRODUCED_89 ::var_is_introduced :: is_defined_var; 92var set of 1..12: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var; 93var 0..1: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var; 94var set of 1..12: X_INTRODUCED_92 ::var_is_introduced :: is_defined_var; 95var 0..1: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var; 96var set of 1..12: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var; 97var 0..1: X_INTRODUCED_95 ::var_is_introduced :: is_defined_var; 98var set of 1..12: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var; 99var 0..1: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var; 100var set of 1..12: X_INTRODUCED_98 ::var_is_introduced :: is_defined_var; 101var 0..1: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var; 102var set of 1..12: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var; 103var 0..1: X_INTRODUCED_101 ::var_is_introduced :: is_defined_var; 104var set of 1..12: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var; 105var 0..1: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var; 106var set of 1..12: X_INTRODUCED_104 ::var_is_introduced :: is_defined_var; 107var 0..1: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var; 108var set of 1..12: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var; 109var 0..1: X_INTRODUCED_107 ::var_is_introduced :: is_defined_var; 110var set of 1..12: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var; 111var 0..1: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var; 112var set of 1..12: X_INTRODUCED_110 ::var_is_introduced :: is_defined_var; 113var 0..1: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var; 114var set of 1..12: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var; 115var 0..1: X_INTRODUCED_113 ::var_is_introduced :: is_defined_var; 116var set of 1..12: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var; 117var 0..1: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var; 118var set of 1..12: X_INTRODUCED_116 ::var_is_introduced :: is_defined_var; 119var 0..1: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var; 120var set of 1..12: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var; 121var 0..1: X_INTRODUCED_119 ::var_is_introduced :: is_defined_var; 122var set of 1..12: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var; 123var 0..1: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var; 124var set of 1..12: X_INTRODUCED_122 ::var_is_introduced :: is_defined_var; 125var 0..1: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var; 126var set of 1..12: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var; 127var 0..1: X_INTRODUCED_125 ::var_is_introduced :: is_defined_var; 128var set of 1..12: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var; 129var 0..1: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var; 130var set of 1..12: X_INTRODUCED_128 ::var_is_introduced :: is_defined_var; 131var 0..1: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var; 132var set of 1..12: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var; 133var 0..1: X_INTRODUCED_131 ::var_is_introduced :: is_defined_var; 134var set of 1..12: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var; 135var 0..1: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var; 136var set of 1..12: X_INTRODUCED_134 ::var_is_introduced :: is_defined_var; 137var 0..1: X_INTRODUCED_135 ::var_is_introduced :: is_defined_var; 138var set of 1..12: X_INTRODUCED_136 ::var_is_introduced :: is_defined_var; 139var 0..1: X_INTRODUCED_137 ::var_is_introduced :: is_defined_var; 140var set of 1..12: X_INTRODUCED_138 ::var_is_introduced :: is_defined_var; 141var 0..1: X_INTRODUCED_139 ::var_is_introduced :: is_defined_var; 142var set of 1..12: X_INTRODUCED_140 ::var_is_introduced :: is_defined_var; 143var 0..1: X_INTRODUCED_141 ::var_is_introduced :: is_defined_var; 144var set of 1..12: X_INTRODUCED_142 ::var_is_introduced :: is_defined_var; 145var 0..1: X_INTRODUCED_143 ::var_is_introduced :: is_defined_var; 146var set of 1..12: X_INTRODUCED_144 ::var_is_introduced :: is_defined_var; 147var 0..1: X_INTRODUCED_145 ::var_is_introduced :: is_defined_var; 148var set of 1..12: X_INTRODUCED_146 ::var_is_introduced :: is_defined_var; 149var 0..1: X_INTRODUCED_147 ::var_is_introduced :: is_defined_var; 150var set of 1..12: X_INTRODUCED_148 ::var_is_introduced :: is_defined_var; 151var 0..1: X_INTRODUCED_149 ::var_is_introduced :: is_defined_var; 152var set of 1..12: X_INTRODUCED_150 ::var_is_introduced :: is_defined_var; 153var 0..1: X_INTRODUCED_151 ::var_is_introduced :: is_defined_var; 154var set of 1..12: X_INTRODUCED_152 ::var_is_introduced :: is_defined_var; 155var 0..1: X_INTRODUCED_153 ::var_is_introduced :: is_defined_var; 156var set of 1..12: X_INTRODUCED_154 ::var_is_introduced :: is_defined_var; 157var 0..1: X_INTRODUCED_155 ::var_is_introduced :: is_defined_var; 158var set of 1..12: X_INTRODUCED_156 ::var_is_introduced :: is_defined_var; 159var 0..1: X_INTRODUCED_157 ::var_is_introduced :: is_defined_var; 160var set of 1..12: X_INTRODUCED_158 ::var_is_introduced :: is_defined_var; 161var 0..1: X_INTRODUCED_159 ::var_is_introduced :: is_defined_var; 162var set of 1..12: X_INTRODUCED_160 ::var_is_introduced :: is_defined_var; 163var 0..1: X_INTRODUCED_161 ::var_is_introduced :: is_defined_var; 164var set of 1..12: X_INTRODUCED_162 ::var_is_introduced :: is_defined_var; 165var 0..1: X_INTRODUCED_163 ::var_is_introduced :: is_defined_var; 166var set of 1..12: X_INTRODUCED_164 ::var_is_introduced :: is_defined_var; 167var 0..1: X_INTRODUCED_165 ::var_is_introduced :: is_defined_var; 168var set of 1..12: X_INTRODUCED_166 ::var_is_introduced :: is_defined_var; 169var 0..1: X_INTRODUCED_167 ::var_is_introduced :: is_defined_var; 170var set of 1..12: X_INTRODUCED_168 ::var_is_introduced :: is_defined_var; 171var 0..1: X_INTRODUCED_169 ::var_is_introduced :: is_defined_var; 172var set of 1..12: X_INTRODUCED_170 ::var_is_introduced :: is_defined_var; 173var 0..1: X_INTRODUCED_171 ::var_is_introduced :: is_defined_var; 174var set of 1..12: X_INTRODUCED_172 ::var_is_introduced :: is_defined_var; 175var 0..1: X_INTRODUCED_173 ::var_is_introduced :: is_defined_var; 176var set of 1..12: X_INTRODUCED_174 ::var_is_introduced :: is_defined_var; 177var 0..1: X_INTRODUCED_175 ::var_is_introduced :: is_defined_var; 178var set of 1..12: X_INTRODUCED_176 ::var_is_introduced :: is_defined_var; 179var 0..1: X_INTRODUCED_177 ::var_is_introduced :: is_defined_var; 180var set of 1..12: X_INTRODUCED_178 ::var_is_introduced :: is_defined_var; 181var 0..1: X_INTRODUCED_179 ::var_is_introduced :: is_defined_var; 182var set of 1..12: X_INTRODUCED_180 ::var_is_introduced :: is_defined_var; 183var 0..1: X_INTRODUCED_181 ::var_is_introduced :: is_defined_var; 184var set of 1..12: X_INTRODUCED_182 ::var_is_introduced :: is_defined_var; 185var 0..1: X_INTRODUCED_183 ::var_is_introduced :: is_defined_var; 186var set of 1..12: X_INTRODUCED_184 ::var_is_introduced :: is_defined_var; 187var 0..1: X_INTRODUCED_185 ::var_is_introduced :: is_defined_var; 188var set of 1..12: X_INTRODUCED_186 ::var_is_introduced :: is_defined_var; 189var 0..1: X_INTRODUCED_187 ::var_is_introduced :: is_defined_var; 190var set of 1..12: X_INTRODUCED_188 ::var_is_introduced :: is_defined_var; 191var 0..1: X_INTRODUCED_189 ::var_is_introduced :: is_defined_var; 192var set of 1..12: X_INTRODUCED_190 ::var_is_introduced :: is_defined_var; 193var 0..1: X_INTRODUCED_191 ::var_is_introduced :: is_defined_var; 194var set of 1..12: X_INTRODUCED_192 ::var_is_introduced :: is_defined_var; 195var 0..1: X_INTRODUCED_193 ::var_is_introduced :: is_defined_var; 196var set of 1..12: X_INTRODUCED_194 ::var_is_introduced :: is_defined_var; 197var 0..1: X_INTRODUCED_195 ::var_is_introduced :: is_defined_var; 198var set of 1..12: X_INTRODUCED_196 ::var_is_introduced :: is_defined_var; 199var 0..1: X_INTRODUCED_197 ::var_is_introduced :: is_defined_var; 200var set of 1..12: X_INTRODUCED_198 ::var_is_introduced :: is_defined_var; 201var 0..1: X_INTRODUCED_199 ::var_is_introduced :: is_defined_var; 202var set of 1..12: X_INTRODUCED_200 ::var_is_introduced :: is_defined_var; 203var 0..1: X_INTRODUCED_201 ::var_is_introduced :: is_defined_var; 204var set of 1..12: X_INTRODUCED_202 ::var_is_introduced :: is_defined_var; 205var 0..1: X_INTRODUCED_203 ::var_is_introduced :: is_defined_var; 206var set of 1..12: X_INTRODUCED_204 ::var_is_introduced :: is_defined_var; 207var 0..1: X_INTRODUCED_205 ::var_is_introduced :: is_defined_var; 208var set of 1..12: X_INTRODUCED_206 ::var_is_introduced :: is_defined_var; 209var 0..1: X_INTRODUCED_207 ::var_is_introduced :: is_defined_var; 210var set of 1..12: X_INTRODUCED_212 ::var_is_introduced :: is_defined_var; 211var set of 1..12: X_INTRODUCED_213 ::var_is_introduced :: is_defined_var; 212var set of 1..12: X_INTRODUCED_214 ::var_is_introduced :: is_defined_var; 213var 0..12: X_INTRODUCED_215 ::var_is_introduced :: is_defined_var; 214var set of 1..12: X_INTRODUCED_216 ::var_is_introduced :: is_defined_var; 215var set of 1..12: X_INTRODUCED_217 ::var_is_introduced :: is_defined_var; 216var 0..12: X_INTRODUCED_218 ::var_is_introduced :: is_defined_var; 217var set of 1..12: X_INTRODUCED_219 ::var_is_introduced :: is_defined_var; 218var 0..12: X_INTRODUCED_220 ::var_is_introduced :: is_defined_var; 219var 0..12: X_INTRODUCED_221 ::var_is_introduced :: is_defined_var; 220var set of 1..12: X_INTRODUCED_222 ::var_is_introduced :: is_defined_var; 221var set of 1..12: X_INTRODUCED_223 ::var_is_introduced :: is_defined_var; 222var set of 1..12: X_INTRODUCED_224 ::var_is_introduced :: is_defined_var; 223var 0..12: X_INTRODUCED_225 ::var_is_introduced :: is_defined_var; 224var set of 1..12: X_INTRODUCED_226 ::var_is_introduced :: is_defined_var; 225var set of 1..12: X_INTRODUCED_227 ::var_is_introduced :: is_defined_var; 226var 0..12: X_INTRODUCED_228 ::var_is_introduced :: is_defined_var; 227var set of 1..12: X_INTRODUCED_229 ::var_is_introduced :: is_defined_var; 228var 0..12: X_INTRODUCED_230 ::var_is_introduced :: is_defined_var; 229var 0..12: X_INTRODUCED_231 ::var_is_introduced :: is_defined_var; 230var set of 1..12: X_INTRODUCED_232 ::var_is_introduced :: is_defined_var; 231var set of 1..12: X_INTRODUCED_233 ::var_is_introduced :: is_defined_var; 232var set of 1..12: X_INTRODUCED_234 ::var_is_introduced :: is_defined_var; 233var 0..12: X_INTRODUCED_235 ::var_is_introduced :: is_defined_var; 234var set of 1..12: X_INTRODUCED_236 ::var_is_introduced :: is_defined_var; 235var set of 1..12: X_INTRODUCED_237 ::var_is_introduced :: is_defined_var; 236var 0..12: X_INTRODUCED_238 ::var_is_introduced :: is_defined_var; 237var set of 1..12: X_INTRODUCED_239 ::var_is_introduced :: is_defined_var; 238var 0..12: X_INTRODUCED_240 ::var_is_introduced :: is_defined_var; 239var 0..12: X_INTRODUCED_241 ::var_is_introduced :: is_defined_var; 240var set of 1..12: X_INTRODUCED_242 ::var_is_introduced :: is_defined_var; 241var set of 1..12: X_INTRODUCED_243 ::var_is_introduced :: is_defined_var; 242var set of 1..12: X_INTRODUCED_244 ::var_is_introduced :: is_defined_var; 243var 0..12: X_INTRODUCED_245 ::var_is_introduced :: is_defined_var; 244var set of 1..12: X_INTRODUCED_246 ::var_is_introduced :: is_defined_var; 245var set of 1..12: X_INTRODUCED_247 ::var_is_introduced :: is_defined_var; 246var 0..12: X_INTRODUCED_248 ::var_is_introduced :: is_defined_var; 247var set of 1..12: X_INTRODUCED_249 ::var_is_introduced :: is_defined_var; 248var 0..12: X_INTRODUCED_250 ::var_is_introduced :: is_defined_var; 249var 0..12: X_INTRODUCED_251 ::var_is_introduced :: is_defined_var; 250array [1..16] of var set of int: Sched:: output_array([1..4,1..4]) = [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]; 251array [1..4] of var set of int: X_INTRODUCED_208 ::var_is_introduced = [X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3]; 252array [1..4] of var set of int: X_INTRODUCED_209 ::var_is_introduced = [X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_7]; 253array [1..4] of var set of int: X_INTRODUCED_210 ::var_is_introduced = [X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_11]; 254array [1..4] of var set of int: X_INTRODUCED_211 ::var_is_introduced = [X_INTRODUCED_12,X_INTRODUCED_13,X_INTRODUCED_14,X_INTRODUCED_15]; 255constraint int_le(X_INTRODUCED_17,1); 256constraint int_le(X_INTRODUCED_19,1); 257constraint int_le(X_INTRODUCED_21,1); 258constraint int_le(X_INTRODUCED_23,1); 259constraint int_le(X_INTRODUCED_25,1); 260constraint int_le(X_INTRODUCED_27,1); 261constraint int_le(X_INTRODUCED_29,1); 262constraint int_le(X_INTRODUCED_31,1); 263constraint int_le(X_INTRODUCED_33,1); 264constraint int_le(X_INTRODUCED_35,1); 265constraint int_le(X_INTRODUCED_37,1); 266constraint int_le(X_INTRODUCED_39,1); 267constraint int_le(X_INTRODUCED_41,1); 268constraint int_le(X_INTRODUCED_43,1); 269constraint int_le(X_INTRODUCED_45,1); 270constraint int_le(X_INTRODUCED_47,1); 271constraint int_le(X_INTRODUCED_49,1); 272constraint int_le(X_INTRODUCED_51,1); 273constraint int_le(X_INTRODUCED_53,1); 274constraint int_le(X_INTRODUCED_55,1); 275constraint int_le(X_INTRODUCED_57,1); 276constraint int_le(X_INTRODUCED_59,1); 277constraint int_le(X_INTRODUCED_61,1); 278constraint int_le(X_INTRODUCED_63,1); 279constraint int_le(X_INTRODUCED_65,1); 280constraint int_le(X_INTRODUCED_67,1); 281constraint int_le(X_INTRODUCED_69,1); 282constraint int_le(X_INTRODUCED_71,1); 283constraint int_le(X_INTRODUCED_73,1); 284constraint int_le(X_INTRODUCED_75,1); 285constraint int_le(X_INTRODUCED_77,1); 286constraint int_le(X_INTRODUCED_79,1); 287constraint int_le(X_INTRODUCED_81,1); 288constraint int_le(X_INTRODUCED_83,1); 289constraint int_le(X_INTRODUCED_85,1); 290constraint int_le(X_INTRODUCED_87,1); 291constraint int_le(X_INTRODUCED_89,1); 292constraint int_le(X_INTRODUCED_91,1); 293constraint int_le(X_INTRODUCED_93,1); 294constraint int_le(X_INTRODUCED_95,1); 295constraint int_le(X_INTRODUCED_97,1); 296constraint int_le(X_INTRODUCED_99,1); 297constraint int_le(X_INTRODUCED_101,1); 298constraint int_le(X_INTRODUCED_103,1); 299constraint int_le(X_INTRODUCED_105,1); 300constraint int_le(X_INTRODUCED_107,1); 301constraint int_le(X_INTRODUCED_109,1); 302constraint int_le(X_INTRODUCED_111,1); 303constraint int_le(X_INTRODUCED_113,1); 304constraint int_le(X_INTRODUCED_115,1); 305constraint int_le(X_INTRODUCED_117,1); 306constraint int_le(X_INTRODUCED_119,1); 307constraint int_le(X_INTRODUCED_121,1); 308constraint int_le(X_INTRODUCED_123,1); 309constraint int_le(X_INTRODUCED_125,1); 310constraint int_le(X_INTRODUCED_127,1); 311constraint int_le(X_INTRODUCED_129,1); 312constraint int_le(X_INTRODUCED_131,1); 313constraint int_le(X_INTRODUCED_133,1); 314constraint int_le(X_INTRODUCED_135,1); 315constraint int_le(X_INTRODUCED_137,1); 316constraint int_le(X_INTRODUCED_139,1); 317constraint int_le(X_INTRODUCED_141,1); 318constraint int_le(X_INTRODUCED_143,1); 319constraint int_le(X_INTRODUCED_145,1); 320constraint int_le(X_INTRODUCED_147,1); 321constraint int_le(X_INTRODUCED_149,1); 322constraint int_le(X_INTRODUCED_151,1); 323constraint int_le(X_INTRODUCED_153,1); 324constraint int_le(X_INTRODUCED_155,1); 325constraint int_le(X_INTRODUCED_157,1); 326constraint int_le(X_INTRODUCED_159,1); 327constraint int_le(X_INTRODUCED_161,1); 328constraint int_le(X_INTRODUCED_163,1); 329constraint int_le(X_INTRODUCED_165,1); 330constraint int_le(X_INTRODUCED_167,1); 331constraint int_le(X_INTRODUCED_169,1); 332constraint int_le(X_INTRODUCED_171,1); 333constraint int_le(X_INTRODUCED_173,1); 334constraint int_le(X_INTRODUCED_175,1); 335constraint int_le(X_INTRODUCED_177,1); 336constraint int_le(X_INTRODUCED_179,1); 337constraint int_le(X_INTRODUCED_181,1); 338constraint int_le(X_INTRODUCED_183,1); 339constraint int_le(X_INTRODUCED_185,1); 340constraint int_le(X_INTRODUCED_187,1); 341constraint int_le(X_INTRODUCED_189,1); 342constraint int_le(X_INTRODUCED_191,1); 343constraint int_le(X_INTRODUCED_193,1); 344constraint int_le(X_INTRODUCED_195,1); 345constraint int_le(X_INTRODUCED_197,1); 346constraint int_le(X_INTRODUCED_199,1); 347constraint int_le(X_INTRODUCED_201,1); 348constraint int_le(X_INTRODUCED_203,1); 349constraint int_le(X_INTRODUCED_205,1); 350constraint int_le(X_INTRODUCED_207,1); 351constraint array_set_partition(X_INTRODUCED_208,1..12); 352constraint array_set_partition(X_INTRODUCED_209,1..12); 353constraint array_set_partition(X_INTRODUCED_210,1..12); 354constraint array_set_partition(X_INTRODUCED_211,1..12); 355constraint set_eq(X_INTRODUCED_212,1..0); 356constraint set_eq(X_INTRODUCED_213,1..0); 357constraint set_eq(X_INTRODUCED_214,1..0); 358constraint int_eq(X_INTRODUCED_215,3); 359constraint set_eq(X_INTRODUCED_216,1..0); 360constraint set_eq(X_INTRODUCED_217,1..0); 361constraint int_eq(X_INTRODUCED_218,3); 362constraint set_eq(X_INTRODUCED_219,1..0); 363constraint int_eq(X_INTRODUCED_220,3); 364constraint int_eq(X_INTRODUCED_221,3); 365constraint set_eq(X_INTRODUCED_222,1..0); 366constraint set_eq(X_INTRODUCED_223,1..0); 367constraint set_eq(X_INTRODUCED_224,1..0); 368constraint int_eq(X_INTRODUCED_225,3); 369constraint set_eq(X_INTRODUCED_226,1..0); 370constraint set_eq(X_INTRODUCED_227,1..0); 371constraint int_eq(X_INTRODUCED_228,3); 372constraint set_eq(X_INTRODUCED_229,1..0); 373constraint int_eq(X_INTRODUCED_230,3); 374constraint int_eq(X_INTRODUCED_231,3); 375constraint set_eq(X_INTRODUCED_232,1..0); 376constraint set_eq(X_INTRODUCED_233,1..0); 377constraint set_eq(X_INTRODUCED_234,1..0); 378constraint int_eq(X_INTRODUCED_235,3); 379constraint set_eq(X_INTRODUCED_236,1..0); 380constraint set_eq(X_INTRODUCED_237,1..0); 381constraint int_eq(X_INTRODUCED_238,3); 382constraint set_eq(X_INTRODUCED_239,1..0); 383constraint int_eq(X_INTRODUCED_240,3); 384constraint int_eq(X_INTRODUCED_241,3); 385constraint set_eq(X_INTRODUCED_242,1..0); 386constraint set_eq(X_INTRODUCED_243,1..0); 387constraint set_eq(X_INTRODUCED_244,1..0); 388constraint int_eq(X_INTRODUCED_245,3); 389constraint set_eq(X_INTRODUCED_246,1..0); 390constraint set_eq(X_INTRODUCED_247,1..0); 391constraint int_eq(X_INTRODUCED_248,3); 392constraint set_eq(X_INTRODUCED_249,1..0); 393constraint int_eq(X_INTRODUCED_250,3); 394constraint int_eq(X_INTRODUCED_251,3); 395constraint set_lt(X_INTRODUCED_0,X_INTRODUCED_4); 396%constraint set_lt(X_INTRODUCED_4,X_INTRODUCED_8); 397%constraint set_lt(X_INTRODUCED_8,X_INTRODUCED_12); 398constraint set_in(1,X_INTRODUCED_4); 399constraint set_in(2,X_INTRODUCED_5); 400constraint set_in(3,X_INTRODUCED_6); 401constraint set_in(1,X_INTRODUCED_8); 402constraint set_in(2,X_INTRODUCED_9); 403constraint set_in(3,X_INTRODUCED_10); 404constraint set_in(1,X_INTRODUCED_12); 405constraint set_in(2,X_INTRODUCED_13); 406constraint set_in(3,X_INTRODUCED_14); 407constraint set_in(4,X_INTRODUCED_4); 408constraint set_in(7,X_INTRODUCED_4); 409constraint set_in(1,X_INTRODUCED_0); 410constraint set_in(2,X_INTRODUCED_0); 411constraint set_in(3,X_INTRODUCED_0); 412constraint set_in(4,X_INTRODUCED_1); 413constraint set_in(5,X_INTRODUCED_1); 414constraint set_in(6,X_INTRODUCED_1); 415constraint set_in(7,X_INTRODUCED_2); 416constraint set_in(8,X_INTRODUCED_2); 417constraint set_in(9,X_INTRODUCED_2); 418constraint set_in(10,X_INTRODUCED_3); 419constraint set_in(11,X_INTRODUCED_3); 420constraint set_in(12,X_INTRODUCED_3); 421constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_4,X_INTRODUCED_16):: defines_var(X_INTRODUCED_16); 422constraint set_card(X_INTRODUCED_16,X_INTRODUCED_17):: defines_var(X_INTRODUCED_17); 423constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_5,X_INTRODUCED_18):: defines_var(X_INTRODUCED_18); 424constraint set_card(X_INTRODUCED_18,X_INTRODUCED_19):: defines_var(X_INTRODUCED_19); 425constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_6,X_INTRODUCED_20):: defines_var(X_INTRODUCED_20); 426constraint set_card(X_INTRODUCED_20,X_INTRODUCED_21):: defines_var(X_INTRODUCED_21); 427constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_7,X_INTRODUCED_22):: defines_var(X_INTRODUCED_22); 428constraint set_card(X_INTRODUCED_22,X_INTRODUCED_23):: defines_var(X_INTRODUCED_23); 429constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_24):: defines_var(X_INTRODUCED_24); 430constraint set_card(X_INTRODUCED_24,X_INTRODUCED_25):: defines_var(X_INTRODUCED_25); 431constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_26):: defines_var(X_INTRODUCED_26); 432constraint set_card(X_INTRODUCED_26,X_INTRODUCED_27):: defines_var(X_INTRODUCED_27); 433constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_28):: defines_var(X_INTRODUCED_28); 434constraint set_card(X_INTRODUCED_28,X_INTRODUCED_29):: defines_var(X_INTRODUCED_29); 435constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_30):: defines_var(X_INTRODUCED_30); 436constraint set_card(X_INTRODUCED_30,X_INTRODUCED_31):: defines_var(X_INTRODUCED_31); 437constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_32):: defines_var(X_INTRODUCED_32); 438constraint set_card(X_INTRODUCED_32,X_INTRODUCED_33):: defines_var(X_INTRODUCED_33); 439constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_34):: defines_var(X_INTRODUCED_34); 440constraint set_card(X_INTRODUCED_34,X_INTRODUCED_35):: defines_var(X_INTRODUCED_35); 441constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_36):: defines_var(X_INTRODUCED_36); 442constraint set_card(X_INTRODUCED_36,X_INTRODUCED_37):: defines_var(X_INTRODUCED_37); 443constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_38):: defines_var(X_INTRODUCED_38); 444constraint set_card(X_INTRODUCED_38,X_INTRODUCED_39):: defines_var(X_INTRODUCED_39); 445constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_40):: defines_var(X_INTRODUCED_40); 446constraint set_card(X_INTRODUCED_40,X_INTRODUCED_41):: defines_var(X_INTRODUCED_41); 447constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_42):: defines_var(X_INTRODUCED_42); 448constraint set_card(X_INTRODUCED_42,X_INTRODUCED_43):: defines_var(X_INTRODUCED_43); 449constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_44):: defines_var(X_INTRODUCED_44); 450constraint set_card(X_INTRODUCED_44,X_INTRODUCED_45):: defines_var(X_INTRODUCED_45); 451constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_46):: defines_var(X_INTRODUCED_46); 452constraint set_card(X_INTRODUCED_46,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47); 453constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_8,X_INTRODUCED_48):: defines_var(X_INTRODUCED_48); 454constraint set_card(X_INTRODUCED_48,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49); 455constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_9,X_INTRODUCED_50):: defines_var(X_INTRODUCED_50); 456constraint set_card(X_INTRODUCED_50,X_INTRODUCED_51):: defines_var(X_INTRODUCED_51); 457constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_10,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52); 458constraint set_card(X_INTRODUCED_52,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53); 459constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_11,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54); 460constraint set_card(X_INTRODUCED_54,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55); 461constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_8,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56); 462constraint set_card(X_INTRODUCED_56,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57); 463constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_9,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58); 464constraint set_card(X_INTRODUCED_58,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59); 465constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_10,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60); 466constraint set_card(X_INTRODUCED_60,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61); 467constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_11,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62); 468constraint set_card(X_INTRODUCED_62,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63); 469constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_8,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64); 470constraint set_card(X_INTRODUCED_64,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65); 471constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_9,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66); 472constraint set_card(X_INTRODUCED_66,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67); 473constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_10,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68); 474constraint set_card(X_INTRODUCED_68,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69); 475constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_11,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70); 476constraint set_card(X_INTRODUCED_70,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71); 477constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_8,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72); 478constraint set_card(X_INTRODUCED_72,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73); 479constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_9,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74); 480constraint set_card(X_INTRODUCED_74,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75); 481constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_10,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76); 482constraint set_card(X_INTRODUCED_76,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77); 483constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_11,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78); 484constraint set_card(X_INTRODUCED_78,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79); 485constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_12,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80); 486constraint set_card(X_INTRODUCED_80,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81); 487constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_13,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82); 488constraint set_card(X_INTRODUCED_82,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83); 489constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_14,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84); 490constraint set_card(X_INTRODUCED_84,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85); 491constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_15,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86); 492constraint set_card(X_INTRODUCED_86,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87); 493constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_12,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88); 494constraint set_card(X_INTRODUCED_88,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89); 495constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_13,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90); 496constraint set_card(X_INTRODUCED_90,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91); 497constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_14,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92); 498constraint set_card(X_INTRODUCED_92,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93); 499constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_15,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94); 500constraint set_card(X_INTRODUCED_94,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95); 501constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_12,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96); 502constraint set_card(X_INTRODUCED_96,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97); 503constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_13,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98); 504constraint set_card(X_INTRODUCED_98,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 505constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_14,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100); 506constraint set_card(X_INTRODUCED_100,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101); 507constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_15,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102); 508constraint set_card(X_INTRODUCED_102,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103); 509constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_12,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104); 510constraint set_card(X_INTRODUCED_104,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105); 511constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_13,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106); 512constraint set_card(X_INTRODUCED_106,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107); 513constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_14,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108); 514constraint set_card(X_INTRODUCED_108,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109); 515constraint set_intersect(X_INTRODUCED_3,X_INTRODUCED_15,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110); 516constraint set_card(X_INTRODUCED_110,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111); 517constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_8,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112); 518constraint set_card(X_INTRODUCED_112,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113); 519constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_9,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114); 520constraint set_card(X_INTRODUCED_114,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115); 521constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_10,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116); 522constraint set_card(X_INTRODUCED_116,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117); 523constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_11,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118); 524constraint set_card(X_INTRODUCED_118,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 525constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_8,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120); 526constraint set_card(X_INTRODUCED_120,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121); 527constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_9,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122); 528constraint set_card(X_INTRODUCED_122,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123); 529constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_10,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124); 530constraint set_card(X_INTRODUCED_124,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125); 531constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_11,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126); 532constraint set_card(X_INTRODUCED_126,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127); 533constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_8,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128); 534constraint set_card(X_INTRODUCED_128,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129); 535constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_9,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130); 536constraint set_card(X_INTRODUCED_130,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131); 537constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_10,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132); 538constraint set_card(X_INTRODUCED_132,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133); 539constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_11,X_INTRODUCED_134):: defines_var(X_INTRODUCED_134); 540constraint set_card(X_INTRODUCED_134,X_INTRODUCED_135):: defines_var(X_INTRODUCED_135); 541constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_136):: defines_var(X_INTRODUCED_136); 542constraint set_card(X_INTRODUCED_136,X_INTRODUCED_137):: defines_var(X_INTRODUCED_137); 543constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_9,X_INTRODUCED_138):: defines_var(X_INTRODUCED_138); 544constraint set_card(X_INTRODUCED_138,X_INTRODUCED_139):: defines_var(X_INTRODUCED_139); 545constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_10,X_INTRODUCED_140):: defines_var(X_INTRODUCED_140); 546constraint set_card(X_INTRODUCED_140,X_INTRODUCED_141):: defines_var(X_INTRODUCED_141); 547constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_11,X_INTRODUCED_142):: defines_var(X_INTRODUCED_142); 548constraint set_card(X_INTRODUCED_142,X_INTRODUCED_143):: defines_var(X_INTRODUCED_143); 549constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_12,X_INTRODUCED_144):: defines_var(X_INTRODUCED_144); 550constraint set_card(X_INTRODUCED_144,X_INTRODUCED_145):: defines_var(X_INTRODUCED_145); 551constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_13,X_INTRODUCED_146):: defines_var(X_INTRODUCED_146); 552constraint set_card(X_INTRODUCED_146,X_INTRODUCED_147):: defines_var(X_INTRODUCED_147); 553constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_14,X_INTRODUCED_148):: defines_var(X_INTRODUCED_148); 554constraint set_card(X_INTRODUCED_148,X_INTRODUCED_149):: defines_var(X_INTRODUCED_149); 555constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_15,X_INTRODUCED_150):: defines_var(X_INTRODUCED_150); 556constraint set_card(X_INTRODUCED_150,X_INTRODUCED_151):: defines_var(X_INTRODUCED_151); 557constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_12,X_INTRODUCED_152):: defines_var(X_INTRODUCED_152); 558constraint set_card(X_INTRODUCED_152,X_INTRODUCED_153):: defines_var(X_INTRODUCED_153); 559constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_13,X_INTRODUCED_154):: defines_var(X_INTRODUCED_154); 560constraint set_card(X_INTRODUCED_154,X_INTRODUCED_155):: defines_var(X_INTRODUCED_155); 561constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_14,X_INTRODUCED_156):: defines_var(X_INTRODUCED_156); 562constraint set_card(X_INTRODUCED_156,X_INTRODUCED_157):: defines_var(X_INTRODUCED_157); 563constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_15,X_INTRODUCED_158):: defines_var(X_INTRODUCED_158); 564constraint set_card(X_INTRODUCED_158,X_INTRODUCED_159):: defines_var(X_INTRODUCED_159); 565constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_12,X_INTRODUCED_160):: defines_var(X_INTRODUCED_160); 566constraint set_card(X_INTRODUCED_160,X_INTRODUCED_161):: defines_var(X_INTRODUCED_161); 567constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_13,X_INTRODUCED_162):: defines_var(X_INTRODUCED_162); 568constraint set_card(X_INTRODUCED_162,X_INTRODUCED_163):: defines_var(X_INTRODUCED_163); 569constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_14,X_INTRODUCED_164):: defines_var(X_INTRODUCED_164); 570constraint set_card(X_INTRODUCED_164,X_INTRODUCED_165):: defines_var(X_INTRODUCED_165); 571constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_15,X_INTRODUCED_166):: defines_var(X_INTRODUCED_166); 572constraint set_card(X_INTRODUCED_166,X_INTRODUCED_167):: defines_var(X_INTRODUCED_167); 573constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_12,X_INTRODUCED_168):: defines_var(X_INTRODUCED_168); 574constraint set_card(X_INTRODUCED_168,X_INTRODUCED_169):: defines_var(X_INTRODUCED_169); 575constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_13,X_INTRODUCED_170):: defines_var(X_INTRODUCED_170); 576constraint set_card(X_INTRODUCED_170,X_INTRODUCED_171):: defines_var(X_INTRODUCED_171); 577constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_14,X_INTRODUCED_172):: defines_var(X_INTRODUCED_172); 578constraint set_card(X_INTRODUCED_172,X_INTRODUCED_173):: defines_var(X_INTRODUCED_173); 579constraint set_intersect(X_INTRODUCED_7,X_INTRODUCED_15,X_INTRODUCED_174):: defines_var(X_INTRODUCED_174); 580constraint set_card(X_INTRODUCED_174,X_INTRODUCED_175):: defines_var(X_INTRODUCED_175); 581constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_12,X_INTRODUCED_176):: defines_var(X_INTRODUCED_176); 582constraint set_card(X_INTRODUCED_176,X_INTRODUCED_177):: defines_var(X_INTRODUCED_177); 583constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_13,X_INTRODUCED_178):: defines_var(X_INTRODUCED_178); 584constraint set_card(X_INTRODUCED_178,X_INTRODUCED_179):: defines_var(X_INTRODUCED_179); 585constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_14,X_INTRODUCED_180):: defines_var(X_INTRODUCED_180); 586constraint set_card(X_INTRODUCED_180,X_INTRODUCED_181):: defines_var(X_INTRODUCED_181); 587constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_15,X_INTRODUCED_182):: defines_var(X_INTRODUCED_182); 588constraint set_card(X_INTRODUCED_182,X_INTRODUCED_183):: defines_var(X_INTRODUCED_183); 589constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_12,X_INTRODUCED_184):: defines_var(X_INTRODUCED_184); 590constraint set_card(X_INTRODUCED_184,X_INTRODUCED_185):: defines_var(X_INTRODUCED_185); 591constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_13,X_INTRODUCED_186):: defines_var(X_INTRODUCED_186); 592constraint set_card(X_INTRODUCED_186,X_INTRODUCED_187):: defines_var(X_INTRODUCED_187); 593constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_14,X_INTRODUCED_188):: defines_var(X_INTRODUCED_188); 594constraint set_card(X_INTRODUCED_188,X_INTRODUCED_189):: defines_var(X_INTRODUCED_189); 595constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_15,X_INTRODUCED_190):: defines_var(X_INTRODUCED_190); 596constraint set_card(X_INTRODUCED_190,X_INTRODUCED_191):: defines_var(X_INTRODUCED_191); 597constraint set_intersect(X_INTRODUCED_10,X_INTRODUCED_12,X_INTRODUCED_192):: defines_var(X_INTRODUCED_192); 598constraint set_card(X_INTRODUCED_192,X_INTRODUCED_193):: defines_var(X_INTRODUCED_193); 599constraint set_intersect(X_INTRODUCED_10,X_INTRODUCED_13,X_INTRODUCED_194):: defines_var(X_INTRODUCED_194); 600constraint set_card(X_INTRODUCED_194,X_INTRODUCED_195):: defines_var(X_INTRODUCED_195); 601constraint set_intersect(X_INTRODUCED_10,X_INTRODUCED_14,X_INTRODUCED_196):: defines_var(X_INTRODUCED_196); 602constraint set_card(X_INTRODUCED_196,X_INTRODUCED_197):: defines_var(X_INTRODUCED_197); 603constraint set_intersect(X_INTRODUCED_10,X_INTRODUCED_15,X_INTRODUCED_198):: defines_var(X_INTRODUCED_198); 604constraint set_card(X_INTRODUCED_198,X_INTRODUCED_199):: defines_var(X_INTRODUCED_199); 605constraint set_intersect(X_INTRODUCED_11,X_INTRODUCED_12,X_INTRODUCED_200):: defines_var(X_INTRODUCED_200); 606constraint set_card(X_INTRODUCED_200,X_INTRODUCED_201):: defines_var(X_INTRODUCED_201); 607constraint set_intersect(X_INTRODUCED_11,X_INTRODUCED_13,X_INTRODUCED_202):: defines_var(X_INTRODUCED_202); 608constraint set_card(X_INTRODUCED_202,X_INTRODUCED_203):: defines_var(X_INTRODUCED_203); 609constraint set_intersect(X_INTRODUCED_11,X_INTRODUCED_14,X_INTRODUCED_204):: defines_var(X_INTRODUCED_204); 610constraint set_card(X_INTRODUCED_204,X_INTRODUCED_205):: defines_var(X_INTRODUCED_205); 611constraint set_intersect(X_INTRODUCED_11,X_INTRODUCED_15,X_INTRODUCED_206):: defines_var(X_INTRODUCED_206); 612constraint set_card(X_INTRODUCED_206,X_INTRODUCED_207):: defines_var(X_INTRODUCED_207); 613constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_212):: defines_var(X_INTRODUCED_212); 614constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_2,X_INTRODUCED_213):: defines_var(X_INTRODUCED_213); 615constraint set_intersect(X_INTRODUCED_0,X_INTRODUCED_3,X_INTRODUCED_214):: defines_var(X_INTRODUCED_214); 616constraint set_card(X_INTRODUCED_0,X_INTRODUCED_215):: defines_var(X_INTRODUCED_215); 617constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_216):: defines_var(X_INTRODUCED_216); 618constraint set_intersect(X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_217):: defines_var(X_INTRODUCED_217); 619constraint set_card(X_INTRODUCED_1,X_INTRODUCED_218):: defines_var(X_INTRODUCED_218); 620constraint set_intersect(X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_219):: defines_var(X_INTRODUCED_219); 621constraint set_card(X_INTRODUCED_2,X_INTRODUCED_220):: defines_var(X_INTRODUCED_220); 622constraint set_card(X_INTRODUCED_3,X_INTRODUCED_221):: defines_var(X_INTRODUCED_221); 623constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_222):: defines_var(X_INTRODUCED_222); 624constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_223):: defines_var(X_INTRODUCED_223); 625constraint set_intersect(X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_224):: defines_var(X_INTRODUCED_224); 626constraint set_card(X_INTRODUCED_4,X_INTRODUCED_225):: defines_var(X_INTRODUCED_225); 627constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_226):: defines_var(X_INTRODUCED_226); 628constraint set_intersect(X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_227):: defines_var(X_INTRODUCED_227); 629constraint set_card(X_INTRODUCED_5,X_INTRODUCED_228):: defines_var(X_INTRODUCED_228); 630constraint set_intersect(X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_229):: defines_var(X_INTRODUCED_229); 631constraint set_card(X_INTRODUCED_6,X_INTRODUCED_230):: defines_var(X_INTRODUCED_230); 632constraint set_card(X_INTRODUCED_7,X_INTRODUCED_231):: defines_var(X_INTRODUCED_231); 633constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_9,X_INTRODUCED_232):: defines_var(X_INTRODUCED_232); 634constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_10,X_INTRODUCED_233):: defines_var(X_INTRODUCED_233); 635constraint set_intersect(X_INTRODUCED_8,X_INTRODUCED_11,X_INTRODUCED_234):: defines_var(X_INTRODUCED_234); 636constraint set_card(X_INTRODUCED_8,X_INTRODUCED_235):: defines_var(X_INTRODUCED_235); 637constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_236):: defines_var(X_INTRODUCED_236); 638constraint set_intersect(X_INTRODUCED_9,X_INTRODUCED_11,X_INTRODUCED_237):: defines_var(X_INTRODUCED_237); 639constraint set_card(X_INTRODUCED_9,X_INTRODUCED_238):: defines_var(X_INTRODUCED_238); 640constraint set_intersect(X_INTRODUCED_10,X_INTRODUCED_11,X_INTRODUCED_239):: defines_var(X_INTRODUCED_239); 641constraint set_card(X_INTRODUCED_10,X_INTRODUCED_240):: defines_var(X_INTRODUCED_240); 642constraint set_card(X_INTRODUCED_11,X_INTRODUCED_241):: defines_var(X_INTRODUCED_241); 643constraint set_intersect(X_INTRODUCED_12,X_INTRODUCED_13,X_INTRODUCED_242):: defines_var(X_INTRODUCED_242); 644constraint set_intersect(X_INTRODUCED_12,X_INTRODUCED_14,X_INTRODUCED_243):: defines_var(X_INTRODUCED_243); 645constraint set_intersect(X_INTRODUCED_12,X_INTRODUCED_15,X_INTRODUCED_244):: defines_var(X_INTRODUCED_244); 646constraint set_card(X_INTRODUCED_12,X_INTRODUCED_245):: defines_var(X_INTRODUCED_245); 647constraint set_intersect(X_INTRODUCED_13,X_INTRODUCED_14,X_INTRODUCED_246):: defines_var(X_INTRODUCED_246); 648constraint set_intersect(X_INTRODUCED_13,X_INTRODUCED_15,X_INTRODUCED_247):: defines_var(X_INTRODUCED_247); 649constraint set_card(X_INTRODUCED_13,X_INTRODUCED_248):: defines_var(X_INTRODUCED_248); 650constraint set_intersect(X_INTRODUCED_14,X_INTRODUCED_15,X_INTRODUCED_249):: defines_var(X_INTRODUCED_249); 651constraint set_card(X_INTRODUCED_14,X_INTRODUCED_250):: defines_var(X_INTRODUCED_250); 652constraint set_card(X_INTRODUCED_15,X_INTRODUCED_251):: defines_var(X_INTRODUCED_251); 653solve satisfy;