00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #include "test/flatzinc.hh"
00035
00036 namespace Test { namespace FlatZinc {
00037
00038 namespace {
00040 class Create {
00041 public:
00042
00044 Create(void) {
00045 (void) new FlatZincTest("tenpenki::6",
00046 std::string("predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00047 predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00048 predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00049 predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00050 var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;\n\
00051 var bool: BOOL____00004 :: is_defined_var :: var_is_introduced;\n\
00052 var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;\n\
00053 var bool: BOOL____00007 :: is_defined_var :: var_is_introduced;\n\
00054 var bool: BOOL____00009 :: is_defined_var :: var_is_introduced;\n\
00055 var bool: BOOL____00010 :: is_defined_var :: var_is_introduced;\n\
00056 var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;\n\
00057 var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;\n\
00058 var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;\n\
00059 var bool: BOOL____00016 :: is_defined_var :: var_is_introduced;\n\
00060 var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;\n\
00061 var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;\n\
00062 var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;\n\
00063 var bool: BOOL____00022 :: is_defined_var :: var_is_introduced;\n\
00064 var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;\n\
00065 var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;\n\
00066 var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;\n\
00067 var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;\n\
00068 var bool: BOOL____00034 :: is_defined_var :: var_is_introduced;\n\
00069 var bool: BOOL____00035 :: is_defined_var :: var_is_introduced;\n\
00070 var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;\n\
00071 var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;\n\
00072 var bool: BOOL____00040 :: is_defined_var :: var_is_introduced;\n\
00073 var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;\n\
00074 var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;\n\
00075 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;\n\
00076 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;\n\
00077 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;\n\
00078 var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;\n\
00079 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;\n\
00080 var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;\n\
00081 var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;\n\
00082 var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;\n\
00083 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;\n\
00084 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;\n\
00085 var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;\n\
00086 var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;\n\
00087 var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;\n\
00088 var bool: BOOL____00064 :: is_defined_var :: var_is_introduced;\n\
00089 var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;\n\
00090 var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;\n\
00091 var bool: BOOL____00068 :: is_defined_var :: var_is_introduced;\n\
00092 var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;\n\
00093 var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;\n\
00094 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;\n\
00095 var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;\n\
00096 var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;\n\
00097 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;\n\
00098 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;\n\
00099 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;\n\
00100 var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;\n\
00101 var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00093 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00169 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00188 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;\n\
00158 var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;\n\
00159 var bool: BOOL____00202 :: is_defined_var :: var_is_introduced;\n\
00160 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00208 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00210 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00214 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00216 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00226 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00230 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00232 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;\n\
00182 var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;\n\
00183 var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;\n\
00184 var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;\n\
00185 var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;\n\
00186 var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;\n\
00187 var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;\n\
00188 var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;\n\
00189 var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;\n\
00190 var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;\n\
00191 var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;\n\
00192 var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;\n\
00193 var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;\n\
00194 var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;\n\
00195 var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;\n\
00196 var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;\n\
00197 var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;\n\
00198 var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;\n\
00199 var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;\n\
00200 var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;\n\
00201 var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;\n\
00202 var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;\n\
00203 var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;\n\
00204 var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;\n\
00205 var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;\n\
00206 var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;\n\
00207 var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;\n\
00208 var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;\n\
00209 var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;\n\
00210 var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;\n\
00211 var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;\n\
00212 var bool: BOOL____00326 :: is_defined_var :: var_is_introduced;\n\
00213 var bool: BOOL____00327 :: is_defined_var :: var_is_introduced;\n\
00214 var bool: BOOL____00331 :: is_defined_var :: var_is_introduced;\n\
00215 var bool: BOOL____00332 :: is_defined_var :: var_is_introduced;\n\
00216 var bool: BOOL____00334 :: is_defined_var :: var_is_introduced;\n\
00217 var bool: BOOL____00335 :: is_defined_var :: var_is_introduced;\n\
00218 var bool: BOOL____00336 :: is_defined_var :: var_is_introduced;\n\
00219 var bool: BOOL____00337 :: is_defined_var :: var_is_introduced;\n\
00220 var bool: BOOL____00339 :: is_defined_var :: var_is_introduced;\n\
00221 var bool: BOOL____00340 :: is_defined_var :: var_is_introduced;\n\
00222 var bool: BOOL____00341 :: is_defined_var :: var_is_introduced;\n\
00223 var bool: BOOL____00342 :: is_defined_var :: var_is_introduced;\n\
00224 var bool: BOOL____00344 :: is_defined_var :: var_is_introduced;\n\
00225 var bool: BOOL____00345 :: is_defined_var :: var_is_introduced;\n\
00226 var bool: BOOL____00346 :: is_defined_var :: var_is_introduced;\n\
00227 var bool: BOOL____00347 :: is_defined_var :: var_is_introduced;\n\
00228 var bool: BOOL____00349 :: is_defined_var :: var_is_introduced;\n\
00229 var bool: BOOL____00350 :: is_defined_var :: var_is_introduced;\n\
00230 var bool: BOOL____00351 :: is_defined_var :: var_is_introduced;\n\
00231 var bool: BOOL____00352 :: is_defined_var :: var_is_introduced;\n\
00232 var bool: BOOL____00353 :: is_defined_var :: var_is_introduced;\n\
00233 var bool: BOOL____00354 :: is_defined_var :: var_is_introduced;\n\
00234 var bool: BOOL____00356 :: is_defined_var :: var_is_introduced;\n\
00235 var bool: BOOL____00357 :: is_defined_var :: var_is_introduced;\n\
00236 var bool: BOOL____00358 :: is_defined_var :: var_is_introduced;\n\
00237 var bool: BOOL____00359 :: is_defined_var :: var_is_introduced;\n\
00238 var bool: BOOL____00360 :: is_defined_var :: var_is_introduced;\n\
00239 var bool: BOOL____00361 :: is_defined_var :: var_is_introduced;\n\
00240 var bool: BOOL____00363 :: is_defined_var :: var_is_introduced;\n\
00241 var bool: BOOL____00364 :: is_defined_var :: var_is_introduced;\n\
00242 var bool: BOOL____00365 :: is_defined_var :: var_is_introduced;\n\
00243 var bool: BOOL____00366 :: is_defined_var :: var_is_introduced;\n\
00244 var bool: BOOL____00367 :: is_defined_var :: var_is_introduced;\n\
00245 var bool: BOOL____00368 :: is_defined_var :: var_is_introduced;\n\
00246 var bool: BOOL____00370 :: is_defined_var :: var_is_introduced;\n\
00247 var bool: BOOL____00371 :: is_defined_var :: var_is_introduced;\n\
00248 var bool: BOOL____00372 :: is_defined_var :: var_is_introduced;\n\
00249 var bool: BOOL____00373 :: is_defined_var :: var_is_introduced;\n\
00250 var bool: BOOL____00374 :: is_defined_var :: var_is_introduced;\n\
00251 var bool: BOOL____00375 :: is_defined_var :: var_is_introduced;\n\
00252 var bool: BOOL____00377 :: is_defined_var :: var_is_introduced;\n\
00253 var bool: BOOL____00378 :: is_defined_var :: var_is_introduced;\n\
00254 var bool: BOOL____00379 :: is_defined_var :: var_is_introduced;\n\
00255 var bool: BOOL____00380 :: is_defined_var :: var_is_introduced;\n\
00256 var bool: BOOL____00381 :: is_defined_var :: var_is_introduced;\n\
00257 var bool: BOOL____00382 :: is_defined_var :: var_is_introduced;\n\
00258 var bool: BOOL____00384 :: is_defined_var :: var_is_introduced;\n\
00259 var bool: BOOL____00385 :: is_defined_var :: var_is_introduced;\n\
00260 var bool: BOOL____00388 :: is_defined_var :: var_is_introduced;\n\
00261 var bool: BOOL____00389 :: is_defined_var :: var_is_introduced;\n\
00262 var bool: BOOL____00391 :: is_defined_var :: var_is_introduced;\n\
00263 var bool: BOOL____00392 :: is_defined_var :: var_is_introduced;\n\
00264 var bool: BOOL____00393 :: is_defined_var :: var_is_introduced;\n\
00265 var bool: BOOL____00394 :: is_defined_var :: var_is_introduced;\n\
00266 var bool: BOOL____00396 :: is_defined_var :: var_is_introduced;\n\
00267 var bool: BOOL____00397 :: is_defined_var :: var_is_introduced;\n\
00268 var bool: BOOL____00398 :: is_defined_var :: var_is_introduced;\n\
00269 var bool: BOOL____00399 :: is_defined_var :: var_is_introduced;\n\
00270 var bool: BOOL____00401 :: is_defined_var :: var_is_introduced;\n\
00271 var bool: BOOL____00402 :: is_defined_var :: var_is_introduced;\n\
00272 var bool: BOOL____00403 :: is_defined_var :: var_is_introduced;\n\
00273 var bool: BOOL____00404 :: is_defined_var :: var_is_introduced;\n\
00274 var bool: BOOL____00405 :: is_defined_var :: var_is_introduced;\n\
00275 var bool: BOOL____00406 :: is_defined_var :: var_is_introduced;\n\
00276 var bool: BOOL____00408 :: is_defined_var :: var_is_introduced;\n\
00277 var bool: BOOL____00409 :: is_defined_var :: var_is_introduced;\n\
00278 var bool: BOOL____00410 :: is_defined_var :: var_is_introduced;\n\
00279 var bool: BOOL____00411 :: is_defined_var :: var_is_introduced;\n\
00280 var bool: BOOL____00412 :: is_defined_var :: var_is_introduced;\n\
00281 var bool: BOOL____00413 :: is_defined_var :: var_is_introduced;\n\
00282 var bool: BOOL____00415 :: is_defined_var :: var_is_introduced;\n\
00283 var bool: BOOL____00416 :: is_defined_var :: var_is_introduced;\n\
00284 var bool: BOOL____00417 :: is_defined_var :: var_is_introduced;\n\
00285 var bool: BOOL____00418 :: is_defined_var :: var_is_introduced;\n\
00286 var bool: BOOL____00419 :: is_defined_var :: var_is_introduced;\n\
00287 var bool: BOOL____00420 :: is_defined_var :: var_is_introduced;\n\
00288 var bool: BOOL____00422 :: is_defined_var :: var_is_introduced;\n\
00289 var bool: BOOL____00423 :: is_defined_var :: var_is_introduced;\n\
00290 var bool: BOOL____00424 :: is_defined_var :: var_is_introduced;\n\
00291 var bool: BOOL____00425 :: is_defined_var :: var_is_introduced;\n\
00292 var bool: BOOL____00426 :: is_defined_var :: var_is_introduced;\n\
00293 var bool: BOOL____00427 :: is_defined_var :: var_is_introduced;\n\
00294 var bool: BOOL____00429 :: is_defined_var :: var_is_introduced;\n\
00295 var bool: BOOL____00430 :: is_defined_var :: var_is_introduced;\n\
00296 var bool: BOOL____00431 :: is_defined_var :: var_is_introduced;\n")+"\
00297 var bool: BOOL____00432 :: is_defined_var :: var_is_introduced;\n\
00298 var bool: BOOL____00433 :: is_defined_var :: var_is_introduced;\n\
00299 var bool: BOOL____00434 :: is_defined_var :: var_is_introduced;\n\
00300 var bool: BOOL____00436 :: is_defined_var :: var_is_introduced;\n\
00301 var bool: BOOL____00437 :: is_defined_var :: var_is_introduced;\n\
00302 var bool: BOOL____00438 :: is_defined_var :: var_is_introduced;\n\
00303 var bool: BOOL____00439 :: is_defined_var :: var_is_introduced;\n\
00304 var bool: BOOL____00440 :: is_defined_var :: var_is_introduced;\n\
00305 var bool: BOOL____00441 :: is_defined_var :: var_is_introduced;\n\
00306 var bool: BOOL____00443 :: is_defined_var :: var_is_introduced;\n\
00307 var bool: BOOL____00444 :: is_defined_var :: var_is_introduced;\n\
00308 var bool: BOOL____00447 :: is_defined_var :: var_is_introduced;\n\
00309 var bool: BOOL____00448 :: is_defined_var :: var_is_introduced;\n\
00310 var bool: BOOL____00450 :: is_defined_var :: var_is_introduced;\n\
00311 var bool: BOOL____00451 :: is_defined_var :: var_is_introduced;\n\
00312 var bool: BOOL____00452 :: is_defined_var :: var_is_introduced;\n\
00313 var bool: BOOL____00453 :: is_defined_var :: var_is_introduced;\n\
00314 var bool: BOOL____00455 :: is_defined_var :: var_is_introduced;\n\
00315 var bool: BOOL____00456 :: is_defined_var :: var_is_introduced;\n\
00316 var bool: BOOL____00457 :: is_defined_var :: var_is_introduced;\n\
00317 var bool: BOOL____00458 :: is_defined_var :: var_is_introduced;\n\
00318 var bool: BOOL____00460 :: is_defined_var :: var_is_introduced;\n\
00319 var bool: BOOL____00461 :: is_defined_var :: var_is_introduced;\n\
00320 var bool: BOOL____00462 :: is_defined_var :: var_is_introduced;\n\
00321 var bool: BOOL____00463 :: is_defined_var :: var_is_introduced;\n\
00322 var bool: BOOL____00465 :: is_defined_var :: var_is_introduced;\n\
00323 var bool: BOOL____00466 :: is_defined_var :: var_is_introduced;\n\
00324 var bool: BOOL____00467 :: is_defined_var :: var_is_introduced;\n\
00325 var bool: BOOL____00468 :: is_defined_var :: var_is_introduced;\n\
00326 var bool: BOOL____00469 :: is_defined_var :: var_is_introduced;\n\
00327 var bool: BOOL____00470 :: is_defined_var :: var_is_introduced;\n\
00328 var bool: BOOL____00472 :: is_defined_var :: var_is_introduced;\n\
00329 var bool: BOOL____00473 :: is_defined_var :: var_is_introduced;\n\
00330 var bool: BOOL____00474 :: is_defined_var :: var_is_introduced;\n\
00331 var bool: BOOL____00475 :: is_defined_var :: var_is_introduced;\n\
00332 var bool: BOOL____00476 :: is_defined_var :: var_is_introduced;\n\
00333 var bool: BOOL____00477 :: is_defined_var :: var_is_introduced;\n\
00334 var bool: BOOL____00479 :: is_defined_var :: var_is_introduced;\n\
00335 var bool: BOOL____00480 :: is_defined_var :: var_is_introduced;\n\
00336 var bool: BOOL____00481 :: is_defined_var :: var_is_introduced;\n\
00337 var bool: BOOL____00482 :: is_defined_var :: var_is_introduced;\n\
00338 var bool: BOOL____00483 :: is_defined_var :: var_is_introduced;\n\
00339 var bool: BOOL____00484 :: is_defined_var :: var_is_introduced;\n\
00340 var bool: BOOL____00486 :: is_defined_var :: var_is_introduced;\n\
00341 var bool: BOOL____00487 :: is_defined_var :: var_is_introduced;\n\
00342 var bool: BOOL____00488 :: is_defined_var :: var_is_introduced;\n\
00343 var bool: BOOL____00489 :: is_defined_var :: var_is_introduced;\n\
00344 var bool: BOOL____00490 :: is_defined_var :: var_is_introduced;\n\
00345 var bool: BOOL____00491 :: is_defined_var :: var_is_introduced;\n\
00346 var bool: BOOL____00493 :: is_defined_var :: var_is_introduced;\n\
00347 var bool: BOOL____00494 :: is_defined_var :: var_is_introduced;\n\
00348 var bool: BOOL____00495 :: is_defined_var :: var_is_introduced;\n\
00349 var bool: BOOL____00496 :: is_defined_var :: var_is_introduced;\n\
00350 var bool: BOOL____00497 :: is_defined_var :: var_is_introduced;\n\
00351 var bool: BOOL____00498 :: is_defined_var :: var_is_introduced;\n\
00352 var bool: BOOL____00500 :: is_defined_var :: var_is_introduced;\n\
00353 var bool: BOOL____00501 :: is_defined_var :: var_is_introduced;\n\
00354 var bool: BOOL____00504 :: is_defined_var :: var_is_introduced;\n\
00355 var bool: BOOL____00505 :: is_defined_var :: var_is_introduced;\n\
00356 var bool: BOOL____00507 :: is_defined_var :: var_is_introduced;\n\
00357 var bool: BOOL____00508 :: is_defined_var :: var_is_introduced;\n\
00358 var bool: BOOL____00509 :: is_defined_var :: var_is_introduced;\n\
00359 var bool: BOOL____00510 :: is_defined_var :: var_is_introduced;\n\
00360 var bool: BOOL____00511 :: is_defined_var :: var_is_introduced;\n\
00361 var bool: BOOL____00512 :: is_defined_var :: var_is_introduced;\n\
00362 var bool: BOOL____00514 :: is_defined_var :: var_is_introduced;\n\
00363 var bool: BOOL____00515 :: is_defined_var :: var_is_introduced;\n\
00364 var bool: BOOL____00516 :: is_defined_var :: var_is_introduced;\n\
00365 var bool: BOOL____00517 :: is_defined_var :: var_is_introduced;\n\
00366 var bool: BOOL____00518 :: is_defined_var :: var_is_introduced;\n\
00367 var bool: BOOL____00519 :: is_defined_var :: var_is_introduced;\n\
00368 var bool: BOOL____00521 :: is_defined_var :: var_is_introduced;\n\
00369 var bool: BOOL____00522 :: is_defined_var :: var_is_introduced;\n\
00370 var bool: BOOL____00523 :: is_defined_var :: var_is_introduced;\n\
00371 var bool: BOOL____00524 :: is_defined_var :: var_is_introduced;\n\
00372 var bool: BOOL____00525 :: is_defined_var :: var_is_introduced;\n\
00373 var bool: BOOL____00526 :: is_defined_var :: var_is_introduced;\n\
00374 var bool: BOOL____00528 :: is_defined_var :: var_is_introduced;\n\
00375 var bool: BOOL____00529 :: is_defined_var :: var_is_introduced;\n\
00376 var bool: BOOL____00530 :: is_defined_var :: var_is_introduced;\n\
00377 var bool: BOOL____00531 :: is_defined_var :: var_is_introduced;\n\
00378 var bool: BOOL____00532 :: is_defined_var :: var_is_introduced;\n\
00379 var bool: BOOL____00533 :: is_defined_var :: var_is_introduced;\n\
00380 var bool: BOOL____00535 :: is_defined_var :: var_is_introduced;\n\
00381 var bool: BOOL____00536 :: is_defined_var :: var_is_introduced;\n\
00382 var bool: BOOL____00537 :: is_defined_var :: var_is_introduced;\n\
00383 var bool: BOOL____00538 :: is_defined_var :: var_is_introduced;\n\
00384 var bool: BOOL____00539 :: is_defined_var :: var_is_introduced;\n\
00385 var bool: BOOL____00540 :: is_defined_var :: var_is_introduced;\n\
00386 var bool: BOOL____00542 :: is_defined_var :: var_is_introduced;\n\
00387 var bool: BOOL____00543 :: is_defined_var :: var_is_introduced;\n\
00388 var bool: BOOL____00544 :: is_defined_var :: var_is_introduced;\n\
00389 var bool: BOOL____00545 :: is_defined_var :: var_is_introduced;\n\
00390 var bool: BOOL____00546 :: is_defined_var :: var_is_introduced;\n\
00391 var bool: BOOL____00547 :: is_defined_var :: var_is_introduced;\n\
00392 var bool: BOOL____00549 :: is_defined_var :: var_is_introduced;\n\
00393 var bool: BOOL____00550 :: is_defined_var :: var_is_introduced;\n\
00394 var bool: BOOL____00551 :: is_defined_var :: var_is_introduced;\n\
00395 var bool: BOOL____00552 :: is_defined_var :: var_is_introduced;\n\
00396 var bool: BOOL____00553 :: is_defined_var :: var_is_introduced;\n\
00397 var bool: BOOL____00554 :: is_defined_var :: var_is_introduced;\n\
00398 var bool: BOOL____00556 :: is_defined_var :: var_is_introduced;\n\
00399 var bool: BOOL____00557 :: is_defined_var :: var_is_introduced;\n\
00400 var bool: BOOL____00558 :: is_defined_var :: var_is_introduced;\n\
00401 var bool: BOOL____00559 :: is_defined_var :: var_is_introduced;\n\
00402 var bool: BOOL____00560 :: is_defined_var :: var_is_introduced;\n\
00403 var bool: BOOL____00561 :: is_defined_var :: var_is_introduced;\n\
00404 var bool: BOOL____00563 :: is_defined_var :: var_is_introduced;\n\
00405 var bool: BOOL____00564 :: is_defined_var :: var_is_introduced;\n\
00406 var bool: BOOL____00569 :: is_defined_var :: var_is_introduced;\n\
00407 var bool: BOOL____00570 :: is_defined_var :: var_is_introduced;\n\
00408 var bool: BOOL____00572 :: is_defined_var :: var_is_introduced;\n\
00409 var bool: BOOL____00573 :: is_defined_var :: var_is_introduced;\n\
00410 var bool: BOOL____00575 :: is_defined_var :: var_is_introduced;\n\
00411 var bool: BOOL____00576 :: is_defined_var :: var_is_introduced;\n\
00412 var bool: BOOL____00578 :: is_defined_var :: var_is_introduced;\n\
00413 var bool: BOOL____00579 :: is_defined_var :: var_is_introduced;\n\
00414 var bool: BOOL____00581 :: is_defined_var :: var_is_introduced;\n\
00415 var bool: BOOL____00582 :: is_defined_var :: var_is_introduced;\n\
00416 var bool: BOOL____00584 :: is_defined_var :: var_is_introduced;\n\
00417 var bool: BOOL____00585 :: is_defined_var :: var_is_introduced;\n\
00418 var bool: BOOL____00587 :: is_defined_var :: var_is_introduced;\n\
00419 var bool: BOOL____00588 :: is_defined_var :: var_is_introduced;\n\
00420 array [1..100] of var bool: a :: output_array([1..10, 1..10]);\n\
00421 array [1..1] of var 1..10: s____00001;\n\
00422 array [1..1] of var 1..10: s____00028;\n\
00423 array [1..2] of var 1..10: s____00053;\n\
00424 array [1..1] of var 1..10: s____00110;\n\
00425 array [1..1] of var 1..10: s____00123;\n\
00426 array [1..1] of var 1..10: s____00140;\n\
00427 array [1..1] of var 1..10: s____00157;\n\
00428 array [1..1] of var 1..10: s____00176;\n\
00429 array [1..1] of var 1..10: s____00197;\n\
00430 array [1..1] of var 1..10: s____00220;\n\
00431 array [1..1] of var 1..10: s____00239;\n\
00432 array [1..1] of var 1..10: s____00264;\n\
00433 array [1..1] of var 1..10: s____00285;\n\
00434 array [1..1] of var 1..10: s____00302;\n\
00435 array [1..1] of var 1..10: s____00317;\n\
00436 array [1..2] of var 1..10: s____00330;\n\
00437 array [1..2] of var 1..10: s____00387;\n\
00438 array [1..2] of var 1..10: s____00446;\n\
00439 array [1..2] of var 1..10: s____00503;\n\
00440 array [1..1] of var 1..10: s____00566;\n\
00441 constraint array_bool_and([BOOL____00003, BOOL____00004], a[20]);\n\
00442 constraint array_bool_and([BOOL____00006, BOOL____00007], a[30]);\n\
00443 constraint array_bool_and([BOOL____00009, BOOL____00010], a[40]);\n\
00444 constraint array_bool_and([BOOL____00012, BOOL____00013], a[50]);\n\
00445 constraint array_bool_and([BOOL____00015, BOOL____00016], a[60]);\n\
00446 constraint array_bool_and([BOOL____00018, BOOL____00019], a[70]);\n\
00447 constraint array_bool_and([BOOL____00021, BOOL____00022], a[80]);\n\
00448 constraint array_bool_and([BOOL____00024, BOOL____00025], a[90]);\n\
00449 constraint array_bool_and([BOOL____00031, BOOL____00032], a[29]);\n\
00450 constraint array_bool_and([BOOL____00034, BOOL____00035], a[39]);\n\
00451 constraint array_bool_and([BOOL____00037, BOOL____00038], a[49]);\n\
00452 constraint array_bool_and([BOOL____00040, BOOL____00041], a[59]);\n\
00453 constraint array_bool_and([BOOL____00043, BOOL____00044], a[69]);\n\
00454 constraint array_bool_and([BOOL____00046, BOOL____00047], a[79]);\n\
00455 constraint array_bool_and([BOOL____00049, BOOL____00050], a[89]);\n\
00456 constraint array_bool_and([BOOL____00057, BOOL____00058], BOOL____00060) :: defines_var(BOOL____00060);\n\
00457 constraint array_bool_and([BOOL____00062, BOOL____00063], BOOL____00065) :: defines_var(BOOL____00065);\n\
00458 constraint array_bool_and([BOOL____00067, BOOL____00068], BOOL____00070) :: defines_var(BOOL____00070);\n\
00459 constraint array_bool_and([BOOL____00072, BOOL____00073], BOOL____00076) :: defines_var(BOOL____00076);\n\
00460 constraint array_bool_and([BOOL____00074, BOOL____00075], BOOL____00077) :: defines_var(BOOL____00077);\n\
00461 constraint array_bool_and([BOOL____00079, BOOL____00080], BOOL____00083) :: defines_var(BOOL____00083);\n\
00462 constraint array_bool_and([BOOL____00081, BOOL____00082], BOOL____00084) :: defines_var(BOOL____00084);\n\
00463 constraint array_bool_and([BOOL____00086, BOOL____00087], BOOL____00090) :: defines_var(BOOL____00090);\n\
00464 constraint array_bool_and([BOOL____00088, BOOL____00089], BOOL____00091) :: defines_var(BOOL____00091);\n\
00465 constraint array_bool_and([BOOL____00093, BOOL____00094], BOOL____00097) :: defines_var(BOOL____00097);\n\
00466 constraint array_bool_and([BOOL____00095, BOOL____00096], BOOL____00098) :: defines_var(BOOL____00098);\n\
00467 constraint array_bool_and([BOOL____00100, BOOL____00101], BOOL____00104) :: defines_var(BOOL____00104);\n\
00468 constraint array_bool_and([BOOL____00102, BOOL____00103], BOOL____00105) :: defines_var(BOOL____00105);\n\
00469 constraint array_bool_and([BOOL____00119, BOOL____00120], a[87]);\n\
00470 constraint array_bool_and([BOOL____00130, BOOL____00131], a[66]);\n\
00471 constraint array_bool_and([BOOL____00133, BOOL____00134], a[76]);\n\
00472 constraint array_bool_and([BOOL____00136, BOOL____00137], a[86]);\n\
00473 constraint array_bool_and([BOOL____00147, BOOL____00148], a[65]);\n\
00474 constraint array_bool_and([BOOL____00150, BOOL____00151], a[75]);\n\
00475 constraint array_bool_and([BOOL____00153, BOOL____00154], a[85]);\n\
00476 constraint array_bool_and([BOOL____00163, BOOL____00164], a[54]);\n\
00477 constraint array_bool_and([BOOL____00166, BOOL____00167], a[64]);\n\
00478 constraint array_bool_and([BOOL____00169, BOOL____00170], a[74]);\n\
00479 constraint array_bool_and([BOOL____00172, BOOL____00173], a[84]);\n\
00480 constraint array_bool_and([BOOL____00181, BOOL____00182], a[43]);\n\
00481 constraint array_bool_and([BOOL____00184, BOOL____00185], a[53]);\n\
00482 constraint array_bool_and([BOOL____00187, BOOL____00188], a[63]);\n\
00483 constraint array_bool_and([BOOL____00190, BOOL____00191], a[73]);\n\
00484 constraint array_bool_and([BOOL____00193, BOOL____00194], a[83]);\n\
00485 constraint array_bool_and([BOOL____00201, BOOL____00202], a[32]);\n\
00486 constraint array_bool_and([BOOL____00204, BOOL____00205], a[42]);\n\
00487 constraint array_bool_and([BOOL____00207, BOOL____00208], a[52]);\n\
00488 constraint array_bool_and([BOOL____00210, BOOL____00211], a[62]);\n\
00489 constraint array_bool_and([BOOL____00213, BOOL____00214], a[72]);\n\
00490 constraint array_bool_and([BOOL____00216, BOOL____00217], a[82]);\n\
00491 constraint array_bool_and([BOOL____00226, BOOL____00227], a[51]);\n\
00492 constraint array_bool_and([BOOL____00229, BOOL____00230], a[61]);\n\
00493 constraint array_bool_and([BOOL____00232, BOOL____00233], a[71]);\n\
00494 constraint array_bool_and([BOOL____00235, BOOL____00236], a[81]);\n\
00495 constraint array_bool_and([BOOL____00242, BOOL____00243], a[93]);\n\
00496 constraint array_bool_and([BOOL____00245, BOOL____00246], a[94]);\n"+"\
00497 constraint array_bool_and([BOOL____00248, BOOL____00249], a[95]);\n\
00498 constraint array_bool_and([BOOL____00251, BOOL____00252], a[96]);\n\
00499 constraint array_bool_and([BOOL____00254, BOOL____00255], a[97]);\n\
00500 constraint array_bool_and([BOOL____00257, BOOL____00258], a[98]);\n\
00501 constraint array_bool_and([BOOL____00260, BOOL____00261], a[99]);\n\
00502 constraint array_bool_and([BOOL____00269, BOOL____00270], a[85]);\n\
00503 constraint array_bool_and([BOOL____00272, BOOL____00273], a[86]);\n\
00504 constraint array_bool_and([BOOL____00275, BOOL____00276], a[87]);\n\
00505 constraint array_bool_and([BOOL____00278, BOOL____00279], a[88]);\n\
00506 constraint array_bool_and([BOOL____00281, BOOL____00282], a[89]);\n\
00507 constraint array_bool_and([BOOL____00292, BOOL____00293], a[77]);\n\
00508 constraint array_bool_and([BOOL____00295, BOOL____00296], a[78]);\n\
00509 constraint array_bool_and([BOOL____00298, BOOL____00299], a[79]);\n\
00510 constraint array_bool_and([BOOL____00310, BOOL____00311], a[68]);\n\
00511 constraint array_bool_and([BOOL____00313, BOOL____00314], a[69]);\n\
00512 constraint array_bool_and([BOOL____00326, BOOL____00327], a[59]);\n\
00513 constraint array_bool_and([BOOL____00334, BOOL____00335], BOOL____00337) :: defines_var(BOOL____00337);\n\
00514 constraint array_bool_and([BOOL____00339, BOOL____00340], BOOL____00342) :: defines_var(BOOL____00342);\n\
00515 constraint array_bool_and([BOOL____00344, BOOL____00345], BOOL____00347) :: defines_var(BOOL____00347);\n\
00516 constraint array_bool_and([BOOL____00349, BOOL____00350], BOOL____00353) :: defines_var(BOOL____00353);\n\
00517 constraint array_bool_and([BOOL____00351, BOOL____00352], BOOL____00354) :: defines_var(BOOL____00354);\n\
00518 constraint array_bool_and([BOOL____00356, BOOL____00357], BOOL____00360) :: defines_var(BOOL____00360);\n\
00519 constraint array_bool_and([BOOL____00358, BOOL____00359], BOOL____00361) :: defines_var(BOOL____00361);\n\
00520 constraint array_bool_and([BOOL____00363, BOOL____00364], BOOL____00367) :: defines_var(BOOL____00367);\n\
00521 constraint array_bool_and([BOOL____00365, BOOL____00366], BOOL____00368) :: defines_var(BOOL____00368);\n\
00522 constraint array_bool_and([BOOL____00370, BOOL____00371], BOOL____00374) :: defines_var(BOOL____00374);\n\
00523 constraint array_bool_and([BOOL____00372, BOOL____00373], BOOL____00375) :: defines_var(BOOL____00375);\n\
00524 constraint array_bool_and([BOOL____00377, BOOL____00378], BOOL____00381) :: defines_var(BOOL____00381);\n\
00525 constraint array_bool_and([BOOL____00379, BOOL____00380], BOOL____00382) :: defines_var(BOOL____00382);\n\
00526 constraint array_bool_and([BOOL____00391, BOOL____00392], BOOL____00394) :: defines_var(BOOL____00394);\n\
00527 constraint array_bool_and([BOOL____00396, BOOL____00397], BOOL____00399) :: defines_var(BOOL____00399);\n\
00528 constraint array_bool_and([BOOL____00401, BOOL____00402], BOOL____00405) :: defines_var(BOOL____00405);\n\
00529 constraint array_bool_and([BOOL____00403, BOOL____00404], BOOL____00406) :: defines_var(BOOL____00406);\n\
00530 constraint array_bool_and([BOOL____00408, BOOL____00409], BOOL____00412) :: defines_var(BOOL____00412);\n\
00531 constraint array_bool_and([BOOL____00410, BOOL____00411], BOOL____00413) :: defines_var(BOOL____00413);\n\
00532 constraint array_bool_and([BOOL____00415, BOOL____00416], BOOL____00419) :: defines_var(BOOL____00419);\n\
00533 constraint array_bool_and([BOOL____00417, BOOL____00418], BOOL____00420) :: defines_var(BOOL____00420);\n\
00534 constraint array_bool_and([BOOL____00422, BOOL____00423], BOOL____00426) :: defines_var(BOOL____00426);\n\
00535 constraint array_bool_and([BOOL____00424, BOOL____00425], BOOL____00427) :: defines_var(BOOL____00427);\n\
00536 constraint array_bool_and([BOOL____00429, BOOL____00430], BOOL____00433) :: defines_var(BOOL____00433);\n\
00537 constraint array_bool_and([BOOL____00431, BOOL____00432], BOOL____00434) :: defines_var(BOOL____00434);\n\
00538 constraint array_bool_and([BOOL____00436, BOOL____00437], BOOL____00440) :: defines_var(BOOL____00440);\n\
00539 constraint array_bool_and([BOOL____00438, BOOL____00439], BOOL____00441) :: defines_var(BOOL____00441);\n\
00540 constraint array_bool_and([BOOL____00450, BOOL____00451], BOOL____00453) :: defines_var(BOOL____00453);\n\
00541 constraint array_bool_and([BOOL____00455, BOOL____00456], BOOL____00458) :: defines_var(BOOL____00458);\n\
00542 constraint array_bool_and([BOOL____00460, BOOL____00461], BOOL____00463) :: defines_var(BOOL____00463);\n\
00543 constraint array_bool_and([BOOL____00465, BOOL____00466], BOOL____00469) :: defines_var(BOOL____00469);\n\
00544 constraint array_bool_and([BOOL____00467, BOOL____00468], BOOL____00470) :: defines_var(BOOL____00470);\n\
00545 constraint array_bool_and([BOOL____00472, BOOL____00473], BOOL____00476) :: defines_var(BOOL____00476);\n\
00546 constraint array_bool_and([BOOL____00474, BOOL____00475], BOOL____00477) :: defines_var(BOOL____00477);\n\
00547 constraint array_bool_and([BOOL____00479, BOOL____00480], BOOL____00483) :: defines_var(BOOL____00483);\n\
00548 constraint array_bool_and([BOOL____00481, BOOL____00482], BOOL____00484) :: defines_var(BOOL____00484);\n\
00549 constraint array_bool_and([BOOL____00486, BOOL____00487], BOOL____00490) :: defines_var(BOOL____00490);\n\
00550 constraint array_bool_and([BOOL____00488, BOOL____00489], BOOL____00491) :: defines_var(BOOL____00491);\n\
00551 constraint array_bool_and([BOOL____00493, BOOL____00494], BOOL____00497) :: defines_var(BOOL____00497);\n\
00552 constraint array_bool_and([BOOL____00495, BOOL____00496], BOOL____00498) :: defines_var(BOOL____00498);\n\
00553 constraint array_bool_and([BOOL____00507, BOOL____00508], BOOL____00511) :: defines_var(BOOL____00511);\n\
00554 constraint array_bool_and([BOOL____00509, BOOL____00510], BOOL____00512) :: defines_var(BOOL____00512);\n\
00555 constraint array_bool_and([BOOL____00514, BOOL____00515], BOOL____00518) :: defines_var(BOOL____00518);\n\
00556 constraint array_bool_and([BOOL____00516, BOOL____00517], BOOL____00519) :: defines_var(BOOL____00519);\n\
00557 constraint array_bool_and([BOOL____00521, BOOL____00522], BOOL____00525) :: defines_var(BOOL____00525);\n\
00558 constraint array_bool_and([BOOL____00523, BOOL____00524], BOOL____00526) :: defines_var(BOOL____00526);\n\
00559 constraint array_bool_and([BOOL____00528, BOOL____00529], BOOL____00532) :: defines_var(BOOL____00532);\n\
00560 constraint array_bool_and([BOOL____00530, BOOL____00531], BOOL____00533) :: defines_var(BOOL____00533);\n\
00561 constraint array_bool_and([BOOL____00535, BOOL____00536], BOOL____00539) :: defines_var(BOOL____00539);\n\
00562 constraint array_bool_and([BOOL____00537, BOOL____00538], BOOL____00540) :: defines_var(BOOL____00540);\n\
00563 constraint array_bool_and([BOOL____00542, BOOL____00543], BOOL____00546) :: defines_var(BOOL____00546);\n\
00564 constraint array_bool_and([BOOL____00544, BOOL____00545], BOOL____00547) :: defines_var(BOOL____00547);\n\
00565 constraint array_bool_and([BOOL____00549, BOOL____00550], BOOL____00553) :: defines_var(BOOL____00553);\n\
00566 constraint array_bool_and([BOOL____00551, BOOL____00552], BOOL____00554) :: defines_var(BOOL____00554);\n\
00567 constraint array_bool_and([BOOL____00556, BOOL____00557], BOOL____00560) :: defines_var(BOOL____00560);\n\
00568 constraint array_bool_and([BOOL____00558, BOOL____00559], BOOL____00561) :: defines_var(BOOL____00561);\n\
00569 constraint array_bool_and([BOOL____00569, BOOL____00570], a[3]);\n\
00570 constraint array_bool_and([BOOL____00572, BOOL____00573], a[4]);\n\
00571 constraint array_bool_and([BOOL____00575, BOOL____00576], a[5]);\n\
00572 constraint array_bool_and([BOOL____00578, BOOL____00579], a[6]);\n\
00573 constraint array_bool_and([BOOL____00581, BOOL____00582], a[7]);\n\
00574 constraint array_bool_and([BOOL____00584, BOOL____00585], a[8]);\n\
00575 constraint array_bool_and([BOOL____00587, BOOL____00588], a[9]);\n\
00576 constraint array_bool_or([BOOL____00055, BOOL____00054], a[8]);\n\
00577 constraint array_bool_or([BOOL____00059, BOOL____00060], a[18]);\n\
00578 constraint array_bool_or([BOOL____00064, BOOL____00065], a[28]);\n\
00579 constraint array_bool_or([BOOL____00069, BOOL____00070], a[38]);\n\
00580 constraint array_bool_or([BOOL____00076, BOOL____00077], a[48]);\n\
00581 constraint array_bool_or([BOOL____00083, BOOL____00084], a[58]);\n\
00582 constraint array_bool_or([BOOL____00090, BOOL____00091], a[68]);\n\
00583 constraint array_bool_or([BOOL____00097, BOOL____00098], a[78]);\n\
00584 constraint array_bool_or([BOOL____00104, BOOL____00105], a[88]);\n\
00585 constraint array_bool_or([BOOL____00108, BOOL____00107], a[98]);\n\
00586 constraint array_bool_or([BOOL____00332, BOOL____00331], a[41]);\n\
00587 constraint array_bool_or([BOOL____00336, BOOL____00337], a[42]);\n\
00588 constraint array_bool_or([BOOL____00341, BOOL____00342], a[43]);\n\
00589 constraint array_bool_or([BOOL____00346, BOOL____00347], a[44]);\n\
00590 constraint array_bool_or([BOOL____00353, BOOL____00354], a[45]);\n\
00591 constraint array_bool_or([BOOL____00360, BOOL____00361], a[46]);\n\
00592 constraint array_bool_or([BOOL____00367, BOOL____00368], a[47]);\n\
00593 constraint array_bool_or([BOOL____00374, BOOL____00375], a[48]);\n\
00594 constraint array_bool_or([BOOL____00381, BOOL____00382], a[49]);\n\
00595 constraint array_bool_or([BOOL____00385, BOOL____00384], a[50]);\n\
00596 constraint array_bool_or([BOOL____00389, BOOL____00388], a[31]);\n\
00597 constraint array_bool_or([BOOL____00393, BOOL____00394], a[32]);\n\
00598 constraint array_bool_or([BOOL____00398, BOOL____00399], a[33]);\n\
00599 constraint array_bool_or([BOOL____00405, BOOL____00406], a[34]);\n\
00600 constraint array_bool_or([BOOL____00412, BOOL____00413], a[35]);\n\
00601 constraint array_bool_or([BOOL____00419, BOOL____00420], a[36]);\n\
00602 constraint array_bool_or([BOOL____00426, BOOL____00427], a[37]);\n\
00603 constraint array_bool_or([BOOL____00433, BOOL____00434], a[38]);\n\
00604 constraint array_bool_or([BOOL____00440, BOOL____00441], a[39]);\n\
00605 constraint array_bool_or([BOOL____00444, BOOL____00443], a[40]);\n\
00606 constraint array_bool_or([BOOL____00448, BOOL____00447], a[21]);\n\
00607 constraint array_bool_or([BOOL____00452, BOOL____00453], a[22]);\n\
00608 constraint array_bool_or([BOOL____00457, BOOL____00458], a[23]);\n\
00609 constraint array_bool_or([BOOL____00462, BOOL____00463], a[24]);\n\
00610 constraint array_bool_or([BOOL____00469, BOOL____00470], a[25]);\n\
00611 constraint array_bool_or([BOOL____00476, BOOL____00477], a[26]);\n\
00612 constraint array_bool_or([BOOL____00483, BOOL____00484], a[27]);\n\
00613 constraint array_bool_or([BOOL____00490, BOOL____00491], a[28]);\n\
00614 constraint array_bool_or([BOOL____00497, BOOL____00498], a[29]);\n\
00615 constraint array_bool_or([BOOL____00501, BOOL____00500], a[30]);\n\
00616 constraint array_bool_or([BOOL____00505, BOOL____00504], a[11]);\n\
00617 constraint array_bool_or([BOOL____00511, BOOL____00512], a[12]);\n\
00618 constraint array_bool_or([BOOL____00518, BOOL____00519], a[13]);\n\
00619 constraint array_bool_or([BOOL____00525, BOOL____00526], a[14]);\n\
00620 constraint array_bool_or([BOOL____00532, BOOL____00533], a[15]);\n\
00621 constraint array_bool_or([BOOL____00539, BOOL____00540], a[16]);\n\
00622 constraint array_bool_or([BOOL____00546, BOOL____00547], a[17]);\n\
00623 constraint array_bool_or([BOOL____00553, BOOL____00554], a[18]);\n\
00624 constraint array_bool_or([BOOL____00560, BOOL____00561], a[19]);\n\
00625 constraint array_bool_or([BOOL____00564, BOOL____00563], a[20]);\n\
00626 constraint int_le_reif(s____00001[1], 1, a[10]);\n\
00627 constraint int_le_reif(s____00001[1], 2, BOOL____00003) :: defines_var(BOOL____00003);\n\
00628 constraint int_le_reif(s____00001[1], 3, BOOL____00006) :: defines_var(BOOL____00006);\n\
00629 constraint int_le_reif(s____00001[1], 4, BOOL____00009) :: defines_var(BOOL____00009);\n\
00630 constraint int_le_reif(s____00001[1], 5, BOOL____00012) :: defines_var(BOOL____00012);\n\
00631 constraint int_le_reif(s____00001[1], 6, BOOL____00015) :: defines_var(BOOL____00015);\n\
00632 constraint int_le_reif(s____00001[1], 7, BOOL____00018) :: defines_var(BOOL____00018);\n\
00633 constraint int_le_reif(s____00001[1], 8, BOOL____00021) :: defines_var(BOOL____00021);\n\
00634 constraint int_le_reif(s____00001[1], 9, BOOL____00024) :: defines_var(BOOL____00024);\n\
00635 constraint int_le_reif(s____00028[1], 1, a[9]);\n\
00636 constraint int_le_reif(s____00028[1], 2, a[19]);\n\
00637 constraint int_le_reif(s____00028[1], 3, BOOL____00031) :: defines_var(BOOL____00031);\n\
00638 constraint int_le_reif(s____00028[1], 4, BOOL____00034) :: defines_var(BOOL____00034);\n\
00639 constraint int_le_reif(s____00028[1], 5, BOOL____00037) :: defines_var(BOOL____00037);\n\
00640 constraint int_le_reif(s____00028[1], 6, BOOL____00040) :: defines_var(BOOL____00040);\n\
00641 constraint int_le_reif(s____00028[1], 7, BOOL____00043) :: defines_var(BOOL____00043);\n\
00642 constraint int_le_reif(s____00028[1], 8, BOOL____00046) :: defines_var(BOOL____00046);\n\
00643 constraint int_le_reif(s____00028[1], 9, BOOL____00049) :: defines_var(BOOL____00049);\n\
00644 constraint int_le_reif(s____00053[1], 1, BOOL____00054) :: defines_var(BOOL____00054);\n\
00645 constraint int_le_reif(s____00053[1], 2, BOOL____00057) :: defines_var(BOOL____00057);\n\
00646 constraint int_le_reif(s____00053[1], 3, BOOL____00062) :: defines_var(BOOL____00062);\n\
00647 constraint int_le_reif(s____00053[1], 4, BOOL____00067) :: defines_var(BOOL____00067);\n\
00648 constraint int_le_reif(s____00053[1], 5, BOOL____00072) :: defines_var(BOOL____00072);\n\
00649 constraint int_le_reif(s____00053[1], 6, BOOL____00079) :: defines_var(BOOL____00079);\n\
00650 constraint int_le_reif(s____00053[1], 7, BOOL____00086) :: defines_var(BOOL____00086);\n\
00651 constraint int_le_reif(s____00053[1], 8, BOOL____00093) :: defines_var(BOOL____00093);\n\
00652 constraint int_le_reif(s____00053[1], 9, BOOL____00100) :: defines_var(BOOL____00100);\n\
00653 constraint int_le_reif(s____00053[2], 1, BOOL____00055) :: defines_var(BOOL____00055);\n\
00654 constraint int_le_reif(s____00053[2], 2, BOOL____00059) :: defines_var(BOOL____00059);\n\
00655 constraint int_le_reif(s____00053[2], 3, BOOL____00064) :: defines_var(BOOL____00064);\n\
00656 constraint int_le_reif(s____00053[2], 4, BOOL____00069) :: defines_var(BOOL____00069);\n\
00657 constraint int_le_reif(s____00053[2], 5, BOOL____00074) :: defines_var(BOOL____00074);\n\
00658 constraint int_le_reif(s____00053[2], 6, BOOL____00081) :: defines_var(BOOL____00081);\n\
00659 constraint int_le_reif(s____00053[2], 7, BOOL____00088) :: defines_var(BOOL____00088);\n\
00660 constraint int_le_reif(s____00053[2], 8, BOOL____00095) :: defines_var(BOOL____00095);\n\
00661 constraint int_le_reif(s____00053[2], 9, BOOL____00102) :: defines_var(BOOL____00102);\n\
00662 constraint int_le_reif(s____00110[1], 1, a[7]);\n\
00663 constraint int_le_reif(s____00110[1], 2, a[17]);\n\
00664 constraint int_le_reif(s____00110[1], 3, a[27]);\n\
00665 constraint int_le_reif(s____00110[1], 4, a[37]);\n\
00666 constraint int_le_reif(s____00110[1], 5, a[47]);\n\
00667 constraint int_le_reif(s____00110[1], 6, a[57]);\n\
00668 constraint int_le_reif(s____00110[1], 7, a[67]);\n\
00669 constraint int_le_reif(s____00110[1], 8, a[77]);\n\
00670 constraint int_le_reif(s____00110[1], 9, BOOL____00119) :: defines_var(BOOL____00119);\n\
00671 constraint int_le_reif(s____00123[1], 1, a[6]);\n\
00672 constraint int_le_reif(s____00123[1], 2, a[16]);\n\
00673 constraint int_le_reif(s____00123[1], 3, a[26]);\n\
00674 constraint int_le_reif(s____00123[1], 4, a[36]);\n\
00675 constraint int_le_reif(s____00123[1], 5, a[46]);\n\
00676 constraint int_le_reif(s____00123[1], 6, a[56]);\n\
00677 constraint int_le_reif(s____00123[1], 7, BOOL____00130) :: defines_var(BOOL____00130);\n\
00678 constraint int_le_reif(s____00123[1], 8, BOOL____00133) :: defines_var(BOOL____00133);\n\
00679 constraint int_le_reif(s____00123[1], 9, BOOL____00136) :: defines_var(BOOL____00136);\n\
00680 constraint int_le_reif(s____00140[1], 1, a[5]);\n\
00681 constraint int_le_reif(s____00140[1], 2, a[15]);\n\
00682 constraint int_le_reif(s____00140[1], 3, a[25]);\n\
00683 constraint int_le_reif(s____00140[1], 4, a[35]);\n\
00684 constraint int_le_reif(s____00140[1], 5, a[45]);\n\
00685 constraint int_le_reif(s____00140[1], 6, a[55]);\n\
00686 constraint int_le_reif(s____00140[1], 7, BOOL____00147) :: defines_var(BOOL____00147);\n\
00687 constraint int_le_reif(s____00140[1], 8, BOOL____00150) :: defines_var(BOOL____00150);\n\
00688 constraint int_le_reif(s____00140[1], 9, BOOL____00153) :: defines_var(BOOL____00153);\n\
00689 constraint int_le_reif(s____00157[1], 1, a[4]);\n\
00690 constraint int_le_reif(s____00157[1], 2, a[14]);\n\
00691 constraint int_le_reif(s____00157[1], 3, a[24]);\n\
00692 constraint int_le_reif(s____00157[1], 4, a[34]);\n\
00693 constraint int_le_reif(s____00157[1], 5, a[44]);\n\
00694 constraint int_le_reif(s____00157[1], 6, BOOL____00163) :: defines_var(BOOL____00163);\n\
00695 constraint int_le_reif(s____00157[1], 7, BOOL____00166) :: defines_var(BOOL____00166);\n\
00696 constraint int_le_reif(s____00157[1], 8, BOOL____00169) :: defines_var(BOOL____00169);\n"+"\
00697 constraint int_le_reif(s____00157[1], 9, BOOL____00172) :: defines_var(BOOL____00172);\n\
00698 constraint int_le_reif(s____00176[1], 1, a[3]);\n\
00699 constraint int_le_reif(s____00176[1], 2, a[13]);\n\
00700 constraint int_le_reif(s____00176[1], 3, a[23]);\n\
00701 constraint int_le_reif(s____00176[1], 4, a[33]);\n\
00702 constraint int_le_reif(s____00176[1], 5, BOOL____00181) :: defines_var(BOOL____00181);\n\
00703 constraint int_le_reif(s____00176[1], 6, BOOL____00184) :: defines_var(BOOL____00184);\n\
00704 constraint int_le_reif(s____00176[1], 7, BOOL____00187) :: defines_var(BOOL____00187);\n\
00705 constraint int_le_reif(s____00176[1], 8, BOOL____00190) :: defines_var(BOOL____00190);\n\
00706 constraint int_le_reif(s____00176[1], 9, BOOL____00193) :: defines_var(BOOL____00193);\n\
00707 constraint int_le_reif(s____00197[1], 1, a[2]);\n\
00708 constraint int_le_reif(s____00197[1], 2, a[12]);\n\
00709 constraint int_le_reif(s____00197[1], 3, a[22]);\n\
00710 constraint int_le_reif(s____00197[1], 4, BOOL____00201) :: defines_var(BOOL____00201);\n\
00711 constraint int_le_reif(s____00197[1], 5, BOOL____00204) :: defines_var(BOOL____00204);\n\
00712 constraint int_le_reif(s____00197[1], 6, BOOL____00207) :: defines_var(BOOL____00207);\n\
00713 constraint int_le_reif(s____00197[1], 7, BOOL____00210) :: defines_var(BOOL____00210);\n\
00714 constraint int_le_reif(s____00197[1], 8, BOOL____00213) :: defines_var(BOOL____00213);\n\
00715 constraint int_le_reif(s____00197[1], 9, BOOL____00216) :: defines_var(BOOL____00216);\n\
00716 constraint int_le_reif(s____00220[1], 1, a[1]);\n\
00717 constraint int_le_reif(s____00220[1], 2, a[11]);\n\
00718 constraint int_le_reif(s____00220[1], 3, a[21]);\n\
00719 constraint int_le_reif(s____00220[1], 4, a[31]);\n\
00720 constraint int_le_reif(s____00220[1], 5, a[41]);\n\
00721 constraint int_le_reif(s____00220[1], 6, BOOL____00226) :: defines_var(BOOL____00226);\n\
00722 constraint int_le_reif(s____00220[1], 7, BOOL____00229) :: defines_var(BOOL____00229);\n\
00723 constraint int_le_reif(s____00220[1], 8, BOOL____00232) :: defines_var(BOOL____00232);\n\
00724 constraint int_le_reif(s____00220[1], 9, BOOL____00235) :: defines_var(BOOL____00235);\n\
00725 constraint int_le_reif(s____00239[1], 1, a[91]);\n\
00726 constraint int_le_reif(s____00239[1], 2, a[92]);\n\
00727 constraint int_le_reif(s____00239[1], 3, BOOL____00242) :: defines_var(BOOL____00242);\n\
00728 constraint int_le_reif(s____00239[1], 4, BOOL____00245) :: defines_var(BOOL____00245);\n\
00729 constraint int_le_reif(s____00239[1], 5, BOOL____00248) :: defines_var(BOOL____00248);\n\
00730 constraint int_le_reif(s____00239[1], 6, BOOL____00251) :: defines_var(BOOL____00251);\n\
00731 constraint int_le_reif(s____00239[1], 7, BOOL____00254) :: defines_var(BOOL____00254);\n\
00732 constraint int_le_reif(s____00239[1], 8, BOOL____00257) :: defines_var(BOOL____00257);\n\
00733 constraint int_le_reif(s____00239[1], 9, BOOL____00260) :: defines_var(BOOL____00260);\n\
00734 constraint int_le_reif(s____00264[1], 1, a[81]);\n\
00735 constraint int_le_reif(s____00264[1], 2, a[82]);\n\
00736 constraint int_le_reif(s____00264[1], 3, a[83]);\n\
00737 constraint int_le_reif(s____00264[1], 4, a[84]);\n\
00738 constraint int_le_reif(s____00264[1], 5, BOOL____00269) :: defines_var(BOOL____00269);\n\
00739 constraint int_le_reif(s____00264[1], 6, BOOL____00272) :: defines_var(BOOL____00272);\n\
00740 constraint int_le_reif(s____00264[1], 7, BOOL____00275) :: defines_var(BOOL____00275);\n\
00741 constraint int_le_reif(s____00264[1], 8, BOOL____00278) :: defines_var(BOOL____00278);\n\
00742 constraint int_le_reif(s____00264[1], 9, BOOL____00281) :: defines_var(BOOL____00281);\n\
00743 constraint int_le_reif(s____00285[1], 1, a[71]);\n\
00744 constraint int_le_reif(s____00285[1], 2, a[72]);\n\
00745 constraint int_le_reif(s____00285[1], 3, a[73]);\n\
00746 constraint int_le_reif(s____00285[1], 4, a[74]);\n\
00747 constraint int_le_reif(s____00285[1], 5, a[75]);\n\
00748 constraint int_le_reif(s____00285[1], 6, a[76]);\n\
00749 constraint int_le_reif(s____00285[1], 7, BOOL____00292) :: defines_var(BOOL____00292);\n\
00750 constraint int_le_reif(s____00285[1], 8, BOOL____00295) :: defines_var(BOOL____00295);\n\
00751 constraint int_le_reif(s____00285[1], 9, BOOL____00298) :: defines_var(BOOL____00298);\n\
00752 constraint int_le_reif(s____00302[1], 1, a[61]);\n\
00753 constraint int_le_reif(s____00302[1], 2, a[62]);\n\
00754 constraint int_le_reif(s____00302[1], 3, a[63]);\n\
00755 constraint int_le_reif(s____00302[1], 4, a[64]);\n\
00756 constraint int_le_reif(s____00302[1], 5, a[65]);\n\
00757 constraint int_le_reif(s____00302[1], 6, a[66]);\n\
00758 constraint int_le_reif(s____00302[1], 7, a[67]);\n\
00759 constraint int_le_reif(s____00302[1], 8, BOOL____00310) :: defines_var(BOOL____00310);\n\
00760 constraint int_le_reif(s____00302[1], 9, BOOL____00313) :: defines_var(BOOL____00313);\n\
00761 constraint int_le_reif(s____00317[1], 1, a[51]);\n\
00762 constraint int_le_reif(s____00317[1], 2, a[52]);\n\
00763 constraint int_le_reif(s____00317[1], 3, a[53]);\n\
00764 constraint int_le_reif(s____00317[1], 4, a[54]);\n\
00765 constraint int_le_reif(s____00317[1], 5, a[55]);\n\
00766 constraint int_le_reif(s____00317[1], 6, a[56]);\n\
00767 constraint int_le_reif(s____00317[1], 7, a[57]);\n\
00768 constraint int_le_reif(s____00317[1], 8, a[58]);\n\
00769 constraint int_le_reif(s____00317[1], 9, BOOL____00326) :: defines_var(BOOL____00326);\n\
00770 constraint int_le_reif(s____00330[1], 1, BOOL____00331) :: defines_var(BOOL____00331);\n\
00771 constraint int_le_reif(s____00330[1], 2, BOOL____00334) :: defines_var(BOOL____00334);\n\
00772 constraint int_le_reif(s____00330[1], 3, BOOL____00339) :: defines_var(BOOL____00339);\n\
00773 constraint int_le_reif(s____00330[1], 4, BOOL____00344) :: defines_var(BOOL____00344);\n\
00774 constraint int_le_reif(s____00330[1], 5, BOOL____00349) :: defines_var(BOOL____00349);\n\
00775 constraint int_le_reif(s____00330[1], 6, BOOL____00356) :: defines_var(BOOL____00356);\n\
00776 constraint int_le_reif(s____00330[1], 7, BOOL____00363) :: defines_var(BOOL____00363);\n\
00777 constraint int_le_reif(s____00330[1], 8, BOOL____00370) :: defines_var(BOOL____00370);\n\
00778 constraint int_le_reif(s____00330[1], 9, BOOL____00377) :: defines_var(BOOL____00377);\n\
00779 constraint int_le_reif(s____00330[2], 1, BOOL____00332) :: defines_var(BOOL____00332);\n\
00780 constraint int_le_reif(s____00330[2], 2, BOOL____00336) :: defines_var(BOOL____00336);\n\
00781 constraint int_le_reif(s____00330[2], 3, BOOL____00341) :: defines_var(BOOL____00341);\n\
00782 constraint int_le_reif(s____00330[2], 4, BOOL____00346) :: defines_var(BOOL____00346);\n\
00783 constraint int_le_reif(s____00330[2], 5, BOOL____00351) :: defines_var(BOOL____00351);\n\
00784 constraint int_le_reif(s____00330[2], 6, BOOL____00358) :: defines_var(BOOL____00358);\n\
00785 constraint int_le_reif(s____00330[2], 7, BOOL____00365) :: defines_var(BOOL____00365);\n\
00786 constraint int_le_reif(s____00330[2], 8, BOOL____00372) :: defines_var(BOOL____00372);\n\
00787 constraint int_le_reif(s____00330[2], 9, BOOL____00379) :: defines_var(BOOL____00379);\n\
00788 constraint int_le_reif(s____00387[1], 1, BOOL____00388) :: defines_var(BOOL____00388);\n\
00789 constraint int_le_reif(s____00387[1], 2, BOOL____00391) :: defines_var(BOOL____00391);\n\
00790 constraint int_le_reif(s____00387[1], 3, BOOL____00396) :: defines_var(BOOL____00396);\n\
00791 constraint int_le_reif(s____00387[1], 4, BOOL____00401) :: defines_var(BOOL____00401);\n\
00792 constraint int_le_reif(s____00387[1], 5, BOOL____00408) :: defines_var(BOOL____00408);\n\
00793 constraint int_le_reif(s____00387[1], 6, BOOL____00415) :: defines_var(BOOL____00415);\n\
00794 constraint int_le_reif(s____00387[1], 7, BOOL____00422) :: defines_var(BOOL____00422);\n\
00795 constraint int_le_reif(s____00387[1], 8, BOOL____00429) :: defines_var(BOOL____00429);\n\
00796 constraint int_le_reif(s____00387[1], 9, BOOL____00436) :: defines_var(BOOL____00436);\n\
00797 constraint int_le_reif(s____00387[2], 1, BOOL____00389) :: defines_var(BOOL____00389);\n\
00798 constraint int_le_reif(s____00387[2], 2, BOOL____00393) :: defines_var(BOOL____00393);\n\
00799 constraint int_le_reif(s____00387[2], 3, BOOL____00398) :: defines_var(BOOL____00398);\n\
00800 constraint int_le_reif(s____00387[2], 4, BOOL____00403) :: defines_var(BOOL____00403);\n\
00801 constraint int_le_reif(s____00387[2], 5, BOOL____00410) :: defines_var(BOOL____00410);\n\
00802 constraint int_le_reif(s____00387[2], 6, BOOL____00417) :: defines_var(BOOL____00417);\n\
00803 constraint int_le_reif(s____00387[2], 7, BOOL____00424) :: defines_var(BOOL____00424);\n\
00804 constraint int_le_reif(s____00387[2], 8, BOOL____00431) :: defines_var(BOOL____00431);\n\
00805 constraint int_le_reif(s____00387[2], 9, BOOL____00438) :: defines_var(BOOL____00438);\n\
00806 constraint int_le_reif(s____00446[1], 1, BOOL____00447) :: defines_var(BOOL____00447);\n\
00807 constraint int_le_reif(s____00446[1], 2, BOOL____00450) :: defines_var(BOOL____00450);\n\
00808 constraint int_le_reif(s____00446[1], 3, BOOL____00455) :: defines_var(BOOL____00455);\n\
00809 constraint int_le_reif(s____00446[1], 4, BOOL____00460) :: defines_var(BOOL____00460);\n\
00810 constraint int_le_reif(s____00446[1], 5, BOOL____00465) :: defines_var(BOOL____00465);\n\
00811 constraint int_le_reif(s____00446[1], 6, BOOL____00472) :: defines_var(BOOL____00472);\n\
00812 constraint int_le_reif(s____00446[1], 7, BOOL____00479) :: defines_var(BOOL____00479);\n\
00813 constraint int_le_reif(s____00446[1], 8, BOOL____00486) :: defines_var(BOOL____00486);\n\
00814 constraint int_le_reif(s____00446[1], 9, BOOL____00493) :: defines_var(BOOL____00493);\n\
00815 constraint int_le_reif(s____00446[2], 1, BOOL____00448) :: defines_var(BOOL____00448);\n\
00816 constraint int_le_reif(s____00446[2], 2, BOOL____00452) :: defines_var(BOOL____00452);\n\
00817 constraint int_le_reif(s____00446[2], 3, BOOL____00457) :: defines_var(BOOL____00457);\n\
00818 constraint int_le_reif(s____00446[2], 4, BOOL____00462) :: defines_var(BOOL____00462);\n\
00819 constraint int_le_reif(s____00446[2], 5, BOOL____00467) :: defines_var(BOOL____00467);\n\
00820 constraint int_le_reif(s____00446[2], 6, BOOL____00474) :: defines_var(BOOL____00474);\n\
00821 constraint int_le_reif(s____00446[2], 7, BOOL____00481) :: defines_var(BOOL____00481);\n\
00822 constraint int_le_reif(s____00446[2], 8, BOOL____00488) :: defines_var(BOOL____00488);\n\
00823 constraint int_le_reif(s____00446[2], 9, BOOL____00495) :: defines_var(BOOL____00495);\n\
00824 constraint int_le_reif(s____00503[1], 1, BOOL____00504) :: defines_var(BOOL____00504);\n\
00825 constraint int_le_reif(s____00503[1], 2, BOOL____00507) :: defines_var(BOOL____00507);\n\
00826 constraint int_le_reif(s____00503[1], 3, BOOL____00514) :: defines_var(BOOL____00514);\n\
00827 constraint int_le_reif(s____00503[1], 4, BOOL____00521) :: defines_var(BOOL____00521);\n\
00828 constraint int_le_reif(s____00503[1], 5, BOOL____00528) :: defines_var(BOOL____00528);\n\
00829 constraint int_le_reif(s____00503[1], 6, BOOL____00535) :: defines_var(BOOL____00535);\n\
00830 constraint int_le_reif(s____00503[1], 7, BOOL____00542) :: defines_var(BOOL____00542);\n\
00831 constraint int_le_reif(s____00503[1], 8, BOOL____00549) :: defines_var(BOOL____00549);\n\
00832 constraint int_le_reif(s____00503[1], 9, BOOL____00556) :: defines_var(BOOL____00556);\n\
00833 constraint int_le_reif(s____00503[2], 1, BOOL____00505) :: defines_var(BOOL____00505);\n\
00834 constraint int_le_reif(s____00503[2], 2, BOOL____00509) :: defines_var(BOOL____00509);\n\
00835 constraint int_le_reif(s____00503[2], 3, BOOL____00516) :: defines_var(BOOL____00516);\n\
00836 constraint int_le_reif(s____00503[2], 4, BOOL____00523) :: defines_var(BOOL____00523);\n\
00837 constraint int_le_reif(s____00503[2], 5, BOOL____00530) :: defines_var(BOOL____00530);\n\
00838 constraint int_le_reif(s____00503[2], 6, BOOL____00537) :: defines_var(BOOL____00537);\n\
00839 constraint int_le_reif(s____00503[2], 7, BOOL____00544) :: defines_var(BOOL____00544);\n\
00840 constraint int_le_reif(s____00503[2], 8, BOOL____00551) :: defines_var(BOOL____00551);\n\
00841 constraint int_le_reif(s____00503[2], 9, BOOL____00558) :: defines_var(BOOL____00558);\n\
00842 constraint int_le_reif(s____00566[1], 1, a[1]);\n\
00843 constraint int_le_reif(s____00566[1], 2, a[2]);\n\
00844 constraint int_le_reif(s____00566[1], 3, BOOL____00569) :: defines_var(BOOL____00569);\n\
00845 constraint int_le_reif(s____00566[1], 4, BOOL____00572) :: defines_var(BOOL____00572);\n\
00846 constraint int_le_reif(s____00566[1], 5, BOOL____00575) :: defines_var(BOOL____00575);\n\
00847 constraint int_le_reif(s____00566[1], 6, BOOL____00578) :: defines_var(BOOL____00578);\n\
00848 constraint int_le_reif(s____00566[1], 7, BOOL____00581) :: defines_var(BOOL____00581);\n\
00849 constraint int_le_reif(s____00566[1], 8, BOOL____00584) :: defines_var(BOOL____00584);\n\
00850 constraint int_le_reif(s____00566[1], 9, BOOL____00587) :: defines_var(BOOL____00587);\n\
00851 constraint int_lin_le([1], [s____00028[1]], 9);\n\
00852 constraint int_lin_le([1], [s____00053[2]], 7);\n\
00853 constraint int_lin_le([1], [s____00110[1]], 3);\n\
00854 constraint int_lin_le([1], [s____00123[1]], 5);\n\
00855 constraint int_lin_le([1], [s____00140[1]], 5);\n\
00856 constraint int_lin_le([1], [s____00157[1]], 6);\n\
00857 constraint int_lin_le([1], [s____00176[1]], 7);\n\
00858 constraint int_lin_le([1], [s____00197[1]], 8);\n\
00859 constraint int_lin_le([1], [s____00220[1]], 6);\n\
00860 constraint int_lin_le([1], [s____00239[1]], 9);\n\
00861 constraint int_lin_le([1], [s____00264[1]], 7);\n\
00862 constraint int_lin_le([1], [s____00285[1]], 5);\n\
00863 constraint int_lin_le([1], [s____00302[1]], 4);\n\
00864 constraint int_lin_le([1], [s____00317[1]], 3);\n\
00865 constraint int_lin_le([1], [s____00330[2]], 7);\n\
00866 constraint int_lin_le([1], [s____00387[2]], 8);\n\
00867 constraint int_lin_le([1], [s____00446[2]], 7);\n\
00868 constraint int_lin_le([1], [s____00566[1]], 9);\n\
00869 constraint int_lin_le([1, -1], [s____00053[1], s____00053[2]], -2);\n\
00870 constraint int_lin_le([1, -1], [s____00330[1], s____00330[2]], -2);\n\
00871 constraint int_lin_le([1, -1], [s____00387[1], s____00387[2]], -2);\n\
00872 constraint int_lin_le([1, -1], [s____00446[1], s____00446[2]], -2);\n\
00873 constraint int_lin_le([1, -1], [s____00503[1], s____00503[2]], -2);\n\
00874 constraint int_lin_le_reif([-1], [s____00001[1]], -10, a[100]);\n\
00875 constraint int_lin_le_reif([-1], [s____00001[1]], -9, BOOL____00025) :: defines_var(BOOL____00025);\n\
00876 constraint int_lin_le_reif([-1], [s____00001[1]], -8, BOOL____00022) :: defines_var(BOOL____00022);\n\
00877 constraint int_lin_le_reif([-1], [s____00001[1]], -7, BOOL____00019) :: defines_var(BOOL____00019);\n\
00878 constraint int_lin_le_reif([-1], [s____00001[1]], -6, BOOL____00016) :: defines_var(BOOL____00016);\n\
00879 constraint int_lin_le_reif([-1], [s____00001[1]], -5, BOOL____00013) :: defines_var(BOOL____00013);\n\
00880 constraint int_lin_le_reif([-1], [s____00001[1]], -4, BOOL____00010) :: defines_var(BOOL____00010);\n\
00881 constraint int_lin_le_reif([-1], [s____00001[1]], -3, BOOL____00007) :: defines_var(BOOL____00007);\n\
00882 constraint int_lin_le_reif([-1], [s____00001[1]], -2, BOOL____00004) :: defines_var(BOOL____00004);\n\
00883 constraint int_lin_le_reif([-1], [s____00028[1]], -9, a[99]);\n\
00884 constraint int_lin_le_reif([-1], [s____00028[1]], -8, BOOL____00050) :: defines_var(BOOL____00050);\n\
00885 constraint int_lin_le_reif([-1], [s____00028[1]], -7, BOOL____00047) :: defines_var(BOOL____00047);\n\
00886 constraint int_lin_le_reif([-1], [s____00028[1]], -6, BOOL____00044) :: defines_var(BOOL____00044);\n\
00887 constraint int_lin_le_reif([-1], [s____00028[1]], -5, BOOL____00041) :: defines_var(BOOL____00041);\n\
00888 constraint int_lin_le_reif([-1], [s____00028[1]], -4, BOOL____00038) :: defines_var(BOOL____00038);\n\
00889 constraint int_lin_le_reif([-1], [s____00028[1]], -3, BOOL____00035) :: defines_var(BOOL____00035);\n\
00890 constraint int_lin_le_reif([-1], [s____00028[1]], -2, BOOL____00032) :: defines_var(BOOL____00032);\n\
00891 constraint int_lin_le_reif([-1], [s____00053[1]], -10, BOOL____00107) :: defines_var(BOOL____00107);\n\
00892 constraint int_lin_le_reif([-1], [s____00053[1]], -9, BOOL____00101) :: defines_var(BOOL____00101);\n\
00893 constraint int_lin_le_reif([-1], [s____00053[1]], -8, BOOL____00094) :: defines_var(BOOL____00094);\n\
00894 constraint int_lin_le_reif([-1], [s____00053[1]], -7, BOOL____00087) :: defines_var(BOOL____00087);\n\
00895 constraint int_lin_le_reif([-1], [s____00053[1]], -6, BOOL____00080) :: defines_var(BOOL____00080);\n\
00896 constraint int_lin_le_reif([-1], [s____00053[1]], -5, BOOL____00073) :: defines_var(BOOL____00073);\n"+"\
00897 constraint int_lin_le_reif([-1], [s____00053[1]], -4, BOOL____00068) :: defines_var(BOOL____00068);\n\
00898 constraint int_lin_le_reif([-1], [s____00053[1]], -3, BOOL____00063) :: defines_var(BOOL____00063);\n\
00899 constraint int_lin_le_reif([-1], [s____00053[1]], -2, BOOL____00058) :: defines_var(BOOL____00058);\n\
00900 constraint int_lin_le_reif([-1], [s____00053[2]], -7, BOOL____00108) :: defines_var(BOOL____00108);\n\
00901 constraint int_lin_le_reif([-1], [s____00053[2]], -6, BOOL____00103) :: defines_var(BOOL____00103);\n\
00902 constraint int_lin_le_reif([-1], [s____00053[2]], -5, BOOL____00096) :: defines_var(BOOL____00096);\n\
00903 constraint int_lin_le_reif([-1], [s____00053[2]], -4, BOOL____00089) :: defines_var(BOOL____00089);\n\
00904 constraint int_lin_le_reif([-1], [s____00053[2]], -3, BOOL____00082) :: defines_var(BOOL____00082);\n\
00905 constraint int_lin_le_reif([-1], [s____00053[2]], -2, BOOL____00075) :: defines_var(BOOL____00075);\n\
00906 constraint int_lin_le_reif([-1], [s____00110[1]], -3, a[97]);\n\
00907 constraint int_lin_le_reif([-1], [s____00110[1]], -2, BOOL____00120) :: defines_var(BOOL____00120);\n\
00908 constraint int_lin_le_reif([-1], [s____00123[1]], -5, a[96]);\n\
00909 constraint int_lin_le_reif([-1], [s____00123[1]], -4, BOOL____00137) :: defines_var(BOOL____00137);\n\
00910 constraint int_lin_le_reif([-1], [s____00123[1]], -3, BOOL____00134) :: defines_var(BOOL____00134);\n\
00911 constraint int_lin_le_reif([-1], [s____00123[1]], -2, BOOL____00131) :: defines_var(BOOL____00131);\n\
00912 constraint int_lin_le_reif([-1], [s____00140[1]], -5, a[95]);\n\
00913 constraint int_lin_le_reif([-1], [s____00140[1]], -4, BOOL____00154) :: defines_var(BOOL____00154);\n\
00914 constraint int_lin_le_reif([-1], [s____00140[1]], -3, BOOL____00151) :: defines_var(BOOL____00151);\n\
00915 constraint int_lin_le_reif([-1], [s____00140[1]], -2, BOOL____00148) :: defines_var(BOOL____00148);\n\
00916 constraint int_lin_le_reif([-1], [s____00157[1]], -6, a[94]);\n\
00917 constraint int_lin_le_reif([-1], [s____00157[1]], -5, BOOL____00173) :: defines_var(BOOL____00173);\n\
00918 constraint int_lin_le_reif([-1], [s____00157[1]], -4, BOOL____00170) :: defines_var(BOOL____00170);\n\
00919 constraint int_lin_le_reif([-1], [s____00157[1]], -3, BOOL____00167) :: defines_var(BOOL____00167);\n\
00920 constraint int_lin_le_reif([-1], [s____00157[1]], -2, BOOL____00164) :: defines_var(BOOL____00164);\n\
00921 constraint int_lin_le_reif([-1], [s____00176[1]], -7, a[93]);\n\
00922 constraint int_lin_le_reif([-1], [s____00176[1]], -6, BOOL____00194) :: defines_var(BOOL____00194);\n\
00923 constraint int_lin_le_reif([-1], [s____00176[1]], -5, BOOL____00191) :: defines_var(BOOL____00191);\n\
00924 constraint int_lin_le_reif([-1], [s____00176[1]], -4, BOOL____00188) :: defines_var(BOOL____00188);\n\
00925 constraint int_lin_le_reif([-1], [s____00176[1]], -3, BOOL____00185) :: defines_var(BOOL____00185);\n\
00926 constraint int_lin_le_reif([-1], [s____00176[1]], -2, BOOL____00182) :: defines_var(BOOL____00182);\n\
00927 constraint int_lin_le_reif([-1], [s____00197[1]], -8, a[92]);\n\
00928 constraint int_lin_le_reif([-1], [s____00197[1]], -7, BOOL____00217) :: defines_var(BOOL____00217);\n\
00929 constraint int_lin_le_reif([-1], [s____00197[1]], -6, BOOL____00214) :: defines_var(BOOL____00214);\n\
00930 constraint int_lin_le_reif([-1], [s____00197[1]], -5, BOOL____00211) :: defines_var(BOOL____00211);\n\
00931 constraint int_lin_le_reif([-1], [s____00197[1]], -4, BOOL____00208) :: defines_var(BOOL____00208);\n\
00932 constraint int_lin_le_reif([-1], [s____00197[1]], -3, BOOL____00205) :: defines_var(BOOL____00205);\n\
00933 constraint int_lin_le_reif([-1], [s____00197[1]], -2, BOOL____00202) :: defines_var(BOOL____00202);\n\
00934 constraint int_lin_le_reif([-1], [s____00220[1]], -6, a[91]);\n\
00935 constraint int_lin_le_reif([-1], [s____00220[1]], -5, BOOL____00236) :: defines_var(BOOL____00236);\n\
00936 constraint int_lin_le_reif([-1], [s____00220[1]], -4, BOOL____00233) :: defines_var(BOOL____00233);\n\
00937 constraint int_lin_le_reif([-1], [s____00220[1]], -3, BOOL____00230) :: defines_var(BOOL____00230);\n\
00938 constraint int_lin_le_reif([-1], [s____00220[1]], -2, BOOL____00227) :: defines_var(BOOL____00227);\n\
00939 constraint int_lin_le_reif([-1], [s____00239[1]], -9, a[100]);\n\
00940 constraint int_lin_le_reif([-1], [s____00239[1]], -8, BOOL____00261) :: defines_var(BOOL____00261);\n\
00941 constraint int_lin_le_reif([-1], [s____00239[1]], -7, BOOL____00258) :: defines_var(BOOL____00258);\n\
00942 constraint int_lin_le_reif([-1], [s____00239[1]], -6, BOOL____00255) :: defines_var(BOOL____00255);\n\
00943 constraint int_lin_le_reif([-1], [s____00239[1]], -5, BOOL____00252) :: defines_var(BOOL____00252);\n\
00944 constraint int_lin_le_reif([-1], [s____00239[1]], -4, BOOL____00249) :: defines_var(BOOL____00249);\n\
00945 constraint int_lin_le_reif([-1], [s____00239[1]], -3, BOOL____00246) :: defines_var(BOOL____00246);\n\
00946 constraint int_lin_le_reif([-1], [s____00239[1]], -2, BOOL____00243) :: defines_var(BOOL____00243);\n\
00947 constraint int_lin_le_reif([-1], [s____00264[1]], -7, a[90]);\n\
00948 constraint int_lin_le_reif([-1], [s____00264[1]], -6, BOOL____00282) :: defines_var(BOOL____00282);\n\
00949 constraint int_lin_le_reif([-1], [s____00264[1]], -5, BOOL____00279) :: defines_var(BOOL____00279);\n\
00950 constraint int_lin_le_reif([-1], [s____00264[1]], -4, BOOL____00276) :: defines_var(BOOL____00276);\n\
00951 constraint int_lin_le_reif([-1], [s____00264[1]], -3, BOOL____00273) :: defines_var(BOOL____00273);\n\
00952 constraint int_lin_le_reif([-1], [s____00264[1]], -2, BOOL____00270) :: defines_var(BOOL____00270);\n\
00953 constraint int_lin_le_reif([-1], [s____00285[1]], -5, a[80]);\n\
00954 constraint int_lin_le_reif([-1], [s____00285[1]], -4, BOOL____00299) :: defines_var(BOOL____00299);\n\
00955 constraint int_lin_le_reif([-1], [s____00285[1]], -3, BOOL____00296) :: defines_var(BOOL____00296);\n\
00956 constraint int_lin_le_reif([-1], [s____00285[1]], -2, BOOL____00293) :: defines_var(BOOL____00293);\n\
00957 constraint int_lin_le_reif([-1], [s____00302[1]], -4, a[70]);\n\
00958 constraint int_lin_le_reif([-1], [s____00302[1]], -3, BOOL____00314) :: defines_var(BOOL____00314);\n\
00959 constraint int_lin_le_reif([-1], [s____00302[1]], -2, BOOL____00311) :: defines_var(BOOL____00311);\n\
00960 constraint int_lin_le_reif([-1], [s____00317[1]], -3, a[60]);\n\
00961 constraint int_lin_le_reif([-1], [s____00317[1]], -2, BOOL____00327) :: defines_var(BOOL____00327);\n\
00962 constraint int_lin_le_reif([-1], [s____00330[1]], -10, BOOL____00384) :: defines_var(BOOL____00384);\n\
00963 constraint int_lin_le_reif([-1], [s____00330[1]], -9, BOOL____00378) :: defines_var(BOOL____00378);\n\
00964 constraint int_lin_le_reif([-1], [s____00330[1]], -8, BOOL____00371) :: defines_var(BOOL____00371);\n\
00965 constraint int_lin_le_reif([-1], [s____00330[1]], -7, BOOL____00364) :: defines_var(BOOL____00364);\n\
00966 constraint int_lin_le_reif([-1], [s____00330[1]], -6, BOOL____00357) :: defines_var(BOOL____00357);\n\
00967 constraint int_lin_le_reif([-1], [s____00330[1]], -5, BOOL____00350) :: defines_var(BOOL____00350);\n\
00968 constraint int_lin_le_reif([-1], [s____00330[1]], -4, BOOL____00345) :: defines_var(BOOL____00345);\n\
00969 constraint int_lin_le_reif([-1], [s____00330[1]], -3, BOOL____00340) :: defines_var(BOOL____00340);\n\
00970 constraint int_lin_le_reif([-1], [s____00330[1]], -2, BOOL____00335) :: defines_var(BOOL____00335);\n\
00971 constraint int_lin_le_reif([-1], [s____00330[2]], -7, BOOL____00385) :: defines_var(BOOL____00385);\n\
00972 constraint int_lin_le_reif([-1], [s____00330[2]], -6, BOOL____00380) :: defines_var(BOOL____00380);\n\
00973 constraint int_lin_le_reif([-1], [s____00330[2]], -5, BOOL____00373) :: defines_var(BOOL____00373);\n\
00974 constraint int_lin_le_reif([-1], [s____00330[2]], -4, BOOL____00366) :: defines_var(BOOL____00366);\n\
00975 constraint int_lin_le_reif([-1], [s____00330[2]], -3, BOOL____00359) :: defines_var(BOOL____00359);\n\
00976 constraint int_lin_le_reif([-1], [s____00330[2]], -2, BOOL____00352) :: defines_var(BOOL____00352);\n\
00977 constraint int_lin_le_reif([-1], [s____00387[1]], -10, BOOL____00443) :: defines_var(BOOL____00443);\n\
00978 constraint int_lin_le_reif([-1], [s____00387[1]], -9, BOOL____00437) :: defines_var(BOOL____00437);\n\
00979 constraint int_lin_le_reif([-1], [s____00387[1]], -8, BOOL____00430) :: defines_var(BOOL____00430);\n\
00980 constraint int_lin_le_reif([-1], [s____00387[1]], -7, BOOL____00423) :: defines_var(BOOL____00423);\n\
00981 constraint int_lin_le_reif([-1], [s____00387[1]], -6, BOOL____00416) :: defines_var(BOOL____00416);\n\
00982 constraint int_lin_le_reif([-1], [s____00387[1]], -5, BOOL____00409) :: defines_var(BOOL____00409);\n\
00983 constraint int_lin_le_reif([-1], [s____00387[1]], -4, BOOL____00402) :: defines_var(BOOL____00402);\n\
00984 constraint int_lin_le_reif([-1], [s____00387[1]], -3, BOOL____00397) :: defines_var(BOOL____00397);\n\
00985 constraint int_lin_le_reif([-1], [s____00387[1]], -2, BOOL____00392) :: defines_var(BOOL____00392);\n\
00986 constraint int_lin_le_reif([-1], [s____00387[2]], -8, BOOL____00444) :: defines_var(BOOL____00444);\n\
00987 constraint int_lin_le_reif([-1], [s____00387[2]], -7, BOOL____00439) :: defines_var(BOOL____00439);\n\
00988 constraint int_lin_le_reif([-1], [s____00387[2]], -6, BOOL____00432) :: defines_var(BOOL____00432);\n\
00989 constraint int_lin_le_reif([-1], [s____00387[2]], -5, BOOL____00425) :: defines_var(BOOL____00425);\n\
00990 constraint int_lin_le_reif([-1], [s____00387[2]], -4, BOOL____00418) :: defines_var(BOOL____00418);\n\
00991 constraint int_lin_le_reif([-1], [s____00387[2]], -3, BOOL____00411) :: defines_var(BOOL____00411);\n\
00992 constraint int_lin_le_reif([-1], [s____00387[2]], -2, BOOL____00404) :: defines_var(BOOL____00404);\n\
00993 constraint int_lin_le_reif([-1], [s____00446[1]], -10, BOOL____00500) :: defines_var(BOOL____00500);\n\
00994 constraint int_lin_le_reif([-1], [s____00446[1]], -9, BOOL____00494) :: defines_var(BOOL____00494);\n\
00995 constraint int_lin_le_reif([-1], [s____00446[1]], -8, BOOL____00487) :: defines_var(BOOL____00487);\n\
00996 constraint int_lin_le_reif([-1], [s____00446[1]], -7, BOOL____00480) :: defines_var(BOOL____00480);\n\
00997 constraint int_lin_le_reif([-1], [s____00446[1]], -6, BOOL____00473) :: defines_var(BOOL____00473);\n\
00998 constraint int_lin_le_reif([-1], [s____00446[1]], -5, BOOL____00466) :: defines_var(BOOL____00466);\n\
00999 constraint int_lin_le_reif([-1], [s____00446[1]], -4, BOOL____00461) :: defines_var(BOOL____00461);\n\
01000 constraint int_lin_le_reif([-1], [s____00446[1]], -3, BOOL____00456) :: defines_var(BOOL____00456);\n\
01001 constraint int_lin_le_reif([-1], [s____00446[1]], -2, BOOL____00451) :: defines_var(BOOL____00451);\n\
01002 constraint int_lin_le_reif([-1], [s____00446[2]], -7, BOOL____00501) :: defines_var(BOOL____00501);\n\
01003 constraint int_lin_le_reif([-1], [s____00446[2]], -6, BOOL____00496) :: defines_var(BOOL____00496);\n\
01004 constraint int_lin_le_reif([-1], [s____00446[2]], -5, BOOL____00489) :: defines_var(BOOL____00489);\n\
01005 constraint int_lin_le_reif([-1], [s____00446[2]], -4, BOOL____00482) :: defines_var(BOOL____00482);\n\
01006 constraint int_lin_le_reif([-1], [s____00446[2]], -3, BOOL____00475) :: defines_var(BOOL____00475);\n\
01007 constraint int_lin_le_reif([-1], [s____00446[2]], -2, BOOL____00468) :: defines_var(BOOL____00468);\n\
01008 constraint int_lin_le_reif([-1], [s____00503[1]], -10, BOOL____00563) :: defines_var(BOOL____00563);\n\
01009 constraint int_lin_le_reif([-1], [s____00503[1]], -9, BOOL____00557) :: defines_var(BOOL____00557);\n\
01010 constraint int_lin_le_reif([-1], [s____00503[1]], -8, BOOL____00550) :: defines_var(BOOL____00550);\n\
01011 constraint int_lin_le_reif([-1], [s____00503[1]], -7, BOOL____00543) :: defines_var(BOOL____00543);\n\
01012 constraint int_lin_le_reif([-1], [s____00503[1]], -6, BOOL____00536) :: defines_var(BOOL____00536);\n\
01013 constraint int_lin_le_reif([-1], [s____00503[1]], -5, BOOL____00529) :: defines_var(BOOL____00529);\n\
01014 constraint int_lin_le_reif([-1], [s____00503[1]], -4, BOOL____00522) :: defines_var(BOOL____00522);\n\
01015 constraint int_lin_le_reif([-1], [s____00503[1]], -3, BOOL____00515) :: defines_var(BOOL____00515);\n\
01016 constraint int_lin_le_reif([-1], [s____00503[1]], -2, BOOL____00508) :: defines_var(BOOL____00508);\n\
01017 constraint int_lin_le_reif([-1], [s____00503[2]], -10, BOOL____00564) :: defines_var(BOOL____00564);\n\
01018 constraint int_lin_le_reif([-1], [s____00503[2]], -9, BOOL____00559) :: defines_var(BOOL____00559);\n\
01019 constraint int_lin_le_reif([-1], [s____00503[2]], -8, BOOL____00552) :: defines_var(BOOL____00552);\n\
01020 constraint int_lin_le_reif([-1], [s____00503[2]], -7, BOOL____00545) :: defines_var(BOOL____00545);\n\
01021 constraint int_lin_le_reif([-1], [s____00503[2]], -6, BOOL____00538) :: defines_var(BOOL____00538);\n\
01022 constraint int_lin_le_reif([-1], [s____00503[2]], -5, BOOL____00531) :: defines_var(BOOL____00531);\n\
01023 constraint int_lin_le_reif([-1], [s____00503[2]], -4, BOOL____00524) :: defines_var(BOOL____00524);\n\
01024 constraint int_lin_le_reif([-1], [s____00503[2]], -3, BOOL____00517) :: defines_var(BOOL____00517);\n\
01025 constraint int_lin_le_reif([-1], [s____00503[2]], -2, BOOL____00510) :: defines_var(BOOL____00510);\n\
01026 constraint int_lin_le_reif([-1], [s____00566[1]], -9, a[10]);\n\
01027 constraint int_lin_le_reif([-1], [s____00566[1]], -8, BOOL____00588) :: defines_var(BOOL____00588);\n\
01028 constraint int_lin_le_reif([-1], [s____00566[1]], -7, BOOL____00585) :: defines_var(BOOL____00585);\n\
01029 constraint int_lin_le_reif([-1], [s____00566[1]], -6, BOOL____00582) :: defines_var(BOOL____00582);\n\
01030 constraint int_lin_le_reif([-1], [s____00566[1]], -5, BOOL____00579) :: defines_var(BOOL____00579);\n\
01031 constraint int_lin_le_reif([-1], [s____00566[1]], -4, BOOL____00576) :: defines_var(BOOL____00576);\n\
01032 constraint int_lin_le_reif([-1], [s____00566[1]], -3, BOOL____00573) :: defines_var(BOOL____00573);\n\
01033 constraint int_lin_le_reif([-1], [s____00566[1]], -2, BOOL____00570) :: defines_var(BOOL____00570);\n\
01034 solve satisfy;\n\
01035 ", "a = array2d(1..10, 1..10, [false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false, true, false, true, false, true, false, false, false, false, false, true, true, true, true, true, false, false, false, false, true, true, true, false, false, true, false, false, false, true, true, true, true, false, false, true, true, true, true, true, true, true, true, false, false, true, true, true, true, true, true, true, false, false, false, false, true, true, true, true, true, true, false, false, false, false, false, true, true, true, true, false, false, false, false, false, false, false, true, true, false, false, false, false, false]);\n\
01036 ----------\n\
01037 ");
01038 }
01039 };
01040
01041 Create c;
01042 }
01043
01044 }}
01045
01046