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/int.hh"
00039
00040 #include <gecode/minimodel.hh>
00041
00042 namespace Test { namespace Int {
00043
00045 namespace MiniModelSet {
00046
00048 enum SetOpcode {
00049 SO_CMPL,
00050 SO_UNION,
00051 SO_DUNION,
00052 SO_INTER,
00053 SO_MINUS,
00054 SO_HLT
00055 };
00056
00058 class SetInstr {
00059 public:
00060 SetOpcode o;
00061 unsigned char x, y, z;
00062 };
00063
00065 int
00066 eval(const SetInstr* pc, int reg[], bool& failed) {
00067 failed = false;
00068 while (true) {
00069 switch (pc->o) {
00070 case SO_CMPL: reg[pc->y] = !reg[pc->x]; break;
00071 case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break;
00072 case SO_UNION: reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
00073 case SO_DUNION:
00074 if (reg[pc->x] && reg[pc->y])
00075 failed = true;
00076 reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
00077 case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break;
00078 case SO_HLT: return reg[pc->x];
00079 default: GECODE_NEVER;
00080 }
00081 pc++;
00082 }
00083 GECODE_NEVER;
00084 }
00085
00087 Gecode::SetExpr
00088 eval(const SetInstr* pc, Gecode::SetExpr reg[]) {
00089 using namespace Gecode;
00090 while (true) {
00091 switch (pc->o) {
00092 case SO_CMPL: reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break;
00093 case SO_INTER: reg[pc->z] = (reg[pc->x] & reg[pc->y]); break;
00094 case SO_UNION: reg[pc->z] = (reg[pc->x] | reg[pc->y]); break;
00095 case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
00096 case SO_MINUS: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
00097 case SO_HLT: return reg[pc->x];
00098 default: GECODE_NEVER;
00099 }
00100 pc++;
00101 }
00102 GECODE_NEVER;
00103 }
00104
00105 bool
00106 simpleReifiedSemantics(const SetInstr* pc) {
00107 while (pc->o != SO_HLT) {
00108 if (pc->o == SO_DUNION)
00109 return false;
00110 pc++;
00111 }
00112 return true;
00113 }
00114
00120
00121 class SetExprConst : public Test {
00122 protected:
00124 const SetInstr* bis;
00126 int c;
00128 Gecode::SetRelType srt;
00129 public:
00131 SetExprConst(const SetInstr* bis0, const std::string& s,
00132 Gecode::SetRelType srt0, int c0)
00133 : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0),
00134 4,0,1,simpleReifiedSemantics(bis0)),
00135 bis(bis0), c(c0), srt(srt0) {}
00137 virtual bool solution(const Assignment& x) const {
00138 int reg[4] = {(x[0] != x[2]), x[1],
00139 (x[2] > 0), x[3]};
00140 bool failed;
00141 int ret = eval(bis, reg, failed);
00142 if (failed)
00143 return false;
00144 switch (srt) {
00145 case Gecode::SRT_EQ: return ret == c;
00146 case Gecode::SRT_NQ: return ret != c;
00147 case Gecode::SRT_SUB: return ret <= c;
00148 case Gecode::SRT_SUP: return ret >= c;
00149 case Gecode::SRT_DISJ: return ret+c != 2;
00150 case Gecode::SRT_CMPL: return ret != c;
00151 }
00152 GECODE_NEVER;
00153 return false;
00154 }
00156 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00157 using namespace Gecode;
00158 SetVarArgs s(home,4,IntSet::empty,1,1);
00159 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00160 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00161 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00162 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00163 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
00164 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
00165 Gecode::SetExpr e = eval(bis,reg);
00166 switch (srt) {
00167 case Gecode::SRT_EQ: Gecode::rel(home, e == res); break;
00168 case Gecode::SRT_NQ: Gecode::rel(home, e != res); break;
00169 case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break;
00170 case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break;
00171 case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break;
00172 case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break;
00173 }
00174 }
00176 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00177 Gecode::BoolVar b) {
00178 using namespace Gecode;
00179 SetVarArgs s(home,4,IntSet::empty,1,1);
00180 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00181 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00182 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00183 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00184 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
00185 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
00186 Gecode::SetExpr e = eval(bis,reg);
00187 switch (srt) {
00188 case Gecode::SRT_EQ: Gecode::rel(home, (e == res)==b); break;
00189 case Gecode::SRT_NQ: Gecode::rel(home, (e != res)==b); break;
00190 case Gecode::SRT_SUB: Gecode::rel(home, (e <= res)==b); break;
00191 case Gecode::SRT_SUP: Gecode::rel(home, (e >= res)==b); break;
00192 case Gecode::SRT_DISJ: Gecode::rel(home, (e || res)==b); break;
00193 case Gecode::SRT_CMPL: Gecode::rel(home, (e == -res)==b); break;
00194 }
00195 }
00196 };
00197
00199 class SetExprExpr : public Test {
00200 protected:
00202 const SetInstr* bis0;
00204 const SetInstr* bis1;
00206 Gecode::SetRelType srt;
00207 public:
00209 SetExprExpr(const SetInstr* bis00, const SetInstr* bis10,
00210 const std::string& s, Gecode::SetRelType srt0)
00211 : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0),
00212 8,0,1,
00213 simpleReifiedSemantics(bis00) &&
00214 simpleReifiedSemantics(bis10)),
00215 bis0(bis00), bis1(bis10), srt(srt0) {}
00217 virtual bool solution(const Assignment& x) const {
00218 int reg0[4] = {(x[0] != x[2]), x[1],
00219 (x[2] > 0), x[3]};
00220 bool failed0;
00221 int ret0 = eval(bis0, reg0, failed0);
00222 if (failed0)
00223 return false;
00224
00225 int reg1[4] = {(x[4] != x[6]), x[5],
00226 (x[6] > 0), x[7]};
00227 bool failed1;
00228 int ret1 = eval(bis1, reg1, failed1);
00229
00230 if (failed1)
00231 return false;
00232
00233 switch (srt) {
00234 case Gecode::SRT_EQ: return ret0 == ret1;
00235 case Gecode::SRT_NQ: return ret0 != ret1;
00236 case Gecode::SRT_SUB: return ret0 <= ret1;
00237 case Gecode::SRT_SUP: return ret0 >= ret1;
00238 case Gecode::SRT_DISJ: return ret0+ret1 != 2;
00239 case Gecode::SRT_CMPL: return ret0 != ret1;
00240 }
00241 GECODE_NEVER;
00242 return false;
00243 }
00245 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00246 using namespace Gecode;
00247 SetVarArgs s(home,8,IntSet::empty,1,1);
00248 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00249 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00250 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00251 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00252
00253 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
00254 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
00255 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
00256 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
00257
00258 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
00259 Gecode::SetExpr e0 = eval(bis0,reg0);
00260
00261 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
00262 Gecode::SetExpr e1 = eval(bis1,reg1);
00263
00264 switch (srt) {
00265 case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break;
00266 case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break;
00267 case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break;
00268 case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break;
00269 case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break;
00270 case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break;
00271 }
00272 }
00274 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00275 Gecode::BoolVar b) {
00276 using namespace Gecode;
00277 SetVarArgs s(home,8,IntSet::empty,1,1);
00278 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00279 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00280 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00281 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00282
00283 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
00284 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
00285 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
00286 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
00287
00288 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
00289 Gecode::SetExpr e0 = eval(bis0,reg0);
00290
00291 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
00292 Gecode::SetExpr e1 = eval(bis1,reg1);
00293
00294 switch (srt) {
00295 case Gecode::SRT_EQ: Gecode::rel(home, (e0 == e1)==b); break;
00296 case Gecode::SRT_NQ: Gecode::rel(home, (e0 != e1)==b); break;
00297 case Gecode::SRT_SUB: Gecode::rel(home, (e0 <= e1)==b); break;
00298 case Gecode::SRT_SUP: Gecode::rel(home, (e0 >= e1)==b); break;
00299 case Gecode::SRT_DISJ: Gecode::rel(home, (e0 || e1)==b); break;
00300 case Gecode::SRT_CMPL: Gecode::rel(home, (e0 == -e1)==b); break;
00301 }
00302 }
00303 };
00304
00305 const SetInstr si000[] = {
00306 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
00307 {SO_HLT,0,0,0}
00308 };
00309 const SetInstr si001[] = {
00310 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
00311 {SO_HLT,0,0,0}
00312 };
00313 const SetInstr si002[] = {
00314 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
00315 {SO_HLT,0,0,0}
00316 };
00317 const SetInstr si003[] = {
00318 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00319 {SO_INTER,0,1,0},
00320 {SO_HLT,0,0,0}
00321 };
00322 const SetInstr si004[] = {
00323 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00324 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
00325 {SO_HLT,0,0,0}
00326 };
00327 const SetInstr si005[] = {
00328 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00329 {SO_INTER,0,1,0},
00330 {SO_HLT,0,0,0}
00331 };
00332 const SetInstr si006[] = {
00333 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00334 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00335 {SO_HLT,0,0,0}
00336 };
00337 const SetInstr si007[] = {
00338 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
00339 {SO_HLT,0,0,0}
00340 };
00341 const SetInstr si008[] = {
00342 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
00343 {SO_HLT,0,0,0}
00344 };
00345 const SetInstr si009[] = {
00346 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
00347 {SO_HLT,0,0,0}
00348 };
00349 const SetInstr si010[] = {
00350 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00351 {SO_UNION ,0,1,0},
00352 {SO_HLT,0,0,0}
00353 };
00354 const SetInstr si011[] = {
00355 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00356 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
00357 {SO_HLT,0,0,0}
00358 };
00359 const SetInstr si012[] = {
00360 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00361 {SO_UNION ,0,1,0},
00362 {SO_HLT,0,0,0}
00363 };
00364 const SetInstr si013[] = {
00365 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00366 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00367 {SO_HLT,0,0,0}
00368 };
00369 const SetInstr si014[] = {
00370 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
00371 {SO_HLT,0,0,0}
00372 };
00373 const SetInstr si015[] = {
00374 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
00375 {SO_HLT,0,0,0}
00376 };
00377 const SetInstr si016[] = {
00378 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
00379 {SO_HLT,0,0,0}
00380 };
00381 const SetInstr si017[] = {
00382 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00383 {SO_UNION,0,1,0},
00384 {SO_HLT,0,0,0}
00385 };
00386 const SetInstr si018[] = {
00387 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00388 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
00389 {SO_HLT,0,0,0}
00390 };
00391 const SetInstr si019[] = {
00392 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00393 {SO_UNION,0,1,0},
00394 {SO_HLT,0,0,0}
00395 };
00396 const SetInstr si020[] = {
00397 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00398 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00399 {SO_HLT,0,0,0}
00400 };
00401 const SetInstr si021[] = {
00402 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
00403 {SO_HLT,0,0,0}
00404 };
00405 const SetInstr si022[] = {
00406 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
00407 {SO_HLT,0,0,0}
00408 };
00409 const SetInstr si023[] = {
00410 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
00411 {SO_HLT,0,0,0}
00412 };
00413 const SetInstr si024[] = {
00414 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00415 {SO_DUNION,0,1,0},
00416 {SO_HLT,0,0,0}
00417 };
00418 const SetInstr si025[] = {
00419 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00420 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
00421 {SO_HLT,0,0,0}
00422 };
00423 const SetInstr si026[] = {
00424 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00425 {SO_DUNION,0,1,0},
00426 {SO_HLT,0,0,0}
00427 };
00428 const SetInstr si027[] = {
00429 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00430 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00431 {SO_HLT,0,0,0}
00432 };
00433 const SetInstr si028[] = {
00434 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
00435 {SO_HLT,0,0,0}
00436 };
00437 const SetInstr si029[] = {
00438 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
00439 {SO_HLT,0,0,0}
00440 };
00441 const SetInstr si030[] = {
00442 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
00443 {SO_HLT,0,0,0}
00444 };
00445 const SetInstr si031[] = {
00446 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00447 {SO_MINUS,0,1,0},
00448 {SO_HLT,0,0,0}
00449 };
00450 const SetInstr si032[] = {
00451 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00452 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
00453 {SO_HLT,0,0,0}
00454 };
00455 const SetInstr si033[] = {
00456 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00457 {SO_MINUS,0,1,0},
00458 {SO_HLT,0,0,0}
00459 };
00460 const SetInstr si034[] = {
00461 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00462 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00463 {SO_HLT,0,0,0}
00464 };
00465 const SetInstr si035[] = {
00466 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
00467 {SO_HLT,0,0,0}
00468 };
00469 const SetInstr si036[] = {
00470 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
00471 {SO_HLT,0,0,0}
00472 };
00473 const SetInstr si037[] = {
00474 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
00475 {SO_HLT,0,0,0}
00476 };
00477 const SetInstr si038[] = {
00478 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00479 {SO_INTER,0,1,0},
00480 {SO_HLT,0,0,0}
00481 };
00482 const SetInstr si039[] = {
00483 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00484 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
00485 {SO_HLT,0,0,0}
00486 };
00487 const SetInstr si040[] = {
00488 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00489 {SO_INTER,0,1,0},
00490 {SO_HLT,0,0,0}
00491 };
00492 const SetInstr si041[] = {
00493 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00494 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00495 {SO_HLT,0,0,0}
00496 };
00497 const SetInstr si042[] = {
00498 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
00499 {SO_HLT,0,0,0}
00500 };
00501 const SetInstr si043[] = {
00502 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
00503 {SO_HLT,0,0,0}
00504 };
00505 const SetInstr si044[] = {
00506 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
00507 {SO_HLT,0,0,0}
00508 };
00509 const SetInstr si045[] = {
00510 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00511 {SO_UNION ,0,1,0},
00512 {SO_HLT,0,0,0}
00513 };
00514 const SetInstr si046[] = {
00515 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00516 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
00517 {SO_HLT,0,0,0}
00518 };
00519 const SetInstr si047[] = {
00520 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00521 {SO_UNION ,0,1,0},
00522 {SO_HLT,0,0,0}
00523 };
00524 const SetInstr si048[] = {
00525 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00526 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00527 {SO_HLT,0,0,0}
00528 };
00529 const SetInstr si049[] = {
00530 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
00531 {SO_HLT,0,0,0}
00532 };
00533 const SetInstr si050[] = {
00534 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
00535 {SO_HLT,0,0,0}
00536 };
00537 const SetInstr si051[] = {
00538 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
00539 {SO_HLT,0,0,0}
00540 };
00541 const SetInstr si052[] = {
00542 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00543 {SO_UNION,0,1,0},
00544 {SO_HLT,0,0,0}
00545 };
00546 const SetInstr si053[] = {
00547 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00548 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
00549 {SO_HLT,0,0,0}
00550 };
00551 const SetInstr si054[] = {
00552 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00553 {SO_UNION,0,1,0},
00554 {SO_HLT,0,0,0}
00555 };
00556 const SetInstr si055[] = {
00557 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00558 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00559 {SO_HLT,0,0,0}
00560 };
00561 const SetInstr si056[] = {
00562 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
00563 {SO_HLT,0,0,0}
00564 };
00565 const SetInstr si057[] = {
00566 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
00567 {SO_HLT,0,0,0}
00568 };
00569 const SetInstr si058[] = {
00570 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
00571 {SO_HLT,0,0,0}
00572 };
00573 const SetInstr si059[] = {
00574 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00575 {SO_DUNION,0,1,0},
00576 {SO_HLT,0,0,0}
00577 };
00578 const SetInstr si060[] = {
00579 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00580 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
00581 {SO_HLT,0,0,0}
00582 };
00583 const SetInstr si061[] = {
00584 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00585 {SO_DUNION,0,1,0},
00586 {SO_HLT,0,0,0}
00587 };
00588 const SetInstr si062[] = {
00589 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00590 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00591 {SO_HLT,0,0,0}
00592 };
00593 const SetInstr si063[] = {
00594 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
00595 {SO_HLT,0,0,0}
00596 };
00597 const SetInstr si064[] = {
00598 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
00599 {SO_HLT,0,0,0}
00600 };
00601 const SetInstr si065[] = {
00602 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
00603 {SO_HLT,0,0,0}
00604 };
00605 const SetInstr si066[] = {
00606 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00607 {SO_MINUS,0,1,0},
00608 {SO_HLT,0,0,0}
00609 };
00610 const SetInstr si067[] = {
00611 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00612 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
00613 {SO_HLT,0,0,0}
00614 };
00615 const SetInstr si068[] = {
00616 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00617 {SO_MINUS,0,1,0},
00618 {SO_HLT,0,0,0}
00619 };
00620 const SetInstr si069[] = {
00621 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00622 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00623 {SO_HLT,0,0,0}
00624 };
00625 const SetInstr si070[] = {
00626 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
00627 {SO_HLT,0,0,0}
00628 };
00629 const SetInstr si071[] = {
00630 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
00631 {SO_HLT,0,0,0}
00632 };
00633 const SetInstr si072[] = {
00634 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
00635 {SO_HLT,0,0,0}
00636 };
00637 const SetInstr si073[] = {
00638 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00639 {SO_INTER,0,1,0},
00640 {SO_HLT,0,0,0}
00641 };
00642 const SetInstr si074[] = {
00643 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00644 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
00645 {SO_HLT,0,0,0}
00646 };
00647 const SetInstr si075[] = {
00648 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00649 {SO_INTER,0,1,0},
00650 {SO_HLT,0,0,0}
00651 };
00652 const SetInstr si076[] = {
00653 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00654 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00655 {SO_HLT,0,0,0}
00656 };
00657 const SetInstr si077[] = {
00658 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
00659 {SO_HLT,0,0,0}
00660 };
00661 const SetInstr si078[] = {
00662 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
00663 {SO_HLT,0,0,0}
00664 };
00665 const SetInstr si079[] = {
00666 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
00667 {SO_HLT,0,0,0}
00668 };
00669 const SetInstr si080[] = {
00670 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00671 {SO_UNION ,0,1,0},
00672 {SO_HLT,0,0,0}
00673 };
00674 const SetInstr si081[] = {
00675 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00676 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
00677 {SO_HLT,0,0,0}
00678 };
00679 const SetInstr si082[] = {
00680 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00681 {SO_UNION ,0,1,0},
00682 {SO_HLT,0,0,0}
00683 };
00684 const SetInstr si083[] = {
00685 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00686 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00687 {SO_HLT,0,0,0}
00688 };
00689 const SetInstr si084[] = {
00690 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
00691 {SO_HLT,0,0,0}
00692 };
00693 const SetInstr si085[] = {
00694 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
00695 {SO_HLT,0,0,0}
00696 };
00697 const SetInstr si086[] = {
00698 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
00699 {SO_HLT,0,0,0}
00700 };
00701 const SetInstr si087[] = {
00702 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00703 {SO_UNION,0,1,0},
00704 {SO_HLT,0,0,0}
00705 };
00706 const SetInstr si088[] = {
00707 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00708 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
00709 {SO_HLT,0,0,0}
00710 };
00711 const SetInstr si089[] = {
00712 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00713 {SO_UNION,0,1,0},
00714 {SO_HLT,0,0,0}
00715 };
00716 const SetInstr si090[] = {
00717 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00718 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00719 {SO_HLT,0,0,0}
00720 };
00721 const SetInstr si091[] = {
00722 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
00723 {SO_HLT,0,0,0}
00724 };
00725 const SetInstr si092[] = {
00726 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
00727 {SO_HLT,0,0,0}
00728 };
00729 const SetInstr si093[] = {
00730 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
00731 {SO_HLT,0,0,0}
00732 };
00733 const SetInstr si094[] = {
00734 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00735 {SO_DUNION,0,1,0},
00736 {SO_HLT,0,0,0}
00737 };
00738 const SetInstr si095[] = {
00739 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00740 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
00741 {SO_HLT,0,0,0}
00742 };
00743 const SetInstr si096[] = {
00744 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00745 {SO_DUNION,0,1,0},
00746 {SO_HLT,0,0,0}
00747 };
00748 const SetInstr si097[] = {
00749 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00750 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00751 {SO_HLT,0,0,0}
00752 };
00753 const SetInstr si098[] = {
00754 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
00755 {SO_HLT,0,0,0}
00756 };
00757 const SetInstr si099[] = {
00758 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
00759 {SO_HLT,0,0,0}
00760 };
00761 const SetInstr si100[] = {
00762 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
00763 {SO_HLT,0,0,0}
00764 };
00765 const SetInstr si101[] = {
00766 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00767 {SO_MINUS,0,1,0},
00768 {SO_HLT,0,0,0}
00769 };
00770 const SetInstr si102[] = {
00771 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00772 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
00773 {SO_HLT,0,0,0}
00774 };
00775 const SetInstr si103[] = {
00776 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00777 {SO_MINUS,0,1,0},
00778 {SO_HLT,0,0,0}
00779 };
00780 const SetInstr si104[] = {
00781 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00782 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00783 {SO_HLT,0,0,0}
00784 };
00785 const SetInstr si105[] = {
00786 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
00787 {SO_HLT,0,0,0}
00788 };
00789 const SetInstr si106[] = {
00790 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
00791 {SO_HLT,0,0,0}
00792 };
00793 const SetInstr si107[] = {
00794 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
00795 {SO_HLT,0,0,0}
00796 };
00797 const SetInstr si108[] = {
00798 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00799 {SO_INTER,0,1,0},
00800 {SO_HLT,0,0,0}
00801 };
00802 const SetInstr si109[] = {
00803 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00804 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
00805 {SO_HLT,0,0,0}
00806 };
00807 const SetInstr si110[] = {
00808 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00809 {SO_INTER,0,1,0},
00810 {SO_HLT,0,0,0}
00811 };
00812 const SetInstr si111[] = {
00813 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00814 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00815 {SO_HLT,0,0,0}
00816 };
00817 const SetInstr si112[] = {
00818 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
00819 {SO_HLT,0,0,0}
00820 };
00821 const SetInstr si113[] = {
00822 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
00823 {SO_HLT,0,0,0}
00824 };
00825 const SetInstr si114[] = {
00826 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
00827 {SO_HLT,0,0,0}
00828 };
00829 const SetInstr si115[] = {
00830 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00831 {SO_UNION ,0,1,0},
00832 {SO_HLT,0,0,0}
00833 };
00834 const SetInstr si116[] = {
00835 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00836 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
00837 {SO_HLT,0,0,0}
00838 };
00839 const SetInstr si117[] = {
00840 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00841 {SO_UNION ,0,1,0},
00842 {SO_HLT,0,0,0}
00843 };
00844 const SetInstr si118[] = {
00845 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00846 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00847 {SO_HLT,0,0,0}
00848 };
00849 const SetInstr si119[] = {
00850 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
00851 {SO_HLT,0,0,0}
00852 };
00853 const SetInstr si120[] = {
00854 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
00855 {SO_HLT,0,0,0}
00856 };
00857 const SetInstr si121[] = {
00858 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
00859 {SO_HLT,0,0,0}
00860 };
00861 const SetInstr si122[] = {
00862 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00863 {SO_UNION,0,1,0},
00864 {SO_HLT,0,0,0}
00865 };
00866 const SetInstr si123[] = {
00867 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00868 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
00869 {SO_HLT,0,0,0}
00870 };
00871 const SetInstr si124[] = {
00872 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00873 {SO_UNION,0,1,0},
00874 {SO_HLT,0,0,0}
00875 };
00876 const SetInstr si125[] = {
00877 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00878 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00879 {SO_HLT,0,0,0}
00880 };
00881 const SetInstr si126[] = {
00882 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
00883 {SO_HLT,0,0,0}
00884 };
00885 const SetInstr si127[] = {
00886 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
00887 {SO_HLT,0,0,0}
00888 };
00889 const SetInstr si128[] = {
00890 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
00891 {SO_HLT,0,0,0}
00892 };
00893 const SetInstr si129[] = {
00894 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00895 {SO_DUNION,0,1,0},
00896 {SO_HLT,0,0,0}
00897 };
00898 const SetInstr si130[] = {
00899 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00900 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
00901 {SO_HLT,0,0,0}
00902 };
00903 const SetInstr si131[] = {
00904 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00905 {SO_DUNION,0,1,0},
00906 {SO_HLT,0,0,0}
00907 };
00908 const SetInstr si132[] = {
00909 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00910 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00911 {SO_HLT,0,0,0}
00912 };
00913 const SetInstr si133[] = {
00914 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
00915 {SO_HLT,0,0,0}
00916 };
00917 const SetInstr si134[] = {
00918 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
00919 {SO_HLT,0,0,0}
00920 };
00921 const SetInstr si135[] = {
00922 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
00923 {SO_HLT,0,0,0}
00924 };
00925 const SetInstr si136[] = {
00926 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00927 {SO_MINUS,0,1,0},
00928 {SO_HLT,0,0,0}
00929 };
00930 const SetInstr si137[] = {
00931 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00932 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
00933 {SO_HLT,0,0,0}
00934 };
00935 const SetInstr si138[] = {
00936 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00937 {SO_MINUS,0,1,0},
00938 {SO_HLT,0,0,0}
00939 };
00940 const SetInstr si139[] = {
00941 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00942 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00943 {SO_HLT,0,0,0}
00944 };
00945 const SetInstr si140[] = {
00946 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
00947 {SO_HLT,0,0,0}
00948 };
00949 const SetInstr si141[] = {
00950 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
00951 {SO_HLT,0,0,0}
00952 };
00953 const SetInstr si142[] = {
00954 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
00955 {SO_HLT,0,0,0}
00956 };
00957 const SetInstr si143[] = {
00958 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
00959 {SO_INTER,0,1,0},
00960 {SO_HLT,0,0,0}
00961 };
00962 const SetInstr si144[] = {
00963 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00964 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
00965 {SO_HLT,0,0,0}
00966 };
00967 const SetInstr si145[] = {
00968 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
00969 {SO_INTER,0,1,0},
00970 {SO_HLT,0,0,0}
00971 };
00972 const SetInstr si146[] = {
00973 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
00974 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00975 {SO_HLT,0,0,0}
00976 };
00977 const SetInstr si147[] = {
00978 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
00979 {SO_HLT,0,0,0}
00980 };
00981 const SetInstr si148[] = {
00982 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
00983 {SO_HLT,0,0,0}
00984 };
00985 const SetInstr si149[] = {
00986 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
00987 {SO_HLT,0,0,0}
00988 };
00989 const SetInstr si150[] = {
00990 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
00991 {SO_UNION ,0,1,0},
00992 {SO_HLT,0,0,0}
00993 };
00994 const SetInstr si151[] = {
00995 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00996 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
00997 {SO_HLT,0,0,0}
00998 };
00999 const SetInstr si152[] = {
01000 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01001 {SO_UNION ,0,1,0},
01002 {SO_HLT,0,0,0}
01003 };
01004 const SetInstr si153[] = {
01005 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01006 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01007 {SO_HLT,0,0,0}
01008 };
01009 const SetInstr si154[] = {
01010 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01011 {SO_HLT,0,0,0}
01012 };
01013 const SetInstr si155[] = {
01014 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
01015 {SO_HLT,0,0,0}
01016 };
01017 const SetInstr si156[] = {
01018 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
01019 {SO_HLT,0,0,0}
01020 };
01021 const SetInstr si157[] = {
01022 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01023 {SO_UNION,0,1,0},
01024 {SO_HLT,0,0,0}
01025 };
01026 const SetInstr si158[] = {
01027 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01028 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01029 {SO_HLT,0,0,0}
01030 };
01031 const SetInstr si159[] = {
01032 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01033 {SO_UNION,0,1,0},
01034 {SO_HLT,0,0,0}
01035 };
01036 const SetInstr si160[] = {
01037 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01038 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01039 {SO_HLT,0,0,0}
01040 };
01041 const SetInstr si161[] = {
01042 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01043 {SO_HLT,0,0,0}
01044 };
01045 const SetInstr si162[] = {
01046 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
01047 {SO_HLT,0,0,0}
01048 };
01049 const SetInstr si163[] = {
01050 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
01051 {SO_HLT,0,0,0}
01052 };
01053 const SetInstr si164[] = {
01054 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01055 {SO_DUNION,0,1,0},
01056 {SO_HLT,0,0,0}
01057 };
01058 const SetInstr si165[] = {
01059 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01060 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01061 {SO_HLT,0,0,0}
01062 };
01063 const SetInstr si166[] = {
01064 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01065 {SO_DUNION,0,1,0},
01066 {SO_HLT,0,0,0}
01067 };
01068 const SetInstr si167[] = {
01069 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01070 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01071 {SO_HLT,0,0,0}
01072 };
01073 const SetInstr si168[] = {
01074 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01075 {SO_HLT,0,0,0}
01076 };
01077 const SetInstr si169[] = {
01078 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
01079 {SO_HLT,0,0,0}
01080 };
01081 const SetInstr si170[] = {
01082 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
01083 {SO_HLT,0,0,0}
01084 };
01085 const SetInstr si171[] = {
01086 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01087 {SO_MINUS,0,1,0},
01088 {SO_HLT,0,0,0}
01089 };
01090 const SetInstr si172[] = {
01091 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01092 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01093 {SO_HLT,0,0,0}
01094 };
01095 const SetInstr si173[] = {
01096 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01097 {SO_MINUS,0,1,0},
01098 {SO_HLT,0,0,0}
01099 };
01100 const SetInstr si174[] = {
01101 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01102 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01103 {SO_HLT,0,0,0}
01104 };
01105 const SetInstr si175[] = {
01106 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
01107 {SO_HLT,0,0,0}
01108 };
01109 const SetInstr si176[] = {
01110 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
01111 {SO_HLT,0,0,0}
01112 };
01113 const SetInstr si177[] = {
01114 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
01115 {SO_HLT,0,0,0}
01116 };
01117 const SetInstr si178[] = {
01118 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01119 {SO_INTER,0,1,0},
01120 {SO_HLT,0,0,0}
01121 };
01122 const SetInstr si179[] = {
01123 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01124 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
01125 {SO_HLT,0,0,0}
01126 };
01127 const SetInstr si180[] = {
01128 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01129 {SO_INTER,0,1,0},
01130 {SO_HLT,0,0,0}
01131 };
01132 const SetInstr si181[] = {
01133 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01134 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01135 {SO_HLT,0,0,0}
01136 };
01137 const SetInstr si182[] = {
01138 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01139 {SO_HLT,0,0,0}
01140 };
01141 const SetInstr si183[] = {
01142 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
01143 {SO_HLT,0,0,0}
01144 };
01145 const SetInstr si184[] = {
01146 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
01147 {SO_HLT,0,0,0}
01148 };
01149 const SetInstr si185[] = {
01150 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01151 {SO_UNION ,0,1,0},
01152 {SO_HLT,0,0,0}
01153 };
01154 const SetInstr si186[] = {
01155 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01156 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01157 {SO_HLT,0,0,0}
01158 };
01159 const SetInstr si187[] = {
01160 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01161 {SO_UNION ,0,1,0},
01162 {SO_HLT,0,0,0}
01163 };
01164 const SetInstr si188[] = {
01165 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01166 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01167 {SO_HLT,0,0,0}
01168 };
01169 const SetInstr si189[] = {
01170 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
01171 {SO_HLT,0,0,0}
01172 };
01173 const SetInstr si190[] = {
01174 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
01175 {SO_HLT,0,0,0}
01176 };
01177 const SetInstr si191[] = {
01178 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
01179 {SO_HLT,0,0,0}
01180 };
01181 const SetInstr si192[] = {
01182 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01183 {SO_UNION,0,1,0},
01184 {SO_HLT,0,0,0}
01185 };
01186 const SetInstr si193[] = {
01187 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01188 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
01189 {SO_HLT,0,0,0}
01190 };
01191 const SetInstr si194[] = {
01192 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01193 {SO_UNION,0,1,0},
01194 {SO_HLT,0,0,0}
01195 };
01196 const SetInstr si195[] = {
01197 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01198 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01199 {SO_HLT,0,0,0}
01200 };
01201 const SetInstr si196[] = {
01202 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
01203 {SO_HLT,0,0,0}
01204 };
01205 const SetInstr si197[] = {
01206 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
01207 {SO_HLT,0,0,0}
01208 };
01209 const SetInstr si198[] = {
01210 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
01211 {SO_HLT,0,0,0}
01212 };
01213 const SetInstr si199[] = {
01214 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01215 {SO_DUNION,0,1,0},
01216 {SO_HLT,0,0,0}
01217 };
01218 const SetInstr si200[] = {
01219 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01220 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
01221 {SO_HLT,0,0,0}
01222 };
01223 const SetInstr si201[] = {
01224 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01225 {SO_DUNION,0,1,0},
01226 {SO_HLT,0,0,0}
01227 };
01228 const SetInstr si202[] = {
01229 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01230 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01231 {SO_HLT,0,0,0}
01232 };
01233 const SetInstr si203[] = {
01234 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
01235 {SO_HLT,0,0,0}
01236 };
01237 const SetInstr si204[] = {
01238 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
01239 {SO_HLT,0,0,0}
01240 };
01241 const SetInstr si205[] = {
01242 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
01243 {SO_HLT,0,0,0}
01244 };
01245 const SetInstr si206[] = {
01246 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01247 {SO_MINUS,0,1,0},
01248 {SO_HLT,0,0,0}
01249 };
01250 const SetInstr si207[] = {
01251 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01252 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
01253 {SO_HLT,0,0,0}
01254 };
01255 const SetInstr si208[] = {
01256 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01257 {SO_MINUS,0,1,0},
01258 {SO_HLT,0,0,0}
01259 };
01260 const SetInstr si209[] = {
01261 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01262 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01263 {SO_HLT,0,0,0}
01264 };
01265 const SetInstr si210[] = {
01266 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
01267 {SO_HLT,0,0,0}
01268 };
01269 const SetInstr si211[] = {
01270 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
01271 {SO_HLT,0,0,0}
01272 };
01273 const SetInstr si212[] = {
01274 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
01275 {SO_HLT,0,0,0}
01276 };
01277 const SetInstr si213[] = {
01278 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01279 {SO_INTER,0,1,0},
01280 {SO_HLT,0,0,0}
01281 };
01282 const SetInstr si214[] = {
01283 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01284 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
01285 {SO_HLT,0,0,0}
01286 };
01287 const SetInstr si215[] = {
01288 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01289 {SO_INTER,0,1,0},
01290 {SO_HLT,0,0,0}
01291 };
01292 const SetInstr si216[] = {
01293 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01294 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01295 {SO_HLT,0,0,0}
01296 };
01297 const SetInstr si217[] = {
01298 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
01299 {SO_HLT,0,0,0}
01300 };
01301 const SetInstr si218[] = {
01302 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
01303 {SO_HLT,0,0,0}
01304 };
01305 const SetInstr si219[] = {
01306 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
01307 {SO_HLT,0,0,0}
01308 };
01309 const SetInstr si220[] = {
01310 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01311 {SO_UNION ,0,1,0},
01312 {SO_HLT,0,0,0}
01313 };
01314 const SetInstr si221[] = {
01315 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01316 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
01317 {SO_HLT,0,0,0}
01318 };
01319 const SetInstr si222[] = {
01320 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01321 {SO_UNION ,0,1,0},
01322 {SO_HLT,0,0,0}
01323 };
01324 const SetInstr si223[] = {
01325 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01326 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01327 {SO_HLT,0,0,0}
01328 };
01329 const SetInstr si224[] = {
01330 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
01331 {SO_HLT,0,0,0}
01332 };
01333 const SetInstr si225[] = {
01334 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
01335 {SO_HLT,0,0,0}
01336 };
01337 const SetInstr si226[] = {
01338 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
01339 {SO_HLT,0,0,0}
01340 };
01341 const SetInstr si227[] = {
01342 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01343 {SO_UNION,0,1,0},
01344 {SO_HLT,0,0,0}
01345 };
01346 const SetInstr si228[] = {
01347 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01348 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
01349 {SO_HLT,0,0,0}
01350 };
01351 const SetInstr si229[] = {
01352 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01353 {SO_UNION,0,1,0},
01354 {SO_HLT,0,0,0}
01355 };
01356 const SetInstr si230[] = {
01357 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01358 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01359 {SO_HLT,0,0,0}
01360 };
01361 const SetInstr si231[] = {
01362 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
01363 {SO_HLT,0,0,0}
01364 };
01365 const SetInstr si232[] = {
01366 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
01367 {SO_HLT,0,0,0}
01368 };
01369 const SetInstr si233[] = {
01370 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
01371 {SO_HLT,0,0,0}
01372 };
01373 const SetInstr si234[] = {
01374 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01375 {SO_DUNION,0,1,0},
01376 {SO_HLT,0,0,0}
01377 };
01378 const SetInstr si235[] = {
01379 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01380 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
01381 {SO_HLT,0,0,0}
01382 };
01383 const SetInstr si236[] = {
01384 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01385 {SO_DUNION,0,1,0},
01386 {SO_HLT,0,0,0}
01387 };
01388 const SetInstr si237[] = {
01389 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01390 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01391 {SO_HLT,0,0,0}
01392 };
01393 const SetInstr si238[] = {
01394 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
01395 {SO_HLT,0,0,0}
01396 };
01397 const SetInstr si239[] = {
01398 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
01399 {SO_HLT,0,0,0}
01400 };
01401 const SetInstr si240[] = {
01402 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
01403 {SO_HLT,0,0,0}
01404 };
01405 const SetInstr si241[] = {
01406 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01407 {SO_MINUS,0,1,0},
01408 {SO_HLT,0,0,0}
01409 };
01410 const SetInstr si242[] = {
01411 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01412 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
01413 {SO_HLT,0,0,0}
01414 };
01415 const SetInstr si243[] = {
01416 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01417 {SO_MINUS,0,1,0},
01418 {SO_HLT,0,0,0}
01419 };
01420 const SetInstr si244[] = {
01421 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01422 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01423 {SO_HLT,0,0,0}
01424 };
01425 const SetInstr si245[] = {
01426 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
01427 {SO_HLT,0,0,0}
01428 };
01429 const SetInstr si246[] = {
01430 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
01431 {SO_HLT,0,0,0}
01432 };
01433 const SetInstr si247[] = {
01434 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
01435 {SO_HLT,0,0,0}
01436 };
01437 const SetInstr si248[] = {
01438 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01439 {SO_INTER,0,1,0},
01440 {SO_HLT,0,0,0}
01441 };
01442 const SetInstr si249[] = {
01443 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01444 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
01445 {SO_HLT,0,0,0}
01446 };
01447 const SetInstr si250[] = {
01448 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01449 {SO_INTER,0,1,0},
01450 {SO_HLT,0,0,0}
01451 };
01452 const SetInstr si251[] = {
01453 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01454 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01455 {SO_HLT,0,0,0}
01456 };
01457 const SetInstr si252[] = {
01458 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
01459 {SO_HLT,0,0,0}
01460 };
01461 const SetInstr si253[] = {
01462 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
01463 {SO_HLT,0,0,0}
01464 };
01465 const SetInstr si254[] = {
01466 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
01467 {SO_HLT,0,0,0}
01468 };
01469 const SetInstr si255[] = {
01470 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01471 {SO_UNION ,0,1,0},
01472 {SO_HLT,0,0,0}
01473 };
01474 const SetInstr si256[] = {
01475 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01476 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
01477 {SO_HLT,0,0,0}
01478 };
01479 const SetInstr si257[] = {
01480 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01481 {SO_UNION ,0,1,0},
01482 {SO_HLT,0,0,0}
01483 };
01484 const SetInstr si258[] = {
01485 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01486 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01487 {SO_HLT,0,0,0}
01488 };
01489 const SetInstr si259[] = {
01490 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
01491 {SO_HLT,0,0,0}
01492 };
01493 const SetInstr si260[] = {
01494 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
01495 {SO_HLT,0,0,0}
01496 };
01497 const SetInstr si261[] = {
01498 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
01499 {SO_HLT,0,0,0}
01500 };
01501 const SetInstr si262[] = {
01502 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01503 {SO_UNION,0,1,0},
01504 {SO_HLT,0,0,0}
01505 };
01506 const SetInstr si263[] = {
01507 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01508 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
01509 {SO_HLT,0,0,0}
01510 };
01511 const SetInstr si264[] = {
01512 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01513 {SO_UNION,0,1,0},
01514 {SO_HLT,0,0,0}
01515 };
01516 const SetInstr si265[] = {
01517 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01518 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01519 {SO_HLT,0,0,0}
01520 };
01521 const SetInstr si266[] = {
01522 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
01523 {SO_HLT,0,0,0}
01524 };
01525 const SetInstr si267[] = {
01526 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
01527 {SO_HLT,0,0,0}
01528 };
01529 const SetInstr si268[] = {
01530 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
01531 {SO_HLT,0,0,0}
01532 };
01533 const SetInstr si269[] = {
01534 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01535 {SO_DUNION,0,1,0},
01536 {SO_HLT,0,0,0}
01537 };
01538 const SetInstr si270[] = {
01539 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01540 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
01541 {SO_HLT,0,0,0}
01542 };
01543 const SetInstr si271[] = {
01544 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01545 {SO_DUNION,0,1,0},
01546 {SO_HLT,0,0,0}
01547 };
01548 const SetInstr si272[] = {
01549 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01550 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01551 {SO_HLT,0,0,0}
01552 };
01553 const SetInstr si273[] = {
01554 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
01555 {SO_HLT,0,0,0}
01556 };
01557 const SetInstr si274[] = {
01558 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
01559 {SO_HLT,0,0,0}
01560 };
01561 const SetInstr si275[] = {
01562 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
01563 {SO_HLT,0,0,0}
01564 };
01565 const SetInstr si276[] = {
01566 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01567 {SO_MINUS,0,1,0},
01568 {SO_HLT,0,0,0}
01569 };
01570 const SetInstr si277[] = {
01571 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01572 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
01573 {SO_HLT,0,0,0}
01574 };
01575 const SetInstr si278[] = {
01576 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01577 {SO_MINUS,0,1,0},
01578 {SO_HLT,0,0,0}
01579 };
01580 const SetInstr si279[] = {
01581 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01582 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01583 {SO_HLT,0,0,0}
01584 };
01585 const SetInstr si280[] = {
01586 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
01587 {SO_HLT,0,0,0}
01588 };
01589 const SetInstr si281[] = {
01590 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
01591 {SO_HLT,0,0,0}
01592 };
01593 const SetInstr si282[] = {
01594 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
01595 {SO_HLT,0,0,0}
01596 };
01597 const SetInstr si283[] = {
01598 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01599 {SO_INTER,0,1,0},
01600 {SO_HLT,0,0,0}
01601 };
01602 const SetInstr si284[] = {
01603 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01604 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
01605 {SO_HLT,0,0,0}
01606 };
01607 const SetInstr si285[] = {
01608 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01609 {SO_INTER,0,1,0},
01610 {SO_HLT,0,0,0}
01611 };
01612 const SetInstr si286[] = {
01613 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01614 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01615 {SO_HLT,0,0,0}
01616 };
01617 const SetInstr si287[] = {
01618 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
01619 {SO_HLT,0,0,0}
01620 };
01621 const SetInstr si288[] = {
01622 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
01623 {SO_HLT,0,0,0}
01624 };
01625 const SetInstr si289[] = {
01626 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
01627 {SO_HLT,0,0,0}
01628 };
01629 const SetInstr si290[] = {
01630 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01631 {SO_UNION ,0,1,0},
01632 {SO_HLT,0,0,0}
01633 };
01634 const SetInstr si291[] = {
01635 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01636 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
01637 {SO_HLT,0,0,0}
01638 };
01639 const SetInstr si292[] = {
01640 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01641 {SO_UNION ,0,1,0},
01642 {SO_HLT,0,0,0}
01643 };
01644 const SetInstr si293[] = {
01645 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01646 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01647 {SO_HLT,0,0,0}
01648 };
01649 const SetInstr si294[] = {
01650 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
01651 {SO_HLT,0,0,0}
01652 };
01653 const SetInstr si295[] = {
01654 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
01655 {SO_HLT,0,0,0}
01656 };
01657 const SetInstr si296[] = {
01658 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
01659 {SO_HLT,0,0,0}
01660 };
01661 const SetInstr si297[] = {
01662 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01663 {SO_UNION,0,1,0},
01664 {SO_HLT,0,0,0}
01665 };
01666 const SetInstr si298[] = {
01667 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01668 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
01669 {SO_HLT,0,0,0}
01670 };
01671 const SetInstr si299[] = {
01672 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01673 {SO_UNION,0,1,0},
01674 {SO_HLT,0,0,0}
01675 };
01676 const SetInstr si300[] = {
01677 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01678 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01679 {SO_HLT,0,0,0}
01680 };
01681 const SetInstr si301[] = {
01682 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
01683 {SO_HLT,0,0,0}
01684 };
01685 const SetInstr si302[] = {
01686 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
01687 {SO_HLT,0,0,0}
01688 };
01689 const SetInstr si303[] = {
01690 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
01691 {SO_HLT,0,0,0}
01692 };
01693 const SetInstr si304[] = {
01694 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01695 {SO_DUNION,0,1,0},
01696 {SO_HLT,0,0,0}
01697 };
01698 const SetInstr si305[] = {
01699 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01700 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
01701 {SO_HLT,0,0,0}
01702 };
01703 const SetInstr si306[] = {
01704 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01705 {SO_DUNION,0,1,0},
01706 {SO_HLT,0,0,0}
01707 };
01708 const SetInstr si307[] = {
01709 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01710 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01711 {SO_HLT,0,0,0}
01712 };
01713 const SetInstr si308[] = {
01714 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
01715 {SO_HLT,0,0,0}
01716 };
01717 const SetInstr si309[] = {
01718 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
01719 {SO_HLT,0,0,0}
01720 };
01721 const SetInstr si310[] = {
01722 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
01723 {SO_HLT,0,0,0}
01724 };
01725 const SetInstr si311[] = {
01726 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01727 {SO_MINUS,0,1,0},
01728 {SO_HLT,0,0,0}
01729 };
01730 const SetInstr si312[] = {
01731 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01732 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
01733 {SO_HLT,0,0,0}
01734 };
01735 const SetInstr si313[] = {
01736 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01737 {SO_MINUS,0,1,0},
01738 {SO_HLT,0,0,0}
01739 };
01740 const SetInstr si314[] = {
01741 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01742 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01743 {SO_HLT,0,0,0}
01744 };
01745 const SetInstr si315[] = {
01746 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
01747 {SO_HLT,0,0,0}
01748 };
01749 const SetInstr si316[] = {
01750 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
01751 {SO_HLT,0,0,0}
01752 };
01753 const SetInstr si317[] = {
01754 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
01755 {SO_HLT,0,0,0}
01756 };
01757 const SetInstr si318[] = {
01758 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01759 {SO_INTER,0,1,0},
01760 {SO_HLT,0,0,0}
01761 };
01762 const SetInstr si319[] = {
01763 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01764 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
01765 {SO_HLT,0,0,0}
01766 };
01767 const SetInstr si320[] = {
01768 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01769 {SO_INTER,0,1,0},
01770 {SO_HLT,0,0,0}
01771 };
01772 const SetInstr si321[] = {
01773 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01774 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01775 {SO_HLT,0,0,0}
01776 };
01777 const SetInstr si322[] = {
01778 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
01779 {SO_HLT,0,0,0}
01780 };
01781 const SetInstr si323[] = {
01782 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
01783 {SO_HLT,0,0,0}
01784 };
01785 const SetInstr si324[] = {
01786 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
01787 {SO_HLT,0,0,0}
01788 };
01789 const SetInstr si325[] = {
01790 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01791 {SO_UNION ,0,1,0},
01792 {SO_HLT,0,0,0}
01793 };
01794 const SetInstr si326[] = {
01795 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01796 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
01797 {SO_HLT,0,0,0}
01798 };
01799 const SetInstr si327[] = {
01800 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01801 {SO_UNION ,0,1,0},
01802 {SO_HLT,0,0,0}
01803 };
01804 const SetInstr si328[] = {
01805 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01806 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01807 {SO_HLT,0,0,0}
01808 };
01809 const SetInstr si329[] = {
01810 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01811 {SO_HLT,0,0,0}
01812 };
01813 const SetInstr si330[] = {
01814 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
01815 {SO_HLT,0,0,0}
01816 };
01817 const SetInstr si331[] = {
01818 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
01819 {SO_HLT,0,0,0}
01820 };
01821 const SetInstr si332[] = {
01822 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01823 {SO_UNION,0,1,0},
01824 {SO_HLT,0,0,0}
01825 };
01826 const SetInstr si333[] = {
01827 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01828 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01829 {SO_HLT,0,0,0}
01830 };
01831 const SetInstr si334[] = {
01832 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01833 {SO_UNION,0,1,0},
01834 {SO_HLT,0,0,0}
01835 };
01836 const SetInstr si335[] = {
01837 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01838 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01839 {SO_HLT,0,0,0}
01840 };
01841 const SetInstr si336[] = {
01842 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01843 {SO_HLT,0,0,0}
01844 };
01845 const SetInstr si337[] = {
01846 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
01847 {SO_HLT,0,0,0}
01848 };
01849 const SetInstr si338[] = {
01850 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
01851 {SO_HLT,0,0,0}
01852 };
01853 const SetInstr si339[] = {
01854 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01855 {SO_DUNION,0,1,0},
01856 {SO_HLT,0,0,0}
01857 };
01858 const SetInstr si340[] = {
01859 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01860 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01861 {SO_HLT,0,0,0}
01862 };
01863 const SetInstr si341[] = {
01864 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01865 {SO_DUNION,0,1,0},
01866 {SO_HLT,0,0,0}
01867 };
01868 const SetInstr si342[] = {
01869 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01870 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01871 {SO_HLT,0,0,0}
01872 };
01873 const SetInstr si343[] = {
01874 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01875 {SO_HLT,0,0,0}
01876 };
01877 const SetInstr si344[] = {
01878 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
01879 {SO_HLT,0,0,0}
01880 };
01881 const SetInstr si345[] = {
01882 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
01883 {SO_HLT,0,0,0}
01884 };
01885 const SetInstr si346[] = {
01886 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01887 {SO_MINUS,0,1,0},
01888 {SO_HLT,0,0,0}
01889 };
01890 const SetInstr si347[] = {
01891 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01892 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01893 {SO_HLT,0,0,0}
01894 };
01895 const SetInstr si348[] = {
01896 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01897 {SO_MINUS,0,1,0},
01898 {SO_HLT,0,0,0}
01899 };
01900 const SetInstr si349[] = {
01901 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01902 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01903 {SO_HLT,0,0,0}
01904 };
01905 const SetInstr si350[] = {
01906 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
01907 {SO_HLT,0,0,0}
01908 };
01909 const SetInstr si351[] = {
01910 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
01911 {SO_HLT,0,0,0}
01912 };
01913 const SetInstr si352[] = {
01914 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
01915 {SO_HLT,0,0,0}
01916 };
01917 const SetInstr si353[] = {
01918 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01919 {SO_INTER,0,1,0},
01920 {SO_HLT,0,0,0}
01921 };
01922 const SetInstr si354[] = {
01923 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01924 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
01925 {SO_HLT,0,0,0}
01926 };
01927 const SetInstr si355[] = {
01928 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01929 {SO_INTER,0,1,0},
01930 {SO_HLT,0,0,0}
01931 };
01932 const SetInstr si356[] = {
01933 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01934 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01935 {SO_HLT,0,0,0}
01936 };
01937 const SetInstr si357[] = {
01938 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01939 {SO_HLT,0,0,0}
01940 };
01941 const SetInstr si358[] = {
01942 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
01943 {SO_HLT,0,0,0}
01944 };
01945 const SetInstr si359[] = {
01946 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
01947 {SO_HLT,0,0,0}
01948 };
01949 const SetInstr si360[] = {
01950 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01951 {SO_UNION ,0,1,0},
01952 {SO_HLT,0,0,0}
01953 };
01954 const SetInstr si361[] = {
01955 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01956 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01957 {SO_HLT,0,0,0}
01958 };
01959 const SetInstr si362[] = {
01960 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01961 {SO_UNION ,0,1,0},
01962 {SO_HLT,0,0,0}
01963 };
01964 const SetInstr si363[] = {
01965 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01966 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01967 {SO_HLT,0,0,0}
01968 };
01969 const SetInstr si364[] = {
01970 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
01971 {SO_HLT,0,0,0}
01972 };
01973 const SetInstr si365[] = {
01974 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
01975 {SO_HLT,0,0,0}
01976 };
01977 const SetInstr si366[] = {
01978 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
01979 {SO_HLT,0,0,0}
01980 };
01981 const SetInstr si367[] = {
01982 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01983 {SO_UNION,0,1,0},
01984 {SO_HLT,0,0,0}
01985 };
01986 const SetInstr si368[] = {
01987 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01988 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
01989 {SO_HLT,0,0,0}
01990 };
01991 const SetInstr si369[] = {
01992 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01993 {SO_UNION,0,1,0},
01994 {SO_HLT,0,0,0}
01995 };
01996 const SetInstr si370[] = {
01997 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01998 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01999 {SO_HLT,0,0,0}
02000 };
02001 const SetInstr si371[] = {
02002 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02003 {SO_HLT,0,0,0}
02004 };
02005 const SetInstr si372[] = {
02006 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
02007 {SO_HLT,0,0,0}
02008 };
02009 const SetInstr si373[] = {
02010 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
02011 {SO_HLT,0,0,0}
02012 };
02013 const SetInstr si374[] = {
02014 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
02015 {SO_DUNION,0,1,0},
02016 {SO_HLT,0,0,0}
02017 };
02018 const SetInstr si375[] = {
02019 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02020 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02021 {SO_HLT,0,0,0}
02022 };
02023 const SetInstr si376[] = {
02024 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02025 {SO_DUNION,0,1,0},
02026 {SO_HLT,0,0,0}
02027 };
02028 const SetInstr si377[] = {
02029 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02030 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02031 {SO_HLT,0,0,0}
02032 };
02033 const SetInstr si378[] = {
02034 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02035 {SO_HLT,0,0,0}
02036 };
02037 const SetInstr si379[] = {
02038 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
02039 {SO_HLT,0,0,0}
02040 };
02041 const SetInstr si380[] = {
02042 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
02043 {SO_HLT,0,0,0}
02044 };
02045 const SetInstr si381[] = {
02046 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
02047 {SO_MINUS,0,1,0},
02048 {SO_HLT,0,0,0}
02049 };
02050 const SetInstr si382[] = {
02051 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02052 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02053 {SO_HLT,0,0,0}
02054 };
02055 const SetInstr si383[] = {
02056 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02057 {SO_MINUS,0,1,0},
02058 {SO_HLT,0,0,0}
02059 };
02060 const SetInstr si384[] = {
02061 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02062 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02063 {SO_HLT,0,0,0}
02064 };
02065 const SetInstr si385[] = {
02066 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02067 {SO_HLT,0,0,0}
02068 };
02069 const SetInstr si386[] = {
02070 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
02071 {SO_HLT,0,0,0}
02072 };
02073 const SetInstr si387[] = {
02074 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
02075 {SO_HLT,0,0,0}
02076 };
02077 const SetInstr si388[] = {
02078 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02079 {SO_INTER,0,1,0},
02080 {SO_HLT,0,0,0}
02081 };
02082 const SetInstr si389[] = {
02083 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02084 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02085 {SO_HLT,0,0,0}
02086 };
02087 const SetInstr si390[] = {
02088 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02089 {SO_INTER,0,1,0},
02090 {SO_HLT,0,0,0}
02091 };
02092 const SetInstr si391[] = {
02093 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02094 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02095 {SO_HLT,0,0,0}
02096 };
02097 const SetInstr si392[] = {
02098 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02099 {SO_HLT,0,0,0}
02100 };
02101 const SetInstr si393[] = {
02102 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
02103 {SO_HLT,0,0,0}
02104 };
02105 const SetInstr si394[] = {
02106 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
02107 {SO_HLT,0,0,0}
02108 };
02109 const SetInstr si395[] = {
02110 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02111 {SO_UNION ,0,1,0},
02112 {SO_HLT,0,0,0}
02113 };
02114 const SetInstr si396[] = {
02115 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02116 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02117 {SO_HLT,0,0,0}
02118 };
02119 const SetInstr si397[] = {
02120 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02121 {SO_UNION ,0,1,0},
02122 {SO_HLT,0,0,0}
02123 };
02124 const SetInstr si398[] = {
02125 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02126 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02127 {SO_HLT,0,0,0}
02128 };
02129 const SetInstr si399[] = {
02130 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02131 {SO_HLT,0,0,0}
02132 };
02133 const SetInstr si400[] = {
02134 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
02135 {SO_HLT,0,0,0}
02136 };
02137 const SetInstr si401[] = {
02138 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
02139 {SO_HLT,0,0,0}
02140 };
02141 const SetInstr si402[] = {
02142 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02143 {SO_UNION,0,1,0},
02144 {SO_HLT,0,0,0}
02145 };
02146 const SetInstr si403[] = {
02147 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02148 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02149 {SO_HLT,0,0,0}
02150 };
02151 const SetInstr si404[] = {
02152 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02153 {SO_UNION,0,1,0},
02154 {SO_HLT,0,0,0}
02155 };
02156 const SetInstr si405[] = {
02157 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02158 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02159 {SO_HLT,0,0,0}
02160 };
02161 const SetInstr si406[] = {
02162 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02163 {SO_HLT,0,0,0}
02164 };
02165 const SetInstr si407[] = {
02166 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
02167 {SO_HLT,0,0,0}
02168 };
02169 const SetInstr si408[] = {
02170 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
02171 {SO_HLT,0,0,0}
02172 };
02173 const SetInstr si409[] = {
02174 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02175 {SO_DUNION,0,1,0},
02176 {SO_HLT,0,0,0}
02177 };
02178 const SetInstr si410[] = {
02179 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02180 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02181 {SO_HLT,0,0,0}
02182 };
02183 const SetInstr si411[] = {
02184 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02185 {SO_DUNION,0,1,0},
02186 {SO_HLT,0,0,0}
02187 };
02188 const SetInstr si412[] = {
02189 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02190 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02191 {SO_HLT,0,0,0}
02192 };
02193 const SetInstr si413[] = {
02194 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02195 {SO_HLT,0,0,0}
02196 };
02197 const SetInstr si414[] = {
02198 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
02199 {SO_HLT,0,0,0}
02200 };
02201 const SetInstr si415[] = {
02202 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
02203 {SO_HLT,0,0,0}
02204 };
02205 const SetInstr si416[] = {
02206 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02207 {SO_MINUS,0,1,0},
02208 {SO_HLT,0,0,0}
02209 };
02210 const SetInstr si417[] = {
02211 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02212 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02213 {SO_HLT,0,0,0}
02214 };
02215 const SetInstr si418[] = {
02216 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02217 {SO_MINUS,0,1,0},
02218 {SO_HLT,0,0,0}
02219 };
02220 const SetInstr si419[] = {
02221 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02222 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02223 {SO_HLT,0,0,0}
02224 };
02225 const SetInstr si420[] = {
02226 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
02227 {SO_HLT,0,0,0}
02228 };
02229 const SetInstr si421[] = {
02230 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
02231 {SO_HLT,0,0,0}
02232 };
02233 const SetInstr si422[] = {
02234 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
02235 {SO_HLT,0,0,0}
02236 };
02237 const SetInstr si423[] = {
02238 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02239 {SO_INTER,0,1,0},
02240 {SO_HLT,0,0,0}
02241 };
02242 const SetInstr si424[] = {
02243 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02244 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
02245 {SO_HLT,0,0,0}
02246 };
02247 const SetInstr si425[] = {
02248 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02249 {SO_INTER,0,1,0},
02250 {SO_HLT,0,0,0}
02251 };
02252 const SetInstr si426[] = {
02253 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02254 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02255 {SO_HLT,0,0,0}
02256 };
02257 const SetInstr si427[] = {
02258 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
02259 {SO_HLT,0,0,0}
02260 };
02261 const SetInstr si428[] = {
02262 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
02263 {SO_HLT,0,0,0}
02264 };
02265 const SetInstr si429[] = {
02266 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
02267 {SO_HLT,0,0,0}
02268 };
02269 const SetInstr si430[] = {
02270 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02271 {SO_UNION ,0,1,0},
02272 {SO_HLT,0,0,0}
02273 };
02274 const SetInstr si431[] = {
02275 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02276 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
02277 {SO_HLT,0,0,0}
02278 };
02279 const SetInstr si432[] = {
02280 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02281 {SO_UNION ,0,1,0},
02282 {SO_HLT,0,0,0}
02283 };
02284 const SetInstr si433[] = {
02285 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02286 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02287 {SO_HLT,0,0,0}
02288 };
02289 const SetInstr si434[] = {
02290 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
02291 {SO_HLT,0,0,0}
02292 };
02293 const SetInstr si435[] = {
02294 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
02295 {SO_HLT,0,0,0}
02296 };
02297 const SetInstr si436[] = {
02298 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
02299 {SO_HLT,0,0,0}
02300 };
02301 const SetInstr si437[] = {
02302 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02303 {SO_UNION,0,1,0},
02304 {SO_HLT,0,0,0}
02305 };
02306 const SetInstr si438[] = {
02307 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02308 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
02309 {SO_HLT,0,0,0}
02310 };
02311 const SetInstr si439[] = {
02312 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02313 {SO_UNION,0,1,0},
02314 {SO_HLT,0,0,0}
02315 };
02316 const SetInstr si440[] = {
02317 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02318 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02319 {SO_HLT,0,0,0}
02320 };
02321 const SetInstr si441[] = {
02322 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
02323 {SO_HLT,0,0,0}
02324 };
02325 const SetInstr si442[] = {
02326 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
02327 {SO_HLT,0,0,0}
02328 };
02329 const SetInstr si443[] = {
02330 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
02331 {SO_HLT,0,0,0}
02332 };
02333 const SetInstr si444[] = {
02334 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02335 {SO_DUNION,0,1,0},
02336 {SO_HLT,0,0,0}
02337 };
02338 const SetInstr si445[] = {
02339 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02340 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
02341 {SO_HLT,0,0,0}
02342 };
02343 const SetInstr si446[] = {
02344 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02345 {SO_DUNION,0,1,0},
02346 {SO_HLT,0,0,0}
02347 };
02348 const SetInstr si447[] = {
02349 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02350 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02351 {SO_HLT,0,0,0}
02352 };
02353 const SetInstr si448[] = {
02354 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
02355 {SO_HLT,0,0,0}
02356 };
02357 const SetInstr si449[] = {
02358 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
02359 {SO_HLT,0,0,0}
02360 };
02361 const SetInstr si450[] = {
02362 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
02363 {SO_HLT,0,0,0}
02364 };
02365 const SetInstr si451[] = {
02366 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02367 {SO_MINUS,0,1,0},
02368 {SO_HLT,0,0,0}
02369 };
02370 const SetInstr si452[] = {
02371 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02372 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
02373 {SO_HLT,0,0,0}
02374 };
02375 const SetInstr si453[] = {
02376 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02377 {SO_MINUS,0,1,0},
02378 {SO_HLT,0,0,0}
02379 };
02380 const SetInstr si454[] = {
02381 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02382 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02383 {SO_HLT,0,0,0}
02384 };
02385 const SetInstr si455[] = {
02386 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
02387 {SO_HLT,0,0,0}
02388 };
02389 const SetInstr si456[] = {
02390 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
02391 {SO_HLT,0,0,0}
02392 };
02393 const SetInstr si457[] = {
02394 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
02395 {SO_HLT,0,0,0}
02396 };
02397 const SetInstr si458[] = {
02398 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02399 {SO_INTER,0,1,0},
02400 {SO_HLT,0,0,0}
02401 };
02402 const SetInstr si459[] = {
02403 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02404 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
02405 {SO_HLT,0,0,0}
02406 };
02407 const SetInstr si460[] = {
02408 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02409 {SO_INTER,0,1,0},
02410 {SO_HLT,0,0,0}
02411 };
02412 const SetInstr si461[] = {
02413 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02414 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02415 {SO_HLT,0,0,0}
02416 };
02417 const SetInstr si462[] = {
02418 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
02419 {SO_HLT,0,0,0}
02420 };
02421 const SetInstr si463[] = {
02422 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
02423 {SO_HLT,0,0,0}
02424 };
02425 const SetInstr si464[] = {
02426 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
02427 {SO_HLT,0,0,0}
02428 };
02429 const SetInstr si465[] = {
02430 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02431 {SO_UNION ,0,1,0},
02432 {SO_HLT,0,0,0}
02433 };
02434 const SetInstr si466[] = {
02435 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02436 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
02437 {SO_HLT,0,0,0}
02438 };
02439 const SetInstr si467[] = {
02440 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02441 {SO_UNION ,0,1,0},
02442 {SO_HLT,0,0,0}
02443 };
02444 const SetInstr si468[] = {
02445 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02446 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02447 {SO_HLT,0,0,0}
02448 };
02449 const SetInstr si469[] = {
02450 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
02451 {SO_HLT,0,0,0}
02452 };
02453 const SetInstr si470[] = {
02454 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
02455 {SO_HLT,0,0,0}
02456 };
02457 const SetInstr si471[] = {
02458 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
02459 {SO_HLT,0,0,0}
02460 };
02461 const SetInstr si472[] = {
02462 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02463 {SO_UNION,0,1,0},
02464 {SO_HLT,0,0,0}
02465 };
02466 const SetInstr si473[] = {
02467 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02468 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
02469 {SO_HLT,0,0,0}
02470 };
02471 const SetInstr si474[] = {
02472 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02473 {SO_UNION,0,1,0},
02474 {SO_HLT,0,0,0}
02475 };
02476 const SetInstr si475[] = {
02477 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02478 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02479 {SO_HLT,0,0,0}
02480 };
02481 const SetInstr si476[] = {
02482 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
02483 {SO_HLT,0,0,0}
02484 };
02485 const SetInstr si477[] = {
02486 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
02487 {SO_HLT,0,0,0}
02488 };
02489 const SetInstr si478[] = {
02490 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
02491 {SO_HLT,0,0,0}
02492 };
02493 const SetInstr si479[] = {
02494 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02495 {SO_DUNION,0,1,0},
02496 {SO_HLT,0,0,0}
02497 };
02498 const SetInstr si480[] = {
02499 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02500 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
02501 {SO_HLT,0,0,0}
02502 };
02503 const SetInstr si481[] = {
02504 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02505 {SO_DUNION,0,1,0},
02506 {SO_HLT,0,0,0}
02507 };
02508 const SetInstr si482[] = {
02509 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02510 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02511 {SO_HLT,0,0,0}
02512 };
02513 const SetInstr si483[] = {
02514 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
02515 {SO_HLT,0,0,0}
02516 };
02517 const SetInstr si484[] = {
02518 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
02519 {SO_HLT,0,0,0}
02520 };
02521 const SetInstr si485[] = {
02522 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
02523 {SO_HLT,0,0,0}
02524 };
02525 const SetInstr si486[] = {
02526 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02527 {SO_MINUS,0,1,0},
02528 {SO_HLT,0,0,0}
02529 };
02530 const SetInstr si487[] = {
02531 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02532 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
02533 {SO_HLT,0,0,0}
02534 };
02535 const SetInstr si488[] = {
02536 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02537 {SO_MINUS,0,1,0},
02538 {SO_HLT,0,0,0}
02539 };
02540 const SetInstr si489[] = {
02541 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02542 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02543 {SO_HLT,0,0,0}
02544 };
02545 const SetInstr si490[] = {
02546 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
02547 {SO_HLT,0,0,0}
02548 };
02549 const SetInstr si491[] = {
02550 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
02551 {SO_HLT,0,0,0}
02552 };
02553 const SetInstr si492[] = {
02554 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
02555 {SO_HLT,0,0,0}
02556 };
02557 const SetInstr si493[] = {
02558 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02559 {SO_INTER,0,1,0},
02560 {SO_HLT,0,0,0}
02561 };
02562 const SetInstr si494[] = {
02563 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02564 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
02565 {SO_HLT,0,0,0}
02566 };
02567 const SetInstr si495[] = {
02568 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02569 {SO_INTER,0,1,0},
02570 {SO_HLT,0,0,0}
02571 };
02572 const SetInstr si496[] = {
02573 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02574 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02575 {SO_HLT,0,0,0}
02576 };
02577 const SetInstr si497[] = {
02578 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
02579 {SO_HLT,0,0,0}
02580 };
02581 const SetInstr si498[] = {
02582 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
02583 {SO_HLT,0,0,0}
02584 };
02585 const SetInstr si499[] = {
02586 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
02587 {SO_HLT,0,0,0}
02588 };
02589 const SetInstr si500[] = {
02590 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02591 {SO_UNION ,0,1,0},
02592 {SO_HLT,0,0,0}
02593 };
02594 const SetInstr si501[] = {
02595 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02596 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
02597 {SO_HLT,0,0,0}
02598 };
02599 const SetInstr si502[] = {
02600 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02601 {SO_UNION ,0,1,0},
02602 {SO_HLT,0,0,0}
02603 };
02604 const SetInstr si503[] = {
02605 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02606 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02607 {SO_HLT,0,0,0}
02608 };
02609 const SetInstr si504[] = {
02610 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
02611 {SO_HLT,0,0,0}
02612 };
02613 const SetInstr si505[] = {
02614 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
02615 {SO_HLT,0,0,0}
02616 };
02617 const SetInstr si506[] = {
02618 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
02619 {SO_HLT,0,0,0}
02620 };
02621 const SetInstr si507[] = {
02622 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02623 {SO_UNION,0,1,0},
02624 {SO_HLT,0,0,0}
02625 };
02626 const SetInstr si508[] = {
02627 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02628 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
02629 {SO_HLT,0,0,0}
02630 };
02631 const SetInstr si509[] = {
02632 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02633 {SO_UNION,0,1,0},
02634 {SO_HLT,0,0,0}
02635 };
02636 const SetInstr si510[] = {
02637 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02638 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02639 {SO_HLT,0,0,0}
02640 };
02641 const SetInstr si511[] = {
02642 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
02643 {SO_HLT,0,0,0}
02644 };
02645 const SetInstr si512[] = {
02646 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
02647 {SO_HLT,0,0,0}
02648 };
02649 const SetInstr si513[] = {
02650 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
02651 {SO_HLT,0,0,0}
02652 };
02653 const SetInstr si514[] = {
02654 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02655 {SO_DUNION,0,1,0},
02656 {SO_HLT,0,0,0}
02657 };
02658 const SetInstr si515[] = {
02659 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02660 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
02661 {SO_HLT,0,0,0}
02662 };
02663 const SetInstr si516[] = {
02664 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02665 {SO_DUNION,0,1,0},
02666 {SO_HLT,0,0,0}
02667 };
02668 const SetInstr si517[] = {
02669 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02670 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02671 {SO_HLT,0,0,0}
02672 };
02673 const SetInstr si518[] = {
02674 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
02675 {SO_HLT,0,0,0}
02676 };
02677 const SetInstr si519[] = {
02678 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
02679 {SO_HLT,0,0,0}
02680 };
02681 const SetInstr si520[] = {
02682 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
02683 {SO_HLT,0,0,0}
02684 };
02685 const SetInstr si521[] = {
02686 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02687 {SO_MINUS,0,1,0},
02688 {SO_HLT,0,0,0}
02689 };
02690 const SetInstr si522[] = {
02691 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02692 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
02693 {SO_HLT,0,0,0}
02694 };
02695 const SetInstr si523[] = {
02696 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02697 {SO_MINUS,0,1,0},
02698 {SO_HLT,0,0,0}
02699 };
02700 const SetInstr si524[] = {
02701 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02702 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02703 {SO_HLT,0,0,0}
02704 };
02705 const SetInstr si525[] = {
02706 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
02707 {SO_HLT,0,0,0}
02708 };
02709 const SetInstr si526[] = {
02710 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
02711 {SO_HLT,0,0,0}
02712 };
02713 const SetInstr si527[] = {
02714 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
02715 {SO_HLT,0,0,0}
02716 };
02717 const SetInstr si528[] = {
02718 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02719 {SO_INTER,0,1,0},
02720 {SO_HLT,0,0,0}
02721 };
02722 const SetInstr si529[] = {
02723 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02724 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
02725 {SO_HLT,0,0,0}
02726 };
02727 const SetInstr si530[] = {
02728 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02729 {SO_INTER,0,1,0},
02730 {SO_HLT,0,0,0}
02731 };
02732 const SetInstr si531[] = {
02733 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02734 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02735 {SO_HLT,0,0,0}
02736 };
02737 const SetInstr si532[] = {
02738 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
02739 {SO_HLT,0,0,0}
02740 };
02741 const SetInstr si533[] = {
02742 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
02743 {SO_HLT,0,0,0}
02744 };
02745 const SetInstr si534[] = {
02746 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
02747 {SO_HLT,0,0,0}
02748 };
02749 const SetInstr si535[] = {
02750 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02751 {SO_UNION ,0,1,0},
02752 {SO_HLT,0,0,0}
02753 };
02754 const SetInstr si536[] = {
02755 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02756 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
02757 {SO_HLT,0,0,0}
02758 };
02759 const SetInstr si537[] = {
02760 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02761 {SO_UNION ,0,1,0},
02762 {SO_HLT,0,0,0}
02763 };
02764 const SetInstr si538[] = {
02765 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02766 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02767 {SO_HLT,0,0,0}
02768 };
02769 const SetInstr si539[] = {
02770 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
02771 {SO_HLT,0,0,0}
02772 };
02773 const SetInstr si540[] = {
02774 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
02775 {SO_HLT,0,0,0}
02776 };
02777 const SetInstr si541[] = {
02778 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
02779 {SO_HLT,0,0,0}
02780 };
02781 const SetInstr si542[] = {
02782 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02783 {SO_UNION,0,1,0},
02784 {SO_HLT,0,0,0}
02785 };
02786 const SetInstr si543[] = {
02787 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02788 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
02789 {SO_HLT,0,0,0}
02790 };
02791 const SetInstr si544[] = {
02792 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02793 {SO_UNION,0,1,0},
02794 {SO_HLT,0,0,0}
02795 };
02796 const SetInstr si545[] = {
02797 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02798 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02799 {SO_HLT,0,0,0}
02800 };
02801 const SetInstr si546[] = {
02802 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02803 {SO_HLT,0,0,0}
02804 };
02805 const SetInstr si547[] = {
02806 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
02807 {SO_HLT,0,0,0}
02808 };
02809 const SetInstr si548[] = {
02810 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
02811 {SO_HLT,0,0,0}
02812 };
02813 const SetInstr si549[] = {
02814 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02815 {SO_DUNION,0,1,0},
02816 {SO_HLT,0,0,0}
02817 };
02818 const SetInstr si550[] = {
02819 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02820 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02821 {SO_HLT,0,0,0}
02822 };
02823 const SetInstr si551[] = {
02824 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02825 {SO_DUNION,0,1,0},
02826 {SO_HLT,0,0,0}
02827 };
02828 const SetInstr si552[] = {
02829 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02830 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02831 {SO_HLT,0,0,0}
02832 };
02833 const SetInstr si553[] = {
02834 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02835 {SO_HLT,0,0,0}
02836 };
02837 const SetInstr si554[] = {
02838 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
02839 {SO_HLT,0,0,0}
02840 };
02841 const SetInstr si555[] = {
02842 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
02843 {SO_HLT,0,0,0}
02844 };
02845 const SetInstr si556[] = {
02846 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02847 {SO_MINUS,0,1,0},
02848 {SO_HLT,0,0,0}
02849 };
02850 const SetInstr si557[] = {
02851 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02852 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02853 {SO_HLT,0,0,0}
02854 };
02855 const SetInstr si558[] = {
02856 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02857 {SO_MINUS,0,1,0},
02858 {SO_HLT,0,0,0}
02859 };
02860 const SetInstr si559[] = {
02861 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02862 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02863 {SO_HLT,0,0,0}
02864 };
02865 const SetInstr si560[] = {
02866 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02867 {SO_HLT,0,0,0}
02868 };
02869 const SetInstr si561[] = {
02870 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
02871 {SO_HLT,0,0,0}
02872 };
02873 const SetInstr si562[] = {
02874 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
02875 {SO_HLT,0,0,0}
02876 };
02877 const SetInstr si563[] = {
02878 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02879 {SO_INTER,0,1,0},
02880 {SO_HLT,0,0,0}
02881 };
02882 const SetInstr si564[] = {
02883 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02884 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02885 {SO_HLT,0,0,0}
02886 };
02887 const SetInstr si565[] = {
02888 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02889 {SO_INTER,0,1,0},
02890 {SO_HLT,0,0,0}
02891 };
02892 const SetInstr si566[] = {
02893 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02894 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02895 {SO_HLT,0,0,0}
02896 };
02897 const SetInstr si567[] = {
02898 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02899 {SO_HLT,0,0,0}
02900 };
02901 const SetInstr si568[] = {
02902 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
02903 {SO_HLT,0,0,0}
02904 };
02905 const SetInstr si569[] = {
02906 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
02907 {SO_HLT,0,0,0}
02908 };
02909 const SetInstr si570[] = {
02910 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02911 {SO_UNION ,0,1,0},
02912 {SO_HLT,0,0,0}
02913 };
02914 const SetInstr si571[] = {
02915 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02916 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02917 {SO_HLT,0,0,0}
02918 };
02919 const SetInstr si572[] = {
02920 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02921 {SO_UNION ,0,1,0},
02922 {SO_HLT,0,0,0}
02923 };
02924 const SetInstr si573[] = {
02925 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02926 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02927 {SO_HLT,0,0,0}
02928 };
02929 const SetInstr si574[] = {
02930 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02931 {SO_HLT,0,0,0}
02932 };
02933 const SetInstr si575[] = {
02934 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
02935 {SO_HLT,0,0,0}
02936 };
02937 const SetInstr si576[] = {
02938 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
02939 {SO_HLT,0,0,0}
02940 };
02941 const SetInstr si577[] = {
02942 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02943 {SO_UNION,0,1,0},
02944 {SO_HLT,0,0,0}
02945 };
02946 const SetInstr si578[] = {
02947 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02948 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02949 {SO_HLT,0,0,0}
02950 };
02951 const SetInstr si579[] = {
02952 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02953 {SO_UNION,0,1,0},
02954 {SO_HLT,0,0,0}
02955 };
02956 const SetInstr si580[] = {
02957 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02958 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02959 {SO_HLT,0,0,0}
02960 };
02961 const SetInstr si581[] = {
02962 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02963 {SO_HLT,0,0,0}
02964 };
02965 const SetInstr si582[] = {
02966 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
02967 {SO_HLT,0,0,0}
02968 };
02969 const SetInstr si583[] = {
02970 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
02971 {SO_HLT,0,0,0}
02972 };
02973 const SetInstr si584[] = {
02974 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02975 {SO_DUNION,0,1,0},
02976 {SO_HLT,0,0,0}
02977 };
02978 const SetInstr si585[] = {
02979 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02980 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02981 {SO_HLT,0,0,0}
02982 };
02983 const SetInstr si586[] = {
02984 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02985 {SO_DUNION,0,1,0},
02986 {SO_HLT,0,0,0}
02987 };
02988 const SetInstr si587[] = {
02989 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02990 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02991 {SO_HLT,0,0,0}
02992 };
02993 const SetInstr si588[] = {
02994 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02995 {SO_HLT,0,0,0}
02996 };
02997 const SetInstr si589[] = {
02998 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
02999 {SO_HLT,0,0,0}
03000 };
03001 const SetInstr si590[] = {
03002 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
03003 {SO_HLT,0,0,0}
03004 };
03005 const SetInstr si591[] = {
03006 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
03007 {SO_MINUS,0,1,0},
03008 {SO_HLT,0,0,0}
03009 };
03010 const SetInstr si592[] = {
03011 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03012 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
03013 {SO_HLT,0,0,0}
03014 };
03015 const SetInstr si593[] = {
03016 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03017 {SO_MINUS,0,1,0},
03018 {SO_HLT,0,0,0}
03019 };
03020 const SetInstr si594[] = {
03021 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03022 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03023 {SO_HLT,0,0,0}
03024 };
03025 const SetInstr si595[] = {
03026 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
03027 {SO_HLT,0,0,0}
03028 };
03029 const SetInstr si596[] = {
03030 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
03031 {SO_HLT,0,0,0}
03032 };
03033 const SetInstr si597[] = {
03034 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
03035 {SO_HLT,0,0,0}
03036 };
03037 const SetInstr si598[] = {
03038 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03039 {SO_INTER,0,1,0},
03040 {SO_HLT,0,0,0}
03041 };
03042 const SetInstr si599[] = {
03043 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03044 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
03045 {SO_HLT,0,0,0}
03046 };
03047 const SetInstr si600[] = {
03048 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03049 {SO_INTER,0,1,0},
03050 {SO_HLT,0,0,0}
03051 };
03052 const SetInstr si601[] = {
03053 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03054 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03055 {SO_HLT,0,0,0}
03056 };
03057 const SetInstr si602[] = {
03058 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03059 {SO_HLT,0,0,0}
03060 };
03061 const SetInstr si603[] = {
03062 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
03063 {SO_HLT,0,0,0}
03064 };
03065 const SetInstr si604[] = {
03066 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
03067 {SO_HLT,0,0,0}
03068 };
03069 const SetInstr si605[] = {
03070 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03071 {SO_UNION ,0,1,0},
03072 {SO_HLT,0,0,0}
03073 };
03074 const SetInstr si606[] = {
03075 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03076 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03077 {SO_HLT,0,0,0}
03078 };
03079 const SetInstr si607[] = {
03080 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03081 {SO_UNION ,0,1,0},
03082 {SO_HLT,0,0,0}
03083 };
03084 const SetInstr si608[] = {
03085 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03086 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03087 {SO_HLT,0,0,0}
03088 };
03089 const SetInstr si609[] = {
03090 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
03091 {SO_HLT,0,0,0}
03092 };
03093 const SetInstr si610[] = {
03094 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
03095 {SO_HLT,0,0,0}
03096 };
03097 const SetInstr si611[] = {
03098 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
03099 {SO_HLT,0,0,0}
03100 };
03101 const SetInstr si612[] = {
03102 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03103 {SO_UNION,0,1,0},
03104 {SO_HLT,0,0,0}
03105 };
03106 const SetInstr si613[] = {
03107 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03108 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
03109 {SO_HLT,0,0,0}
03110 };
03111 const SetInstr si614[] = {
03112 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03113 {SO_UNION,0,1,0},
03114 {SO_HLT,0,0,0}
03115 };
03116 const SetInstr si615[] = {
03117 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03118 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03119 {SO_HLT,0,0,0}
03120 };
03121 const SetInstr si616[] = {
03122 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03123 {SO_HLT,0,0,0}
03124 };
03125 const SetInstr si617[] = {
03126 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
03127 {SO_HLT,0,0,0}
03128 };
03129 const SetInstr si618[] = {
03130 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
03131 {SO_HLT,0,0,0}
03132 };
03133 const SetInstr si619[] = {
03134 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03135 {SO_DUNION,0,1,0},
03136 {SO_HLT,0,0,0}
03137 };
03138 const SetInstr si620[] = {
03139 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03140 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03141 {SO_HLT,0,0,0}
03142 };
03143 const SetInstr si621[] = {
03144 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03145 {SO_DUNION,0,1,0},
03146 {SO_HLT,0,0,0}
03147 };
03148 const SetInstr si622[] = {
03149 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03150 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03151 {SO_HLT,0,0,0}
03152 };
03153 const SetInstr si623[] = {
03154 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03155 {SO_HLT,0,0,0}
03156 };
03157 const SetInstr si624[] = {
03158 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
03159 {SO_HLT,0,0,0}
03160 };
03161 const SetInstr si625[] = {
03162 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
03163 {SO_HLT,0,0,0}
03164 };
03165 const SetInstr si626[] = {
03166 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03167 {SO_MINUS,0,1,0},
03168 {SO_HLT,0,0,0}
03169 };
03170 const SetInstr si627[] = {
03171 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03172 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03173 {SO_HLT,0,0,0}
03174 };
03175 const SetInstr si628[] = {
03176 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03177 {SO_MINUS,0,1,0},
03178 {SO_HLT,0,0,0}
03179 };
03180 const SetInstr si629[] = {
03181 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03182 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03183 {SO_HLT,0,0,0}
03184 };
03185 const SetInstr si630[] = {
03186 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
03187 {SO_HLT,0,0,0}
03188 };
03189 const SetInstr si631[] = {
03190 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
03191 {SO_HLT,0,0,0}
03192 };
03193 const SetInstr si632[] = {
03194 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
03195 {SO_HLT,0,0,0}
03196 };
03197 const SetInstr si633[] = {
03198 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03199 {SO_INTER,0,1,0},
03200 {SO_HLT,0,0,0}
03201 };
03202 const SetInstr si634[] = {
03203 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03204 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
03205 {SO_HLT,0,0,0}
03206 };
03207 const SetInstr si635[] = {
03208 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03209 {SO_INTER,0,1,0},
03210 {SO_HLT,0,0,0}
03211 };
03212 const SetInstr si636[] = {
03213 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03214 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03215 {SO_HLT,0,0,0}
03216 };
03217 const SetInstr si637[] = {
03218 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
03219 {SO_HLT,0,0,0}
03220 };
03221 const SetInstr si638[] = {
03222 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
03223 {SO_HLT,0,0,0}
03224 };
03225 const SetInstr si639[] = {
03226 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
03227 {SO_HLT,0,0,0}
03228 };
03229 const SetInstr si640[] = {
03230 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03231 {SO_UNION ,0,1,0},
03232 {SO_HLT,0,0,0}
03233 };
03234 const SetInstr si641[] = {
03235 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03236 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
03237 {SO_HLT,0,0,0}
03238 };
03239 const SetInstr si642[] = {
03240 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03241 {SO_UNION ,0,1,0},
03242 {SO_HLT,0,0,0}
03243 };
03244 const SetInstr si643[] = {
03245 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03246 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03247 {SO_HLT,0,0,0}
03248 };
03249 const SetInstr si644[] = {
03250 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
03251 {SO_HLT,0,0,0}
03252 };
03253 const SetInstr si645[] = {
03254 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
03255 {SO_HLT,0,0,0}
03256 };
03257 const SetInstr si646[] = {
03258 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
03259 {SO_HLT,0,0,0}
03260 };
03261 const SetInstr si647[] = {
03262 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03263 {SO_UNION,0,1,0},
03264 {SO_HLT,0,0,0}
03265 };
03266 const SetInstr si648[] = {
03267 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03268 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
03269 {SO_HLT,0,0,0}
03270 };
03271 const SetInstr si649[] = {
03272 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03273 {SO_UNION,0,1,0},
03274 {SO_HLT,0,0,0}
03275 };
03276 const SetInstr si650[] = {
03277 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03278 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03279 {SO_HLT,0,0,0}
03280 };
03281 const SetInstr si651[] = {
03282 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
03283 {SO_HLT,0,0,0}
03284 };
03285 const SetInstr si652[] = {
03286 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
03287 {SO_HLT,0,0,0}
03288 };
03289 const SetInstr si653[] = {
03290 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
03291 {SO_HLT,0,0,0}
03292 };
03293 const SetInstr si654[] = {
03294 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03295 {SO_DUNION,0,1,0},
03296 {SO_HLT,0,0,0}
03297 };
03298 const SetInstr si655[] = {
03299 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03300 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
03301 {SO_HLT,0,0,0}
03302 };
03303 const SetInstr si656[] = {
03304 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03305 {SO_DUNION,0,1,0},
03306 {SO_HLT,0,0,0}
03307 };
03308 const SetInstr si657[] = {
03309 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03310 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03311 {SO_HLT,0,0,0}
03312 };
03313 const SetInstr si658[] = {
03314 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
03315 {SO_HLT,0,0,0}
03316 };
03317 const SetInstr si659[] = {
03318 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
03319 {SO_HLT,0,0,0}
03320 };
03321 const SetInstr si660[] = {
03322 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
03323 {SO_HLT,0,0,0}
03324 };
03325 const SetInstr si661[] = {
03326 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03327 {SO_MINUS,0,1,0},
03328 {SO_HLT,0,0,0}
03329 };
03330 const SetInstr si662[] = {
03331 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03332 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
03333 {SO_HLT,0,0,0}
03334 };
03335 const SetInstr si663[] = {
03336 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03337 {SO_MINUS,0,1,0},
03338 {SO_HLT,0,0,0}
03339 };
03340 const SetInstr si664[] = {
03341 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03342 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03343 {SO_HLT,0,0,0}
03344 };
03345 const SetInstr si665[] = {
03346 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
03347 {SO_HLT,0,0,0}
03348 };
03349 const SetInstr si666[] = {
03350 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
03351 {SO_HLT,0,0,0}
03352 };
03353 const SetInstr si667[] = {
03354 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
03355 {SO_HLT,0,0,0}
03356 };
03357 const SetInstr si668[] = {
03358 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
03359 {SO_INTER,0,1,0},
03360 {SO_HLT,0,0,0}
03361 };
03362 const SetInstr si669[] = {
03363 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03364 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
03365 {SO_HLT,0,0,0}
03366 };
03367 const SetInstr si670[] = {
03368 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03369 {SO_INTER,0,1,0},
03370 {SO_HLT,0,0,0}
03371 };
03372 const SetInstr si671[] = {
03373 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03374 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03375 {SO_HLT,0,0,0}
03376 };
03377 const SetInstr si672[] = {
03378 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
03379 {SO_HLT,0,0,0}
03380 };
03381 const SetInstr si673[] = {
03382 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
03383 {SO_HLT,0,0,0}
03384 };
03385 const SetInstr si674[] = {
03386 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
03387 {SO_HLT,0,0,0}
03388 };
03389 const SetInstr si675[] = {
03390 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
03391 {SO_UNION ,0,1,0},
03392 {SO_HLT,0,0,0}
03393 };
03394 const SetInstr si676[] = {
03395 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03396 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
03397 {SO_HLT,0,0,0}
03398 };
03399 const SetInstr si677[] = {
03400 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03401 {SO_UNION ,0,1,0},
03402 {SO_HLT,0,0,0}
03403 };
03404 const SetInstr si678[] = {
03405 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03406 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03407 {SO_HLT,0,0,0}
03408 };
03409 const SetInstr si679[] = {
03410 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
03411 {SO_HLT,0,0,0}
03412 };
03413 const SetInstr si680[] = {
03414 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
03415 {SO_HLT,0,0,0}
03416 };
03417 const SetInstr si681[] = {
03418 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
03419 {SO_HLT,0,0,0}
03420 };
03421 const SetInstr si682[] = {
03422 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
03423 {SO_UNION,0,1,0},
03424 {SO_HLT,0,0,0}
03425 };
03426 const SetInstr si683[] = {
03427 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03428 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
03429 {SO_HLT,0,0,0}
03430 };
03431 const SetInstr si684[] = {
03432 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03433 {SO_UNION,0,1,0},
03434 {SO_HLT,0,0,0}
03435 };
03436 const SetInstr si685[] = {
03437 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03438 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03439 {SO_HLT,0,0,0}
03440 };
03441 const SetInstr si686[] = {
03442 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
03443 {SO_HLT,0,0,0}
03444 };
03445 const SetInstr si687[] = {
03446 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
03447 {SO_HLT,0,0,0}
03448 };
03449 const SetInstr si688[] = {
03450 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
03451 {SO_HLT,0,0,0}
03452 };
03453 const SetInstr si689[] = {
03454 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
03455 {SO_DUNION,0,1,0},
03456 {SO_HLT,0,0,0}
03457 };
03458 const SetInstr si690[] = {
03459 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03460 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
03461 {SO_HLT,0,0,0}
03462 };
03463 const SetInstr si691[] = {
03464 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03465 {SO_DUNION,0,1,0},
03466 {SO_HLT,0,0,0}
03467 };
03468 const SetInstr si692[] = {
03469 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03470 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03471 {SO_HLT,0,0,0}
03472 };
03473 const SetInstr si693[] = {
03474 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
03475 {SO_HLT,0,0,0}
03476 };
03477 const SetInstr si694[] = {
03478 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
03479 {SO_HLT,0,0,0}
03480 };
03481 const SetInstr si695[] = {
03482 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
03483 {SO_HLT,0,0,0}
03484 };
03485 const SetInstr si696[] = {
03486 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
03487 {SO_MINUS,0,1,0},
03488 {SO_HLT,0,0,0}
03489 };
03490 const SetInstr si697[] = {
03491 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03492 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
03493 {SO_HLT,0,0,0}
03494 };
03495 const SetInstr si698[] = {
03496 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03497 {SO_MINUS,0,1,0},
03498 {SO_HLT,0,0,0}
03499 };
03500 const SetInstr si699[] = {
03501 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
03502 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03503 {SO_HLT,0,0,0}
03504 };
03505 const SetInstr si700[] = {
03506 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
03507 {SO_HLT,0,0,0}
03508 };
03509 const SetInstr si701[] = {
03510 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
03511 {SO_HLT,0,0,0}
03512 };
03513 const SetInstr si702[] = {
03514 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
03515 {SO_HLT,0,0,0}
03516 };
03517 const SetInstr si703[] = {
03518 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
03519 {SO_INTER,0,1,0},
03520 {SO_HLT,0,0,0}
03521 };
03522 const SetInstr si704[] = {
03523 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03524 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
03525 {SO_HLT,0,0,0}
03526 };
03527 const SetInstr si705[] = {
03528 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03529 {SO_INTER,0,1,0},
03530 {SO_HLT,0,0,0}
03531 };
03532 const SetInstr si706[] = {
03533 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03534 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03535 {SO_HLT,0,0,0}
03536 };
03537 const SetInstr si707[] = {
03538 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
03539 {SO_HLT,0,0,0}
03540 };
03541 const SetInstr si708[] = {
03542 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
03543 {SO_HLT,0,0,0}
03544 };
03545 const SetInstr si709[] = {
03546 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
03547 {SO_HLT,0,0,0}
03548 };
03549 const SetInstr si710[] = {
03550 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
03551 {SO_UNION ,0,1,0},
03552 {SO_HLT,0,0,0}
03553 };
03554 const SetInstr si711[] = {
03555 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03556 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
03557 {SO_HLT,0,0,0}
03558 };
03559 const SetInstr si712[] = {
03560 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03561 {SO_UNION ,0,1,0},
03562 {SO_HLT,0,0,0}
03563 };
03564 const SetInstr si713[] = {
03565 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03566 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03567 {SO_HLT,0,0,0}
03568 };
03569 const SetInstr si714[] = {
03570 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
03571 {SO_HLT,0,0,0}
03572 };
03573 const SetInstr si715[] = {
03574 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
03575 {SO_HLT,0,0,0}
03576 };
03577 const SetInstr si716[] = {
03578 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
03579 {SO_HLT,0,0,0}
03580 };
03581 const SetInstr si717[] = {
03582 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
03583 {SO_UNION,0,1,0},
03584 {SO_HLT,0,0,0}
03585 };
03586 const SetInstr si718[] = {
03587 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03588 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
03589 {SO_HLT,0,0,0}
03590 };
03591 const SetInstr si719[] = {
03592 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03593 {SO_UNION,0,1,0},
03594 {SO_HLT,0,0,0}
03595 };
03596 const SetInstr si720[] = {
03597 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03598 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03599 {SO_HLT,0,0,0}
03600 };
03601 const SetInstr si721[] = {
03602 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
03603 {SO_HLT,0,0,0}
03604 };
03605 const SetInstr si722[] = {
03606 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
03607 {SO_HLT,0,0,0}
03608 };
03609 const SetInstr si723[] = {
03610 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
03611 {SO_HLT,0,0,0}
03612 };
03613 const SetInstr si724[] = {
03614 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
03615 {SO_DUNION,0,1,0},
03616 {SO_HLT,0,0,0}
03617 };
03618 const SetInstr si725[] = {
03619 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03620 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
03621 {SO_HLT,0,0,0}
03622 };
03623 const SetInstr si726[] = {
03624 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03625 {SO_DUNION,0,1,0},
03626 {SO_HLT,0,0,0}
03627 };
03628 const SetInstr si727[] = {
03629 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03630 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03631 {SO_HLT,0,0,0}
03632 };
03633 const SetInstr si728[] = {
03634 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
03635 {SO_HLT,0,0,0}
03636 };
03637 const SetInstr si729[] = {
03638 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
03639 {SO_HLT,0,0,0}
03640 };
03641 const SetInstr si730[] = {
03642 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
03643 {SO_HLT,0,0,0}
03644 };
03645 const SetInstr si731[] = {
03646 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
03647 {SO_MINUS,0,1,0},
03648 {SO_HLT,0,0,0}
03649 };
03650 const SetInstr si732[] = {
03651 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03652 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
03653 {SO_HLT,0,0,0}
03654 };
03655 const SetInstr si733[] = {
03656 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03657 {SO_MINUS,0,1,0},
03658 {SO_HLT,0,0,0}
03659 };
03660 const SetInstr si734[] = {
03661 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
03662 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03663 {SO_HLT,0,0,0}
03664 };
03665 const SetInstr si735[] = {
03666 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
03667 {SO_HLT,0,0,0}
03668 };
03669 const SetInstr si736[] = {
03670 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
03671 {SO_HLT,0,0,0}
03672 };
03673 const SetInstr si737[] = {
03674 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
03675 {SO_HLT,0,0,0}
03676 };
03677 const SetInstr si738[] = {
03678 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
03679 {SO_INTER,0,1,0},
03680 {SO_HLT,0,0,0}
03681 };
03682 const SetInstr si739[] = {
03683 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03684 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
03685 {SO_HLT,0,0,0}
03686 };
03687 const SetInstr si740[] = {
03688 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03689 {SO_INTER,0,1,0},
03690 {SO_HLT,0,0,0}
03691 };
03692 const SetInstr si741[] = {
03693 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03694 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03695 {SO_HLT,0,0,0}
03696 };
03697 const SetInstr si742[] = {
03698 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
03699 {SO_HLT,0,0,0}
03700 };
03701 const SetInstr si743[] = {
03702 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
03703 {SO_HLT,0,0,0}
03704 };
03705 const SetInstr si744[] = {
03706 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
03707 {SO_HLT,0,0,0}
03708 };
03709 const SetInstr si745[] = {
03710 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
03711 {SO_UNION ,0,1,0},
03712 {SO_HLT,0,0,0}
03713 };
03714 const SetInstr si746[] = {
03715 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03716 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
03717 {SO_HLT,0,0,0}
03718 };
03719 const SetInstr si747[] = {
03720 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03721 {SO_UNION ,0,1,0},
03722 {SO_HLT,0,0,0}
03723 };
03724 const SetInstr si748[] = {
03725 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03726 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03727 {SO_HLT,0,0,0}
03728 };
03729 const SetInstr si749[] = {
03730 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
03731 {SO_HLT,0,0,0}
03732 };
03733 const SetInstr si750[] = {
03734 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
03735 {SO_HLT,0,0,0}
03736 };
03737 const SetInstr si751[] = {
03738 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
03739 {SO_HLT,0,0,0}
03740 };
03741 const SetInstr si752[] = {
03742 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
03743 {SO_UNION,0,1,0},
03744 {SO_HLT,0,0,0}
03745 };
03746 const SetInstr si753[] = {
03747 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03748 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
03749 {SO_HLT,0,0,0}
03750 };
03751 const SetInstr si754[] = {
03752 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03753 {SO_UNION,0,1,0},
03754 {SO_HLT,0,0,0}
03755 };
03756 const SetInstr si755[] = {
03757 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03758 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03759 {SO_HLT,0,0,0}
03760 };
03761 const SetInstr si756[] = {
03762 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
03763 {SO_HLT,0,0,0}
03764 };
03765 const SetInstr si757[] = {
03766 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
03767 {SO_HLT,0,0,0}
03768 };
03769 const SetInstr si758[] = {
03770 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
03771 {SO_HLT,0,0,0}
03772 };
03773 const SetInstr si759[] = {
03774 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
03775 {SO_DUNION,0,1,0},
03776 {SO_HLT,0,0,0}
03777 };
03778 const SetInstr si760[] = {
03779 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03780 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
03781 {SO_HLT,0,0,0}
03782 };
03783 const SetInstr si761[] = {
03784 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03785 {SO_DUNION,0,1,0},
03786 {SO_HLT,0,0,0}
03787 };
03788 const SetInstr si762[] = {
03789 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03790 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03791 {SO_HLT,0,0,0}
03792 };
03793 const SetInstr si763[] = {
03794 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
03795 {SO_HLT,0,0,0}
03796 };
03797 const SetInstr si764[] = {
03798 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
03799 {SO_HLT,0,0,0}
03800 };
03801 const SetInstr si765[] = {
03802 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
03803 {SO_HLT,0,0,0}
03804 };
03805 const SetInstr si766[] = {
03806 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
03807 {SO_MINUS,0,1,0},
03808 {SO_HLT,0,0,0}
03809 };
03810 const SetInstr si767[] = {
03811 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03812 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
03813 {SO_HLT,0,0,0}
03814 };
03815 const SetInstr si768[] = {
03816 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03817 {SO_MINUS,0,1,0},
03818 {SO_HLT,0,0,0}
03819 };
03820 const SetInstr si769[] = {
03821 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03822 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03823 {SO_HLT,0,0,0}
03824 };
03825 const SetInstr si770[] = {
03826 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
03827 {SO_HLT,0,0,0}
03828 };
03829 const SetInstr si771[] = {
03830 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
03831 {SO_HLT,0,0,0}
03832 };
03833 const SetInstr si772[] = {
03834 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
03835 {SO_HLT,0,0,0}
03836 };
03837 const SetInstr si773[] = {
03838 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
03839 {SO_INTER,0,1,0},
03840 {SO_HLT,0,0,0}
03841 };
03842 const SetInstr si774[] = {
03843 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03844 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
03845 {SO_HLT,0,0,0}
03846 };
03847 const SetInstr si775[] = {
03848 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03849 {SO_INTER,0,1,0},
03850 {SO_HLT,0,0,0}
03851 };
03852 const SetInstr si776[] = {
03853 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03854 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03855 {SO_HLT,0,0,0}
03856 };
03857 const SetInstr si777[] = {
03858 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03859 {SO_HLT,0,0,0}
03860 };
03861 const SetInstr si778[] = {
03862 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
03863 {SO_HLT,0,0,0}
03864 };
03865 const SetInstr si779[] = {
03866 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
03867 {SO_HLT,0,0,0}
03868 };
03869 const SetInstr si780[] = {
03870 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
03871 {SO_UNION ,0,1,0},
03872 {SO_HLT,0,0,0}
03873 };
03874 const SetInstr si781[] = {
03875 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03876 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03877 {SO_HLT,0,0,0}
03878 };
03879 const SetInstr si782[] = {
03880 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03881 {SO_UNION ,0,1,0},
03882 {SO_HLT,0,0,0}
03883 };
03884 const SetInstr si783[] = {
03885 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03886 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03887 {SO_HLT,0,0,0}
03888 };
03889 const SetInstr si784[] = {
03890 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
03891 {SO_HLT,0,0,0}
03892 };
03893 const SetInstr si785[] = {
03894 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
03895 {SO_HLT,0,0,0}
03896 };
03897 const SetInstr si786[] = {
03898 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
03899 {SO_HLT,0,0,0}
03900 };
03901 const SetInstr si787[] = {
03902 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
03903 {SO_UNION,0,1,0},
03904 {SO_HLT,0,0,0}
03905 };
03906 const SetInstr si788[] = {
03907 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03908 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
03909 {SO_HLT,0,0,0}
03910 };
03911 const SetInstr si789[] = {
03912 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03913 {SO_UNION,0,1,0},
03914 {SO_HLT,0,0,0}
03915 };
03916 const SetInstr si790[] = {
03917 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03918 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03919 {SO_HLT,0,0,0}
03920 };
03921 const SetInstr si791[] = {
03922 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03923 {SO_HLT,0,0,0}
03924 };
03925 const SetInstr si792[] = {
03926 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
03927 {SO_HLT,0,0,0}
03928 };
03929 const SetInstr si793[] = {
03930 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
03931 {SO_HLT,0,0,0}
03932 };
03933 const SetInstr si794[] = {
03934 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
03935 {SO_DUNION,0,1,0},
03936 {SO_HLT,0,0,0}
03937 };
03938 const SetInstr si795[] = {
03939 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03940 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03941 {SO_HLT,0,0,0}
03942 };
03943 const SetInstr si796[] = {
03944 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03945 {SO_DUNION,0,1,0},
03946 {SO_HLT,0,0,0}
03947 };
03948 const SetInstr si797[] = {
03949 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03950 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03951 {SO_HLT,0,0,0}
03952 };
03953 const SetInstr si798[] = {
03954 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03955 {SO_HLT,0,0,0}
03956 };
03957 const SetInstr si799[] = {
03958 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
03959 {SO_HLT,0,0,0}
03960 };
03961 const SetInstr si800[] = {
03962 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
03963 {SO_HLT,0,0,0}
03964 };
03965 const SetInstr si801[] = {
03966 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
03967 {SO_MINUS,0,1,0},
03968 {SO_HLT,0,0,0}
03969 };
03970 const SetInstr si802[] = {
03971 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
03972 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03973 {SO_HLT,0,0,0}
03974 };
03975 const SetInstr si803[] = {
03976 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03977 {SO_MINUS,0,1,0},
03978 {SO_HLT,0,0,0}
03979 };
03980 const SetInstr si804[] = {
03981 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03982 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03983 {SO_HLT,0,0,0}
03984 };
03985 const SetInstr si805[] = {
03986 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
03987 {SO_HLT,0,0,0}
03988 };
03989 const SetInstr si806[] = {
03990 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
03991 {SO_HLT,0,0,0}
03992 };
03993 const SetInstr si807[] = {
03994 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
03995 {SO_HLT,0,0,0}
03996 };
03997 const SetInstr si808[] = {
03998 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
03999 {SO_INTER,0,1,0},
04000 {SO_HLT,0,0,0}
04001 };
04002 const SetInstr si809[] = {
04003 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04004 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
04005 {SO_HLT,0,0,0}
04006 };
04007 const SetInstr si810[] = {
04008 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04009 {SO_INTER,0,1,0},
04010 {SO_HLT,0,0,0}
04011 };
04012 const SetInstr si811[] = {
04013 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04014 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
04015 {SO_HLT,0,0,0}
04016 };
04017 const SetInstr si812[] = {
04018 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
04019 {SO_HLT,0,0,0}
04020 };
04021 const SetInstr si813[] = {
04022 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
04023 {SO_HLT,0,0,0}
04024 };
04025 const SetInstr si814[] = {
04026 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
04027 {SO_HLT,0,0,0}
04028 };
04029 const SetInstr si815[] = {
04030 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
04031 {SO_UNION ,0,1,0},
04032 {SO_HLT,0,0,0}
04033 };
04034 const SetInstr si816[] = {
04035 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04036 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
04037 {SO_HLT,0,0,0}
04038 };
04039 const SetInstr si817[] = {
04040 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04041 {SO_UNION ,0,1,0},
04042 {SO_HLT,0,0,0}
04043 };
04044 const SetInstr si818[] = {
04045 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04046 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
04047 {SO_HLT,0,0,0}
04048 };
04049 const SetInstr si819[] = {
04050 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
04051 {SO_HLT,0,0,0}
04052 };
04053 const SetInstr si820[] = {
04054 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
04055 {SO_HLT,0,0,0}
04056 };
04057 const SetInstr si821[] = {
04058 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
04059 {SO_HLT,0,0,0}
04060 };
04061 const SetInstr si822[] = {
04062 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
04063 {SO_UNION,0,1,0},
04064 {SO_HLT,0,0,0}
04065 };
04066 const SetInstr si823[] = {
04067 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04068 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
04069 {SO_HLT,0,0,0}
04070 };
04071 const SetInstr si824[] = {
04072 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04073 {SO_UNION,0,1,0},
04074 {SO_HLT,0,0,0}
04075 };
04076 const SetInstr si825[] = {
04077 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04078 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
04079 {SO_HLT,0,0,0}
04080 };
04081 const SetInstr si826[] = {
04082 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
04083 {SO_HLT,0,0,0}
04084 };
04085 const SetInstr si827[] = {
04086 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
04087 {SO_HLT,0,0,0}
04088 };
04089 const SetInstr si828[] = {
04090 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
04091 {SO_HLT,0,0,0}
04092 };
04093 const SetInstr si829[] = {
04094 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
04095 {SO_DUNION,0,1,0},
04096 {SO_HLT,0,0,0}
04097 };
04098 const SetInstr si830[] = {
04099 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04100 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
04101 {SO_HLT,0,0,0}
04102 };
04103 const SetInstr si831[] = {
04104 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04105 {SO_DUNION,0,1,0},
04106 {SO_HLT,0,0,0}
04107 };
04108 const SetInstr si832[] = {
04109 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04110 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
04111 {SO_HLT,0,0,0}
04112 };
04113 const SetInstr si833[] = {
04114 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
04115 {SO_HLT,0,0,0}
04116 };
04117 const SetInstr si834[] = {
04118 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
04119 {SO_HLT,0,0,0}
04120 };
04121 const SetInstr si835[] = {
04122 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
04123 {SO_HLT,0,0,0}
04124 };
04125 const SetInstr si836[] = {
04126 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
04127 {SO_MINUS,0,1,0},
04128 {SO_HLT,0,0,0}
04129 };
04130 const SetInstr si837[] = {
04131 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04132 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
04133 {SO_HLT,0,0,0}
04134 };
04135 const SetInstr si838[] = {
04136 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04137 {SO_MINUS,0,1,0},
04138 {SO_HLT,0,0,0}
04139 };
04140 const SetInstr si839[] = {
04141 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
04142 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
04143 {SO_HLT,0,0,0}
04144 };
04145 const SetInstr si840[] = {
04146 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
04147 {SO_HLT,0,0,0}
04148 };
04149 const SetInstr si841[] = {
04150 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
04151 {SO_HLT,0,0,0}
04152 };
04153 const SetInstr si842[] = {
04154 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
04155 {SO_HLT,0,0,0}
04156 };
04157 const SetInstr si843[] = {
04158 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
04159 {SO_INTER,0,1,0},
04160 {SO_HLT,0,0,0}
04161 };
04162 const SetInstr si844[] = {
04163 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04164 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
04165 {SO_HLT,0,0,0}
04166 };
04167 const SetInstr si845[] = {
04168 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04169 {SO_INTER,0,1,0},
04170 {SO_HLT,0,0,0}
04171 };
04172 const SetInstr si846[] = {
04173 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04174 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
04175 {SO_HLT,0,0,0}
04176 };
04177 const SetInstr si847[] = {
04178 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
04179 {SO_HLT,0,0,0}
04180 };
04181 const SetInstr si848[] = {
04182 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
04183 {SO_HLT,0,0,0}
04184 };
04185 const SetInstr si849[] = {
04186 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
04187 {SO_HLT,0,0,0}
04188 };
04189 const SetInstr si850[] = {
04190 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
04191 {SO_UNION ,0,1,0},
04192 {SO_HLT,0,0,0}
04193 };
04194 const SetInstr si851[] = {
04195 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04196 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
04197 {SO_HLT,0,0,0}
04198 };
04199 const SetInstr si852[] = {
04200 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04201 {SO_UNION ,0,1,0},
04202 {SO_HLT,0,0,0}
04203 };
04204 const SetInstr si853[] = {
04205 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04206 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
04207 {SO_HLT,0,0,0}
04208 };
04209 const SetInstr si854[] = {
04210 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
04211 {SO_HLT,0,0,0}
04212 };
04213 const SetInstr si855[] = {
04214 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
04215 {SO_HLT,0,0,0}
04216 };
04217 const SetInstr si856[] = {
04218 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
04219 {SO_HLT,0,0,0}
04220 };
04221 const SetInstr si857[] = {
04222 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
04223 {SO_UNION,0,1,0},
04224 {SO_HLT,0,0,0}
04225 };
04226 const SetInstr si858[] = {
04227 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04228 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
04229 {SO_HLT,0,0,0}
04230 };
04231 const SetInstr si859[] = {
04232 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04233 {SO_UNION,0,1,0},
04234 {SO_HLT,0,0,0}
04235 };
04236 const SetInstr si860[] = {
04237 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04238 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
04239 {SO_HLT,0,0,0}
04240 };
04241 const SetInstr si861[] = {
04242 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
04243 {SO_HLT,0,0,0}
04244 };
04245 const SetInstr si862[] = {
04246 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
04247 {SO_HLT,0,0,0}
04248 };
04249 const SetInstr si863[] = {
04250 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
04251 {SO_HLT,0,0,0}
04252 };
04253 const SetInstr si864[] = {
04254 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
04255 {SO_DUNION,0,1,0},
04256 {SO_HLT,0,0,0}
04257 };
04258 const SetInstr si865[] = {
04259 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04260 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
04261 {SO_HLT,0,0,0}
04262 };
04263 const SetInstr si866[] = {
04264 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04265 {SO_DUNION,0,1,0},
04266 {SO_HLT,0,0,0}
04267 };
04268 const SetInstr si867[] = {
04269 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04270 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
04271 {SO_HLT,0,0,0}
04272 };
04273 const SetInstr si868[] = {
04274 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
04275 {SO_HLT,0,0,0}
04276 };
04277 const SetInstr si869[] = {
04278 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
04279 {SO_HLT,0,0,0}
04280 };
04281 const SetInstr si870[] = {
04282 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
04283 {SO_HLT,0,0,0}
04284 };
04285 const SetInstr si871[] = {
04286 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
04287 {SO_MINUS,0,1,0},
04288 {SO_HLT,0,0,0}
04289 };
04290 const SetInstr si872[] = {
04291 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
04292 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
04293 {SO_HLT,0,0,0}
04294 };
04295 const SetInstr si873[] = {
04296 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04297 {SO_MINUS,0,1,0},
04298 {SO_HLT,0,0,0}
04299 };
04300 const SetInstr si874[] = {
04301 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
04302 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
04303 {SO_HLT,0,0,0}
04304 };
04305 const SetInstr si875[] = {
04306 {SO_CMPL,0,0,0},
04307 {SO_HLT,0,0,0}
04308 };
04309 const SetInstr si876[] = {
04310 {SO_INTER,0,1,0},
04311 {SO_HLT,0,0,0}
04312 };
04313 const SetInstr si877[] = {
04314 {SO_UNION,0,1,0},
04315 {SO_HLT,0,0,0}
04316 };
04317 const SetInstr si878[] = {
04318 {SO_DUNION,0,1,0},
04319 {SO_HLT,0,0,0}
04320 };
04321 const SetInstr si879[] = {
04322 {SO_MINUS,0,1,0},
04323 {SO_HLT,0,0,0}
04324 };
04325
04326
04327
04328 const SetInstr* si[] = {
04329 &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0],
04330 &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0],
04331 &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0],
04332 &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0],
04333 &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0],
04334 &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0],
04335 &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0],
04336 &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0],
04337 &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0],
04338 &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0],
04339 &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0],
04340 &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0],
04341 &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0],
04342 &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0],
04343 &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0],
04344 &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0],
04345 &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0],
04346 &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0],
04347 &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0],
04348 &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0],
04349 &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0],
04350 &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0],
04351 &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0],
04352 &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0],
04353 &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0],
04354 &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0],
04355 &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0],
04356 &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0],
04357 &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0],
04358 &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0],
04359 &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0],
04360 &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0],
04361 &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0],
04362 &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0],
04363 &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0],
04364 &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0],
04365 &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0],
04366 &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0],
04367 &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0],
04368 &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0],
04369 &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0],
04370 &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0],
04371 &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0],
04372 &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0],
04373 &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0],
04374 &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0],
04375 &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0],
04376 &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0],
04377 &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0],
04378 &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0],
04379 &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0],
04380 &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0],
04381 &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0],
04382 &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0],
04383 &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0],
04384 &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0],
04385 &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0],
04386 &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0],
04387 &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0],
04388 &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0],
04389 &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0],
04390 &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0],
04391 &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0],
04392 &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0],
04393 &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0],
04394 &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0],
04395 &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0],
04396 &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0],
04397 &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0],
04398 &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0],
04399 &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0],
04400 &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0],
04401 &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0],
04402 &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0],
04403 &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0],
04404 &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0],
04405 &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0],
04406 &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0],
04407 &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0],
04408 &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0],
04409 &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0],
04410 &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0],
04411 &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0],
04412 &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0],
04413 &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0],
04414 &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0],
04415 &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0],
04416 &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0],
04417 &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0],
04418 &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0],
04419 &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0],
04420 &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0],
04421 &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0],
04422 &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0],
04423 &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0],
04424 &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0],
04425 &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0],
04426 &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0],
04427 &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0],
04428 &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0],
04429 &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0],
04430 &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0],
04431 &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0],
04432 &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0],
04433 &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0],
04434 &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0],
04435 &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0],
04436 &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0],
04437 &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0],
04438 &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0],
04439 &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0],
04440 &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0],
04441 &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0],
04442 &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0],
04443 &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0],
04444 &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0],
04445 &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0],
04446 &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0],
04447 &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0],
04448 &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0],
04449 &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0],
04450 &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0],
04451 &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0],
04452 &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0],
04453 &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0],
04454 &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0],
04455 &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0],
04456 &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0],
04457 &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0],
04458 &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0],
04459 &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0],
04460 &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0],
04461 &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0],
04462 &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0],
04463 &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0],
04464 &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0],
04465 &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0],
04466 &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0],
04467 &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0],
04468 &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0],
04469 &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0],
04470 &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0],
04471 &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0],
04472 &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0],
04473 &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0],
04474 &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0],
04475 &si876[0],&si877[0],&si878[0],&si879[0]
04476 };
04477
04478
04480 class Create {
04481 public:
04483 Create(void) {
04484 int n = sizeof(si)/sizeof(SetInstr*);
04485 for (int i=0; i<n; i++) {
04486 std::string s = Test::str(i);
04487 if (i < 10) {
04488 s = "00" + s;
04489 } else if (i < 100) {
04490 s = "0" + s;
04491 }
04492 (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,0);
04493 (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,1);
04494 (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,0);
04495 (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,1);
04496 (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,0);
04497 (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,1);
04498 (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,0);
04499 (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,1);
04500 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,0);
04501 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,1);
04502
04503 if ( (i % 31) == 0) {
04504
04505 for (int j=0; j<n; j++) {
04506 if ( (j % 37) == 0) {
04507 std::string ss = Test::str(j);
04508 if (j < 10) {
04509 ss = "00" + ss;
04510 } else if (j < 100) {
04511 ss = "0" + ss;
04512 }
04513 ss=s+"::"+ss;
04514 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_EQ);
04515 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_NQ);
04516 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUB);
04517 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUP);
04518 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_DISJ);
04519 }
04520 }
04521 }
04522 }
04523 }
04524 };
04525
04526 Create c;
04528 }
04529
04530 }}
04531
04532