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

mm-set.cpp

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