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