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