Generated on Thu Apr 11 13:59:22 2019 for Gecode by doxygen 1.6.3

mm-set.cpp

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