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("battleships::10",
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 predicate count(array [int] of var int: x, var int: y, var int: c);\n\
00051 predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);\n\
00052 array [1..4] of int: class_sizes = [4, 3, 2, 1];\n\
00053 var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;\n\
00054 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;\n\
00055 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00056 var bool: BOOL____00099 :: is_defined_var :: var_is_introduced;\n\
00057 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;\n\
00058 var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;\n\
00059 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;\n\
00060 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;\n\
00061 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00062 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00063 var bool: BOOL____00106 :: is_defined_var :: var_is_introduced;\n\
00064 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00065 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00066 var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;\n\
00067 var bool: BOOL____00110 :: is_defined_var :: var_is_introduced;\n\
00068 var bool: BOOL____00111 :: is_defined_var :: var_is_introduced;\n\
00069 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;\n\
00070 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;\n\
00071 var bool: BOOL____00114 :: is_defined_var :: var_is_introduced;\n\
00072 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;\n\
00073 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;\n\
00074 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;\n\
00075 var bool: BOOL____00118 :: is_defined_var :: var_is_introduced;\n\
00076 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00077 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00078 var bool: BOOL____00121 :: is_defined_var :: var_is_introduced;\n\
00079 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;\n\
00080 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;\n\
00081 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;\n\
00082 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;\n\
00083 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;\n\
00084 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;\n\
00085 var bool: BOOL____00128 :: is_defined_var :: var_is_introduced;\n\
00086 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;\n\
00087 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00088 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;\n\
00089 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;\n\
00090 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00091 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00092 var bool: BOOL____00135 :: is_defined_var :: var_is_introduced;\n\
00093 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;\n\
00094 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00095 var bool: BOOL____00138 :: is_defined_var :: var_is_introduced;\n\
00096 var bool: BOOL____00139 :: is_defined_var :: var_is_introduced;\n\
00097 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;\n\
00098 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;\n\
00099 var bool: BOOL____00142 :: is_defined_var :: var_is_introduced;\n\
00100 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;\n\
00101 var bool: BOOL____00144 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00152 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00156 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00159 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00160 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00161 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00162 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00165 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00168 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00169 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00171 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00174 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00175 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00176 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00177 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00180 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00183 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00186 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00188 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00192 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00196 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00198 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00200 :: 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____00203 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00206 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00208 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00209 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00210 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00212 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00214 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00215 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00216 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00218 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00219 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00220 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00221 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00222 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00223 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00224 :: is_defined_var :: var_is_introduced;\n\
00182 var bool: BOOL____00225 :: is_defined_var :: var_is_introduced;\n\
00183 var bool: BOOL____00226 :: is_defined_var :: var_is_introduced;\n\
00184 var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;\n\
00185 var bool: BOOL____00228 :: is_defined_var :: var_is_introduced;\n\
00186 var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;\n\
00187 var bool: BOOL____00230 :: is_defined_var :: var_is_introduced;\n\
00188 var bool: BOOL____00231 :: is_defined_var :: var_is_introduced;\n\
00189 var bool: BOOL____00232 :: is_defined_var :: var_is_introduced;\n\
00190 var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;\n\
00191 var bool: BOOL____00234 :: is_defined_var :: var_is_introduced;\n\
00192 var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;\n\
00193 var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;\n\
00194 var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;\n\
00195 var bool: BOOL____00238 :: is_defined_var :: var_is_introduced;\n\
00196 var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;\n\
00197 var bool: BOOL____00240 :: is_defined_var :: var_is_introduced;\n\
00198 var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;\n\
00199 var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;\n\
00200 var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;\n\
00201 var bool: BOOL____00244 :: is_defined_var :: var_is_introduced;\n\
00202 var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;\n\
00203 var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;\n\
00204 var bool: BOOL____00247 :: is_defined_var :: var_is_introduced;\n\
00205 var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;\n\
00206 var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;\n\
00207 var bool: BOOL____00250 :: is_defined_var :: var_is_introduced;\n\
00208 var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;\n\
00209 var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;\n\
00210 var bool: BOOL____00253 :: is_defined_var :: var_is_introduced;\n\
00211 var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;\n\
00212 var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;\n\
00213 var bool: BOOL____00256 :: is_defined_var :: var_is_introduced;\n\
00214 var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;\n\
00215 var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;\n\
00216 var bool: BOOL____00259 :: is_defined_var :: var_is_introduced;\n\
00217 var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;\n\
00218 var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;\n\
00219 var bool: BOOL____00262 :: is_defined_var :: var_is_introduced;\n\
00220 var bool: BOOL____00263 :: is_defined_var :: var_is_introduced;\n\
00221 var bool: BOOL____00264 :: is_defined_var :: var_is_introduced;\n\
00222 var bool: BOOL____00265 :: is_defined_var :: var_is_introduced;\n\
00223 var bool: BOOL____00266 :: is_defined_var :: var_is_introduced;\n\
00224 var bool: BOOL____00267 :: is_defined_var :: var_is_introduced;\n\
00225 var bool: BOOL____00268 :: is_defined_var :: var_is_introduced;\n\
00226 var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;\n\
00227 var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;\n\
00228 var bool: BOOL____00271 :: is_defined_var :: var_is_introduced;\n\
00229 var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;\n\
00230 var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;\n\
00231 var bool: BOOL____00274 :: is_defined_var :: var_is_introduced;\n\
00232 var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;\n\
00233 var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;\n\
00234 var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;\n\
00235 var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;\n\
00236 var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;\n\
00237 var bool: BOOL____00280 :: is_defined_var :: var_is_introduced;\n\
00238 var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;\n\
00239 var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;\n\
00240 var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;\n\
00241 var bool: BOOL____00284 :: is_defined_var :: var_is_introduced;\n\
00242 var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;\n\
00243 var bool: BOOL____00286 :: is_defined_var :: var_is_introduced;\n\
00244 var bool: BOOL____00287 :: is_defined_var :: var_is_introduced;\n\
00245 var bool: BOOL____00288 :: is_defined_var :: var_is_introduced;\n\
00246 var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;\n\
00247 var bool: BOOL____00290 :: is_defined_var :: var_is_introduced;\n\
00248 var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;\n\
00249 var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;\n\
00250 var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;\n\
00251 var bool: BOOL____00294 :: is_defined_var :: var_is_introduced;\n\
00252 var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;\n\
00253 var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;\n\
00254 var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;\n\
00255 var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;\n\
00256 var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;\n\
00257 var bool: BOOL____00300 :: is_defined_var :: var_is_introduced;\n\
00258 var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;\n\
00259 var bool: BOOL____00302 :: is_defined_var :: var_is_introduced;\n\
00260 var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;\n\
00261 var bool: BOOL____00304 :: is_defined_var :: var_is_introduced;\n\
00262 var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;\n\
00263 var bool: BOOL____00306 :: is_defined_var :: var_is_introduced;\n\
00264 var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;\n\
00265 var bool: BOOL____00308 :: is_defined_var :: var_is_introduced;\n\
00266 var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;\n\
00267 var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;\n\
00268 var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;\n\
00269 var bool: BOOL____00312 :: is_defined_var :: var_is_introduced;\n\
00270 var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;\n\
00271 var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;\n\
00272 var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;\n\
00273 var bool: BOOL____00316 :: is_defined_var :: var_is_introduced;\n\
00274 var bool: BOOL____00317 :: is_defined_var :: var_is_introduced;\n\
00275 var bool: BOOL____00318 :: is_defined_var :: var_is_introduced;\n\
00276 var bool: BOOL____00319 :: is_defined_var :: var_is_introduced;\n\
00277 var bool: BOOL____00320 :: is_defined_var :: var_is_introduced;\n\
00278 var bool: BOOL____00321 :: is_defined_var :: var_is_introduced;\n\
00279 var bool: BOOL____00322 :: is_defined_var :: var_is_introduced;\n\
00280 var bool: BOOL____00323 :: is_defined_var :: var_is_introduced;\n\
00281 var bool: BOOL____00324 :: is_defined_var :: var_is_introduced;\n\
00282 var bool: BOOL____00325 :: is_defined_var :: var_is_introduced;\n\
00283 var bool: BOOL____00326 :: is_defined_var :: var_is_introduced;\n\
00284 var bool: BOOL____00327 :: is_defined_var :: var_is_introduced;\n\
00285 var bool: BOOL____00328 :: is_defined_var :: var_is_introduced;\n\
00286 var bool: BOOL____00329 :: is_defined_var :: var_is_introduced;\n\
00287 var bool: BOOL____00330 :: is_defined_var :: var_is_introduced;\n\
00288 var bool: BOOL____00331 :: is_defined_var :: var_is_introduced;\n\
00289 var bool: BOOL____00332 :: is_defined_var :: var_is_introduced;\n\
00290 var bool: BOOL____00333 :: is_defined_var :: var_is_introduced;\n\
00291 var bool: BOOL____00334 :: is_defined_var :: var_is_introduced;\n\
00292 var bool: BOOL____00335 :: is_defined_var :: var_is_introduced;\n\
00293 var bool: BOOL____00336 :: is_defined_var :: var_is_introduced;\n\
00294 var bool: BOOL____00337 :: is_defined_var :: var_is_introduced;\n\
00295 var bool: BOOL____00338 :: is_defined_var :: var_is_introduced;\n\
00296 var bool: BOOL____00339 :: is_defined_var :: var_is_introduced;\n")+
00297 "var bool: BOOL____00340 :: is_defined_var :: var_is_introduced;\n\
00298 var bool: BOOL____00341 :: is_defined_var :: var_is_introduced;\n\
00299 var bool: BOOL____00342 :: is_defined_var :: var_is_introduced;\n\
00300 var bool: BOOL____00343 :: is_defined_var :: var_is_introduced;\n\
00301 var bool: BOOL____00344 :: is_defined_var :: var_is_introduced;\n\
00302 var bool: BOOL____00345 :: is_defined_var :: var_is_introduced;\n\
00303 var bool: BOOL____00346 :: is_defined_var :: var_is_introduced;\n\
00304 var bool: BOOL____00347 :: is_defined_var :: var_is_introduced;\n\
00305 var bool: BOOL____00348 :: is_defined_var :: var_is_introduced;\n\
00306 var bool: BOOL____00349 :: is_defined_var :: var_is_introduced;\n\
00307 var bool: BOOL____00350 :: is_defined_var :: var_is_introduced;\n\
00308 var bool: BOOL____00351 :: is_defined_var :: var_is_introduced;\n\
00309 var bool: BOOL____00352 :: is_defined_var :: var_is_introduced;\n\
00310 var bool: BOOL____00353 :: is_defined_var :: var_is_introduced;\n\
00311 var bool: BOOL____00354 :: is_defined_var :: var_is_introduced;\n\
00312 var bool: BOOL____00355 :: is_defined_var :: var_is_introduced;\n\
00313 var bool: BOOL____00356 :: is_defined_var :: var_is_introduced;\n\
00314 var bool: BOOL____00357 :: is_defined_var :: var_is_introduced;\n\
00315 var bool: BOOL____00358 :: is_defined_var :: var_is_introduced;\n\
00316 var bool: BOOL____00359 :: is_defined_var :: var_is_introduced;\n\
00317 var bool: BOOL____00360 :: is_defined_var :: var_is_introduced;\n\
00318 var bool: BOOL____00361 :: is_defined_var :: var_is_introduced;\n\
00319 var bool: BOOL____00362 :: is_defined_var :: var_is_introduced;\n\
00320 var bool: BOOL____00363 :: is_defined_var :: var_is_introduced;\n\
00321 var bool: BOOL____00364 :: is_defined_var :: var_is_introduced;\n\
00322 var bool: BOOL____00365 :: is_defined_var :: var_is_introduced;\n\
00323 var bool: BOOL____00366 :: is_defined_var :: var_is_introduced;\n\
00324 var bool: BOOL____00367 :: is_defined_var :: var_is_introduced;\n\
00325 var bool: BOOL____00368 :: is_defined_var :: var_is_introduced;\n\
00326 var bool: BOOL____00369 :: is_defined_var :: var_is_introduced;\n\
00327 var bool: BOOL____00370 :: is_defined_var :: var_is_introduced;\n\
00328 var bool: BOOL____00371 :: is_defined_var :: var_is_introduced;\n\
00329 var bool: BOOL____00372 :: is_defined_var :: var_is_introduced;\n\
00330 var bool: BOOL____00373 :: is_defined_var :: var_is_introduced;\n\
00331 var bool: BOOL____00374 :: is_defined_var :: var_is_introduced;\n\
00332 var bool: BOOL____00375 :: is_defined_var :: var_is_introduced;\n\
00333 var bool: BOOL____00376 :: is_defined_var :: var_is_introduced;\n\
00334 var bool: BOOL____00377 :: is_defined_var :: var_is_introduced;\n\
00335 var bool: BOOL____00378 :: is_defined_var :: var_is_introduced;\n\
00336 var bool: BOOL____00379 :: is_defined_var :: var_is_introduced;\n\
00337 var bool: BOOL____00380 :: is_defined_var :: var_is_introduced;\n\
00338 var bool: BOOL____00381 :: is_defined_var :: var_is_introduced;\n\
00339 var bool: BOOL____00382 :: is_defined_var :: var_is_introduced;\n\
00340 var bool: BOOL____00383 :: is_defined_var :: var_is_introduced;\n\
00341 var bool: BOOL____00384 :: is_defined_var :: var_is_introduced;\n\
00342 var bool: BOOL____00385 :: is_defined_var :: var_is_introduced;\n\
00343 var bool: BOOL____00386 :: is_defined_var :: var_is_introduced;\n\
00344 var bool: BOOL____00387 :: is_defined_var :: var_is_introduced;\n\
00345 var bool: BOOL____00388 :: is_defined_var :: var_is_introduced;\n\
00346 var bool: BOOL____00389 :: is_defined_var :: var_is_introduced;\n\
00347 var bool: BOOL____00390 :: is_defined_var :: var_is_introduced;\n\
00348 var bool: BOOL____00391 :: is_defined_var :: var_is_introduced;\n\
00349 var bool: BOOL____00392 :: is_defined_var :: var_is_introduced;\n\
00350 var bool: BOOL____00393 :: is_defined_var :: var_is_introduced;\n\
00351 var bool: BOOL____00394 :: is_defined_var :: var_is_introduced;\n\
00352 var bool: BOOL____00395 :: is_defined_var :: var_is_introduced;\n\
00353 var bool: BOOL____00396 :: is_defined_var :: var_is_introduced;\n\
00354 var bool: BOOL____00397 :: is_defined_var :: var_is_introduced;\n\
00355 var bool: BOOL____00398 :: is_defined_var :: var_is_introduced;\n\
00356 var bool: BOOL____00399 :: is_defined_var :: var_is_introduced;\n\
00357 var bool: BOOL____00400 :: is_defined_var :: var_is_introduced;\n\
00358 var bool: BOOL____00401 :: is_defined_var :: var_is_introduced;\n\
00359 var bool: BOOL____00402 :: is_defined_var :: var_is_introduced;\n\
00360 var bool: BOOL____00403 :: is_defined_var :: var_is_introduced;\n\
00361 var bool: BOOL____00404 :: is_defined_var :: var_is_introduced;\n\
00362 var bool: BOOL____00405 :: is_defined_var :: var_is_introduced;\n\
00363 var bool: BOOL____00406 :: is_defined_var :: var_is_introduced;\n\
00364 var bool: BOOL____00407 :: is_defined_var :: var_is_introduced;\n\
00365 var bool: BOOL____00408 :: is_defined_var :: var_is_introduced;\n\
00366 var bool: BOOL____00409 :: is_defined_var :: var_is_introduced;\n\
00367 var bool: BOOL____00410 :: is_defined_var :: var_is_introduced;\n\
00368 var bool: BOOL____00411 :: is_defined_var :: var_is_introduced;\n\
00369 var bool: BOOL____00412 :: is_defined_var :: var_is_introduced;\n\
00370 var bool: BOOL____00413 :: is_defined_var :: var_is_introduced;\n\
00371 var bool: BOOL____00414 :: is_defined_var :: var_is_introduced;\n\
00372 var bool: BOOL____00415 :: is_defined_var :: var_is_introduced;\n\
00373 var bool: BOOL____00416 :: is_defined_var :: var_is_introduced;\n\
00374 var bool: BOOL____00417 :: is_defined_var :: var_is_introduced;\n\
00375 var bool: BOOL____00418 :: is_defined_var :: var_is_introduced;\n\
00376 var bool: BOOL____00419 :: is_defined_var :: var_is_introduced;\n\
00377 var bool: BOOL____00420 :: is_defined_var :: var_is_introduced;\n\
00378 var bool: BOOL____00421 :: is_defined_var :: var_is_introduced;\n\
00379 var bool: BOOL____00422 :: is_defined_var :: var_is_introduced;\n\
00380 var bool: BOOL____00423 :: is_defined_var :: var_is_introduced;\n\
00381 var bool: BOOL____00424 :: is_defined_var :: var_is_introduced;\n\
00382 var bool: BOOL____00425 :: is_defined_var :: var_is_introduced;\n\
00383 var bool: BOOL____00426 :: is_defined_var :: var_is_introduced;\n\
00384 var bool: BOOL____00427 :: is_defined_var :: var_is_introduced;\n\
00385 var bool: BOOL____00428 :: is_defined_var :: var_is_introduced;\n\
00386 var bool: BOOL____00429 :: is_defined_var :: var_is_introduced;\n\
00387 var bool: BOOL____00430 :: is_defined_var :: var_is_introduced;\n\
00388 var bool: BOOL____00431 :: is_defined_var :: var_is_introduced;\n\
00389 var bool: BOOL____00432 :: is_defined_var :: var_is_introduced;\n\
00390 var bool: BOOL____00433 :: is_defined_var :: var_is_introduced;\n\
00391 var bool: BOOL____00434 :: is_defined_var :: var_is_introduced;\n\
00392 var bool: BOOL____00435 :: is_defined_var :: var_is_introduced;\n\
00393 var bool: BOOL____00436 :: is_defined_var :: var_is_introduced;\n\
00394 var bool: BOOL____00437 :: is_defined_var :: var_is_introduced;\n\
00395 var bool: BOOL____00438 :: is_defined_var :: var_is_introduced;\n\
00396 var bool: BOOL____00439 :: is_defined_var :: var_is_introduced;\n\
00397 var bool: BOOL____00440 :: is_defined_var :: var_is_introduced;\n\
00398 var bool: BOOL____00441 :: is_defined_var :: var_is_introduced;\n\
00399 var bool: BOOL____00442 :: is_defined_var :: var_is_introduced;\n\
00400 var bool: BOOL____00443 :: is_defined_var :: var_is_introduced;\n\
00401 var bool: BOOL____00444 :: is_defined_var :: var_is_introduced;\n\
00402 var bool: BOOL____00445 :: is_defined_var :: var_is_introduced;\n\
00403 var bool: BOOL____00446 :: is_defined_var :: var_is_introduced;\n\
00404 var bool: BOOL____00447 :: is_defined_var :: var_is_introduced;\n\
00405 var bool: BOOL____00448 :: is_defined_var :: var_is_introduced;\n\
00406 var bool: BOOL____00449 :: is_defined_var :: var_is_introduced;\n\
00407 var bool: BOOL____00450 :: is_defined_var :: var_is_introduced;\n\
00408 var bool: BOOL____00451 :: is_defined_var :: var_is_introduced;\n\
00409 var bool: BOOL____00452 :: is_defined_var :: var_is_introduced;\n\
00410 var bool: BOOL____00453 :: is_defined_var :: var_is_introduced;\n\
00411 var bool: BOOL____00454 :: is_defined_var :: var_is_introduced;\n\
00412 var bool: BOOL____00455 :: is_defined_var :: var_is_introduced;\n\
00413 var bool: BOOL____00456 :: is_defined_var :: var_is_introduced;\n\
00414 var bool: BOOL____00457 :: is_defined_var :: var_is_introduced;\n\
00415 var bool: BOOL____00458 :: is_defined_var :: var_is_introduced;\n\
00416 var bool: BOOL____00459 :: is_defined_var :: var_is_introduced;\n\
00417 var bool: BOOL____00460 :: is_defined_var :: var_is_introduced;\n\
00418 var bool: BOOL____00461 :: is_defined_var :: var_is_introduced;\n\
00419 var bool: BOOL____00462 :: is_defined_var :: var_is_introduced;\n\
00420 var bool: BOOL____00463 :: is_defined_var :: var_is_introduced;\n\
00421 var bool: BOOL____00464 :: is_defined_var :: var_is_introduced;\n\
00422 var bool: BOOL____00465 :: is_defined_var :: var_is_introduced;\n\
00423 var bool: BOOL____00466 :: is_defined_var :: var_is_introduced;\n\
00424 var bool: BOOL____00467 :: is_defined_var :: var_is_introduced;\n\
00425 var bool: BOOL____00468 :: is_defined_var :: var_is_introduced;\n\
00426 var bool: BOOL____00469 :: is_defined_var :: var_is_introduced;\n\
00427 var bool: BOOL____00470 :: is_defined_var :: var_is_introduced;\n\
00428 var bool: BOOL____00471 :: is_defined_var :: var_is_introduced;\n\
00429 var bool: BOOL____00472 :: is_defined_var :: var_is_introduced;\n\
00430 var bool: BOOL____00473 :: is_defined_var :: var_is_introduced;\n\
00431 var bool: BOOL____00474 :: is_defined_var :: var_is_introduced;\n\
00432 var bool: BOOL____00475 :: is_defined_var :: var_is_introduced;\n\
00433 var bool: BOOL____00476 :: is_defined_var :: var_is_introduced;\n\
00434 var bool: BOOL____00477 :: is_defined_var :: var_is_introduced;\n\
00435 var bool: BOOL____00478 :: is_defined_var :: var_is_introduced;\n\
00436 var bool: BOOL____00479 :: is_defined_var :: var_is_introduced;\n\
00437 var bool: BOOL____00480 :: is_defined_var :: var_is_introduced;\n\
00438 var bool: BOOL____00481 :: is_defined_var :: var_is_introduced;\n\
00439 var bool: BOOL____00482 :: is_defined_var :: var_is_introduced;\n\
00440 var bool: BOOL____00483 :: is_defined_var :: var_is_introduced;\n\
00441 var bool: BOOL____00484 :: is_defined_var :: var_is_introduced;\n\
00442 var bool: BOOL____00485 :: is_defined_var :: var_is_introduced;\n\
00443 var bool: BOOL____00486 :: is_defined_var :: var_is_introduced;\n\
00444 var bool: BOOL____00487 :: is_defined_var :: var_is_introduced;\n\
00445 var bool: BOOL____00488 :: is_defined_var :: var_is_introduced;\n\
00446 var bool: BOOL____00489 :: is_defined_var :: var_is_introduced;\n\
00447 var bool: BOOL____00490 :: is_defined_var :: var_is_introduced;\n\
00448 var bool: BOOL____00491 :: is_defined_var :: var_is_introduced;\n\
00449 var bool: BOOL____00492 :: is_defined_var :: var_is_introduced;\n\
00450 var bool: BOOL____00493 :: is_defined_var :: var_is_introduced;\n\
00451 var bool: BOOL____00494 :: is_defined_var :: var_is_introduced;\n\
00452 var bool: BOOL____00495 :: is_defined_var :: var_is_introduced;\n\
00453 var bool: BOOL____00496 :: is_defined_var :: var_is_introduced;\n\
00454 var bool: BOOL____00497 :: is_defined_var :: var_is_introduced;\n\
00455 var bool: BOOL____00498 :: is_defined_var :: var_is_introduced;\n\
00456 var bool: BOOL____00499 :: is_defined_var :: var_is_introduced;\n\
00457 var bool: BOOL____00500 :: is_defined_var :: var_is_introduced;\n\
00458 var bool: BOOL____00501 :: is_defined_var :: var_is_introduced;\n\
00459 var bool: BOOL____00502 :: is_defined_var :: var_is_introduced;\n\
00460 var bool: BOOL____00503 :: is_defined_var :: var_is_introduced;\n\
00461 var bool: BOOL____00504 :: is_defined_var :: var_is_introduced;\n\
00462 var bool: BOOL____00505 :: is_defined_var :: var_is_introduced;\n\
00463 var bool: BOOL____00506 :: is_defined_var :: var_is_introduced;\n\
00464 var bool: BOOL____00507 :: is_defined_var :: var_is_introduced;\n\
00465 var bool: BOOL____00508 :: is_defined_var :: var_is_introduced;\n\
00466 var bool: BOOL____00509 :: is_defined_var :: var_is_introduced;\n\
00467 var bool: BOOL____00510 :: is_defined_var :: var_is_introduced;\n\
00468 var bool: BOOL____00511 :: is_defined_var :: var_is_introduced;\n\
00469 var bool: BOOL____00512 :: is_defined_var :: var_is_introduced;\n\
00470 var bool: BOOL____00513 :: is_defined_var :: var_is_introduced;\n\
00471 var bool: BOOL____00514 :: is_defined_var :: var_is_introduced;\n\
00472 var bool: BOOL____00515 :: is_defined_var :: var_is_introduced;\n\
00473 var bool: BOOL____00516 :: is_defined_var :: var_is_introduced;\n\
00474 var bool: BOOL____00517 :: is_defined_var :: var_is_introduced;\n\
00475 var bool: BOOL____00518 :: is_defined_var :: var_is_introduced;\n\
00476 var bool: BOOL____00519 :: is_defined_var :: var_is_introduced;\n\
00477 var bool: BOOL____00520 :: is_defined_var :: var_is_introduced;\n\
00478 var bool: BOOL____00521 :: is_defined_var :: var_is_introduced;\n\
00479 var bool: BOOL____00522 :: is_defined_var :: var_is_introduced;\n\
00480 var bool: BOOL____00523 :: is_defined_var :: var_is_introduced;\n\
00481 var bool: BOOL____00524 :: is_defined_var :: var_is_introduced;\n\
00482 var bool: BOOL____00525 :: is_defined_var :: var_is_introduced;\n\
00483 var bool: BOOL____00526 :: is_defined_var :: var_is_introduced;\n\
00484 var bool: BOOL____00527 :: is_defined_var :: var_is_introduced;\n\
00485 var bool: BOOL____00528 :: is_defined_var :: var_is_introduced;\n\
00486 var bool: BOOL____00529 :: is_defined_var :: var_is_introduced;\n\
00487 var bool: BOOL____00530 :: is_defined_var :: var_is_introduced;\n\
00488 var bool: BOOL____00531 :: is_defined_var :: var_is_introduced;\n\
00489 var bool: BOOL____00532 :: is_defined_var :: var_is_introduced;\n\
00490 var bool: BOOL____00533 :: is_defined_var :: var_is_introduced;\n\
00491 var bool: BOOL____00534 :: is_defined_var :: var_is_introduced;\n\
00492 var bool: BOOL____00535 :: is_defined_var :: var_is_introduced;\n\
00493 var bool: BOOL____00536 :: is_defined_var :: var_is_introduced;\n\
00494 var bool: BOOL____00537 :: is_defined_var :: var_is_introduced;\n\
00495 var bool: BOOL____00538 :: is_defined_var :: var_is_introduced;\n\
00496 var bool: BOOL____00539 :: is_defined_var :: var_is_introduced;\n\
00497 var bool: BOOL____00540 :: is_defined_var :: var_is_introduced;\n\
00498 var bool: BOOL____00541 :: is_defined_var :: var_is_introduced;\n\
00499 var bool: BOOL____00542 :: is_defined_var :: var_is_introduced;\n\
00500 var bool: BOOL____00543 :: is_defined_var :: var_is_introduced;\n\
00501 var bool: BOOL____00544 :: is_defined_var :: var_is_introduced;\n\
00502 var bool: BOOL____00545 :: is_defined_var :: var_is_introduced;\n\
00503 var bool: BOOL____00546 :: is_defined_var :: var_is_introduced;\n\
00504 var bool: BOOL____00547 :: is_defined_var :: var_is_introduced;\n\
00505 var bool: BOOL____00548 :: is_defined_var :: var_is_introduced;\n\
00506 var bool: BOOL____00549 :: is_defined_var :: var_is_introduced;\n\
00507 var bool: BOOL____00550 :: is_defined_var :: var_is_introduced;\n\
00508 var bool: BOOL____00551 :: is_defined_var :: var_is_introduced;\n\
00509 var bool: BOOL____00552 :: is_defined_var :: var_is_introduced;\n\
00510 var bool: BOOL____00553 :: is_defined_var :: var_is_introduced;\n\
00511 var bool: BOOL____00554 :: is_defined_var :: var_is_introduced;\n\
00512 var bool: BOOL____00555 :: is_defined_var :: var_is_introduced;\n\
00513 var bool: BOOL____00556 :: is_defined_var :: var_is_introduced;\n\
00514 var bool: BOOL____00557 :: is_defined_var :: var_is_introduced;\n\
00515 var bool: BOOL____00558 :: is_defined_var :: var_is_introduced;\n\
00516 var bool: BOOL____00559 :: is_defined_var :: var_is_introduced;\n\
00517 var bool: BOOL____00560 :: is_defined_var :: var_is_introduced;\n\
00518 var bool: BOOL____00561 :: is_defined_var :: var_is_introduced;\n\
00519 var bool: BOOL____00562 :: is_defined_var :: var_is_introduced;\n\
00520 var bool: BOOL____00563 :: is_defined_var :: var_is_introduced;\n\
00521 var bool: BOOL____00564 :: is_defined_var :: var_is_introduced;\n\
00522 var bool: BOOL____00565 :: is_defined_var :: var_is_introduced;\n\
00523 var bool: BOOL____00566 :: is_defined_var :: var_is_introduced;\n\
00524 var bool: BOOL____00567 :: is_defined_var :: var_is_introduced;\n\
00525 var bool: BOOL____00568 :: is_defined_var :: var_is_introduced;\n\
00526 var bool: BOOL____00569 :: is_defined_var :: var_is_introduced;\n\
00527 var bool: BOOL____00570 :: is_defined_var :: var_is_introduced;\n\
00528 var bool: BOOL____00571 :: is_defined_var :: var_is_introduced;\n\
00529 var bool: BOOL____00572 :: is_defined_var :: var_is_introduced;\n\
00530 var bool: BOOL____00573 :: is_defined_var :: var_is_introduced;\n\
00531 var bool: BOOL____00574 :: is_defined_var :: var_is_introduced;\n\
00532 var bool: BOOL____00575 :: is_defined_var :: var_is_introduced;\n\
00533 var bool: BOOL____00576 :: is_defined_var :: var_is_introduced;\n\
00534 var bool: BOOL____00577 :: is_defined_var :: var_is_introduced;\n\
00535 var bool: BOOL____00578 :: is_defined_var :: var_is_introduced;\n\
00536 var bool: BOOL____00579 :: is_defined_var :: var_is_introduced;\n\
00537 var bool: BOOL____00580 :: is_defined_var :: var_is_introduced;\n\
00538 var bool: BOOL____00581 :: is_defined_var :: var_is_introduced;\n\
00539 var bool: BOOL____00582 :: is_defined_var :: var_is_introduced;\n\
00540 var bool: BOOL____00583 :: is_defined_var :: var_is_introduced;\n\
00541 var bool: BOOL____00584 :: is_defined_var :: var_is_introduced;\n\
00542 var bool: BOOL____00585 :: is_defined_var :: var_is_introduced;\n\
00543 var bool: BOOL____00586 :: is_defined_var :: var_is_introduced;\n\
00544 var bool: BOOL____00587 :: is_defined_var :: var_is_introduced;\n\
00545 var bool: BOOL____00588 :: is_defined_var :: var_is_introduced;\n\
00546 var bool: BOOL____00589 :: is_defined_var :: var_is_introduced;\n\
00547 var bool: BOOL____00590 :: is_defined_var :: var_is_introduced;\n\
00548 var bool: BOOL____00591 :: is_defined_var :: var_is_introduced;\n"+
00549 "var bool: BOOL____00592 :: is_defined_var :: var_is_introduced;\n\
00550 var bool: BOOL____00593 :: is_defined_var :: var_is_introduced;\n\
00551 var bool: BOOL____00594 :: is_defined_var :: var_is_introduced;\n\
00552 var bool: BOOL____00595 :: is_defined_var :: var_is_introduced;\n\
00553 var bool: BOOL____00596 :: is_defined_var :: var_is_introduced;\n\
00554 var bool: BOOL____00597 :: is_defined_var :: var_is_introduced;\n\
00555 var bool: BOOL____00598 :: is_defined_var :: var_is_introduced;\n\
00556 var bool: BOOL____00599 :: is_defined_var :: var_is_introduced;\n\
00557 var bool: BOOL____00600 :: is_defined_var :: var_is_introduced;\n\
00558 var bool: BOOL____00601 :: is_defined_var :: var_is_introduced;\n\
00559 var bool: BOOL____00602 :: is_defined_var :: var_is_introduced;\n\
00560 var bool: BOOL____00603 :: is_defined_var :: var_is_introduced;\n\
00561 var bool: BOOL____00604 :: is_defined_var :: var_is_introduced;\n\
00562 var bool: BOOL____00605 :: is_defined_var :: var_is_introduced;\n\
00563 var bool: BOOL____00606 :: is_defined_var :: var_is_introduced;\n\
00564 var bool: BOOL____00607 :: is_defined_var :: var_is_introduced;\n\
00565 var bool: BOOL____00608 :: is_defined_var :: var_is_introduced;\n\
00566 var bool: BOOL____00609 :: is_defined_var :: var_is_introduced;\n\
00567 var bool: BOOL____00610 :: is_defined_var :: var_is_introduced;\n\
00568 var bool: BOOL____00611 :: is_defined_var :: var_is_introduced;\n\
00569 var bool: BOOL____00612 :: is_defined_var :: var_is_introduced;\n\
00570 var bool: BOOL____00613 :: is_defined_var :: var_is_introduced;\n\
00571 var bool: BOOL____00614 :: is_defined_var :: var_is_introduced;\n\
00572 var bool: BOOL____00615 :: is_defined_var :: var_is_introduced;\n\
00573 var bool: BOOL____00616 :: is_defined_var :: var_is_introduced;\n\
00574 var bool: BOOL____00617 :: is_defined_var :: var_is_introduced;\n\
00575 var bool: BOOL____00618 :: is_defined_var :: var_is_introduced;\n\
00576 var bool: BOOL____00619 :: is_defined_var :: var_is_introduced;\n\
00577 var bool: BOOL____00620 :: is_defined_var :: var_is_introduced;\n\
00578 var bool: BOOL____00621 :: is_defined_var :: var_is_introduced;\n\
00579 var bool: BOOL____00622 :: is_defined_var :: var_is_introduced;\n\
00580 var bool: BOOL____00623 :: is_defined_var :: var_is_introduced;\n\
00581 var bool: BOOL____00624 :: is_defined_var :: var_is_introduced;\n\
00582 var bool: BOOL____00625 :: is_defined_var :: var_is_introduced;\n\
00583 var bool: BOOL____00626 :: is_defined_var :: var_is_introduced;\n\
00584 var bool: BOOL____00627 :: is_defined_var :: var_is_introduced;\n\
00585 var bool: BOOL____00628 :: is_defined_var :: var_is_introduced;\n\
00586 var bool: BOOL____00629 :: is_defined_var :: var_is_introduced;\n\
00587 var bool: BOOL____00630 :: is_defined_var :: var_is_introduced;\n\
00588 var bool: BOOL____00631 :: is_defined_var :: var_is_introduced;\n\
00589 var bool: BOOL____00632 :: is_defined_var :: var_is_introduced;\n\
00590 var bool: BOOL____00633 :: is_defined_var :: var_is_introduced;\n\
00591 var bool: BOOL____00634 :: is_defined_var :: var_is_introduced;\n\
00592 var bool: BOOL____00635 :: is_defined_var :: var_is_introduced;\n\
00593 var bool: BOOL____00636 :: is_defined_var :: var_is_introduced;\n\
00594 var bool: BOOL____00637 :: is_defined_var :: var_is_introduced;\n\
00595 var bool: BOOL____00638 :: is_defined_var :: var_is_introduced;\n\
00596 var bool: BOOL____00639 :: is_defined_var :: var_is_introduced;\n\
00597 var bool: BOOL____00640 :: is_defined_var :: var_is_introduced;\n\
00598 var bool: BOOL____00641 :: is_defined_var :: var_is_introduced;\n\
00599 var bool: BOOL____00642 :: is_defined_var :: var_is_introduced;\n\
00600 var bool: BOOL____00643 :: is_defined_var :: var_is_introduced;\n\
00601 var bool: BOOL____00644 :: is_defined_var :: var_is_introduced;\n\
00602 var bool: BOOL____00645 :: is_defined_var :: var_is_introduced;\n\
00603 var bool: BOOL____00646 :: is_defined_var :: var_is_introduced;\n\
00604 var bool: BOOL____00647 :: is_defined_var :: var_is_introduced;\n\
00605 var bool: BOOL____00648 :: is_defined_var :: var_is_introduced;\n\
00606 var bool: BOOL____00649 :: is_defined_var :: var_is_introduced;\n\
00607 var bool: BOOL____00650 :: is_defined_var :: var_is_introduced;\n\
00608 var bool: BOOL____00651 :: is_defined_var :: var_is_introduced;\n\
00609 var bool: BOOL____00652 :: is_defined_var :: var_is_introduced;\n\
00610 var bool: BOOL____00653 :: is_defined_var :: var_is_introduced;\n\
00611 var bool: BOOL____00654 :: is_defined_var :: var_is_introduced;\n\
00612 var bool: BOOL____00655 :: is_defined_var :: var_is_introduced;\n\
00613 var bool: BOOL____00656 :: is_defined_var :: var_is_introduced;\n\
00614 var bool: BOOL____00657 :: is_defined_var :: var_is_introduced;\n\
00615 var bool: BOOL____00658 :: is_defined_var :: var_is_introduced;\n\
00616 var bool: BOOL____00659 :: is_defined_var :: var_is_introduced;\n\
00617 var bool: BOOL____00660 :: is_defined_var :: var_is_introduced;\n\
00618 var bool: BOOL____00661 :: is_defined_var :: var_is_introduced;\n\
00619 var bool: BOOL____00662 :: is_defined_var :: var_is_introduced;\n\
00620 var bool: BOOL____00663 :: is_defined_var :: var_is_introduced;\n\
00621 var bool: BOOL____00664 :: is_defined_var :: var_is_introduced;\n\
00622 var bool: BOOL____00665 :: is_defined_var :: var_is_introduced;\n\
00623 var bool: BOOL____00666 :: is_defined_var :: var_is_introduced;\n\
00624 var bool: BOOL____00667 :: is_defined_var :: var_is_introduced;\n\
00625 var bool: BOOL____00668 :: is_defined_var :: var_is_introduced;\n\
00626 var bool: BOOL____00669 :: is_defined_var :: var_is_introduced;\n\
00627 var bool: BOOL____00670 :: is_defined_var :: var_is_introduced;\n\
00628 var bool: BOOL____00671 :: is_defined_var :: var_is_introduced;\n\
00629 var bool: BOOL____00672 :: is_defined_var :: var_is_introduced;\n\
00630 var bool: BOOL____00673 :: is_defined_var :: var_is_introduced;\n\
00631 var bool: BOOL____00674 :: is_defined_var :: var_is_introduced;\n\
00632 var bool: BOOL____00675 :: is_defined_var :: var_is_introduced;\n\
00633 var bool: BOOL____00676 :: is_defined_var :: var_is_introduced;\n\
00634 var bool: BOOL____00677 :: is_defined_var :: var_is_introduced;\n\
00635 var bool: BOOL____00678 :: is_defined_var :: var_is_introduced;\n\
00636 var bool: BOOL____00679 :: is_defined_var :: var_is_introduced;\n\
00637 var bool: BOOL____00680 :: is_defined_var :: var_is_introduced;\n\
00638 var bool: BOOL____00681 :: is_defined_var :: var_is_introduced;\n\
00639 var bool: BOOL____00682 :: is_defined_var :: var_is_introduced;\n\
00640 var bool: BOOL____00683 :: is_defined_var :: var_is_introduced;\n\
00641 var bool: BOOL____00684 :: is_defined_var :: var_is_introduced;\n\
00642 var bool: BOOL____00685 :: is_defined_var :: var_is_introduced;\n\
00643 var bool: BOOL____00686 :: is_defined_var :: var_is_introduced;\n\
00644 var bool: BOOL____00687 :: is_defined_var :: var_is_introduced;\n\
00645 var bool: BOOL____00688 :: is_defined_var :: var_is_introduced;\n\
00646 var bool: BOOL____00689 :: is_defined_var :: var_is_introduced;\n\
00647 var bool: BOOL____00690 :: is_defined_var :: var_is_introduced;\n\
00648 var bool: BOOL____00691 :: is_defined_var :: var_is_introduced;\n\
00649 var bool: BOOL____00692 :: is_defined_var :: var_is_introduced;\n\
00650 var bool: BOOL____00693 :: is_defined_var :: var_is_introduced;\n\
00651 var bool: BOOL____00694 :: is_defined_var :: var_is_introduced;\n\
00652 var bool: BOOL____00695 :: is_defined_var :: var_is_introduced;\n\
00653 var bool: BOOL____00696 :: is_defined_var :: var_is_introduced;\n\
00654 var bool: BOOL____00697 :: is_defined_var :: var_is_introduced;\n\
00655 var bool: BOOL____00698 :: is_defined_var :: var_is_introduced;\n\
00656 var bool: BOOL____00699 :: is_defined_var :: var_is_introduced;\n\
00657 var bool: BOOL____00700 :: is_defined_var :: var_is_introduced;\n\
00658 var bool: BOOL____00701 :: is_defined_var :: var_is_introduced;\n\
00659 var bool: BOOL____00702 :: is_defined_var :: var_is_introduced;\n\
00660 var bool: BOOL____00703 :: is_defined_var :: var_is_introduced;\n\
00661 var bool: BOOL____00704 :: is_defined_var :: var_is_introduced;\n\
00662 var bool: BOOL____00705 :: is_defined_var :: var_is_introduced;\n\
00663 var bool: BOOL____00706 :: is_defined_var :: var_is_introduced;\n\
00664 var bool: BOOL____00707 :: is_defined_var :: var_is_introduced;\n\
00665 var bool: BOOL____00708 :: is_defined_var :: var_is_introduced;\n\
00666 var bool: BOOL____00709 :: is_defined_var :: var_is_introduced;\n\
00667 var bool: BOOL____00710 :: is_defined_var :: var_is_introduced;\n\
00668 var bool: BOOL____00711 :: is_defined_var :: var_is_introduced;\n\
00669 var bool: BOOL____00712 :: is_defined_var :: var_is_introduced;\n\
00670 var bool: BOOL____00713 :: is_defined_var :: var_is_introduced;\n\
00671 var bool: BOOL____00714 :: is_defined_var :: var_is_introduced;\n\
00672 var bool: BOOL____00715 :: is_defined_var :: var_is_introduced;\n\
00673 var bool: BOOL____00716 :: is_defined_var :: var_is_introduced;\n\
00674 var bool: BOOL____00717 :: is_defined_var :: var_is_introduced;\n\
00675 var bool: BOOL____00718 :: is_defined_var :: var_is_introduced;\n\
00676 var bool: BOOL____00719 :: is_defined_var :: var_is_introduced;\n\
00677 var bool: BOOL____00720 :: is_defined_var :: var_is_introduced;\n\
00678 var bool: BOOL____00721 :: is_defined_var :: var_is_introduced;\n\
00679 var bool: BOOL____00722 :: is_defined_var :: var_is_introduced;\n\
00680 var bool: BOOL____00723 :: is_defined_var :: var_is_introduced;\n\
00681 var bool: BOOL____00724 :: is_defined_var :: var_is_introduced;\n\
00682 var bool: BOOL____00725 :: is_defined_var :: var_is_introduced;\n\
00683 var bool: BOOL____00726 :: is_defined_var :: var_is_introduced;\n\
00684 var bool: BOOL____00727 :: is_defined_var :: var_is_introduced;\n\
00685 var bool: BOOL____00728 :: is_defined_var :: var_is_introduced;\n\
00686 var bool: BOOL____00729 :: is_defined_var :: var_is_introduced;\n\
00687 var bool: BOOL____00730 :: is_defined_var :: var_is_introduced;\n\
00688 var bool: BOOL____00731 :: is_defined_var :: var_is_introduced;\n\
00689 var bool: BOOL____00732 :: is_defined_var :: var_is_introduced;\n\
00690 var bool: BOOL____00733 :: is_defined_var :: var_is_introduced;\n\
00691 var bool: BOOL____00734 :: is_defined_var :: var_is_introduced;\n\
00692 var bool: BOOL____00735 :: is_defined_var :: var_is_introduced;\n\
00693 var bool: BOOL____00736 :: is_defined_var :: var_is_introduced;\n\
00694 var bool: BOOL____00737 :: is_defined_var :: var_is_introduced;\n\
00695 var bool: BOOL____00738 :: is_defined_var :: var_is_introduced;\n\
00696 var bool: BOOL____00739 :: is_defined_var :: var_is_introduced;\n\
00697 var bool: BOOL____00740 :: is_defined_var :: var_is_introduced;\n\
00698 var bool: BOOL____00741 :: is_defined_var :: var_is_introduced;\n\
00699 var bool: BOOL____00742 :: is_defined_var :: var_is_introduced;\n\
00700 var bool: BOOL____00743 :: is_defined_var :: var_is_introduced;\n\
00701 var bool: BOOL____00744 :: is_defined_var :: var_is_introduced;\n\
00702 var bool: BOOL____00745 :: is_defined_var :: var_is_introduced;\n\
00703 var bool: BOOL____00746 :: is_defined_var :: var_is_introduced;\n\
00704 var bool: BOOL____00747 :: is_defined_var :: var_is_introduced;\n\
00705 var bool: BOOL____00748 :: is_defined_var :: var_is_introduced;\n\
00706 var bool: BOOL____00749 :: is_defined_var :: var_is_introduced;\n\
00707 var bool: BOOL____00750 :: is_defined_var :: var_is_introduced;\n\
00708 var bool: BOOL____00751 :: is_defined_var :: var_is_introduced;\n\
00709 var bool: BOOL____00752 :: is_defined_var :: var_is_introduced;\n\
00710 var bool: BOOL____00753 :: is_defined_var :: var_is_introduced;\n\
00711 var bool: BOOL____00754 :: is_defined_var :: var_is_introduced;\n\
00712 var bool: BOOL____00755 :: is_defined_var :: var_is_introduced;\n\
00713 var bool: BOOL____00756 :: is_defined_var :: var_is_introduced;\n\
00714 var bool: BOOL____00757 :: is_defined_var :: var_is_introduced;\n\
00715 var bool: BOOL____00758 :: is_defined_var :: var_is_introduced;\n\
00716 var bool: BOOL____00759 :: is_defined_var :: var_is_introduced;\n\
00717 var bool: BOOL____00760 :: is_defined_var :: var_is_introduced;\n\
00718 var bool: BOOL____00761 :: is_defined_var :: var_is_introduced;\n\
00719 var bool: BOOL____00762 :: is_defined_var :: var_is_introduced;\n\
00720 var bool: BOOL____00763 :: is_defined_var :: var_is_introduced;\n\
00721 var bool: BOOL____00764 :: is_defined_var :: var_is_introduced;\n\
00722 var bool: BOOL____00765 :: is_defined_var :: var_is_introduced;\n\
00723 var bool: BOOL____00766 :: is_defined_var :: var_is_introduced;\n\
00724 var bool: BOOL____00767 :: is_defined_var :: var_is_introduced;\n\
00725 var bool: BOOL____00768 :: is_defined_var :: var_is_introduced;\n\
00726 var bool: BOOL____00769 :: is_defined_var :: var_is_introduced;\n\
00727 var bool: BOOL____00770 :: is_defined_var :: var_is_introduced;\n\
00728 var bool: BOOL____00771 :: is_defined_var :: var_is_introduced;\n\
00729 var bool: BOOL____00772 :: is_defined_var :: var_is_introduced;\n\
00730 var bool: BOOL____00773 :: is_defined_var :: var_is_introduced;\n\
00731 var bool: BOOL____00774 :: is_defined_var :: var_is_introduced;\n\
00732 var bool: BOOL____00775 :: is_defined_var :: var_is_introduced;\n\
00733 var bool: BOOL____00776 :: is_defined_var :: var_is_introduced;\n\
00734 var bool: BOOL____00777 :: is_defined_var :: var_is_introduced;\n\
00735 var bool: BOOL____00778 :: is_defined_var :: var_is_introduced;\n\
00736 var bool: BOOL____00779 :: is_defined_var :: var_is_introduced;\n\
00737 var bool: BOOL____00780 :: is_defined_var :: var_is_introduced;\n\
00738 var bool: BOOL____00781 :: is_defined_var :: var_is_introduced;\n\
00739 var bool: BOOL____00782 :: is_defined_var :: var_is_introduced;\n\
00740 var bool: BOOL____00783 :: is_defined_var :: var_is_introduced;\n\
00741 var bool: BOOL____00784 :: is_defined_var :: var_is_introduced;\n\
00742 var bool: BOOL____00785 :: is_defined_var :: var_is_introduced;\n\
00743 var bool: BOOL____00786 :: is_defined_var :: var_is_introduced;\n\
00744 var bool: BOOL____00787 :: is_defined_var :: var_is_introduced;\n\
00745 var bool: BOOL____00788 :: is_defined_var :: var_is_introduced;\n\
00746 var bool: BOOL____00789 :: is_defined_var :: var_is_introduced;\n\
00747 var bool: BOOL____00790 :: is_defined_var :: var_is_introduced;\n\
00748 var bool: BOOL____00791 :: is_defined_var :: var_is_introduced;\n\
00749 var bool: BOOL____00792 :: is_defined_var :: var_is_introduced;\n\
00750 var bool: BOOL____00793 :: is_defined_var :: var_is_introduced;\n\
00751 var bool: BOOL____00794 :: is_defined_var :: var_is_introduced;\n\
00752 var bool: BOOL____00795 :: is_defined_var :: var_is_introduced;\n\
00753 var bool: BOOL____00796 :: is_defined_var :: var_is_introduced;\n\
00754 var bool: BOOL____00797 :: is_defined_var :: var_is_introduced;\n\
00755 var bool: BOOL____00798 :: is_defined_var :: var_is_introduced;\n\
00756 var bool: BOOL____00799 :: is_defined_var :: var_is_introduced;\n\
00757 var bool: BOOL____00800 :: is_defined_var :: var_is_introduced;\n\
00758 var bool: BOOL____00801 :: is_defined_var :: var_is_introduced;\n\
00759 var bool: BOOL____00802 :: is_defined_var :: var_is_introduced;\n\
00760 var bool: BOOL____00803 :: is_defined_var :: var_is_introduced;\n\
00761 var bool: BOOL____00804 :: is_defined_var :: var_is_introduced;\n\
00762 var bool: BOOL____00805 :: is_defined_var :: var_is_introduced;\n\
00763 var bool: BOOL____00806 :: is_defined_var :: var_is_introduced;\n\
00764 var bool: BOOL____00807 :: is_defined_var :: var_is_introduced;\n\
00765 var bool: BOOL____00808 :: is_defined_var :: var_is_introduced;\n\
00766 var bool: BOOL____00809 :: is_defined_var :: var_is_introduced;\n\
00767 var bool: BOOL____00810 :: is_defined_var :: var_is_introduced;\n\
00768 var bool: BOOL____00811 :: is_defined_var :: var_is_introduced;\n\
00769 var bool: BOOL____00812 :: is_defined_var :: var_is_introduced;\n\
00770 var bool: BOOL____00813 :: is_defined_var :: var_is_introduced;\n\
00771 var bool: BOOL____00814 :: is_defined_var :: var_is_introduced;\n\
00772 var bool: BOOL____00815 :: is_defined_var :: var_is_introduced;\n\
00773 var bool: BOOL____00816 :: is_defined_var :: var_is_introduced;\n\
00774 var bool: BOOL____00817 :: is_defined_var :: var_is_introduced;\n\
00775 var bool: BOOL____00818 :: is_defined_var :: var_is_introduced;\n\
00776 var bool: BOOL____00819 :: is_defined_var :: var_is_introduced;\n\
00777 var bool: BOOL____00820 :: is_defined_var :: var_is_introduced;\n\
00778 var bool: BOOL____00821 :: is_defined_var :: var_is_introduced;\n\
00779 var bool: BOOL____00822 :: is_defined_var :: var_is_introduced;\n\
00780 var bool: BOOL____00823 :: is_defined_var :: var_is_introduced;\n\
00781 var bool: BOOL____00824 :: is_defined_var :: var_is_introduced;\n\
00782 var bool: BOOL____00825 :: is_defined_var :: var_is_introduced;\n\
00783 var bool: BOOL____00826 :: is_defined_var :: var_is_introduced;\n\
00784 var bool: BOOL____00827 :: is_defined_var :: var_is_introduced;\n\
00785 var bool: BOOL____00828 :: is_defined_var :: var_is_introduced;\n\
00786 var bool: BOOL____00829 :: is_defined_var :: var_is_introduced;\n\
00787 var bool: BOOL____00830 :: is_defined_var :: var_is_introduced;\n\
00788 var bool: BOOL____00831 :: is_defined_var :: var_is_introduced;\n\
00789 var bool: BOOL____00832 :: is_defined_var :: var_is_introduced;\n\
00790 var bool: BOOL____00833 :: is_defined_var :: var_is_introduced;\n\
00791 var bool: BOOL____00834 :: is_defined_var :: var_is_introduced;\n\
00792 var bool: BOOL____00835 :: is_defined_var :: var_is_introduced;\n\
00793 var bool: BOOL____00836 :: is_defined_var :: var_is_introduced;\n\
00794 var bool: BOOL____00837 :: is_defined_var :: var_is_introduced;\n\
00795 var bool: BOOL____00838 :: is_defined_var :: var_is_introduced;\n\
00796 var bool: BOOL____00839 :: is_defined_var :: var_is_introduced;\n\
00797 var bool: BOOL____00840 :: is_defined_var :: var_is_introduced;\n\
00798 var bool: BOOL____00841 :: is_defined_var :: var_is_introduced;\n\
00799 var bool: BOOL____00842 :: is_defined_var :: var_is_introduced;\n\
00800 var bool: BOOL____00843 :: is_defined_var :: var_is_introduced;\n\
00801 var bool: BOOL____00844 :: is_defined_var :: var_is_introduced;\n"+
00802 "var bool: BOOL____00845 :: is_defined_var :: var_is_introduced;\n\
00803 var bool: BOOL____00846 :: is_defined_var :: var_is_introduced;\n\
00804 var bool: BOOL____00847 :: is_defined_var :: var_is_introduced;\n\
00805 var bool: BOOL____00848 :: is_defined_var :: var_is_introduced;\n\
00806 var bool: BOOL____00849 :: is_defined_var :: var_is_introduced;\n\
00807 var bool: BOOL____00850 :: is_defined_var :: var_is_introduced;\n\
00808 var bool: BOOL____00851 :: is_defined_var :: var_is_introduced;\n\
00809 var bool: BOOL____00852 :: is_defined_var :: var_is_introduced;\n\
00810 var bool: BOOL____00853 :: is_defined_var :: var_is_introduced;\n\
00811 var bool: BOOL____00854 :: is_defined_var :: var_is_introduced;\n\
00812 var bool: BOOL____00855 :: is_defined_var :: var_is_introduced;\n\
00813 var bool: BOOL____00856 :: is_defined_var :: var_is_introduced;\n\
00814 var bool: BOOL____00857 :: is_defined_var :: var_is_introduced;\n\
00815 var bool: BOOL____00858 :: is_defined_var :: var_is_introduced;\n\
00816 var bool: BOOL____00859 :: is_defined_var :: var_is_introduced;\n\
00817 var bool: BOOL____00860 :: is_defined_var :: var_is_introduced;\n\
00818 var bool: BOOL____00861 :: is_defined_var :: var_is_introduced;\n\
00819 var 0..4: X____00001;\n\
00820 var 0..4: X____00002;\n\
00821 var 0..4: X____00003;\n\
00822 var 0..4: X____00004;\n\
00823 var 0..4: X____00005;\n\
00824 var 0..4: X____00006;\n\
00825 var 0..4: X____00007;\n\
00826 var 0..4: X____00008;\n\
00827 var 0..4: X____00009;\n\
00828 var 0..4: X____00010;\n\
00829 var 0..4: X____00011;\n\
00830 var 0..4: X____00012;\n\
00831 var 0..4: X____00013;\n\
00832 var 0..4: X____00014;\n\
00833 var 0..4: X____00015;\n\
00834 var 0..4: X____00016;\n\
00835 var 0..4: X____00017;\n\
00836 var 2..4: X____00018;\n\
00837 var 0..4: X____00019;\n\
00838 var 0..4: X____00020;\n\
00839 var 0..4: X____00021;\n\
00840 var 0..4: X____00022;\n\
00841 var 0..4: X____00023;\n\
00842 var 0..4: X____00024;\n\
00843 var 0..4: X____00025;\n\
00844 var 0..4: X____00026;\n\
00845 var 0..4: X____00027;\n\
00846 var 0..4: X____00028;\n\
00847 var 0..4: X____00029;\n\
00848 var 0..4: X____00030;\n\
00849 var 0..4: X____00031;\n\
00850 var 0..4: X____00032;\n\
00851 var 0..4: X____00033;\n\
00852 var 0..4: X____00034;\n\
00853 var 0..4: X____00035;\n\
00854 var 0..4: X____00036;\n\
00855 var 0..4: X____00037;\n\
00856 var 0..4: X____00038;\n\
00857 var 0..4: X____00039;\n\
00858 var 0..4: X____00040;\n\
00859 var 0..4: X____00041;\n\
00860 var 0..4: X____00042;\n\
00861 var 0..4: X____00043;\n\
00862 var 0..4: X____00044;\n\
00863 var 0..4: X____00045;\n\
00864 var 0..4: X____00046;\n\
00865 var 0..4: X____00047;\n\
00866 var 0..4: X____00048;\n\
00867 var 0..4: X____00049;\n\
00868 var 0..4: X____00050;\n\
00869 var 0..4: X____00051;\n\
00870 var 0..4: X____00052;\n\
00871 var 0..4: X____00053;\n\
00872 var 0..4: X____00054;\n\
00873 var 0..4: X____00055;\n\
00874 var 0..4: X____00056;\n\
00875 var 0..4: X____00057;\n\
00876 var 0..4: X____00058;\n\
00877 var 0..4: X____00059;\n\
00878 var 0..4: X____00060;\n\
00879 var 0..4: X____00061;\n\
00880 var 0..4: X____00062;\n\
00881 var 0..4: X____00063;\n\
00882 var 0..4: X____00064;\n\
00883 var 0..4: X____00065;\n\
00884 var 0..4: X____00066;\n\
00885 var 0..4: X____00067;\n\
00886 var 0..4: X____00068;\n\
00887 var 0..4: X____00069;\n\
00888 var 0..4: X____00070;\n\
00889 var 0..4: X____00071;\n\
00890 var 0..4: X____00072;\n\
00891 var 0..4: X____00073;\n\
00892 var 0..4: X____00074;\n\
00893 var 0..4: X____00075;\n\
00894 var 0..4: X____00076;\n\
00895 var 0..4: X____00077;\n\
00896 var 0..4: X____00078;\n\
00897 var 0..4: X____00079;\n\
00898 var 0..4: X____00080;\n\
00899 var 0..4: X____00081;\n\
00900 var 0..4: X____00082;\n\
00901 var 0..4: X____00083;\n\
00902 var 0..4: X____00084;\n\
00903 var 0..4: X____00085;\n\
00904 var 0..4: X____00086;\n\
00905 var 0..4: X____00087;\n\
00906 var 0..4: X____00088;\n\
00907 var 0..4: X____00089;\n\
00908 var 0..4: X____00090;\n\
00909 var 0..4: X____00091;\n\
00910 var 0..4: X____00092;\n\
00911 var 0..4: X____00093;\n\
00912 var 0..4: X____00094;\n\
00913 var 0..4: X____00095;\n\
00914 array [1..144] of var 0..4: a :: output_array([0..11, 0..11]) = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009, X____00010, 0, 0, X____00011, X____00012, X____00013, X____00014, X____00015, X____00016, X____00017, 0, X____00018, 0, 0, 0, 0, X____00019, X____00020, X____00021, X____00022, X____00023, X____00024, X____00025, 0, X____00026, 0, 0, X____00027, X____00028, X____00029, X____00030, X____00031, X____00032, X____00033, X____00034, X____00035, X____00036, 0, 0, X____00037, X____00038, X____00039, X____00040, X____00041, X____00042, X____00043, X____00044, X____00045, X____00046, 0, 0, X____00047, X____00048, X____00049, X____00050, X____00051, X____00052, X____00053, X____00054, X____00055, X____00056, 0, 0, X____00057, X____00058, X____00059, X____00060, X____00061, X____00062, X____00063, X____00064, X____00065, X____00066, 0, 0, X____00067, X____00068, X____00069, 0, X____00070, X____00071, X____00072, X____00073, X____00074, X____00075, 0, 0, X____00076, X____00077, X____00078, X____00079, X____00080, X____00081, X____00082, X____00083, X____00084, X____00085, 0, 0, X____00086, X____00087, X____00088, X____00089, X____00090, X____00091, X____00092, X____00093, X____00094, X____00095, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0];\n\
00915 array [1..100] of var 0..4: a_flat = [X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009, X____00010, X____00011, X____00012, X____00013, X____00014, X____00015, X____00016, X____00017, 0, X____00018, 0, 0, X____00019, X____00020, X____00021, X____00022, X____00023, X____00024, X____00025, 0, X____00026, X____00027, X____00028, X____00029, X____00030, X____00031, X____00032, X____00033, X____00034, X____00035, X____00036, X____00037, X____00038, X____00039, X____00040, X____00041, X____00042, X____00043, X____00044, X____00045, X____00046, X____00047, X____00048, X____00049, X____00050, X____00051, X____00052, X____00053, X____00054, X____00055, X____00056, X____00057, X____00058, X____00059, X____00060, X____00061, X____00062, X____00063, X____00064, X____00065, X____00066, X____00067, X____00068, X____00069, 0, X____00070, X____00071, X____00072, X____00073, X____00074, X____00075, X____00076, X____00077, X____00078, X____00079, X____00080, X____00081, X____00082, X____00083, X____00084, X____00085, X____00086, X____00087, X____00088, X____00089, X____00090, X____00091, X____00092, X____00093, X____00094, X____00095];\n\
00916 array [1..10] of var 0..4: col_sums = [1, 4, 1, 2, 3, 1, 3, 0, 4, 1];\n\
00917 array [1..10] of var 0..6: row_sums = [2, 1, 5, 0, 0, 0, 1, 6, 1, 4];\n\
00918 constraint array_bool_and([BOOL____00096, BOOL____00131], BOOL____00350) :: defines_var(BOOL____00350);\n\
00919 constraint array_bool_and([BOOL____00098, BOOL____00133], BOOL____00352) :: defines_var(BOOL____00352);\n\
00920 constraint array_bool_and([BOOL____00099, BOOL____00135], BOOL____00354) :: defines_var(BOOL____00354);\n\
00921 constraint array_bool_and([BOOL____00100, BOOL____00138], BOOL____00356) :: defines_var(BOOL____00356);\n\
00922 constraint array_bool_and([BOOL____00101, BOOL____00141], BOOL____00358) :: defines_var(BOOL____00358);\n\
00923 constraint array_bool_and([BOOL____00102, BOOL____00144], BOOL____00360) :: defines_var(BOOL____00360);\n\
00924 constraint array_bool_and([BOOL____00103, BOOL____00147], BOOL____00362) :: defines_var(BOOL____00362);\n\
00925 constraint array_bool_and([BOOL____00105, BOOL____00150], BOOL____00363) :: defines_var(BOOL____00363);\n\
00926 constraint array_bool_and([BOOL____00107, BOOL____00113], BOOL____00114) :: defines_var(BOOL____00114);\n\
00927 constraint array_bool_and([BOOL____00109, BOOL____00110], BOOL____00111) :: defines_var(BOOL____00111);\n\
00928 constraint array_bool_and([BOOL____00110, BOOL____00116], BOOL____00117) :: defines_var(BOOL____00117);\n\
00929 constraint array_bool_and([BOOL____00110, BOOL____00155], BOOL____00365) :: defines_var(BOOL____00365);\n\
00930 constraint array_bool_and([BOOL____00113, BOOL____00119], BOOL____00120) :: defines_var(BOOL____00120);\n\
00931 constraint array_bool_and([BOOL____00113, BOOL____00158], BOOL____00367) :: defines_var(BOOL____00367);\n\
00932 constraint array_bool_and([BOOL____00116, BOOL____00122], BOOL____00123) :: defines_var(BOOL____00123);\n\
00933 constraint array_bool_and([BOOL____00116, BOOL____00161], BOOL____00369) :: defines_var(BOOL____00369);\n\
00934 constraint array_bool_and([BOOL____00119, BOOL____00164], BOOL____00371) :: defines_var(BOOL____00371);\n\
00935 constraint array_bool_and([BOOL____00122, BOOL____00126], BOOL____00127) :: defines_var(BOOL____00127);\n\
00936 constraint array_bool_and([BOOL____00122, BOOL____00167], BOOL____00373) :: defines_var(BOOL____00373);\n\
00937 constraint array_bool_and([BOOL____00126, BOOL____00173], BOOL____00376) :: defines_var(BOOL____00376);\n\
00938 constraint array_bool_and([BOOL____00131, BOOL____00135], BOOL____00136) :: defines_var(BOOL____00136);\n\
00939 constraint array_bool_and([BOOL____00131, BOOL____00178], BOOL____00378) :: defines_var(BOOL____00378);\n\
00940 constraint array_bool_and([BOOL____00133, BOOL____00138], BOOL____00139) :: defines_var(BOOL____00139);\n\
00941 constraint array_bool_and([BOOL____00133, BOOL____00181], BOOL____00380) :: defines_var(BOOL____00380);\n\
00942 constraint array_bool_and([BOOL____00135, BOOL____00141], BOOL____00142) :: defines_var(BOOL____00142);\n\
00943 constraint array_bool_and([BOOL____00135, BOOL____00184], BOOL____00382) :: defines_var(BOOL____00382);\n\
00944 constraint array_bool_and([BOOL____00138, BOOL____00144], BOOL____00145) :: defines_var(BOOL____00145);\n\
00945 constraint array_bool_and([BOOL____00138, BOOL____00187], BOOL____00384) :: defines_var(BOOL____00384);\n\
00946 constraint array_bool_and([BOOL____00141, BOOL____00147], BOOL____00148) :: defines_var(BOOL____00148);\n\
00947 constraint array_bool_and([BOOL____00141, BOOL____00190], BOOL____00386) :: defines_var(BOOL____00386);\n\
00948 constraint array_bool_and([BOOL____00144, BOOL____00193], BOOL____00388) :: defines_var(BOOL____00388);\n\
00949 constraint array_bool_and([BOOL____00147, BOOL____00150], BOOL____00151) :: defines_var(BOOL____00151);\n\
00950 constraint array_bool_and([BOOL____00147, BOOL____00196], BOOL____00390) :: defines_var(BOOL____00390);\n\
00951 constraint array_bool_and([BOOL____00150, BOOL____00202], BOOL____00393) :: defines_var(BOOL____00393);\n\
00952 constraint array_bool_and([BOOL____00152, BOOL____00158], BOOL____00159) :: defines_var(BOOL____00159);\n\
00953 constraint array_bool_and([BOOL____00152, BOOL____00206], BOOL____00395) :: defines_var(BOOL____00395);\n\
00954 constraint array_bool_and([BOOL____00154, BOOL____00155], BOOL____00156) :: defines_var(BOOL____00156);\n\
00955 constraint array_bool_and([BOOL____00155, BOOL____00161], BOOL____00162) :: defines_var(BOOL____00162);\n\
00956 constraint array_bool_and([BOOL____00155, BOOL____00209], BOOL____00397) :: defines_var(BOOL____00397);\n\
00957 constraint array_bool_and([BOOL____00158, BOOL____00164], BOOL____00165) :: defines_var(BOOL____00165);\n\
00958 constraint array_bool_and([BOOL____00158, BOOL____00212], BOOL____00399) :: defines_var(BOOL____00399);\n\
00959 constraint array_bool_and([BOOL____00161, BOOL____00167], BOOL____00168) :: defines_var(BOOL____00168);\n\
00960 constraint array_bool_and([BOOL____00161, BOOL____00215], BOOL____00401) :: defines_var(BOOL____00401);\n\
00961 constraint array_bool_and([BOOL____00164, BOOL____00170], BOOL____00171) :: defines_var(BOOL____00171);\n\
00962 constraint array_bool_and([BOOL____00164, BOOL____00218], BOOL____00403) :: defines_var(BOOL____00403);\n\
00963 constraint array_bool_and([BOOL____00167, BOOL____00173], BOOL____00174) :: defines_var(BOOL____00174);\n\
00964 constraint array_bool_and([BOOL____00167, BOOL____00221], BOOL____00405) :: defines_var(BOOL____00405);\n\
00965 constraint array_bool_and([BOOL____00170, BOOL____00224], BOOL____00407) :: defines_var(BOOL____00407);\n\
00966 constraint array_bool_and([BOOL____00173, BOOL____00227], BOOL____00409) :: defines_var(BOOL____00409);\n\
00967 constraint array_bool_and([BOOL____00175, BOOL____00230], BOOL____00411) :: defines_var(BOOL____00411);\n\
00968 constraint array_bool_and([BOOL____00178, BOOL____00184], BOOL____00185) :: defines_var(BOOL____00185);\n\
00969 constraint array_bool_and([BOOL____00178, BOOL____00234], BOOL____00413) :: defines_var(BOOL____00413);\n\
00970 constraint array_bool_and([BOOL____00180, BOOL____00181], BOOL____00182) :: defines_var(BOOL____00182);\n\
00971 constraint array_bool_and([BOOL____00181, BOOL____00187], BOOL____00188) :: defines_var(BOOL____00188);\n\
00972 constraint array_bool_and([BOOL____00181, BOOL____00237], BOOL____00415) :: defines_var(BOOL____00415);\n\
00973 constraint array_bool_and([BOOL____00184, BOOL____00190], BOOL____00191) :: defines_var(BOOL____00191);\n\
00974 constraint array_bool_and([BOOL____00184, BOOL____00240], BOOL____00417) :: defines_var(BOOL____00417);\n\
00975 constraint array_bool_and([BOOL____00187, BOOL____00193], BOOL____00194) :: defines_var(BOOL____00194);\n\
00976 constraint array_bool_and([BOOL____00187, BOOL____00243], BOOL____00419) :: defines_var(BOOL____00419);\n\
00977 constraint array_bool_and([BOOL____00190, BOOL____00196], BOOL____00197) :: defines_var(BOOL____00197);\n\
00978 constraint array_bool_and([BOOL____00190, BOOL____00246], BOOL____00421) :: defines_var(BOOL____00421);\n\
00979 constraint array_bool_and([BOOL____00193, BOOL____00199], BOOL____00200) :: defines_var(BOOL____00200);\n\
00980 constraint array_bool_and([BOOL____00193, BOOL____00249], BOOL____00423) :: defines_var(BOOL____00423);\n\
00981 constraint array_bool_and([BOOL____00196, BOOL____00202], BOOL____00203) :: defines_var(BOOL____00203);\n\
00982 constraint array_bool_and([BOOL____00196, BOOL____00252], BOOL____00425) :: defines_var(BOOL____00425);\n\
00983 constraint array_bool_and([BOOL____00199, BOOL____00255], BOOL____00427) :: defines_var(BOOL____00427);\n\
00984 constraint array_bool_and([BOOL____00202, BOOL____00258], BOOL____00429) :: defines_var(BOOL____00429);\n\
00985 constraint array_bool_and([BOOL____00206, BOOL____00212], BOOL____00213) :: defines_var(BOOL____00213);\n\
00986 constraint array_bool_and([BOOL____00206, BOOL____00262], BOOL____00431) :: defines_var(BOOL____00431);\n\
00987 constraint array_bool_and([BOOL____00208, BOOL____00209], BOOL____00210) :: defines_var(BOOL____00210);\n\
00988 constraint array_bool_and([BOOL____00209, BOOL____00215], BOOL____00216) :: defines_var(BOOL____00216);\n\
00989 constraint array_bool_and([BOOL____00209, BOOL____00265], BOOL____00433) :: defines_var(BOOL____00433);\n\
00990 constraint array_bool_and([BOOL____00212, BOOL____00218], BOOL____00219) :: defines_var(BOOL____00219);\n\
00991 constraint array_bool_and([BOOL____00215, BOOL____00221], BOOL____00222) :: defines_var(BOOL____00222);\n\
00992 constraint array_bool_and([BOOL____00215, BOOL____00269], BOOL____00436) :: defines_var(BOOL____00436);\n\
00993 constraint array_bool_and([BOOL____00218, BOOL____00224], BOOL____00225) :: defines_var(BOOL____00225);\n\
00994 constraint array_bool_and([BOOL____00218, BOOL____00272], BOOL____00438) :: defines_var(BOOL____00438);\n\
00995 constraint array_bool_and([BOOL____00221, BOOL____00227], BOOL____00228) :: defines_var(BOOL____00228);\n\
00996 constraint array_bool_and([BOOL____00221, BOOL____00274], BOOL____00440) :: defines_var(BOOL____00440);\n\
00997 constraint array_bool_and([BOOL____00224, BOOL____00230], BOOL____00231) :: defines_var(BOOL____00231);\n\
00998 constraint array_bool_and([BOOL____00224, BOOL____00277], BOOL____00442) :: defines_var(BOOL____00442);\n\
00999 constraint array_bool_and([BOOL____00227, BOOL____00280], BOOL____00444) :: defines_var(BOOL____00444);\n\
01000 constraint array_bool_and([BOOL____00230, BOOL____00283], BOOL____00446) :: defines_var(BOOL____00446);\n\
01001 constraint array_bool_and([BOOL____00234, BOOL____00240], BOOL____00241) :: defines_var(BOOL____00241);\n\
01002 constraint array_bool_and([BOOL____00234, BOOL____00287], BOOL____00448) :: defines_var(BOOL____00448);\n\
01003 constraint array_bool_and([BOOL____00236, BOOL____00237], BOOL____00238) :: defines_var(BOOL____00238);\n\
01004 constraint array_bool_and([BOOL____00237, BOOL____00243], BOOL____00244) :: defines_var(BOOL____00244);\n\
01005 constraint array_bool_and([BOOL____00237, BOOL____00290], BOOL____00450) :: defines_var(BOOL____00450);\n\
01006 constraint array_bool_and([BOOL____00240, BOOL____00246], BOOL____00247) :: defines_var(BOOL____00247);\n"+
01007 "constraint array_bool_and([BOOL____00240, BOOL____00293], BOOL____00452) :: defines_var(BOOL____00452);\n\
01008 constraint array_bool_and([BOOL____00243, BOOL____00249], BOOL____00250) :: defines_var(BOOL____00250);\n\
01009 constraint array_bool_and([BOOL____00246, BOOL____00252], BOOL____00253) :: defines_var(BOOL____00253);\n\
01010 constraint array_bool_and([BOOL____00246, BOOL____00297], BOOL____00454) :: defines_var(BOOL____00454);\n\
01011 constraint array_bool_and([BOOL____00249, BOOL____00255], BOOL____00256) :: defines_var(BOOL____00256);\n\
01012 constraint array_bool_and([BOOL____00249, BOOL____00300], BOOL____00456) :: defines_var(BOOL____00456);\n\
01013 constraint array_bool_and([BOOL____00252, BOOL____00258], BOOL____00259) :: defines_var(BOOL____00259);\n\
01014 constraint array_bool_and([BOOL____00252, BOOL____00303], BOOL____00458) :: defines_var(BOOL____00458);\n\
01015 constraint array_bool_and([BOOL____00255, BOOL____00306], BOOL____00460) :: defines_var(BOOL____00460);\n\
01016 constraint array_bool_and([BOOL____00258, BOOL____00309], BOOL____00462) :: defines_var(BOOL____00462);\n\
01017 constraint array_bool_and([BOOL____00262, BOOL____00313], BOOL____00464) :: defines_var(BOOL____00464);\n\
01018 constraint array_bool_and([BOOL____00264, BOOL____00265], BOOL____00266) :: defines_var(BOOL____00266);\n\
01019 constraint array_bool_and([BOOL____00265, BOOL____00269], BOOL____00270) :: defines_var(BOOL____00270);\n\
01020 constraint array_bool_and([BOOL____00265, BOOL____00316], BOOL____00466) :: defines_var(BOOL____00466);\n\
01021 constraint array_bool_and([BOOL____00269, BOOL____00274], BOOL____00275) :: defines_var(BOOL____00275);\n\
01022 constraint array_bool_and([BOOL____00269, BOOL____00322], BOOL____00469) :: defines_var(BOOL____00469);\n\
01023 constraint array_bool_and([BOOL____00272, BOOL____00277], BOOL____00278) :: defines_var(BOOL____00278);\n\
01024 constraint array_bool_and([BOOL____00272, BOOL____00325], BOOL____00471) :: defines_var(BOOL____00471);\n\
01025 constraint array_bool_and([BOOL____00274, BOOL____00280], BOOL____00281) :: defines_var(BOOL____00281);\n\
01026 constraint array_bool_and([BOOL____00274, BOOL____00328], BOOL____00473) :: defines_var(BOOL____00473);\n\
01027 constraint array_bool_and([BOOL____00277, BOOL____00283], BOOL____00284) :: defines_var(BOOL____00284);\n\
01028 constraint array_bool_and([BOOL____00277, BOOL____00331], BOOL____00475) :: defines_var(BOOL____00475);\n\
01029 constraint array_bool_and([BOOL____00280, BOOL____00334], BOOL____00477) :: defines_var(BOOL____00477);\n\
01030 constraint array_bool_and([BOOL____00283, BOOL____00337], BOOL____00479) :: defines_var(BOOL____00479);\n\
01031 constraint array_bool_and([BOOL____00287, BOOL____00293], BOOL____00294) :: defines_var(BOOL____00294);\n\
01032 constraint array_bool_and([BOOL____00289, BOOL____00290], BOOL____00291) :: defines_var(BOOL____00291);\n\
01033 constraint array_bool_and([BOOL____00293, BOOL____00297], BOOL____00298) :: defines_var(BOOL____00298);\n\
01034 constraint array_bool_and([BOOL____00295, BOOL____00300], BOOL____00301) :: defines_var(BOOL____00301);\n\
01035 constraint array_bool_and([BOOL____00297, BOOL____00303], BOOL____00304) :: defines_var(BOOL____00304);\n\
01036 constraint array_bool_and([BOOL____00300, BOOL____00306], BOOL____00307) :: defines_var(BOOL____00307);\n\
01037 constraint array_bool_and([BOOL____00303, BOOL____00309], BOOL____00310) :: defines_var(BOOL____00310);\n\
01038 constraint array_bool_and([BOOL____00313, BOOL____00319], BOOL____00320) :: defines_var(BOOL____00320);\n\
01039 constraint array_bool_and([BOOL____00315, BOOL____00316], BOOL____00317) :: defines_var(BOOL____00317);\n\
01040 constraint array_bool_and([BOOL____00316, BOOL____00322], BOOL____00323) :: defines_var(BOOL____00323);\n\
01041 constraint array_bool_and([BOOL____00319, BOOL____00325], BOOL____00326) :: defines_var(BOOL____00326);\n\
01042 constraint array_bool_and([BOOL____00322, BOOL____00328], BOOL____00329) :: defines_var(BOOL____00329);\n\
01043 constraint array_bool_and([BOOL____00325, BOOL____00331], BOOL____00332) :: defines_var(BOOL____00332);\n\
01044 constraint array_bool_and([BOOL____00328, BOOL____00334], BOOL____00335) :: defines_var(BOOL____00335);\n\
01045 constraint array_bool_and([BOOL____00331, BOOL____00337], BOOL____00338) :: defines_var(BOOL____00338);\n\
01046 constraint array_bool_and([BOOL____00489, BOOL____00096], BOOL____00491) :: defines_var(BOOL____00491);\n\
01047 constraint array_bool_and([BOOL____00489, BOOL____00109], BOOL____00490) :: defines_var(BOOL____00490);\n\
01048 constraint array_bool_and([BOOL____00492, BOOL____00107], BOOL____00493) :: defines_var(BOOL____00493);\n\
01049 constraint array_bool_and([BOOL____00496, BOOL____00110], BOOL____00497) :: defines_var(BOOL____00497);\n\
01050 constraint array_bool_and([BOOL____00500, BOOL____00113], BOOL____00501) :: defines_var(BOOL____00501);\n\
01051 constraint array_bool_and([BOOL____00504, BOOL____00116], BOOL____00505) :: defines_var(BOOL____00505);\n\
01052 constraint array_bool_and([BOOL____00508, BOOL____00119], BOOL____00509) :: defines_var(BOOL____00509);\n\
01053 constraint array_bool_and([BOOL____00512, BOOL____00122], BOOL____00513) :: defines_var(BOOL____00513);\n\
01054 constraint array_bool_and([BOOL____00519, BOOL____00126], BOOL____00520) :: defines_var(BOOL____00520);\n\
01055 constraint array_bool_and([BOOL____00524, BOOL____00104], BOOL____00525) :: defines_var(BOOL____00525);\n\
01056 constraint array_bool_and([BOOL____00526, BOOL____00097], BOOL____00527) :: defines_var(BOOL____00527);\n\
01057 constraint array_bool_and([BOOL____00528, BOOL____00107], BOOL____00529) :: defines_var(BOOL____00529);\n\
01058 constraint array_bool_and([BOOL____00552, BOOL____00119], BOOL____00553) :: defines_var(BOOL____00553);\n\
01059 constraint array_bool_and([BOOL____00554, BOOL____00104], BOOL____00555) :: defines_var(BOOL____00555);\n\
01060 constraint array_bool_and([BOOL____00559, BOOL____00133], BOOL____00560) :: defines_var(BOOL____00560);\n\
01061 constraint array_bool_and([BOOL____00581, BOOL____00170], BOOL____00582) :: defines_var(BOOL____00582);\n\
01062 constraint array_bool_and([BOOL____00583, BOOL____00144], BOOL____00584) :: defines_var(BOOL____00584);\n\
01063 constraint array_bool_and([BOOL____00585, BOOL____00175], BOOL____00586) :: defines_var(BOOL____00586);\n\
01064 constraint array_bool_and([BOOL____00587, BOOL____00152], BOOL____00589) :: defines_var(BOOL____00589);\n\
01065 constraint array_bool_and([BOOL____00587, BOOL____00180], BOOL____00588) :: defines_var(BOOL____00588);\n\
01066 constraint array_bool_and([BOOL____00618, BOOL____00199], BOOL____00619) :: defines_var(BOOL____00619);\n\
01067 constraint array_bool_and([BOOL____00624, BOOL____00173], BOOL____00625) :: defines_var(BOOL____00625);\n\
01068 constraint array_bool_and([BOOL____00628, BOOL____00178], BOOL____00629) :: defines_var(BOOL____00629);\n\
01069 constraint array_bool_and([BOOL____00664, BOOL____00199], BOOL____00665) :: defines_var(BOOL____00665);\n\
01070 constraint array_bool_and([BOOL____00668, BOOL____00206], BOOL____00669) :: defines_var(BOOL____00669);\n\
01071 constraint array_bool_and([BOOL____00704, BOOL____00227], BOOL____00705) :: defines_var(BOOL____00705);\n\
01072 constraint array_bool_and([BOOL____00708, BOOL____00234], BOOL____00709) :: defines_var(BOOL____00709);\n\
01073 constraint array_bool_and([BOOL____00718, BOOL____00212], BOOL____00719) :: defines_var(BOOL____00719);\n\
01074 constraint array_bool_and([BOOL____00744, BOOL____00255], BOOL____00745) :: defines_var(BOOL____00745);\n\
01075 constraint array_bool_and([BOOL____00748, BOOL____00262], BOOL____00749) :: defines_var(BOOL____00749);\n\
01076 constraint array_bool_and([BOOL____00756, BOOL____00262], BOOL____00757) :: defines_var(BOOL____00757);\n\
01077 constraint array_bool_and([BOOL____00760, BOOL____00272], BOOL____00761) :: defines_var(BOOL____00761);\n\
01078 constraint array_bool_and([BOOL____00780, BOOL____00280], BOOL____00781) :: defines_var(BOOL____00781);\n\
01079 constraint array_bool_and([BOOL____00784, BOOL____00287], BOOL____00785) :: defines_var(BOOL____00785);\n\
01080 constraint array_bool_and([BOOL____00794, BOOL____00319], BOOL____00795) :: defines_var(BOOL____00795);\n\
01081 constraint array_bool_and([BOOL____00820, BOOL____00306], BOOL____00821) :: defines_var(BOOL____00821);\n\
01082 constraint array_bool_and([BOOL____00822, BOOL____00289], BOOL____00823) :: defines_var(BOOL____00823);\n\
01083 constraint array_bool_and([BOOL____00824, BOOL____00313], BOOL____00825) :: defines_var(BOOL____00825);\n\
01084 constraint array_bool_and([BOOL____00826, BOOL____00287], BOOL____00827) :: defines_var(BOOL____00827);\n\
01085 constraint array_bool_and([BOOL____00830, BOOL____00290], BOOL____00831) :: defines_var(BOOL____00831);\n\
01086 constraint array_bool_and([BOOL____00834, BOOL____00293], BOOL____00835) :: defines_var(BOOL____00835);\n\
01087 constraint array_bool_and([BOOL____00838, BOOL____00295], BOOL____00839) :: defines_var(BOOL____00839);\n\
01088 constraint array_bool_and([BOOL____00842, BOOL____00297], BOOL____00843) :: defines_var(BOOL____00843);\n\
01089 constraint array_bool_and([BOOL____00846, BOOL____00300], BOOL____00847) :: defines_var(BOOL____00847);\n\
01090 constraint array_bool_and([BOOL____00850, BOOL____00303], BOOL____00851) :: defines_var(BOOL____00851);\n\
01091 constraint array_bool_and([BOOL____00854, BOOL____00306], BOOL____00855) :: defines_var(BOOL____00855);\n\
01092 constraint array_bool_and([BOOL____00858, BOOL____00309], BOOL____00859) :: defines_var(BOOL____00859);\n\
01093 constraint array_bool_and([BOOL____00860, BOOL____00334], BOOL____00861) :: defines_var(BOOL____00861);\n\
01094 constraint array_bool_and([BOOL____00098, BOOL____00494, BOOL____00097], BOOL____00495) :: defines_var(BOOL____00495);\n\
01095 constraint array_bool_and([BOOL____00099, BOOL____00498, BOOL____00096], BOOL____00499) :: defines_var(BOOL____00499);\n\
01096 constraint array_bool_and([BOOL____00100, BOOL____00502, BOOL____00098], BOOL____00503) :: defines_var(BOOL____00503);\n\
01097 constraint array_bool_and([BOOL____00101, BOOL____00506, BOOL____00099], BOOL____00507) :: defines_var(BOOL____00507);\n\
01098 constraint array_bool_and([BOOL____00102, BOOL____00510, BOOL____00100], BOOL____00511) :: defines_var(BOOL____00511);\n\
01099 constraint array_bool_and([BOOL____00103, BOOL____00514, BOOL____00101], BOOL____00515) :: defines_var(BOOL____00515);\n\
01100 constraint array_bool_and([BOOL____00104, BOOL____00517, BOOL____00102], BOOL____00518) :: defines_var(BOOL____00518);\n\
01101 constraint array_bool_and([BOOL____00105, BOOL____00521, BOOL____00103], BOOL____00522) :: defines_var(BOOL____00522);\n\
01102 constraint array_bool_and([BOOL____00110, BOOL____00532, BOOL____00109], BOOL____00533) :: defines_var(BOOL____00533);\n\
01103 constraint array_bool_and([BOOL____00113, BOOL____00536, BOOL____00107], BOOL____00537) :: defines_var(BOOL____00537);\n\
01104 constraint array_bool_and([BOOL____00116, BOOL____00540, BOOL____00110], BOOL____00541) :: defines_var(BOOL____00541);\n\
01105 constraint array_bool_and([BOOL____00119, BOOL____00544, BOOL____00113], BOOL____00545) :: defines_var(BOOL____00545);\n\
01106 constraint array_bool_and([BOOL____00122, BOOL____00548, BOOL____00116], BOOL____00549) :: defines_var(BOOL____00549);\n\
01107 constraint array_bool_and([BOOL____00131, BOOL____00530, BOOL____00096], BOOL____00531) :: defines_var(BOOL____00531);\n\
01108 constraint array_bool_and([BOOL____00133, BOOL____00534, BOOL____00098], BOOL____00535) :: defines_var(BOOL____00535);\n\
01109 constraint array_bool_and([BOOL____00135, BOOL____00538, BOOL____00099], BOOL____00539) :: defines_var(BOOL____00539);\n\
01110 constraint array_bool_and([BOOL____00135, BOOL____00563, BOOL____00131], BOOL____00564) :: defines_var(BOOL____00564);\n\
01111 constraint array_bool_and([BOOL____00138, BOOL____00542, BOOL____00100], BOOL____00543) :: defines_var(BOOL____00543);\n\
01112 constraint array_bool_and([BOOL____00138, BOOL____00567, BOOL____00133], BOOL____00568) :: defines_var(BOOL____00568);\n\
01113 constraint array_bool_and([BOOL____00141, BOOL____00546, BOOL____00101], BOOL____00547) :: defines_var(BOOL____00547);\n\
01114 constraint array_bool_and([BOOL____00141, BOOL____00571, BOOL____00135], BOOL____00572) :: defines_var(BOOL____00572);\n\
01115 constraint array_bool_and([BOOL____00144, BOOL____00550, BOOL____00102], BOOL____00551) :: defines_var(BOOL____00551);\n\
01116 constraint array_bool_and([BOOL____00144, BOOL____00575, BOOL____00138], BOOL____00576) :: defines_var(BOOL____00576);\n\
01117 constraint array_bool_and([BOOL____00147, BOOL____00579, BOOL____00141], BOOL____00580) :: defines_var(BOOL____00580);\n\
01118 constraint array_bool_and([BOOL____00152, BOOL____00557, BOOL____00107], BOOL____00558) :: defines_var(BOOL____00558);\n\
01119 constraint array_bool_and([BOOL____00155, BOOL____00561, BOOL____00110], BOOL____00562) :: defines_var(BOOL____00562);\n\
01120 constraint array_bool_and([BOOL____00155, BOOL____00592, BOOL____00154], BOOL____00593) :: defines_var(BOOL____00593);\n\
01121 constraint array_bool_and([BOOL____00158, BOOL____00565, BOOL____00113], BOOL____00566) :: defines_var(BOOL____00566);\n\
01122 constraint array_bool_and([BOOL____00158, BOOL____00596, BOOL____00152], BOOL____00597) :: defines_var(BOOL____00597);\n\
01123 constraint array_bool_and([BOOL____00161, BOOL____00569, BOOL____00116], BOOL____00570) :: defines_var(BOOL____00570);\n\
01124 constraint array_bool_and([BOOL____00161, BOOL____00600, BOOL____00155], BOOL____00601) :: defines_var(BOOL____00601);\n\
01125 constraint array_bool_and([BOOL____00164, BOOL____00573, BOOL____00119], BOOL____00574) :: defines_var(BOOL____00574);\n\
01126 constraint array_bool_and([BOOL____00164, BOOL____00604, BOOL____00158], BOOL____00605) :: defines_var(BOOL____00605);\n\
01127 constraint array_bool_and([BOOL____00167, BOOL____00577, BOOL____00122], BOOL____00578) :: defines_var(BOOL____00578);\n\
01128 constraint array_bool_and([BOOL____00167, BOOL____00608, BOOL____00161], BOOL____00609) :: defines_var(BOOL____00609);\n\
01129 constraint array_bool_and([BOOL____00170, BOOL____00612, BOOL____00164], BOOL____00613) :: defines_var(BOOL____00613);\n\
01130 constraint array_bool_and([BOOL____00173, BOOL____00616, BOOL____00167], BOOL____00617) :: defines_var(BOOL____00617);\n\
01131 constraint array_bool_and([BOOL____00175, BOOL____00620, BOOL____00170], BOOL____00621) :: defines_var(BOOL____00621);\n\
01132 constraint array_bool_and([BOOL____00178, BOOL____00590, BOOL____00131], BOOL____00591) :: defines_var(BOOL____00591);\n\
01133 constraint array_bool_and([BOOL____00181, BOOL____00594, BOOL____00133], BOOL____00595) :: defines_var(BOOL____00595);\n\
01134 constraint array_bool_and([BOOL____00181, BOOL____00632, BOOL____00180], BOOL____00633) :: defines_var(BOOL____00633);\n\
01135 constraint array_bool_and([BOOL____00184, BOOL____00598, BOOL____00135], BOOL____00599) :: defines_var(BOOL____00599);\n\
01136 constraint array_bool_and([BOOL____00184, BOOL____00636, BOOL____00178], BOOL____00637) :: defines_var(BOOL____00637);\n\
01137 constraint array_bool_and([BOOL____00187, BOOL____00602, BOOL____00138], BOOL____00603) :: defines_var(BOOL____00603);\n\
01138 constraint array_bool_and([BOOL____00187, BOOL____00640, BOOL____00181], BOOL____00641) :: defines_var(BOOL____00641);\n\
01139 constraint array_bool_and([BOOL____00190, BOOL____00606, BOOL____00141], BOOL____00607) :: defines_var(BOOL____00607);\n\
01140 constraint array_bool_and([BOOL____00190, BOOL____00644, BOOL____00184], BOOL____00645) :: defines_var(BOOL____00645);\n\
01141 constraint array_bool_and([BOOL____00193, BOOL____00610, BOOL____00144], BOOL____00611) :: defines_var(BOOL____00611);\n\
01142 constraint array_bool_and([BOOL____00193, BOOL____00648, BOOL____00187], BOOL____00649) :: defines_var(BOOL____00649);\n\
01143 constraint array_bool_and([BOOL____00196, BOOL____00614, BOOL____00147], BOOL____00615) :: defines_var(BOOL____00615);\n\
01144 constraint array_bool_and([BOOL____00196, BOOL____00652, BOOL____00190], BOOL____00653) :: defines_var(BOOL____00653);\n\
01145 constraint array_bool_and([BOOL____00199, BOOL____00656, BOOL____00193], BOOL____00657) :: defines_var(BOOL____00657);\n\
01146 constraint array_bool_and([BOOL____00202, BOOL____00622, BOOL____00150], BOOL____00623) :: defines_var(BOOL____00623);\n\
01147 constraint array_bool_and([BOOL____00202, BOOL____00660, BOOL____00196], BOOL____00661) :: defines_var(BOOL____00661);\n\
01148 constraint array_bool_and([BOOL____00206, BOOL____00630, BOOL____00152], BOOL____00631) :: defines_var(BOOL____00631);\n\
01149 constraint array_bool_and([BOOL____00208, BOOL____00626, BOOL____00154], BOOL____00627) :: defines_var(BOOL____00627);\n\
01150 constraint array_bool_and([BOOL____00209, BOOL____00634, BOOL____00155], BOOL____00635) :: defines_var(BOOL____00635);\n\
01151 constraint array_bool_and([BOOL____00209, BOOL____00672, BOOL____00208], BOOL____00673) :: defines_var(BOOL____00673);\n"+
01152 "constraint array_bool_and([BOOL____00212, BOOL____00638, BOOL____00158], BOOL____00639) :: defines_var(BOOL____00639);\n\
01153 constraint array_bool_and([BOOL____00212, BOOL____00676, BOOL____00206], BOOL____00677) :: defines_var(BOOL____00677);\n\
01154 constraint array_bool_and([BOOL____00215, BOOL____00642, BOOL____00161], BOOL____00643) :: defines_var(BOOL____00643);\n\
01155 constraint array_bool_and([BOOL____00215, BOOL____00680, BOOL____00209], BOOL____00681) :: defines_var(BOOL____00681);\n\
01156 constraint array_bool_and([BOOL____00218, BOOL____00646, BOOL____00164], BOOL____00647) :: defines_var(BOOL____00647);\n\
01157 constraint array_bool_and([BOOL____00218, BOOL____00684, BOOL____00212], BOOL____00685) :: defines_var(BOOL____00685);\n\
01158 constraint array_bool_and([BOOL____00221, BOOL____00650, BOOL____00167], BOOL____00651) :: defines_var(BOOL____00651);\n\
01159 constraint array_bool_and([BOOL____00221, BOOL____00688, BOOL____00215], BOOL____00689) :: defines_var(BOOL____00689);\n\
01160 constraint array_bool_and([BOOL____00224, BOOL____00654, BOOL____00170], BOOL____00655) :: defines_var(BOOL____00655);\n\
01161 constraint array_bool_and([BOOL____00224, BOOL____00692, BOOL____00218], BOOL____00693) :: defines_var(BOOL____00693);\n\
01162 constraint array_bool_and([BOOL____00227, BOOL____00658, BOOL____00173], BOOL____00659) :: defines_var(BOOL____00659);\n\
01163 constraint array_bool_and([BOOL____00227, BOOL____00696, BOOL____00221], BOOL____00697) :: defines_var(BOOL____00697);\n\
01164 constraint array_bool_and([BOOL____00230, BOOL____00662, BOOL____00175], BOOL____00663) :: defines_var(BOOL____00663);\n\
01165 constraint array_bool_and([BOOL____00230, BOOL____00700, BOOL____00224], BOOL____00701) :: defines_var(BOOL____00701);\n\
01166 constraint array_bool_and([BOOL____00234, BOOL____00670, BOOL____00178], BOOL____00671) :: defines_var(BOOL____00671);\n\
01167 constraint array_bool_and([BOOL____00236, BOOL____00666, BOOL____00180], BOOL____00667) :: defines_var(BOOL____00667);\n\
01168 constraint array_bool_and([BOOL____00237, BOOL____00674, BOOL____00181], BOOL____00675) :: defines_var(BOOL____00675);\n\
01169 constraint array_bool_and([BOOL____00237, BOOL____00712, BOOL____00236], BOOL____00713) :: defines_var(BOOL____00713);\n\
01170 constraint array_bool_and([BOOL____00240, BOOL____00678, BOOL____00184], BOOL____00679) :: defines_var(BOOL____00679);\n\
01171 constraint array_bool_and([BOOL____00240, BOOL____00716, BOOL____00234], BOOL____00717) :: defines_var(BOOL____00717);\n\
01172 constraint array_bool_and([BOOL____00243, BOOL____00682, BOOL____00187], BOOL____00683) :: defines_var(BOOL____00683);\n\
01173 constraint array_bool_and([BOOL____00243, BOOL____00720, BOOL____00237], BOOL____00721) :: defines_var(BOOL____00721);\n\
01174 constraint array_bool_and([BOOL____00246, BOOL____00686, BOOL____00190], BOOL____00687) :: defines_var(BOOL____00687);\n\
01175 constraint array_bool_and([BOOL____00246, BOOL____00724, BOOL____00240], BOOL____00725) :: defines_var(BOOL____00725);\n\
01176 constraint array_bool_and([BOOL____00249, BOOL____00690, BOOL____00193], BOOL____00691) :: defines_var(BOOL____00691);\n\
01177 constraint array_bool_and([BOOL____00249, BOOL____00728, BOOL____00243], BOOL____00729) :: defines_var(BOOL____00729);\n\
01178 constraint array_bool_and([BOOL____00252, BOOL____00694, BOOL____00196], BOOL____00695) :: defines_var(BOOL____00695);\n\
01179 constraint array_bool_and([BOOL____00252, BOOL____00732, BOOL____00246], BOOL____00733) :: defines_var(BOOL____00733);\n\
01180 constraint array_bool_and([BOOL____00255, BOOL____00698, BOOL____00199], BOOL____00699) :: defines_var(BOOL____00699);\n\
01181 constraint array_bool_and([BOOL____00255, BOOL____00736, BOOL____00249], BOOL____00737) :: defines_var(BOOL____00737);\n\
01182 constraint array_bool_and([BOOL____00258, BOOL____00702, BOOL____00202], BOOL____00703) :: defines_var(BOOL____00703);\n\
01183 constraint array_bool_and([BOOL____00258, BOOL____00740, BOOL____00252], BOOL____00741) :: defines_var(BOOL____00741);\n\
01184 constraint array_bool_and([BOOL____00262, BOOL____00710, BOOL____00206], BOOL____00711) :: defines_var(BOOL____00711);\n\
01185 constraint array_bool_and([BOOL____00264, BOOL____00706, BOOL____00208], BOOL____00707) :: defines_var(BOOL____00707);\n\
01186 constraint array_bool_and([BOOL____00265, BOOL____00714, BOOL____00209], BOOL____00715) :: defines_var(BOOL____00715);\n\
01187 constraint array_bool_and([BOOL____00265, BOOL____00752, BOOL____00264], BOOL____00753) :: defines_var(BOOL____00753);\n\
01188 constraint array_bool_and([BOOL____00269, BOOL____00722, BOOL____00215], BOOL____00723) :: defines_var(BOOL____00723);\n\
01189 constraint array_bool_and([BOOL____00272, BOOL____00726, BOOL____00218], BOOL____00727) :: defines_var(BOOL____00727);\n\
01190 constraint array_bool_and([BOOL____00274, BOOL____00730, BOOL____00221], BOOL____00731) :: defines_var(BOOL____00731);\n\
01191 constraint array_bool_and([BOOL____00274, BOOL____00764, BOOL____00269], BOOL____00765) :: defines_var(BOOL____00765);\n\
01192 constraint array_bool_and([BOOL____00277, BOOL____00734, BOOL____00224], BOOL____00735) :: defines_var(BOOL____00735);\n\
01193 constraint array_bool_and([BOOL____00277, BOOL____00768, BOOL____00272], BOOL____00769) :: defines_var(BOOL____00769);\n\
01194 constraint array_bool_and([BOOL____00280, BOOL____00738, BOOL____00227], BOOL____00739) :: defines_var(BOOL____00739);\n\
01195 constraint array_bool_and([BOOL____00280, BOOL____00772, BOOL____00274], BOOL____00773) :: defines_var(BOOL____00773);\n\
01196 constraint array_bool_and([BOOL____00283, BOOL____00742, BOOL____00230], BOOL____00743) :: defines_var(BOOL____00743);\n\
01197 constraint array_bool_and([BOOL____00283, BOOL____00776, BOOL____00277], BOOL____00777) :: defines_var(BOOL____00777);\n\
01198 constraint array_bool_and([BOOL____00287, BOOL____00750, BOOL____00234], BOOL____00751) :: defines_var(BOOL____00751);\n\
01199 constraint array_bool_and([BOOL____00289, BOOL____00746, BOOL____00236], BOOL____00747) :: defines_var(BOOL____00747);\n\
01200 constraint array_bool_and([BOOL____00290, BOOL____00754, BOOL____00237], BOOL____00755) :: defines_var(BOOL____00755);\n\
01201 constraint array_bool_and([BOOL____00290, BOOL____00788, BOOL____00289], BOOL____00789) :: defines_var(BOOL____00789);\n\
01202 constraint array_bool_and([BOOL____00293, BOOL____00792, BOOL____00287], BOOL____00793) :: defines_var(BOOL____00793);\n\
01203 constraint array_bool_and([BOOL____00295, BOOL____00758, BOOL____00243], BOOL____00759) :: defines_var(BOOL____00759);\n\
01204 constraint array_bool_and([BOOL____00295, BOOL____00796, BOOL____00290], BOOL____00797) :: defines_var(BOOL____00797);\n\
01205 constraint array_bool_and([BOOL____00297, BOOL____00762, BOOL____00246], BOOL____00763) :: defines_var(BOOL____00763);\n\
01206 constraint array_bool_and([BOOL____00297, BOOL____00800, BOOL____00293], BOOL____00801) :: defines_var(BOOL____00801);\n\
01207 constraint array_bool_and([BOOL____00300, BOOL____00766, BOOL____00249], BOOL____00767) :: defines_var(BOOL____00767);\n\
01208 constraint array_bool_and([BOOL____00300, BOOL____00804, BOOL____00295], BOOL____00805) :: defines_var(BOOL____00805);\n\
01209 constraint array_bool_and([BOOL____00303, BOOL____00770, BOOL____00252], BOOL____00771) :: defines_var(BOOL____00771);\n\
01210 constraint array_bool_and([BOOL____00303, BOOL____00808, BOOL____00297], BOOL____00809) :: defines_var(BOOL____00809);\n\
01211 constraint array_bool_and([BOOL____00306, BOOL____00774, BOOL____00255], BOOL____00775) :: defines_var(BOOL____00775);\n\
01212 constraint array_bool_and([BOOL____00306, BOOL____00812, BOOL____00300], BOOL____00813) :: defines_var(BOOL____00813);\n\
01213 constraint array_bool_and([BOOL____00309, BOOL____00778, BOOL____00258], BOOL____00779) :: defines_var(BOOL____00779);\n\
01214 constraint array_bool_and([BOOL____00309, BOOL____00816, BOOL____00303], BOOL____00817) :: defines_var(BOOL____00817);\n\
01215 constraint array_bool_and([BOOL____00313, BOOL____00786, BOOL____00262], BOOL____00787) :: defines_var(BOOL____00787);\n\
01216 constraint array_bool_and([BOOL____00315, BOOL____00782, BOOL____00264], BOOL____00783) :: defines_var(BOOL____00783);\n\
01217 constraint array_bool_and([BOOL____00316, BOOL____00790, BOOL____00265], BOOL____00791) :: defines_var(BOOL____00791);\n\
01218 constraint array_bool_and([BOOL____00316, BOOL____00828, BOOL____00315], BOOL____00829) :: defines_var(BOOL____00829);\n\
01219 constraint array_bool_and([BOOL____00319, BOOL____00832, BOOL____00313], BOOL____00833) :: defines_var(BOOL____00833);\n\
01220 constraint array_bool_and([BOOL____00322, BOOL____00798, BOOL____00269], BOOL____00799) :: defines_var(BOOL____00799);\n\
01221 constraint array_bool_and([BOOL____00322, BOOL____00836, BOOL____00316], BOOL____00837) :: defines_var(BOOL____00837);\n\
01222 constraint array_bool_and([BOOL____00325, BOOL____00802, BOOL____00272], BOOL____00803) :: defines_var(BOOL____00803);\n\
01223 constraint array_bool_and([BOOL____00325, BOOL____00840, BOOL____00319], BOOL____00841) :: defines_var(BOOL____00841);\n\
01224 constraint array_bool_and([BOOL____00328, BOOL____00806, BOOL____00274], BOOL____00807) :: defines_var(BOOL____00807);\n\
01225 constraint array_bool_and([BOOL____00328, BOOL____00844, BOOL____00322], BOOL____00845) :: defines_var(BOOL____00845);\n\
01226 constraint array_bool_and([BOOL____00331, BOOL____00810, BOOL____00277], BOOL____00811) :: defines_var(BOOL____00811);\n\
01227 constraint array_bool_and([BOOL____00331, BOOL____00848, BOOL____00325], BOOL____00849) :: defines_var(BOOL____00849);\n\
01228 constraint array_bool_and([BOOL____00334, BOOL____00814, BOOL____00280], BOOL____00815) :: defines_var(BOOL____00815);\n\
01229 constraint array_bool_and([BOOL____00334, BOOL____00852, BOOL____00328], BOOL____00853) :: defines_var(BOOL____00853);\n\
01230 constraint array_bool_and([BOOL____00337, BOOL____00818, BOOL____00283], BOOL____00819) :: defines_var(BOOL____00819);\n\
01231 constraint array_bool_and([BOOL____00337, BOOL____00856, BOOL____00331], BOOL____00857) :: defines_var(BOOL____00857);\n\
01232 constraint array_bool_or([BOOL____00491, BOOL____00490, BOOL____00097], true);\n\
01233 constraint array_bool_or([BOOL____00495, BOOL____00493, BOOL____00096], true);\n\
01234 constraint array_bool_or([BOOL____00499, BOOL____00497, BOOL____00098], true);\n\
01235 constraint array_bool_or([BOOL____00503, BOOL____00501, BOOL____00099], true);\n\
01236 constraint array_bool_or([BOOL____00507, BOOL____00505, BOOL____00100], true);\n\
01237 constraint array_bool_or([BOOL____00511, BOOL____00509, BOOL____00101], true);\n\
01238 constraint array_bool_or([BOOL____00515, BOOL____00513, BOOL____00102], true);\n\
01239 constraint array_bool_or([BOOL____00518, BOOL____00103, BOOL____00516], true);\n\
01240 constraint array_bool_or([BOOL____00522, BOOL____00520, BOOL____00104], true);\n\
01241 constraint array_bool_or([BOOL____00525, BOOL____00105, BOOL____00523], true);\n\
01242 constraint array_bool_or([BOOL____00529, BOOL____00527, BOOL____00109], true);\n\
01243 constraint array_bool_or([BOOL____00533, BOOL____00531, BOOL____00107], true);\n\
01244 constraint array_bool_or([BOOL____00537, BOOL____00535, BOOL____00110], true);\n\
01245 constraint array_bool_or([BOOL____00541, BOOL____00539, BOOL____00113], true);\n\
01246 constraint array_bool_or([BOOL____00545, BOOL____00543, BOOL____00116], true);\n\
01247 constraint array_bool_or([BOOL____00549, BOOL____00547, BOOL____00119], true);\n\
01248 constraint array_bool_or([BOOL____00553, BOOL____00551, BOOL____00122], true);\n\
01249 constraint array_bool_or([BOOL____00556, BOOL____00555, BOOL____00126], true);\n\
01250 constraint array_bool_or([BOOL____00560, BOOL____00558, BOOL____00131], true);\n\
01251 constraint array_bool_or([BOOL____00564, BOOL____00562, BOOL____00133], true);\n\
01252 constraint array_bool_or([BOOL____00568, BOOL____00566, BOOL____00135], true);\n\
01253 constraint array_bool_or([BOOL____00572, BOOL____00570, BOOL____00138], true);\n\
01254 constraint array_bool_or([BOOL____00576, BOOL____00574, BOOL____00141], true);\n\
01255 constraint array_bool_or([BOOL____00580, BOOL____00578, BOOL____00144], true);\n\
01256 constraint array_bool_or([BOOL____00584, BOOL____00582, BOOL____00147], true);\n\
01257 constraint array_bool_or([BOOL____00585, BOOL____00586, BOOL____00150], true);\n\
01258 constraint array_bool_or([BOOL____00589, BOOL____00588, BOOL____00154], true);\n\
01259 constraint array_bool_or([BOOL____00593, BOOL____00591, BOOL____00152], true);\n\
01260 constraint array_bool_or([BOOL____00597, BOOL____00595, BOOL____00155], true);\n\
01261 constraint array_bool_or([BOOL____00601, BOOL____00599, BOOL____00158], true);\n\
01262 constraint array_bool_or([BOOL____00605, BOOL____00603, BOOL____00161], true);\n\
01263 constraint array_bool_or([BOOL____00609, BOOL____00607, BOOL____00164], true);\n\
01264 constraint array_bool_or([BOOL____00613, BOOL____00611, BOOL____00167], true);\n\
01265 constraint array_bool_or([BOOL____00617, BOOL____00615, BOOL____00170], true);\n\
01266 constraint array_bool_or([BOOL____00621, BOOL____00619, BOOL____00173], true);\n\
01267 constraint array_bool_or([BOOL____00625, BOOL____00623, BOOL____00175], true);\n\
01268 constraint array_bool_or([BOOL____00629, BOOL____00627, BOOL____00180], true);\n\
01269 constraint array_bool_or([BOOL____00633, BOOL____00631, BOOL____00178], true);\n\
01270 constraint array_bool_or([BOOL____00637, BOOL____00635, BOOL____00181], true);\n\
01271 constraint array_bool_or([BOOL____00641, BOOL____00639, BOOL____00184], true);\n\
01272 constraint array_bool_or([BOOL____00645, BOOL____00643, BOOL____00187], true);\n\
01273 constraint array_bool_or([BOOL____00649, BOOL____00647, BOOL____00190], true);\n\
01274 constraint array_bool_or([BOOL____00653, BOOL____00651, BOOL____00193], true);\n\
01275 constraint array_bool_or([BOOL____00657, BOOL____00655, BOOL____00196], true);\n\
01276 constraint array_bool_or([BOOL____00661, BOOL____00659, BOOL____00199], true);\n\
01277 constraint array_bool_or([BOOL____00665, BOOL____00663, BOOL____00202], true);\n\
01278 constraint array_bool_or([BOOL____00669, BOOL____00667, BOOL____00208], true);\n\
01279 constraint array_bool_or([BOOL____00673, BOOL____00671, BOOL____00206], true);\n\
01280 constraint array_bool_or([BOOL____00677, BOOL____00675, BOOL____00209], true);\n\
01281 constraint array_bool_or([BOOL____00681, BOOL____00679, BOOL____00212], true);\n\
01282 constraint array_bool_or([BOOL____00685, BOOL____00683, BOOL____00215], true);\n\
01283 constraint array_bool_or([BOOL____00689, BOOL____00687, BOOL____00218], true);\n\
01284 constraint array_bool_or([BOOL____00693, BOOL____00691, BOOL____00221], true);\n\
01285 constraint array_bool_or([BOOL____00697, BOOL____00695, BOOL____00224], true);\n\
01286 constraint array_bool_or([BOOL____00701, BOOL____00699, BOOL____00227], true);\n\
01287 constraint array_bool_or([BOOL____00705, BOOL____00703, BOOL____00230], true);\n\
01288 constraint array_bool_or([BOOL____00709, BOOL____00707, BOOL____00236], true);\n\
01289 constraint array_bool_or([BOOL____00713, BOOL____00711, BOOL____00234], true);\n\
01290 constraint array_bool_or([BOOL____00717, BOOL____00715, BOOL____00237], true);\n\
01291 constraint array_bool_or([BOOL____00721, BOOL____00719, BOOL____00240], true);\n\
01292 constraint array_bool_or([BOOL____00725, BOOL____00723, BOOL____00243], true);\n\
01293 constraint array_bool_or([BOOL____00729, BOOL____00727, BOOL____00246], true);\n\
01294 constraint array_bool_or([BOOL____00733, BOOL____00731, BOOL____00249], true);\n\
01295 constraint array_bool_or([BOOL____00737, BOOL____00735, BOOL____00252], true);\n\
01296 constraint array_bool_or([BOOL____00741, BOOL____00739, BOOL____00255], true);\n\
01297 constraint array_bool_or([BOOL____00745, BOOL____00743, BOOL____00258], true);\n\
01298 constraint array_bool_or([BOOL____00749, BOOL____00747, BOOL____00264], true);\n\
01299 constraint array_bool_or([BOOL____00753, BOOL____00751, BOOL____00262], true);\n\
01300 constraint array_bool_or([BOOL____00757, BOOL____00755, BOOL____00265], true);\n\
01301 constraint array_bool_or([BOOL____00761, BOOL____00759, BOOL____00269], true);\n\
01302 constraint array_bool_or([BOOL____00765, BOOL____00763, BOOL____00272], true);\n\
01303 constraint array_bool_or([BOOL____00769, BOOL____00767, BOOL____00274], true);\n\
01304 constraint array_bool_or([BOOL____00773, BOOL____00771, BOOL____00277], true);\n\
01305 constraint array_bool_or([BOOL____00777, BOOL____00775, BOOL____00280], true);\n\
01306 constraint array_bool_or([BOOL____00781, BOOL____00779, BOOL____00283], true);\n\
01307 constraint array_bool_or([BOOL____00785, BOOL____00783, BOOL____00289], true);\n\
01308 constraint array_bool_or([BOOL____00789, BOOL____00787, BOOL____00287], true);\n\
01309 constraint array_bool_or([BOOL____00793, BOOL____00791, BOOL____00290], true);\n\
01310 constraint array_bool_or([BOOL____00797, BOOL____00795, BOOL____00293], true);\n\
01311 constraint array_bool_or([BOOL____00801, BOOL____00799, BOOL____00295], true);\n\
01312 constraint array_bool_or([BOOL____00805, BOOL____00803, BOOL____00297], true);\n\
01313 constraint array_bool_or([BOOL____00809, BOOL____00807, BOOL____00300], true);\n\
01314 constraint array_bool_or([BOOL____00813, BOOL____00811, BOOL____00303], true);\n\
01315 constraint array_bool_or([BOOL____00817, BOOL____00815, BOOL____00306], true);\n\
01316 constraint array_bool_or([BOOL____00821, BOOL____00819, BOOL____00309], true);\n"+
01317 "constraint array_bool_or([BOOL____00825, BOOL____00823, BOOL____00315], true);\n\
01318 constraint array_bool_or([BOOL____00829, BOOL____00827, BOOL____00313], true);\n\
01319 constraint array_bool_or([BOOL____00833, BOOL____00831, BOOL____00316], true);\n\
01320 constraint array_bool_or([BOOL____00837, BOOL____00835, BOOL____00319], true);\n\
01321 constraint array_bool_or([BOOL____00841, BOOL____00839, BOOL____00322], true);\n\
01322 constraint array_bool_or([BOOL____00845, BOOL____00843, BOOL____00325], true);\n\
01323 constraint array_bool_or([BOOL____00849, BOOL____00847, BOOL____00328], true);\n\
01324 constraint array_bool_or([BOOL____00853, BOOL____00851, BOOL____00331], true);\n\
01325 constraint array_bool_or([BOOL____00857, BOOL____00855, BOOL____00334], true);\n\
01326 constraint array_bool_or([BOOL____00861, BOOL____00859, BOOL____00337], true);\n\
01327 constraint bool_le(BOOL____00106, BOOL____00107);\n\
01328 constraint bool_le(BOOL____00108, BOOL____00111);\n\
01329 constraint bool_le(BOOL____00112, BOOL____00114);\n\
01330 constraint bool_le(BOOL____00115, BOOL____00117);\n\
01331 constraint bool_le(BOOL____00118, BOOL____00120);\n\
01332 constraint bool_le(BOOL____00121, BOOL____00123);\n\
01333 constraint bool_le(BOOL____00124, BOOL____00119);\n\
01334 constraint bool_le(BOOL____00125, BOOL____00127);\n\
01335 constraint bool_le(BOOL____00129, BOOL____00126);\n\
01336 constraint bool_le(BOOL____00130, BOOL____00131);\n\
01337 constraint bool_le(BOOL____00132, BOOL____00133);\n\
01338 constraint bool_le(BOOL____00134, BOOL____00136);\n\
01339 constraint bool_le(BOOL____00137, BOOL____00139);\n\
01340 constraint bool_le(BOOL____00140, BOOL____00142);\n\
01341 constraint bool_le(BOOL____00143, BOOL____00145);\n\
01342 constraint bool_le(BOOL____00146, BOOL____00148);\n\
01343 constraint bool_le(BOOL____00149, BOOL____00151);\n\
01344 constraint bool_le(BOOL____00149, BOOL____00363);\n\
01345 constraint bool_le(BOOL____00153, BOOL____00156);\n\
01346 constraint bool_le(BOOL____00157, BOOL____00159);\n\
01347 constraint bool_le(BOOL____00160, BOOL____00162);\n\
01348 constraint bool_le(BOOL____00163, BOOL____00165);\n\
01349 constraint bool_le(BOOL____00166, BOOL____00168);\n\
01350 constraint bool_le(BOOL____00169, BOOL____00171);\n\
01351 constraint bool_le(BOOL____00172, BOOL____00174);\n\
01352 constraint bool_le(BOOL____00176, BOOL____00173);\n\
01353 constraint bool_le(BOOL____00177, BOOL____00178);\n\
01354 constraint bool_le(BOOL____00179, BOOL____00182);\n\
01355 constraint bool_le(BOOL____00183, BOOL____00185);\n\
01356 constraint bool_le(BOOL____00186, BOOL____00188);\n\
01357 constraint bool_le(BOOL____00189, BOOL____00191);\n\
01358 constraint bool_le(BOOL____00192, BOOL____00194);\n\
01359 constraint bool_le(BOOL____00195, BOOL____00197);\n\
01360 constraint bool_le(BOOL____00198, BOOL____00200);\n\
01361 constraint bool_le(BOOL____00201, BOOL____00203);\n\
01362 constraint bool_le(BOOL____00204, BOOL____00199);\n\
01363 constraint bool_le(BOOL____00205, BOOL____00206);\n\
01364 constraint bool_le(BOOL____00207, BOOL____00210);\n\
01365 constraint bool_le(BOOL____00211, BOOL____00213);\n\
01366 constraint bool_le(BOOL____00214, BOOL____00216);\n\
01367 constraint bool_le(BOOL____00217, BOOL____00219);\n\
01368 constraint bool_le(BOOL____00220, BOOL____00222);\n\
01369 constraint bool_le(BOOL____00223, BOOL____00225);\n\
01370 constraint bool_le(BOOL____00226, BOOL____00228);\n\
01371 constraint bool_le(BOOL____00229, BOOL____00231);\n\
01372 constraint bool_le(BOOL____00232, BOOL____00227);\n\
01373 constraint bool_le(BOOL____00233, BOOL____00234);\n\
01374 constraint bool_le(BOOL____00235, BOOL____00238);\n\
01375 constraint bool_le(BOOL____00239, BOOL____00241);\n\
01376 constraint bool_le(BOOL____00242, BOOL____00244);\n\
01377 constraint bool_le(BOOL____00245, BOOL____00247);\n\
01378 constraint bool_le(BOOL____00248, BOOL____00250);\n\
01379 constraint bool_le(BOOL____00251, BOOL____00253);\n\
01380 constraint bool_le(BOOL____00254, BOOL____00256);\n\
01381 constraint bool_le(BOOL____00257, BOOL____00259);\n\
01382 constraint bool_le(BOOL____00260, BOOL____00255);\n\
01383 constraint bool_le(BOOL____00261, BOOL____00262);\n\
01384 constraint bool_le(BOOL____00263, BOOL____00266);\n\
01385 constraint bool_le(BOOL____00267, BOOL____00262);\n\
01386 constraint bool_le(BOOL____00268, BOOL____00270);\n\
01387 constraint bool_le(BOOL____00271, BOOL____00272);\n\
01388 constraint bool_le(BOOL____00273, BOOL____00275);\n\
01389 constraint bool_le(BOOL____00276, BOOL____00278);\n\
01390 constraint bool_le(BOOL____00279, BOOL____00281);\n\
01391 constraint bool_le(BOOL____00282, BOOL____00284);\n\
01392 constraint bool_le(BOOL____00285, BOOL____00280);\n\
01393 constraint bool_le(BOOL____00286, BOOL____00287);\n\
01394 constraint bool_le(BOOL____00288, BOOL____00291);\n\
01395 constraint bool_le(BOOL____00292, BOOL____00294);\n\
01396 constraint bool_le(BOOL____00296, BOOL____00298);\n\
01397 constraint bool_le(BOOL____00299, BOOL____00301);\n\
01398 constraint bool_le(BOOL____00302, BOOL____00304);\n\
01399 constraint bool_le(BOOL____00305, BOOL____00307);\n\
01400 constraint bool_le(BOOL____00308, BOOL____00310);\n\
01401 constraint bool_le(BOOL____00311, BOOL____00306);\n\
01402 constraint bool_le(BOOL____00312, BOOL____00313);\n\
01403 constraint bool_le(BOOL____00314, BOOL____00317);\n\
01404 constraint bool_le(BOOL____00318, BOOL____00320);\n\
01405 constraint bool_le(BOOL____00321, BOOL____00323);\n\
01406 constraint bool_le(BOOL____00324, BOOL____00326);\n\
01407 constraint bool_le(BOOL____00327, BOOL____00329);\n\
01408 constraint bool_le(BOOL____00330, BOOL____00332);\n\
01409 constraint bool_le(BOOL____00333, BOOL____00335);\n\
01410 constraint bool_le(BOOL____00336, BOOL____00338);\n\
01411 constraint bool_le(BOOL____00339, BOOL____00334);\n\
01412 constraint bool_le(BOOL____00340, BOOL____00107);\n\
01413 constraint bool_le(BOOL____00341, BOOL____00110);\n\
01414 constraint bool_le(BOOL____00342, BOOL____00113);\n\
01415 constraint bool_le(BOOL____00343, BOOL____00116);\n\
01416 constraint bool_le(BOOL____00344, BOOL____00119);\n\
01417 constraint bool_le(BOOL____00345, BOOL____00122);\n\
01418 constraint bool_le(BOOL____00347, BOOL____00126);\n\
01419 constraint bool_le(BOOL____00349, BOOL____00350);\n\
01420 constraint bool_le(BOOL____00351, BOOL____00352);\n\
01421 constraint bool_le(BOOL____00353, BOOL____00354);\n\
01422 constraint bool_le(BOOL____00355, BOOL____00356);\n\
01423 constraint bool_le(BOOL____00357, BOOL____00358);\n\
01424 constraint bool_le(BOOL____00359, BOOL____00360);\n\
01425 constraint bool_le(BOOL____00361, BOOL____00362);\n\
01426 constraint bool_le(BOOL____00364, BOOL____00365);\n\
01427 constraint bool_le(BOOL____00366, BOOL____00367);\n\
01428 constraint bool_le(BOOL____00368, BOOL____00369);\n\
01429 constraint bool_le(BOOL____00370, BOOL____00371);\n\
01430 constraint bool_le(BOOL____00372, BOOL____00373);\n\
01431 constraint bool_le(BOOL____00374, BOOL____00170);\n\
01432 constraint bool_le(BOOL____00375, BOOL____00376);\n\
01433 constraint bool_le(BOOL____00377, BOOL____00378);\n\
01434 constraint bool_le(BOOL____00379, BOOL____00380);\n\
01435 constraint bool_le(BOOL____00381, BOOL____00382);\n\
01436 constraint bool_le(BOOL____00383, BOOL____00384);\n\
01437 constraint bool_le(BOOL____00385, BOOL____00386);\n\
01438 constraint bool_le(BOOL____00387, BOOL____00388);\n\
01439 constraint bool_le(BOOL____00389, BOOL____00390);\n\
01440 constraint bool_le(BOOL____00391, BOOL____00199);\n\
01441 constraint bool_le(BOOL____00392, BOOL____00393);\n\
01442 constraint bool_le(BOOL____00394, BOOL____00395);\n\
01443 constraint bool_le(BOOL____00396, BOOL____00397);\n\
01444 constraint bool_le(BOOL____00398, BOOL____00399);\n\
01445 constraint bool_le(BOOL____00400, BOOL____00401);\n\
01446 constraint bool_le(BOOL____00402, BOOL____00403);\n\
01447 constraint bool_le(BOOL____00404, BOOL____00405);\n\
01448 constraint bool_le(BOOL____00406, BOOL____00407);\n\
01449 constraint bool_le(BOOL____00408, BOOL____00409);\n\
01450 constraint bool_le(BOOL____00410, BOOL____00411);\n\
01451 constraint bool_le(BOOL____00412, BOOL____00413);\n\
01452 constraint bool_le(BOOL____00414, BOOL____00415);\n\
01453 constraint bool_le(BOOL____00416, BOOL____00417);\n\
01454 constraint bool_le(BOOL____00418, BOOL____00419);\n\
01455 constraint bool_le(BOOL____00420, BOOL____00421);\n\
01456 constraint bool_le(BOOL____00422, BOOL____00423);\n\
01457 constraint bool_le(BOOL____00424, BOOL____00425);\n\
01458 constraint bool_le(BOOL____00426, BOOL____00427);\n\
01459 constraint bool_le(BOOL____00428, BOOL____00429);\n\
01460 constraint bool_le(BOOL____00430, BOOL____00431);\n\
01461 constraint bool_le(BOOL____00432, BOOL____00433);\n\
01462 constraint bool_le(BOOL____00434, BOOL____00212);\n\
01463 constraint bool_le(BOOL____00435, BOOL____00436);\n\
01464 constraint bool_le(BOOL____00437, BOOL____00438);\n\
01465 constraint bool_le(BOOL____00439, BOOL____00440);\n\
01466 constraint bool_le(BOOL____00441, BOOL____00442);\n\
01467 constraint bool_le(BOOL____00443, BOOL____00444);\n\
01468 constraint bool_le(BOOL____00445, BOOL____00446);\n\
01469 constraint bool_le(BOOL____00447, BOOL____00448);\n\
01470 constraint bool_le(BOOL____00449, BOOL____00450);\n\
01471 constraint bool_le(BOOL____00451, BOOL____00452);\n\
01472 constraint bool_le(BOOL____00453, BOOL____00454);\n\
01473 constraint bool_le(BOOL____00455, BOOL____00456);\n\
01474 constraint bool_le(BOOL____00457, BOOL____00458);\n\
01475 constraint bool_le(BOOL____00459, BOOL____00460);\n\
01476 constraint bool_le(BOOL____00461, BOOL____00462);\n\
01477 constraint bool_le(BOOL____00463, BOOL____00464);\n\
01478 constraint bool_le(BOOL____00465, BOOL____00466);\n\
01479 constraint bool_le(BOOL____00467, BOOL____00319);\n\
01480 constraint bool_le(BOOL____00468, BOOL____00469);\n\
01481 constraint bool_le(BOOL____00470, BOOL____00471);\n\
01482 constraint bool_le(BOOL____00472, BOOL____00473);\n\
01483 constraint bool_le(BOOL____00474, BOOL____00475);\n\
01484 constraint bool_le(BOOL____00476, BOOL____00477);\n\
01485 constraint bool_le(BOOL____00478, BOOL____00479);\n\
01486 constraint bool_le(BOOL____00480, BOOL____00287);\n\
01487 constraint bool_le(BOOL____00481, BOOL____00290);\n\
01488 constraint bool_le(BOOL____00482, BOOL____00293);\n\
01489 constraint bool_le(BOOL____00483, BOOL____00295);\n\
01490 constraint bool_le(BOOL____00484, BOOL____00297);\n\
01491 constraint bool_le(BOOL____00485, BOOL____00300);\n\
01492 constraint bool_le(BOOL____00486, BOOL____00303);\n\
01493 constraint bool_le(BOOL____00487, BOOL____00306);\n\
01494 constraint bool_le(BOOL____00488, BOOL____00309);\n\
01495 constraint count([0, X____00019, X____00020, X____00021, X____00022, X____00023, X____00024, X____00025, 0, X____00026], 0, 5);\n\
01496 constraint count([X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009, X____00010], 0, 8);\n\
01497 constraint count([X____00001, X____00011, 0, X____00027, X____00037, X____00047, X____00057, X____00067, X____00076, X____00086], 0, 9);\n\
01498 constraint count([X____00002, X____00012, X____00019, X____00028, X____00038, X____00048, X____00058, X____00068, X____00077, X____00087], 0, 6);\n\
01499 constraint count([X____00003, X____00013, X____00020, X____00029, X____00039, X____00049, X____00059, X____00069, X____00078, X____00088], 0, 9);\n\
01500 constraint count([X____00004, X____00014, X____00021, X____00030, X____00040, X____00050, X____00060, 0, X____00079, X____00089], 0, 8);\n\
01501 constraint count([X____00005, X____00015, X____00022, X____00031, X____00041, X____00051, X____00061, X____00070, X____00080, X____00090], 0, 7);\n\
01502 constraint count([X____00006, X____00016, X____00023, X____00032, X____00042, X____00052, X____00062, X____00071, X____00081, X____00091], 0, 9);\n\
01503 constraint count([X____00007, X____00017, X____00024, X____00033, X____00043, X____00053, X____00063, X____00072, X____00082, X____00092], 0, 7);\n\
01504 constraint count([X____00008, 0, X____00025, X____00034, X____00044, X____00054, X____00064, X____00073, X____00083, X____00093], 0, 10);\n\
01505 constraint count([X____00009, X____00018, 0, X____00035, X____00045, X____00055, X____00065, X____00074, X____00084, X____00094], 0, 6);\n\
01506 constraint count([X____00010, 0, X____00026, X____00036, X____00046, X____00056, X____00066, X____00075, X____00085, X____00095], 0, 9);\n\
01507 constraint count([X____00011, X____00012, X____00013, X____00014, X____00015, X____00016, X____00017, 0, X____00018, 0], 0, 9);\n\
01508 constraint count([X____00027, X____00028, X____00029, X____00030, X____00031, X____00032, X____00033, X____00034, X____00035, X____00036], 0, 10);\n\
01509 constraint count([X____00037, X____00038, X____00039, X____00040, X____00041, X____00042, X____00043, X____00044, X____00045, X____00046], 0, 10);\n\
01510 constraint count([X____00047, X____00048, X____00049, X____00050, X____00051, X____00052, X____00053, X____00054, X____00055, X____00056], 0, 10);\n\
01511 constraint count([X____00057, X____00058, X____00059, X____00060, X____00061, X____00062, X____00063, X____00064, X____00065, X____00066], 0, 9);\n\
01512 constraint count([X____00067, X____00068, X____00069, 0, X____00070, X____00071, X____00072, X____00073, X____00074, X____00075], 0, 4);\n\
01513 constraint count([X____00076, X____00077, X____00078, X____00079, X____00080, X____00081, X____00082, X____00083, X____00084, X____00085], 0, 9);\n\
01514 constraint count([X____00086, X____00087, X____00088, X____00089, X____00090, X____00091, X____00092, X____00093, X____00094, X____00095], 0, 6);\n\
01515 constraint count(a_flat, 1, 10);\n\
01516 constraint count(a_flat, 2, 6);\n\
01517 constraint count(a_flat, 3, 3);\n\
01518 constraint count(a_flat, 4, 1);\n\
01519 constraint int_eq_reif(X____00001, 0, BOOL____00097) :: defines_var(BOOL____00097);\n\
01520 constraint int_eq_reif(X____00001, 1, BOOL____00489) :: defines_var(BOOL____00489);\n\
01521 constraint int_eq_reif(X____00002, 0, BOOL____00096) :: defines_var(BOOL____00096);\n\
01522 constraint int_eq_reif(X____00002, 1, BOOL____00494) :: defines_var(BOOL____00494);\n\
01523 constraint int_eq_reif(X____00003, 0, BOOL____00098) :: defines_var(BOOL____00098);\n\
01524 constraint int_eq_reif(X____00003, 1, BOOL____00498) :: defines_var(BOOL____00498);\n\
01525 constraint int_eq_reif(X____00004, 0, BOOL____00099) :: defines_var(BOOL____00099);\n\
01526 constraint int_eq_reif(X____00004, 1, BOOL____00502) :: defines_var(BOOL____00502);\n\
01527 constraint int_eq_reif(X____00005, 0, BOOL____00100) :: defines_var(BOOL____00100);\n\
01528 constraint int_eq_reif(X____00005, 1, BOOL____00506) :: defines_var(BOOL____00506);\n\
01529 constraint int_eq_reif(X____00006, 0, BOOL____00101) :: defines_var(BOOL____00101);\n\
01530 constraint int_eq_reif(X____00006, 1, BOOL____00510) :: defines_var(BOOL____00510);\n\
01531 constraint int_eq_reif(X____00007, 0, BOOL____00102) :: defines_var(BOOL____00102);\n\
01532 constraint int_eq_reif(X____00007, 1, BOOL____00514) :: defines_var(BOOL____00514);\n\
01533 constraint int_eq_reif(X____00008, 0, BOOL____00103) :: defines_var(BOOL____00103);\n\
01534 constraint int_eq_reif(X____00008, 1, BOOL____00517) :: defines_var(BOOL____00517);\n\
01535 constraint int_eq_reif(X____00009, 0, BOOL____00104) :: defines_var(BOOL____00104);\n\
01536 constraint int_eq_reif(X____00009, 1, BOOL____00521) :: defines_var(BOOL____00521);\n\
01537 constraint int_eq_reif(X____00010, 0, BOOL____00105) :: defines_var(BOOL____00105);\n\
01538 constraint int_eq_reif(X____00010, 1, BOOL____00524) :: defines_var(BOOL____00524);\n\
01539 constraint int_eq_reif(X____00011, 0, BOOL____00109) :: defines_var(BOOL____00109);\n\
01540 constraint int_eq_reif(X____00011, 1, BOOL____00526) :: defines_var(BOOL____00526);\n\
01541 constraint int_eq_reif(X____00012, 0, BOOL____00107) :: defines_var(BOOL____00107);\n\
01542 constraint int_eq_reif(X____00013, 0, BOOL____00110) :: defines_var(BOOL____00110);\n\
01543 constraint int_eq_reif(X____00014, 0, BOOL____00113) :: defines_var(BOOL____00113);\n\
01544 constraint int_eq_reif(X____00015, 0, BOOL____00116) :: defines_var(BOOL____00116);\n\
01545 constraint int_eq_reif(X____00016, 0, BOOL____00119) :: defines_var(BOOL____00119);\n\
01546 constraint int_eq_reif(X____00017, 0, BOOL____00122) :: defines_var(BOOL____00122);\n\
01547 constraint int_eq_reif(X____00018, 0, BOOL____00126) :: defines_var(BOOL____00126);\n\
01548 constraint int_eq_reif(X____00018, 1, BOOL____00554) :: defines_var(BOOL____00554);\n\
01549 constraint int_eq_reif(X____00019, 0, BOOL____00131) :: defines_var(BOOL____00131);\n\
01550 constraint int_eq_reif(X____00019, 1, BOOL____00557) :: defines_var(BOOL____00557);\n\
01551 constraint int_eq_reif(X____00020, 0, BOOL____00133) :: defines_var(BOOL____00133);\n\
01552 constraint int_eq_reif(X____00021, 0, BOOL____00135) :: defines_var(BOOL____00135);\n\
01553 constraint int_eq_reif(X____00022, 0, BOOL____00138) :: defines_var(BOOL____00138);\n\
01554 constraint int_eq_reif(X____00023, 0, BOOL____00141) :: defines_var(BOOL____00141);\n\
01555 constraint int_eq_reif(X____00024, 0, BOOL____00144) :: defines_var(BOOL____00144);\n\
01556 constraint int_eq_reif(X____00025, 0, BOOL____00147) :: defines_var(BOOL____00147);\n\
01557 constraint int_eq_reif(X____00025, 1, BOOL____00583) :: defines_var(BOOL____00583);\n\
01558 constraint int_eq_reif(X____00026, 0, BOOL____00150) :: defines_var(BOOL____00150);\n\
01559 constraint int_eq_reif(X____00026, 1, BOOL____00585) :: defines_var(BOOL____00585);\n\
01560 constraint int_eq_reif(X____00027, 0, BOOL____00154) :: defines_var(BOOL____00154);\n\
01561 constraint int_eq_reif(X____00027, 1, BOOL____00587) :: defines_var(BOOL____00587);\n\
01562 constraint int_eq_reif(X____00028, 0, BOOL____00152) :: defines_var(BOOL____00152);\n\
01563 constraint int_eq_reif(X____00029, 0, BOOL____00155) :: defines_var(BOOL____00155);\n\
01564 constraint int_eq_reif(X____00030, 0, BOOL____00158) :: defines_var(BOOL____00158);\n\
01565 constraint int_eq_reif(X____00031, 0, BOOL____00161) :: defines_var(BOOL____00161);\n\
01566 constraint int_eq_reif(X____00032, 0, BOOL____00164) :: defines_var(BOOL____00164);\n"+
01567 "constraint int_eq_reif(X____00033, 0, BOOL____00167) :: defines_var(BOOL____00167);\n\
01568 constraint int_eq_reif(X____00034, 0, BOOL____00170) :: defines_var(BOOL____00170);\n\
01569 constraint int_eq_reif(X____00035, 0, BOOL____00173) :: defines_var(BOOL____00173);\n\
01570 constraint int_eq_reif(X____00035, 1, BOOL____00620) :: defines_var(BOOL____00620);\n\
01571 constraint int_eq_reif(X____00036, 0, BOOL____00175) :: defines_var(BOOL____00175);\n\
01572 constraint int_eq_reif(X____00037, 0, BOOL____00180) :: defines_var(BOOL____00180);\n\
01573 constraint int_eq_reif(X____00037, 1, BOOL____00626) :: defines_var(BOOL____00626);\n\
01574 constraint int_eq_reif(X____00038, 0, BOOL____00178) :: defines_var(BOOL____00178);\n\
01575 constraint int_eq_reif(X____00039, 0, BOOL____00181) :: defines_var(BOOL____00181);\n\
01576 constraint int_eq_reif(X____00040, 0, BOOL____00184) :: defines_var(BOOL____00184);\n\
01577 constraint int_eq_reif(X____00041, 0, BOOL____00187) :: defines_var(BOOL____00187);\n\
01578 constraint int_eq_reif(X____00042, 0, BOOL____00190) :: defines_var(BOOL____00190);\n\
01579 constraint int_eq_reif(X____00043, 0, BOOL____00193) :: defines_var(BOOL____00193);\n\
01580 constraint int_eq_reif(X____00044, 0, BOOL____00196) :: defines_var(BOOL____00196);\n\
01581 constraint int_eq_reif(X____00045, 0, BOOL____00199) :: defines_var(BOOL____00199);\n\
01582 constraint int_eq_reif(X____00046, 0, BOOL____00202) :: defines_var(BOOL____00202);\n\
01583 constraint int_eq_reif(X____00047, 0, BOOL____00208) :: defines_var(BOOL____00208);\n\
01584 constraint int_eq_reif(X____00047, 1, BOOL____00666) :: defines_var(BOOL____00666);\n\
01585 constraint int_eq_reif(X____00048, 0, BOOL____00206) :: defines_var(BOOL____00206);\n\
01586 constraint int_eq_reif(X____00049, 0, BOOL____00209) :: defines_var(BOOL____00209);\n\
01587 constraint int_eq_reif(X____00050, 0, BOOL____00212) :: defines_var(BOOL____00212);\n\
01588 constraint int_eq_reif(X____00051, 0, BOOL____00215) :: defines_var(BOOL____00215);\n\
01589 constraint int_eq_reif(X____00052, 0, BOOL____00218) :: defines_var(BOOL____00218);\n\
01590 constraint int_eq_reif(X____00053, 0, BOOL____00221) :: defines_var(BOOL____00221);\n\
01591 constraint int_eq_reif(X____00054, 0, BOOL____00224) :: defines_var(BOOL____00224);\n\
01592 constraint int_eq_reif(X____00055, 0, BOOL____00227) :: defines_var(BOOL____00227);\n\
01593 constraint int_eq_reif(X____00056, 0, BOOL____00230) :: defines_var(BOOL____00230);\n\
01594 constraint int_eq_reif(X____00057, 0, BOOL____00236) :: defines_var(BOOL____00236);\n\
01595 constraint int_eq_reif(X____00057, 1, BOOL____00706) :: defines_var(BOOL____00706);\n\
01596 constraint int_eq_reif(X____00058, 0, BOOL____00234) :: defines_var(BOOL____00234);\n\
01597 constraint int_eq_reif(X____00059, 0, BOOL____00237) :: defines_var(BOOL____00237);\n\
01598 constraint int_eq_reif(X____00060, 0, BOOL____00240) :: defines_var(BOOL____00240);\n\
01599 constraint int_eq_reif(X____00061, 0, BOOL____00243) :: defines_var(BOOL____00243);\n\
01600 constraint int_eq_reif(X____00062, 0, BOOL____00246) :: defines_var(BOOL____00246);\n\
01601 constraint int_eq_reif(X____00063, 0, BOOL____00249) :: defines_var(BOOL____00249);\n\
01602 constraint int_eq_reif(X____00064, 0, BOOL____00252) :: defines_var(BOOL____00252);\n\
01603 constraint int_eq_reif(X____00065, 0, BOOL____00255) :: defines_var(BOOL____00255);\n\
01604 constraint int_eq_reif(X____00066, 0, BOOL____00258) :: defines_var(BOOL____00258);\n\
01605 constraint int_eq_reif(X____00067, 0, BOOL____00264) :: defines_var(BOOL____00264);\n\
01606 constraint int_eq_reif(X____00067, 1, BOOL____00746) :: defines_var(BOOL____00746);\n\
01607 constraint int_eq_reif(X____00068, 0, BOOL____00262) :: defines_var(BOOL____00262);\n\
01608 constraint int_eq_reif(X____00069, 0, BOOL____00265) :: defines_var(BOOL____00265);\n\
01609 constraint int_eq_reif(X____00070, 0, BOOL____00269) :: defines_var(BOOL____00269);\n\
01610 constraint int_eq_reif(X____00070, 1, BOOL____00758) :: defines_var(BOOL____00758);\n\
01611 constraint int_eq_reif(X____00071, 0, BOOL____00272) :: defines_var(BOOL____00272);\n\
01612 constraint int_eq_reif(X____00072, 0, BOOL____00274) :: defines_var(BOOL____00274);\n\
01613 constraint int_eq_reif(X____00073, 0, BOOL____00277) :: defines_var(BOOL____00277);\n\
01614 constraint int_eq_reif(X____00074, 0, BOOL____00280) :: defines_var(BOOL____00280);\n\
01615 constraint int_eq_reif(X____00075, 0, BOOL____00283) :: defines_var(BOOL____00283);\n\
01616 constraint int_eq_reif(X____00076, 0, BOOL____00289) :: defines_var(BOOL____00289);\n\
01617 constraint int_eq_reif(X____00076, 1, BOOL____00782) :: defines_var(BOOL____00782);\n\
01618 constraint int_eq_reif(X____00077, 0, BOOL____00287) :: defines_var(BOOL____00287);\n\
01619 constraint int_eq_reif(X____00078, 0, BOOL____00290) :: defines_var(BOOL____00290);\n\
01620 constraint int_eq_reif(X____00079, 0, BOOL____00293) :: defines_var(BOOL____00293);\n\
01621 constraint int_eq_reif(X____00079, 1, BOOL____00796) :: defines_var(BOOL____00796);\n\
01622 constraint int_eq_reif(X____00080, 0, BOOL____00295) :: defines_var(BOOL____00295);\n\
01623 constraint int_eq_reif(X____00081, 0, BOOL____00297) :: defines_var(BOOL____00297);\n\
01624 constraint int_eq_reif(X____00082, 0, BOOL____00300) :: defines_var(BOOL____00300);\n\
01625 constraint int_eq_reif(X____00083, 0, BOOL____00303) :: defines_var(BOOL____00303);\n\
01626 constraint int_eq_reif(X____00084, 0, BOOL____00306) :: defines_var(BOOL____00306);\n\
01627 constraint int_eq_reif(X____00085, 0, BOOL____00309) :: defines_var(BOOL____00309);\n\
01628 constraint int_eq_reif(X____00086, 0, BOOL____00315) :: defines_var(BOOL____00315);\n\
01629 constraint int_eq_reif(X____00086, 1, BOOL____00822) :: defines_var(BOOL____00822);\n\
01630 constraint int_eq_reif(X____00087, 0, BOOL____00313) :: defines_var(BOOL____00313);\n\
01631 constraint int_eq_reif(X____00088, 0, BOOL____00316) :: defines_var(BOOL____00316);\n\
01632 constraint int_eq_reif(X____00089, 0, BOOL____00319) :: defines_var(BOOL____00319);\n\
01633 constraint int_eq_reif(X____00090, 0, BOOL____00322) :: defines_var(BOOL____00322);\n\
01634 constraint int_eq_reif(X____00091, 0, BOOL____00325) :: defines_var(BOOL____00325);\n\
01635 constraint int_eq_reif(X____00092, 0, BOOL____00328) :: defines_var(BOOL____00328);\n\
01636 constraint int_eq_reif(X____00093, 0, BOOL____00331) :: defines_var(BOOL____00331);\n\
01637 constraint int_eq_reif(X____00094, 0, BOOL____00334) :: defines_var(BOOL____00334);\n\
01638 constraint int_eq_reif(X____00095, 0, BOOL____00337) :: defines_var(BOOL____00337);\n\
01639 constraint int_le_reif(1, X____00008, BOOL____00125) :: defines_var(BOOL____00125);\n\
01640 constraint int_le_reif(1, X____00010, BOOL____00129) :: defines_var(BOOL____00129);\n\
01641 constraint int_le_reif(1, X____00011, BOOL____00130) :: defines_var(BOOL____00130);\n\
01642 constraint int_le_reif(1, X____00017, BOOL____00361) :: defines_var(BOOL____00361);\n\
01643 constraint int_le_reif(1, X____00018, BOOL____00149) :: defines_var(BOOL____00149);\n\
01644 constraint int_le_reif(1, X____00025, BOOL____00375) :: defines_var(BOOL____00375);\n\
01645 constraint int_le_reif(1, X____00060, BOOL____00268) :: defines_var(BOOL____00268);\n\
01646 constraint int_le_reif(1, X____00069, BOOL____00451) :: defines_var(BOOL____00451);\n\
01647 constraint int_lin_eq_reif([-1, 1], [X____00001, X____00002], 1, BOOL____00492) :: defines_var(BOOL____00492);\n\
01648 constraint int_lin_eq_reif([-1, 1], [X____00001, X____00011], 1, BOOL____00528) :: defines_var(BOOL____00528);\n\
01649 constraint int_lin_eq_reif([-1, 1], [X____00002, X____00003], 1, BOOL____00496) :: defines_var(BOOL____00496);\n\
01650 constraint int_lin_eq_reif([-1, 1], [X____00002, X____00012], 1, BOOL____00532) :: defines_var(BOOL____00532);\n\
01651 constraint int_lin_eq_reif([-1, 1], [X____00003, X____00004], 1, BOOL____00500) :: defines_var(BOOL____00500);\n\
01652 constraint int_lin_eq_reif([-1, 1], [X____00003, X____00013], 1, BOOL____00536) :: defines_var(BOOL____00536);\n\
01653 constraint int_lin_eq_reif([-1, 1], [X____00004, X____00005], 1, BOOL____00504) :: defines_var(BOOL____00504);\n\
01654 constraint int_lin_eq_reif([-1, 1], [X____00004, X____00014], 1, BOOL____00540) :: defines_var(BOOL____00540);\n\
01655 constraint int_lin_eq_reif([-1, 1], [X____00005, X____00006], 1, BOOL____00508) :: defines_var(BOOL____00508);\n\
01656 constraint int_lin_eq_reif([-1, 1], [X____00005, X____00015], 1, BOOL____00544) :: defines_var(BOOL____00544);\n\
01657 constraint int_lin_eq_reif([-1, 1], [X____00006, X____00007], 1, BOOL____00512) :: defines_var(BOOL____00512);\n\
01658 constraint int_lin_eq_reif([-1, 1], [X____00006, X____00016], 1, BOOL____00548) :: defines_var(BOOL____00548);\n\
01659 constraint int_lin_eq_reif([-1, 1], [X____00007, X____00008], 1, BOOL____00516) :: defines_var(BOOL____00516);\n\
01660 constraint int_lin_eq_reif([-1, 1], [X____00007, X____00017], 1, BOOL____00552) :: defines_var(BOOL____00552);\n\
01661 constraint int_lin_eq_reif([-1, 1], [X____00008, X____00009], 1, BOOL____00519) :: defines_var(BOOL____00519);\n\
01662 constraint int_lin_eq_reif([-1, 1], [X____00009, X____00010], 1, BOOL____00523) :: defines_var(BOOL____00523);\n\
01663 constraint int_lin_eq_reif([-1, 1], [X____00009, X____00018], 1, BOOL____00556) :: defines_var(BOOL____00556);\n\
01664 constraint int_lin_eq_reif([-1, 1], [X____00011, X____00012], 1, BOOL____00530) :: defines_var(BOOL____00530);\n\
01665 constraint int_lin_eq_reif([-1, 1], [X____00012, X____00013], 1, BOOL____00534) :: defines_var(BOOL____00534);\n\
01666 constraint int_lin_eq_reif([-1, 1], [X____00012, X____00019], 1, BOOL____00559) :: defines_var(BOOL____00559);\n\
01667 constraint int_lin_eq_reif([-1, 1], [X____00013, X____00014], 1, BOOL____00538) :: defines_var(BOOL____00538);\n\
01668 constraint int_lin_eq_reif([-1, 1], [X____00013, X____00020], 1, BOOL____00563) :: defines_var(BOOL____00563);\n\
01669 constraint int_lin_eq_reif([-1, 1], [X____00014, X____00015], 1, BOOL____00542) :: defines_var(BOOL____00542);\n\
01670 constraint int_lin_eq_reif([-1, 1], [X____00014, X____00021], 1, BOOL____00567) :: defines_var(BOOL____00567);\n\
01671 constraint int_lin_eq_reif([-1, 1], [X____00015, X____00016], 1, BOOL____00546) :: defines_var(BOOL____00546);\n\
01672 constraint int_lin_eq_reif([-1, 1], [X____00015, X____00022], 1, BOOL____00571) :: defines_var(BOOL____00571);\n\
01673 constraint int_lin_eq_reif([-1, 1], [X____00016, X____00017], 1, BOOL____00550) :: defines_var(BOOL____00550);\n\
01674 constraint int_lin_eq_reif([-1, 1], [X____00016, X____00023], 1, BOOL____00575) :: defines_var(BOOL____00575);\n\
01675 constraint int_lin_eq_reif([-1, 1], [X____00017, X____00024], 1, BOOL____00579) :: defines_var(BOOL____00579);\n\
01676 constraint int_lin_eq_reif([-1, 1], [X____00019, X____00020], 1, BOOL____00561) :: defines_var(BOOL____00561);\n\
01677 constraint int_lin_eq_reif([-1, 1], [X____00019, X____00028], 1, BOOL____00592) :: defines_var(BOOL____00592);\n\
01678 constraint int_lin_eq_reif([-1, 1], [X____00020, X____00021], 1, BOOL____00565) :: defines_var(BOOL____00565);\n\
01679 constraint int_lin_eq_reif([-1, 1], [X____00020, X____00029], 1, BOOL____00596) :: defines_var(BOOL____00596);\n\
01680 constraint int_lin_eq_reif([-1, 1], [X____00021, X____00022], 1, BOOL____00569) :: defines_var(BOOL____00569);\n\
01681 constraint int_lin_eq_reif([-1, 1], [X____00021, X____00030], 1, BOOL____00600) :: defines_var(BOOL____00600);\n\
01682 constraint int_lin_eq_reif([-1, 1], [X____00022, X____00023], 1, BOOL____00573) :: defines_var(BOOL____00573);\n\
01683 constraint int_lin_eq_reif([-1, 1], [X____00022, X____00031], 1, BOOL____00604) :: defines_var(BOOL____00604);\n\
01684 constraint int_lin_eq_reif([-1, 1], [X____00023, X____00024], 1, BOOL____00577) :: defines_var(BOOL____00577);\n\
01685 constraint int_lin_eq_reif([-1, 1], [X____00023, X____00032], 1, BOOL____00608) :: defines_var(BOOL____00608);\n\
01686 constraint int_lin_eq_reif([-1, 1], [X____00024, X____00025], 1, BOOL____00581) :: defines_var(BOOL____00581);\n\
01687 constraint int_lin_eq_reif([-1, 1], [X____00024, X____00033], 1, BOOL____00612) :: defines_var(BOOL____00612);\n\
01688 constraint int_lin_eq_reif([-1, 1], [X____00025, X____00034], 1, BOOL____00616) :: defines_var(BOOL____00616);\n\
01689 constraint int_lin_eq_reif([-1, 1], [X____00026, X____00036], 1, BOOL____00624) :: defines_var(BOOL____00624);\n\
01690 constraint int_lin_eq_reif([-1, 1], [X____00027, X____00028], 1, BOOL____00590) :: defines_var(BOOL____00590);\n\
01691 constraint int_lin_eq_reif([-1, 1], [X____00027, X____00037], 1, BOOL____00628) :: defines_var(BOOL____00628);\n\
01692 constraint int_lin_eq_reif([-1, 1], [X____00028, X____00029], 1, BOOL____00594) :: defines_var(BOOL____00594);\n\
01693 constraint int_lin_eq_reif([-1, 1], [X____00028, X____00038], 1, BOOL____00632) :: defines_var(BOOL____00632);\n\
01694 constraint int_lin_eq_reif([-1, 1], [X____00029, X____00030], 1, BOOL____00598) :: defines_var(BOOL____00598);\n\
01695 constraint int_lin_eq_reif([-1, 1], [X____00029, X____00039], 1, BOOL____00636) :: defines_var(BOOL____00636);\n\
01696 constraint int_lin_eq_reif([-1, 1], [X____00030, X____00031], 1, BOOL____00602) :: defines_var(BOOL____00602);\n\
01697 constraint int_lin_eq_reif([-1, 1], [X____00030, X____00040], 1, BOOL____00640) :: defines_var(BOOL____00640);\n\
01698 constraint int_lin_eq_reif([-1, 1], [X____00031, X____00032], 1, BOOL____00606) :: defines_var(BOOL____00606);\n\
01699 constraint int_lin_eq_reif([-1, 1], [X____00031, X____00041], 1, BOOL____00644) :: defines_var(BOOL____00644);\n\
01700 constraint int_lin_eq_reif([-1, 1], [X____00032, X____00033], 1, BOOL____00610) :: defines_var(BOOL____00610);\n\
01701 constraint int_lin_eq_reif([-1, 1], [X____00032, X____00042], 1, BOOL____00648) :: defines_var(BOOL____00648);\n\
01702 constraint int_lin_eq_reif([-1, 1], [X____00033, X____00034], 1, BOOL____00614) :: defines_var(BOOL____00614);\n\
01703 constraint int_lin_eq_reif([-1, 1], [X____00033, X____00043], 1, BOOL____00652) :: defines_var(BOOL____00652);\n\
01704 constraint int_lin_eq_reif([-1, 1], [X____00034, X____00035], 1, BOOL____00618) :: defines_var(BOOL____00618);\n\
01705 constraint int_lin_eq_reif([-1, 1], [X____00034, X____00044], 1, BOOL____00656) :: defines_var(BOOL____00656);\n\
01706 constraint int_lin_eq_reif([-1, 1], [X____00035, X____00036], 1, BOOL____00622) :: defines_var(BOOL____00622);\n\
01707 constraint int_lin_eq_reif([-1, 1], [X____00035, X____00045], 1, BOOL____00660) :: defines_var(BOOL____00660);\n\
01708 constraint int_lin_eq_reif([-1, 1], [X____00036, X____00046], 1, BOOL____00664) :: defines_var(BOOL____00664);\n\
01709 constraint int_lin_eq_reif([-1, 1], [X____00037, X____00038], 1, BOOL____00630) :: defines_var(BOOL____00630);\n\
01710 constraint int_lin_eq_reif([-1, 1], [X____00037, X____00047], 1, BOOL____00668) :: defines_var(BOOL____00668);\n\
01711 constraint int_lin_eq_reif([-1, 1], [X____00038, X____00039], 1, BOOL____00634) :: defines_var(BOOL____00634);\n\
01712 constraint int_lin_eq_reif([-1, 1], [X____00038, X____00048], 1, BOOL____00672) :: defines_var(BOOL____00672);\n\
01713 constraint int_lin_eq_reif([-1, 1], [X____00039, X____00040], 1, BOOL____00638) :: defines_var(BOOL____00638);\n\
01714 constraint int_lin_eq_reif([-1, 1], [X____00039, X____00049], 1, BOOL____00676) :: defines_var(BOOL____00676);\n\
01715 constraint int_lin_eq_reif([-1, 1], [X____00040, X____00041], 1, BOOL____00642) :: defines_var(BOOL____00642);\n\
01716 constraint int_lin_eq_reif([-1, 1], [X____00040, X____00050], 1, BOOL____00680) :: defines_var(BOOL____00680);\n\
01717 constraint int_lin_eq_reif([-1, 1], [X____00041, X____00042], 1, BOOL____00646) :: defines_var(BOOL____00646);\n\
01718 constraint int_lin_eq_reif([-1, 1], [X____00041, X____00051], 1, BOOL____00684) :: defines_var(BOOL____00684);\n\
01719 constraint int_lin_eq_reif([-1, 1], [X____00042, X____00043], 1, BOOL____00650) :: defines_var(BOOL____00650);\n\
01720 constraint int_lin_eq_reif([-1, 1], [X____00042, X____00052], 1, BOOL____00688) :: defines_var(BOOL____00688);\n\
01721 constraint int_lin_eq_reif([-1, 1], [X____00043, X____00044], 1, BOOL____00654) :: defines_var(BOOL____00654);\n\
01722 constraint int_lin_eq_reif([-1, 1], [X____00043, X____00053], 1, BOOL____00692) :: defines_var(BOOL____00692);\n\
01723 constraint int_lin_eq_reif([-1, 1], [X____00044, X____00045], 1, BOOL____00658) :: defines_var(BOOL____00658);\n\
01724 constraint int_lin_eq_reif([-1, 1], [X____00044, X____00054], 1, BOOL____00696) :: defines_var(BOOL____00696);\n\
01725 constraint int_lin_eq_reif([-1, 1], [X____00045, X____00046], 1, BOOL____00662) :: defines_var(BOOL____00662);\n\
01726 constraint int_lin_eq_reif([-1, 1], [X____00045, X____00055], 1, BOOL____00700) :: defines_var(BOOL____00700);\n"+
01727 "constraint int_lin_eq_reif([-1, 1], [X____00046, X____00056], 1, BOOL____00704) :: defines_var(BOOL____00704);\n\
01728 constraint int_lin_eq_reif([-1, 1], [X____00047, X____00048], 1, BOOL____00670) :: defines_var(BOOL____00670);\n\
01729 constraint int_lin_eq_reif([-1, 1], [X____00047, X____00057], 1, BOOL____00708) :: defines_var(BOOL____00708);\n\
01730 constraint int_lin_eq_reif([-1, 1], [X____00048, X____00049], 1, BOOL____00674) :: defines_var(BOOL____00674);\n\
01731 constraint int_lin_eq_reif([-1, 1], [X____00048, X____00058], 1, BOOL____00712) :: defines_var(BOOL____00712);\n\
01732 constraint int_lin_eq_reif([-1, 1], [X____00049, X____00050], 1, BOOL____00678) :: defines_var(BOOL____00678);\n\
01733 constraint int_lin_eq_reif([-1, 1], [X____00049, X____00059], 1, BOOL____00716) :: defines_var(BOOL____00716);\n\
01734 constraint int_lin_eq_reif([-1, 1], [X____00050, X____00051], 1, BOOL____00682) :: defines_var(BOOL____00682);\n\
01735 constraint int_lin_eq_reif([-1, 1], [X____00050, X____00060], 1, BOOL____00720) :: defines_var(BOOL____00720);\n\
01736 constraint int_lin_eq_reif([-1, 1], [X____00051, X____00052], 1, BOOL____00686) :: defines_var(BOOL____00686);\n\
01737 constraint int_lin_eq_reif([-1, 1], [X____00051, X____00061], 1, BOOL____00724) :: defines_var(BOOL____00724);\n\
01738 constraint int_lin_eq_reif([-1, 1], [X____00052, X____00053], 1, BOOL____00690) :: defines_var(BOOL____00690);\n\
01739 constraint int_lin_eq_reif([-1, 1], [X____00052, X____00062], 1, BOOL____00728) :: defines_var(BOOL____00728);\n\
01740 constraint int_lin_eq_reif([-1, 1], [X____00053, X____00054], 1, BOOL____00694) :: defines_var(BOOL____00694);\n\
01741 constraint int_lin_eq_reif([-1, 1], [X____00053, X____00063], 1, BOOL____00732) :: defines_var(BOOL____00732);\n\
01742 constraint int_lin_eq_reif([-1, 1], [X____00054, X____00055], 1, BOOL____00698) :: defines_var(BOOL____00698);\n\
01743 constraint int_lin_eq_reif([-1, 1], [X____00054, X____00064], 1, BOOL____00736) :: defines_var(BOOL____00736);\n\
01744 constraint int_lin_eq_reif([-1, 1], [X____00055, X____00056], 1, BOOL____00702) :: defines_var(BOOL____00702);\n\
01745 constraint int_lin_eq_reif([-1, 1], [X____00055, X____00065], 1, BOOL____00740) :: defines_var(BOOL____00740);\n\
01746 constraint int_lin_eq_reif([-1, 1], [X____00056, X____00066], 1, BOOL____00744) :: defines_var(BOOL____00744);\n\
01747 constraint int_lin_eq_reif([-1, 1], [X____00057, X____00058], 1, BOOL____00710) :: defines_var(BOOL____00710);\n\
01748 constraint int_lin_eq_reif([-1, 1], [X____00057, X____00067], 1, BOOL____00748) :: defines_var(BOOL____00748);\n\
01749 constraint int_lin_eq_reif([-1, 1], [X____00058, X____00059], 1, BOOL____00714) :: defines_var(BOOL____00714);\n\
01750 constraint int_lin_eq_reif([-1, 1], [X____00058, X____00068], 1, BOOL____00752) :: defines_var(BOOL____00752);\n\
01751 constraint int_lin_eq_reif([-1, 1], [X____00059, X____00060], 1, BOOL____00718) :: defines_var(BOOL____00718);\n\
01752 constraint int_lin_eq_reif([-1, 1], [X____00059, X____00069], 1, BOOL____00756) :: defines_var(BOOL____00756);\n\
01753 constraint int_lin_eq_reif([-1, 1], [X____00060, X____00061], 1, BOOL____00722) :: defines_var(BOOL____00722);\n\
01754 constraint int_lin_eq_reif([-1, 1], [X____00061, X____00062], 1, BOOL____00726) :: defines_var(BOOL____00726);\n\
01755 constraint int_lin_eq_reif([-1, 1], [X____00061, X____00070], 1, BOOL____00760) :: defines_var(BOOL____00760);\n\
01756 constraint int_lin_eq_reif([-1, 1], [X____00062, X____00063], 1, BOOL____00730) :: defines_var(BOOL____00730);\n\
01757 constraint int_lin_eq_reif([-1, 1], [X____00062, X____00071], 1, BOOL____00764) :: defines_var(BOOL____00764);\n\
01758 constraint int_lin_eq_reif([-1, 1], [X____00063, X____00064], 1, BOOL____00734) :: defines_var(BOOL____00734);\n\
01759 constraint int_lin_eq_reif([-1, 1], [X____00063, X____00072], 1, BOOL____00768) :: defines_var(BOOL____00768);\n\
01760 constraint int_lin_eq_reif([-1, 1], [X____00064, X____00065], 1, BOOL____00738) :: defines_var(BOOL____00738);\n\
01761 constraint int_lin_eq_reif([-1, 1], [X____00064, X____00073], 1, BOOL____00772) :: defines_var(BOOL____00772);\n\
01762 constraint int_lin_eq_reif([-1, 1], [X____00065, X____00066], 1, BOOL____00742) :: defines_var(BOOL____00742);\n\
01763 constraint int_lin_eq_reif([-1, 1], [X____00065, X____00074], 1, BOOL____00776) :: defines_var(BOOL____00776);\n\
01764 constraint int_lin_eq_reif([-1, 1], [X____00066, X____00075], 1, BOOL____00780) :: defines_var(BOOL____00780);\n\
01765 constraint int_lin_eq_reif([-1, 1], [X____00067, X____00068], 1, BOOL____00750) :: defines_var(BOOL____00750);\n\
01766 constraint int_lin_eq_reif([-1, 1], [X____00067, X____00076], 1, BOOL____00784) :: defines_var(BOOL____00784);\n\
01767 constraint int_lin_eq_reif([-1, 1], [X____00068, X____00069], 1, BOOL____00754) :: defines_var(BOOL____00754);\n\
01768 constraint int_lin_eq_reif([-1, 1], [X____00068, X____00077], 1, BOOL____00788) :: defines_var(BOOL____00788);\n\
01769 constraint int_lin_eq_reif([-1, 1], [X____00069, X____00078], 1, BOOL____00792) :: defines_var(BOOL____00792);\n\
01770 constraint int_lin_eq_reif([-1, 1], [X____00070, X____00071], 1, BOOL____00762) :: defines_var(BOOL____00762);\n\
01771 constraint int_lin_eq_reif([-1, 1], [X____00070, X____00080], 1, BOOL____00800) :: defines_var(BOOL____00800);\n\
01772 constraint int_lin_eq_reif([-1, 1], [X____00071, X____00072], 1, BOOL____00766) :: defines_var(BOOL____00766);\n\
01773 constraint int_lin_eq_reif([-1, 1], [X____00071, X____00081], 1, BOOL____00804) :: defines_var(BOOL____00804);\n\
01774 constraint int_lin_eq_reif([-1, 1], [X____00072, X____00073], 1, BOOL____00770) :: defines_var(BOOL____00770);\n\
01775 constraint int_lin_eq_reif([-1, 1], [X____00072, X____00082], 1, BOOL____00808) :: defines_var(BOOL____00808);\n\
01776 constraint int_lin_eq_reif([-1, 1], [X____00073, X____00074], 1, BOOL____00774) :: defines_var(BOOL____00774);\n\
01777 constraint int_lin_eq_reif([-1, 1], [X____00073, X____00083], 1, BOOL____00812) :: defines_var(BOOL____00812);\n\
01778 constraint int_lin_eq_reif([-1, 1], [X____00074, X____00075], 1, BOOL____00778) :: defines_var(BOOL____00778);\n\
01779 constraint int_lin_eq_reif([-1, 1], [X____00074, X____00084], 1, BOOL____00816) :: defines_var(BOOL____00816);\n\
01780 constraint int_lin_eq_reif([-1, 1], [X____00075, X____00085], 1, BOOL____00820) :: defines_var(BOOL____00820);\n\
01781 constraint int_lin_eq_reif([-1, 1], [X____00076, X____00077], 1, BOOL____00786) :: defines_var(BOOL____00786);\n\
01782 constraint int_lin_eq_reif([-1, 1], [X____00076, X____00086], 1, BOOL____00824) :: defines_var(BOOL____00824);\n\
01783 constraint int_lin_eq_reif([-1, 1], [X____00077, X____00078], 1, BOOL____00790) :: defines_var(BOOL____00790);\n\
01784 constraint int_lin_eq_reif([-1, 1], [X____00077, X____00087], 1, BOOL____00828) :: defines_var(BOOL____00828);\n\
01785 constraint int_lin_eq_reif([-1, 1], [X____00078, X____00079], 1, BOOL____00794) :: defines_var(BOOL____00794);\n\
01786 constraint int_lin_eq_reif([-1, 1], [X____00078, X____00088], 1, BOOL____00832) :: defines_var(BOOL____00832);\n\
01787 constraint int_lin_eq_reif([-1, 1], [X____00079, X____00080], 1, BOOL____00798) :: defines_var(BOOL____00798);\n\
01788 constraint int_lin_eq_reif([-1, 1], [X____00079, X____00089], 1, BOOL____00836) :: defines_var(BOOL____00836);\n\
01789 constraint int_lin_eq_reif([-1, 1], [X____00080, X____00081], 1, BOOL____00802) :: defines_var(BOOL____00802);\n\
01790 constraint int_lin_eq_reif([-1, 1], [X____00080, X____00090], 1, BOOL____00840) :: defines_var(BOOL____00840);\n\
01791 constraint int_lin_eq_reif([-1, 1], [X____00081, X____00082], 1, BOOL____00806) :: defines_var(BOOL____00806);\n\
01792 constraint int_lin_eq_reif([-1, 1], [X____00081, X____00091], 1, BOOL____00844) :: defines_var(BOOL____00844);\n\
01793 constraint int_lin_eq_reif([-1, 1], [X____00082, X____00083], 1, BOOL____00810) :: defines_var(BOOL____00810);\n\
01794 constraint int_lin_eq_reif([-1, 1], [X____00082, X____00092], 1, BOOL____00848) :: defines_var(BOOL____00848);\n\
01795 constraint int_lin_eq_reif([-1, 1], [X____00083, X____00084], 1, BOOL____00814) :: defines_var(BOOL____00814);\n\
01796 constraint int_lin_eq_reif([-1, 1], [X____00083, X____00093], 1, BOOL____00852) :: defines_var(BOOL____00852);\n\
01797 constraint int_lin_eq_reif([-1, 1], [X____00084, X____00085], 1, BOOL____00818) :: defines_var(BOOL____00818);\n\
01798 constraint int_lin_eq_reif([-1, 1], [X____00084, X____00094], 1, BOOL____00856) :: defines_var(BOOL____00856);\n\
01799 constraint int_lin_eq_reif([-1, 1], [X____00085, X____00095], 1, BOOL____00860) :: defines_var(BOOL____00860);\n\
01800 constraint int_lin_eq_reif([-1, 1], [X____00086, X____00087], 1, BOOL____00826) :: defines_var(BOOL____00826);\n\
01801 constraint int_lin_eq_reif([-1, 1], [X____00087, X____00088], 1, BOOL____00830) :: defines_var(BOOL____00830);\n\
01802 constraint int_lin_eq_reif([-1, 1], [X____00088, X____00089], 1, BOOL____00834) :: defines_var(BOOL____00834);\n\
01803 constraint int_lin_eq_reif([-1, 1], [X____00089, X____00090], 1, BOOL____00838) :: defines_var(BOOL____00838);\n\
01804 constraint int_lin_eq_reif([-1, 1], [X____00090, X____00091], 1, BOOL____00842) :: defines_var(BOOL____00842);\n\
01805 constraint int_lin_eq_reif([-1, 1], [X____00091, X____00092], 1, BOOL____00846) :: defines_var(BOOL____00846);\n\
01806 constraint int_lin_eq_reif([-1, 1], [X____00092, X____00093], 1, BOOL____00850) :: defines_var(BOOL____00850);\n\
01807 constraint int_lin_eq_reif([-1, 1], [X____00093, X____00094], 1, BOOL____00854) :: defines_var(BOOL____00854);\n\
01808 constraint int_lin_eq_reif([-1, 1], [X____00094, X____00095], 1, BOOL____00858) :: defines_var(BOOL____00858);\n\
01809 constraint int_lt_reif(X____00002, X____00001, BOOL____00340) :: defines_var(BOOL____00340);\n\
01810 constraint int_lt_reif(X____00003, X____00002, BOOL____00341) :: defines_var(BOOL____00341);\n\
01811 constraint int_lt_reif(X____00004, X____00003, BOOL____00342) :: defines_var(BOOL____00342);\n\
01812 constraint int_lt_reif(X____00005, X____00004, BOOL____00343) :: defines_var(BOOL____00343);\n\
01813 constraint int_lt_reif(X____00006, X____00005, BOOL____00344) :: defines_var(BOOL____00344);\n\
01814 constraint int_lt_reif(X____00007, X____00006, BOOL____00345) :: defines_var(BOOL____00345);\n\
01815 constraint int_lt_reif(X____00008, X____00007, BOOL____00346) :: defines_var(BOOL____00346);\n\
01816 constraint int_lt_reif(X____00009, X____00008, BOOL____00347) :: defines_var(BOOL____00347);\n\
01817 constraint int_lt_reif(X____00010, X____00009, BOOL____00348) :: defines_var(BOOL____00348);\n\
01818 constraint int_lt_reif(X____00011, X____00001, BOOL____00106) :: defines_var(BOOL____00106);\n\
01819 constraint int_lt_reif(X____00012, X____00002, BOOL____00108) :: defines_var(BOOL____00108);\n\
01820 constraint int_lt_reif(X____00012, X____00011, BOOL____00349) :: defines_var(BOOL____00349);\n\
01821 constraint int_lt_reif(X____00013, X____00003, BOOL____00112) :: defines_var(BOOL____00112);\n\
01822 constraint int_lt_reif(X____00013, X____00012, BOOL____00351) :: defines_var(BOOL____00351);\n\
01823 constraint int_lt_reif(X____00014, X____00004, BOOL____00115) :: defines_var(BOOL____00115);\n\
01824 constraint int_lt_reif(X____00014, X____00013, BOOL____00353) :: defines_var(BOOL____00353);\n\
01825 constraint int_lt_reif(X____00015, X____00005, BOOL____00118) :: defines_var(BOOL____00118);\n\
01826 constraint int_lt_reif(X____00015, X____00014, BOOL____00355) :: defines_var(BOOL____00355);\n\
01827 constraint int_lt_reif(X____00016, X____00006, BOOL____00121) :: defines_var(BOOL____00121);\n\
01828 constraint int_lt_reif(X____00016, X____00015, BOOL____00357) :: defines_var(BOOL____00357);\n\
01829 constraint int_lt_reif(X____00017, X____00007, BOOL____00124) :: defines_var(BOOL____00124);\n\
01830 constraint int_lt_reif(X____00017, X____00016, BOOL____00359) :: defines_var(BOOL____00359);\n\
01831 constraint int_lt_reif(X____00018, X____00009, BOOL____00128) :: defines_var(BOOL____00128);\n\
01832 constraint int_lt_reif(X____00019, X____00012, BOOL____00132) :: defines_var(BOOL____00132);\n\
01833 constraint int_lt_reif(X____00020, X____00013, BOOL____00134) :: defines_var(BOOL____00134);\n\
01834 constraint int_lt_reif(X____00020, X____00019, BOOL____00364) :: defines_var(BOOL____00364);\n\
01835 constraint int_lt_reif(X____00021, X____00014, BOOL____00137) :: defines_var(BOOL____00137);\n\
01836 constraint int_lt_reif(X____00021, X____00020, BOOL____00366) :: defines_var(BOOL____00366);\n\
01837 constraint int_lt_reif(X____00022, X____00015, BOOL____00140) :: defines_var(BOOL____00140);\n\
01838 constraint int_lt_reif(X____00022, X____00021, BOOL____00368) :: defines_var(BOOL____00368);\n\
01839 constraint int_lt_reif(X____00023, X____00016, BOOL____00143) :: defines_var(BOOL____00143);\n\
01840 constraint int_lt_reif(X____00023, X____00022, BOOL____00370) :: defines_var(BOOL____00370);\n\
01841 constraint int_lt_reif(X____00024, X____00017, BOOL____00146) :: defines_var(BOOL____00146);\n\
01842 constraint int_lt_reif(X____00024, X____00023, BOOL____00372) :: defines_var(BOOL____00372);\n\
01843 constraint int_lt_reif(X____00025, X____00024, BOOL____00374) :: defines_var(BOOL____00374);\n\
01844 constraint int_lt_reif(X____00028, X____00019, BOOL____00153) :: defines_var(BOOL____00153);\n\
01845 constraint int_lt_reif(X____00028, X____00027, BOOL____00377) :: defines_var(BOOL____00377);\n\
01846 constraint int_lt_reif(X____00029, X____00020, BOOL____00157) :: defines_var(BOOL____00157);\n\
01847 constraint int_lt_reif(X____00029, X____00028, BOOL____00379) :: defines_var(BOOL____00379);\n\
01848 constraint int_lt_reif(X____00030, X____00021, BOOL____00160) :: defines_var(BOOL____00160);\n\
01849 constraint int_lt_reif(X____00030, X____00029, BOOL____00381) :: defines_var(BOOL____00381);\n\
01850 constraint int_lt_reif(X____00031, X____00022, BOOL____00163) :: defines_var(BOOL____00163);\n\
01851 constraint int_lt_reif(X____00031, X____00030, BOOL____00383) :: defines_var(BOOL____00383);\n\
01852 constraint int_lt_reif(X____00032, X____00023, BOOL____00166) :: defines_var(BOOL____00166);\n\
01853 constraint int_lt_reif(X____00032, X____00031, BOOL____00385) :: defines_var(BOOL____00385);\n\
01854 constraint int_lt_reif(X____00033, X____00024, BOOL____00169) :: defines_var(BOOL____00169);\n\
01855 constraint int_lt_reif(X____00033, X____00032, BOOL____00387) :: defines_var(BOOL____00387);\n\
01856 constraint int_lt_reif(X____00034, X____00025, BOOL____00172) :: defines_var(BOOL____00172);\n\
01857 constraint int_lt_reif(X____00034, X____00033, BOOL____00389) :: defines_var(BOOL____00389);\n\
01858 constraint int_lt_reif(X____00035, X____00034, BOOL____00391) :: defines_var(BOOL____00391);\n\
01859 constraint int_lt_reif(X____00036, X____00026, BOOL____00176) :: defines_var(BOOL____00176);\n\
01860 constraint int_lt_reif(X____00036, X____00035, BOOL____00392) :: defines_var(BOOL____00392);\n\
01861 constraint int_lt_reif(X____00037, X____00027, BOOL____00177) :: defines_var(BOOL____00177);\n\
01862 constraint int_lt_reif(X____00038, X____00028, BOOL____00179) :: defines_var(BOOL____00179);\n\
01863 constraint int_lt_reif(X____00038, X____00037, BOOL____00394) :: defines_var(BOOL____00394);\n\
01864 constraint int_lt_reif(X____00039, X____00029, BOOL____00183) :: defines_var(BOOL____00183);\n\
01865 constraint int_lt_reif(X____00039, X____00038, BOOL____00396) :: defines_var(BOOL____00396);\n\
01866 constraint int_lt_reif(X____00040, X____00030, BOOL____00186) :: defines_var(BOOL____00186);\n\
01867 constraint int_lt_reif(X____00040, X____00039, BOOL____00398) :: defines_var(BOOL____00398);\n\
01868 constraint int_lt_reif(X____00041, X____00031, BOOL____00189) :: defines_var(BOOL____00189);\n\
01869 constraint int_lt_reif(X____00041, X____00040, BOOL____00400) :: defines_var(BOOL____00400);\n\
01870 constraint int_lt_reif(X____00042, X____00032, BOOL____00192) :: defines_var(BOOL____00192);\n\
01871 constraint int_lt_reif(X____00042, X____00041, BOOL____00402) :: defines_var(BOOL____00402);\n\
01872 constraint int_lt_reif(X____00043, X____00033, BOOL____00195) :: defines_var(BOOL____00195);\n\
01873 constraint int_lt_reif(X____00043, X____00042, BOOL____00404) :: defines_var(BOOL____00404);\n\
01874 constraint int_lt_reif(X____00044, X____00034, BOOL____00198) :: defines_var(BOOL____00198);\n\
01875 constraint int_lt_reif(X____00044, X____00043, BOOL____00406) :: defines_var(BOOL____00406);\n\
01876 constraint int_lt_reif(X____00045, X____00035, BOOL____00201) :: defines_var(BOOL____00201);\n\
01877 constraint int_lt_reif(X____00045, X____00044, BOOL____00408) :: defines_var(BOOL____00408);\n\
01878 constraint int_lt_reif(X____00046, X____00036, BOOL____00204) :: defines_var(BOOL____00204);\n\
01879 constraint int_lt_reif(X____00046, X____00045, BOOL____00410) :: defines_var(BOOL____00410);\n\
01880 constraint int_lt_reif(X____00047, X____00037, BOOL____00205) :: defines_var(BOOL____00205);\n\
01881 constraint int_lt_reif(X____00048, X____00038, BOOL____00207) :: defines_var(BOOL____00207);\n"+
01882 "constraint int_lt_reif(X____00048, X____00047, BOOL____00412) :: defines_var(BOOL____00412);\n\
01883 constraint int_lt_reif(X____00049, X____00039, BOOL____00211) :: defines_var(BOOL____00211);\n\
01884 constraint int_lt_reif(X____00049, X____00048, BOOL____00414) :: defines_var(BOOL____00414);\n\
01885 constraint int_lt_reif(X____00050, X____00040, BOOL____00214) :: defines_var(BOOL____00214);\n\
01886 constraint int_lt_reif(X____00050, X____00049, BOOL____00416) :: defines_var(BOOL____00416);\n\
01887 constraint int_lt_reif(X____00051, X____00041, BOOL____00217) :: defines_var(BOOL____00217);\n\
01888 constraint int_lt_reif(X____00051, X____00050, BOOL____00418) :: defines_var(BOOL____00418);\n\
01889 constraint int_lt_reif(X____00052, X____00042, BOOL____00220) :: defines_var(BOOL____00220);\n\
01890 constraint int_lt_reif(X____00052, X____00051, BOOL____00420) :: defines_var(BOOL____00420);\n\
01891 constraint int_lt_reif(X____00053, X____00043, BOOL____00223) :: defines_var(BOOL____00223);\n\
01892 constraint int_lt_reif(X____00053, X____00052, BOOL____00422) :: defines_var(BOOL____00422);\n\
01893 constraint int_lt_reif(X____00054, X____00044, BOOL____00226) :: defines_var(BOOL____00226);\n\
01894 constraint int_lt_reif(X____00054, X____00053, BOOL____00424) :: defines_var(BOOL____00424);\n\
01895 constraint int_lt_reif(X____00055, X____00045, BOOL____00229) :: defines_var(BOOL____00229);\n\
01896 constraint int_lt_reif(X____00055, X____00054, BOOL____00426) :: defines_var(BOOL____00426);\n\
01897 constraint int_lt_reif(X____00056, X____00046, BOOL____00232) :: defines_var(BOOL____00232);\n\
01898 constraint int_lt_reif(X____00056, X____00055, BOOL____00428) :: defines_var(BOOL____00428);\n\
01899 constraint int_lt_reif(X____00057, X____00047, BOOL____00233) :: defines_var(BOOL____00233);\n\
01900 constraint int_lt_reif(X____00058, X____00048, BOOL____00235) :: defines_var(BOOL____00235);\n\
01901 constraint int_lt_reif(X____00058, X____00057, BOOL____00430) :: defines_var(BOOL____00430);\n\
01902 constraint int_lt_reif(X____00059, X____00049, BOOL____00239) :: defines_var(BOOL____00239);\n\
01903 constraint int_lt_reif(X____00059, X____00058, BOOL____00432) :: defines_var(BOOL____00432);\n\
01904 constraint int_lt_reif(X____00060, X____00050, BOOL____00242) :: defines_var(BOOL____00242);\n\
01905 constraint int_lt_reif(X____00060, X____00059, BOOL____00434) :: defines_var(BOOL____00434);\n\
01906 constraint int_lt_reif(X____00061, X____00051, BOOL____00245) :: defines_var(BOOL____00245);\n\
01907 constraint int_lt_reif(X____00061, X____00060, BOOL____00435) :: defines_var(BOOL____00435);\n\
01908 constraint int_lt_reif(X____00062, X____00052, BOOL____00248) :: defines_var(BOOL____00248);\n\
01909 constraint int_lt_reif(X____00062, X____00061, BOOL____00437) :: defines_var(BOOL____00437);\n\
01910 constraint int_lt_reif(X____00063, X____00053, BOOL____00251) :: defines_var(BOOL____00251);\n\
01911 constraint int_lt_reif(X____00063, X____00062, BOOL____00439) :: defines_var(BOOL____00439);\n\
01912 constraint int_lt_reif(X____00064, X____00054, BOOL____00254) :: defines_var(BOOL____00254);\n\
01913 constraint int_lt_reif(X____00064, X____00063, BOOL____00441) :: defines_var(BOOL____00441);\n\
01914 constraint int_lt_reif(X____00065, X____00055, BOOL____00257) :: defines_var(BOOL____00257);\n\
01915 constraint int_lt_reif(X____00065, X____00064, BOOL____00443) :: defines_var(BOOL____00443);\n\
01916 constraint int_lt_reif(X____00066, X____00056, BOOL____00260) :: defines_var(BOOL____00260);\n\
01917 constraint int_lt_reif(X____00066, X____00065, BOOL____00445) :: defines_var(BOOL____00445);\n\
01918 constraint int_lt_reif(X____00067, X____00057, BOOL____00261) :: defines_var(BOOL____00261);\n\
01919 constraint int_lt_reif(X____00068, X____00058, BOOL____00263) :: defines_var(BOOL____00263);\n\
01920 constraint int_lt_reif(X____00068, X____00067, BOOL____00447) :: defines_var(BOOL____00447);\n\
01921 constraint int_lt_reif(X____00069, X____00059, BOOL____00267) :: defines_var(BOOL____00267);\n\
01922 constraint int_lt_reif(X____00069, X____00068, BOOL____00449) :: defines_var(BOOL____00449);\n\
01923 constraint int_lt_reif(X____00070, X____00061, BOOL____00271) :: defines_var(BOOL____00271);\n\
01924 constraint int_lt_reif(X____00071, X____00062, BOOL____00273) :: defines_var(BOOL____00273);\n\
01925 constraint int_lt_reif(X____00071, X____00070, BOOL____00453) :: defines_var(BOOL____00453);\n\
01926 constraint int_lt_reif(X____00072, X____00063, BOOL____00276) :: defines_var(BOOL____00276);\n\
01927 constraint int_lt_reif(X____00072, X____00071, BOOL____00455) :: defines_var(BOOL____00455);\n\
01928 constraint int_lt_reif(X____00073, X____00064, BOOL____00279) :: defines_var(BOOL____00279);\n\
01929 constraint int_lt_reif(X____00073, X____00072, BOOL____00457) :: defines_var(BOOL____00457);\n\
01930 constraint int_lt_reif(X____00074, X____00065, BOOL____00282) :: defines_var(BOOL____00282);\n\
01931 constraint int_lt_reif(X____00074, X____00073, BOOL____00459) :: defines_var(BOOL____00459);\n\
01932 constraint int_lt_reif(X____00075, X____00066, BOOL____00285) :: defines_var(BOOL____00285);\n\
01933 constraint int_lt_reif(X____00075, X____00074, BOOL____00461) :: defines_var(BOOL____00461);\n\
01934 constraint int_lt_reif(X____00076, X____00067, BOOL____00286) :: defines_var(BOOL____00286);\n\
01935 constraint int_lt_reif(X____00077, X____00068, BOOL____00288) :: defines_var(BOOL____00288);\n\
01936 constraint int_lt_reif(X____00077, X____00076, BOOL____00463) :: defines_var(BOOL____00463);\n\
01937 constraint int_lt_reif(X____00078, X____00069, BOOL____00292) :: defines_var(BOOL____00292);\n\
01938 constraint int_lt_reif(X____00078, X____00077, BOOL____00465) :: defines_var(BOOL____00465);\n\
01939 constraint int_lt_reif(X____00079, X____00078, BOOL____00467) :: defines_var(BOOL____00467);\n\
01940 constraint int_lt_reif(X____00080, X____00070, BOOL____00296) :: defines_var(BOOL____00296);\n\
01941 constraint int_lt_reif(X____00080, X____00079, BOOL____00468) :: defines_var(BOOL____00468);\n\
01942 constraint int_lt_reif(X____00081, X____00071, BOOL____00299) :: defines_var(BOOL____00299);\n\
01943 constraint int_lt_reif(X____00081, X____00080, BOOL____00470) :: defines_var(BOOL____00470);\n\
01944 constraint int_lt_reif(X____00082, X____00072, BOOL____00302) :: defines_var(BOOL____00302);\n\
01945 constraint int_lt_reif(X____00082, X____00081, BOOL____00472) :: defines_var(BOOL____00472);\n\
01946 constraint int_lt_reif(X____00083, X____00073, BOOL____00305) :: defines_var(BOOL____00305);\n\
01947 constraint int_lt_reif(X____00083, X____00082, BOOL____00474) :: defines_var(BOOL____00474);\n\
01948 constraint int_lt_reif(X____00084, X____00074, BOOL____00308) :: defines_var(BOOL____00308);\n\
01949 constraint int_lt_reif(X____00084, X____00083, BOOL____00476) :: defines_var(BOOL____00476);\n\
01950 constraint int_lt_reif(X____00085, X____00075, BOOL____00311) :: defines_var(BOOL____00311);\n\
01951 constraint int_lt_reif(X____00085, X____00084, BOOL____00478) :: defines_var(BOOL____00478);\n\
01952 constraint int_lt_reif(X____00086, X____00076, BOOL____00312) :: defines_var(BOOL____00312);\n\
01953 constraint int_lt_reif(X____00087, X____00077, BOOL____00314) :: defines_var(BOOL____00314);\n\
01954 constraint int_lt_reif(X____00087, X____00086, BOOL____00480) :: defines_var(BOOL____00480);\n\
01955 constraint int_lt_reif(X____00088, X____00078, BOOL____00318) :: defines_var(BOOL____00318);\n\
01956 constraint int_lt_reif(X____00088, X____00087, BOOL____00481) :: defines_var(BOOL____00481);\n\
01957 constraint int_lt_reif(X____00089, X____00079, BOOL____00321) :: defines_var(BOOL____00321);\n\
01958 constraint int_lt_reif(X____00089, X____00088, BOOL____00482) :: defines_var(BOOL____00482);\n\
01959 constraint int_lt_reif(X____00090, X____00080, BOOL____00324) :: defines_var(BOOL____00324);\n\
01960 constraint int_lt_reif(X____00090, X____00089, BOOL____00483) :: defines_var(BOOL____00483);\n\
01961 constraint int_lt_reif(X____00091, X____00081, BOOL____00327) :: defines_var(BOOL____00327);\n\
01962 constraint int_lt_reif(X____00091, X____00090, BOOL____00484) :: defines_var(BOOL____00484);\n\
01963 constraint int_lt_reif(X____00092, X____00082, BOOL____00330) :: defines_var(BOOL____00330);\n\
01964 constraint int_lt_reif(X____00092, X____00091, BOOL____00485) :: defines_var(BOOL____00485);\n\
01965 constraint int_lt_reif(X____00093, X____00083, BOOL____00333) :: defines_var(BOOL____00333);\n\
01966 constraint int_lt_reif(X____00093, X____00092, BOOL____00486) :: defines_var(BOOL____00486);\n\
01967 constraint int_lt_reif(X____00094, X____00084, BOOL____00336) :: defines_var(BOOL____00336);\n\
01968 constraint int_lt_reif(X____00094, X____00093, BOOL____00487) :: defines_var(BOOL____00487);\n\
01969 constraint int_lt_reif(X____00095, X____00085, BOOL____00339) :: defines_var(BOOL____00339);\n\
01970 constraint int_lt_reif(X____00095, X____00094, BOOL____00488) :: defines_var(BOOL____00488);\n\
01971 solve :: int_search(a_flat, first_fail, indomain_max, complete) satisfy;\n\
01972 ", "a = array2d(0..11, 0..11, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 1, 2, 3, 4, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 2, 3, 0, 1, 2, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);\n\
01973 ----------\n\
01974 ");
01975 }
01976 };
01977
01978 Create c;
01979 }
01980
01981 }}
01982
01983