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