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