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