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