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