00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #include "test/flatzinc.hh"
00035
00036 namespace Test { namespace FlatZinc {
00037
00038 namespace {
00040 class Create {
00041 public:
00042
00044 Create(void) {
00045 (void) new FlatZincTest("battleships::2",
00046 std::string("predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00047 predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00048 predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00049 predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00050 predicate count(array [int] of var int: x, var int: y, var int: c);\n\
00051 predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);\n\
00052 array [1..3] of int: class_sizes = [3, 2, 1];\n\
00053 var bool: BOOL____00042 :: is_defined_var :: var_is_introduced;\n\
00054 var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;\n\
00055 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;\n\
00056 var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;\n\
00057 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;\n\
00058 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;\n\
00059 var bool: BOOL____00048 :: is_defined_var :: var_is_introduced;\n\
00060 var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;\n\
00061 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;\n\
00062 var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;\n\
00063 var bool: BOOL____00052 :: is_defined_var :: var_is_introduced;\n\
00064 var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;\n\
00065 var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;\n\
00066 var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;\n\
00067 var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;\n\
00068 var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;\n\
00069 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;\n\
00070 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;\n\
00071 var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;\n\
00072 var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;\n\
00073 var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;\n\
00074 var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;\n\
00075 var bool: BOOL____00064 :: is_defined_var :: var_is_introduced;\n\
00076 var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;\n\
00077 var bool: BOOL____00066 :: is_defined_var :: var_is_introduced;\n\
00078 var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;\n\
00079 var bool: BOOL____00068 :: is_defined_var :: var_is_introduced;\n\
00080 var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;\n\
00081 var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;\n\
00082 var bool: BOOL____00071 :: is_defined_var :: var_is_introduced;\n\
00083 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;\n\
00084 var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;\n\
00085 var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;\n\
00086 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;\n\
00087 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;\n\
00088 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;\n\
00089 var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;\n\
00090 var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;\n\
00091 var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;\n\
00092 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;\n\
00093 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;\n\
00094 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;\n\
00095 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;\n\
00096 var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;\n\
00097 var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;\n\
00098 var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;\n\
00099 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;\n\
00100 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;\n\
00101 var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00092 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00093 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00099 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00106 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00110 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00111 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00114 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00118 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00121 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00128 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00135 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00138 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00139 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00142 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00144 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;\n\
00158 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00159 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00160 var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00152 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00156 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00159 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00160 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00161 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00162 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00165 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00168 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00169 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;\n\
00182 var bool: BOOL____00171 :: is_defined_var :: var_is_introduced;\n\
00183 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;\n\
00184 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;\n\
00185 var bool: BOOL____00174 :: is_defined_var :: var_is_introduced;\n\
00186 var bool: BOOL____00175 :: is_defined_var :: var_is_introduced;\n\
00187 var bool: BOOL____00176 :: is_defined_var :: var_is_introduced;\n\
00188 var bool: BOOL____00177 :: is_defined_var :: var_is_introduced;\n\
00189 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;\n\
00190 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;\n\
00191 var bool: BOOL____00180 :: is_defined_var :: var_is_introduced;\n\
00192 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00193 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00194 var bool: BOOL____00183 :: is_defined_var :: var_is_introduced;\n\
00195 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;\n\
00196 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;\n\
00197 var bool: BOOL____00186 :: is_defined_var :: var_is_introduced;\n\
00198 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;\n\
00199 var bool: BOOL____00188 :: is_defined_var :: var_is_introduced;\n\
00200 var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;\n\
00201 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;\n\
00202 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;\n\
00203 var bool: BOOL____00192 :: is_defined_var :: var_is_introduced;\n\
00204 var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;\n\
00205 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;\n\
00206 var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;\n\
00207 var bool: BOOL____00196 :: is_defined_var :: var_is_introduced;\n\
00208 var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;\n\
00209 var bool: BOOL____00198 :: is_defined_var :: var_is_introduced;\n\
00210 var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;\n\
00211 var bool: BOOL____00200 :: is_defined_var :: var_is_introduced;\n\
00212 var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;\n\
00213 var bool: BOOL____00202 :: is_defined_var :: var_is_introduced;\n\
00214 var bool: BOOL____00203 :: is_defined_var :: var_is_introduced;\n\
00215 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;\n\
00216 var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;\n\
00217 var bool: BOOL____00206 :: is_defined_var :: var_is_introduced;\n\
00218 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;\n\
00219 var bool: BOOL____00208 :: is_defined_var :: var_is_introduced;\n\
00220 var bool: BOOL____00209 :: is_defined_var :: var_is_introduced;\n\
00221 var bool: BOOL____00210 :: is_defined_var :: var_is_introduced;\n\
00222 var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;\n\
00223 var bool: BOOL____00212 :: is_defined_var :: var_is_introduced;\n\
00224 var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;\n\
00225 var bool: BOOL____00214 :: is_defined_var :: var_is_introduced;\n\
00226 var bool: BOOL____00215 :: is_defined_var :: var_is_introduced;\n\
00227 var bool: BOOL____00216 :: is_defined_var :: var_is_introduced;\n\
00228 var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;\n\
00229 var bool: BOOL____00218 :: is_defined_var :: var_is_introduced;\n\
00230 var bool: BOOL____00219 :: is_defined_var :: var_is_introduced;\n\
00231 var bool: BOOL____00220 :: is_defined_var :: var_is_introduced;\n\
00232 var bool: BOOL____00221 :: is_defined_var :: var_is_introduced;\n\
00233 var bool: BOOL____00222 :: is_defined_var :: var_is_introduced;\n\
00234 var bool: BOOL____00223 :: is_defined_var :: var_is_introduced;\n\
00235 var bool: BOOL____00224 :: is_defined_var :: var_is_introduced;\n\
00236 var bool: BOOL____00225 :: is_defined_var :: var_is_introduced;\n\
00237 var bool: BOOL____00226 :: is_defined_var :: var_is_introduced;\n\
00238 var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;\n\
00239 var bool: BOOL____00228 :: is_defined_var :: var_is_introduced;\n\
00240 var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;\n\
00241 var bool: BOOL____00230 :: is_defined_var :: var_is_introduced;\n\
00242 var bool: BOOL____00231 :: is_defined_var :: var_is_introduced;\n\
00243 var bool: BOOL____00232 :: is_defined_var :: var_is_introduced;\n\
00244 var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;\n\
00245 var bool: BOOL____00234 :: is_defined_var :: var_is_introduced;\n\
00246 var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;\n\
00247 var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;\n\
00248 var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;\n\
00249 var bool: BOOL____00238 :: is_defined_var :: var_is_introduced;\n\
00250 var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;\n\
00251 var bool: BOOL____00240 :: is_defined_var :: var_is_introduced;\n\
00252 var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;\n\
00253 var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;\n\
00254 var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;\n\
00255 var bool: BOOL____00244 :: is_defined_var :: var_is_introduced;\n\
00256 var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;\n\
00257 var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;\n\
00258 var bool: BOOL____00247 :: is_defined_var :: var_is_introduced;\n\
00259 var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;\n\
00260 var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;\n\
00261 var bool: BOOL____00250 :: is_defined_var :: var_is_introduced;\n\
00262 var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;\n\
00263 var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;\n\
00264 var bool: BOOL____00253 :: is_defined_var :: var_is_introduced;\n\
00265 var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;\n\
00266 var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;\n\
00267 var bool: BOOL____00256 :: is_defined_var :: var_is_introduced;\n\
00268 var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;\n\
00269 var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;\n\
00270 var bool: BOOL____00259 :: is_defined_var :: var_is_introduced;\n\
00271 var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;\n\
00272 var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;\n\
00273 var bool: BOOL____00262 :: is_defined_var :: var_is_introduced;\n\
00274 var bool: BOOL____00263 :: is_defined_var :: var_is_introduced;\n\
00275 var bool: BOOL____00264 :: is_defined_var :: var_is_introduced;\n\
00276 var bool: BOOL____00265 :: is_defined_var :: var_is_introduced;\n\
00277 var bool: BOOL____00266 :: is_defined_var :: var_is_introduced;\n\
00278 var bool: BOOL____00267 :: is_defined_var :: var_is_introduced;\n\
00279 var bool: BOOL____00268 :: is_defined_var :: var_is_introduced;\n\
00280 var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;\n\
00281 var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;\n\
00282 var bool: BOOL____00271 :: is_defined_var :: var_is_introduced;\n\
00283 var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;\n\
00284 var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;\n\
00285 var bool: BOOL____00274 :: is_defined_var :: var_is_introduced;\n\
00286 var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;\n\
00287 var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;\n\
00288 var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;\n\
00289 var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;\n\
00290 var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;\n\
00291 var bool: BOOL____00280 :: is_defined_var :: var_is_introduced;\n\
00292 var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;\n\
00293 var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;\n\
00294 var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;\n\
00295 var bool: BOOL____00284 :: is_defined_var :: var_is_introduced;\n\
00296 var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;\n\
00297 var bool: BOOL____00286 :: is_defined_var :: var_is_introduced;\n\
00298 var bool: BOOL____00287 :: is_defined_var :: var_is_introduced;\n\
00299 var bool: BOOL____00288 :: is_defined_var :: var_is_introduced;\n")+
00300 "var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;\n\
00301 var bool: BOOL____00290 :: is_defined_var :: var_is_introduced;\n\
00302 var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;\n\
00303 var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;\n\
00304 var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;\n\
00305 var bool: BOOL____00294 :: is_defined_var :: var_is_introduced;\n\
00306 var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;\n\
00307 var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;\n\
00308 var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;\n\
00309 var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;\n\
00310 var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;\n\
00311 var bool: BOOL____00300 :: is_defined_var :: var_is_introduced;\n\
00312 var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;\n\
00313 var bool: BOOL____00302 :: is_defined_var :: var_is_introduced;\n\
00314 var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;\n\
00315 var bool: BOOL____00304 :: is_defined_var :: var_is_introduced;\n\
00316 var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;\n\
00317 var bool: BOOL____00306 :: is_defined_var :: var_is_introduced;\n\
00318 var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;\n\
00319 var bool: BOOL____00308 :: is_defined_var :: var_is_introduced;\n\
00320 var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;\n\
00321 var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;\n\
00322 var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;\n\
00323 var bool: BOOL____00312 :: is_defined_var :: var_is_introduced;\n\
00324 var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;\n\
00325 var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;\n\
00326 var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;\n\
00327 var bool: BOOL____00316 :: is_defined_var :: var_is_introduced;\n\
00328 var bool: BOOL____00317 :: is_defined_var :: var_is_introduced;\n\
00329 var bool: BOOL____00318 :: is_defined_var :: var_is_introduced;\n\
00330 var bool: BOOL____00319 :: is_defined_var :: var_is_introduced;\n\
00331 var bool: BOOL____00320 :: is_defined_var :: var_is_introduced;\n\
00332 var 0..6: INT____00357 :: is_defined_var :: var_is_introduced;\n\
00333 var 0..6: INT____00358 :: is_defined_var :: var_is_introduced;\n\
00334 var 0..6: INT____00359 :: is_defined_var :: var_is_introduced;\n\
00335 var 0..6: INT____00360 :: is_defined_var :: var_is_introduced;\n\
00336 var 0..6: INT____00361 :: is_defined_var :: var_is_introduced;\n\
00337 var 0..3: X____00001;\n\
00338 var 0..3: X____00002;\n\
00339 var 1..3: X____00003;\n\
00340 var 0..3: X____00004;\n\
00341 var 0..3: X____00005;\n\
00342 var 0..3: X____00006;\n\
00343 var 0..3: X____00007;\n\
00344 var 0..3: X____00008;\n\
00345 var 0..3: X____00009;\n\
00346 var 0..3: X____00010;\n\
00347 var 0..3: X____00011;\n\
00348 var 1..3: X____00012;\n\
00349 var 0..3: X____00013;\n\
00350 var 0..3: X____00014;\n\
00351 var 0..3: X____00015;\n\
00352 var 0..3: X____00016;\n\
00353 var 0..3: X____00017;\n\
00354 var 0..3: X____00018;\n\
00355 var 0..3: X____00019;\n\
00356 var 0..3: X____00020;\n\
00357 var 0..3: X____00021;\n\
00358 var 0..3: X____00022;\n\
00359 var 0..3: X____00023;\n\
00360 var 0..3: X____00024;\n\
00361 var 0..3: X____00025;\n\
00362 var 0..3: X____00026;\n\
00363 var 0..3: X____00027;\n\
00364 var 0..3: X____00028;\n\
00365 var 0..3: X____00029;\n\
00366 var 1..3: X____00030;\n\
00367 var 0..3: X____00031;\n\
00368 var 0..3: X____00032;\n\
00369 var 0..3: X____00033;\n\
00370 var 0..3: X____00034;\n\
00371 var 0..3: X____00035;\n\
00372 var 0..3: X____00036;\n\
00373 var 0..6: X____00037;\n\
00374 var 0..6: X____00038;\n\
00375 var 0..6: X____00039;\n\
00376 var 0..6: X____00040;\n\
00377 var 0..6: X____00041;\n\
00378 array [1..64] of var 0..3: a :: output_array([0..7, 0..7]) = [0, 0, 0, 0, 0, 0, 0, 0, 0, X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, 0, 0, X____00007, X____00008, X____00009, X____00010, X____00011, X____00012, 0, 0, X____00013, X____00014, X____00015, X____00016, X____00017, X____00018, 0, 0, X____00019, X____00020, X____00021, X____00022, X____00023, X____00024, 0, 0, X____00025, X____00026, X____00027, X____00028, X____00029, X____00030, 0, 0, X____00031, X____00032, X____00033, X____00034, X____00035, X____00036, 0, 0, 0, 0, 0, 0, 0, 0, 0];\n\
00379 array [1..36] of var 0..3: a_flat = [X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009, X____00010, X____00011, X____00012, X____00013, X____00014, X____00015, X____00016, X____00017, X____00018, X____00019, X____00020, X____00021, X____00022, X____00023, X____00024, X____00025, X____00026, X____00027, X____00028, X____00029, X____00030, X____00031, X____00032, X____00033, X____00034, X____00035, X____00036];\n\
00380 array [1..6] of var 0..6: col_sums = [2, 0, X____00037, X____00038, X____00039, X____00040];\n\
00381 array [1..6] of var 0..6: row_sums = [2, 2, 1, 1, X____00041, 1];\n\
00382 constraint array_bool_and([BOOL____00042, BOOL____00065], BOOL____00134) :: defines_var(BOOL____00134);\n\
00383 constraint array_bool_and([BOOL____00044, BOOL____00068], BOOL____00136) :: defines_var(BOOL____00136);\n\
00384 constraint array_bool_and([BOOL____00045, BOOL____00071], BOOL____00138) :: defines_var(BOOL____00138);\n\
00385 constraint array_bool_and([BOOL____00046, BOOL____00074], BOOL____00140) :: defines_var(BOOL____00140);\n\
00386 constraint array_bool_and([BOOL____00047, BOOL____00077], BOOL____00142) :: defines_var(BOOL____00142);\n\
00387 constraint array_bool_and([BOOL____00049, BOOL____00055], BOOL____00056) :: defines_var(BOOL____00056);\n\
00388 constraint array_bool_and([BOOL____00049, BOOL____00081], BOOL____00144) :: defines_var(BOOL____00144);\n\
00389 constraint array_bool_and([BOOL____00051, BOOL____00052], BOOL____00053) :: defines_var(BOOL____00053);\n\
00390 constraint array_bool_and([BOOL____00052, BOOL____00058], BOOL____00059) :: defines_var(BOOL____00059);\n\
00391 constraint array_bool_and([BOOL____00052, BOOL____00084], BOOL____00146) :: defines_var(BOOL____00146);\n\
00392 constraint array_bool_and([BOOL____00055, BOOL____00061], BOOL____00062) :: defines_var(BOOL____00062);\n\
00393 constraint array_bool_and([BOOL____00055, BOOL____00087], BOOL____00148) :: defines_var(BOOL____00148);\n\
00394 constraint array_bool_and([BOOL____00058, BOOL____00090], BOOL____00150) :: defines_var(BOOL____00150);\n\
00395 constraint array_bool_and([BOOL____00061, BOOL____00093], BOOL____00152) :: defines_var(BOOL____00152);\n\
00396 constraint array_bool_and([BOOL____00065, BOOL____00071], BOOL____00072) :: defines_var(BOOL____00072);\n"+
00397 "constraint array_bool_and([BOOL____00065, BOOL____00097], BOOL____00154) :: defines_var(BOOL____00154);\n\
00398 constraint array_bool_and([BOOL____00067, BOOL____00068], BOOL____00069) :: defines_var(BOOL____00069);\n\
00399 constraint array_bool_and([BOOL____00068, BOOL____00074], BOOL____00075) :: defines_var(BOOL____00075);\n\
00400 constraint array_bool_and([BOOL____00068, BOOL____00100], BOOL____00156) :: defines_var(BOOL____00156);\n\
00401 constraint array_bool_and([BOOL____00071, BOOL____00077], BOOL____00078) :: defines_var(BOOL____00078);\n\
00402 constraint array_bool_and([BOOL____00071, BOOL____00103], BOOL____00158) :: defines_var(BOOL____00158);\n\
00403 constraint array_bool_and([BOOL____00074, BOOL____00106], BOOL____00160) :: defines_var(BOOL____00160);\n\
00404 constraint array_bool_and([BOOL____00077, BOOL____00109], BOOL____00162) :: defines_var(BOOL____00162);\n\
00405 constraint array_bool_and([BOOL____00081, BOOL____00087], BOOL____00088) :: defines_var(BOOL____00088);\n\
00406 constraint array_bool_and([BOOL____00081, BOOL____00113], BOOL____00164) :: defines_var(BOOL____00164);\n\
00407 constraint array_bool_and([BOOL____00083, BOOL____00084], BOOL____00085) :: defines_var(BOOL____00085);\n\
00408 constraint array_bool_and([BOOL____00084, BOOL____00090], BOOL____00091) :: defines_var(BOOL____00091);\n\
00409 constraint array_bool_and([BOOL____00084, BOOL____00116], BOOL____00166) :: defines_var(BOOL____00166);\n\
00410 constraint array_bool_and([BOOL____00087, BOOL____00093], BOOL____00094) :: defines_var(BOOL____00094);\n\
00411 constraint array_bool_and([BOOL____00087, BOOL____00119], BOOL____00168) :: defines_var(BOOL____00168);\n\
00412 constraint array_bool_and([BOOL____00090, BOOL____00122], BOOL____00170) :: defines_var(BOOL____00170);\n\
00413 constraint array_bool_and([BOOL____00093, BOOL____00125], BOOL____00172) :: defines_var(BOOL____00172);\n\
00414 constraint array_bool_and([BOOL____00097, BOOL____00103], BOOL____00104) :: defines_var(BOOL____00104);\n\
00415 constraint array_bool_and([BOOL____00099, BOOL____00100], BOOL____00101) :: defines_var(BOOL____00101);\n\
00416 constraint array_bool_and([BOOL____00100, BOOL____00106], BOOL____00107) :: defines_var(BOOL____00107);\n\
00417 constraint array_bool_and([BOOL____00103, BOOL____00109], BOOL____00110) :: defines_var(BOOL____00110);\n\
00418 constraint array_bool_and([BOOL____00113, BOOL____00119], BOOL____00120) :: defines_var(BOOL____00120);\n\
00419 constraint array_bool_and([BOOL____00115, BOOL____00116], BOOL____00117) :: defines_var(BOOL____00117);\n\
00420 constraint array_bool_and([BOOL____00116, BOOL____00122], BOOL____00123) :: defines_var(BOOL____00123);\n\
00421 constraint array_bool_and([BOOL____00119, BOOL____00125], BOOL____00126) :: defines_var(BOOL____00126);\n\
00422 constraint array_bool_and([BOOL____00178, BOOL____00042], BOOL____00180) :: defines_var(BOOL____00180);\n\
00423 constraint array_bool_and([BOOL____00178, BOOL____00051], BOOL____00179) :: defines_var(BOOL____00179);\n\
00424 constraint array_bool_and([BOOL____00181, BOOL____00049], BOOL____00182) :: defines_var(BOOL____00182);\n\
00425 constraint array_bool_and([BOOL____00185, BOOL____00052], BOOL____00186) :: defines_var(BOOL____00186);\n\
00426 constraint array_bool_and([BOOL____00189, BOOL____00055], BOOL____00190) :: defines_var(BOOL____00190);\n\
00427 constraint array_bool_and([BOOL____00193, BOOL____00058], BOOL____00194) :: defines_var(BOOL____00194);\n\
00428 constraint array_bool_and([BOOL____00197, BOOL____00061], BOOL____00198) :: defines_var(BOOL____00198);\n\
00429 constraint array_bool_and([BOOL____00199, BOOL____00046], BOOL____00200) :: defines_var(BOOL____00200);\n\
00430 constraint array_bool_and([BOOL____00203, BOOL____00049], BOOL____00204) :: defines_var(BOOL____00204);\n\
00431 constraint array_bool_and([BOOL____00223, BOOL____00058], BOOL____00224) :: defines_var(BOOL____00224);\n\
00432 constraint array_bool_and([BOOL____00227, BOOL____00065], BOOL____00228) :: defines_var(BOOL____00228);\n\
00433 constraint array_bool_and([BOOL____00247, BOOL____00074], BOOL____00248) :: defines_var(BOOL____00248);\n\
00434 constraint array_bool_and([BOOL____00251, BOOL____00081], BOOL____00252) :: defines_var(BOOL____00252);\n\
00435 constraint array_bool_and([BOOL____00271, BOOL____00090], BOOL____00272) :: defines_var(BOOL____00272);\n\
00436 constraint array_bool_and([BOOL____00275, BOOL____00097], BOOL____00276) :: defines_var(BOOL____00276);\n\
00437 constraint array_bool_and([BOOL____00295, BOOL____00106], BOOL____00296) :: defines_var(BOOL____00296);\n\
00438 constraint array_bool_and([BOOL____00297, BOOL____00099], BOOL____00298) :: defines_var(BOOL____00298);\n\
00439 constraint array_bool_and([BOOL____00299, BOOL____00113], BOOL____00300) :: defines_var(BOOL____00300);\n\
00440 constraint array_bool_and([BOOL____00301, BOOL____00097], BOOL____00302) :: defines_var(BOOL____00302);\n\
00441 constraint array_bool_and([BOOL____00305, BOOL____00100], BOOL____00306) :: defines_var(BOOL____00306);\n\
00442 constraint array_bool_and([BOOL____00309, BOOL____00103], BOOL____00310) :: defines_var(BOOL____00310);\n\
00443 constraint array_bool_and([BOOL____00313, BOOL____00106], BOOL____00314) :: defines_var(BOOL____00314);\n\
00444 constraint array_bool_and([BOOL____00317, BOOL____00109], BOOL____00318) :: defines_var(BOOL____00318);\n\
00445 constraint array_bool_and([BOOL____00319, BOOL____00122], BOOL____00320) :: defines_var(BOOL____00320);\n\
00446 constraint array_bool_and([BOOL____00044, BOOL____00183, BOOL____00043], BOOL____00184) :: defines_var(BOOL____00184);\n\
00447 constraint array_bool_and([BOOL____00045, BOOL____00187, BOOL____00042], BOOL____00188) :: defines_var(BOOL____00188);\n\
00448 constraint array_bool_and([BOOL____00046, BOOL____00191, BOOL____00044], BOOL____00192) :: defines_var(BOOL____00192);\n\
00449 constraint array_bool_and([BOOL____00047, BOOL____00195, BOOL____00045], BOOL____00196) :: defines_var(BOOL____00196);\n\
00450 constraint array_bool_and([BOOL____00052, BOOL____00207, BOOL____00051], BOOL____00208) :: defines_var(BOOL____00208);\n\
00451 constraint array_bool_and([BOOL____00055, BOOL____00211, BOOL____00049], BOOL____00212) :: defines_var(BOOL____00212);\n\
00452 constraint array_bool_and([BOOL____00058, BOOL____00215, BOOL____00052], BOOL____00216) :: defines_var(BOOL____00216);\n\
00453 constraint array_bool_and([BOOL____00061, BOOL____00219, BOOL____00055], BOOL____00220) :: defines_var(BOOL____00220);\n\
00454 constraint array_bool_and([BOOL____00065, BOOL____00205, BOOL____00042], BOOL____00206) :: defines_var(BOOL____00206);\n\
00455 constraint array_bool_and([BOOL____00067, BOOL____00201, BOOL____00043], BOOL____00202) :: defines_var(BOOL____00202);\n\
00456 constraint array_bool_and([BOOL____00068, BOOL____00209, BOOL____00044], BOOL____00210) :: defines_var(BOOL____00210);\n\
00457 constraint array_bool_and([BOOL____00068, BOOL____00231, BOOL____00067], BOOL____00232) :: defines_var(BOOL____00232);\n\
00458 constraint array_bool_and([BOOL____00071, BOOL____00213, BOOL____00045], BOOL____00214) :: defines_var(BOOL____00214);\n\
00459 constraint array_bool_and([BOOL____00071, BOOL____00235, BOOL____00065], BOOL____00236) :: defines_var(BOOL____00236);\n\
00460 constraint array_bool_and([BOOL____00074, BOOL____00217, BOOL____00046], BOOL____00218) :: defines_var(BOOL____00218);\n\
00461 constraint array_bool_and([BOOL____00074, BOOL____00239, BOOL____00068], BOOL____00240) :: defines_var(BOOL____00240);\n\
00462 constraint array_bool_and([BOOL____00077, BOOL____00221, BOOL____00047], BOOL____00222) :: defines_var(BOOL____00222);\n\
00463 constraint array_bool_and([BOOL____00077, BOOL____00243, BOOL____00071], BOOL____00244) :: defines_var(BOOL____00244);\n\
00464 constraint array_bool_and([BOOL____00081, BOOL____00229, BOOL____00049], BOOL____00230) :: defines_var(BOOL____00230);\n\
00465 constraint array_bool_and([BOOL____00083, BOOL____00225, BOOL____00051], BOOL____00226) :: defines_var(BOOL____00226);\n\
00466 constraint array_bool_and([BOOL____00084, BOOL____00233, BOOL____00052], BOOL____00234) :: defines_var(BOOL____00234);\n\
00467 constraint array_bool_and([BOOL____00084, BOOL____00255, BOOL____00083], BOOL____00256) :: defines_var(BOOL____00256);\n\
00468 constraint array_bool_and([BOOL____00087, BOOL____00237, BOOL____00055], BOOL____00238) :: defines_var(BOOL____00238);\n\
00469 constraint array_bool_and([BOOL____00087, BOOL____00259, BOOL____00081], BOOL____00260) :: defines_var(BOOL____00260);\n\
00470 constraint array_bool_and([BOOL____00090, BOOL____00241, BOOL____00058], BOOL____00242) :: defines_var(BOOL____00242);\n\
00471 constraint array_bool_and([BOOL____00090, BOOL____00263, BOOL____00084], BOOL____00264) :: defines_var(BOOL____00264);\n\
00472 constraint array_bool_and([BOOL____00093, BOOL____00245, BOOL____00061], BOOL____00246) :: defines_var(BOOL____00246);\n\
00473 constraint array_bool_and([BOOL____00093, BOOL____00267, BOOL____00087], BOOL____00268) :: defines_var(BOOL____00268);\n\
00474 constraint array_bool_and([BOOL____00097, BOOL____00253, BOOL____00065], BOOL____00254) :: defines_var(BOOL____00254);\n\
00475 constraint array_bool_and([BOOL____00099, BOOL____00249, BOOL____00067], BOOL____00250) :: defines_var(BOOL____00250);\n\
00476 constraint array_bool_and([BOOL____00100, BOOL____00257, BOOL____00068], BOOL____00258) :: defines_var(BOOL____00258);\n\
00477 constraint array_bool_and([BOOL____00100, BOOL____00279, BOOL____00099], BOOL____00280) :: defines_var(BOOL____00280);\n\
00478 constraint array_bool_and([BOOL____00103, BOOL____00261, BOOL____00071], BOOL____00262) :: defines_var(BOOL____00262);\n\
00479 constraint array_bool_and([BOOL____00103, BOOL____00283, BOOL____00097], BOOL____00284) :: defines_var(BOOL____00284);\n\
00480 constraint array_bool_and([BOOL____00106, BOOL____00265, BOOL____00074], BOOL____00266) :: defines_var(BOOL____00266);\n\
00481 constraint array_bool_and([BOOL____00106, BOOL____00287, BOOL____00100], BOOL____00288) :: defines_var(BOOL____00288);\n\
00482 constraint array_bool_and([BOOL____00109, BOOL____00269, BOOL____00077], BOOL____00270) :: defines_var(BOOL____00270);\n\
00483 constraint array_bool_and([BOOL____00109, BOOL____00291, BOOL____00103], BOOL____00292) :: defines_var(BOOL____00292);\n\
00484 constraint array_bool_and([BOOL____00113, BOOL____00277, BOOL____00081], BOOL____00278) :: defines_var(BOOL____00278);\n\
00485 constraint array_bool_and([BOOL____00115, BOOL____00273, BOOL____00083], BOOL____00274) :: defines_var(BOOL____00274);\n\
00486 constraint array_bool_and([BOOL____00116, BOOL____00281, BOOL____00084], BOOL____00282) :: defines_var(BOOL____00282);\n\
00487 constraint array_bool_and([BOOL____00116, BOOL____00303, BOOL____00115], BOOL____00304) :: defines_var(BOOL____00304);\n\
00488 constraint array_bool_and([BOOL____00119, BOOL____00285, BOOL____00087], BOOL____00286) :: defines_var(BOOL____00286);\n\
00489 constraint array_bool_and([BOOL____00119, BOOL____00307, BOOL____00113], BOOL____00308) :: defines_var(BOOL____00308);\n\
00490 constraint array_bool_and([BOOL____00122, BOOL____00289, BOOL____00090], BOOL____00290) :: defines_var(BOOL____00290);\n\
00491 constraint array_bool_and([BOOL____00122, BOOL____00311, BOOL____00116], BOOL____00312) :: defines_var(BOOL____00312);\n\
00492 constraint array_bool_and([BOOL____00125, BOOL____00293, BOOL____00093], BOOL____00294) :: defines_var(BOOL____00294);\n\
00493 constraint array_bool_and([BOOL____00125, BOOL____00315, BOOL____00119], BOOL____00316) :: defines_var(BOOL____00316);\n\
00494 constraint array_bool_or([BOOL____00180, BOOL____00179, BOOL____00043], true);\n\
00495 constraint array_bool_or([BOOL____00184, BOOL____00182, BOOL____00042], true);\n\
00496 constraint array_bool_or([BOOL____00188, BOOL____00186, BOOL____00044], true);\n\
00497 constraint array_bool_or([BOOL____00192, BOOL____00190, BOOL____00045], true);\n\
00498 constraint array_bool_or([BOOL____00196, BOOL____00194, BOOL____00046], true);\n\
00499 constraint array_bool_or([BOOL____00200, BOOL____00198, BOOL____00047], true);\n\
00500 constraint array_bool_or([BOOL____00204, BOOL____00202, BOOL____00051], true);\n\
00501 constraint array_bool_or([BOOL____00208, BOOL____00206, BOOL____00049], true);\n\
00502 constraint array_bool_or([BOOL____00212, BOOL____00210, BOOL____00052], true);\n\
00503 constraint array_bool_or([BOOL____00216, BOOL____00214, BOOL____00055], true);\n\
00504 constraint array_bool_or([BOOL____00220, BOOL____00218, BOOL____00058], true);\n\
00505 constraint array_bool_or([BOOL____00224, BOOL____00222, BOOL____00061], true);\n\
00506 constraint array_bool_or([BOOL____00228, BOOL____00226, BOOL____00067], true);\n\
00507 constraint array_bool_or([BOOL____00232, BOOL____00230, BOOL____00065], true);\n\
00508 constraint array_bool_or([BOOL____00236, BOOL____00234, BOOL____00068], true);\n\
00509 constraint array_bool_or([BOOL____00240, BOOL____00238, BOOL____00071], true);\n\
00510 constraint array_bool_or([BOOL____00244, BOOL____00242, BOOL____00074], true);\n\
00511 constraint array_bool_or([BOOL____00248, BOOL____00246, BOOL____00077], true);\n\
00512 constraint array_bool_or([BOOL____00252, BOOL____00250, BOOL____00083], true);\n\
00513 constraint array_bool_or([BOOL____00256, BOOL____00254, BOOL____00081], true);\n\
00514 constraint array_bool_or([BOOL____00260, BOOL____00258, BOOL____00084], true);\n\
00515 constraint array_bool_or([BOOL____00264, BOOL____00262, BOOL____00087], true);\n\
00516 constraint array_bool_or([BOOL____00268, BOOL____00266, BOOL____00090], true);\n\
00517 constraint array_bool_or([BOOL____00272, BOOL____00270, BOOL____00093], true);\n\
00518 constraint array_bool_or([BOOL____00276, BOOL____00274, BOOL____00099], true);\n\
00519 constraint array_bool_or([BOOL____00280, BOOL____00278, BOOL____00097], true);\n\
00520 constraint array_bool_or([BOOL____00284, BOOL____00282, BOOL____00100], true);\n\
00521 constraint array_bool_or([BOOL____00288, BOOL____00286, BOOL____00103], true);\n\
00522 constraint array_bool_or([BOOL____00292, BOOL____00290, BOOL____00106], true);\n\
00523 constraint array_bool_or([BOOL____00296, BOOL____00294, BOOL____00109], true);\n\
00524 constraint array_bool_or([BOOL____00300, BOOL____00298, BOOL____00115], true);\n\
00525 constraint array_bool_or([BOOL____00304, BOOL____00302, BOOL____00113], true);\n\
00526 constraint array_bool_or([BOOL____00308, BOOL____00306, BOOL____00116], true);\n\
00527 constraint array_bool_or([BOOL____00312, BOOL____00310, BOOL____00119], true);\n\
00528 constraint array_bool_or([BOOL____00316, BOOL____00314, BOOL____00122], true);\n\
00529 constraint array_bool_or([BOOL____00320, BOOL____00318, BOOL____00125], true);\n\
00530 constraint bool_le(BOOL____00048, BOOL____00049);\n\
00531 constraint bool_le(BOOL____00050, BOOL____00053);\n\
00532 constraint bool_le(BOOL____00054, BOOL____00056);\n\
00533 constraint bool_le(BOOL____00057, BOOL____00059);\n\
00534 constraint bool_le(BOOL____00060, BOOL____00062);\n\
00535 constraint bool_le(BOOL____00063, BOOL____00058);\n\
00536 constraint bool_le(BOOL____00064, BOOL____00065);\n\
00537 constraint bool_le(BOOL____00066, BOOL____00069);\n\
00538 constraint bool_le(BOOL____00070, BOOL____00072);\n\
00539 constraint bool_le(BOOL____00073, BOOL____00075);\n\
00540 constraint bool_le(BOOL____00076, BOOL____00078);\n\
00541 constraint bool_le(BOOL____00079, BOOL____00074);\n\
00542 constraint bool_le(BOOL____00080, BOOL____00081);\n\
00543 constraint bool_le(BOOL____00082, BOOL____00085);\n\
00544 constraint bool_le(BOOL____00086, BOOL____00088);\n\
00545 constraint bool_le(BOOL____00089, BOOL____00091);\n\
00546 constraint bool_le(BOOL____00092, BOOL____00094);\n\
00547 constraint bool_le(BOOL____00095, BOOL____00090);\n\
00548 constraint bool_le(BOOL____00096, BOOL____00097);\n\
00549 constraint bool_le(BOOL____00098, BOOL____00101);\n\
00550 constraint bool_le(BOOL____00102, BOOL____00104);\n\
00551 constraint bool_le(BOOL____00105, BOOL____00107);\n\
00552 constraint bool_le(BOOL____00108, BOOL____00110);\n\
00553 constraint bool_le(BOOL____00111, BOOL____00106);\n\
00554 constraint bool_le(BOOL____00112, BOOL____00113);\n\
00555 constraint bool_le(BOOL____00114, BOOL____00117);\n\
00556 constraint bool_le(BOOL____00118, BOOL____00120);\n\
00557 constraint bool_le(BOOL____00121, BOOL____00123);\n\
00558 constraint bool_le(BOOL____00124, BOOL____00126);\n\
00559 constraint bool_le(BOOL____00127, BOOL____00122);\n\
00560 constraint bool_le(BOOL____00128, BOOL____00049);\n\
00561 constraint bool_le(BOOL____00129, BOOL____00052);\n\
00562 constraint bool_le(BOOL____00130, BOOL____00055);\n\
00563 constraint bool_le(BOOL____00131, BOOL____00058);\n\
00564 constraint bool_le(BOOL____00132, BOOL____00061);\n\
00565 constraint bool_le(BOOL____00133, BOOL____00134);\n\
00566 constraint bool_le(BOOL____00135, BOOL____00136);\n\
00567 constraint bool_le(BOOL____00137, BOOL____00138);\n\
00568 constraint bool_le(BOOL____00139, BOOL____00140);\n\
00569 constraint bool_le(BOOL____00141, BOOL____00142);\n\
00570 constraint bool_le(BOOL____00143, BOOL____00144);\n\
00571 constraint bool_le(BOOL____00145, BOOL____00146);\n\
00572 constraint bool_le(BOOL____00147, BOOL____00148);\n\
00573 constraint bool_le(BOOL____00149, BOOL____00150);\n\
00574 constraint bool_le(BOOL____00151, BOOL____00152);\n\
00575 constraint bool_le(BOOL____00153, BOOL____00154);\n\
00576 constraint bool_le(BOOL____00155, BOOL____00156);\n\
00577 constraint bool_le(BOOL____00157, BOOL____00158);\n\
00578 constraint bool_le(BOOL____00159, BOOL____00160);\n\
00579 constraint bool_le(BOOL____00161, BOOL____00162);\n\
00580 constraint bool_le(BOOL____00163, BOOL____00164);\n\
00581 constraint bool_le(BOOL____00165, BOOL____00166);\n\
00582 constraint bool_le(BOOL____00167, BOOL____00168);\n\
00583 constraint bool_le(BOOL____00169, BOOL____00170);\n"+
00584 "constraint bool_le(BOOL____00171, BOOL____00172);\n\
00585 constraint bool_le(BOOL____00173, BOOL____00097);\n\
00586 constraint bool_le(BOOL____00174, BOOL____00100);\n\
00587 constraint bool_le(BOOL____00175, BOOL____00103);\n\
00588 constraint bool_le(BOOL____00176, BOOL____00106);\n\
00589 constraint bool_le(BOOL____00177, BOOL____00109);\n\
00590 constraint count([X____00001, X____00002, X____00003, X____00004, X____00005, X____00006], 0, 4);\n\
00591 constraint count([X____00001, X____00007, X____00013, X____00019, X____00025, X____00031], 0, 4);\n\
00592 constraint count([X____00002, X____00008, X____00014, X____00020, X____00026, X____00032], 0, 6);\n\
00593 constraint count([X____00003, X____00009, X____00015, X____00021, X____00027, X____00033], 0, INT____00357);\n\
00594 constraint count([X____00004, X____00010, X____00016, X____00022, X____00028, X____00034], 0, INT____00358);\n\
00595 constraint count([X____00005, X____00011, X____00017, X____00023, X____00029, X____00035], 0, INT____00359);\n\
00596 constraint count([X____00006, X____00012, X____00018, X____00024, X____00030, X____00036], 0, INT____00360);\n\
00597 constraint count([X____00007, X____00008, X____00009, X____00010, X____00011, X____00012], 0, 4);\n\
00598 constraint count([X____00013, X____00014, X____00015, X____00016, X____00017, X____00018], 0, 5);\n\
00599 constraint count([X____00019, X____00020, X____00021, X____00022, X____00023, X____00024], 0, 5);\n\
00600 constraint count([X____00025, X____00026, X____00027, X____00028, X____00029, X____00030], 0, INT____00361);\n\
00601 constraint count([X____00031, X____00032, X____00033, X____00034, X____00035, X____00036], 0, 5);\n\
00602 constraint count(a_flat, 1, 6);\n\
00603 constraint count(a_flat, 2, 3);\n\
00604 constraint count(a_flat, 3, 1);\n\
00605 constraint int_eq_reif(X____00001, 0, BOOL____00043) :: defines_var(BOOL____00043);\n\
00606 constraint int_eq_reif(X____00001, 1, BOOL____00178) :: defines_var(BOOL____00178);\n\
00607 constraint int_eq_reif(X____00002, 0, BOOL____00042) :: defines_var(BOOL____00042);\n\
00608 constraint int_eq_reif(X____00002, 1, BOOL____00183) :: defines_var(BOOL____00183);\n\
00609 constraint int_eq_reif(X____00003, 0, BOOL____00044) :: defines_var(BOOL____00044);\n\
00610 constraint int_eq_reif(X____00003, 1, BOOL____00187) :: defines_var(BOOL____00187);\n\
00611 constraint int_eq_reif(X____00004, 0, BOOL____00045) :: defines_var(BOOL____00045);\n\
00612 constraint int_eq_reif(X____00004, 1, BOOL____00191) :: defines_var(BOOL____00191);\n\
00613 constraint int_eq_reif(X____00005, 0, BOOL____00046) :: defines_var(BOOL____00046);\n\
00614 constraint int_eq_reif(X____00005, 1, BOOL____00195) :: defines_var(BOOL____00195);\n\
00615 constraint int_eq_reif(X____00006, 0, BOOL____00047) :: defines_var(BOOL____00047);\n\
00616 constraint int_eq_reif(X____00006, 1, BOOL____00199) :: defines_var(BOOL____00199);\n\
00617 constraint int_eq_reif(X____00007, 0, BOOL____00051) :: defines_var(BOOL____00051);\n\
00618 constraint int_eq_reif(X____00007, 1, BOOL____00201) :: defines_var(BOOL____00201);\n\
00619 constraint int_eq_reif(X____00008, 0, BOOL____00049) :: defines_var(BOOL____00049);\n\
00620 constraint int_eq_reif(X____00009, 0, BOOL____00052) :: defines_var(BOOL____00052);\n\
00621 constraint int_eq_reif(X____00010, 0, BOOL____00055) :: defines_var(BOOL____00055);\n\
00622 constraint int_eq_reif(X____00011, 0, BOOL____00058) :: defines_var(BOOL____00058);\n\
00623 constraint int_eq_reif(X____00012, 0, BOOL____00061) :: defines_var(BOOL____00061);\n\
00624 constraint int_eq_reif(X____00013, 0, BOOL____00067) :: defines_var(BOOL____00067);\n\
00625 constraint int_eq_reif(X____00013, 1, BOOL____00225) :: defines_var(BOOL____00225);\n\
00626 constraint int_eq_reif(X____00014, 0, BOOL____00065) :: defines_var(BOOL____00065);\n\
00627 constraint int_eq_reif(X____00015, 0, BOOL____00068) :: defines_var(BOOL____00068);\n\
00628 constraint int_eq_reif(X____00016, 0, BOOL____00071) :: defines_var(BOOL____00071);\n\
00629 constraint int_eq_reif(X____00017, 0, BOOL____00074) :: defines_var(BOOL____00074);\n\
00630 constraint int_eq_reif(X____00018, 0, BOOL____00077) :: defines_var(BOOL____00077);\n\
00631 constraint int_eq_reif(X____00019, 0, BOOL____00083) :: defines_var(BOOL____00083);\n\
00632 constraint int_eq_reif(X____00019, 1, BOOL____00249) :: defines_var(BOOL____00249);\n\
00633 constraint int_eq_reif(X____00020, 0, BOOL____00081) :: defines_var(BOOL____00081);\n\
00634 constraint int_eq_reif(X____00021, 0, BOOL____00084) :: defines_var(BOOL____00084);\n\
00635 constraint int_eq_reif(X____00022, 0, BOOL____00087) :: defines_var(BOOL____00087);\n\
00636 constraint int_eq_reif(X____00023, 0, BOOL____00090) :: defines_var(BOOL____00090);\n\
00637 constraint int_eq_reif(X____00024, 0, BOOL____00093) :: defines_var(BOOL____00093);\n\
00638 constraint int_eq_reif(X____00025, 0, BOOL____00099) :: defines_var(BOOL____00099);\n\
00639 constraint int_eq_reif(X____00025, 1, BOOL____00273) :: defines_var(BOOL____00273);\n\
00640 constraint int_eq_reif(X____00026, 0, BOOL____00097) :: defines_var(BOOL____00097);\n\
00641 constraint int_eq_reif(X____00027, 0, BOOL____00100) :: defines_var(BOOL____00100);\n\
00642 constraint int_eq_reif(X____00028, 0, BOOL____00103) :: defines_var(BOOL____00103);\n\
00643 constraint int_eq_reif(X____00029, 0, BOOL____00106) :: defines_var(BOOL____00106);\n\
00644 constraint int_eq_reif(X____00030, 0, BOOL____00109) :: defines_var(BOOL____00109);\n\
00645 constraint int_eq_reif(X____00031, 0, BOOL____00115) :: defines_var(BOOL____00115);\n\
00646 constraint int_eq_reif(X____00031, 1, BOOL____00297) :: defines_var(BOOL____00297);\n\
00647 constraint int_eq_reif(X____00032, 0, BOOL____00113) :: defines_var(BOOL____00113);\n\
00648 constraint int_eq_reif(X____00033, 0, BOOL____00116) :: defines_var(BOOL____00116);\n\
00649 constraint int_eq_reif(X____00034, 0, BOOL____00119) :: defines_var(BOOL____00119);\n\
00650 constraint int_eq_reif(X____00035, 0, BOOL____00122) :: defines_var(BOOL____00122);\n\
00651 constraint int_eq_reif(X____00036, 0, BOOL____00125) :: defines_var(BOOL____00125);\n\
00652 constraint int_lin_eq([-1, -1], [INT____00357, X____00037], -6) :: defines_var(INT____00357);\n\
00653 constraint int_lin_eq([-1, -1], [INT____00358, X____00038], -6) :: defines_var(INT____00358);\n\
00654 constraint int_lin_eq([-1, -1], [INT____00359, X____00039], -6) :: defines_var(INT____00359);\n\
00655 constraint int_lin_eq([-1, -1], [INT____00360, X____00040], -6) :: defines_var(INT____00360);\n\
00656 constraint int_lin_eq([-1, -1], [INT____00361, X____00041], -6) :: defines_var(INT____00361);\n\
00657 constraint int_lin_eq_reif([-1, 1], [X____00001, X____00002], 1, BOOL____00181) :: defines_var(BOOL____00181);\n\
00658 constraint int_lin_eq_reif([-1, 1], [X____00001, X____00007], 1, BOOL____00203) :: defines_var(BOOL____00203);\n\
00659 constraint int_lin_eq_reif([-1, 1], [X____00002, X____00003], 1, BOOL____00185) :: defines_var(BOOL____00185);\n\
00660 constraint int_lin_eq_reif([-1, 1], [X____00002, X____00008], 1, BOOL____00207) :: defines_var(BOOL____00207);\n\
00661 constraint int_lin_eq_reif([-1, 1], [X____00003, X____00004], 1, BOOL____00189) :: defines_var(BOOL____00189);\n\
00662 constraint int_lin_eq_reif([-1, 1], [X____00003, X____00009], 1, BOOL____00211) :: defines_var(BOOL____00211);\n\
00663 constraint int_lin_eq_reif([-1, 1], [X____00004, X____00005], 1, BOOL____00193) :: defines_var(BOOL____00193);\n\
00664 constraint int_lin_eq_reif([-1, 1], [X____00004, X____00010], 1, BOOL____00215) :: defines_var(BOOL____00215);\n\
00665 constraint int_lin_eq_reif([-1, 1], [X____00005, X____00006], 1, BOOL____00197) :: defines_var(BOOL____00197);\n\
00666 constraint int_lin_eq_reif([-1, 1], [X____00005, X____00011], 1, BOOL____00219) :: defines_var(BOOL____00219);\n\
00667 constraint int_lin_eq_reif([-1, 1], [X____00006, X____00012], 1, BOOL____00223) :: defines_var(BOOL____00223);\n\
00668 constraint int_lin_eq_reif([-1, 1], [X____00007, X____00008], 1, BOOL____00205) :: defines_var(BOOL____00205);\n\
00669 constraint int_lin_eq_reif([-1, 1], [X____00007, X____00013], 1, BOOL____00227) :: defines_var(BOOL____00227);\n\
00670 constraint int_lin_eq_reif([-1, 1], [X____00008, X____00009], 1, BOOL____00209) :: defines_var(BOOL____00209);\n\
00671 constraint int_lin_eq_reif([-1, 1], [X____00008, X____00014], 1, BOOL____00231) :: defines_var(BOOL____00231);\n\
00672 constraint int_lin_eq_reif([-1, 1], [X____00009, X____00010], 1, BOOL____00213) :: defines_var(BOOL____00213);\n\
00673 constraint int_lin_eq_reif([-1, 1], [X____00009, X____00015], 1, BOOL____00235) :: defines_var(BOOL____00235);\n\
00674 constraint int_lin_eq_reif([-1, 1], [X____00010, X____00011], 1, BOOL____00217) :: defines_var(BOOL____00217);\n\
00675 constraint int_lin_eq_reif([-1, 1], [X____00010, X____00016], 1, BOOL____00239) :: defines_var(BOOL____00239);\n\
00676 constraint int_lin_eq_reif([-1, 1], [X____00011, X____00012], 1, BOOL____00221) :: defines_var(BOOL____00221);\n\
00677 constraint int_lin_eq_reif([-1, 1], [X____00011, X____00017], 1, BOOL____00243) :: defines_var(BOOL____00243);\n\
00678 constraint int_lin_eq_reif([-1, 1], [X____00012, X____00018], 1, BOOL____00247) :: defines_var(BOOL____00247);\n\
00679 constraint int_lin_eq_reif([-1, 1], [X____00013, X____00014], 1, BOOL____00229) :: defines_var(BOOL____00229);\n\
00680 constraint int_lin_eq_reif([-1, 1], [X____00013, X____00019], 1, BOOL____00251) :: defines_var(BOOL____00251);\n\
00681 constraint int_lin_eq_reif([-1, 1], [X____00014, X____00015], 1, BOOL____00233) :: defines_var(BOOL____00233);\n\
00682 constraint int_lin_eq_reif([-1, 1], [X____00014, X____00020], 1, BOOL____00255) :: defines_var(BOOL____00255);\n\
00683 constraint int_lin_eq_reif([-1, 1], [X____00015, X____00016], 1, BOOL____00237) :: defines_var(BOOL____00237);\n\
00684 constraint int_lin_eq_reif([-1, 1], [X____00015, X____00021], 1, BOOL____00259) :: defines_var(BOOL____00259);\n\
00685 constraint int_lin_eq_reif([-1, 1], [X____00016, X____00017], 1, BOOL____00241) :: defines_var(BOOL____00241);\n\
00686 constraint int_lin_eq_reif([-1, 1], [X____00016, X____00022], 1, BOOL____00263) :: defines_var(BOOL____00263);\n\
00687 constraint int_lin_eq_reif([-1, 1], [X____00017, X____00018], 1, BOOL____00245) :: defines_var(BOOL____00245);\n\
00688 constraint int_lin_eq_reif([-1, 1], [X____00017, X____00023], 1, BOOL____00267) :: defines_var(BOOL____00267);\n\
00689 constraint int_lin_eq_reif([-1, 1], [X____00018, X____00024], 1, BOOL____00271) :: defines_var(BOOL____00271);\n\
00690 constraint int_lin_eq_reif([-1, 1], [X____00019, X____00020], 1, BOOL____00253) :: defines_var(BOOL____00253);\n\
00691 constraint int_lin_eq_reif([-1, 1], [X____00019, X____00025], 1, BOOL____00275) :: defines_var(BOOL____00275);\n\
00692 constraint int_lin_eq_reif([-1, 1], [X____00020, X____00021], 1, BOOL____00257) :: defines_var(BOOL____00257);\n\
00693 constraint int_lin_eq_reif([-1, 1], [X____00020, X____00026], 1, BOOL____00279) :: defines_var(BOOL____00279);\n\
00694 constraint int_lin_eq_reif([-1, 1], [X____00021, X____00022], 1, BOOL____00261) :: defines_var(BOOL____00261);\n\
00695 constraint int_lin_eq_reif([-1, 1], [X____00021, X____00027], 1, BOOL____00283) :: defines_var(BOOL____00283);\n\
00696 constraint int_lin_eq_reif([-1, 1], [X____00022, X____00023], 1, BOOL____00265) :: defines_var(BOOL____00265);\n\
00697 constraint int_lin_eq_reif([-1, 1], [X____00022, X____00028], 1, BOOL____00287) :: defines_var(BOOL____00287);\n\
00698 constraint int_lin_eq_reif([-1, 1], [X____00023, X____00024], 1, BOOL____00269) :: defines_var(BOOL____00269);\n\
00699 constraint int_lin_eq_reif([-1, 1], [X____00023, X____00029], 1, BOOL____00291) :: defines_var(BOOL____00291);\n\
00700 constraint int_lin_eq_reif([-1, 1], [X____00024, X____00030], 1, BOOL____00295) :: defines_var(BOOL____00295);\n\
00701 constraint int_lin_eq_reif([-1, 1], [X____00025, X____00026], 1, BOOL____00277) :: defines_var(BOOL____00277);\n\
00702 constraint int_lin_eq_reif([-1, 1], [X____00025, X____00031], 1, BOOL____00299) :: defines_var(BOOL____00299);\n\
00703 constraint int_lin_eq_reif([-1, 1], [X____00026, X____00027], 1, BOOL____00281) :: defines_var(BOOL____00281);\n\
00704 constraint int_lin_eq_reif([-1, 1], [X____00026, X____00032], 1, BOOL____00303) :: defines_var(BOOL____00303);\n\
00705 constraint int_lin_eq_reif([-1, 1], [X____00027, X____00028], 1, BOOL____00285) :: defines_var(BOOL____00285);\n\
00706 constraint int_lin_eq_reif([-1, 1], [X____00027, X____00033], 1, BOOL____00307) :: defines_var(BOOL____00307);\n\
00707 constraint int_lin_eq_reif([-1, 1], [X____00028, X____00029], 1, BOOL____00289) :: defines_var(BOOL____00289);\n\
00708 constraint int_lin_eq_reif([-1, 1], [X____00028, X____00034], 1, BOOL____00311) :: defines_var(BOOL____00311);\n\
00709 constraint int_lin_eq_reif([-1, 1], [X____00029, X____00030], 1, BOOL____00293) :: defines_var(BOOL____00293);\n\
00710 constraint int_lin_eq_reif([-1, 1], [X____00029, X____00035], 1, BOOL____00315) :: defines_var(BOOL____00315);\n\
00711 constraint int_lin_eq_reif([-1, 1], [X____00030, X____00036], 1, BOOL____00319) :: defines_var(BOOL____00319);\n\
00712 constraint int_lin_eq_reif([-1, 1], [X____00031, X____00032], 1, BOOL____00301) :: defines_var(BOOL____00301);\n\
00713 constraint int_lin_eq_reif([-1, 1], [X____00032, X____00033], 1, BOOL____00305) :: defines_var(BOOL____00305);\n\
00714 constraint int_lin_eq_reif([-1, 1], [X____00033, X____00034], 1, BOOL____00309) :: defines_var(BOOL____00309);\n\
00715 constraint int_lin_eq_reif([-1, 1], [X____00034, X____00035], 1, BOOL____00313) :: defines_var(BOOL____00313);\n\
00716 constraint int_lin_eq_reif([-1, 1], [X____00035, X____00036], 1, BOOL____00317) :: defines_var(BOOL____00317);\n\
00717 constraint int_lt_reif(X____00002, X____00001, BOOL____00128) :: defines_var(BOOL____00128);\n\
00718 constraint int_lt_reif(X____00003, X____00002, BOOL____00129) :: defines_var(BOOL____00129);\n\
00719 constraint int_lt_reif(X____00004, X____00003, BOOL____00130) :: defines_var(BOOL____00130);\n\
00720 constraint int_lt_reif(X____00005, X____00004, BOOL____00131) :: defines_var(BOOL____00131);\n\
00721 constraint int_lt_reif(X____00006, X____00005, BOOL____00132) :: defines_var(BOOL____00132);\n\
00722 constraint int_lt_reif(X____00007, X____00001, BOOL____00048) :: defines_var(BOOL____00048);\n\
00723 constraint int_lt_reif(X____00008, X____00002, BOOL____00050) :: defines_var(BOOL____00050);\n\
00724 constraint int_lt_reif(X____00008, X____00007, BOOL____00133) :: defines_var(BOOL____00133);\n\
00725 constraint int_lt_reif(X____00009, X____00003, BOOL____00054) :: defines_var(BOOL____00054);\n\
00726 constraint int_lt_reif(X____00009, X____00008, BOOL____00135) :: defines_var(BOOL____00135);\n\
00727 constraint int_lt_reif(X____00010, X____00004, BOOL____00057) :: defines_var(BOOL____00057);\n\
00728 constraint int_lt_reif(X____00010, X____00009, BOOL____00137) :: defines_var(BOOL____00137);\n\
00729 constraint int_lt_reif(X____00011, X____00005, BOOL____00060) :: defines_var(BOOL____00060);\n\
00730 constraint int_lt_reif(X____00011, X____00010, BOOL____00139) :: defines_var(BOOL____00139);\n\
00731 constraint int_lt_reif(X____00012, X____00006, BOOL____00063) :: defines_var(BOOL____00063);\n\
00732 constraint int_lt_reif(X____00012, X____00011, BOOL____00141) :: defines_var(BOOL____00141);\n\
00733 constraint int_lt_reif(X____00013, X____00007, BOOL____00064) :: defines_var(BOOL____00064);\n\
00734 constraint int_lt_reif(X____00014, X____00008, BOOL____00066) :: defines_var(BOOL____00066);\n\
00735 constraint int_lt_reif(X____00014, X____00013, BOOL____00143) :: defines_var(BOOL____00143);\n\
00736 constraint int_lt_reif(X____00015, X____00009, BOOL____00070) :: defines_var(BOOL____00070);\n\
00737 constraint int_lt_reif(X____00015, X____00014, BOOL____00145) :: defines_var(BOOL____00145);\n\
00738 constraint int_lt_reif(X____00016, X____00010, BOOL____00073) :: defines_var(BOOL____00073);\n\
00739 constraint int_lt_reif(X____00016, X____00015, BOOL____00147) :: defines_var(BOOL____00147);\n\
00740 constraint int_lt_reif(X____00017, X____00011, BOOL____00076) :: defines_var(BOOL____00076);\n\
00741 constraint int_lt_reif(X____00017, X____00016, BOOL____00149) :: defines_var(BOOL____00149);\n\
00742 constraint int_lt_reif(X____00018, X____00012, BOOL____00079) :: defines_var(BOOL____00079);\n\
00743 constraint int_lt_reif(X____00018, X____00017, BOOL____00151) :: defines_var(BOOL____00151);\n\
00744 constraint int_lt_reif(X____00019, X____00013, BOOL____00080) :: defines_var(BOOL____00080);\n\
00745 constraint int_lt_reif(X____00020, X____00014, BOOL____00082) :: defines_var(BOOL____00082);\n\
00746 constraint int_lt_reif(X____00020, X____00019, BOOL____00153) :: defines_var(BOOL____00153);\n\
00747 constraint int_lt_reif(X____00021, X____00015, BOOL____00086) :: defines_var(BOOL____00086);\n\
00748 constraint int_lt_reif(X____00021, X____00020, BOOL____00155) :: defines_var(BOOL____00155);\n\
00749 constraint int_lt_reif(X____00022, X____00016, BOOL____00089) :: defines_var(BOOL____00089);\n\
00750 constraint int_lt_reif(X____00022, X____00021, BOOL____00157) :: defines_var(BOOL____00157);\n\
00751 constraint int_lt_reif(X____00023, X____00017, BOOL____00092) :: defines_var(BOOL____00092);\n\
00752 constraint int_lt_reif(X____00023, X____00022, BOOL____00159) :: defines_var(BOOL____00159);\n\
00753 constraint int_lt_reif(X____00024, X____00018, BOOL____00095) :: defines_var(BOOL____00095);\n\
00754 constraint int_lt_reif(X____00024, X____00023, BOOL____00161) :: defines_var(BOOL____00161);\n\
00755 constraint int_lt_reif(X____00025, X____00019, BOOL____00096) :: defines_var(BOOL____00096);\n"+
00756 "constraint int_lt_reif(X____00026, X____00020, BOOL____00098) :: defines_var(BOOL____00098);\n\
00757 constraint int_lt_reif(X____00026, X____00025, BOOL____00163) :: defines_var(BOOL____00163);\n\
00758 constraint int_lt_reif(X____00027, X____00021, BOOL____00102) :: defines_var(BOOL____00102);\n\
00759 constraint int_lt_reif(X____00027, X____00026, BOOL____00165) :: defines_var(BOOL____00165);\n\
00760 constraint int_lt_reif(X____00028, X____00022, BOOL____00105) :: defines_var(BOOL____00105);\n\
00761 constraint int_lt_reif(X____00028, X____00027, BOOL____00167) :: defines_var(BOOL____00167);\n\
00762 constraint int_lt_reif(X____00029, X____00023, BOOL____00108) :: defines_var(BOOL____00108);\n\
00763 constraint int_lt_reif(X____00029, X____00028, BOOL____00169) :: defines_var(BOOL____00169);\n\
00764 constraint int_lt_reif(X____00030, X____00024, BOOL____00111) :: defines_var(BOOL____00111);\n\
00765 constraint int_lt_reif(X____00030, X____00029, BOOL____00171) :: defines_var(BOOL____00171);\n\
00766 constraint int_lt_reif(X____00031, X____00025, BOOL____00112) :: defines_var(BOOL____00112);\n\
00767 constraint int_lt_reif(X____00032, X____00026, BOOL____00114) :: defines_var(BOOL____00114);\n\
00768 constraint int_lt_reif(X____00032, X____00031, BOOL____00173) :: defines_var(BOOL____00173);\n\
00769 constraint int_lt_reif(X____00033, X____00027, BOOL____00118) :: defines_var(BOOL____00118);\n\
00770 constraint int_lt_reif(X____00033, X____00032, BOOL____00174) :: defines_var(BOOL____00174);\n\
00771 constraint int_lt_reif(X____00034, X____00028, BOOL____00121) :: defines_var(BOOL____00121);\n\
00772 constraint int_lt_reif(X____00034, X____00033, BOOL____00175) :: defines_var(BOOL____00175);\n\
00773 constraint int_lt_reif(X____00035, X____00029, BOOL____00124) :: defines_var(BOOL____00124);\n\
00774 constraint int_lt_reif(X____00035, X____00034, BOOL____00176) :: defines_var(BOOL____00176);\n\
00775 constraint int_lt_reif(X____00036, X____00030, BOOL____00127) :: defines_var(BOOL____00127);\n\
00776 constraint int_lt_reif(X____00036, X____00035, BOOL____00177) :: defines_var(BOOL____00177);\n\
00777 solve :: int_search(a_flat, first_fail, indomain_max, complete) satisfy;\n\
00778 ", "a = array2d(0..7, 0..7, [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 0, 1, 2, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);\n\
00779 ----------\n\
00780 ");
00781 }
00782 };
00783
00784 Create c;
00785 }
00786
00787 }}
00788
00789