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