00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #include "test/int.hh"
00039
00040 #include <gecode/minimodel.hh>
00041
00042 namespace Test { namespace Int {
00043
00045 namespace MiniModelSet {
00046
00048 enum SetOpcode {
00049 SO_CMPL,
00050 SO_UNION,
00051 SO_DUNION,
00052 SO_INTER,
00053 SO_MINUS,
00054 SO_HLT
00055 };
00056
00058 class SetInstr {
00059 public:
00060 SetOpcode o;
00061 unsigned char x, y, z;
00062 };
00063
00065 int
00066 eval(const SetInstr* pc, int reg[], bool& failed) {
00067 failed = false;
00068 while (true) {
00069 switch (pc->o) {
00070 case SO_CMPL: reg[pc->y] = !reg[pc->x]; break;
00071 case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break;
00072 case SO_UNION: reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
00073 case SO_DUNION:
00074 if (reg[pc->x] && reg[pc->y])
00075 failed = true;
00076 reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
00077 case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break;
00078 case SO_HLT: return reg[pc->x];
00079 default: GECODE_NEVER;
00080 }
00081 pc++;
00082 }
00083 GECODE_NEVER;
00084 }
00085
00087 Gecode::SetExpr
00088 eval(const SetInstr* pc, Gecode::SetExpr reg[]) {
00089 using namespace Gecode;
00090 while (true) {
00091 switch (pc->o) {
00092 case SO_CMPL: reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break;
00093 case SO_INTER: reg[pc->z] = (reg[pc->x] & reg[pc->y]); break;
00094 case SO_UNION: reg[pc->z] = (reg[pc->x] | reg[pc->y]); break;
00095 case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
00096 case SO_MINUS: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
00097 case SO_HLT: return reg[pc->x];
00098 default: GECODE_NEVER;
00099 }
00100 pc++;
00101 }
00102 GECODE_NEVER;
00103 }
00104
00105 bool
00106 simpleReifiedSemantics(const SetInstr* pc) {
00107 while (pc->o != SO_HLT) {
00108 if (pc->o == SO_DUNION)
00109 return false;
00110 pc++;
00111 }
00112 return true;
00113 }
00114
00120
00121 class SetExprConst : public Test {
00122 protected:
00124 const SetInstr* bis;
00126 int c;
00128 Gecode::SetRelType srt;
00129 public:
00131 SetExprConst(const SetInstr* bis0, const std::string& s,
00132 Gecode::SetRelType srt0, int c0)
00133 : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0),
00134 4,0,1,simpleReifiedSemantics(bis0)),
00135 bis(bis0), c(c0), srt(srt0) {}
00137 virtual bool solution(const Assignment& x) const {
00138 int reg[4] = {(x[0] != x[2]), x[1],
00139 (x[2] > 0), x[3]};
00140 bool failed;
00141 int ret = eval(bis, reg, failed);
00142 if (failed)
00143 return false;
00144 switch (srt) {
00145 case Gecode::SRT_EQ: return ret == c;
00146 case Gecode::SRT_NQ: return ret != c;
00147 case Gecode::SRT_SUB: return ret <= c;
00148 case Gecode::SRT_SUP: return ret >= c;
00149 case Gecode::SRT_DISJ: return ret+c != 2;
00150 case Gecode::SRT_CMPL: return ret != c;
00151 }
00152 GECODE_NEVER;
00153 return false;
00154 }
00156 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00157 using namespace Gecode;
00158 SetVarArgs s(home,4,IntSet::empty,1,1);
00159 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00160 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00161 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00162 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00163 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
00164 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
00165 Gecode::SetExpr e = eval(bis,reg);
00166 switch (srt) {
00167 case Gecode::SRT_EQ: Gecode::rel(home, e == res); break;
00168 case Gecode::SRT_NQ: Gecode::rel(home, e != res); break;
00169 case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break;
00170 case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break;
00171 case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break;
00172 case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break;
00173 }
00174 }
00176 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00177 Gecode::BoolVar b) {
00178 using namespace Gecode;
00179 SetVarArgs s(home,4,IntSet::empty,1,1);
00180 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00181 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00182 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00183 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00184 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
00185 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
00186 Gecode::SetExpr e = eval(bis,reg);
00187 switch (srt) {
00188 case Gecode::SRT_EQ: Gecode::rel(home, (e == res)==b); break;
00189 case Gecode::SRT_NQ: Gecode::rel(home, (e != res)==b); break;
00190 case Gecode::SRT_SUB: Gecode::rel(home, (e <= res)==b); break;
00191 case Gecode::SRT_SUP: Gecode::rel(home, (e >= res)==b); break;
00192 case Gecode::SRT_DISJ: Gecode::rel(home, (e || res)==b); break;
00193 case Gecode::SRT_CMPL: Gecode::rel(home, (e == -res)==b); break;
00194 }
00195 }
00196 };
00197
00199 class SetExprExpr : public Test {
00200 protected:
00202 const SetInstr* bis0;
00204 const SetInstr* bis1;
00206 Gecode::SetRelType srt;
00207 public:
00209 SetExprExpr(const SetInstr* bis00, const SetInstr* bis10,
00210 const std::string& s, Gecode::SetRelType srt0)
00211 : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0),
00212 8,0,1,
00213 simpleReifiedSemantics(bis00) &&
00214 simpleReifiedSemantics(bis10)),
00215 bis0(bis00), bis1(bis10), srt(srt0) {}
00217 virtual bool solution(const Assignment& x) const {
00218 int reg0[4] = {(x[0] != x[2]), x[1],
00219 (x[2] > 0), x[3]};
00220 bool failed0;
00221 int ret0 = eval(bis0, reg0, failed0);
00222 if (failed0)
00223 return false;
00224
00225 int reg1[4] = {(x[4] != x[6]), x[5],
00226 (x[6] > 0), x[7]};
00227 bool failed1;
00228 int ret1 = eval(bis1, reg1, failed1);
00229
00230 if (failed1)
00231 return false;
00232
00233 switch (srt) {
00234 case Gecode::SRT_EQ: return ret0 == ret1;
00235 case Gecode::SRT_NQ: return ret0 != ret1;
00236 case Gecode::SRT_SUB: return ret0 <= ret1;
00237 case Gecode::SRT_SUP: return ret0 >= ret1;
00238 case Gecode::SRT_DISJ: return ret0+ret1 != 2;
00239 case Gecode::SRT_CMPL: return ret0 != ret1;
00240 }
00241 GECODE_NEVER;
00242 return false;
00243 }
00245 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00246 using namespace Gecode;
00247 SetVarArgs s(home,8,IntSet::empty,1,1);
00248 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00249 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00250 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00251 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00252
00253 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
00254 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
00255 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
00256 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
00257
00258 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
00259 Gecode::SetExpr e0 = eval(bis0,reg0);
00260
00261 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
00262 Gecode::SetExpr e1 = eval(bis1,reg1);
00263
00264 switch (srt) {
00265 case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break;
00266 case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break;
00267 case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break;
00268 case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break;
00269 case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break;
00270 case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break;
00271 }
00272 }
00274 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00275 Gecode::BoolVar b) {
00276 using namespace Gecode;
00277 SetVarArgs s(home,8,IntSet::empty,1,1);
00278 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
00279 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
00280 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
00281 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
00282
00283 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
00284 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
00285 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
00286 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
00287
00288 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
00289 Gecode::SetExpr e0 = eval(bis0,reg0);
00290
00291 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
00292 Gecode::SetExpr e1 = eval(bis1,reg1);
00293
00294 switch (srt) {
00295 case Gecode::SRT_EQ: Gecode::rel(home, (e0 == e1)==b); break;
00296 case Gecode::SRT_NQ: Gecode::rel(home, (e0 != e1)==b); break;
00297 case Gecode::SRT_SUB: Gecode::rel(home, (e0 <= e1)==b); break;
00298 case Gecode::SRT_SUP: Gecode::rel(home, (e0 >= e1)==b); break;
00299 case Gecode::SRT_DISJ: Gecode::rel(home, (e0 || e1)==b); break;
00300 case Gecode::SRT_CMPL: Gecode::rel(home, (e0 == -e1)==b); break;
00301 }
00302 }
00303 };
00304
00305 const SetInstr si000[] = {
00306 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
00307 {SO_HLT,0,0,0}
00308 };
00309 const SetInstr si001[] = {
00310 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
00311 {SO_HLT,0,0,0}
00312 };
00313 const SetInstr si002[] = {
00314 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
00315 {SO_HLT,0,0,0}
00316 };
00317 const SetInstr si003[] = {
00318 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00319 {SO_INTER,0,1,0},
00320 {SO_HLT,0,0,0}
00321 };
00322 const SetInstr si004[] = {
00323 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00324 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
00325 {SO_HLT,0,0,0}
00326 };
00327 const SetInstr si005[] = {
00328 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00329 {SO_INTER,0,1,0},
00330 {SO_HLT,0,0,0}
00331 };
00332 const SetInstr si006[] = {
00333 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00334 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00335 {SO_HLT,0,0,0}
00336 };
00337 const SetInstr si007[] = {
00338 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
00339 {SO_HLT,0,0,0}
00340 };
00341 const SetInstr si008[] = {
00342 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
00343 {SO_HLT,0,0,0}
00344 };
00345 const SetInstr si009[] = {
00346 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
00347 {SO_HLT,0,0,0}
00348 };
00349 const SetInstr si010[] = {
00350 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00351 {SO_UNION ,0,1,0},
00352 {SO_HLT,0,0,0}
00353 };
00354 const SetInstr si011[] = {
00355 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00356 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
00357 {SO_HLT,0,0,0}
00358 };
00359 const SetInstr si012[] = {
00360 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00361 {SO_UNION ,0,1,0},
00362 {SO_HLT,0,0,0}
00363 };
00364 const SetInstr si013[] = {
00365 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00366 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00367 {SO_HLT,0,0,0}
00368 };
00369 const SetInstr si014[] = {
00370 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
00371 {SO_HLT,0,0,0}
00372 };
00373 const SetInstr si015[] = {
00374 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
00375 {SO_HLT,0,0,0}
00376 };
00377 const SetInstr si016[] = {
00378 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
00379 {SO_HLT,0,0,0}
00380 };
00381 const SetInstr si017[] = {
00382 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00383 {SO_UNION,0,1,0},
00384 {SO_HLT,0,0,0}
00385 };
00386 const SetInstr si018[] = {
00387 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00388 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
00389 {SO_HLT,0,0,0}
00390 };
00391 const SetInstr si019[] = {
00392 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00393 {SO_UNION,0,1,0},
00394 {SO_HLT,0,0,0}
00395 };
00396 const SetInstr si020[] = {
00397 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00398 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00399 {SO_HLT,0,0,0}
00400 };
00401 const SetInstr si021[] = {
00402 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
00403 {SO_HLT,0,0,0}
00404 };
00405 const SetInstr si022[] = {
00406 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
00407 {SO_HLT,0,0,0}
00408 };
00409 const SetInstr si023[] = {
00410 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
00411 {SO_HLT,0,0,0}
00412 };
00413 const SetInstr si024[] = {
00414 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00415 {SO_DUNION,0,1,0},
00416 {SO_HLT,0,0,0}
00417 };
00418 const SetInstr si025[] = {
00419 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00420 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
00421 {SO_HLT,0,0,0}
00422 };
00423 const SetInstr si026[] = {
00424 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00425 {SO_DUNION,0,1,0},
00426 {SO_HLT,0,0,0}
00427 };
00428 const SetInstr si027[] = {
00429 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00430 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00431 {SO_HLT,0,0,0}
00432 };
00433 const SetInstr si028[] = {
00434 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
00435 {SO_HLT,0,0,0}
00436 };
00437 const SetInstr si029[] = {
00438 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
00439 {SO_HLT,0,0,0}
00440 };
00441 const SetInstr si030[] = {
00442 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
00443 {SO_HLT,0,0,0}
00444 };
00445 const SetInstr si031[] = {
00446 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
00447 {SO_MINUS,0,1,0},
00448 {SO_HLT,0,0,0}
00449 };
00450 const SetInstr si032[] = {
00451 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00452 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
00453 {SO_HLT,0,0,0}
00454 };
00455 const SetInstr si033[] = {
00456 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00457 {SO_MINUS,0,1,0},
00458 {SO_HLT,0,0,0}
00459 };
00460 const SetInstr si034[] = {
00461 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
00462 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00463 {SO_HLT,0,0,0}
00464 };
00465 const SetInstr si035[] = {
00466 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
00467 {SO_HLT,0,0,0}
00468 };
00469 const SetInstr si036[] = {
00470 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
00471 {SO_HLT,0,0,0}
00472 };
00473 const SetInstr si037[] = {
00474 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
00475 {SO_HLT,0,0,0}
00476 };
00477 const SetInstr si038[] = {
00478 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00479 {SO_INTER,0,1,0},
00480 {SO_HLT,0,0,0}
00481 };
00482 const SetInstr si039[] = {
00483 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00484 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
00485 {SO_HLT,0,0,0}
00486 };
00487 const SetInstr si040[] = {
00488 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00489 {SO_INTER,0,1,0},
00490 {SO_HLT,0,0,0}
00491 };
00492 const SetInstr si041[] = {
00493 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00494 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00495 {SO_HLT,0,0,0}
00496 };
00497 const SetInstr si042[] = {
00498 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
00499 {SO_HLT,0,0,0}
00500 };
00501 const SetInstr si043[] = {
00502 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
00503 {SO_HLT,0,0,0}
00504 };
00505 const SetInstr si044[] = {
00506 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
00507 {SO_HLT,0,0,0}
00508 };
00509 const SetInstr si045[] = {
00510 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00511 {SO_UNION ,0,1,0},
00512 {SO_HLT,0,0,0}
00513 };
00514 const SetInstr si046[] = {
00515 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00516 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
00517 {SO_HLT,0,0,0}
00518 };
00519 const SetInstr si047[] = {
00520 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00521 {SO_UNION ,0,1,0},
00522 {SO_HLT,0,0,0}
00523 };
00524 const SetInstr si048[] = {
00525 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00526 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00527 {SO_HLT,0,0,0}
00528 };
00529 const SetInstr si049[] = {
00530 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
00531 {SO_HLT,0,0,0}
00532 };
00533 const SetInstr si050[] = {
00534 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
00535 {SO_HLT,0,0,0}
00536 };
00537 const SetInstr si051[] = {
00538 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
00539 {SO_HLT,0,0,0}
00540 };
00541 const SetInstr si052[] = {
00542 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00543 {SO_UNION,0,1,0},
00544 {SO_HLT,0,0,0}
00545 };
00546 const SetInstr si053[] = {
00547 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00548 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
00549 {SO_HLT,0,0,0}
00550 };
00551 const SetInstr si054[] = {
00552 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00553 {SO_UNION,0,1,0},
00554 {SO_HLT,0,0,0}
00555 };
00556 const SetInstr si055[] = {
00557 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00558 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00559 {SO_HLT,0,0,0}
00560 };
00561 const SetInstr si056[] = {
00562 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
00563 {SO_HLT,0,0,0}
00564 };
00565 const SetInstr si057[] = {
00566 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
00567 {SO_HLT,0,0,0}
00568 };
00569 const SetInstr si058[] = {
00570 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
00571 {SO_HLT,0,0,0}
00572 };
00573 const SetInstr si059[] = {
00574 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00575 {SO_DUNION,0,1,0},
00576 {SO_HLT,0,0,0}
00577 };
00578 const SetInstr si060[] = {
00579 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00580 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
00581 {SO_HLT,0,0,0}
00582 };
00583 const SetInstr si061[] = {
00584 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00585 {SO_DUNION,0,1,0},
00586 {SO_HLT,0,0,0}
00587 };
00588 const SetInstr si062[] = {
00589 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00590 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00591 {SO_HLT,0,0,0}
00592 };
00593 const SetInstr si063[] = {
00594 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
00595 {SO_HLT,0,0,0}
00596 };
00597 const SetInstr si064[] = {
00598 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
00599 {SO_HLT,0,0,0}
00600 };
00601 const SetInstr si065[] = {
00602 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
00603 {SO_HLT,0,0,0}
00604 };
00605 const SetInstr si066[] = {
00606 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
00607 {SO_MINUS,0,1,0},
00608 {SO_HLT,0,0,0}
00609 };
00610 const SetInstr si067[] = {
00611 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00612 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
00613 {SO_HLT,0,0,0}
00614 };
00615 const SetInstr si068[] = {
00616 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00617 {SO_MINUS,0,1,0},
00618 {SO_HLT,0,0,0}
00619 };
00620 const SetInstr si069[] = {
00621 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
00622 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00623 {SO_HLT,0,0,0}
00624 };
00625 const SetInstr si070[] = {
00626 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
00627 {SO_HLT,0,0,0}
00628 };
00629 const SetInstr si071[] = {
00630 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
00631 {SO_HLT,0,0,0}
00632 };
00633 const SetInstr si072[] = {
00634 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
00635 {SO_HLT,0,0,0}
00636 };
00637 const SetInstr si073[] = {
00638 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00639 {SO_INTER,0,1,0},
00640 {SO_HLT,0,0,0}
00641 };
00642 const SetInstr si074[] = {
00643 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00644 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
00645 {SO_HLT,0,0,0}
00646 };
00647 const SetInstr si075[] = {
00648 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00649 {SO_INTER,0,1,0},
00650 {SO_HLT,0,0,0}
00651 };
00652 const SetInstr si076[] = {
00653 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00654 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00655 {SO_HLT,0,0,0}
00656 };
00657 const SetInstr si077[] = {
00658 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
00659 {SO_HLT,0,0,0}
00660 };
00661 const SetInstr si078[] = {
00662 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
00663 {SO_HLT,0,0,0}
00664 };
00665 const SetInstr si079[] = {
00666 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
00667 {SO_HLT,0,0,0}
00668 };
00669 const SetInstr si080[] = {
00670 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00671 {SO_UNION ,0,1,0},
00672 {SO_HLT,0,0,0}
00673 };
00674 const SetInstr si081[] = {
00675 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00676 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
00677 {SO_HLT,0,0,0}
00678 };
00679 const SetInstr si082[] = {
00680 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00681 {SO_UNION ,0,1,0},
00682 {SO_HLT,0,0,0}
00683 };
00684 const SetInstr si083[] = {
00685 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00686 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00687 {SO_HLT,0,0,0}
00688 };
00689 const SetInstr si084[] = {
00690 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
00691 {SO_HLT,0,0,0}
00692 };
00693 const SetInstr si085[] = {
00694 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
00695 {SO_HLT,0,0,0}
00696 };
00697 const SetInstr si086[] = {
00698 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
00699 {SO_HLT,0,0,0}
00700 };
00701 const SetInstr si087[] = {
00702 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00703 {SO_UNION,0,1,0},
00704 {SO_HLT,0,0,0}
00705 };
00706 const SetInstr si088[] = {
00707 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00708 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
00709 {SO_HLT,0,0,0}
00710 };
00711 const SetInstr si089[] = {
00712 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00713 {SO_UNION,0,1,0},
00714 {SO_HLT,0,0,0}
00715 };
00716 const SetInstr si090[] = {
00717 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00718 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00719 {SO_HLT,0,0,0}
00720 };
00721 const SetInstr si091[] = {
00722 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
00723 {SO_HLT,0,0,0}
00724 };
00725 const SetInstr si092[] = {
00726 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
00727 {SO_HLT,0,0,0}
00728 };
00729 const SetInstr si093[] = {
00730 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
00731 {SO_HLT,0,0,0}
00732 };
00733 const SetInstr si094[] = {
00734 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00735 {SO_DUNION,0,1,0},
00736 {SO_HLT,0,0,0}
00737 };
00738 const SetInstr si095[] = {
00739 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00740 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
00741 {SO_HLT,0,0,0}
00742 };
00743 const SetInstr si096[] = {
00744 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00745 {SO_DUNION,0,1,0},
00746 {SO_HLT,0,0,0}
00747 };
00748 const SetInstr si097[] = {
00749 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00750 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00751 {SO_HLT,0,0,0}
00752 };
00753 const SetInstr si098[] = {
00754 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
00755 {SO_HLT,0,0,0}
00756 };
00757 const SetInstr si099[] = {
00758 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
00759 {SO_HLT,0,0,0}
00760 };
00761 const SetInstr si100[] = {
00762 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
00763 {SO_HLT,0,0,0}
00764 };
00765 const SetInstr si101[] = {
00766 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
00767 {SO_MINUS,0,1,0},
00768 {SO_HLT,0,0,0}
00769 };
00770 const SetInstr si102[] = {
00771 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00772 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
00773 {SO_HLT,0,0,0}
00774 };
00775 const SetInstr si103[] = {
00776 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00777 {SO_MINUS,0,1,0},
00778 {SO_HLT,0,0,0}
00779 };
00780 const SetInstr si104[] = {
00781 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
00782 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00783 {SO_HLT,0,0,0}
00784 };
00785 const SetInstr si105[] = {
00786 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
00787 {SO_HLT,0,0,0}
00788 };
00789 const SetInstr si106[] = {
00790 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
00791 {SO_HLT,0,0,0}
00792 };
00793 const SetInstr si107[] = {
00794 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
00795 {SO_HLT,0,0,0}
00796 };
00797 const SetInstr si108[] = {
00798 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00799 {SO_INTER,0,1,0},
00800 {SO_HLT,0,0,0}
00801 };
00802 const SetInstr si109[] = {
00803 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00804 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
00805 {SO_HLT,0,0,0}
00806 };
00807 const SetInstr si110[] = {
00808 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00809 {SO_INTER,0,1,0},
00810 {SO_HLT,0,0,0}
00811 };
00812 const SetInstr si111[] = {
00813 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00814 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00815 {SO_HLT,0,0,0}
00816 };
00817 const SetInstr si112[] = {
00818 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
00819 {SO_HLT,0,0,0}
00820 };
00821 const SetInstr si113[] = {
00822 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
00823 {SO_HLT,0,0,0}
00824 };
00825 const SetInstr si114[] = {
00826 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
00827 {SO_HLT,0,0,0}
00828 };
00829 const SetInstr si115[] = {
00830 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00831 {SO_UNION ,0,1,0},
00832 {SO_HLT,0,0,0}
00833 };
00834 const SetInstr si116[] = {
00835 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00836 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
00837 {SO_HLT,0,0,0}
00838 };
00839 const SetInstr si117[] = {
00840 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00841 {SO_UNION ,0,1,0},
00842 {SO_HLT,0,0,0}
00843 };
00844 const SetInstr si118[] = {
00845 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00846 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
00847 {SO_HLT,0,0,0}
00848 };
00849 const SetInstr si119[] = {
00850 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
00851 {SO_HLT,0,0,0}
00852 };
00853 const SetInstr si120[] = {
00854 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
00855 {SO_HLT,0,0,0}
00856 };
00857 const SetInstr si121[] = {
00858 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
00859 {SO_HLT,0,0,0}
00860 };
00861 const SetInstr si122[] = {
00862 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00863 {SO_UNION,0,1,0},
00864 {SO_HLT,0,0,0}
00865 };
00866 const SetInstr si123[] = {
00867 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00868 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
00869 {SO_HLT,0,0,0}
00870 };
00871 const SetInstr si124[] = {
00872 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00873 {SO_UNION,0,1,0},
00874 {SO_HLT,0,0,0}
00875 };
00876 const SetInstr si125[] = {
00877 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00878 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
00879 {SO_HLT,0,0,0}
00880 };
00881 const SetInstr si126[] = {
00882 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
00883 {SO_HLT,0,0,0}
00884 };
00885 const SetInstr si127[] = {
00886 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
00887 {SO_HLT,0,0,0}
00888 };
00889 const SetInstr si128[] = {
00890 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
00891 {SO_HLT,0,0,0}
00892 };
00893 const SetInstr si129[] = {
00894 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00895 {SO_DUNION,0,1,0},
00896 {SO_HLT,0,0,0}
00897 };
00898 const SetInstr si130[] = {
00899 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00900 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
00901 {SO_HLT,0,0,0}
00902 };
00903 const SetInstr si131[] = {
00904 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00905 {SO_DUNION,0,1,0},
00906 {SO_HLT,0,0,0}
00907 };
00908 const SetInstr si132[] = {
00909 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00910 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
00911 {SO_HLT,0,0,0}
00912 };
00913 const SetInstr si133[] = {
00914 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
00915 {SO_HLT,0,0,0}
00916 };
00917 const SetInstr si134[] = {
00918 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
00919 {SO_HLT,0,0,0}
00920 };
00921 const SetInstr si135[] = {
00922 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
00923 {SO_HLT,0,0,0}
00924 };
00925 const SetInstr si136[] = {
00926 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
00927 {SO_MINUS,0,1,0},
00928 {SO_HLT,0,0,0}
00929 };
00930 const SetInstr si137[] = {
00931 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00932 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
00933 {SO_HLT,0,0,0}
00934 };
00935 const SetInstr si138[] = {
00936 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00937 {SO_MINUS,0,1,0},
00938 {SO_HLT,0,0,0}
00939 };
00940 const SetInstr si139[] = {
00941 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
00942 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
00943 {SO_HLT,0,0,0}
00944 };
00945 const SetInstr si140[] = {
00946 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
00947 {SO_HLT,0,0,0}
00948 };
00949 const SetInstr si141[] = {
00950 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
00951 {SO_HLT,0,0,0}
00952 };
00953 const SetInstr si142[] = {
00954 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
00955 {SO_HLT,0,0,0}
00956 };
00957 const SetInstr si143[] = {
00958 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
00959 {SO_INTER,0,1,0},
00960 {SO_HLT,0,0,0}
00961 };
00962 const SetInstr si144[] = {
00963 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00964 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
00965 {SO_HLT,0,0,0}
00966 };
00967 const SetInstr si145[] = {
00968 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
00969 {SO_INTER,0,1,0},
00970 {SO_HLT,0,0,0}
00971 };
00972 const SetInstr si146[] = {
00973 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
00974 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
00975 {SO_HLT,0,0,0}
00976 };
00977 const SetInstr si147[] = {
00978 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
00979 {SO_HLT,0,0,0}
00980 };
00981 const SetInstr si148[] = {
00982 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
00983 {SO_HLT,0,0,0}
00984 };
00985 const SetInstr si149[] = {
00986 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
00987 {SO_HLT,0,0,0}
00988 };
00989 const SetInstr si150[] = {
00990 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
00991 {SO_UNION ,0,1,0},
00992 {SO_HLT,0,0,0}
00993 };
00994 const SetInstr si151[] = {
00995 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
00996 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
00997 {SO_HLT,0,0,0}
00998 };
00999 const SetInstr si152[] = {
01000 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01001 {SO_UNION ,0,1,0},
01002 {SO_HLT,0,0,0}
01003 };
01004 const SetInstr si153[] = {
01005 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01006 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01007 {SO_HLT,0,0,0}
01008 };
01009 const SetInstr si154[] = {
01010 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01011 {SO_HLT,0,0,0}
01012 };
01013 const SetInstr si155[] = {
01014 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
01015 {SO_HLT,0,0,0}
01016 };
01017 const SetInstr si156[] = {
01018 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
01019 {SO_HLT,0,0,0}
01020 };
01021 const SetInstr si157[] = {
01022 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01023 {SO_UNION,0,1,0},
01024 {SO_HLT,0,0,0}
01025 };
01026 const SetInstr si158[] = {
01027 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01028 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01029 {SO_HLT,0,0,0}
01030 };
01031 const SetInstr si159[] = {
01032 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01033 {SO_UNION,0,1,0},
01034 {SO_HLT,0,0,0}
01035 };
01036 const SetInstr si160[] = {
01037 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01038 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01039 {SO_HLT,0,0,0}
01040 };
01041 const SetInstr si161[] = {
01042 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01043 {SO_HLT,0,0,0}
01044 };
01045 const SetInstr si162[] = {
01046 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
01047 {SO_HLT,0,0,0}
01048 };
01049 const SetInstr si163[] = {
01050 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
01051 {SO_HLT,0,0,0}
01052 };
01053 const SetInstr si164[] = {
01054 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01055 {SO_DUNION,0,1,0},
01056 {SO_HLT,0,0,0}
01057 };
01058 const SetInstr si165[] = {
01059 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01060 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01061 {SO_HLT,0,0,0}
01062 };
01063 const SetInstr si166[] = {
01064 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01065 {SO_DUNION,0,1,0},
01066 {SO_HLT,0,0,0}
01067 };
01068 const SetInstr si167[] = {
01069 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01070 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01071 {SO_HLT,0,0,0}
01072 };
01073 const SetInstr si168[] = {
01074 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01075 {SO_HLT,0,0,0}
01076 };
01077 const SetInstr si169[] = {
01078 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
01079 {SO_HLT,0,0,0}
01080 };
01081 const SetInstr si170[] = {
01082 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
01083 {SO_HLT,0,0,0}
01084 };
01085 const SetInstr si171[] = {
01086 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
01087 {SO_MINUS,0,1,0},
01088 {SO_HLT,0,0,0}
01089 };
01090 const SetInstr si172[] = {
01091 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
01092 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01093 {SO_HLT,0,0,0}
01094 };
01095 const SetInstr si173[] = {
01096 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01097 {SO_MINUS,0,1,0},
01098 {SO_HLT,0,0,0}
01099 };
01100 const SetInstr si174[] = {
01101 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01102 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01103 {SO_HLT,0,0,0}
01104 };
01105 const SetInstr si175[] = {
01106 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
01107 {SO_HLT,0,0,0}
01108 };
01109 const SetInstr si176[] = {
01110 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
01111 {SO_HLT,0,0,0}
01112 };
01113 const SetInstr si177[] = {
01114 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
01115 {SO_HLT,0,0,0}
01116 };
01117 const SetInstr si178[] = {
01118 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01119 {SO_INTER,0,1,0},
01120 {SO_HLT,0,0,0}
01121 };
01122 const SetInstr si179[] = {
01123 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01124 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
01125 {SO_HLT,0,0,0}
01126 };
01127 const SetInstr si180[] = {
01128 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01129 {SO_INTER,0,1,0},
01130 {SO_HLT,0,0,0}
01131 };
01132 const SetInstr si181[] = {
01133 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01134 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01135 {SO_HLT,0,0,0}
01136 };
01137 const SetInstr si182[] = {
01138 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01139 {SO_HLT,0,0,0}
01140 };
01141 const SetInstr si183[] = {
01142 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
01143 {SO_HLT,0,0,0}
01144 };
01145 const SetInstr si184[] = {
01146 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
01147 {SO_HLT,0,0,0}
01148 };
01149 const SetInstr si185[] = {
01150 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01151 {SO_UNION ,0,1,0},
01152 {SO_HLT,0,0,0}
01153 };
01154 const SetInstr si186[] = {
01155 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01156 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01157 {SO_HLT,0,0,0}
01158 };
01159 const SetInstr si187[] = {
01160 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01161 {SO_UNION ,0,1,0},
01162 {SO_HLT,0,0,0}
01163 };
01164 const SetInstr si188[] = {
01165 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01166 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01167 {SO_HLT,0,0,0}
01168 };
01169 const SetInstr si189[] = {
01170 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
01171 {SO_HLT,0,0,0}
01172 };
01173 const SetInstr si190[] = {
01174 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
01175 {SO_HLT,0,0,0}
01176 };
01177 const SetInstr si191[] = {
01178 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
01179 {SO_HLT,0,0,0}
01180 };
01181 const SetInstr si192[] = {
01182 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01183 {SO_UNION,0,1,0},
01184 {SO_HLT,0,0,0}
01185 };
01186 const SetInstr si193[] = {
01187 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01188 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
01189 {SO_HLT,0,0,0}
01190 };
01191 const SetInstr si194[] = {
01192 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01193 {SO_UNION,0,1,0},
01194 {SO_HLT,0,0,0}
01195 };
01196 const SetInstr si195[] = {
01197 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01198 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01199 {SO_HLT,0,0,0}
01200 };
01201 const SetInstr si196[] = {
01202 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
01203 {SO_HLT,0,0,0}
01204 };
01205 const SetInstr si197[] = {
01206 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
01207 {SO_HLT,0,0,0}
01208 };
01209 const SetInstr si198[] = {
01210 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
01211 {SO_HLT,0,0,0}
01212 };
01213 const SetInstr si199[] = {
01214 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01215 {SO_DUNION,0,1,0},
01216 {SO_HLT,0,0,0}
01217 };
01218 const SetInstr si200[] = {
01219 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01220 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
01221 {SO_HLT,0,0,0}
01222 };
01223 const SetInstr si201[] = {
01224 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01225 {SO_DUNION,0,1,0},
01226 {SO_HLT,0,0,0}
01227 };
01228 const SetInstr si202[] = {
01229 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01230 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01231 {SO_HLT,0,0,0}
01232 };
01233 const SetInstr si203[] = {
01234 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
01235 {SO_HLT,0,0,0}
01236 };
01237 const SetInstr si204[] = {
01238 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
01239 {SO_HLT,0,0,0}
01240 };
01241 const SetInstr si205[] = {
01242 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
01243 {SO_HLT,0,0,0}
01244 };
01245 const SetInstr si206[] = {
01246 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
01247 {SO_MINUS,0,1,0},
01248 {SO_HLT,0,0,0}
01249 };
01250 const SetInstr si207[] = {
01251 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01252 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
01253 {SO_HLT,0,0,0}
01254 };
01255 const SetInstr si208[] = {
01256 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01257 {SO_MINUS,0,1,0},
01258 {SO_HLT,0,0,0}
01259 };
01260 const SetInstr si209[] = {
01261 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01262 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01263 {SO_HLT,0,0,0}
01264 };
01265 const SetInstr si210[] = {
01266 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
01267 {SO_HLT,0,0,0}
01268 };
01269 const SetInstr si211[] = {
01270 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
01271 {SO_HLT,0,0,0}
01272 };
01273 const SetInstr si212[] = {
01274 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
01275 {SO_HLT,0,0,0}
01276 };
01277 const SetInstr si213[] = {
01278 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01279 {SO_INTER,0,1,0},
01280 {SO_HLT,0,0,0}
01281 };
01282 const SetInstr si214[] = {
01283 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01284 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
01285 {SO_HLT,0,0,0}
01286 };
01287 const SetInstr si215[] = {
01288 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01289 {SO_INTER,0,1,0},
01290 {SO_HLT,0,0,0}
01291 };
01292 const SetInstr si216[] = {
01293 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01294 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01295 {SO_HLT,0,0,0}
01296 };
01297 const SetInstr si217[] = {
01298 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
01299 {SO_HLT,0,0,0}
01300 };
01301 const SetInstr si218[] = {
01302 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
01303 {SO_HLT,0,0,0}
01304 };
01305 const SetInstr si219[] = {
01306 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
01307 {SO_HLT,0,0,0}
01308 };
01309 const SetInstr si220[] = {
01310 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01311 {SO_UNION ,0,1,0},
01312 {SO_HLT,0,0,0}
01313 };
01314 const SetInstr si221[] = {
01315 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01316 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
01317 {SO_HLT,0,0,0}
01318 };
01319 const SetInstr si222[] = {
01320 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01321 {SO_UNION ,0,1,0},
01322 {SO_HLT,0,0,0}
01323 };
01324 const SetInstr si223[] = {
01325 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01326 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01327 {SO_HLT,0,0,0}
01328 };
01329 const SetInstr si224[] = {
01330 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
01331 {SO_HLT,0,0,0}
01332 };
01333 const SetInstr si225[] = {
01334 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
01335 {SO_HLT,0,0,0}
01336 };
01337 const SetInstr si226[] = {
01338 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
01339 {SO_HLT,0,0,0}
01340 };
01341 const SetInstr si227[] = {
01342 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01343 {SO_UNION,0,1,0},
01344 {SO_HLT,0,0,0}
01345 };
01346 const SetInstr si228[] = {
01347 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01348 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
01349 {SO_HLT,0,0,0}
01350 };
01351 const SetInstr si229[] = {
01352 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01353 {SO_UNION,0,1,0},
01354 {SO_HLT,0,0,0}
01355 };
01356 const SetInstr si230[] = {
01357 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01358 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01359 {SO_HLT,0,0,0}
01360 };
01361 const SetInstr si231[] = {
01362 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
01363 {SO_HLT,0,0,0}
01364 };
01365 const SetInstr si232[] = {
01366 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
01367 {SO_HLT,0,0,0}
01368 };
01369 const SetInstr si233[] = {
01370 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
01371 {SO_HLT,0,0,0}
01372 };
01373 const SetInstr si234[] = {
01374 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01375 {SO_DUNION,0,1,0},
01376 {SO_HLT,0,0,0}
01377 };
01378 const SetInstr si235[] = {
01379 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01380 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
01381 {SO_HLT,0,0,0}
01382 };
01383 const SetInstr si236[] = {
01384 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01385 {SO_DUNION,0,1,0},
01386 {SO_HLT,0,0,0}
01387 };
01388 const SetInstr si237[] = {
01389 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01390 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01391 {SO_HLT,0,0,0}
01392 };
01393 const SetInstr si238[] = {
01394 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
01395 {SO_HLT,0,0,0}
01396 };
01397 const SetInstr si239[] = {
01398 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
01399 {SO_HLT,0,0,0}
01400 };
01401 const SetInstr si240[] = {
01402 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
01403 {SO_HLT,0,0,0}
01404 };
01405 const SetInstr si241[] = {
01406 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
01407 {SO_MINUS,0,1,0},
01408 {SO_HLT,0,0,0}
01409 };
01410 const SetInstr si242[] = {
01411 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01412 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
01413 {SO_HLT,0,0,0}
01414 };
01415 const SetInstr si243[] = {
01416 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01417 {SO_MINUS,0,1,0},
01418 {SO_HLT,0,0,0}
01419 };
01420 const SetInstr si244[] = {
01421 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
01422 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01423 {SO_HLT,0,0,0}
01424 };
01425 const SetInstr si245[] = {
01426 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
01427 {SO_HLT,0,0,0}
01428 };
01429 const SetInstr si246[] = {
01430 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
01431 {SO_HLT,0,0,0}
01432 };
01433 const SetInstr si247[] = {
01434 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
01435 {SO_HLT,0,0,0}
01436 };
01437 const SetInstr si248[] = {
01438 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01439 {SO_INTER,0,1,0},
01440 {SO_HLT,0,0,0}
01441 };
01442 const SetInstr si249[] = {
01443 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01444 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
01445 {SO_HLT,0,0,0}
01446 };
01447 const SetInstr si250[] = {
01448 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01449 {SO_INTER,0,1,0},
01450 {SO_HLT,0,0,0}
01451 };
01452 const SetInstr si251[] = {
01453 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01454 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01455 {SO_HLT,0,0,0}
01456 };
01457 const SetInstr si252[] = {
01458 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
01459 {SO_HLT,0,0,0}
01460 };
01461 const SetInstr si253[] = {
01462 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
01463 {SO_HLT,0,0,0}
01464 };
01465 const SetInstr si254[] = {
01466 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
01467 {SO_HLT,0,0,0}
01468 };
01469 const SetInstr si255[] = {
01470 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01471 {SO_UNION ,0,1,0},
01472 {SO_HLT,0,0,0}
01473 };
01474 const SetInstr si256[] = {
01475 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01476 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
01477 {SO_HLT,0,0,0}
01478 };
01479 const SetInstr si257[] = {
01480 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01481 {SO_UNION ,0,1,0},
01482 {SO_HLT,0,0,0}
01483 };
01484 const SetInstr si258[] = {
01485 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01486 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01487 {SO_HLT,0,0,0}
01488 };
01489 const SetInstr si259[] = {
01490 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
01491 {SO_HLT,0,0,0}
01492 };
01493 const SetInstr si260[] = {
01494 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
01495 {SO_HLT,0,0,0}
01496 };
01497 const SetInstr si261[] = {
01498 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
01499 {SO_HLT,0,0,0}
01500 };
01501 const SetInstr si262[] = {
01502 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01503 {SO_UNION,0,1,0},
01504 {SO_HLT,0,0,0}
01505 };
01506 const SetInstr si263[] = {
01507 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01508 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
01509 {SO_HLT,0,0,0}
01510 };
01511 const SetInstr si264[] = {
01512 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01513 {SO_UNION,0,1,0},
01514 {SO_HLT,0,0,0}
01515 };
01516 const SetInstr si265[] = {
01517 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01518 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01519 {SO_HLT,0,0,0}
01520 };
01521 const SetInstr si266[] = {
01522 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
01523 {SO_HLT,0,0,0}
01524 };
01525 const SetInstr si267[] = {
01526 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
01527 {SO_HLT,0,0,0}
01528 };
01529 const SetInstr si268[] = {
01530 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
01531 {SO_HLT,0,0,0}
01532 };
01533 const SetInstr si269[] = {
01534 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01535 {SO_DUNION,0,1,0},
01536 {SO_HLT,0,0,0}
01537 };
01538 const SetInstr si270[] = {
01539 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01540 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
01541 {SO_HLT,0,0,0}
01542 };
01543 const SetInstr si271[] = {
01544 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01545 {SO_DUNION,0,1,0},
01546 {SO_HLT,0,0,0}
01547 };
01548 const SetInstr si272[] = {
01549 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01550 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01551 {SO_HLT,0,0,0}
01552 };
01553 const SetInstr si273[] = {
01554 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
01555 {SO_HLT,0,0,0}
01556 };
01557 const SetInstr si274[] = {
01558 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
01559 {SO_HLT,0,0,0}
01560 };
01561 const SetInstr si275[] = {
01562 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
01563 {SO_HLT,0,0,0}
01564 };
01565 const SetInstr si276[] = {
01566 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
01567 {SO_MINUS,0,1,0},
01568 {SO_HLT,0,0,0}
01569 };
01570 const SetInstr si277[] = {
01571 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01572 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
01573 {SO_HLT,0,0,0}
01574 };
01575 const SetInstr si278[] = {
01576 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01577 {SO_MINUS,0,1,0},
01578 {SO_HLT,0,0,0}
01579 };
01580 const SetInstr si279[] = {
01581 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
01582 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01583 {SO_HLT,0,0,0}
01584 };
01585 const SetInstr si280[] = {
01586 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
01587 {SO_HLT,0,0,0}
01588 };
01589 const SetInstr si281[] = {
01590 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
01591 {SO_HLT,0,0,0}
01592 };
01593 const SetInstr si282[] = {
01594 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
01595 {SO_HLT,0,0,0}
01596 };
01597 const SetInstr si283[] = {
01598 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01599 {SO_INTER,0,1,0},
01600 {SO_HLT,0,0,0}
01601 };
01602 const SetInstr si284[] = {
01603 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01604 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
01605 {SO_HLT,0,0,0}
01606 };
01607 const SetInstr si285[] = {
01608 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01609 {SO_INTER,0,1,0},
01610 {SO_HLT,0,0,0}
01611 };
01612 const SetInstr si286[] = {
01613 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01614 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01615 {SO_HLT,0,0,0}
01616 };
01617 const SetInstr si287[] = {
01618 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
01619 {SO_HLT,0,0,0}
01620 };
01621 const SetInstr si288[] = {
01622 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
01623 {SO_HLT,0,0,0}
01624 };
01625 const SetInstr si289[] = {
01626 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
01627 {SO_HLT,0,0,0}
01628 };
01629 const SetInstr si290[] = {
01630 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01631 {SO_UNION ,0,1,0},
01632 {SO_HLT,0,0,0}
01633 };
01634 const SetInstr si291[] = {
01635 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01636 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
01637 {SO_HLT,0,0,0}
01638 };
01639 const SetInstr si292[] = {
01640 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01641 {SO_UNION ,0,1,0},
01642 {SO_HLT,0,0,0}
01643 };
01644 const SetInstr si293[] = {
01645 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01646 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01647 {SO_HLT,0,0,0}
01648 };
01649 const SetInstr si294[] = {
01650 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
01651 {SO_HLT,0,0,0}
01652 };
01653 const SetInstr si295[] = {
01654 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
01655 {SO_HLT,0,0,0}
01656 };
01657 const SetInstr si296[] = {
01658 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
01659 {SO_HLT,0,0,0}
01660 };
01661 const SetInstr si297[] = {
01662 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01663 {SO_UNION,0,1,0},
01664 {SO_HLT,0,0,0}
01665 };
01666 const SetInstr si298[] = {
01667 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01668 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
01669 {SO_HLT,0,0,0}
01670 };
01671 const SetInstr si299[] = {
01672 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01673 {SO_UNION,0,1,0},
01674 {SO_HLT,0,0,0}
01675 };
01676 const SetInstr si300[] = {
01677 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01678 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01679 {SO_HLT,0,0,0}
01680 };
01681 const SetInstr si301[] = {
01682 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
01683 {SO_HLT,0,0,0}
01684 };
01685 const SetInstr si302[] = {
01686 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
01687 {SO_HLT,0,0,0}
01688 };
01689 const SetInstr si303[] = {
01690 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
01691 {SO_HLT,0,0,0}
01692 };
01693 const SetInstr si304[] = {
01694 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01695 {SO_DUNION,0,1,0},
01696 {SO_HLT,0,0,0}
01697 };
01698 const SetInstr si305[] = {
01699 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01700 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
01701 {SO_HLT,0,0,0}
01702 };
01703 const SetInstr si306[] = {
01704 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01705 {SO_DUNION,0,1,0},
01706 {SO_HLT,0,0,0}
01707 };
01708 const SetInstr si307[] = {
01709 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01710 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01711 {SO_HLT,0,0,0}
01712 };
01713 const SetInstr si308[] = {
01714 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
01715 {SO_HLT,0,0,0}
01716 };
01717 const SetInstr si309[] = {
01718 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
01719 {SO_HLT,0,0,0}
01720 };
01721 const SetInstr si310[] = {
01722 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
01723 {SO_HLT,0,0,0}
01724 };
01725 const SetInstr si311[] = {
01726 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
01727 {SO_MINUS,0,1,0},
01728 {SO_HLT,0,0,0}
01729 };
01730 const SetInstr si312[] = {
01731 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01732 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
01733 {SO_HLT,0,0,0}
01734 };
01735 const SetInstr si313[] = {
01736 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01737 {SO_MINUS,0,1,0},
01738 {SO_HLT,0,0,0}
01739 };
01740 const SetInstr si314[] = {
01741 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
01742 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01743 {SO_HLT,0,0,0}
01744 };
01745 const SetInstr si315[] = {
01746 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
01747 {SO_HLT,0,0,0}
01748 };
01749 const SetInstr si316[] = {
01750 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
01751 {SO_HLT,0,0,0}
01752 };
01753 const SetInstr si317[] = {
01754 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
01755 {SO_HLT,0,0,0}
01756 };
01757 const SetInstr si318[] = {
01758 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01759 {SO_INTER,0,1,0},
01760 {SO_HLT,0,0,0}
01761 };
01762 const SetInstr si319[] = {
01763 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01764 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
01765 {SO_HLT,0,0,0}
01766 };
01767 const SetInstr si320[] = {
01768 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01769 {SO_INTER,0,1,0},
01770 {SO_HLT,0,0,0}
01771 };
01772 const SetInstr si321[] = {
01773 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01774 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01775 {SO_HLT,0,0,0}
01776 };
01777 const SetInstr si322[] = {
01778 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
01779 {SO_HLT,0,0,0}
01780 };
01781 const SetInstr si323[] = {
01782 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
01783 {SO_HLT,0,0,0}
01784 };
01785 const SetInstr si324[] = {
01786 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
01787 {SO_HLT,0,0,0}
01788 };
01789 const SetInstr si325[] = {
01790 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01791 {SO_UNION ,0,1,0},
01792 {SO_HLT,0,0,0}
01793 };
01794 const SetInstr si326[] = {
01795 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01796 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
01797 {SO_HLT,0,0,0}
01798 };
01799 const SetInstr si327[] = {
01800 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01801 {SO_UNION ,0,1,0},
01802 {SO_HLT,0,0,0}
01803 };
01804 const SetInstr si328[] = {
01805 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01806 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01807 {SO_HLT,0,0,0}
01808 };
01809 const SetInstr si329[] = {
01810 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01811 {SO_HLT,0,0,0}
01812 };
01813 const SetInstr si330[] = {
01814 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
01815 {SO_HLT,0,0,0}
01816 };
01817 const SetInstr si331[] = {
01818 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
01819 {SO_HLT,0,0,0}
01820 };
01821 const SetInstr si332[] = {
01822 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01823 {SO_UNION,0,1,0},
01824 {SO_HLT,0,0,0}
01825 };
01826 const SetInstr si333[] = {
01827 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01828 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
01829 {SO_HLT,0,0,0}
01830 };
01831 const SetInstr si334[] = {
01832 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01833 {SO_UNION,0,1,0},
01834 {SO_HLT,0,0,0}
01835 };
01836 const SetInstr si335[] = {
01837 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01838 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01839 {SO_HLT,0,0,0}
01840 };
01841 const SetInstr si336[] = {
01842 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01843 {SO_HLT,0,0,0}
01844 };
01845 const SetInstr si337[] = {
01846 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
01847 {SO_HLT,0,0,0}
01848 };
01849 const SetInstr si338[] = {
01850 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
01851 {SO_HLT,0,0,0}
01852 };
01853 const SetInstr si339[] = {
01854 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01855 {SO_DUNION,0,1,0},
01856 {SO_HLT,0,0,0}
01857 };
01858 const SetInstr si340[] = {
01859 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01860 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
01861 {SO_HLT,0,0,0}
01862 };
01863 const SetInstr si341[] = {
01864 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01865 {SO_DUNION,0,1,0},
01866 {SO_HLT,0,0,0}
01867 };
01868 const SetInstr si342[] = {
01869 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01870 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
01871 {SO_HLT,0,0,0}
01872 };
01873 const SetInstr si343[] = {
01874 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01875 {SO_HLT,0,0,0}
01876 };
01877 const SetInstr si344[] = {
01878 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
01879 {SO_HLT,0,0,0}
01880 };
01881 const SetInstr si345[] = {
01882 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
01883 {SO_HLT,0,0,0}
01884 };
01885 const SetInstr si346[] = {
01886 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
01887 {SO_MINUS,0,1,0},
01888 {SO_HLT,0,0,0}
01889 };
01890 const SetInstr si347[] = {
01891 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
01892 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
01893 {SO_HLT,0,0,0}
01894 };
01895 const SetInstr si348[] = {
01896 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01897 {SO_MINUS,0,1,0},
01898 {SO_HLT,0,0,0}
01899 };
01900 const SetInstr si349[] = {
01901 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
01902 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
01903 {SO_HLT,0,0,0}
01904 };
01905 const SetInstr si350[] = {
01906 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
01907 {SO_HLT,0,0,0}
01908 };
01909 const SetInstr si351[] = {
01910 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
01911 {SO_HLT,0,0,0}
01912 };
01913 const SetInstr si352[] = {
01914 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
01915 {SO_HLT,0,0,0}
01916 };
01917 const SetInstr si353[] = {
01918 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01919 {SO_INTER,0,1,0},
01920 {SO_HLT,0,0,0}
01921 };
01922 const SetInstr si354[] = {
01923 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01924 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
01925 {SO_HLT,0,0,0}
01926 };
01927 const SetInstr si355[] = {
01928 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01929 {SO_INTER,0,1,0},
01930 {SO_HLT,0,0,0}
01931 };
01932 const SetInstr si356[] = {
01933 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01934 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
01935 {SO_HLT,0,0,0}
01936 };
01937 const SetInstr si357[] = {
01938 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01939 {SO_HLT,0,0,0}
01940 };
01941 const SetInstr si358[] = {
01942 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
01943 {SO_HLT,0,0,0}
01944 };
01945 const SetInstr si359[] = {
01946 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
01947 {SO_HLT,0,0,0}
01948 };
01949 const SetInstr si360[] = {
01950 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01951 {SO_UNION ,0,1,0},
01952 {SO_HLT,0,0,0}
01953 };
01954 const SetInstr si361[] = {
01955 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01956 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
01957 {SO_HLT,0,0,0}
01958 };
01959 const SetInstr si362[] = {
01960 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01961 {SO_UNION ,0,1,0},
01962 {SO_HLT,0,0,0}
01963 };
01964 const SetInstr si363[] = {
01965 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01966 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
01967 {SO_HLT,0,0,0}
01968 };
01969 const SetInstr si364[] = {
01970 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
01971 {SO_HLT,0,0,0}
01972 };
01973 const SetInstr si365[] = {
01974 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
01975 {SO_HLT,0,0,0}
01976 };
01977 const SetInstr si366[] = {
01978 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
01979 {SO_HLT,0,0,0}
01980 };
01981 const SetInstr si367[] = {
01982 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
01983 {SO_UNION,0,1,0},
01984 {SO_HLT,0,0,0}
01985 };
01986 const SetInstr si368[] = {
01987 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
01988 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
01989 {SO_HLT,0,0,0}
01990 };
01991 const SetInstr si369[] = {
01992 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01993 {SO_UNION,0,1,0},
01994 {SO_HLT,0,0,0}
01995 };
01996 const SetInstr si370[] = {
01997 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
01998 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
01999 {SO_HLT,0,0,0}
02000 };
02001 const SetInstr si371[] = {
02002 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02003 {SO_HLT,0,0,0}
02004 };
02005 const SetInstr si372[] = {
02006 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
02007 {SO_HLT,0,0,0}
02008 };
02009 const SetInstr si373[] = {
02010 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
02011 {SO_HLT,0,0,0}
02012 };
02013 const SetInstr si374[] = {
02014 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
02015 {SO_DUNION,0,1,0},
02016 {SO_HLT,0,0,0}
02017 };
02018 const SetInstr si375[] = {
02019 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02020 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02021 {SO_HLT,0,0,0}
02022 };
02023 const SetInstr si376[] = {
02024 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02025 {SO_DUNION,0,1,0},
02026 {SO_HLT,0,0,0}
02027 };
02028 const SetInstr si377[] = {
02029 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02030 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02031 {SO_HLT,0,0,0}
02032 };
02033 const SetInstr si378[] = {
02034 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02035 {SO_HLT,0,0,0}
02036 };
02037 const SetInstr si379[] = {
02038 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
02039 {SO_HLT,0,0,0}
02040 };
02041 const SetInstr si380[] = {
02042 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
02043 {SO_HLT,0,0,0}
02044 };
02045 const SetInstr si381[] = {
02046 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
02047 {SO_MINUS,0,1,0},
02048 {SO_HLT,0,0,0}
02049 };
02050 const SetInstr si382[] = {
02051 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02052 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02053 {SO_HLT,0,0,0}
02054 };
02055 const SetInstr si383[] = {
02056 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02057 {SO_MINUS,0,1,0},
02058 {SO_HLT,0,0,0}
02059 };
02060 const SetInstr si384[] = {
02061 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02062 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02063 {SO_HLT,0,0,0}
02064 };
02065 const SetInstr si385[] = {
02066 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02067 {SO_HLT,0,0,0}
02068 };
02069 const SetInstr si386[] = {
02070 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
02071 {SO_HLT,0,0,0}
02072 };
02073 const SetInstr si387[] = {
02074 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
02075 {SO_HLT,0,0,0}
02076 };
02077 const SetInstr si388[] = {
02078 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02079 {SO_INTER,0,1,0},
02080 {SO_HLT,0,0,0}
02081 };
02082 const SetInstr si389[] = {
02083 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02084 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02085 {SO_HLT,0,0,0}
02086 };
02087 const SetInstr si390[] = {
02088 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02089 {SO_INTER,0,1,0},
02090 {SO_HLT,0,0,0}
02091 };
02092 const SetInstr si391[] = {
02093 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02094 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02095 {SO_HLT,0,0,0}
02096 };
02097 const SetInstr si392[] = {
02098 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02099 {SO_HLT,0,0,0}
02100 };
02101 const SetInstr si393[] = {
02102 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
02103 {SO_HLT,0,0,0}
02104 };
02105 const SetInstr si394[] = {
02106 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
02107 {SO_HLT,0,0,0}
02108 };
02109 const SetInstr si395[] = {
02110 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02111 {SO_UNION ,0,1,0},
02112 {SO_HLT,0,0,0}
02113 };
02114 const SetInstr si396[] = {
02115 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02116 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02117 {SO_HLT,0,0,0}
02118 };
02119 const SetInstr si397[] = {
02120 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02121 {SO_UNION ,0,1,0},
02122 {SO_HLT,0,0,0}
02123 };
02124 const SetInstr si398[] = {
02125 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02126 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02127 {SO_HLT,0,0,0}
02128 };
02129 const SetInstr si399[] = {
02130 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02131 {SO_HLT,0,0,0}
02132 };
02133 const SetInstr si400[] = {
02134 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
02135 {SO_HLT,0,0,0}
02136 };
02137 const SetInstr si401[] = {
02138 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
02139 {SO_HLT,0,0,0}
02140 };
02141 const SetInstr si402[] = {
02142 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02143 {SO_UNION,0,1,0},
02144 {SO_HLT,0,0,0}
02145 };
02146 const SetInstr si403[] = {
02147 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02148 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02149 {SO_HLT,0,0,0}
02150 };
02151 const SetInstr si404[] = {
02152 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02153 {SO_UNION,0,1,0},
02154 {SO_HLT,0,0,0}
02155 };
02156 const SetInstr si405[] = {
02157 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02158 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02159 {SO_HLT,0,0,0}
02160 };
02161 const SetInstr si406[] = {
02162 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02163 {SO_HLT,0,0,0}
02164 };
02165 const SetInstr si407[] = {
02166 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
02167 {SO_HLT,0,0,0}
02168 };
02169 const SetInstr si408[] = {
02170 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
02171 {SO_HLT,0,0,0}
02172 };
02173 const SetInstr si409[] = {
02174 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02175 {SO_DUNION,0,1,0},
02176 {SO_HLT,0,0,0}
02177 };
02178 const SetInstr si410[] = {
02179 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02180 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02181 {SO_HLT,0,0,0}
02182 };
02183 const SetInstr si411[] = {
02184 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02185 {SO_DUNION,0,1,0},
02186 {SO_HLT,0,0,0}
02187 };
02188 const SetInstr si412[] = {
02189 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02190 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02191 {SO_HLT,0,0,0}
02192 };
02193 const SetInstr si413[] = {
02194 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02195 {SO_HLT,0,0,0}
02196 };
02197 const SetInstr si414[] = {
02198 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
02199 {SO_HLT,0,0,0}
02200 };
02201 const SetInstr si415[] = {
02202 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
02203 {SO_HLT,0,0,0}
02204 };
02205 const SetInstr si416[] = {
02206 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
02207 {SO_MINUS,0,1,0},
02208 {SO_HLT,0,0,0}
02209 };
02210 const SetInstr si417[] = {
02211 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02212 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02213 {SO_HLT,0,0,0}
02214 };
02215 const SetInstr si418[] = {
02216 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02217 {SO_MINUS,0,1,0},
02218 {SO_HLT,0,0,0}
02219 };
02220 const SetInstr si419[] = {
02221 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02222 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02223 {SO_HLT,0,0,0}
02224 };
02225 const SetInstr si420[] = {
02226 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
02227 {SO_HLT,0,0,0}
02228 };
02229 const SetInstr si421[] = {
02230 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
02231 {SO_HLT,0,0,0}
02232 };
02233 const SetInstr si422[] = {
02234 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
02235 {SO_HLT,0,0,0}
02236 };
02237 const SetInstr si423[] = {
02238 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02239 {SO_INTER,0,1,0},
02240 {SO_HLT,0,0,0}
02241 };
02242 const SetInstr si424[] = {
02243 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02244 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
02245 {SO_HLT,0,0,0}
02246 };
02247 const SetInstr si425[] = {
02248 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02249 {SO_INTER,0,1,0},
02250 {SO_HLT,0,0,0}
02251 };
02252 const SetInstr si426[] = {
02253 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02254 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02255 {SO_HLT,0,0,0}
02256 };
02257 const SetInstr si427[] = {
02258 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
02259 {SO_HLT,0,0,0}
02260 };
02261 const SetInstr si428[] = {
02262 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
02263 {SO_HLT,0,0,0}
02264 };
02265 const SetInstr si429[] = {
02266 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
02267 {SO_HLT,0,0,0}
02268 };
02269 const SetInstr si430[] = {
02270 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02271 {SO_UNION ,0,1,0},
02272 {SO_HLT,0,0,0}
02273 };
02274 const SetInstr si431[] = {
02275 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02276 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
02277 {SO_HLT,0,0,0}
02278 };
02279 const SetInstr si432[] = {
02280 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02281 {SO_UNION ,0,1,0},
02282 {SO_HLT,0,0,0}
02283 };
02284 const SetInstr si433[] = {
02285 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02286 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02287 {SO_HLT,0,0,0}
02288 };
02289 const SetInstr si434[] = {
02290 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
02291 {SO_HLT,0,0,0}
02292 };
02293 const SetInstr si435[] = {
02294 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
02295 {SO_HLT,0,0,0}
02296 };
02297 const SetInstr si436[] = {
02298 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
02299 {SO_HLT,0,0,0}
02300 };
02301 const SetInstr si437[] = {
02302 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02303 {SO_UNION,0,1,0},
02304 {SO_HLT,0,0,0}
02305 };
02306 const SetInstr si438[] = {
02307 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02308 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
02309 {SO_HLT,0,0,0}
02310 };
02311 const SetInstr si439[] = {
02312 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02313 {SO_UNION,0,1,0},
02314 {SO_HLT,0,0,0}
02315 };
02316 const SetInstr si440[] = {
02317 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02318 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02319 {SO_HLT,0,0,0}
02320 };
02321 const SetInstr si441[] = {
02322 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
02323 {SO_HLT,0,0,0}
02324 };
02325 const SetInstr si442[] = {
02326 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
02327 {SO_HLT,0,0,0}
02328 };
02329 const SetInstr si443[] = {
02330 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
02331 {SO_HLT,0,0,0}
02332 };
02333 const SetInstr si444[] = {
02334 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02335 {SO_DUNION,0,1,0},
02336 {SO_HLT,0,0,0}
02337 };
02338 const SetInstr si445[] = {
02339 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02340 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
02341 {SO_HLT,0,0,0}
02342 };
02343 const SetInstr si446[] = {
02344 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02345 {SO_DUNION,0,1,0},
02346 {SO_HLT,0,0,0}
02347 };
02348 const SetInstr si447[] = {
02349 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02350 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02351 {SO_HLT,0,0,0}
02352 };
02353 const SetInstr si448[] = {
02354 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
02355 {SO_HLT,0,0,0}
02356 };
02357 const SetInstr si449[] = {
02358 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
02359 {SO_HLT,0,0,0}
02360 };
02361 const SetInstr si450[] = {
02362 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
02363 {SO_HLT,0,0,0}
02364 };
02365 const SetInstr si451[] = {
02366 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
02367 {SO_MINUS,0,1,0},
02368 {SO_HLT,0,0,0}
02369 };
02370 const SetInstr si452[] = {
02371 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02372 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
02373 {SO_HLT,0,0,0}
02374 };
02375 const SetInstr si453[] = {
02376 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02377 {SO_MINUS,0,1,0},
02378 {SO_HLT,0,0,0}
02379 };
02380 const SetInstr si454[] = {
02381 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
02382 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02383 {SO_HLT,0,0,0}
02384 };
02385 const SetInstr si455[] = {
02386 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
02387 {SO_HLT,0,0,0}
02388 };
02389 const SetInstr si456[] = {
02390 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
02391 {SO_HLT,0,0,0}
02392 };
02393 const SetInstr si457[] = {
02394 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
02395 {SO_HLT,0,0,0}
02396 };
02397 const SetInstr si458[] = {
02398 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02399 {SO_INTER,0,1,0},
02400 {SO_HLT,0,0,0}
02401 };
02402 const SetInstr si459[] = {
02403 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02404 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
02405 {SO_HLT,0,0,0}
02406 };
02407 const SetInstr si460[] = {
02408 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02409 {SO_INTER,0,1,0},
02410 {SO_HLT,0,0,0}
02411 };
02412 const SetInstr si461[] = {
02413 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02414 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02415 {SO_HLT,0,0,0}
02416 };
02417 const SetInstr si462[] = {
02418 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
02419 {SO_HLT,0,0,0}
02420 };
02421 const SetInstr si463[] = {
02422 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
02423 {SO_HLT,0,0,0}
02424 };
02425 const SetInstr si464[] = {
02426 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
02427 {SO_HLT,0,0,0}
02428 };
02429 const SetInstr si465[] = {
02430 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02431 {SO_UNION ,0,1,0},
02432 {SO_HLT,0,0,0}
02433 };
02434 const SetInstr si466[] = {
02435 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02436 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
02437 {SO_HLT,0,0,0}
02438 };
02439 const SetInstr si467[] = {
02440 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02441 {SO_UNION ,0,1,0},
02442 {SO_HLT,0,0,0}
02443 };
02444 const SetInstr si468[] = {
02445 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02446 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02447 {SO_HLT,0,0,0}
02448 };
02449 const SetInstr si469[] = {
02450 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
02451 {SO_HLT,0,0,0}
02452 };
02453 const SetInstr si470[] = {
02454 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
02455 {SO_HLT,0,0,0}
02456 };
02457 const SetInstr si471[] = {
02458 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
02459 {SO_HLT,0,0,0}
02460 };
02461 const SetInstr si472[] = {
02462 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02463 {SO_UNION,0,1,0},
02464 {SO_HLT,0,0,0}
02465 };
02466 const SetInstr si473[] = {
02467 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02468 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
02469 {SO_HLT,0,0,0}
02470 };
02471 const SetInstr si474[] = {
02472 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02473 {SO_UNION,0,1,0},
02474 {SO_HLT,0,0,0}
02475 };
02476 const SetInstr si475[] = {
02477 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02478 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02479 {SO_HLT,0,0,0}
02480 };
02481 const SetInstr si476[] = {
02482 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
02483 {SO_HLT,0,0,0}
02484 };
02485 const SetInstr si477[] = {
02486 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
02487 {SO_HLT,0,0,0}
02488 };
02489 const SetInstr si478[] = {
02490 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
02491 {SO_HLT,0,0,0}
02492 };
02493 const SetInstr si479[] = {
02494 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02495 {SO_DUNION,0,1,0},
02496 {SO_HLT,0,0,0}
02497 };
02498 const SetInstr si480[] = {
02499 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02500 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
02501 {SO_HLT,0,0,0}
02502 };
02503 const SetInstr si481[] = {
02504 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02505 {SO_DUNION,0,1,0},
02506 {SO_HLT,0,0,0}
02507 };
02508 const SetInstr si482[] = {
02509 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02510 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02511 {SO_HLT,0,0,0}
02512 };
02513 const SetInstr si483[] = {
02514 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
02515 {SO_HLT,0,0,0}
02516 };
02517 const SetInstr si484[] = {
02518 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
02519 {SO_HLT,0,0,0}
02520 };
02521 const SetInstr si485[] = {
02522 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
02523 {SO_HLT,0,0,0}
02524 };
02525 const SetInstr si486[] = {
02526 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
02527 {SO_MINUS,0,1,0},
02528 {SO_HLT,0,0,0}
02529 };
02530 const SetInstr si487[] = {
02531 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02532 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
02533 {SO_HLT,0,0,0}
02534 };
02535 const SetInstr si488[] = {
02536 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02537 {SO_MINUS,0,1,0},
02538 {SO_HLT,0,0,0}
02539 };
02540 const SetInstr si489[] = {
02541 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
02542 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02543 {SO_HLT,0,0,0}
02544 };
02545 const SetInstr si490[] = {
02546 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
02547 {SO_HLT,0,0,0}
02548 };
02549 const SetInstr si491[] = {
02550 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
02551 {SO_HLT,0,0,0}
02552 };
02553 const SetInstr si492[] = {
02554 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
02555 {SO_HLT,0,0,0}
02556 };
02557 const SetInstr si493[] = {
02558 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02559 {SO_INTER,0,1,0},
02560 {SO_HLT,0,0,0}
02561 };
02562 const SetInstr si494[] = {
02563 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02564 {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
02565 {SO_HLT,0,0,0}
02566 };
02567 const SetInstr si495[] = {
02568 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02569 {SO_INTER,0,1,0},
02570 {SO_HLT,0,0,0}
02571 };
02572 const SetInstr si496[] = {
02573 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02574 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02575 {SO_HLT,0,0,0}
02576 };
02577 const SetInstr si497[] = {
02578 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
02579 {SO_HLT,0,0,0}
02580 };
02581 const SetInstr si498[] = {
02582 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
02583 {SO_HLT,0,0,0}
02584 };
02585 const SetInstr si499[] = {
02586 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
02587 {SO_HLT,0,0,0}
02588 };
02589 const SetInstr si500[] = {
02590 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02591 {SO_UNION ,0,1,0},
02592 {SO_HLT,0,0,0}
02593 };
02594 const SetInstr si501[] = {
02595 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02596 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
02597 {SO_HLT,0,0,0}
02598 };
02599 const SetInstr si502[] = {
02600 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02601 {SO_UNION ,0,1,0},
02602 {SO_HLT,0,0,0}
02603 };
02604 const SetInstr si503[] = {
02605 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02606 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02607 {SO_HLT,0,0,0}
02608 };
02609 const SetInstr si504[] = {
02610 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
02611 {SO_HLT,0,0,0}
02612 };
02613 const SetInstr si505[] = {
02614 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
02615 {SO_HLT,0,0,0}
02616 };
02617 const SetInstr si506[] = {
02618 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
02619 {SO_HLT,0,0,0}
02620 };
02621 const SetInstr si507[] = {
02622 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02623 {SO_UNION,0,1,0},
02624 {SO_HLT,0,0,0}
02625 };
02626 const SetInstr si508[] = {
02627 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02628 {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
02629 {SO_HLT,0,0,0}
02630 };
02631 const SetInstr si509[] = {
02632 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02633 {SO_UNION,0,1,0},
02634 {SO_HLT,0,0,0}
02635 };
02636 const SetInstr si510[] = {
02637 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02638 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02639 {SO_HLT,0,0,0}
02640 };
02641 const SetInstr si511[] = {
02642 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
02643 {SO_HLT,0,0,0}
02644 };
02645 const SetInstr si512[] = {
02646 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
02647 {SO_HLT,0,0,0}
02648 };
02649 const SetInstr si513[] = {
02650 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
02651 {SO_HLT,0,0,0}
02652 };
02653 const SetInstr si514[] = {
02654 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02655 {SO_DUNION,0,1,0},
02656 {SO_HLT,0,0,0}
02657 };
02658 const SetInstr si515[] = {
02659 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02660 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
02661 {SO_HLT,0,0,0}
02662 };
02663 const SetInstr si516[] = {
02664 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02665 {SO_DUNION,0,1,0},
02666 {SO_HLT,0,0,0}
02667 };
02668 const SetInstr si517[] = {
02669 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02670 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02671 {SO_HLT,0,0,0}
02672 };
02673 const SetInstr si518[] = {
02674 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
02675 {SO_HLT,0,0,0}
02676 };
02677 const SetInstr si519[] = {
02678 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
02679 {SO_HLT,0,0,0}
02680 };
02681 const SetInstr si520[] = {
02682 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
02683 {SO_HLT,0,0,0}
02684 };
02685 const SetInstr si521[] = {
02686 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
02687 {SO_MINUS,0,1,0},
02688 {SO_HLT,0,0,0}
02689 };
02690 const SetInstr si522[] = {
02691 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
02692 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
02693 {SO_HLT,0,0,0}
02694 };
02695 const SetInstr si523[] = {
02696 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02697 {SO_MINUS,0,1,0},
02698 {SO_HLT,0,0,0}
02699 };
02700 const SetInstr si524[] = {
02701 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
02702 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02703 {SO_HLT,0,0,0}
02704 };
02705 const SetInstr si525[] = {
02706 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
02707 {SO_HLT,0,0,0}
02708 };
02709 const SetInstr si526[] = {
02710 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
02711 {SO_HLT,0,0,0}
02712 };
02713 const SetInstr si527[] = {
02714 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
02715 {SO_HLT,0,0,0}
02716 };
02717 const SetInstr si528[] = {
02718 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02719 {SO_INTER,0,1,0},
02720 {SO_HLT,0,0,0}
02721 };
02722 const SetInstr si529[] = {
02723 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02724 {SO_INTER,2,3,1},{SO_INTER,0,1,0},
02725 {SO_HLT,0,0,0}
02726 };
02727 const SetInstr si530[] = {
02728 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02729 {SO_INTER,0,1,0},
02730 {SO_HLT,0,0,0}
02731 };
02732 const SetInstr si531[] = {
02733 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02734 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02735 {SO_HLT,0,0,0}
02736 };
02737 const SetInstr si532[] = {
02738 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
02739 {SO_HLT,0,0,0}
02740 };
02741 const SetInstr si533[] = {
02742 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
02743 {SO_HLT,0,0,0}
02744 };
02745 const SetInstr si534[] = {
02746 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
02747 {SO_HLT,0,0,0}
02748 };
02749 const SetInstr si535[] = {
02750 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02751 {SO_UNION ,0,1,0},
02752 {SO_HLT,0,0,0}
02753 };
02754 const SetInstr si536[] = {
02755 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02756 {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
02757 {SO_HLT,0,0,0}
02758 };
02759 const SetInstr si537[] = {
02760 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02761 {SO_UNION ,0,1,0},
02762 {SO_HLT,0,0,0}
02763 };
02764 const SetInstr si538[] = {
02765 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02766 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02767 {SO_HLT,0,0,0}
02768 };
02769 const SetInstr si539[] = {
02770 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
02771 {SO_HLT,0,0,0}
02772 };
02773 const SetInstr si540[] = {
02774 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
02775 {SO_HLT,0,0,0}
02776 };
02777 const SetInstr si541[] = {
02778 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
02779 {SO_HLT,0,0,0}
02780 };
02781 const SetInstr si542[] = {
02782 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02783 {SO_UNION,0,1,0},
02784 {SO_HLT,0,0,0}
02785 };
02786 const SetInstr si543[] = {
02787 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02788 {SO_INTER,2,3,1},{SO_UNION,0,1,0},
02789 {SO_HLT,0,0,0}
02790 };
02791 const SetInstr si544[] = {
02792 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02793 {SO_UNION,0,1,0},
02794 {SO_HLT,0,0,0}
02795 };
02796 const SetInstr si545[] = {
02797 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02798 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02799 {SO_HLT,0,0,0}
02800 };
02801 const SetInstr si546[] = {
02802 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02803 {SO_HLT,0,0,0}
02804 };
02805 const SetInstr si547[] = {
02806 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
02807 {SO_HLT,0,0,0}
02808 };
02809 const SetInstr si548[] = {
02810 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
02811 {SO_HLT,0,0,0}
02812 };
02813 const SetInstr si549[] = {
02814 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02815 {SO_DUNION,0,1,0},
02816 {SO_HLT,0,0,0}
02817 };
02818 const SetInstr si550[] = {
02819 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02820 {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
02821 {SO_HLT,0,0,0}
02822 };
02823 const SetInstr si551[] = {
02824 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02825 {SO_DUNION,0,1,0},
02826 {SO_HLT,0,0,0}
02827 };
02828 const SetInstr si552[] = {
02829 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02830 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02831 {SO_HLT,0,0,0}
02832 };
02833 const SetInstr si553[] = {
02834 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02835 {SO_HLT,0,0,0}
02836 };
02837 const SetInstr si554[] = {
02838 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
02839 {SO_HLT,0,0,0}
02840 };
02841 const SetInstr si555[] = {
02842 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
02843 {SO_HLT,0,0,0}
02844 };
02845 const SetInstr si556[] = {
02846 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
02847 {SO_MINUS,0,1,0},
02848 {SO_HLT,0,0,0}
02849 };
02850 const SetInstr si557[] = {
02851 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02852 {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
02853 {SO_HLT,0,0,0}
02854 };
02855 const SetInstr si558[] = {
02856 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02857 {SO_MINUS,0,1,0},
02858 {SO_HLT,0,0,0}
02859 };
02860 const SetInstr si559[] = {
02861 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
02862 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
02863 {SO_HLT,0,0,0}
02864 };
02865 const SetInstr si560[] = {
02866 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02867 {SO_HLT,0,0,0}
02868 };
02869 const SetInstr si561[] = {
02870 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
02871 {SO_HLT,0,0,0}
02872 };
02873 const SetInstr si562[] = {
02874 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
02875 {SO_HLT,0,0,0}
02876 };
02877 const SetInstr si563[] = {
02878 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02879 {SO_INTER,0,1,0},
02880 {SO_HLT,0,0,0}
02881 };
02882 const SetInstr si564[] = {
02883 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02884 {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
02885 {SO_HLT,0,0,0}
02886 };
02887 const SetInstr si565[] = {
02888 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02889 {SO_INTER,0,1,0},
02890 {SO_HLT,0,0,0}
02891 };
02892 const SetInstr si566[] = {
02893 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02894 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
02895 {SO_HLT,0,0,0}
02896 };
02897 const SetInstr si567[] = {
02898 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02899 {SO_HLT,0,0,0}
02900 };
02901 const SetInstr si568[] = {
02902 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
02903 {SO_HLT,0,0,0}
02904 };
02905 const SetInstr si569[] = {
02906 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
02907 {SO_HLT,0,0,0}
02908 };
02909 const SetInstr si570[] = {
02910 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02911 {SO_UNION ,0,1,0},
02912 {SO_HLT,0,0,0}
02913 };
02914 const SetInstr si571[] = {
02915 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02916 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
02917 {SO_HLT,0,0,0}
02918 };
02919 const SetInstr si572[] = {
02920 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02921 {SO_UNION ,0,1,0},
02922 {SO_HLT,0,0,0}
02923 };
02924 const SetInstr si573[] = {
02925 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02926 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
02927 {SO_HLT,0,0,0}
02928 };
02929 const SetInstr si574[] = {
02930 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02931 {SO_HLT,0,0,0}
02932 };
02933 const SetInstr si575[] = {
02934 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
02935 {SO_HLT,0,0,0}
02936 };
02937 const SetInstr si576[] = {
02938 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
02939 {SO_HLT,0,0,0}
02940 };
02941 const SetInstr si577[] = {
02942 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02943 {SO_UNION,0,1,0},
02944 {SO_HLT,0,0,0}
02945 };
02946 const SetInstr si578[] = {
02947 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02948 {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
02949 {SO_HLT,0,0,0}
02950 };
02951 const SetInstr si579[] = {
02952 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02953 {SO_UNION,0,1,0},
02954 {SO_HLT,0,0,0}
02955 };
02956 const SetInstr si580[] = {
02957 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02958 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
02959 {SO_HLT,0,0,0}
02960 };
02961 const SetInstr si581[] = {
02962 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02963 {SO_HLT,0,0,0}
02964 };
02965 const SetInstr si582[] = {
02966 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
02967 {SO_HLT,0,0,0}
02968 };
02969 const SetInstr si583[] = {
02970 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
02971 {SO_HLT,0,0,0}
02972 };
02973 const SetInstr si584[] = {
02974 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
02975 {SO_DUNION,0,1,0},
02976 {SO_HLT,0,0,0}
02977 };
02978 const SetInstr si585[] = {
02979 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
02980 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
02981 {SO_HLT,0,0,0}
02982 };
02983 const SetInstr si586[] = {
02984 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02985 {SO_DUNION,0,1,0},
02986 {SO_HLT,0,0,0}
02987 };
02988 const SetInstr si587[] = {
02989 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
02990 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
02991 {SO_HLT,0,0,0}
02992 };
02993 const SetInstr si588[] = {
02994 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
02995 {SO_HLT,0,0,0}
02996 };
02997 const SetInstr si589[] = {
02998 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
02999 {SO_HLT,0,0,0}
03000 };
03001 const SetInstr si590[] = {
03002 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
03003 {SO_HLT,0,0,0}
03004 };
03005 const SetInstr si591[] = {
03006 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
03007 {SO_MINUS,0,1,0},
03008 {SO_HLT,0,0,0}
03009 };
03010 const SetInstr si592[] = {
03011 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03012 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
03013 {SO_HLT,0,0,0}
03014 };
03015 const SetInstr si593[] = {
03016 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03017 {SO_MINUS,0,1,0},
03018 {SO_HLT,0,0,0}
03019 };
03020 const SetInstr si594[] = {
03021 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
03022 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03023 {SO_HLT,0,0,0}
03024 };
03025 const SetInstr si595[] = {
03026 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
03027 {SO_HLT,0,0,0}
03028 };
03029 const SetInstr si596[] = {
03030 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
03031 {SO_HLT,0,0,0}
03032 };
03033 const SetInstr si597[] = {
03034 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
03035 {SO_HLT,0,0,0}
03036 };
03037 const SetInstr si598[] = {
03038 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03039 {SO_INTER,0,1,0},
03040 {SO_HLT,0,0,0}
03041 };
03042 const SetInstr si599[] = {
03043 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03044 {SO_UNION,2,3,1},{SO_INTER,0,1,0},
03045 {SO_HLT,0,0,0}
03046 };
03047 const SetInstr si600[] = {
03048 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03049 {SO_INTER,0,1,0},
03050 {SO_HLT,0,0,0}
03051 };
03052 const SetInstr si601[] = {
03053 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03054 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03055 {SO_HLT,0,0,0}
03056 };
03057 const SetInstr si602[] = {
03058 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03059 {SO_HLT,0,0,0}
03060 };
03061 const SetInstr si603[] = {
03062 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
03063 {SO_HLT,0,0,0}
03064 };
03065 const SetInstr si604[] = {
03066 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
03067 {SO_HLT,0,0,0}
03068 };
03069 const SetInstr si605[] = {
03070 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03071 {SO_UNION ,0,1,0},
03072 {SO_HLT,0,0,0}
03073 };
03074 const SetInstr si606[] = {
03075 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03076 {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
03077 {SO_HLT,0,0,0}
03078 };
03079 const SetInstr si607[] = {
03080 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03081 {SO_UNION ,0,1,0},
03082 {SO_HLT,0,0,0}
03083 };
03084 const SetInstr si608[] = {
03085 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03086 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03087 {SO_HLT,0,0,0}
03088 };
03089 const SetInstr si609[] = {
03090 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
03091 {SO_HLT,0,0,0}
03092 };
03093 const SetInstr si610[] = {
03094 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
03095 {SO_HLT,0,0,0}
03096 };
03097 const SetInstr si611[] = {
03098 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
03099 {SO_HLT,0,0,0}
03100 };
03101 const SetInstr si612[] = {
03102 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03103 {SO_UNION,0,1,0},
03104 {SO_HLT,0,0,0}
03105 };
03106 const SetInstr si613[] = {
03107 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03108 {SO_UNION,2,3,1},{SO_UNION,0,1,0},
03109 {SO_HLT,0,0,0}
03110 };
03111 const SetInstr si614[] = {
03112 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03113 {SO_UNION,0,1,0},
03114 {SO_HLT,0,0,0}
03115 };
03116 const SetInstr si615[] = {
03117 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03118 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03119 {SO_HLT,0,0,0}
03120 };
03121 const SetInstr si616[] = {
03122 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03123 {SO_HLT,0,0,0}
03124 };
03125 const SetInstr si617[] = {
03126 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
03127 {SO_HLT,0,0,0}
03128 };
03129 const SetInstr si618[] = {
03130 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
03131 {SO_HLT,0,0,0}
03132 };
03133 const SetInstr si619[] = {
03134 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03135 {SO_DUNION,0,1,0},
03136 {SO_HLT,0,0,0}
03137 };
03138 const SetInstr si620[] = {
03139 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03140 {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
03141 {SO_HLT,0,0,0}
03142 };
03143 const SetInstr si621[] = {
03144 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03145 {SO_DUNION,0,1,0},
03146 {SO_HLT,0,0,0}
03147 };
03148 const SetInstr si622[] = {
03149 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03150 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03151 {SO_HLT,0,0,0}
03152 };
03153 const SetInstr si623[] = {
03154 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03155 {SO_HLT,0,0,0}
03156 };
03157 const SetInstr si624[] = {
03158 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
03159 {SO_HLT,0,0,0}
03160 };
03161 const SetInstr si625[] = {
03162 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
03163 {SO_HLT,0,0,0}
03164 };
03165 const SetInstr si626[] = {
03166 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
03167 {SO_MINUS,0,1,0},
03168 {SO_HLT,0,0,0}
03169 };
03170 const SetInstr si627[] = {
03171 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03172 {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
03173 {SO_HLT,0,0,0}
03174 };
03175 const SetInstr si628[] = {
03176 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03177 {SO_MINUS,0,1,0},
03178 {SO_HLT,0,0,0}
03179 };
03180 const SetInstr si629[] = {
03181 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
03182 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03183 {SO_HLT,0,0,0}
03184 };
03185 const SetInstr si630[] = {
03186 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
03187 {SO_HLT,0,0,0}
03188 };
03189 const SetInstr si631[] = {
03190 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
03191 {SO_HLT,0,0,0}
03192 };
03193 const SetInstr si632[] = {
03194 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
03195 {SO_HLT,0,0,0}
03196 };
03197 const SetInstr si633[] = {
03198 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03199 {SO_INTER,0,1,0},
03200 {SO_HLT,0,0,0}
03201 };
03202 const SetInstr si634[] = {
03203 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03204 {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
03205 {SO_HLT,0,0,0}
03206 };
03207 const SetInstr si635[] = {
03208 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03209 {SO_INTER,0,1,0},
03210 {SO_HLT,0,0,0}
03211 };
03212 const SetInstr si636[] = {
03213 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03214 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
03215 {SO_HLT,0,0,0}
03216 };
03217 const SetInstr si637[] = {
03218 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
03219 {SO_HLT,0,0,0}
03220 };
03221 const SetInstr si638[] = {
03222 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
03223 {SO_HLT,0,0,0}
03224 };
03225 const SetInstr si639[] = {
03226 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
03227 {SO_HLT,0,0,0}
03228 };
03229 const SetInstr si640[] = {
03230 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03231 {SO_UNION ,0,1,0},
03232 {SO_HLT,0,0,0}
03233 };
03234 const SetInstr si641[] = {
03235 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03236 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
03237 {SO_HLT,0,0,0}
03238 };
03239 const SetInstr si642[] = {
03240 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03241 {SO_UNION ,0,1,0},
03242 {SO_HLT,0,0,0}
03243 };
03244 const SetInstr si643[] = {
03245 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03246 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
03247 {SO_HLT,0,0,0}
03248 };
03249 const SetInstr si644[] = {
03250 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
03251 {SO_HLT,0,0,0}
03252 };
03253 const SetInstr si645[] = {
03254 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
03255 {SO_HLT,0,0,0}
03256 };
03257 const SetInstr si646[] = {
03258 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
03259 {SO_HLT,0,0,0}
03260 };
03261 const SetInstr si647[] = {
03262 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03263 {SO_UNION,0,1,0},
03264 {SO_HLT,0,0,0}
03265 };
03266 const SetInstr si648[] = {
03267 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03268 {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
03269 {SO_HLT,0,0,0}
03270 };
03271 const SetInstr si649[] = {
03272 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03273 {SO_UNION,0,1,0},
03274 {SO_HLT,0,0,0}
03275 };
03276 const SetInstr si650[] = {
03277 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03278 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
03279 {SO_HLT,0,0,0}
03280 };
03281 const SetInstr si651[] = {
03282 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
03283 {SO_HLT,0,0,0}
03284 };
03285 const SetInstr si652[] = {
03286 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
03287 {SO_HLT,0,0,0}
03288 };
03289 const SetInstr si653[] = {
03290 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
03291 {SO_HLT,0,0,0}
03292 };
03293 const SetInstr si654[] = {
03294 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03295 {SO_DUNION,0,1,0},
03296 {SO_HLT,0,0,0}
03297 };
03298 const SetInstr si655[] = {
03299 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03300 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
03301 {SO_HLT,0,0,0}
03302 };
03303 const SetInstr si656[] = {
03304 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03305 {SO_DUNION,0,1,0},
03306 {SO_HLT,0,0,0}
03307 };
03308 const SetInstr si657[] = {
03309 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03310 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
03311 {SO_HLT,0,0,0}
03312 };
03313 const SetInstr si658[] = {
03314 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
03315 {SO_HLT,0,0,0}
03316 };
03317 const SetInstr si659[] = {
03318 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
03319 {SO_HLT,0,0,0}
03320 };
03321 const SetInstr si660[] = {
03322 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
03323 {SO_HLT,0,0,0}
03324 };
03325 const SetInstr si661[] = {
03326 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
03327 {SO_MINUS,0,1,0},
03328 {SO_HLT,0,0,0}
03329 };
03330 const SetInstr si662[] = {
03331 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
03332 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
03333 {SO_HLT,0,0,0}
03334 };
03335 const SetInstr si663[] = {
03336 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03337 {SO_MINUS,0,1,0},
03338 {SO_HLT,0,0,0}
03339 };
03340 const SetInstr si664[] = {
03341 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
03342 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
03343 {SO_HLT,0,0,0}
03344 };
03345 const SetInstr si665[] = {
03346 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
03347 {SO_HLT,0,0,0}
03348 };
03349 const