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("blocksworld::2",
00050 std::string("predicate all_different_int(array [int] of var int: x);\n\
00051 predicate all_equal_int(array [int] of var int: x);\n\
00052 predicate among(var int: n, array [int] of var int: x, set of int: v);\n\
00053 predicate array_bool_lq(array [int] of var bool: x, array [int] of var bool: y);\n\
00054 predicate array_bool_lt(array [int] of var bool: x, array [int] of var bool: y);\n\
00055 predicate array_int_lq(array [int] of var int: x, array [int] of var int: y);\n\
00056 predicate array_int_lt(array [int] of var int: x, array [int] of var int: y);\n\
00057 predicate array_set_partition(array [int] of var set of int: S, set of int: universe);\n\
00058 predicate at_least_int(int: n, array [int] of var int: x, int: v);\n\
00059 predicate at_most_int(int: n, array [int] of var int: x, int: v);\n\
00060 predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00061 predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00062 predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00063 predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00064 predicate count(array [int] of var int: x, var int: y, var int: c);\n\
00065 predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);\n\
00066 predicate cumulatives(array [int] of var int: s, array [int] of var int: d, array [int] of var int: r, var int: b);\n\
00067 predicate decreasing_bool(array [int] of var bool: x);\n\
00068 predicate decreasing_int(array [int] of var int: x);\n\
00069 predicate disjoint(var set of int: s1, var set of int: s2);\n\
00070 predicate gecode_array_set_element_union(var set of int: x, array [int] of var set of int: y, var set of int: z);\n\
00071 predicate gecode_bin_packing_load(array [int] of var int: l, array [int] of var int: bin, array [int] of int: w, int: minIndex);\n\
00072 predicate gecode_circuit(int: offset, array [int] of var int: x);\n\
00073 predicate gecode_int_set_channel(array [int] of var int: x, int: xoff, array [int] of var set of int: y, int: yoff);\n\
00074 predicate gecode_inverse_set(array [int] of var set of int: f, array [int] of var set of int: invf, int: xoff, int: yoff);\n\
00075 predicate gecode_link_set_to_booleans(var set of int: s, array [int] of var bool: b, int: idx);\n\
00076 predicate gecode_member_bool_reif(array [int] of var bool: x, var bool: y, var bool: b);\n\
00077 predicate gecode_member_int_reif(array [int] of var int: x, var int: y, var bool: b);\n\
00078 predicate gecode_nooverlap(array [int] of var int: x, array [int] of var int: w, array [int] of var int: y, array [int] of var int: h);\n\
00079 predicate gecode_precede(array [int] of var int: x, int: s, int: t);\n\
00080 predicate gecode_precede_set(array [int] of var set of int: x, int: s, int: t);\n\
00081 predicate gecode_range(array [int] of var int: x, int: xoff, var set of int: s, var set of int: t);\n\
00082 predicate gecode_set_weights(array [int] of int: csi, array [int] of int: cs, var set of int: x, var int: y);\n\
00083 predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);\n\
00084 predicate global_cardinality_closed(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);\n\
00085 predicate global_cardinality_low_up(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);\n\
00086 predicate global_cardinality_low_up_closed(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);\n\
00087 predicate increasing_bool(array [int] of var bool: x);\n\
00088 predicate increasing_int(array [int] of var int: x);\n\
00089 predicate inverse_offsets(array [int] of var int: f, int: foff, array [int] of var int: invf, int: invfoff);\n\
00090 predicate maximum_int(var int: m, array [int] of var int: x);\n\
00091 predicate member_bool(array [int] of var bool: x, var bool: y);\n\
00092 predicate member_int(array [int] of var int: x, var int: y);\n\
00093 predicate minimum_int(var int: m, array [int] of var int: x);\n\
00094 predicate nvalue(var int: n, array [int] of var int: x);\n\
00095 predicate regular(array [int] of var int: x, int: Q, int: S, array [int, int] of int: d, int: q0, set of int: F);\n\
00096 predicate sort(array [int] of var int: x, array [int] of var int: y);\n\
00097 predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);\n\
00098 predicate table_int(array [int] of var int: x, array [int, int] of int: t);\n")+
00099 "array [1..5] of int: final_loc = [2, 3, 4, 5, 0];\n\
00100 array [1..5] of int: initial_loc = [0, 1, 2, 3, 4];\n\
00101 var bool: BOOL____00001 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00002 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00004 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00007 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00008 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00009 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00010 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00011 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00014 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00016 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00020 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00022 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00026 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00028 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00030 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00034 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00035 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00036 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00039 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00040 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00042 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00048 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00052 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;\n\
00158 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;\n\
00159 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;\n\
00160 var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00064 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00066 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00068 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00071 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;\n\
00182 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;\n\
00183 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;\n\
00184 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;\n\
00185 var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;\n\
00186 var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;\n\
00187 var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;\n\
00188 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;\n\
00189 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;\n\
00190 var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;\n\
00191 var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;\n\
00192 var bool: BOOL____00092 :: is_defined_var :: var_is_introduced;\n\
00193 var bool: BOOL____00093 :: is_defined_var :: var_is_introduced;\n\
00194 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;\n\
00195 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;\n\
00196 var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;\n\
00197 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;\n\
00198 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00199 var bool: BOOL____00099 :: is_defined_var :: var_is_introduced;\n\
00200 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;\n\
00201 var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;\n\
00202 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;\n\
00203 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;\n\
00204 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00205 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00206 var bool: BOOL____00106 :: is_defined_var :: var_is_introduced;\n\
00207 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00208 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00209 var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;\n\
00210 var bool: BOOL____00110 :: is_defined_var :: var_is_introduced;\n\
00211 var bool: BOOL____00111 :: is_defined_var :: var_is_introduced;\n\
00212 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;\n\
00213 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;\n\
00214 var bool: BOOL____00114 :: is_defined_var :: var_is_introduced;\n\
00215 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;\n\
00216 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;\n\
00217 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;\n\
00218 var bool: BOOL____00118 :: is_defined_var :: var_is_introduced;\n\
00219 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00220 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00221 var bool: BOOL____00121 :: is_defined_var :: var_is_introduced;\n\
00222 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;\n\
00223 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;\n\
00224 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;\n\
00225 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;\n\
00226 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;\n\
00227 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;\n\
00228 var bool: BOOL____00128 :: is_defined_var :: var_is_introduced;\n\
00229 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;\n\
00230 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00231 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;\n\
00232 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;\n\
00233 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00234 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00235 var bool: BOOL____00135 :: is_defined_var :: var_is_introduced;\n\
00236 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;\n\
00237 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00238 var bool: BOOL____00138 :: is_defined_var :: var_is_introduced;\n\
00239 var bool: BOOL____00139 :: is_defined_var :: var_is_introduced;\n\
00240 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;\n\
00241 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;\n\
00242 var bool: BOOL____00142 :: is_defined_var :: var_is_introduced;\n\
00243 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;\n\
00244 var bool: BOOL____00144 :: is_defined_var :: var_is_introduced;\n\
00245 var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;\n\
00246 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;\n"+
00247 "var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00248 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00249 var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;\n\
00250 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00251 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00252 var bool: BOOL____00152 :: is_defined_var :: var_is_introduced;\n\
00253 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00254 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00255 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;\n\
00256 var bool: BOOL____00156 :: is_defined_var :: var_is_introduced;\n\
00257 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;\n\
00258 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;\n\
00259 var bool: BOOL____00159 :: is_defined_var :: var_is_introduced;\n\
00260 var bool: BOOL____00160 :: is_defined_var :: var_is_introduced;\n\
00261 var bool: BOOL____00161 :: is_defined_var :: var_is_introduced;\n\
00262 var bool: BOOL____00162 :: is_defined_var :: var_is_introduced;\n\
00263 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;\n\
00264 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00265 var bool: BOOL____00165 :: is_defined_var :: var_is_introduced;\n\
00266 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;\n\
00267 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00268 var bool: BOOL____00168 :: is_defined_var :: var_is_introduced;\n\
00269 var bool: BOOL____00169 :: is_defined_var :: var_is_introduced;\n\
00270 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;\n\
00271 var bool: BOOL____00171 :: is_defined_var :: var_is_introduced;\n\
00272 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;\n\
00273 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;\n\
00274 var bool: BOOL____00174 :: is_defined_var :: var_is_introduced;\n\
00275 var bool: BOOL____00175 :: is_defined_var :: var_is_introduced;\n\
00276 var bool: BOOL____00176 :: is_defined_var :: var_is_introduced;\n\
00277 var bool: BOOL____00177 :: is_defined_var :: var_is_introduced;\n\
00278 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;\n\
00279 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;\n\
00280 var bool: BOOL____00180 :: is_defined_var :: var_is_introduced;\n\
00281 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00282 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00283 var bool: BOOL____00183 :: is_defined_var :: var_is_introduced;\n\
00284 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;\n\
00285 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;\n\
00286 var bool: BOOL____00186 :: is_defined_var :: var_is_introduced;\n\
00287 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;\n\
00288 var bool: BOOL____00188 :: is_defined_var :: var_is_introduced;\n\
00289 var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;\n\
00290 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;\n\
00291 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;\n\
00292 var bool: BOOL____00192 :: is_defined_var :: var_is_introduced;\n\
00293 var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;\n\
00294 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;\n\
00295 var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;\n\
00296 var bool: BOOL____00196 :: is_defined_var :: var_is_introduced;\n\
00297 var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;\n\
00298 var bool: BOOL____00198 :: is_defined_var :: var_is_introduced;\n\
00299 var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;\n\
00300 var bool: BOOL____00200 :: is_defined_var :: var_is_introduced;\n\
00301 var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;\n\
00302 var bool: BOOL____00202 :: is_defined_var :: var_is_introduced;\n\
00303 var bool: BOOL____00203 :: is_defined_var :: var_is_introduced;\n\
00304 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;\n\
00305 var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;\n\
00306 var bool: BOOL____00206 :: is_defined_var :: var_is_introduced;\n\
00307 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;\n\
00308 var bool: BOOL____00208 :: is_defined_var :: var_is_introduced;\n\
00309 var bool: BOOL____00209 :: is_defined_var :: var_is_introduced;\n\
00310 var bool: BOOL____00210 :: is_defined_var :: var_is_introduced;\n\
00311 var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;\n\
00312 var bool: BOOL____00212 :: is_defined_var :: var_is_introduced;\n\
00313 var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;\n\
00314 var bool: BOOL____00214 :: is_defined_var :: var_is_introduced;\n\
00315 var bool: BOOL____00215 :: is_defined_var :: var_is_introduced;\n\
00316 var bool: BOOL____00216 :: is_defined_var :: var_is_introduced;\n\
00317 var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;\n\
00318 var bool: BOOL____00218 :: is_defined_var :: var_is_introduced;\n\
00319 var bool: BOOL____00219 :: is_defined_var :: var_is_introduced;\n\
00320 var bool: BOOL____00220 :: is_defined_var :: var_is_introduced;\n\
00321 var bool: BOOL____00221 :: is_defined_var :: var_is_introduced;\n\
00322 var bool: BOOL____00222 :: is_defined_var :: var_is_introduced;\n\
00323 var bool: BOOL____00223 :: is_defined_var :: var_is_introduced;\n\
00324 var bool: BOOL____00224 :: is_defined_var :: var_is_introduced;\n\
00325 var bool: BOOL____00225 :: is_defined_var :: var_is_introduced;\n\
00326 var bool: BOOL____00226 :: is_defined_var :: var_is_introduced;\n\
00327 var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;\n\
00328 var bool: BOOL____00228 :: is_defined_var :: var_is_introduced;\n\
00329 var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;\n\
00330 var bool: BOOL____00230 :: is_defined_var :: var_is_introduced;\n\
00331 var bool: BOOL____00231 :: is_defined_var :: var_is_introduced;\n\
00332 var bool: BOOL____00232 :: is_defined_var :: var_is_introduced;\n\
00333 var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;\n\
00334 var bool: BOOL____00234 :: is_defined_var :: var_is_introduced;\n\
00335 var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;\n\
00336 var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;\n\
00337 var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;\n\
00338 var bool: BOOL____00238 :: is_defined_var :: var_is_introduced;\n\
00339 var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;\n\
00340 var bool: BOOL____00240 :: is_defined_var :: var_is_introduced;\n\
00341 var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;\n\
00342 var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;\n\
00343 var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;\n\
00344 var bool: BOOL____00244 :: is_defined_var :: var_is_introduced;\n\
00345 var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;\n\
00346 var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;\n\
00347 var bool: BOOL____00247 :: is_defined_var :: var_is_introduced;\n\
00348 var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;\n\
00349 var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;\n\
00350 var bool: BOOL____00250 :: is_defined_var :: var_is_introduced;\n\
00351 var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;\n\
00352 var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;\n\
00353 var bool: BOOL____00253 :: is_defined_var :: var_is_introduced;\n\
00354 var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;\n\
00355 var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;\n\
00356 var bool: BOOL____00256 :: is_defined_var :: var_is_introduced;\n\
00357 var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;\n\
00358 var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;\n\
00359 var bool: BOOL____00259 :: is_defined_var :: var_is_introduced;\n\
00360 var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;\n\
00361 var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;\n\
00362 var bool: BOOL____00262 :: is_defined_var :: var_is_introduced;\n\
00363 var bool: BOOL____00263 :: is_defined_var :: var_is_introduced;\n\
00364 var bool: BOOL____00264 :: is_defined_var :: var_is_introduced;\n\
00365 var bool: BOOL____00265 :: is_defined_var :: var_is_introduced;\n\
00366 var bool: BOOL____00266 :: is_defined_var :: var_is_introduced;\n\
00367 var bool: BOOL____00267 :: is_defined_var :: var_is_introduced;\n\
00368 var bool: BOOL____00268 :: is_defined_var :: var_is_introduced;\n\
00369 var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;\n\
00370 var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;\n\
00371 var bool: BOOL____00271 :: is_defined_var :: var_is_introduced;\n\
00372 var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;\n\
00373 var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;\n\
00374 var bool: BOOL____00274 :: is_defined_var :: var_is_introduced;\n\
00375 var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;\n\
00376 var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;\n\
00377 var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;\n\
00378 var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;\n\
00379 var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;\n\
00380 var bool: BOOL____00280 :: is_defined_var :: var_is_introduced;\n\
00381 var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;\n\
00382 var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;\n\
00383 var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;\n\
00384 var bool: BOOL____00284 :: is_defined_var :: var_is_introduced;\n\
00385 var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;\n\
00386 var bool: BOOL____00286 :: is_defined_var :: var_is_introduced;\n\
00387 var bool: BOOL____00287 :: is_defined_var :: var_is_introduced;\n\
00388 var bool: BOOL____00288 :: is_defined_var :: var_is_introduced;\n\
00389 var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;\n\
00390 var bool: BOOL____00290 :: is_defined_var :: var_is_introduced;\n\
00391 var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;\n\
00392 var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;\n\
00393 var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;\n\
00394 var bool: BOOL____00294 :: is_defined_var :: var_is_introduced;\n\
00395 var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;\n\
00396 var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;\n\
00397 var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;\n\
00398 var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;\n\
00399 var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;\n\
00400 var bool: BOOL____00300 :: is_defined_var :: var_is_introduced;\n\
00401 var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;\n"+
00402 "var bool: BOOL____00302 :: is_defined_var :: var_is_introduced;\n\
00403 var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;\n\
00404 var bool: BOOL____00304 :: is_defined_var :: var_is_introduced;\n\
00405 var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;\n\
00406 var bool: BOOL____00306 :: is_defined_var :: var_is_introduced;\n\
00407 var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;\n\
00408 var bool: BOOL____00308 :: is_defined_var :: var_is_introduced;\n\
00409 var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;\n\
00410 var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;\n\
00411 var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;\n\
00412 var bool: BOOL____00312 :: is_defined_var :: var_is_introduced;\n\
00413 var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;\n\
00414 var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;\n\
00415 var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;\n\
00416 var bool: BOOL____00316 :: is_defined_var :: var_is_introduced;\n\
00417 var bool: BOOL____00317 :: is_defined_var :: var_is_introduced;\n\
00418 var bool: BOOL____00318 :: is_defined_var :: var_is_introduced;\n\
00419 var bool: BOOL____00319 :: is_defined_var :: var_is_introduced;\n\
00420 var bool: BOOL____00320 :: is_defined_var :: var_is_introduced;\n\
00421 var bool: BOOL____00321 :: is_defined_var :: var_is_introduced;\n\
00422 var bool: BOOL____00322 :: is_defined_var :: var_is_introduced;\n\
00423 var bool: BOOL____00323 :: is_defined_var :: var_is_introduced;\n\
00424 var bool: BOOL____00324 :: is_defined_var :: var_is_introduced;\n\
00425 var bool: BOOL____00325 :: is_defined_var :: var_is_introduced;\n\
00426 var bool: BOOL____00326 :: is_defined_var :: var_is_introduced;\n\
00427 var bool: BOOL____00327 :: is_defined_var :: var_is_introduced;\n\
00428 var bool: BOOL____00328 :: is_defined_var :: var_is_introduced;\n\
00429 var bool: BOOL____00329 :: is_defined_var :: var_is_introduced;\n\
00430 var bool: BOOL____00330 :: is_defined_var :: var_is_introduced;\n\
00431 var bool: BOOL____00331 :: is_defined_var :: var_is_introduced;\n\
00432 var bool: BOOL____00332 :: is_defined_var :: var_is_introduced;\n\
00433 var bool: BOOL____00333 :: is_defined_var :: var_is_introduced;\n\
00434 var bool: BOOL____00334 :: is_defined_var :: var_is_introduced;\n\
00435 var bool: BOOL____00335 :: is_defined_var :: var_is_introduced;\n\
00436 var bool: BOOL____00336 :: is_defined_var :: var_is_introduced;\n\
00437 var bool: BOOL____00337 :: is_defined_var :: var_is_introduced;\n\
00438 var bool: BOOL____00338 :: is_defined_var :: var_is_introduced;\n\
00439 var bool: BOOL____00339 :: is_defined_var :: var_is_introduced;\n\
00440 var bool: BOOL____00340 :: is_defined_var :: var_is_introduced;\n\
00441 var bool: BOOL____00341 :: is_defined_var :: var_is_introduced;\n\
00442 var bool: BOOL____00342 :: is_defined_var :: var_is_introduced;\n\
00443 var bool: BOOL____00343 :: is_defined_var :: var_is_introduced;\n\
00444 var bool: BOOL____00344 :: is_defined_var :: var_is_introduced;\n\
00445 var bool: BOOL____00345 :: is_defined_var :: var_is_introduced;\n\
00446 var bool: BOOL____00346 :: is_defined_var :: var_is_introduced;\n\
00447 var bool: BOOL____00347 :: is_defined_var :: var_is_introduced;\n\
00448 var bool: BOOL____00348 :: is_defined_var :: var_is_introduced;\n\
00449 var bool: BOOL____00349 :: is_defined_var :: var_is_introduced;\n\
00450 var bool: BOOL____00350 :: is_defined_var :: var_is_introduced;\n\
00451 array [1..30] of var -5..5: on :: output_array([1..6, 1..5]);\n\
00452 constraint all_different_int([on[1], on[2], on[3], on[4], on[5]]);\n\
00453 constraint all_different_int([on[6], on[7], on[8], on[9], on[10]]);\n\
00454 constraint all_different_int([on[11], on[12], on[13], on[14], on[15]]);\n\
00455 constraint all_different_int([on[16], on[17], on[18], on[19], on[20]]);\n\
00456 constraint all_different_int([on[21], on[22], on[23], on[24], on[25]]);\n\
00457 constraint all_different_int([on[26], on[27], on[28], on[29], on[30]]);\n\
00458 constraint array_bool_and([BOOL____00011, BOOL____00010, BOOL____00009, BOOL____00008, BOOL____00001], BOOL____00012) :: defines_var(BOOL____00012);\n\
00459 constraint array_bool_and([BOOL____00025, BOOL____00024, BOOL____00023, BOOL____00015, BOOL____00022], BOOL____00026) :: defines_var(BOOL____00026);\n\
00460 constraint array_bool_and([BOOL____00039, BOOL____00038, BOOL____00029, BOOL____00037, BOOL____00036], BOOL____00040) :: defines_var(BOOL____00040);\n\
00461 constraint array_bool_and([BOOL____00053, BOOL____00043, BOOL____00052, BOOL____00051, BOOL____00050], BOOL____00054) :: defines_var(BOOL____00054);\n\
00462 constraint array_bool_and([BOOL____00057, BOOL____00067, BOOL____00066, BOOL____00065, BOOL____00064], BOOL____00068) :: defines_var(BOOL____00068);\n\
00463 constraint array_bool_and([BOOL____00081, BOOL____00080, BOOL____00079, BOOL____00078, BOOL____00071], BOOL____00082) :: defines_var(BOOL____00082);\n\
00464 constraint array_bool_and([BOOL____00095, BOOL____00094, BOOL____00093, BOOL____00085, BOOL____00092], BOOL____00096) :: defines_var(BOOL____00096);\n\
00465 constraint array_bool_and([BOOL____00109, BOOL____00108, BOOL____00099, BOOL____00107, BOOL____00106], BOOL____00110) :: defines_var(BOOL____00110);\n\
00466 constraint array_bool_and([BOOL____00123, BOOL____00113, BOOL____00122, BOOL____00121, BOOL____00120], BOOL____00124) :: defines_var(BOOL____00124);\n\
00467 constraint array_bool_and([BOOL____00127, BOOL____00137, BOOL____00136, BOOL____00135, BOOL____00134], BOOL____00138) :: defines_var(BOOL____00138);\n\
00468 constraint array_bool_and([BOOL____00151, BOOL____00150, BOOL____00149, BOOL____00148, BOOL____00141], BOOL____00152) :: defines_var(BOOL____00152);\n\
00469 constraint array_bool_and([BOOL____00165, BOOL____00164, BOOL____00163, BOOL____00155, BOOL____00162], BOOL____00166) :: defines_var(BOOL____00166);\n\
00470 constraint array_bool_and([BOOL____00179, BOOL____00178, BOOL____00169, BOOL____00177, BOOL____00176], BOOL____00180) :: defines_var(BOOL____00180);\n\
00471 constraint array_bool_and([BOOL____00193, BOOL____00183, BOOL____00192, BOOL____00191, BOOL____00190], BOOL____00194) :: defines_var(BOOL____00194);\n\
00472 constraint array_bool_and([BOOL____00197, BOOL____00207, BOOL____00206, BOOL____00205, BOOL____00204], BOOL____00208) :: defines_var(BOOL____00208);\n\
00473 constraint array_bool_and([BOOL____00221, BOOL____00220, BOOL____00219, BOOL____00218, BOOL____00211], BOOL____00222) :: defines_var(BOOL____00222);\n\
00474 constraint array_bool_and([BOOL____00235, BOOL____00234, BOOL____00233, BOOL____00225, BOOL____00232], BOOL____00236) :: defines_var(BOOL____00236);\n\
00475 constraint array_bool_and([BOOL____00249, BOOL____00248, BOOL____00239, BOOL____00247, BOOL____00246], BOOL____00250) :: defines_var(BOOL____00250);\n\
00476 constraint array_bool_and([BOOL____00263, BOOL____00253, BOOL____00262, BOOL____00261, BOOL____00260], BOOL____00264) :: defines_var(BOOL____00264);\n\
00477 constraint array_bool_and([BOOL____00267, BOOL____00277, BOOL____00276, BOOL____00275, BOOL____00274], BOOL____00278) :: defines_var(BOOL____00278);\n\
00478 constraint array_bool_and([BOOL____00291, BOOL____00290, BOOL____00289, BOOL____00288, BOOL____00281], BOOL____00292) :: defines_var(BOOL____00292);\n\
00479 constraint array_bool_and([BOOL____00305, BOOL____00304, BOOL____00303, BOOL____00295, BOOL____00302], BOOL____00306) :: defines_var(BOOL____00306);\n\
00480 constraint array_bool_and([BOOL____00319, BOOL____00318, BOOL____00309, BOOL____00317, BOOL____00316], BOOL____00320) :: defines_var(BOOL____00320);\n\
00481 constraint array_bool_and([BOOL____00333, BOOL____00323, BOOL____00332, BOOL____00331, BOOL____00330], BOOL____00334) :: defines_var(BOOL____00334);\n\
00482 constraint array_bool_and([BOOL____00337, BOOL____00347, BOOL____00346, BOOL____00345, BOOL____00344], BOOL____00348) :: defines_var(BOOL____00348);\n\
00483 constraint array_bool_and([BOOL____00013, BOOL____00006, BOOL____00005, BOOL____00004, BOOL____00003, BOOL____00002], BOOL____00014) :: defines_var(BOOL____00014);\n\
00484 constraint array_bool_and([BOOL____00027, BOOL____00020, BOOL____00019, BOOL____00018, BOOL____00017, BOOL____00016], BOOL____00028) :: defines_var(BOOL____00028);\n\
00485 constraint array_bool_and([BOOL____00041, BOOL____00034, BOOL____00033, BOOL____00032, BOOL____00031, BOOL____00030], BOOL____00042) :: defines_var(BOOL____00042);\n\
00486 constraint array_bool_and([BOOL____00055, BOOL____00048, BOOL____00047, BOOL____00046, BOOL____00045, BOOL____00044], BOOL____00056) :: defines_var(BOOL____00056);\n\
00487 constraint array_bool_and([BOOL____00069, BOOL____00062, BOOL____00061, BOOL____00060, BOOL____00059, BOOL____00058], BOOL____00070) :: defines_var(BOOL____00070);\n\
00488 constraint array_bool_and([BOOL____00083, BOOL____00076, BOOL____00075, BOOL____00074, BOOL____00073, BOOL____00072], BOOL____00084) :: defines_var(BOOL____00084);\n\
00489 constraint array_bool_and([BOOL____00097, BOOL____00090, BOOL____00089, BOOL____00088, BOOL____00087, BOOL____00086], BOOL____00098) :: defines_var(BOOL____00098);\n\
00490 constraint array_bool_and([BOOL____00111, BOOL____00104, BOOL____00103, BOOL____00102, BOOL____00101, BOOL____00100], BOOL____00112) :: defines_var(BOOL____00112);\n\
00491 constraint array_bool_and([BOOL____00125, BOOL____00118, BOOL____00117, BOOL____00116, BOOL____00115, BOOL____00114], BOOL____00126) :: defines_var(BOOL____00126);\n\
00492 constraint array_bool_and([BOOL____00139, BOOL____00132, BOOL____00131, BOOL____00130, BOOL____00129, BOOL____00128], BOOL____00140) :: defines_var(BOOL____00140);\n\
00493 constraint array_bool_and([BOOL____00153, BOOL____00146, BOOL____00145, BOOL____00144, BOOL____00143, BOOL____00142], BOOL____00154) :: defines_var(BOOL____00154);\n\
00494 constraint array_bool_and([BOOL____00167, BOOL____00160, BOOL____00159, BOOL____00158, BOOL____00157, BOOL____00156], BOOL____00168) :: defines_var(BOOL____00168);\n\
00495 constraint array_bool_and([BOOL____00181, BOOL____00174, BOOL____00173, BOOL____00172, BOOL____00171, BOOL____00170], BOOL____00182) :: defines_var(BOOL____00182);\n\
00496 constraint array_bool_and([BOOL____00195, BOOL____00188, BOOL____00187, BOOL____00186, BOOL____00185, BOOL____00184], BOOL____00196) :: defines_var(BOOL____00196);\n\
00497 constraint array_bool_and([BOOL____00209, BOOL____00202, BOOL____00201, BOOL____00200, BOOL____00199, BOOL____00198], BOOL____00210) :: defines_var(BOOL____00210);\n\
00498 constraint array_bool_and([BOOL____00223, BOOL____00216, BOOL____00215, BOOL____00214, BOOL____00213, BOOL____00212], BOOL____00224) :: defines_var(BOOL____00224);\n\
00499 constraint array_bool_and([BOOL____00237, BOOL____00230, BOOL____00229, BOOL____00228, BOOL____00227, BOOL____00226], BOOL____00238) :: defines_var(BOOL____00238);\n\
00500 constraint array_bool_and([BOOL____00251, BOOL____00244, BOOL____00243, BOOL____00242, BOOL____00241, BOOL____00240], BOOL____00252) :: defines_var(BOOL____00252);\n\
00501 constraint array_bool_and([BOOL____00265, BOOL____00258, BOOL____00257, BOOL____00256, BOOL____00255, BOOL____00254], BOOL____00266) :: defines_var(BOOL____00266);\n\
00502 constraint array_bool_and([BOOL____00279, BOOL____00272, BOOL____00271, BOOL____00270, BOOL____00269, BOOL____00268], BOOL____00280) :: defines_var(BOOL____00280);\n\
00503 constraint array_bool_and([BOOL____00293, BOOL____00286, BOOL____00285, BOOL____00284, BOOL____00283, BOOL____00282], BOOL____00294) :: defines_var(BOOL____00294);\n\
00504 constraint array_bool_and([BOOL____00307, BOOL____00300, BOOL____00299, BOOL____00298, BOOL____00297, BOOL____00296], BOOL____00308) :: defines_var(BOOL____00308);\n\
00505 constraint array_bool_and([BOOL____00321, BOOL____00314, BOOL____00313, BOOL____00312, BOOL____00311, BOOL____00310], BOOL____00322) :: defines_var(BOOL____00322);\n\
00506 constraint array_bool_and([BOOL____00335, BOOL____00328, BOOL____00327, BOOL____00326, BOOL____00325, BOOL____00324], BOOL____00336) :: defines_var(BOOL____00336);\n\
00507 constraint array_bool_and([BOOL____00349, BOOL____00342, BOOL____00341, BOOL____00340, BOOL____00339, BOOL____00338], BOOL____00350) :: defines_var(BOOL____00350);\n\
00508 constraint array_bool_or([BOOL____00012, BOOL____00007], BOOL____00013) :: defines_var(BOOL____00013);\n\
00509 constraint array_bool_or([BOOL____00026, BOOL____00021], BOOL____00027) :: defines_var(BOOL____00027);\n\
00510 constraint array_bool_or([BOOL____00040, BOOL____00035], BOOL____00041) :: defines_var(BOOL____00041);\n\
00511 constraint array_bool_or([BOOL____00054, BOOL____00049], BOOL____00055) :: defines_var(BOOL____00055);\n\
00512 constraint array_bool_or([BOOL____00068, BOOL____00063], BOOL____00069) :: defines_var(BOOL____00069);\n\
00513 constraint array_bool_or([BOOL____00082, BOOL____00077], BOOL____00083) :: defines_var(BOOL____00083);\n\
00514 constraint array_bool_or([BOOL____00096, BOOL____00091], BOOL____00097) :: defines_var(BOOL____00097);\n\
00515 constraint array_bool_or([BOOL____00110, BOOL____00105], BOOL____00111) :: defines_var(BOOL____00111);\n\
00516 constraint array_bool_or([BOOL____00124, BOOL____00119], BOOL____00125) :: defines_var(BOOL____00125);\n\
00517 constraint array_bool_or([BOOL____00138, BOOL____00133], BOOL____00139) :: defines_var(BOOL____00139);\n\
00518 constraint array_bool_or([BOOL____00152, BOOL____00147], BOOL____00153) :: defines_var(BOOL____00153);\n\
00519 constraint array_bool_or([BOOL____00166, BOOL____00161], BOOL____00167) :: defines_var(BOOL____00167);\n\
00520 constraint array_bool_or([BOOL____00180, BOOL____00175], BOOL____00181) :: defines_var(BOOL____00181);\n\
00521 constraint array_bool_or([BOOL____00194, BOOL____00189], BOOL____00195) :: defines_var(BOOL____00195);\n\
00522 constraint array_bool_or([BOOL____00208, BOOL____00203], BOOL____00209) :: defines_var(BOOL____00209);\n\
00523 constraint array_bool_or([BOOL____00222, BOOL____00217], BOOL____00223) :: defines_var(BOOL____00223);\n\
00524 constraint array_bool_or([BOOL____00236, BOOL____00231], BOOL____00237) :: defines_var(BOOL____00237);\n\
00525 constraint array_bool_or([BOOL____00250, BOOL____00245], BOOL____00251) :: defines_var(BOOL____00251);\n\
00526 constraint array_bool_or([BOOL____00264, BOOL____00259], BOOL____00265) :: defines_var(BOOL____00265);\n\
00527 constraint array_bool_or([BOOL____00278, BOOL____00273], BOOL____00279) :: defines_var(BOOL____00279);\n\
00528 constraint array_bool_or([BOOL____00292, BOOL____00287], BOOL____00293) :: defines_var(BOOL____00293);\n\
00529 constraint array_bool_or([BOOL____00306, BOOL____00301], BOOL____00307) :: defines_var(BOOL____00307);\n\
00530 constraint array_bool_or([BOOL____00320, BOOL____00315], BOOL____00321) :: defines_var(BOOL____00321);\n\
00531 constraint array_bool_or([BOOL____00334, BOOL____00329], BOOL____00335) :: defines_var(BOOL____00335);\n\
00532 constraint array_bool_or([BOOL____00348, BOOL____00343], BOOL____00349) :: defines_var(BOOL____00349);\n"+
00533 "constraint bool_le(BOOL____00001, BOOL____00014);\n\
00534 constraint bool_le(BOOL____00015, BOOL____00028);\n\
00535 constraint bool_le(BOOL____00029, BOOL____00042);\n\
00536 constraint bool_le(BOOL____00043, BOOL____00056);\n\
00537 constraint bool_le(BOOL____00057, BOOL____00070);\n\
00538 constraint bool_le(BOOL____00071, BOOL____00084);\n\
00539 constraint bool_le(BOOL____00085, BOOL____00098);\n\
00540 constraint bool_le(BOOL____00099, BOOL____00112);\n\
00541 constraint bool_le(BOOL____00113, BOOL____00126);\n\
00542 constraint bool_le(BOOL____00127, BOOL____00140);\n\
00543 constraint bool_le(BOOL____00141, BOOL____00154);\n\
00544 constraint bool_le(BOOL____00155, BOOL____00168);\n\
00545 constraint bool_le(BOOL____00169, BOOL____00182);\n\
00546 constraint bool_le(BOOL____00183, BOOL____00196);\n\
00547 constraint bool_le(BOOL____00197, BOOL____00210);\n\
00548 constraint bool_le(BOOL____00211, BOOL____00224);\n\
00549 constraint bool_le(BOOL____00225, BOOL____00238);\n\
00550 constraint bool_le(BOOL____00239, BOOL____00252);\n\
00551 constraint bool_le(BOOL____00253, BOOL____00266);\n\
00552 constraint bool_le(BOOL____00267, BOOL____00280);\n\
00553 constraint bool_le(BOOL____00281, BOOL____00294);\n\
00554 constraint bool_le(BOOL____00295, BOOL____00308);\n\
00555 constraint bool_le(BOOL____00309, BOOL____00322);\n\
00556 constraint bool_le(BOOL____00323, BOOL____00336);\n\
00557 constraint bool_le(BOOL____00337, BOOL____00350);\n\
00558 constraint int_eq(on[1], -1);\n\
00559 constraint int_eq(on[2], 1);\n\
00560 constraint int_eq(on[3], 2);\n\
00561 constraint int_eq(on[4], 3);\n\
00562 constraint int_eq(on[5], 4);\n\
00563 constraint int_eq(on[26], 2);\n\
00564 constraint int_eq(on[27], 3);\n\
00565 constraint int_eq(on[28], 4);\n\
00566 constraint int_eq(on[29], 5);\n\
00567 constraint int_eq(on[30], -5);\n\
00568 constraint int_lt_reif(on[6], 0, BOOL____00007) :: defines_var(BOOL____00007);\n\
00569 constraint int_lt_reif(on[7], 0, BOOL____00021) :: defines_var(BOOL____00021);\n\
00570 constraint int_lt_reif(on[8], 0, BOOL____00035) :: defines_var(BOOL____00035);\n\
00571 constraint int_lt_reif(on[9], 0, BOOL____00049) :: defines_var(BOOL____00049);\n\
00572 constraint int_lt_reif(on[10], 0, BOOL____00063) :: defines_var(BOOL____00063);\n\
00573 constraint int_lt_reif(on[11], 0, BOOL____00077) :: defines_var(BOOL____00077);\n\
00574 constraint int_lt_reif(on[12], 0, BOOL____00091) :: defines_var(BOOL____00091);\n\
00575 constraint int_lt_reif(on[13], 0, BOOL____00105) :: defines_var(BOOL____00105);\n\
00576 constraint int_lt_reif(on[14], 0, BOOL____00119) :: defines_var(BOOL____00119);\n\
00577 constraint int_lt_reif(on[15], 0, BOOL____00133) :: defines_var(BOOL____00133);\n\
00578 constraint int_lt_reif(on[16], 0, BOOL____00147) :: defines_var(BOOL____00147);\n\
00579 constraint int_lt_reif(on[17], 0, BOOL____00161) :: defines_var(BOOL____00161);\n\
00580 constraint int_lt_reif(on[18], 0, BOOL____00175) :: defines_var(BOOL____00175);\n\
00581 constraint int_lt_reif(on[19], 0, BOOL____00189) :: defines_var(BOOL____00189);\n\
00582 constraint int_lt_reif(on[20], 0, BOOL____00203) :: defines_var(BOOL____00203);\n\
00583 constraint int_lt_reif(on[21], 0, BOOL____00217) :: defines_var(BOOL____00217);\n\
00584 constraint int_lt_reif(on[22], 0, BOOL____00231) :: defines_var(BOOL____00231);\n\
00585 constraint int_lt_reif(on[23], 0, BOOL____00245) :: defines_var(BOOL____00245);\n\
00586 constraint int_lt_reif(on[24], 0, BOOL____00259) :: defines_var(BOOL____00259);\n\
00587 constraint int_lt_reif(on[25], 0, BOOL____00273) :: defines_var(BOOL____00273);\n\
00588 constraint int_lt_reif(on[26], 0, BOOL____00287) :: defines_var(BOOL____00287);\n\
00589 constraint int_lt_reif(on[27], 0, BOOL____00301) :: defines_var(BOOL____00301);\n\
00590 constraint int_lt_reif(on[28], 0, BOOL____00315) :: defines_var(BOOL____00315);\n\
00591 constraint int_lt_reif(on[29], 0, BOOL____00329) :: defines_var(BOOL____00329);\n\
00592 constraint int_lt_reif(on[30], 0, BOOL____00343) :: defines_var(BOOL____00343);\n\
00593 constraint int_ne_reif(on[1], 1, BOOL____00002) :: defines_var(BOOL____00002);\n\
00594 constraint int_ne_reif(on[1], 2, BOOL____00016) :: defines_var(BOOL____00016);\n\
00595 constraint int_ne_reif(on[1], 3, BOOL____00030) :: defines_var(BOOL____00030);\n\
00596 constraint int_ne_reif(on[1], 4, BOOL____00044) :: defines_var(BOOL____00044);\n\
00597 constraint int_ne_reif(on[1], 5, BOOL____00058) :: defines_var(BOOL____00058);\n\
00598 constraint int_ne_reif(on[1], on[6], BOOL____00001) :: defines_var(BOOL____00001);\n\
00599 constraint int_ne_reif(on[1], on[7], BOOL____00022) :: defines_var(BOOL____00022);\n\
00600 constraint int_ne_reif(on[1], on[8], BOOL____00036) :: defines_var(BOOL____00036);\n\
00601 constraint int_ne_reif(on[1], on[9], BOOL____00050) :: defines_var(BOOL____00050);\n\
00602 constraint int_ne_reif(on[1], on[10], BOOL____00064) :: defines_var(BOOL____00064);\n\
00603 constraint int_ne_reif(on[2], 1, BOOL____00003) :: defines_var(BOOL____00003);\n\
00604 constraint int_ne_reif(on[2], 2, BOOL____00017) :: defines_var(BOOL____00017);\n\
00605 constraint int_ne_reif(on[2], 3, BOOL____00031) :: defines_var(BOOL____00031);\n\
00606 constraint int_ne_reif(on[2], 4, BOOL____00045) :: defines_var(BOOL____00045);\n\
00607 constraint int_ne_reif(on[2], 5, BOOL____00059) :: defines_var(BOOL____00059);\n\
00608 constraint int_ne_reif(on[2], on[6], BOOL____00008) :: defines_var(BOOL____00008);\n\
00609 constraint int_ne_reif(on[2], on[7], BOOL____00015) :: defines_var(BOOL____00015);\n\
00610 constraint int_ne_reif(on[2], on[8], BOOL____00037) :: defines_var(BOOL____00037);\n\
00611 constraint int_ne_reif(on[2], on[9], BOOL____00051) :: defines_var(BOOL____00051);\n\
00612 constraint int_ne_reif(on[2], on[10], BOOL____00065) :: defines_var(BOOL____00065);\n\
00613 constraint int_ne_reif(on[3], 1, BOOL____00004) :: defines_var(BOOL____00004);\n\
00614 constraint int_ne_reif(on[3], 2, BOOL____00018) :: defines_var(BOOL____00018);\n\
00615 constraint int_ne_reif(on[3], 3, BOOL____00032) :: defines_var(BOOL____00032);\n\
00616 constraint int_ne_reif(on[3], 4, BOOL____00046) :: defines_var(BOOL____00046);\n\
00617 constraint int_ne_reif(on[3], 5, BOOL____00060) :: defines_var(BOOL____00060);\n\
00618 constraint int_ne_reif(on[3], on[6], BOOL____00009) :: defines_var(BOOL____00009);\n\
00619 constraint int_ne_reif(on[3], on[7], BOOL____00023) :: defines_var(BOOL____00023);\n\
00620 constraint int_ne_reif(on[3], on[8], BOOL____00029) :: defines_var(BOOL____00029);\n\
00621 constraint int_ne_reif(on[3], on[9], BOOL____00052) :: defines_var(BOOL____00052);\n\
00622 constraint int_ne_reif(on[3], on[10], BOOL____00066) :: defines_var(BOOL____00066);\n\
00623 constraint int_ne_reif(on[4], 1, BOOL____00005) :: defines_var(BOOL____00005);\n\
00624 constraint int_ne_reif(on[4], 2, BOOL____00019) :: defines_var(BOOL____00019);\n\
00625 constraint int_ne_reif(on[4], 3, BOOL____00033) :: defines_var(BOOL____00033);\n\
00626 constraint int_ne_reif(on[4], 4, BOOL____00047) :: defines_var(BOOL____00047);\n\
00627 constraint int_ne_reif(on[4], 5, BOOL____00061) :: defines_var(BOOL____00061);\n\
00628 constraint int_ne_reif(on[4], on[6], BOOL____00010) :: defines_var(BOOL____00010);\n\
00629 constraint int_ne_reif(on[4], on[7], BOOL____00024) :: defines_var(BOOL____00024);\n\
00630 constraint int_ne_reif(on[4], on[8], BOOL____00038) :: defines_var(BOOL____00038);\n\
00631 constraint int_ne_reif(on[4], on[9], BOOL____00043) :: defines_var(BOOL____00043);\n\
00632 constraint int_ne_reif(on[4], on[10], BOOL____00067) :: defines_var(BOOL____00067);\n\
00633 constraint int_ne_reif(on[5], 1, BOOL____00006) :: defines_var(BOOL____00006);\n\
00634 constraint int_ne_reif(on[5], 2, BOOL____00020) :: defines_var(BOOL____00020);\n\
00635 constraint int_ne_reif(on[5], 3, BOOL____00034) :: defines_var(BOOL____00034);\n\
00636 constraint int_ne_reif(on[5], 4, BOOL____00048) :: defines_var(BOOL____00048);\n\
00637 constraint int_ne_reif(on[5], 5, BOOL____00062) :: defines_var(BOOL____00062);\n\
00638 constraint int_ne_reif(on[5], on[6], BOOL____00011) :: defines_var(BOOL____00011);\n\
00639 constraint int_ne_reif(on[5], on[7], BOOL____00025) :: defines_var(BOOL____00025);\n\
00640 constraint int_ne_reif(on[5], on[8], BOOL____00039) :: defines_var(BOOL____00039);\n\
00641 constraint int_ne_reif(on[5], on[9], BOOL____00053) :: defines_var(BOOL____00053);\n\
00642 constraint int_ne_reif(on[5], on[10], BOOL____00057) :: defines_var(BOOL____00057);\n\
00643 constraint int_ne_reif(on[6], 1, BOOL____00072) :: defines_var(BOOL____00072);\n\
00644 constraint int_ne_reif(on[6], 2, BOOL____00086) :: defines_var(BOOL____00086);\n\
00645 constraint int_ne_reif(on[6], 3, BOOL____00100) :: defines_var(BOOL____00100);\n\
00646 constraint int_ne_reif(on[6], 4, BOOL____00114) :: defines_var(BOOL____00114);\n\
00647 constraint int_ne_reif(on[6], 5, BOOL____00128) :: defines_var(BOOL____00128);\n\
00648 constraint int_ne_reif(on[6], on[11], BOOL____00071) :: defines_var(BOOL____00071);\n\
00649 constraint int_ne_reif(on[6], on[12], BOOL____00092) :: defines_var(BOOL____00092);\n\
00650 constraint int_ne_reif(on[6], on[13], BOOL____00106) :: defines_var(BOOL____00106);\n\
00651 constraint int_ne_reif(on[6], on[14], BOOL____00120) :: defines_var(BOOL____00120);\n\
00652 constraint int_ne_reif(on[6], on[15], BOOL____00134) :: defines_var(BOOL____00134);\n\
00653 constraint int_ne_reif(on[7], 1, BOOL____00073) :: defines_var(BOOL____00073);\n\
00654 constraint int_ne_reif(on[7], 2, BOOL____00087) :: defines_var(BOOL____00087);\n\
00655 constraint int_ne_reif(on[7], 3, BOOL____00101) :: defines_var(BOOL____00101);\n\
00656 constraint int_ne_reif(on[7], 4, BOOL____00115) :: defines_var(BOOL____00115);\n\
00657 constraint int_ne_reif(on[7], 5, BOOL____00129) :: defines_var(BOOL____00129);\n\
00658 constraint int_ne_reif(on[7], on[11], BOOL____00078) :: defines_var(BOOL____00078);\n\
00659 constraint int_ne_reif(on[7], on[12], BOOL____00085) :: defines_var(BOOL____00085);\n\
00660 constraint int_ne_reif(on[7], on[13], BOOL____00107) :: defines_var(BOOL____00107);\n\
00661 constraint int_ne_reif(on[7], on[14], BOOL____00121) :: defines_var(BOOL____00121);\n\
00662 constraint int_ne_reif(on[7], on[15], BOOL____00135) :: defines_var(BOOL____00135);\n\
00663 constraint int_ne_reif(on[8], 1, BOOL____00074) :: defines_var(BOOL____00074);\n\
00664 constraint int_ne_reif(on[8], 2, BOOL____00088) :: defines_var(BOOL____00088);\n\
00665 constraint int_ne_reif(on[8], 3, BOOL____00102) :: defines_var(BOOL____00102);\n\
00666 constraint int_ne_reif(on[8], 4, BOOL____00116) :: defines_var(BOOL____00116);\n\
00667 constraint int_ne_reif(on[8], 5, BOOL____00130) :: defines_var(BOOL____00130);\n\
00668 constraint int_ne_reif(on[8], on[11], BOOL____00079) :: defines_var(BOOL____00079);\n\
00669 constraint int_ne_reif(on[8], on[12], BOOL____00093) :: defines_var(BOOL____00093);\n\
00670 constraint int_ne_reif(on[8], on[13], BOOL____00099) :: defines_var(BOOL____00099);\n\
00671 constraint int_ne_reif(on[8], on[14], BOOL____00122) :: defines_var(BOOL____00122);\n\
00672 constraint int_ne_reif(on[8], on[15], BOOL____00136) :: defines_var(BOOL____00136);\n\
00673 constraint int_ne_reif(on[9], 1, BOOL____00075) :: defines_var(BOOL____00075);\n\
00674 constraint int_ne_reif(on[9], 2, BOOL____00089) :: defines_var(BOOL____00089);\n\
00675 constraint int_ne_reif(on[9], 3, BOOL____00103) :: defines_var(BOOL____00103);\n\
00676 constraint int_ne_reif(on[9], 4, BOOL____00117) :: defines_var(BOOL____00117);\n\
00677 constraint int_ne_reif(on[9], 5, BOOL____00131) :: defines_var(BOOL____00131);\n\
00678 constraint int_ne_reif(on[9], on[11], BOOL____00080) :: defines_var(BOOL____00080);\n\
00679 constraint int_ne_reif(on[9], on[12], BOOL____00094) :: defines_var(BOOL____00094);\n\
00680 constraint int_ne_reif(on[9], on[13], BOOL____00108) :: defines_var(BOOL____00108);\n\
00681 constraint int_ne_reif(on[9], on[14], BOOL____00113) :: defines_var(BOOL____00113);\n\
00682 constraint int_ne_reif(on[9], on[15], BOOL____00137) :: defines_var(BOOL____00137);\n\
00683 constraint int_ne_reif(on[10], 1, BOOL____00076) :: defines_var(BOOL____00076);\n\
00684 constraint int_ne_reif(on[10], 2, BOOL____00090) :: defines_var(BOOL____00090);\n\
00685 constraint int_ne_reif(on[10], 3, BOOL____00104) :: defines_var(BOOL____00104);\n\
00686 constraint int_ne_reif(on[10], 4, BOOL____00118) :: defines_var(BOOL____00118);\n\
00687 constraint int_ne_reif(on[10], 5, BOOL____00132) :: defines_var(BOOL____00132);\n\
00688 constraint int_ne_reif(on[10], on[11], BOOL____00081) :: defines_var(BOOL____00081);\n\
00689 constraint int_ne_reif(on[10], on[12], BOOL____00095) :: defines_var(BOOL____00095);\n\
00690 constraint int_ne_reif(on[10], on[13], BOOL____00109) :: defines_var(BOOL____00109);\n\
00691 constraint int_ne_reif(on[10], on[14], BOOL____00123) :: defines_var(BOOL____00123);\n\
00692 constraint int_ne_reif(on[10], on[15], BOOL____00127) :: defines_var(BOOL____00127);\n\
00693 constraint int_ne_reif(on[11], 1, BOOL____00142) :: defines_var(BOOL____00142);\n\
00694 constraint int_ne_reif(on[11], 2, BOOL____00156) :: defines_var(BOOL____00156);\n\
00695 constraint int_ne_reif(on[11], 3, BOOL____00170) :: defines_var(BOOL____00170);\n\
00696 constraint int_ne_reif(on[11], 4, BOOL____00184) :: defines_var(BOOL____00184);\n\
00697 constraint int_ne_reif(on[11], 5, BOOL____00198) :: defines_var(BOOL____00198);\n\
00698 constraint int_ne_reif(on[11], on[16], BOOL____00141) :: defines_var(BOOL____00141);\n\
00699 constraint int_ne_reif(on[11], on[17], BOOL____00162) :: defines_var(BOOL____00162);\n\
00700 constraint int_ne_reif(on[11], on[18], BOOL____00176) :: defines_var(BOOL____00176);\n\
00701 constraint int_ne_reif(on[11], on[19], BOOL____00190) :: defines_var(BOOL____00190);\n\
00702 constraint int_ne_reif(on[11], on[20], BOOL____00204) :: defines_var(BOOL____00204);\n\
00703 constraint int_ne_reif(on[12], 1, BOOL____00143) :: defines_var(BOOL____00143);\n\
00704 constraint int_ne_reif(on[12], 2, BOOL____00157) :: defines_var(BOOL____00157);\n\
00705 constraint int_ne_reif(on[12], 3, BOOL____00171) :: defines_var(BOOL____00171);\n\
00706 constraint int_ne_reif(on[12], 4, BOOL____00185) :: defines_var(BOOL____00185);\n\
00707 constraint int_ne_reif(on[12], 5, BOOL____00199) :: defines_var(BOOL____00199);\n\
00708 constraint int_ne_reif(on[12], on[16], BOOL____00148) :: defines_var(BOOL____00148);\n\
00709 constraint int_ne_reif(on[12], on[17], BOOL____00155) :: defines_var(BOOL____00155);\n\
00710 constraint int_ne_reif(on[12], on[18], BOOL____00177) :: defines_var(BOOL____00177);\n\
00711 constraint int_ne_reif(on[12], on[19], BOOL____00191) :: defines_var(BOOL____00191);\n\
00712 constraint int_ne_reif(on[12], on[20], BOOL____00205) :: defines_var(BOOL____00205);\n\
00713 constraint int_ne_reif(on[13], 1, BOOL____00144) :: defines_var(BOOL____00144);\n\
00714 constraint int_ne_reif(on[13], 2, BOOL____00158) :: defines_var(BOOL____00158);\n\
00715 constraint int_ne_reif(on[13], 3, BOOL____00172) :: defines_var(BOOL____00172);\n\
00716 constraint int_ne_reif(on[13], 4, BOOL____00186) :: defines_var(BOOL____00186);\n\
00717 constraint int_ne_reif(on[13], 5, BOOL____00200) :: defines_var(BOOL____00200);\n\
00718 constraint int_ne_reif(on[13], on[16], BOOL____00149) :: defines_var(BOOL____00149);\n\
00719 constraint int_ne_reif(on[13], on[17], BOOL____00163) :: defines_var(BOOL____00163);\n\
00720 constraint int_ne_reif(on[13], on[18], BOOL____00169) :: defines_var(BOOL____00169);\n\
00721 constraint int_ne_reif(on[13], on[19], BOOL____00192) :: defines_var(BOOL____00192);\n\
00722 constraint int_ne_reif(on[13], on[20], BOOL____00206) :: defines_var(BOOL____00206);\n\
00723 constraint int_ne_reif(on[14], 1, BOOL____00145) :: defines_var(BOOL____00145);\n\
00724 constraint int_ne_reif(on[14], 2, BOOL____00159) :: defines_var(BOOL____00159);\n\
00725 constraint int_ne_reif(on[14], 3, BOOL____00173) :: defines_var(BOOL____00173);\n\
00726 constraint int_ne_reif(on[14], 4, BOOL____00187) :: defines_var(BOOL____00187);\n\
00727 constraint int_ne_reif(on[14], 5, BOOL____00201) :: defines_var(BOOL____00201);\n\
00728 constraint int_ne_reif(on[14], on[16], BOOL____00150) :: defines_var(BOOL____00150);\n\
00729 constraint int_ne_reif(on[14], on[17], BOOL____00164) :: defines_var(BOOL____00164);\n\
00730 constraint int_ne_reif(on[14], on[18], BOOL____00178) :: defines_var(BOOL____00178);\n\
00731 constraint int_ne_reif(on[14], on[19], BOOL____00183) :: defines_var(BOOL____00183);\n\
00732 constraint int_ne_reif(on[14], on[20], BOOL____00207) :: defines_var(BOOL____00207);\n\
00733 constraint int_ne_reif(on[15], 1, BOOL____00146) :: defines_var(BOOL____00146);\n\
00734 constraint int_ne_reif(on[15], 2, BOOL____00160) :: defines_var(BOOL____00160);\n\
00735 constraint int_ne_reif(on[15], 3, BOOL____00174) :: defines_var(BOOL____00174);\n\
00736 constraint int_ne_reif(on[15], 4, BOOL____00188) :: defines_var(BOOL____00188);\n\
00737 constraint int_ne_reif(on[15], 5, BOOL____00202) :: defines_var(BOOL____00202);\n\
00738 constraint int_ne_reif(on[15], on[16], BOOL____00151) :: defines_var(BOOL____00151);\n\
00739 constraint int_ne_reif(on[15], on[17], BOOL____00165) :: defines_var(BOOL____00165);\n\
00740 constraint int_ne_reif(on[15], on[18], BOOL____00179) :: defines_var(BOOL____00179);\n\
00741 constraint int_ne_reif(on[15], on[19], BOOL____00193) :: defines_var(BOOL____00193);\n\
00742 constraint int_ne_reif(on[15], on[20], BOOL____00197) :: defines_var(BOOL____00197);\n\
00743 constraint int_ne_reif(on[16], 1, BOOL____00212) :: defines_var(BOOL____00212);\n\
00744 constraint int_ne_reif(on[16], 2, BOOL____00226) :: defines_var(BOOL____00226);\n\
00745 constraint int_ne_reif(on[16], 3, BOOL____00240) :: defines_var(BOOL____00240);\n\
00746 constraint int_ne_reif(on[16], 4, BOOL____00254) :: defines_var(BOOL____00254);\n\
00747 constraint int_ne_reif(on[16], 5, BOOL____00268) :: defines_var(BOOL____00268);\n\
00748 constraint int_ne_reif(on[16], on[21], BOOL____00211) :: defines_var(BOOL____00211);\n\
00749 constraint int_ne_reif(on[16], on[22], BOOL____00232) :: defines_var(BOOL____00232);\n"+
00750 "constraint int_ne_reif(on[16], on[23], BOOL____00246) :: defines_var(BOOL____00246);\n\
00751 constraint int_ne_reif(on[16], on[24], BOOL____00260) :: defines_var(BOOL____00260);\n\
00752 constraint int_ne_reif(on[16], on[25], BOOL____00274) :: defines_var(BOOL____00274);\n\
00753 constraint int_ne_reif(on[17], 1, BOOL____00213) :: defines_var(BOOL____00213);\n\
00754 constraint int_ne_reif(on[17], 2, BOOL____00227) :: defines_var(BOOL____00227);\n\
00755 constraint int_ne_reif(on[17], 3, BOOL____00241) :: defines_var(BOOL____00241);\n\
00756 constraint int_ne_reif(on[17], 4, BOOL____00255) :: defines_var(BOOL____00255);\n\
00757 constraint int_ne_reif(on[17], 5, BOOL____00269) :: defines_var(BOOL____00269);\n\
00758 constraint int_ne_reif(on[17], on[21], BOOL____00218) :: defines_var(BOOL____00218);\n\
00759 constraint int_ne_reif(on[17], on[22], BOOL____00225) :: defines_var(BOOL____00225);\n\
00760 constraint int_ne_reif(on[17], on[23], BOOL____00247) :: defines_var(BOOL____00247);\n\
00761 constraint int_ne_reif(on[17], on[24], BOOL____00261) :: defines_var(BOOL____00261);\n\
00762 constraint int_ne_reif(on[17], on[25], BOOL____00275) :: defines_var(BOOL____00275);\n\
00763 constraint int_ne_reif(on[18], 1, BOOL____00214) :: defines_var(BOOL____00214);\n\
00764 constraint int_ne_reif(on[18], 2, BOOL____00228) :: defines_var(BOOL____00228);\n\
00765 constraint int_ne_reif(on[18], 3, BOOL____00242) :: defines_var(BOOL____00242);\n\
00766 constraint int_ne_reif(on[18], 4, BOOL____00256) :: defines_var(BOOL____00256);\n\
00767 constraint int_ne_reif(on[18], 5, BOOL____00270) :: defines_var(BOOL____00270);\n\
00768 constraint int_ne_reif(on[18], on[21], BOOL____00219) :: defines_var(BOOL____00219);\n\
00769 constraint int_ne_reif(on[18], on[22], BOOL____00233) :: defines_var(BOOL____00233);\n\
00770 constraint int_ne_reif(on[18], on[23], BOOL____00239) :: defines_var(BOOL____00239);\n\
00771 constraint int_ne_reif(on[18], on[24], BOOL____00262) :: defines_var(BOOL____00262);\n\
00772 constraint int_ne_reif(on[18], on[25], BOOL____00276) :: defines_var(BOOL____00276);\n\
00773 constraint int_ne_reif(on[19], 1, BOOL____00215) :: defines_var(BOOL____00215);\n\
00774 constraint int_ne_reif(on[19], 2, BOOL____00229) :: defines_var(BOOL____00229);\n\
00775 constraint int_ne_reif(on[19], 3, BOOL____00243) :: defines_var(BOOL____00243);\n\
00776 constraint int_ne_reif(on[19], 4, BOOL____00257) :: defines_var(BOOL____00257);\n\
00777 constraint int_ne_reif(on[19], 5, BOOL____00271) :: defines_var(BOOL____00271);\n\
00778 constraint int_ne_reif(on[19], on[21], BOOL____00220) :: defines_var(BOOL____00220);\n\
00779 constraint int_ne_reif(on[19], on[22], BOOL____00234) :: defines_var(BOOL____00234);\n\
00780 constraint int_ne_reif(on[19], on[23], BOOL____00248) :: defines_var(BOOL____00248);\n\
00781 constraint int_ne_reif(on[19], on[24], BOOL____00253) :: defines_var(BOOL____00253);\n\
00782 constraint int_ne_reif(on[19], on[25], BOOL____00277) :: defines_var(BOOL____00277);\n\
00783 constraint int_ne_reif(on[20], 1, BOOL____00216) :: defines_var(BOOL____00216);\n\
00784 constraint int_ne_reif(on[20], 2, BOOL____00230) :: defines_var(BOOL____00230);\n\
00785 constraint int_ne_reif(on[20], 3, BOOL____00244) :: defines_var(BOOL____00244);\n\
00786 constraint int_ne_reif(on[20], 4, BOOL____00258) :: defines_var(BOOL____00258);\n\
00787 constraint int_ne_reif(on[20], 5, BOOL____00272) :: defines_var(BOOL____00272);\n\
00788 constraint int_ne_reif(on[20], on[21], BOOL____00221) :: defines_var(BOOL____00221);\n\
00789 constraint int_ne_reif(on[20], on[22], BOOL____00235) :: defines_var(BOOL____00235);\n\
00790 constraint int_ne_reif(on[20], on[23], BOOL____00249) :: defines_var(BOOL____00249);\n\
00791 constraint int_ne_reif(on[20], on[24], BOOL____00263) :: defines_var(BOOL____00263);\n\
00792 constraint int_ne_reif(on[20], on[25], BOOL____00267) :: defines_var(BOOL____00267);\n\
00793 constraint int_ne_reif(on[21], 1, BOOL____00282) :: defines_var(BOOL____00282);\n\
00794 constraint int_ne_reif(on[21], 2, BOOL____00296) :: defines_var(BOOL____00296);\n\
00795 constraint int_ne_reif(on[21], 3, BOOL____00310) :: defines_var(BOOL____00310);\n\
00796 constraint int_ne_reif(on[21], 4, BOOL____00324) :: defines_var(BOOL____00324);\n\
00797 constraint int_ne_reif(on[21], 5, BOOL____00338) :: defines_var(BOOL____00338);\n\
00798 constraint int_ne_reif(on[21], on[26], BOOL____00281) :: defines_var(BOOL____00281);\n\
00799 constraint int_ne_reif(on[21], on[27], BOOL____00302) :: defines_var(BOOL____00302);\n\
00800 constraint int_ne_reif(on[21], on[28], BOOL____00316) :: defines_var(BOOL____00316);\n\
00801 constraint int_ne_reif(on[21], on[29], BOOL____00330) :: defines_var(BOOL____00330);\n\
00802 constraint int_ne_reif(on[21], on[30], BOOL____00344) :: defines_var(BOOL____00344);\n\
00803 constraint int_ne_reif(on[22], 1, BOOL____00283) :: defines_var(BOOL____00283);\n\
00804 constraint int_ne_reif(on[22], 2, BOOL____00297) :: defines_var(BOOL____00297);\n\
00805 constraint int_ne_reif(on[22], 3, BOOL____00311) :: defines_var(BOOL____00311);\n\
00806 constraint int_ne_reif(on[22], 4, BOOL____00325) :: defines_var(BOOL____00325);\n\
00807 constraint int_ne_reif(on[22], 5, BOOL____00339) :: defines_var(BOOL____00339);\n\
00808 constraint int_ne_reif(on[22], on[26], BOOL____00288) :: defines_var(BOOL____00288);\n\
00809 constraint int_ne_reif(on[22], on[27], BOOL____00295) :: defines_var(BOOL____00295);\n\
00810 constraint int_ne_reif(on[22], on[28], BOOL____00317) :: defines_var(BOOL____00317);\n\
00811 constraint int_ne_reif(on[22], on[29], BOOL____00331) :: defines_var(BOOL____00331);\n\
00812 constraint int_ne_reif(on[22], on[30], BOOL____00345) :: defines_var(BOOL____00345);\n\
00813 constraint int_ne_reif(on[23], 1, BOOL____00284) :: defines_var(BOOL____00284);\n\
00814 constraint int_ne_reif(on[23], 2, BOOL____00298) :: defines_var(BOOL____00298);\n\
00815 constraint int_ne_reif(on[23], 3, BOOL____00312) :: defines_var(BOOL____00312);\n\
00816 constraint int_ne_reif(on[23], 4, BOOL____00326) :: defines_var(BOOL____00326);\n\
00817 constraint int_ne_reif(on[23], 5, BOOL____00340) :: defines_var(BOOL____00340);\n\
00818 constraint int_ne_reif(on[23], on[26], BOOL____00289) :: defines_var(BOOL____00289);\n\
00819 constraint int_ne_reif(on[23], on[27], BOOL____00303) :: defines_var(BOOL____00303);\n\
00820 constraint int_ne_reif(on[23], on[28], BOOL____00309) :: defines_var(BOOL____00309);\n\
00821 constraint int_ne_reif(on[23], on[29], BOOL____00332) :: defines_var(BOOL____00332);\n\
00822 constraint int_ne_reif(on[23], on[30], BOOL____00346) :: defines_var(BOOL____00346);\n\
00823 constraint int_ne_reif(on[24], 1, BOOL____00285) :: defines_var(BOOL____00285);\n\
00824 constraint int_ne_reif(on[24], 2, BOOL____00299) :: defines_var(BOOL____00299);\n\
00825 constraint int_ne_reif(on[24], 3, BOOL____00313) :: defines_var(BOOL____00313);\n\
00826 constraint int_ne_reif(on[24], 4, BOOL____00327) :: defines_var(BOOL____00327);\n\
00827 constraint int_ne_reif(on[24], 5, BOOL____00341) :: defines_var(BOOL____00341);\n\
00828 constraint int_ne_reif(on[24], on[26], BOOL____00290) :: defines_var(BOOL____00290);\n\
00829 constraint int_ne_reif(on[24], on[27], BOOL____00304) :: defines_var(BOOL____00304);\n\
00830 constraint int_ne_reif(on[24], on[28], BOOL____00318) :: defines_var(BOOL____00318);\n\
00831 constraint int_ne_reif(on[24], on[29], BOOL____00323) :: defines_var(BOOL____00323);\n\
00832 constraint int_ne_reif(on[24], on[30], BOOL____00347) :: defines_var(BOOL____00347);\n\
00833 constraint int_ne_reif(on[25], 1, BOOL____00286) :: defines_var(BOOL____00286);\n\
00834 constraint int_ne_reif(on[25], 2, BOOL____00300) :: defines_var(BOOL____00300);\n\
00835 constraint int_ne_reif(on[25], 3, BOOL____00314) :: defines_var(BOOL____00314);\n\
00836 constraint int_ne_reif(on[25], 4, BOOL____00328) :: defines_var(BOOL____00328);\n\
00837 constraint int_ne_reif(on[25], 5, BOOL____00342) :: defines_var(BOOL____00342);\n\
00838 constraint int_ne_reif(on[25], on[26], BOOL____00291) :: defines_var(BOOL____00291);\n\
00839 constraint int_ne_reif(on[25], on[27], BOOL____00305) :: defines_var(BOOL____00305);\n\
00840 constraint int_ne_reif(on[25], on[28], BOOL____00319) :: defines_var(BOOL____00319);\n\
00841 constraint int_ne_reif(on[25], on[29], BOOL____00333) :: defines_var(BOOL____00333);\n\
00842 constraint int_ne_reif(on[25], on[30], BOOL____00337) :: defines_var(BOOL____00337);\n\
00843 constraint set_in(on[1], {-1, 2, 3, 4, 5});\n\
00844 constraint set_in(on[2], {-2, 1, 3, 4, 5});\n\
00845 constraint set_in(on[3], {-3, 1, 2, 4, 5});\n\
00846 constraint set_in(on[4], {-4, 1, 2, 3, 5});\n\
00847 constraint set_in(on[5], {-5, 1, 2, 3, 4});\n\
00848 constraint set_in(on[6], {-1, 2, 3, 4, 5});\n\
00849 constraint set_in(on[7], {-2, 1, 3, 4, 5});\n\
00850 constraint set_in(on[8], {-3, 1, 2, 4, 5});\n\
00851 constraint set_in(on[9], {-4, 1, 2, 3, 5});\n\
00852 constraint set_in(on[10], {-5, 1, 2, 3, 4});\n\
00853 constraint set_in(on[11], {-1, 2, 3, 4, 5});\n\
00854 constraint set_in(on[12], {-2, 1, 3, 4, 5});\n\
00855 constraint set_in(on[13], {-3, 1, 2, 4, 5});\n\
00856 constraint set_in(on[14], {-4, 1, 2, 3, 5});\n\
00857 constraint set_in(on[15], {-5, 1, 2, 3, 4});\n\
00858 constraint set_in(on[16], {-1, 2, 3, 4, 5});\n\
00859 constraint set_in(on[17], {-2, 1, 3, 4, 5});\n\
00860 constraint set_in(on[18], {-3, 1, 2, 4, 5});\n\
00861 constraint set_in(on[19], {-4, 1, 2, 3, 5});\n\
00862 constraint set_in(on[20], {-5, 1, 2, 3, 4});\n\
00863 constraint set_in(on[21], {-1, 2, 3, 4, 5});\n\
00864 constraint set_in(on[22], {-2, 1, 3, 4, 5});\n\
00865 constraint set_in(on[23], {-3, 1, 2, 4, 5});\n\
00866 constraint set_in(on[24], {-4, 1, 2, 3, 5});\n\
00867 constraint set_in(on[25], {-5, 1, 2, 3, 4});\n\
00868 constraint set_in(on[26], {-1, 2, 3, 4, 5});\n\
00869 constraint set_in(on[27], {-2, 1, 3, 4, 5});\n\
00870 constraint set_in(on[28], {-3, 1, 2, 4, 5});\n\
00871 constraint set_in(on[29], {-4, 1, 2, 3, 5});\n\
00872 constraint set_in(on[30], {-5, 1, 2, 3, 4});\n\
00873 solve :: int_search([on[1], on[2], on[3], on[4], on[5], on[6], on[7], on[8], on[9], on[10], on[11], on[12], on[13], on[14], on[15], on[16], on[17], on[18], on[19], on[20], on[21], on[22], on[23], on[24], on[25], on[26], on[27], on[28], on[29], on[30]], first_fail, indomain_split, complete) satisfy;\n\
00874 ", "on = array2d(1..6, 1..5, [-1, 1, 2, 3, 4, -1, 1, 2, 3, -5, -1, 1, 2, -4, -5, -1, 1, -3, -4, -5, -1, -2, -3, -4, -5, 2, 3, 4, 5, -5]);\n\
00875 ----------\n\
00876 ");
00877 }
00878 };
00879
00880 Create c;
00881 }
00882
00883 }}
00884
00885