Generated on Thu Mar 22 10:39:46 2012 for Gecode by doxygen 1.6.3

mm-bool.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-05-08 13:09:21 +0200 (Sat, 08 May 2010) $ by $Author: tack $
00011  *     $Revision: 10907 $
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 MiniModelBoolean {
00046 
00048      enum BoolOpcode {
00049        BO_NOT, 
00050        BO_AND, 
00051        BO_OR,  
00052        BO_IMP, 
00053        BO_XOR, 
00054        BO_EQV, 
00055        BO_HLT  
00056      };
00057 
00059      class BoolInstr {
00060      public:
00061        BoolOpcode o; 
00062        unsigned char x, y, z;  
00063      };
00064 
00066      int
00067      eval(const BoolInstr* pc, int reg[]) {
00068        while (true) {
00069          switch (pc->o) {
00070          case BO_NOT: reg[pc->y] = !reg[pc->x]; break;
00071          case BO_AND: reg[pc->z] = reg[pc->x] & reg[pc->y]; break;
00072          case BO_OR:  reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
00073          case BO_IMP: reg[pc->z] = !reg[pc->x] | reg[pc->y]; break;
00074          case BO_XOR: reg[pc->z] = reg[pc->x] ^ reg[pc->y]; break;
00075          case BO_EQV: reg[pc->z] = reg[pc->x] == reg[pc->y]; break;
00076          case BO_HLT: return reg[pc->x];
00077          default: GECODE_NEVER;
00078          }
00079          pc++;
00080        }
00081        GECODE_NEVER;
00082      }
00083 
00085      Gecode::BoolExpr
00086      eval(const BoolInstr* pc, Gecode::BoolExpr reg[]) {
00087        using namespace Gecode;
00088        while (true) {
00089          switch (pc->o) {
00090          case BO_NOT: reg[pc->y] = !reg[pc->x]; break;
00091          case BO_AND: reg[pc->z] = reg[pc->x] && reg[pc->y]; break;
00092          case BO_OR:  reg[pc->z] = reg[pc->x] || reg[pc->y]; break;
00093          case BO_IMP: reg[pc->z] = (reg[pc->x] >> reg[pc->y]); break;
00094          case BO_XOR: reg[pc->z] = reg[pc->x] ^ reg[pc->y]; break;
00095          case BO_EQV: reg[pc->z] = (reg[pc->x] == reg[pc->y]); break;
00096          case BO_HLT: return reg[pc->x];
00097          default: GECODE_NEVER;
00098          }
00099          pc++;
00100        }
00101        GECODE_NEVER;
00102      }
00103 
00109 
00110      class BoolExprInt : public Test {
00111      protected:
00113        const BoolInstr* bis;
00115        int c;
00116      public:
00118        BoolExprInt(const BoolInstr* bis0, const std::string& s, int c0)
00119          : Test("MiniModel::BoolExpr::Int::"+s+"::"+str(c0),4,0,1),
00120            bis(bis0), c(c0) {}
00122        virtual bool solution(const Assignment& x) const {
00123          int reg[4] = {(x[0] != x[2]), x[1],
00124                        (x[2] > 0), x[3]};
00125          return eval(bis, reg) == c;
00126        }
00128        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00129          using namespace Gecode;
00130          Gecode::BoolExpr reg[4] = {
00131            (x[0] != x[2]),channel(home,x[1]),
00132            (x[2] > 0),channel(home,x[3])
00133          };
00134          if (c == 0)
00135            Gecode::rel(home, !(eval(bis,reg)));
00136          else
00137            Gecode::rel(home, eval(bis,reg));
00138        }
00139      };
00140 
00142      class BoolExprVar : public Test {
00143      protected:
00145        const BoolInstr* bis;
00146      public:
00148        BoolExprVar(const BoolInstr* bis0, const std::string& s)
00149          : Test("MiniModel::BoolExpr::Var::"+s,5,0,1), bis(bis0) {}
00151        virtual bool solution(const Assignment& x) const {
00152          int reg[4] = {(x[0] > x[2]), x[1],
00153                        (x[2] != 1), x[3]};
00154          return eval(bis, reg) == x[4];
00155        }
00157        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00158          using namespace Gecode;
00159          Gecode::BoolExpr reg[4] = {
00160            (x[0] > x[2]),channel(home,x[1]),
00161            (channel(home,x[2]) != 1),channel(home,x[3])
00162          };
00163          rel(home, Gecode::expr(home, eval(bis,reg)), IRT_EQ,
00164              channel(home,x[4]));
00165        }
00166      };
00167 
00168     const BoolInstr bi000[] = {
00169       {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
00170       {BO_HLT,0,0,0}
00171     };
00172     const BoolInstr bi001[] = {
00173       {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
00174       {BO_HLT,0,0,0}
00175     };
00176     const BoolInstr bi002[] = {
00177       {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
00178       {BO_HLT,0,0,0}
00179     };
00180     const BoolInstr bi003[] = {
00181       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
00182       {BO_AND,0,1,0},
00183       {BO_HLT,0,0,0}
00184     };
00185     const BoolInstr bi004[] = {
00186       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00187       {BO_AND,2,3,1},{BO_AND,0,1,0},
00188       {BO_HLT,0,0,0}
00189     };
00190     const BoolInstr bi005[] = {
00191       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00192       {BO_AND,0,1,0},
00193       {BO_HLT,0,0,0}
00194     };
00195     const BoolInstr bi006[] = {
00196       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00197       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00198       {BO_HLT,0,0,0}
00199     };
00200     const BoolInstr bi007[] = {
00201       {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
00202       {BO_HLT,0,0,0}
00203     };
00204     const BoolInstr bi008[] = {
00205       {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
00206       {BO_HLT,0,0,0}
00207     };
00208     const BoolInstr bi009[] = {
00209       {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
00210       {BO_HLT,0,0,0}
00211     };
00212     const BoolInstr bi010[] = {
00213       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
00214       {BO_OR ,0,1,0},
00215       {BO_HLT,0,0,0}
00216     };
00217     const BoolInstr bi011[] = {
00218       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00219       {BO_AND,2,3,1},{BO_OR ,0,1,0},
00220       {BO_HLT,0,0,0}
00221     };
00222     const BoolInstr bi012[] = {
00223       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00224       {BO_OR ,0,1,0},
00225       {BO_HLT,0,0,0}
00226     };
00227     const BoolInstr bi013[] = {
00228       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00229       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
00230       {BO_HLT,0,0,0}
00231     };
00232     const BoolInstr bi014[] = {
00233       {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
00234       {BO_HLT,0,0,0}
00235     };
00236     const BoolInstr bi015[] = {
00237       {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
00238       {BO_HLT,0,0,0}
00239     };
00240     const BoolInstr bi016[] = {
00241       {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
00242       {BO_HLT,0,0,0}
00243     };
00244     const BoolInstr bi017[] = {
00245       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
00246       {BO_IMP,0,1,0},
00247       {BO_HLT,0,0,0}
00248     };
00249     const BoolInstr bi018[] = {
00250       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00251       {BO_AND,2,3,1},{BO_IMP,0,1,0},
00252       {BO_HLT,0,0,0}
00253     };
00254     const BoolInstr bi019[] = {
00255       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00256       {BO_IMP,0,1,0},
00257       {BO_HLT,0,0,0}
00258     };
00259     const BoolInstr bi020[] = {
00260       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00261       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
00262       {BO_HLT,0,0,0}
00263     };
00264     const BoolInstr bi021[] = {
00265       {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
00266       {BO_HLT,0,0,0}
00267     };
00268     const BoolInstr bi022[] = {
00269       {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
00270       {BO_HLT,0,0,0}
00271     };
00272     const BoolInstr bi023[] = {
00273       {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
00274       {BO_HLT,0,0,0}
00275     };
00276     const BoolInstr bi024[] = {
00277       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
00278       {BO_XOR,0,1,0},
00279       {BO_HLT,0,0,0}
00280     };
00281     const BoolInstr bi025[] = {
00282       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00283       {BO_AND,2,3,1},{BO_XOR,0,1,0},
00284       {BO_HLT,0,0,0}
00285     };
00286     const BoolInstr bi026[] = {
00287       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00288       {BO_XOR,0,1,0},
00289       {BO_HLT,0,0,0}
00290     };
00291     const BoolInstr bi027[] = {
00292       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00293       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
00294       {BO_HLT,0,0,0}
00295     };
00296     const BoolInstr bi028[] = {
00297       {BO_AND,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
00298       {BO_HLT,0,0,0}
00299     };
00300     const BoolInstr bi029[] = {
00301       {BO_AND,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
00302       {BO_HLT,0,0,0}
00303     };
00304     const BoolInstr bi030[] = {
00305       {BO_AND,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
00306       {BO_HLT,0,0,0}
00307     };
00308     const BoolInstr bi031[] = {
00309       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_AND,2,3,1},
00310       {BO_EQV,0,1,0},
00311       {BO_HLT,0,0,0}
00312     };
00313     const BoolInstr bi032[] = {
00314       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00315       {BO_AND,2,3,1},{BO_EQV,0,1,0},
00316       {BO_HLT,0,0,0}
00317     };
00318     const BoolInstr bi033[] = {
00319       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00320       {BO_EQV,0,1,0},
00321       {BO_HLT,0,0,0}
00322     };
00323     const BoolInstr bi034[] = {
00324       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00325       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
00326       {BO_HLT,0,0,0}
00327     };
00328     const BoolInstr bi035[] = {
00329       {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
00330       {BO_HLT,0,0,0}
00331     };
00332     const BoolInstr bi036[] = {
00333       {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
00334       {BO_HLT,0,0,0}
00335     };
00336     const BoolInstr bi037[] = {
00337       {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
00338       {BO_HLT,0,0,0}
00339     };
00340     const BoolInstr bi038[] = {
00341       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
00342       {BO_AND,0,1,0},
00343       {BO_HLT,0,0,0}
00344     };
00345     const BoolInstr bi039[] = {
00346       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00347       {BO_OR ,2,3,1},{BO_AND,0,1,0},
00348       {BO_HLT,0,0,0}
00349     };
00350     const BoolInstr bi040[] = {
00351       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00352       {BO_AND,0,1,0},
00353       {BO_HLT,0,0,0}
00354     };
00355     const BoolInstr bi041[] = {
00356       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00357       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00358       {BO_HLT,0,0,0}
00359     };
00360     const BoolInstr bi042[] = {
00361       {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
00362       {BO_HLT,0,0,0}
00363     };
00364     const BoolInstr bi043[] = {
00365       {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
00366       {BO_HLT,0,0,0}
00367     };
00368     const BoolInstr bi044[] = {
00369       {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
00370       {BO_HLT,0,0,0}
00371     };
00372     const BoolInstr bi045[] = {
00373       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
00374       {BO_OR ,0,1,0},
00375       {BO_HLT,0,0,0}
00376     };
00377     const BoolInstr bi046[] = {
00378       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00379       {BO_OR ,2,3,1},{BO_OR ,0,1,0},
00380       {BO_HLT,0,0,0}
00381     };
00382     const BoolInstr bi047[] = {
00383       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00384       {BO_OR ,0,1,0},
00385       {BO_HLT,0,0,0}
00386     };
00387     const BoolInstr bi048[] = {
00388       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00389       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
00390       {BO_HLT,0,0,0}
00391     };
00392     const BoolInstr bi049[] = {
00393       {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
00394       {BO_HLT,0,0,0}
00395     };
00396     const BoolInstr bi050[] = {
00397       {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
00398       {BO_HLT,0,0,0}
00399     };
00400     const BoolInstr bi051[] = {
00401       {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
00402       {BO_HLT,0,0,0}
00403     };
00404     const BoolInstr bi052[] = {
00405       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
00406       {BO_IMP,0,1,0},
00407       {BO_HLT,0,0,0}
00408     };
00409     const BoolInstr bi053[] = {
00410       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00411       {BO_OR ,2,3,1},{BO_IMP,0,1,0},
00412       {BO_HLT,0,0,0}
00413     };
00414     const BoolInstr bi054[] = {
00415       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00416       {BO_IMP,0,1,0},
00417       {BO_HLT,0,0,0}
00418     };
00419     const BoolInstr bi055[] = {
00420       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00421       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
00422       {BO_HLT,0,0,0}
00423     };
00424     const BoolInstr bi056[] = {
00425       {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
00426       {BO_HLT,0,0,0}
00427     };
00428     const BoolInstr bi057[] = {
00429       {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
00430       {BO_HLT,0,0,0}
00431     };
00432     const BoolInstr bi058[] = {
00433       {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
00434       {BO_HLT,0,0,0}
00435     };
00436     const BoolInstr bi059[] = {
00437       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
00438       {BO_XOR,0,1,0},
00439       {BO_HLT,0,0,0}
00440     };
00441     const BoolInstr bi060[] = {
00442       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00443       {BO_OR ,2,3,1},{BO_XOR,0,1,0},
00444       {BO_HLT,0,0,0}
00445     };
00446     const BoolInstr bi061[] = {
00447       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00448       {BO_XOR,0,1,0},
00449       {BO_HLT,0,0,0}
00450     };
00451     const BoolInstr bi062[] = {
00452       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00453       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
00454       {BO_HLT,0,0,0}
00455     };
00456     const BoolInstr bi063[] = {
00457       {BO_AND,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
00458       {BO_HLT,0,0,0}
00459     };
00460     const BoolInstr bi064[] = {
00461       {BO_AND,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
00462       {BO_HLT,0,0,0}
00463     };
00464     const BoolInstr bi065[] = {
00465       {BO_AND,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
00466       {BO_HLT,0,0,0}
00467     };
00468     const BoolInstr bi066[] = {
00469       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_OR ,2,3,1},
00470       {BO_EQV,0,1,0},
00471       {BO_HLT,0,0,0}
00472     };
00473     const BoolInstr bi067[] = {
00474       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00475       {BO_OR ,2,3,1},{BO_EQV,0,1,0},
00476       {BO_HLT,0,0,0}
00477     };
00478     const BoolInstr bi068[] = {
00479       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00480       {BO_EQV,0,1,0},
00481       {BO_HLT,0,0,0}
00482     };
00483     const BoolInstr bi069[] = {
00484       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
00485       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
00486       {BO_HLT,0,0,0}
00487     };
00488     const BoolInstr bi070[] = {
00489       {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
00490       {BO_HLT,0,0,0}
00491     };
00492     const BoolInstr bi071[] = {
00493       {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
00494       {BO_HLT,0,0,0}
00495     };
00496     const BoolInstr bi072[] = {
00497       {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
00498       {BO_HLT,0,0,0}
00499     };
00500     const BoolInstr bi073[] = {
00501       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
00502       {BO_AND,0,1,0},
00503       {BO_HLT,0,0,0}
00504     };
00505     const BoolInstr bi074[] = {
00506       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00507       {BO_IMP,2,3,1},{BO_AND,0,1,0},
00508       {BO_HLT,0,0,0}
00509     };
00510     const BoolInstr bi075[] = {
00511       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00512       {BO_AND,0,1,0},
00513       {BO_HLT,0,0,0}
00514     };
00515     const BoolInstr bi076[] = {
00516       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00517       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00518       {BO_HLT,0,0,0}
00519     };
00520     const BoolInstr bi077[] = {
00521       {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
00522       {BO_HLT,0,0,0}
00523     };
00524     const BoolInstr bi078[] = {
00525       {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
00526       {BO_HLT,0,0,0}
00527     };
00528     const BoolInstr bi079[] = {
00529       {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
00530       {BO_HLT,0,0,0}
00531     };
00532     const BoolInstr bi080[] = {
00533       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
00534       {BO_OR ,0,1,0},
00535       {BO_HLT,0,0,0}
00536     };
00537     const BoolInstr bi081[] = {
00538       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00539       {BO_IMP,2,3,1},{BO_OR ,0,1,0},
00540       {BO_HLT,0,0,0}
00541     };
00542     const BoolInstr bi082[] = {
00543       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00544       {BO_OR ,0,1,0},
00545       {BO_HLT,0,0,0}
00546     };
00547     const BoolInstr bi083[] = {
00548       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00549       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
00550       {BO_HLT,0,0,0}
00551     };
00552     const BoolInstr bi084[] = {
00553       {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
00554       {BO_HLT,0,0,0}
00555     };
00556     const BoolInstr bi085[] = {
00557       {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
00558       {BO_HLT,0,0,0}
00559     };
00560     const BoolInstr bi086[] = {
00561       {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
00562       {BO_HLT,0,0,0}
00563     };
00564     const BoolInstr bi087[] = {
00565       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
00566       {BO_IMP,0,1,0},
00567       {BO_HLT,0,0,0}
00568     };
00569     const BoolInstr bi088[] = {
00570       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00571       {BO_IMP,2,3,1},{BO_IMP,0,1,0},
00572       {BO_HLT,0,0,0}
00573     };
00574     const BoolInstr bi089[] = {
00575       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00576       {BO_IMP,0,1,0},
00577       {BO_HLT,0,0,0}
00578     };
00579     const BoolInstr bi090[] = {
00580       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00581       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
00582       {BO_HLT,0,0,0}
00583     };
00584     const BoolInstr bi091[] = {
00585       {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
00586       {BO_HLT,0,0,0}
00587     };
00588     const BoolInstr bi092[] = {
00589       {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
00590       {BO_HLT,0,0,0}
00591     };
00592     const BoolInstr bi093[] = {
00593       {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
00594       {BO_HLT,0,0,0}
00595     };
00596     const BoolInstr bi094[] = {
00597       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
00598       {BO_XOR,0,1,0},
00599       {BO_HLT,0,0,0}
00600     };
00601     const BoolInstr bi095[] = {
00602       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00603       {BO_IMP,2,3,1},{BO_XOR,0,1,0},
00604       {BO_HLT,0,0,0}
00605     };
00606     const BoolInstr bi096[] = {
00607       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00608       {BO_XOR,0,1,0},
00609       {BO_HLT,0,0,0}
00610     };
00611     const BoolInstr bi097[] = {
00612       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00613       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
00614       {BO_HLT,0,0,0}
00615     };
00616     const BoolInstr bi098[] = {
00617       {BO_AND,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
00618       {BO_HLT,0,0,0}
00619     };
00620     const BoolInstr bi099[] = {
00621       {BO_AND,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
00622       {BO_HLT,0,0,0}
00623     };
00624     const BoolInstr bi100[] = {
00625       {BO_AND,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
00626       {BO_HLT,0,0,0}
00627     };
00628     const BoolInstr bi101[] = {
00629       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_IMP,2,3,1},
00630       {BO_EQV,0,1,0},
00631       {BO_HLT,0,0,0}
00632     };
00633     const BoolInstr bi102[] = {
00634       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00635       {BO_IMP,2,3,1},{BO_EQV,0,1,0},
00636       {BO_HLT,0,0,0}
00637     };
00638     const BoolInstr bi103[] = {
00639       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00640       {BO_EQV,0,1,0},
00641       {BO_HLT,0,0,0}
00642     };
00643     const BoolInstr bi104[] = {
00644       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
00645       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
00646       {BO_HLT,0,0,0}
00647     };
00648     const BoolInstr bi105[] = {
00649       {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
00650       {BO_HLT,0,0,0}
00651     };
00652     const BoolInstr bi106[] = {
00653       {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
00654       {BO_HLT,0,0,0}
00655     };
00656     const BoolInstr bi107[] = {
00657       {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
00658       {BO_HLT,0,0,0}
00659     };
00660     const BoolInstr bi108[] = {
00661       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
00662       {BO_AND,0,1,0},
00663       {BO_HLT,0,0,0}
00664     };
00665     const BoolInstr bi109[] = {
00666       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00667       {BO_XOR,2,3,1},{BO_AND,0,1,0},
00668       {BO_HLT,0,0,0}
00669     };
00670     const BoolInstr bi110[] = {
00671       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00672       {BO_AND,0,1,0},
00673       {BO_HLT,0,0,0}
00674     };
00675     const BoolInstr bi111[] = {
00676       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00677       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00678       {BO_HLT,0,0,0}
00679     };
00680     const BoolInstr bi112[] = {
00681       {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
00682       {BO_HLT,0,0,0}
00683     };
00684     const BoolInstr bi113[] = {
00685       {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
00686       {BO_HLT,0,0,0}
00687     };
00688     const BoolInstr bi114[] = {
00689       {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
00690       {BO_HLT,0,0,0}
00691     };
00692     const BoolInstr bi115[] = {
00693       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
00694       {BO_OR ,0,1,0},
00695       {BO_HLT,0,0,0}
00696     };
00697     const BoolInstr bi116[] = {
00698       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00699       {BO_XOR,2,3,1},{BO_OR ,0,1,0},
00700       {BO_HLT,0,0,0}
00701     };
00702     const BoolInstr bi117[] = {
00703       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00704       {BO_OR ,0,1,0},
00705       {BO_HLT,0,0,0}
00706     };
00707     const BoolInstr bi118[] = {
00708       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00709       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
00710       {BO_HLT,0,0,0}
00711     };
00712     const BoolInstr bi119[] = {
00713       {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
00714       {BO_HLT,0,0,0}
00715     };
00716     const BoolInstr bi120[] = {
00717       {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
00718       {BO_HLT,0,0,0}
00719     };
00720     const BoolInstr bi121[] = {
00721       {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
00722       {BO_HLT,0,0,0}
00723     };
00724     const BoolInstr bi122[] = {
00725       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
00726       {BO_IMP,0,1,0},
00727       {BO_HLT,0,0,0}
00728     };
00729     const BoolInstr bi123[] = {
00730       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00731       {BO_XOR,2,3,1},{BO_IMP,0,1,0},
00732       {BO_HLT,0,0,0}
00733     };
00734     const BoolInstr bi124[] = {
00735       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00736       {BO_IMP,0,1,0},
00737       {BO_HLT,0,0,0}
00738     };
00739     const BoolInstr bi125[] = {
00740       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00741       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
00742       {BO_HLT,0,0,0}
00743     };
00744     const BoolInstr bi126[] = {
00745       {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
00746       {BO_HLT,0,0,0}
00747     };
00748     const BoolInstr bi127[] = {
00749       {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
00750       {BO_HLT,0,0,0}
00751     };
00752     const BoolInstr bi128[] = {
00753       {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
00754       {BO_HLT,0,0,0}
00755     };
00756     const BoolInstr bi129[] = {
00757       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
00758       {BO_XOR,0,1,0},
00759       {BO_HLT,0,0,0}
00760     };
00761     const BoolInstr bi130[] = {
00762       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00763       {BO_XOR,2,3,1},{BO_XOR,0,1,0},
00764       {BO_HLT,0,0,0}
00765     };
00766     const BoolInstr bi131[] = {
00767       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00768       {BO_XOR,0,1,0},
00769       {BO_HLT,0,0,0}
00770     };
00771     const BoolInstr bi132[] = {
00772       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00773       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
00774       {BO_HLT,0,0,0}
00775     };
00776     const BoolInstr bi133[] = {
00777       {BO_AND,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
00778       {BO_HLT,0,0,0}
00779     };
00780     const BoolInstr bi134[] = {
00781       {BO_AND,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
00782       {BO_HLT,0,0,0}
00783     };
00784     const BoolInstr bi135[] = {
00785       {BO_AND,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
00786       {BO_HLT,0,0,0}
00787     };
00788     const BoolInstr bi136[] = {
00789       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_XOR,2,3,1},
00790       {BO_EQV,0,1,0},
00791       {BO_HLT,0,0,0}
00792     };
00793     const BoolInstr bi137[] = {
00794       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00795       {BO_XOR,2,3,1},{BO_EQV,0,1,0},
00796       {BO_HLT,0,0,0}
00797     };
00798     const BoolInstr bi138[] = {
00799       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00800       {BO_EQV,0,1,0},
00801       {BO_HLT,0,0,0}
00802     };
00803     const BoolInstr bi139[] = {
00804       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
00805       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
00806       {BO_HLT,0,0,0}
00807     };
00808     const BoolInstr bi140[] = {
00809       {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
00810       {BO_HLT,0,0,0}
00811     };
00812     const BoolInstr bi141[] = {
00813       {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
00814       {BO_HLT,0,0,0}
00815     };
00816     const BoolInstr bi142[] = {
00817       {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
00818       {BO_HLT,0,0,0}
00819     };
00820     const BoolInstr bi143[] = {
00821       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
00822       {BO_AND,0,1,0},
00823       {BO_HLT,0,0,0}
00824     };
00825     const BoolInstr bi144[] = {
00826       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00827       {BO_EQV,2,3,1},{BO_AND,0,1,0},
00828       {BO_HLT,0,0,0}
00829     };
00830     const BoolInstr bi145[] = {
00831       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00832       {BO_AND,0,1,0},
00833       {BO_HLT,0,0,0}
00834     };
00835     const BoolInstr bi146[] = {
00836       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00837       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00838       {BO_HLT,0,0,0}
00839     };
00840     const BoolInstr bi147[] = {
00841       {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
00842       {BO_HLT,0,0,0}
00843     };
00844     const BoolInstr bi148[] = {
00845       {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
00846       {BO_HLT,0,0,0}
00847     };
00848     const BoolInstr bi149[] = {
00849       {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
00850       {BO_HLT,0,0,0}
00851     };
00852     const BoolInstr bi150[] = {
00853       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
00854       {BO_OR ,0,1,0},
00855       {BO_HLT,0,0,0}
00856     };
00857     const BoolInstr bi151[] = {
00858       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00859       {BO_EQV,2,3,1},{BO_OR ,0,1,0},
00860       {BO_HLT,0,0,0}
00861     };
00862     const BoolInstr bi152[] = {
00863       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00864       {BO_OR ,0,1,0},
00865       {BO_HLT,0,0,0}
00866     };
00867     const BoolInstr bi153[] = {
00868       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00869       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
00870       {BO_HLT,0,0,0}
00871     };
00872     const BoolInstr bi154[] = {
00873       {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
00874       {BO_HLT,0,0,0}
00875     };
00876     const BoolInstr bi155[] = {
00877       {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
00878       {BO_HLT,0,0,0}
00879     };
00880     const BoolInstr bi156[] = {
00881       {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
00882       {BO_HLT,0,0,0}
00883     };
00884     const BoolInstr bi157[] = {
00885       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
00886       {BO_IMP,0,1,0},
00887       {BO_HLT,0,0,0}
00888     };
00889     const BoolInstr bi158[] = {
00890       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00891       {BO_EQV,2,3,1},{BO_IMP,0,1,0},
00892       {BO_HLT,0,0,0}
00893     };
00894     const BoolInstr bi159[] = {
00895       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00896       {BO_IMP,0,1,0},
00897       {BO_HLT,0,0,0}
00898     };
00899     const BoolInstr bi160[] = {
00900       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00901       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
00902       {BO_HLT,0,0,0}
00903     };
00904     const BoolInstr bi161[] = {
00905       {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
00906       {BO_HLT,0,0,0}
00907     };
00908     const BoolInstr bi162[] = {
00909       {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
00910       {BO_HLT,0,0,0}
00911     };
00912     const BoolInstr bi163[] = {
00913       {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
00914       {BO_HLT,0,0,0}
00915     };
00916     const BoolInstr bi164[] = {
00917       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
00918       {BO_XOR,0,1,0},
00919       {BO_HLT,0,0,0}
00920     };
00921     const BoolInstr bi165[] = {
00922       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00923       {BO_EQV,2,3,1},{BO_XOR,0,1,0},
00924       {BO_HLT,0,0,0}
00925     };
00926     const BoolInstr bi166[] = {
00927       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00928       {BO_XOR,0,1,0},
00929       {BO_HLT,0,0,0}
00930     };
00931     const BoolInstr bi167[] = {
00932       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00933       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
00934       {BO_HLT,0,0,0}
00935     };
00936     const BoolInstr bi168[] = {
00937       {BO_AND,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
00938       {BO_HLT,0,0,0}
00939     };
00940     const BoolInstr bi169[] = {
00941       {BO_AND,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
00942       {BO_HLT,0,0,0}
00943     };
00944     const BoolInstr bi170[] = {
00945       {BO_AND,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
00946       {BO_HLT,0,0,0}
00947     };
00948     const BoolInstr bi171[] = {
00949       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_AND,0,1,0},{BO_EQV,2,3,1},
00950       {BO_EQV,0,1,0},
00951       {BO_HLT,0,0,0}
00952     };
00953     const BoolInstr bi172[] = {
00954       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_AND,0,1,0},
00955       {BO_EQV,2,3,1},{BO_EQV,0,1,0},
00956       {BO_HLT,0,0,0}
00957     };
00958     const BoolInstr bi173[] = {
00959       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00960       {BO_EQV,0,1,0},
00961       {BO_HLT,0,0,0}
00962     };
00963     const BoolInstr bi174[] = {
00964       {BO_AND,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
00965       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
00966       {BO_HLT,0,0,0}
00967     };
00968     const BoolInstr bi175[] = {
00969       {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
00970       {BO_HLT,0,0,0}
00971     };
00972     const BoolInstr bi176[] = {
00973       {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
00974       {BO_HLT,0,0,0}
00975     };
00976     const BoolInstr bi177[] = {
00977       {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
00978       {BO_HLT,0,0,0}
00979     };
00980     const BoolInstr bi178[] = {
00981       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
00982       {BO_AND,0,1,0},
00983       {BO_HLT,0,0,0}
00984     };
00985     const BoolInstr bi179[] = {
00986       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
00987       {BO_AND,2,3,1},{BO_AND,0,1,0},
00988       {BO_HLT,0,0,0}
00989     };
00990     const BoolInstr bi180[] = {
00991       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00992       {BO_AND,0,1,0},
00993       {BO_HLT,0,0,0}
00994     };
00995     const BoolInstr bi181[] = {
00996       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
00997       {BO_AND,0,1,0},{BO_NOT,0,0,0},
00998       {BO_HLT,0,0,0}
00999     };
01000     const BoolInstr bi182[] = {
01001       {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
01002       {BO_HLT,0,0,0}
01003     };
01004     const BoolInstr bi183[] = {
01005       {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
01006       {BO_HLT,0,0,0}
01007     };
01008     const BoolInstr bi184[] = {
01009       {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
01010       {BO_HLT,0,0,0}
01011     };
01012     const BoolInstr bi185[] = {
01013       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
01014       {BO_OR ,0,1,0},
01015       {BO_HLT,0,0,0}
01016     };
01017     const BoolInstr bi186[] = {
01018       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01019       {BO_AND,2,3,1},{BO_OR ,0,1,0},
01020       {BO_HLT,0,0,0}
01021     };
01022     const BoolInstr bi187[] = {
01023       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01024       {BO_OR ,0,1,0},
01025       {BO_HLT,0,0,0}
01026     };
01027     const BoolInstr bi188[] = {
01028       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01029       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01030       {BO_HLT,0,0,0}
01031     };
01032     const BoolInstr bi189[] = {
01033       {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
01034       {BO_HLT,0,0,0}
01035     };
01036     const BoolInstr bi190[] = {
01037       {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
01038       {BO_HLT,0,0,0}
01039     };
01040     const BoolInstr bi191[] = {
01041       {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
01042       {BO_HLT,0,0,0}
01043     };
01044     const BoolInstr bi192[] = {
01045       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
01046       {BO_IMP,0,1,0},
01047       {BO_HLT,0,0,0}
01048     };
01049     const BoolInstr bi193[] = {
01050       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01051       {BO_AND,2,3,1},{BO_IMP,0,1,0},
01052       {BO_HLT,0,0,0}
01053     };
01054     const BoolInstr bi194[] = {
01055       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01056       {BO_IMP,0,1,0},
01057       {BO_HLT,0,0,0}
01058     };
01059     const BoolInstr bi195[] = {
01060       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01061       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01062       {BO_HLT,0,0,0}
01063     };
01064     const BoolInstr bi196[] = {
01065       {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
01066       {BO_HLT,0,0,0}
01067     };
01068     const BoolInstr bi197[] = {
01069       {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
01070       {BO_HLT,0,0,0}
01071     };
01072     const BoolInstr bi198[] = {
01073       {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
01074       {BO_HLT,0,0,0}
01075     };
01076     const BoolInstr bi199[] = {
01077       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
01078       {BO_XOR,0,1,0},
01079       {BO_HLT,0,0,0}
01080     };
01081     const BoolInstr bi200[] = {
01082       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01083       {BO_AND,2,3,1},{BO_XOR,0,1,0},
01084       {BO_HLT,0,0,0}
01085     };
01086     const BoolInstr bi201[] = {
01087       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01088       {BO_XOR,0,1,0},
01089       {BO_HLT,0,0,0}
01090     };
01091     const BoolInstr bi202[] = {
01092       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01093       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01094       {BO_HLT,0,0,0}
01095     };
01096     const BoolInstr bi203[] = {
01097       {BO_OR ,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
01098       {BO_HLT,0,0,0}
01099     };
01100     const BoolInstr bi204[] = {
01101       {BO_OR ,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
01102       {BO_HLT,0,0,0}
01103     };
01104     const BoolInstr bi205[] = {
01105       {BO_OR ,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
01106       {BO_HLT,0,0,0}
01107     };
01108     const BoolInstr bi206[] = {
01109       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_AND,2,3,1},
01110       {BO_EQV,0,1,0},
01111       {BO_HLT,0,0,0}
01112     };
01113     const BoolInstr bi207[] = {
01114       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01115       {BO_AND,2,3,1},{BO_EQV,0,1,0},
01116       {BO_HLT,0,0,0}
01117     };
01118     const BoolInstr bi208[] = {
01119       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01120       {BO_EQV,0,1,0},
01121       {BO_HLT,0,0,0}
01122     };
01123     const BoolInstr bi209[] = {
01124       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01125       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01126       {BO_HLT,0,0,0}
01127     };
01128     const BoolInstr bi210[] = {
01129       {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
01130       {BO_HLT,0,0,0}
01131     };
01132     const BoolInstr bi211[] = {
01133       {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
01134       {BO_HLT,0,0,0}
01135     };
01136     const BoolInstr bi212[] = {
01137       {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
01138       {BO_HLT,0,0,0}
01139     };
01140     const BoolInstr bi213[] = {
01141       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
01142       {BO_AND,0,1,0},
01143       {BO_HLT,0,0,0}
01144     };
01145     const BoolInstr bi214[] = {
01146       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01147       {BO_OR ,2,3,1},{BO_AND,0,1,0},
01148       {BO_HLT,0,0,0}
01149     };
01150     const BoolInstr bi215[] = {
01151       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01152       {BO_AND,0,1,0},
01153       {BO_HLT,0,0,0}
01154     };
01155     const BoolInstr bi216[] = {
01156       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01157       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01158       {BO_HLT,0,0,0}
01159     };
01160     const BoolInstr bi217[] = {
01161       {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
01162       {BO_HLT,0,0,0}
01163     };
01164     const BoolInstr bi218[] = {
01165       {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
01166       {BO_HLT,0,0,0}
01167     };
01168     const BoolInstr bi219[] = {
01169       {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
01170       {BO_HLT,0,0,0}
01171     };
01172     const BoolInstr bi220[] = {
01173       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
01174       {BO_OR ,0,1,0},
01175       {BO_HLT,0,0,0}
01176     };
01177     const BoolInstr bi221[] = {
01178       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01179       {BO_OR ,2,3,1},{BO_OR ,0,1,0},
01180       {BO_HLT,0,0,0}
01181     };
01182     const BoolInstr bi222[] = {
01183       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01184       {BO_OR ,0,1,0},
01185       {BO_HLT,0,0,0}
01186     };
01187     const BoolInstr bi223[] = {
01188       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01189       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01190       {BO_HLT,0,0,0}
01191     };
01192     const BoolInstr bi224[] = {
01193       {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
01194       {BO_HLT,0,0,0}
01195     };
01196     const BoolInstr bi225[] = {
01197       {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
01198       {BO_HLT,0,0,0}
01199     };
01200     const BoolInstr bi226[] = {
01201       {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
01202       {BO_HLT,0,0,0}
01203     };
01204     const BoolInstr bi227[] = {
01205       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
01206       {BO_IMP,0,1,0},
01207       {BO_HLT,0,0,0}
01208     };
01209     const BoolInstr bi228[] = {
01210       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01211       {BO_OR ,2,3,1},{BO_IMP,0,1,0},
01212       {BO_HLT,0,0,0}
01213     };
01214     const BoolInstr bi229[] = {
01215       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01216       {BO_IMP,0,1,0},
01217       {BO_HLT,0,0,0}
01218     };
01219     const BoolInstr bi230[] = {
01220       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01221       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01222       {BO_HLT,0,0,0}
01223     };
01224     const BoolInstr bi231[] = {
01225       {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
01226       {BO_HLT,0,0,0}
01227     };
01228     const BoolInstr bi232[] = {
01229       {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
01230       {BO_HLT,0,0,0}
01231     };
01232     const BoolInstr bi233[] = {
01233       {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
01234       {BO_HLT,0,0,0}
01235     };
01236     const BoolInstr bi234[] = {
01237       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
01238       {BO_XOR,0,1,0},
01239       {BO_HLT,0,0,0}
01240     };
01241     const BoolInstr bi235[] = {
01242       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01243       {BO_OR ,2,3,1},{BO_XOR,0,1,0},
01244       {BO_HLT,0,0,0}
01245     };
01246     const BoolInstr bi236[] = {
01247       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01248       {BO_XOR,0,1,0},
01249       {BO_HLT,0,0,0}
01250     };
01251     const BoolInstr bi237[] = {
01252       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01253       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01254       {BO_HLT,0,0,0}
01255     };
01256     const BoolInstr bi238[] = {
01257       {BO_OR ,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
01258       {BO_HLT,0,0,0}
01259     };
01260     const BoolInstr bi239[] = {
01261       {BO_OR ,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
01262       {BO_HLT,0,0,0}
01263     };
01264     const BoolInstr bi240[] = {
01265       {BO_OR ,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
01266       {BO_HLT,0,0,0}
01267     };
01268     const BoolInstr bi241[] = {
01269       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_OR ,2,3,1},
01270       {BO_EQV,0,1,0},
01271       {BO_HLT,0,0,0}
01272     };
01273     const BoolInstr bi242[] = {
01274       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01275       {BO_OR ,2,3,1},{BO_EQV,0,1,0},
01276       {BO_HLT,0,0,0}
01277     };
01278     const BoolInstr bi243[] = {
01279       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01280       {BO_EQV,0,1,0},
01281       {BO_HLT,0,0,0}
01282     };
01283     const BoolInstr bi244[] = {
01284       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01285       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01286       {BO_HLT,0,0,0}
01287     };
01288     const BoolInstr bi245[] = {
01289       {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
01290       {BO_HLT,0,0,0}
01291     };
01292     const BoolInstr bi246[] = {
01293       {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
01294       {BO_HLT,0,0,0}
01295     };
01296     const BoolInstr bi247[] = {
01297       {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
01298       {BO_HLT,0,0,0}
01299     };
01300     const BoolInstr bi248[] = {
01301       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
01302       {BO_AND,0,1,0},
01303       {BO_HLT,0,0,0}
01304     };
01305     const BoolInstr bi249[] = {
01306       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01307       {BO_IMP,2,3,1},{BO_AND,0,1,0},
01308       {BO_HLT,0,0,0}
01309     };
01310     const BoolInstr bi250[] = {
01311       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01312       {BO_AND,0,1,0},
01313       {BO_HLT,0,0,0}
01314     };
01315     const BoolInstr bi251[] = {
01316       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01317       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01318       {BO_HLT,0,0,0}
01319     };
01320     const BoolInstr bi252[] = {
01321       {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
01322       {BO_HLT,0,0,0}
01323     };
01324     const BoolInstr bi253[] = {
01325       {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
01326       {BO_HLT,0,0,0}
01327     };
01328     const BoolInstr bi254[] = {
01329       {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
01330       {BO_HLT,0,0,0}
01331     };
01332     const BoolInstr bi255[] = {
01333       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
01334       {BO_OR ,0,1,0},
01335       {BO_HLT,0,0,0}
01336     };
01337     const BoolInstr bi256[] = {
01338       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01339       {BO_IMP,2,3,1},{BO_OR ,0,1,0},
01340       {BO_HLT,0,0,0}
01341     };
01342     const BoolInstr bi257[] = {
01343       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01344       {BO_OR ,0,1,0},
01345       {BO_HLT,0,0,0}
01346     };
01347     const BoolInstr bi258[] = {
01348       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01349       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01350       {BO_HLT,0,0,0}
01351     };
01352     const BoolInstr bi259[] = {
01353       {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
01354       {BO_HLT,0,0,0}
01355     };
01356     const BoolInstr bi260[] = {
01357       {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
01358       {BO_HLT,0,0,0}
01359     };
01360     const BoolInstr bi261[] = {
01361       {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
01362       {BO_HLT,0,0,0}
01363     };
01364     const BoolInstr bi262[] = {
01365       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
01366       {BO_IMP,0,1,0},
01367       {BO_HLT,0,0,0}
01368     };
01369     const BoolInstr bi263[] = {
01370       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01371       {BO_IMP,2,3,1},{BO_IMP,0,1,0},
01372       {BO_HLT,0,0,0}
01373     };
01374     const BoolInstr bi264[] = {
01375       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01376       {BO_IMP,0,1,0},
01377       {BO_HLT,0,0,0}
01378     };
01379     const BoolInstr bi265[] = {
01380       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01381       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01382       {BO_HLT,0,0,0}
01383     };
01384     const BoolInstr bi266[] = {
01385       {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
01386       {BO_HLT,0,0,0}
01387     };
01388     const BoolInstr bi267[] = {
01389       {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
01390       {BO_HLT,0,0,0}
01391     };
01392     const BoolInstr bi268[] = {
01393       {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
01394       {BO_HLT,0,0,0}
01395     };
01396     const BoolInstr bi269[] = {
01397       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
01398       {BO_XOR,0,1,0},
01399       {BO_HLT,0,0,0}
01400     };
01401     const BoolInstr bi270[] = {
01402       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01403       {BO_IMP,2,3,1},{BO_XOR,0,1,0},
01404       {BO_HLT,0,0,0}
01405     };
01406     const BoolInstr bi271[] = {
01407       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01408       {BO_XOR,0,1,0},
01409       {BO_HLT,0,0,0}
01410     };
01411     const BoolInstr bi272[] = {
01412       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01413       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01414       {BO_HLT,0,0,0}
01415     };
01416     const BoolInstr bi273[] = {
01417       {BO_OR ,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
01418       {BO_HLT,0,0,0}
01419     };
01420     const BoolInstr bi274[] = {
01421       {BO_OR ,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
01422       {BO_HLT,0,0,0}
01423     };
01424     const BoolInstr bi275[] = {
01425       {BO_OR ,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
01426       {BO_HLT,0,0,0}
01427     };
01428     const BoolInstr bi276[] = {
01429       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_IMP,2,3,1},
01430       {BO_EQV,0,1,0},
01431       {BO_HLT,0,0,0}
01432     };
01433     const BoolInstr bi277[] = {
01434       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01435       {BO_IMP,2,3,1},{BO_EQV,0,1,0},
01436       {BO_HLT,0,0,0}
01437     };
01438     const BoolInstr bi278[] = {
01439       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01440       {BO_EQV,0,1,0},
01441       {BO_HLT,0,0,0}
01442     };
01443     const BoolInstr bi279[] = {
01444       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
01445       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01446       {BO_HLT,0,0,0}
01447     };
01448     const BoolInstr bi280[] = {
01449       {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
01450       {BO_HLT,0,0,0}
01451     };
01452     const BoolInstr bi281[] = {
01453       {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
01454       {BO_HLT,0,0,0}
01455     };
01456     const BoolInstr bi282[] = {
01457       {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
01458       {BO_HLT,0,0,0}
01459     };
01460     const BoolInstr bi283[] = {
01461       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
01462       {BO_AND,0,1,0},
01463       {BO_HLT,0,0,0}
01464     };
01465     const BoolInstr bi284[] = {
01466       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01467       {BO_XOR,2,3,1},{BO_AND,0,1,0},
01468       {BO_HLT,0,0,0}
01469     };
01470     const BoolInstr bi285[] = {
01471       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01472       {BO_AND,0,1,0},
01473       {BO_HLT,0,0,0}
01474     };
01475     const BoolInstr bi286[] = {
01476       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01477       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01478       {BO_HLT,0,0,0}
01479     };
01480     const BoolInstr bi287[] = {
01481       {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
01482       {BO_HLT,0,0,0}
01483     };
01484     const BoolInstr bi288[] = {
01485       {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
01486       {BO_HLT,0,0,0}
01487     };
01488     const BoolInstr bi289[] = {
01489       {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
01490       {BO_HLT,0,0,0}
01491     };
01492     const BoolInstr bi290[] = {
01493       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
01494       {BO_OR ,0,1,0},
01495       {BO_HLT,0,0,0}
01496     };
01497     const BoolInstr bi291[] = {
01498       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01499       {BO_XOR,2,3,1},{BO_OR ,0,1,0},
01500       {BO_HLT,0,0,0}
01501     };
01502     const BoolInstr bi292[] = {
01503       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01504       {BO_OR ,0,1,0},
01505       {BO_HLT,0,0,0}
01506     };
01507     const BoolInstr bi293[] = {
01508       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01509       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01510       {BO_HLT,0,0,0}
01511     };
01512     const BoolInstr bi294[] = {
01513       {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
01514       {BO_HLT,0,0,0}
01515     };
01516     const BoolInstr bi295[] = {
01517       {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
01518       {BO_HLT,0,0,0}
01519     };
01520     const BoolInstr bi296[] = {
01521       {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
01522       {BO_HLT,0,0,0}
01523     };
01524     const BoolInstr bi297[] = {
01525       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
01526       {BO_IMP,0,1,0},
01527       {BO_HLT,0,0,0}
01528     };
01529     const BoolInstr bi298[] = {
01530       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01531       {BO_XOR,2,3,1},{BO_IMP,0,1,0},
01532       {BO_HLT,0,0,0}
01533     };
01534     const BoolInstr bi299[] = {
01535       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01536       {BO_IMP,0,1,0},
01537       {BO_HLT,0,0,0}
01538     };
01539     const BoolInstr bi300[] = {
01540       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01541       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01542       {BO_HLT,0,0,0}
01543     };
01544     const BoolInstr bi301[] = {
01545       {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
01546       {BO_HLT,0,0,0}
01547     };
01548     const BoolInstr bi302[] = {
01549       {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
01550       {BO_HLT,0,0,0}
01551     };
01552     const BoolInstr bi303[] = {
01553       {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
01554       {BO_HLT,0,0,0}
01555     };
01556     const BoolInstr bi304[] = {
01557       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
01558       {BO_XOR,0,1,0},
01559       {BO_HLT,0,0,0}
01560     };
01561     const BoolInstr bi305[] = {
01562       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01563       {BO_XOR,2,3,1},{BO_XOR,0,1,0},
01564       {BO_HLT,0,0,0}
01565     };
01566     const BoolInstr bi306[] = {
01567       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01568       {BO_XOR,0,1,0},
01569       {BO_HLT,0,0,0}
01570     };
01571     const BoolInstr bi307[] = {
01572       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01573       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01574       {BO_HLT,0,0,0}
01575     };
01576     const BoolInstr bi308[] = {
01577       {BO_OR ,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
01578       {BO_HLT,0,0,0}
01579     };
01580     const BoolInstr bi309[] = {
01581       {BO_OR ,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
01582       {BO_HLT,0,0,0}
01583     };
01584     const BoolInstr bi310[] = {
01585       {BO_OR ,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
01586       {BO_HLT,0,0,0}
01587     };
01588     const BoolInstr bi311[] = {
01589       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_XOR,2,3,1},
01590       {BO_EQV,0,1,0},
01591       {BO_HLT,0,0,0}
01592     };
01593     const BoolInstr bi312[] = {
01594       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01595       {BO_XOR,2,3,1},{BO_EQV,0,1,0},
01596       {BO_HLT,0,0,0}
01597     };
01598     const BoolInstr bi313[] = {
01599       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01600       {BO_EQV,0,1,0},
01601       {BO_HLT,0,0,0}
01602     };
01603     const BoolInstr bi314[] = {
01604       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
01605       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01606       {BO_HLT,0,0,0}
01607     };
01608     const BoolInstr bi315[] = {
01609       {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
01610       {BO_HLT,0,0,0}
01611     };
01612     const BoolInstr bi316[] = {
01613       {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
01614       {BO_HLT,0,0,0}
01615     };
01616     const BoolInstr bi317[] = {
01617       {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
01618       {BO_HLT,0,0,0}
01619     };
01620     const BoolInstr bi318[] = {
01621       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
01622       {BO_AND,0,1,0},
01623       {BO_HLT,0,0,0}
01624     };
01625     const BoolInstr bi319[] = {
01626       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01627       {BO_EQV,2,3,1},{BO_AND,0,1,0},
01628       {BO_HLT,0,0,0}
01629     };
01630     const BoolInstr bi320[] = {
01631       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01632       {BO_AND,0,1,0},
01633       {BO_HLT,0,0,0}
01634     };
01635     const BoolInstr bi321[] = {
01636       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01637       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01638       {BO_HLT,0,0,0}
01639     };
01640     const BoolInstr bi322[] = {
01641       {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
01642       {BO_HLT,0,0,0}
01643     };
01644     const BoolInstr bi323[] = {
01645       {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
01646       {BO_HLT,0,0,0}
01647     };
01648     const BoolInstr bi324[] = {
01649       {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
01650       {BO_HLT,0,0,0}
01651     };
01652     const BoolInstr bi325[] = {
01653       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
01654       {BO_OR ,0,1,0},
01655       {BO_HLT,0,0,0}
01656     };
01657     const BoolInstr bi326[] = {
01658       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01659       {BO_EQV,2,3,1},{BO_OR ,0,1,0},
01660       {BO_HLT,0,0,0}
01661     };
01662     const BoolInstr bi327[] = {
01663       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01664       {BO_OR ,0,1,0},
01665       {BO_HLT,0,0,0}
01666     };
01667     const BoolInstr bi328[] = {
01668       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01669       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01670       {BO_HLT,0,0,0}
01671     };
01672     const BoolInstr bi329[] = {
01673       {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
01674       {BO_HLT,0,0,0}
01675     };
01676     const BoolInstr bi330[] = {
01677       {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
01678       {BO_HLT,0,0,0}
01679     };
01680     const BoolInstr bi331[] = {
01681       {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
01682       {BO_HLT,0,0,0}
01683     };
01684     const BoolInstr bi332[] = {
01685       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
01686       {BO_IMP,0,1,0},
01687       {BO_HLT,0,0,0}
01688     };
01689     const BoolInstr bi333[] = {
01690       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01691       {BO_EQV,2,3,1},{BO_IMP,0,1,0},
01692       {BO_HLT,0,0,0}
01693     };
01694     const BoolInstr bi334[] = {
01695       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01696       {BO_IMP,0,1,0},
01697       {BO_HLT,0,0,0}
01698     };
01699     const BoolInstr bi335[] = {
01700       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01701       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01702       {BO_HLT,0,0,0}
01703     };
01704     const BoolInstr bi336[] = {
01705       {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
01706       {BO_HLT,0,0,0}
01707     };
01708     const BoolInstr bi337[] = {
01709       {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
01710       {BO_HLT,0,0,0}
01711     };
01712     const BoolInstr bi338[] = {
01713       {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
01714       {BO_HLT,0,0,0}
01715     };
01716     const BoolInstr bi339[] = {
01717       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
01718       {BO_XOR,0,1,0},
01719       {BO_HLT,0,0,0}
01720     };
01721     const BoolInstr bi340[] = {
01722       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01723       {BO_EQV,2,3,1},{BO_XOR,0,1,0},
01724       {BO_HLT,0,0,0}
01725     };
01726     const BoolInstr bi341[] = {
01727       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01728       {BO_XOR,0,1,0},
01729       {BO_HLT,0,0,0}
01730     };
01731     const BoolInstr bi342[] = {
01732       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01733       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01734       {BO_HLT,0,0,0}
01735     };
01736     const BoolInstr bi343[] = {
01737       {BO_OR ,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
01738       {BO_HLT,0,0,0}
01739     };
01740     const BoolInstr bi344[] = {
01741       {BO_OR ,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
01742       {BO_HLT,0,0,0}
01743     };
01744     const BoolInstr bi345[] = {
01745       {BO_OR ,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
01746       {BO_HLT,0,0,0}
01747     };
01748     const BoolInstr bi346[] = {
01749       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_OR ,0,1,0},{BO_EQV,2,3,1},
01750       {BO_EQV,0,1,0},
01751       {BO_HLT,0,0,0}
01752     };
01753     const BoolInstr bi347[] = {
01754       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_OR ,0,1,0},
01755       {BO_EQV,2,3,1},{BO_EQV,0,1,0},
01756       {BO_HLT,0,0,0}
01757     };
01758     const BoolInstr bi348[] = {
01759       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01760       {BO_EQV,0,1,0},
01761       {BO_HLT,0,0,0}
01762     };
01763     const BoolInstr bi349[] = {
01764       {BO_OR ,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
01765       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01766       {BO_HLT,0,0,0}
01767     };
01768     const BoolInstr bi350[] = {
01769       {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
01770       {BO_HLT,0,0,0}
01771     };
01772     const BoolInstr bi351[] = {
01773       {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
01774       {BO_HLT,0,0,0}
01775     };
01776     const BoolInstr bi352[] = {
01777       {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
01778       {BO_HLT,0,0,0}
01779     };
01780     const BoolInstr bi353[] = {
01781       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
01782       {BO_AND,0,1,0},
01783       {BO_HLT,0,0,0}
01784     };
01785     const BoolInstr bi354[] = {
01786       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01787       {BO_AND,2,3,1},{BO_AND,0,1,0},
01788       {BO_HLT,0,0,0}
01789     };
01790     const BoolInstr bi355[] = {
01791       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01792       {BO_AND,0,1,0},
01793       {BO_HLT,0,0,0}
01794     };
01795     const BoolInstr bi356[] = {
01796       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01797       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01798       {BO_HLT,0,0,0}
01799     };
01800     const BoolInstr bi357[] = {
01801       {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
01802       {BO_HLT,0,0,0}
01803     };
01804     const BoolInstr bi358[] = {
01805       {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
01806       {BO_HLT,0,0,0}
01807     };
01808     const BoolInstr bi359[] = {
01809       {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
01810       {BO_HLT,0,0,0}
01811     };
01812     const BoolInstr bi360[] = {
01813       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
01814       {BO_OR ,0,1,0},
01815       {BO_HLT,0,0,0}
01816     };
01817     const BoolInstr bi361[] = {
01818       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01819       {BO_AND,2,3,1},{BO_OR ,0,1,0},
01820       {BO_HLT,0,0,0}
01821     };
01822     const BoolInstr bi362[] = {
01823       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01824       {BO_OR ,0,1,0},
01825       {BO_HLT,0,0,0}
01826     };
01827     const BoolInstr bi363[] = {
01828       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01829       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01830       {BO_HLT,0,0,0}
01831     };
01832     const BoolInstr bi364[] = {
01833       {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
01834       {BO_HLT,0,0,0}
01835     };
01836     const BoolInstr bi365[] = {
01837       {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
01838       {BO_HLT,0,0,0}
01839     };
01840     const BoolInstr bi366[] = {
01841       {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
01842       {BO_HLT,0,0,0}
01843     };
01844     const BoolInstr bi367[] = {
01845       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
01846       {BO_IMP,0,1,0},
01847       {BO_HLT,0,0,0}
01848     };
01849     const BoolInstr bi368[] = {
01850       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01851       {BO_AND,2,3,1},{BO_IMP,0,1,0},
01852       {BO_HLT,0,0,0}
01853     };
01854     const BoolInstr bi369[] = {
01855       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01856       {BO_IMP,0,1,0},
01857       {BO_HLT,0,0,0}
01858     };
01859     const BoolInstr bi370[] = {
01860       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01861       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
01862       {BO_HLT,0,0,0}
01863     };
01864     const BoolInstr bi371[] = {
01865       {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
01866       {BO_HLT,0,0,0}
01867     };
01868     const BoolInstr bi372[] = {
01869       {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
01870       {BO_HLT,0,0,0}
01871     };
01872     const BoolInstr bi373[] = {
01873       {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
01874       {BO_HLT,0,0,0}
01875     };
01876     const BoolInstr bi374[] = {
01877       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
01878       {BO_XOR,0,1,0},
01879       {BO_HLT,0,0,0}
01880     };
01881     const BoolInstr bi375[] = {
01882       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01883       {BO_AND,2,3,1},{BO_XOR,0,1,0},
01884       {BO_HLT,0,0,0}
01885     };
01886     const BoolInstr bi376[] = {
01887       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01888       {BO_XOR,0,1,0},
01889       {BO_HLT,0,0,0}
01890     };
01891     const BoolInstr bi377[] = {
01892       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01893       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
01894       {BO_HLT,0,0,0}
01895     };
01896     const BoolInstr bi378[] = {
01897       {BO_IMP,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
01898       {BO_HLT,0,0,0}
01899     };
01900     const BoolInstr bi379[] = {
01901       {BO_IMP,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
01902       {BO_HLT,0,0,0}
01903     };
01904     const BoolInstr bi380[] = {
01905       {BO_IMP,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
01906       {BO_HLT,0,0,0}
01907     };
01908     const BoolInstr bi381[] = {
01909       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_AND,2,3,1},
01910       {BO_EQV,0,1,0},
01911       {BO_HLT,0,0,0}
01912     };
01913     const BoolInstr bi382[] = {
01914       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01915       {BO_AND,2,3,1},{BO_EQV,0,1,0},
01916       {BO_HLT,0,0,0}
01917     };
01918     const BoolInstr bi383[] = {
01919       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01920       {BO_EQV,0,1,0},
01921       {BO_HLT,0,0,0}
01922     };
01923     const BoolInstr bi384[] = {
01924       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
01925       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
01926       {BO_HLT,0,0,0}
01927     };
01928     const BoolInstr bi385[] = {
01929       {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
01930       {BO_HLT,0,0,0}
01931     };
01932     const BoolInstr bi386[] = {
01933       {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
01934       {BO_HLT,0,0,0}
01935     };
01936     const BoolInstr bi387[] = {
01937       {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
01938       {BO_HLT,0,0,0}
01939     };
01940     const BoolInstr bi388[] = {
01941       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
01942       {BO_AND,0,1,0},
01943       {BO_HLT,0,0,0}
01944     };
01945     const BoolInstr bi389[] = {
01946       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01947       {BO_OR ,2,3,1},{BO_AND,0,1,0},
01948       {BO_HLT,0,0,0}
01949     };
01950     const BoolInstr bi390[] = {
01951       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01952       {BO_AND,0,1,0},
01953       {BO_HLT,0,0,0}
01954     };
01955     const BoolInstr bi391[] = {
01956       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01957       {BO_AND,0,1,0},{BO_NOT,0,0,0},
01958       {BO_HLT,0,0,0}
01959     };
01960     const BoolInstr bi392[] = {
01961       {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
01962       {BO_HLT,0,0,0}
01963     };
01964     const BoolInstr bi393[] = {
01965       {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
01966       {BO_HLT,0,0,0}
01967     };
01968     const BoolInstr bi394[] = {
01969       {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
01970       {BO_HLT,0,0,0}
01971     };
01972     const BoolInstr bi395[] = {
01973       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
01974       {BO_OR ,0,1,0},
01975       {BO_HLT,0,0,0}
01976     };
01977     const BoolInstr bi396[] = {
01978       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
01979       {BO_OR ,2,3,1},{BO_OR ,0,1,0},
01980       {BO_HLT,0,0,0}
01981     };
01982     const BoolInstr bi397[] = {
01983       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01984       {BO_OR ,0,1,0},
01985       {BO_HLT,0,0,0}
01986     };
01987     const BoolInstr bi398[] = {
01988       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
01989       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
01990       {BO_HLT,0,0,0}
01991     };
01992     const BoolInstr bi399[] = {
01993       {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
01994       {BO_HLT,0,0,0}
01995     };
01996     const BoolInstr bi400[] = {
01997       {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
01998       {BO_HLT,0,0,0}
01999     };
02000     const BoolInstr bi401[] = {
02001       {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
02002       {BO_HLT,0,0,0}
02003     };
02004     const BoolInstr bi402[] = {
02005       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
02006       {BO_IMP,0,1,0},
02007       {BO_HLT,0,0,0}
02008     };
02009     const BoolInstr bi403[] = {
02010       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02011       {BO_OR ,2,3,1},{BO_IMP,0,1,0},
02012       {BO_HLT,0,0,0}
02013     };
02014     const BoolInstr bi404[] = {
02015       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02016       {BO_IMP,0,1,0},
02017       {BO_HLT,0,0,0}
02018     };
02019     const BoolInstr bi405[] = {
02020       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02021       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02022       {BO_HLT,0,0,0}
02023     };
02024     const BoolInstr bi406[] = {
02025       {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
02026       {BO_HLT,0,0,0}
02027     };
02028     const BoolInstr bi407[] = {
02029       {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
02030       {BO_HLT,0,0,0}
02031     };
02032     const BoolInstr bi408[] = {
02033       {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
02034       {BO_HLT,0,0,0}
02035     };
02036     const BoolInstr bi409[] = {
02037       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
02038       {BO_XOR,0,1,0},
02039       {BO_HLT,0,0,0}
02040     };
02041     const BoolInstr bi410[] = {
02042       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02043       {BO_OR ,2,3,1},{BO_XOR,0,1,0},
02044       {BO_HLT,0,0,0}
02045     };
02046     const BoolInstr bi411[] = {
02047       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02048       {BO_XOR,0,1,0},
02049       {BO_HLT,0,0,0}
02050     };
02051     const BoolInstr bi412[] = {
02052       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02053       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02054       {BO_HLT,0,0,0}
02055     };
02056     const BoolInstr bi413[] = {
02057       {BO_IMP,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
02058       {BO_HLT,0,0,0}
02059     };
02060     const BoolInstr bi414[] = {
02061       {BO_IMP,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
02062       {BO_HLT,0,0,0}
02063     };
02064     const BoolInstr bi415[] = {
02065       {BO_IMP,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
02066       {BO_HLT,0,0,0}
02067     };
02068     const BoolInstr bi416[] = {
02069       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_OR ,2,3,1},
02070       {BO_EQV,0,1,0},
02071       {BO_HLT,0,0,0}
02072     };
02073     const BoolInstr bi417[] = {
02074       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02075       {BO_OR ,2,3,1},{BO_EQV,0,1,0},
02076       {BO_HLT,0,0,0}
02077     };
02078     const BoolInstr bi418[] = {
02079       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02080       {BO_EQV,0,1,0},
02081       {BO_HLT,0,0,0}
02082     };
02083     const BoolInstr bi419[] = {
02084       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02085       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02086       {BO_HLT,0,0,0}
02087     };
02088     const BoolInstr bi420[] = {
02089       {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
02090       {BO_HLT,0,0,0}
02091     };
02092     const BoolInstr bi421[] = {
02093       {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
02094       {BO_HLT,0,0,0}
02095     };
02096     const BoolInstr bi422[] = {
02097       {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
02098       {BO_HLT,0,0,0}
02099     };
02100     const BoolInstr bi423[] = {
02101       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
02102       {BO_AND,0,1,0},
02103       {BO_HLT,0,0,0}
02104     };
02105     const BoolInstr bi424[] = {
02106       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02107       {BO_IMP,2,3,1},{BO_AND,0,1,0},
02108       {BO_HLT,0,0,0}
02109     };
02110     const BoolInstr bi425[] = {
02111       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02112       {BO_AND,0,1,0},
02113       {BO_HLT,0,0,0}
02114     };
02115     const BoolInstr bi426[] = {
02116       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02117       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02118       {BO_HLT,0,0,0}
02119     };
02120     const BoolInstr bi427[] = {
02121       {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
02122       {BO_HLT,0,0,0}
02123     };
02124     const BoolInstr bi428[] = {
02125       {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
02126       {BO_HLT,0,0,0}
02127     };
02128     const BoolInstr bi429[] = {
02129       {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
02130       {BO_HLT,0,0,0}
02131     };
02132     const BoolInstr bi430[] = {
02133       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
02134       {BO_OR ,0,1,0},
02135       {BO_HLT,0,0,0}
02136     };
02137     const BoolInstr bi431[] = {
02138       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02139       {BO_IMP,2,3,1},{BO_OR ,0,1,0},
02140       {BO_HLT,0,0,0}
02141     };
02142     const BoolInstr bi432[] = {
02143       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02144       {BO_OR ,0,1,0},
02145       {BO_HLT,0,0,0}
02146     };
02147     const BoolInstr bi433[] = {
02148       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02149       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02150       {BO_HLT,0,0,0}
02151     };
02152     const BoolInstr bi434[] = {
02153       {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
02154       {BO_HLT,0,0,0}
02155     };
02156     const BoolInstr bi435[] = {
02157       {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
02158       {BO_HLT,0,0,0}
02159     };
02160     const BoolInstr bi436[] = {
02161       {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
02162       {BO_HLT,0,0,0}
02163     };
02164     const BoolInstr bi437[] = {
02165       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
02166       {BO_IMP,0,1,0},
02167       {BO_HLT,0,0,0}
02168     };
02169     const BoolInstr bi438[] = {
02170       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02171       {BO_IMP,2,3,1},{BO_IMP,0,1,0},
02172       {BO_HLT,0,0,0}
02173     };
02174     const BoolInstr bi439[] = {
02175       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02176       {BO_IMP,0,1,0},
02177       {BO_HLT,0,0,0}
02178     };
02179     const BoolInstr bi440[] = {
02180       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02181       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02182       {BO_HLT,0,0,0}
02183     };
02184     const BoolInstr bi441[] = {
02185       {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
02186       {BO_HLT,0,0,0}
02187     };
02188     const BoolInstr bi442[] = {
02189       {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
02190       {BO_HLT,0,0,0}
02191     };
02192     const BoolInstr bi443[] = {
02193       {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
02194       {BO_HLT,0,0,0}
02195     };
02196     const BoolInstr bi444[] = {
02197       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
02198       {BO_XOR,0,1,0},
02199       {BO_HLT,0,0,0}
02200     };
02201     const BoolInstr bi445[] = {
02202       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02203       {BO_IMP,2,3,1},{BO_XOR,0,1,0},
02204       {BO_HLT,0,0,0}
02205     };
02206     const BoolInstr bi446[] = {
02207       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02208       {BO_XOR,0,1,0},
02209       {BO_HLT,0,0,0}
02210     };
02211     const BoolInstr bi447[] = {
02212       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02213       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02214       {BO_HLT,0,0,0}
02215     };
02216     const BoolInstr bi448[] = {
02217       {BO_IMP,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
02218       {BO_HLT,0,0,0}
02219     };
02220     const BoolInstr bi449[] = {
02221       {BO_IMP,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
02222       {BO_HLT,0,0,0}
02223     };
02224     const BoolInstr bi450[] = {
02225       {BO_IMP,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
02226       {BO_HLT,0,0,0}
02227     };
02228     const BoolInstr bi451[] = {
02229       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_IMP,2,3,1},
02230       {BO_EQV,0,1,0},
02231       {BO_HLT,0,0,0}
02232     };
02233     const BoolInstr bi452[] = {
02234       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02235       {BO_IMP,2,3,1},{BO_EQV,0,1,0},
02236       {BO_HLT,0,0,0}
02237     };
02238     const BoolInstr bi453[] = {
02239       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02240       {BO_EQV,0,1,0},
02241       {BO_HLT,0,0,0}
02242     };
02243     const BoolInstr bi454[] = {
02244       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02245       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02246       {BO_HLT,0,0,0}
02247     };
02248     const BoolInstr bi455[] = {
02249       {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
02250       {BO_HLT,0,0,0}
02251     };
02252     const BoolInstr bi456[] = {
02253       {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
02254       {BO_HLT,0,0,0}
02255     };
02256     const BoolInstr bi457[] = {
02257       {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
02258       {BO_HLT,0,0,0}
02259     };
02260     const BoolInstr bi458[] = {
02261       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
02262       {BO_AND,0,1,0},
02263       {BO_HLT,0,0,0}
02264     };
02265     const BoolInstr bi459[] = {
02266       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02267       {BO_XOR,2,3,1},{BO_AND,0,1,0},
02268       {BO_HLT,0,0,0}
02269     };
02270     const BoolInstr bi460[] = {
02271       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02272       {BO_AND,0,1,0},
02273       {BO_HLT,0,0,0}
02274     };
02275     const BoolInstr bi461[] = {
02276       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02277       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02278       {BO_HLT,0,0,0}
02279     };
02280     const BoolInstr bi462[] = {
02281       {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
02282       {BO_HLT,0,0,0}
02283     };
02284     const BoolInstr bi463[] = {
02285       {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
02286       {BO_HLT,0,0,0}
02287     };
02288     const BoolInstr bi464[] = {
02289       {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
02290       {BO_HLT,0,0,0}
02291     };
02292     const BoolInstr bi465[] = {
02293       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
02294       {BO_OR ,0,1,0},
02295       {BO_HLT,0,0,0}
02296     };
02297     const BoolInstr bi466[] = {
02298       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02299       {BO_XOR,2,3,1},{BO_OR ,0,1,0},
02300       {BO_HLT,0,0,0}
02301     };
02302     const BoolInstr bi467[] = {
02303       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02304       {BO_OR ,0,1,0},
02305       {BO_HLT,0,0,0}
02306     };
02307     const BoolInstr bi468[] = {
02308       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02309       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02310       {BO_HLT,0,0,0}
02311     };
02312     const BoolInstr bi469[] = {
02313       {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
02314       {BO_HLT,0,0,0}
02315     };
02316     const BoolInstr bi470[] = {
02317       {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
02318       {BO_HLT,0,0,0}
02319     };
02320     const BoolInstr bi471[] = {
02321       {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
02322       {BO_HLT,0,0,0}
02323     };
02324     const BoolInstr bi472[] = {
02325       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
02326       {BO_IMP,0,1,0},
02327       {BO_HLT,0,0,0}
02328     };
02329     const BoolInstr bi473[] = {
02330       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02331       {BO_XOR,2,3,1},{BO_IMP,0,1,0},
02332       {BO_HLT,0,0,0}
02333     };
02334     const BoolInstr bi474[] = {
02335       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02336       {BO_IMP,0,1,0},
02337       {BO_HLT,0,0,0}
02338     };
02339     const BoolInstr bi475[] = {
02340       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02341       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02342       {BO_HLT,0,0,0}
02343     };
02344     const BoolInstr bi476[] = {
02345       {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
02346       {BO_HLT,0,0,0}
02347     };
02348     const BoolInstr bi477[] = {
02349       {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
02350       {BO_HLT,0,0,0}
02351     };
02352     const BoolInstr bi478[] = {
02353       {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
02354       {BO_HLT,0,0,0}
02355     };
02356     const BoolInstr bi479[] = {
02357       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
02358       {BO_XOR,0,1,0},
02359       {BO_HLT,0,0,0}
02360     };
02361     const BoolInstr bi480[] = {
02362       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02363       {BO_XOR,2,3,1},{BO_XOR,0,1,0},
02364       {BO_HLT,0,0,0}
02365     };
02366     const BoolInstr bi481[] = {
02367       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02368       {BO_XOR,0,1,0},
02369       {BO_HLT,0,0,0}
02370     };
02371     const BoolInstr bi482[] = {
02372       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02373       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02374       {BO_HLT,0,0,0}
02375     };
02376     const BoolInstr bi483[] = {
02377       {BO_IMP,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
02378       {BO_HLT,0,0,0}
02379     };
02380     const BoolInstr bi484[] = {
02381       {BO_IMP,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
02382       {BO_HLT,0,0,0}
02383     };
02384     const BoolInstr bi485[] = {
02385       {BO_IMP,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
02386       {BO_HLT,0,0,0}
02387     };
02388     const BoolInstr bi486[] = {
02389       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_XOR,2,3,1},
02390       {BO_EQV,0,1,0},
02391       {BO_HLT,0,0,0}
02392     };
02393     const BoolInstr bi487[] = {
02394       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02395       {BO_XOR,2,3,1},{BO_EQV,0,1,0},
02396       {BO_HLT,0,0,0}
02397     };
02398     const BoolInstr bi488[] = {
02399       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02400       {BO_EQV,0,1,0},
02401       {BO_HLT,0,0,0}
02402     };
02403     const BoolInstr bi489[] = {
02404       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
02405       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02406       {BO_HLT,0,0,0}
02407     };
02408     const BoolInstr bi490[] = {
02409       {BO_IMP,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
02410       {BO_HLT,0,0,0}
02411     };
02412     const BoolInstr bi491[] = {
02413       {BO_IMP,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
02414       {BO_HLT,0,0,0}
02415     };
02416     const BoolInstr bi492[] = {
02417       {BO_IMP,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
02418       {BO_HLT,0,0,0}
02419     };
02420     const BoolInstr bi493[] = {
02421       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_EQV,2,3,1},
02422       {BO_AND,0,1,0},
02423       {BO_HLT,0,0,0}
02424     };
02425     const BoolInstr bi494[] = {
02426       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02427       {BO_EQV,2,3,1},{BO_AND,0,1,0},
02428       {BO_HLT,0,0,0}
02429     };
02430     const BoolInstr bi495[] = {
02431       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02432       {BO_AND,0,1,0},
02433       {BO_HLT,0,0,0}
02434     };
02435     const BoolInstr bi496[] = {
02436       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02437       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02438       {BO_HLT,0,0,0}
02439     };
02440     const BoolInstr bi497[] = {
02441       {BO_IMP,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
02442       {BO_HLT,0,0,0}
02443     };
02444     const BoolInstr bi498[] = {
02445       {BO_IMP,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
02446       {BO_HLT,0,0,0}
02447     };
02448     const BoolInstr bi499[] = {
02449       {BO_IMP,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
02450       {BO_HLT,0,0,0}
02451     };
02452     const BoolInstr bi500[] = {
02453       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_EQV,2,3,1},
02454       {BO_OR ,0,1,0},
02455       {BO_HLT,0,0,0}
02456     };
02457     const BoolInstr bi501[] = {
02458       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02459       {BO_EQV,2,3,1},{BO_OR ,0,1,0},
02460       {BO_HLT,0,0,0}
02461     };
02462     const BoolInstr bi502[] = {
02463       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02464       {BO_OR ,0,1,0},
02465       {BO_HLT,0,0,0}
02466     };
02467     const BoolInstr bi503[] = {
02468       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02469       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02470       {BO_HLT,0,0,0}
02471     };
02472     const BoolInstr bi504[] = {
02473       {BO_IMP,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
02474       {BO_HLT,0,0,0}
02475     };
02476     const BoolInstr bi505[] = {
02477       {BO_IMP,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
02478       {BO_HLT,0,0,0}
02479     };
02480     const BoolInstr bi506[] = {
02481       {BO_IMP,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
02482       {BO_HLT,0,0,0}
02483     };
02484     const BoolInstr bi507[] = {
02485       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_EQV,2,3,1},
02486       {BO_IMP,0,1,0},
02487       {BO_HLT,0,0,0}
02488     };
02489     const BoolInstr bi508[] = {
02490       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02491       {BO_EQV,2,3,1},{BO_IMP,0,1,0},
02492       {BO_HLT,0,0,0}
02493     };
02494     const BoolInstr bi509[] = {
02495       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02496       {BO_IMP,0,1,0},
02497       {BO_HLT,0,0,0}
02498     };
02499     const BoolInstr bi510[] = {
02500       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02501       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02502       {BO_HLT,0,0,0}
02503     };
02504     const BoolInstr bi511[] = {
02505       {BO_IMP,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
02506       {BO_HLT,0,0,0}
02507     };
02508     const BoolInstr bi512[] = {
02509       {BO_IMP,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
02510       {BO_HLT,0,0,0}
02511     };
02512     const BoolInstr bi513[] = {
02513       {BO_IMP,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
02514       {BO_HLT,0,0,0}
02515     };
02516     const BoolInstr bi514[] = {
02517       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_EQV,2,3,1},
02518       {BO_XOR,0,1,0},
02519       {BO_HLT,0,0,0}
02520     };
02521     const BoolInstr bi515[] = {
02522       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02523       {BO_EQV,2,3,1},{BO_XOR,0,1,0},
02524       {BO_HLT,0,0,0}
02525     };
02526     const BoolInstr bi516[] = {
02527       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02528       {BO_XOR,0,1,0},
02529       {BO_HLT,0,0,0}
02530     };
02531     const BoolInstr bi517[] = {
02532       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02533       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02534       {BO_HLT,0,0,0}
02535     };
02536     const BoolInstr bi518[] = {
02537       {BO_IMP,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
02538       {BO_HLT,0,0,0}
02539     };
02540     const BoolInstr bi519[] = {
02541       {BO_IMP,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
02542       {BO_HLT,0,0,0}
02543     };
02544     const BoolInstr bi520[] = {
02545       {BO_IMP,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
02546       {BO_HLT,0,0,0}
02547     };
02548     const BoolInstr bi521[] = {
02549       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_IMP,0,1,0},{BO_EQV,2,3,1},
02550       {BO_EQV,0,1,0},
02551       {BO_HLT,0,0,0}
02552     };
02553     const BoolInstr bi522[] = {
02554       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_IMP,0,1,0},
02555       {BO_EQV,2,3,1},{BO_EQV,0,1,0},
02556       {BO_HLT,0,0,0}
02557     };
02558     const BoolInstr bi523[] = {
02559       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02560       {BO_EQV,0,1,0},
02561       {BO_HLT,0,0,0}
02562     };
02563     const BoolInstr bi524[] = {
02564       {BO_IMP,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
02565       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02566       {BO_HLT,0,0,0}
02567     };
02568     const BoolInstr bi525[] = {
02569       {BO_XOR,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
02570       {BO_HLT,0,0,0}
02571     };
02572     const BoolInstr bi526[] = {
02573       {BO_XOR,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
02574       {BO_HLT,0,0,0}
02575     };
02576     const BoolInstr bi527[] = {
02577       {BO_XOR,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
02578       {BO_HLT,0,0,0}
02579     };
02580     const BoolInstr bi528[] = {
02581       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_AND,2,3,1},
02582       {BO_AND,0,1,0},
02583       {BO_HLT,0,0,0}
02584     };
02585     const BoolInstr bi529[] = {
02586       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02587       {BO_AND,2,3,1},{BO_AND,0,1,0},
02588       {BO_HLT,0,0,0}
02589     };
02590     const BoolInstr bi530[] = {
02591       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02592       {BO_AND,0,1,0},
02593       {BO_HLT,0,0,0}
02594     };
02595     const BoolInstr bi531[] = {
02596       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02597       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02598       {BO_HLT,0,0,0}
02599     };
02600     const BoolInstr bi532[] = {
02601       {BO_XOR,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
02602       {BO_HLT,0,0,0}
02603     };
02604     const BoolInstr bi533[] = {
02605       {BO_XOR,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
02606       {BO_HLT,0,0,0}
02607     };
02608     const BoolInstr bi534[] = {
02609       {BO_XOR,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
02610       {BO_HLT,0,0,0}
02611     };
02612     const BoolInstr bi535[] = {
02613       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_AND,2,3,1},
02614       {BO_OR ,0,1,0},
02615       {BO_HLT,0,0,0}
02616     };
02617     const BoolInstr bi536[] = {
02618       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02619       {BO_AND,2,3,1},{BO_OR ,0,1,0},
02620       {BO_HLT,0,0,0}
02621     };
02622     const BoolInstr bi537[] = {
02623       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02624       {BO_OR ,0,1,0},
02625       {BO_HLT,0,0,0}
02626     };
02627     const BoolInstr bi538[] = {
02628       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02629       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02630       {BO_HLT,0,0,0}
02631     };
02632     const BoolInstr bi539[] = {
02633       {BO_XOR,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
02634       {BO_HLT,0,0,0}
02635     };
02636     const BoolInstr bi540[] = {
02637       {BO_XOR,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
02638       {BO_HLT,0,0,0}
02639     };
02640     const BoolInstr bi541[] = {
02641       {BO_XOR,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
02642       {BO_HLT,0,0,0}
02643     };
02644     const BoolInstr bi542[] = {
02645       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_AND,2,3,1},
02646       {BO_IMP,0,1,0},
02647       {BO_HLT,0,0,0}
02648     };
02649     const BoolInstr bi543[] = {
02650       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02651       {BO_AND,2,3,1},{BO_IMP,0,1,0},
02652       {BO_HLT,0,0,0}
02653     };
02654     const BoolInstr bi544[] = {
02655       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02656       {BO_IMP,0,1,0},
02657       {BO_HLT,0,0,0}
02658     };
02659     const BoolInstr bi545[] = {
02660       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02661       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02662       {BO_HLT,0,0,0}
02663     };
02664     const BoolInstr bi546[] = {
02665       {BO_XOR,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
02666       {BO_HLT,0,0,0}
02667     };
02668     const BoolInstr bi547[] = {
02669       {BO_XOR,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
02670       {BO_HLT,0,0,0}
02671     };
02672     const BoolInstr bi548[] = {
02673       {BO_XOR,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
02674       {BO_HLT,0,0,0}
02675     };
02676     const BoolInstr bi549[] = {
02677       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_AND,2,3,1},
02678       {BO_XOR,0,1,0},
02679       {BO_HLT,0,0,0}
02680     };
02681     const BoolInstr bi550[] = {
02682       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02683       {BO_AND,2,3,1},{BO_XOR,0,1,0},
02684       {BO_HLT,0,0,0}
02685     };
02686     const BoolInstr bi551[] = {
02687       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02688       {BO_XOR,0,1,0},
02689       {BO_HLT,0,0,0}
02690     };
02691     const BoolInstr bi552[] = {
02692       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02693       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02694       {BO_HLT,0,0,0}
02695     };
02696     const BoolInstr bi553[] = {
02697       {BO_XOR,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
02698       {BO_HLT,0,0,0}
02699     };
02700     const BoolInstr bi554[] = {
02701       {BO_XOR,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
02702       {BO_HLT,0,0,0}
02703     };
02704     const BoolInstr bi555[] = {
02705       {BO_XOR,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
02706       {BO_HLT,0,0,0}
02707     };
02708     const BoolInstr bi556[] = {
02709       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_AND,2,3,1},
02710       {BO_EQV,0,1,0},
02711       {BO_HLT,0,0,0}
02712     };
02713     const BoolInstr bi557[] = {
02714       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02715       {BO_AND,2,3,1},{BO_EQV,0,1,0},
02716       {BO_HLT,0,0,0}
02717     };
02718     const BoolInstr bi558[] = {
02719       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02720       {BO_EQV,0,1,0},
02721       {BO_HLT,0,0,0}
02722     };
02723     const BoolInstr bi559[] = {
02724       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
02725       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02726       {BO_HLT,0,0,0}
02727     };
02728     const BoolInstr bi560[] = {
02729       {BO_XOR,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
02730       {BO_HLT,0,0,0}
02731     };
02732     const BoolInstr bi561[] = {
02733       {BO_XOR,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
02734       {BO_HLT,0,0,0}
02735     };
02736     const BoolInstr bi562[] = {
02737       {BO_XOR,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
02738       {BO_HLT,0,0,0}
02739     };
02740     const BoolInstr bi563[] = {
02741       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_OR ,2,3,1},
02742       {BO_AND,0,1,0},
02743       {BO_HLT,0,0,0}
02744     };
02745     const BoolInstr bi564[] = {
02746       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02747       {BO_OR ,2,3,1},{BO_AND,0,1,0},
02748       {BO_HLT,0,0,0}
02749     };
02750     const BoolInstr bi565[] = {
02751       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02752       {BO_AND,0,1,0},
02753       {BO_HLT,0,0,0}
02754     };
02755     const BoolInstr bi566[] = {
02756       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02757       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02758       {BO_HLT,0,0,0}
02759     };
02760     const BoolInstr bi567[] = {
02761       {BO_XOR,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
02762       {BO_HLT,0,0,0}
02763     };
02764     const BoolInstr bi568[] = {
02765       {BO_XOR,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
02766       {BO_HLT,0,0,0}
02767     };
02768     const BoolInstr bi569[] = {
02769       {BO_XOR,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
02770       {BO_HLT,0,0,0}
02771     };
02772     const BoolInstr bi570[] = {
02773       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_OR ,2,3,1},
02774       {BO_OR ,0,1,0},
02775       {BO_HLT,0,0,0}
02776     };
02777     const BoolInstr bi571[] = {
02778       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02779       {BO_OR ,2,3,1},{BO_OR ,0,1,0},
02780       {BO_HLT,0,0,0}
02781     };
02782     const BoolInstr bi572[] = {
02783       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02784       {BO_OR ,0,1,0},
02785       {BO_HLT,0,0,0}
02786     };
02787     const BoolInstr bi573[] = {
02788       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02789       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02790       {BO_HLT,0,0,0}
02791     };
02792     const BoolInstr bi574[] = {
02793       {BO_XOR,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
02794       {BO_HLT,0,0,0}
02795     };
02796     const BoolInstr bi575[] = {
02797       {BO_XOR,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
02798       {BO_HLT,0,0,0}
02799     };
02800     const BoolInstr bi576[] = {
02801       {BO_XOR,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
02802       {BO_HLT,0,0,0}
02803     };
02804     const BoolInstr bi577[] = {
02805       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_OR ,2,3,1},
02806       {BO_IMP,0,1,0},
02807       {BO_HLT,0,0,0}
02808     };
02809     const BoolInstr bi578[] = {
02810       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02811       {BO_OR ,2,3,1},{BO_IMP,0,1,0},
02812       {BO_HLT,0,0,0}
02813     };
02814     const BoolInstr bi579[] = {
02815       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02816       {BO_IMP,0,1,0},
02817       {BO_HLT,0,0,0}
02818     };
02819     const BoolInstr bi580[] = {
02820       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02821       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02822       {BO_HLT,0,0,0}
02823     };
02824     const BoolInstr bi581[] = {
02825       {BO_XOR,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
02826       {BO_HLT,0,0,0}
02827     };
02828     const BoolInstr bi582[] = {
02829       {BO_XOR,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
02830       {BO_HLT,0,0,0}
02831     };
02832     const BoolInstr bi583[] = {
02833       {BO_XOR,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
02834       {BO_HLT,0,0,0}
02835     };
02836     const BoolInstr bi584[] = {
02837       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_OR ,2,3,1},
02838       {BO_XOR,0,1,0},
02839       {BO_HLT,0,0,0}
02840     };
02841     const BoolInstr bi585[] = {
02842       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02843       {BO_OR ,2,3,1},{BO_XOR,0,1,0},
02844       {BO_HLT,0,0,0}
02845     };
02846     const BoolInstr bi586[] = {
02847       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02848       {BO_XOR,0,1,0},
02849       {BO_HLT,0,0,0}
02850     };
02851     const BoolInstr bi587[] = {
02852       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02853       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
02854       {BO_HLT,0,0,0}
02855     };
02856     const BoolInstr bi588[] = {
02857       {BO_XOR,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
02858       {BO_HLT,0,0,0}
02859     };
02860     const BoolInstr bi589[] = {
02861       {BO_XOR,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
02862       {BO_HLT,0,0,0}
02863     };
02864     const BoolInstr bi590[] = {
02865       {BO_XOR,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
02866       {BO_HLT,0,0,0}
02867     };
02868     const BoolInstr bi591[] = {
02869       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_OR ,2,3,1},
02870       {BO_EQV,0,1,0},
02871       {BO_HLT,0,0,0}
02872     };
02873     const BoolInstr bi592[] = {
02874       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02875       {BO_OR ,2,3,1},{BO_EQV,0,1,0},
02876       {BO_HLT,0,0,0}
02877     };
02878     const BoolInstr bi593[] = {
02879       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02880       {BO_EQV,0,1,0},
02881       {BO_HLT,0,0,0}
02882     };
02883     const BoolInstr bi594[] = {
02884       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
02885       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
02886       {BO_HLT,0,0,0}
02887     };
02888     const BoolInstr bi595[] = {
02889       {BO_XOR,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
02890       {BO_HLT,0,0,0}
02891     };
02892     const BoolInstr bi596[] = {
02893       {BO_XOR,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
02894       {BO_HLT,0,0,0}
02895     };
02896     const BoolInstr bi597[] = {
02897       {BO_XOR,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
02898       {BO_HLT,0,0,0}
02899     };
02900     const BoolInstr bi598[] = {
02901       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_IMP,2,3,1},
02902       {BO_AND,0,1,0},
02903       {BO_HLT,0,0,0}
02904     };
02905     const BoolInstr bi599[] = {
02906       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02907       {BO_IMP,2,3,1},{BO_AND,0,1,0},
02908       {BO_HLT,0,0,0}
02909     };
02910     const BoolInstr bi600[] = {
02911       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02912       {BO_AND,0,1,0},
02913       {BO_HLT,0,0,0}
02914     };
02915     const BoolInstr bi601[] = {
02916       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02917       {BO_AND,0,1,0},{BO_NOT,0,0,0},
02918       {BO_HLT,0,0,0}
02919     };
02920     const BoolInstr bi602[] = {
02921       {BO_XOR,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
02922       {BO_HLT,0,0,0}
02923     };
02924     const BoolInstr bi603[] = {
02925       {BO_XOR,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
02926       {BO_HLT,0,0,0}
02927     };
02928     const BoolInstr bi604[] = {
02929       {BO_XOR,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
02930       {BO_HLT,0,0,0}
02931     };
02932     const BoolInstr bi605[] = {
02933       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_IMP,2,3,1},
02934       {BO_OR ,0,1,0},
02935       {BO_HLT,0,0,0}
02936     };
02937     const BoolInstr bi606[] = {
02938       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02939       {BO_IMP,2,3,1},{BO_OR ,0,1,0},
02940       {BO_HLT,0,0,0}
02941     };
02942     const BoolInstr bi607[] = {
02943       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02944       {BO_OR ,0,1,0},
02945       {BO_HLT,0,0,0}
02946     };
02947     const BoolInstr bi608[] = {
02948       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02949       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
02950       {BO_HLT,0,0,0}
02951     };
02952     const BoolInstr bi609[] = {
02953       {BO_XOR,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
02954       {BO_HLT,0,0,0}
02955     };
02956     const BoolInstr bi610[] = {
02957       {BO_XOR,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
02958       {BO_HLT,0,0,0}
02959     };
02960     const BoolInstr bi611[] = {
02961       {BO_XOR,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
02962       {BO_HLT,0,0,0}
02963     };
02964     const BoolInstr bi612[] = {
02965       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_IMP,2,3,1},
02966       {BO_IMP,0,1,0},
02967       {BO_HLT,0,0,0}
02968     };
02969     const BoolInstr bi613[] = {
02970       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
02971       {BO_IMP,2,3,1},{BO_IMP,0,1,0},
02972       {BO_HLT,0,0,0}
02973     };
02974     const BoolInstr bi614[] = {
02975       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02976       {BO_IMP,0,1,0},
02977       {BO_HLT,0,0,0}
02978     };
02979     const BoolInstr bi615[] = {
02980       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
02981       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
02982       {BO_HLT,0,0,0}
02983     };
02984     const BoolInstr bi616[] = {
02985       {BO_XOR,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
02986       {BO_HLT,0,0,0}
02987     };
02988     const BoolInstr bi617[] = {
02989       {BO_XOR,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
02990       {BO_HLT,0,0,0}
02991     };
02992     const BoolInstr bi618[] = {
02993       {BO_XOR,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
02994       {BO_HLT,0,0,0}
02995     };
02996     const BoolInstr bi619[] = {
02997       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_IMP,2,3,1},
02998       {BO_XOR,0,1,0},
02999       {BO_HLT,0,0,0}
03000     };
03001     const BoolInstr bi620[] = {
03002       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03003       {BO_IMP,2,3,1},{BO_XOR,0,1,0},
03004       {BO_HLT,0,0,0}
03005     };
03006     const BoolInstr bi621[] = {
03007       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03008       {BO_XOR,0,1,0},
03009       {BO_HLT,0,0,0}
03010     };
03011     const BoolInstr bi622[] = {
03012       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03013       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03014       {BO_HLT,0,0,0}
03015     };
03016     const BoolInstr bi623[] = {
03017       {BO_XOR,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
03018       {BO_HLT,0,0,0}
03019     };
03020     const BoolInstr bi624[] = {
03021       {BO_XOR,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
03022       {BO_HLT,0,0,0}
03023     };
03024     const BoolInstr bi625[] = {
03025       {BO_XOR,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
03026       {BO_HLT,0,0,0}
03027     };
03028     const BoolInstr bi626[] = {
03029       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_IMP,2,3,1},
03030       {BO_EQV,0,1,0},
03031       {BO_HLT,0,0,0}
03032     };
03033     const BoolInstr bi627[] = {
03034       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03035       {BO_IMP,2,3,1},{BO_EQV,0,1,0},
03036       {BO_HLT,0,0,0}
03037     };
03038     const BoolInstr bi628[] = {
03039       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03040       {BO_EQV,0,1,0},
03041       {BO_HLT,0,0,0}
03042     };
03043     const BoolInstr bi629[] = {
03044       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03045       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03046       {BO_HLT,0,0,0}
03047     };
03048     const BoolInstr bi630[] = {
03049       {BO_XOR,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
03050       {BO_HLT,0,0,0}
03051     };
03052     const BoolInstr bi631[] = {
03053       {BO_XOR,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
03054       {BO_HLT,0,0,0}
03055     };
03056     const BoolInstr bi632[] = {
03057       {BO_XOR,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
03058       {BO_HLT,0,0,0}
03059     };
03060     const BoolInstr bi633[] = {
03061       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_XOR,2,3,1},
03062       {BO_AND,0,1,0},
03063       {BO_HLT,0,0,0}
03064     };
03065     const BoolInstr bi634[] = {
03066       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03067       {BO_XOR,2,3,1},{BO_AND,0,1,0},
03068       {BO_HLT,0,0,0}
03069     };
03070     const BoolInstr bi635[] = {
03071       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03072       {BO_AND,0,1,0},
03073       {BO_HLT,0,0,0}
03074     };
03075     const BoolInstr bi636[] = {
03076       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03077       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03078       {BO_HLT,0,0,0}
03079     };
03080     const BoolInstr bi637[] = {
03081       {BO_XOR,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
03082       {BO_HLT,0,0,0}
03083     };
03084     const BoolInstr bi638[] = {
03085       {BO_XOR,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
03086       {BO_HLT,0,0,0}
03087     };
03088     const BoolInstr bi639[] = {
03089       {BO_XOR,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
03090       {BO_HLT,0,0,0}
03091     };
03092     const BoolInstr bi640[] = {
03093       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_XOR,2,3,1},
03094       {BO_OR ,0,1,0},
03095       {BO_HLT,0,0,0}
03096     };
03097     const BoolInstr bi641[] = {
03098       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03099       {BO_XOR,2,3,1},{BO_OR ,0,1,0},
03100       {BO_HLT,0,0,0}
03101     };
03102     const BoolInstr bi642[] = {
03103       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03104       {BO_OR ,0,1,0},
03105       {BO_HLT,0,0,0}
03106     };
03107     const BoolInstr bi643[] = {
03108       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03109       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03110       {BO_HLT,0,0,0}
03111     };
03112     const BoolInstr bi644[] = {
03113       {BO_XOR,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
03114       {BO_HLT,0,0,0}
03115     };
03116     const BoolInstr bi645[] = {
03117       {BO_XOR,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
03118       {BO_HLT,0,0,0}
03119     };
03120     const BoolInstr bi646[] = {
03121       {BO_XOR,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
03122       {BO_HLT,0,0,0}
03123     };
03124     const BoolInstr bi647[] = {
03125       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_XOR,2,3,1},
03126       {BO_IMP,0,1,0},
03127       {BO_HLT,0,0,0}
03128     };
03129     const BoolInstr bi648[] = {
03130       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03131       {BO_XOR,2,3,1},{BO_IMP,0,1,0},
03132       {BO_HLT,0,0,0}
03133     };
03134     const BoolInstr bi649[] = {
03135       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03136       {BO_IMP,0,1,0},
03137       {BO_HLT,0,0,0}
03138     };
03139     const BoolInstr bi650[] = {
03140       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03141       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03142       {BO_HLT,0,0,0}
03143     };
03144     const BoolInstr bi651[] = {
03145       {BO_XOR,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
03146       {BO_HLT,0,0,0}
03147     };
03148     const BoolInstr bi652[] = {
03149       {BO_XOR,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
03150       {BO_HLT,0,0,0}
03151     };
03152     const BoolInstr bi653[] = {
03153       {BO_XOR,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
03154       {BO_HLT,0,0,0}
03155     };
03156     const BoolInstr bi654[] = {
03157       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_XOR,2,3,1},
03158       {BO_XOR,0,1,0},
03159       {BO_HLT,0,0,0}
03160     };
03161     const BoolInstr bi655[] = {
03162       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03163       {BO_XOR,2,3,1},{BO_XOR,0,1,0},
03164       {BO_HLT,0,0,0}
03165     };
03166     const BoolInstr bi656[] = {
03167       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03168       {BO_XOR,0,1,0},
03169       {BO_HLT,0,0,0}
03170     };
03171     const BoolInstr bi657[] = {
03172       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03173       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03174       {BO_HLT,0,0,0}
03175     };
03176     const BoolInstr bi658[] = {
03177       {BO_XOR,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
03178       {BO_HLT,0,0,0}
03179     };
03180     const BoolInstr bi659[] = {
03181       {BO_XOR,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
03182       {BO_HLT,0,0,0}
03183     };
03184     const BoolInstr bi660[] = {
03185       {BO_XOR,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
03186       {BO_HLT,0,0,0}
03187     };
03188     const BoolInstr bi661[] = {
03189       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_XOR,2,3,1},
03190       {BO_EQV,0,1,0},
03191       {BO_HLT,0,0,0}
03192     };
03193     const BoolInstr bi662[] = {
03194       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03195       {BO_XOR,2,3,1},{BO_EQV,0,1,0},
03196       {BO_HLT,0,0,0}
03197     };
03198     const BoolInstr bi663[] = {
03199       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03200       {BO_EQV,0,1,0},
03201       {BO_HLT,0,0,0}
03202     };
03203     const BoolInstr bi664[] = {
03204       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03205       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03206       {BO_HLT,0,0,0}
03207     };
03208     const BoolInstr bi665[] = {
03209       {BO_XOR,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
03210       {BO_HLT,0,0,0}
03211     };
03212     const BoolInstr bi666[] = {
03213       {BO_XOR,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
03214       {BO_HLT,0,0,0}
03215     };
03216     const BoolInstr bi667[] = {
03217       {BO_XOR,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
03218       {BO_HLT,0,0,0}
03219     };
03220     const BoolInstr bi668[] = {
03221       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_EQV,2,3,1},
03222       {BO_AND,0,1,0},
03223       {BO_HLT,0,0,0}
03224     };
03225     const BoolInstr bi669[] = {
03226       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03227       {BO_EQV,2,3,1},{BO_AND,0,1,0},
03228       {BO_HLT,0,0,0}
03229     };
03230     const BoolInstr bi670[] = {
03231       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03232       {BO_AND,0,1,0},
03233       {BO_HLT,0,0,0}
03234     };
03235     const BoolInstr bi671[] = {
03236       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03237       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03238       {BO_HLT,0,0,0}
03239     };
03240     const BoolInstr bi672[] = {
03241       {BO_XOR,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
03242       {BO_HLT,0,0,0}
03243     };
03244     const BoolInstr bi673[] = {
03245       {BO_XOR,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
03246       {BO_HLT,0,0,0}
03247     };
03248     const BoolInstr bi674[] = {
03249       {BO_XOR,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
03250       {BO_HLT,0,0,0}
03251     };
03252     const BoolInstr bi675[] = {
03253       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_EQV,2,3,1},
03254       {BO_OR ,0,1,0},
03255       {BO_HLT,0,0,0}
03256     };
03257     const BoolInstr bi676[] = {
03258       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03259       {BO_EQV,2,3,1},{BO_OR ,0,1,0},
03260       {BO_HLT,0,0,0}
03261     };
03262     const BoolInstr bi677[] = {
03263       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03264       {BO_OR ,0,1,0},
03265       {BO_HLT,0,0,0}
03266     };
03267     const BoolInstr bi678[] = {
03268       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03269       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03270       {BO_HLT,0,0,0}
03271     };
03272     const BoolInstr bi679[] = {
03273       {BO_XOR,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
03274       {BO_HLT,0,0,0}
03275     };
03276     const BoolInstr bi680[] = {
03277       {BO_XOR,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
03278       {BO_HLT,0,0,0}
03279     };
03280     const BoolInstr bi681[] = {
03281       {BO_XOR,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
03282       {BO_HLT,0,0,0}
03283     };
03284     const BoolInstr bi682[] = {
03285       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_EQV,2,3,1},
03286       {BO_IMP,0,1,0},
03287       {BO_HLT,0,0,0}
03288     };
03289     const BoolInstr bi683[] = {
03290       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03291       {BO_EQV,2,3,1},{BO_IMP,0,1,0},
03292       {BO_HLT,0,0,0}
03293     };
03294     const BoolInstr bi684[] = {
03295       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03296       {BO_IMP,0,1,0},
03297       {BO_HLT,0,0,0}
03298     };
03299     const BoolInstr bi685[] = {
03300       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03301       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03302       {BO_HLT,0,0,0}
03303     };
03304     const BoolInstr bi686[] = {
03305       {BO_XOR,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
03306       {BO_HLT,0,0,0}
03307     };
03308     const BoolInstr bi687[] = {
03309       {BO_XOR,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
03310       {BO_HLT,0,0,0}
03311     };
03312     const BoolInstr bi688[] = {
03313       {BO_XOR,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
03314       {BO_HLT,0,0,0}
03315     };
03316     const BoolInstr bi689[] = {
03317       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_EQV,2,3,1},
03318       {BO_XOR,0,1,0},
03319       {BO_HLT,0,0,0}
03320     };
03321     const BoolInstr bi690[] = {
03322       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03323       {BO_EQV,2,3,1},{BO_XOR,0,1,0},
03324       {BO_HLT,0,0,0}
03325     };
03326     const BoolInstr bi691[] = {
03327       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03328       {BO_XOR,0,1,0},
03329       {BO_HLT,0,0,0}
03330     };
03331     const BoolInstr bi692[] = {
03332       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03333       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03334       {BO_HLT,0,0,0}
03335     };
03336     const BoolInstr bi693[] = {
03337       {BO_XOR,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
03338       {BO_HLT,0,0,0}
03339     };
03340     const BoolInstr bi694[] = {
03341       {BO_XOR,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
03342       {BO_HLT,0,0,0}
03343     };
03344     const BoolInstr bi695[] = {
03345       {BO_XOR,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
03346       {BO_HLT,0,0,0}
03347     };
03348     const BoolInstr bi696[] = {
03349       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_XOR,0,1,0},{BO_EQV,2,3,1},
03350       {BO_EQV,0,1,0},
03351       {BO_HLT,0,0,0}
03352     };
03353     const BoolInstr bi697[] = {
03354       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_XOR,0,1,0},
03355       {BO_EQV,2,3,1},{BO_EQV,0,1,0},
03356       {BO_HLT,0,0,0}
03357     };
03358     const BoolInstr bi698[] = {
03359       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03360       {BO_EQV,0,1,0},
03361       {BO_HLT,0,0,0}
03362     };
03363     const BoolInstr bi699[] = {
03364       {BO_XOR,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
03365       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03366       {BO_HLT,0,0,0}
03367     };
03368     const BoolInstr bi700[] = {
03369       {BO_EQV,0,1,0},{BO_AND,2,3,1},{BO_AND,0,1,0},
03370       {BO_HLT,0,0,0}
03371     };
03372     const BoolInstr bi701[] = {
03373       {BO_EQV,0,1,0},{BO_AND,0,2,0},{BO_AND,0,3,0},
03374       {BO_HLT,0,0,0}
03375     };
03376     const BoolInstr bi702[] = {
03377       {BO_EQV,2,3,2},{BO_AND,1,2,1},{BO_AND,0,1,0},
03378       {BO_HLT,0,0,0}
03379     };
03380     const BoolInstr bi703[] = {
03381       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_AND,2,3,1},
03382       {BO_AND,0,1,0},
03383       {BO_HLT,0,0,0}
03384     };
03385     const BoolInstr bi704[] = {
03386       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03387       {BO_AND,2,3,1},{BO_AND,0,1,0},
03388       {BO_HLT,0,0,0}
03389     };
03390     const BoolInstr bi705[] = {
03391       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03392       {BO_AND,0,1,0},
03393       {BO_HLT,0,0,0}
03394     };
03395     const BoolInstr bi706[] = {
03396       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03397       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03398       {BO_HLT,0,0,0}
03399     };
03400     const BoolInstr bi707[] = {
03401       {BO_EQV,0,1,0},{BO_AND,2,3,1},{BO_OR ,0,1,0},
03402       {BO_HLT,0,0,0}
03403     };
03404     const BoolInstr bi708[] = {
03405       {BO_EQV,0,1,0},{BO_AND,0,2,0},{BO_OR ,0,3,0},
03406       {BO_HLT,0,0,0}
03407     };
03408     const BoolInstr bi709[] = {
03409       {BO_EQV,2,3,2},{BO_AND,1,2,1},{BO_OR ,0,1,0},
03410       {BO_HLT,0,0,0}
03411     };
03412     const BoolInstr bi710[] = {
03413       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_AND,2,3,1},
03414       {BO_OR ,0,1,0},
03415       {BO_HLT,0,0,0}
03416     };
03417     const BoolInstr bi711[] = {
03418       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03419       {BO_AND,2,3,1},{BO_OR ,0,1,0},
03420       {BO_HLT,0,0,0}
03421     };
03422     const BoolInstr bi712[] = {
03423       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03424       {BO_OR ,0,1,0},
03425       {BO_HLT,0,0,0}
03426     };
03427     const BoolInstr bi713[] = {
03428       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03429       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03430       {BO_HLT,0,0,0}
03431     };
03432     const BoolInstr bi714[] = {
03433       {BO_EQV,0,1,0},{BO_AND,2,3,1},{BO_IMP,0,1,0},
03434       {BO_HLT,0,0,0}
03435     };
03436     const BoolInstr bi715[] = {
03437       {BO_EQV,0,1,0},{BO_AND,0,2,0},{BO_IMP,0,3,0},
03438       {BO_HLT,0,0,0}
03439     };
03440     const BoolInstr bi716[] = {
03441       {BO_EQV,2,3,2},{BO_AND,1,2,1},{BO_IMP,0,1,0},
03442       {BO_HLT,0,0,0}
03443     };
03444     const BoolInstr bi717[] = {
03445       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_AND,2,3,1},
03446       {BO_IMP,0,1,0},
03447       {BO_HLT,0,0,0}
03448     };
03449     const BoolInstr bi718[] = {
03450       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03451       {BO_AND,2,3,1},{BO_IMP,0,1,0},
03452       {BO_HLT,0,0,0}
03453     };
03454     const BoolInstr bi719[] = {
03455       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03456       {BO_IMP,0,1,0},
03457       {BO_HLT,0,0,0}
03458     };
03459     const BoolInstr bi720[] = {
03460       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03461       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03462       {BO_HLT,0,0,0}
03463     };
03464     const BoolInstr bi721[] = {
03465       {BO_EQV,0,1,0},{BO_AND,2,3,1},{BO_XOR,0,1,0},
03466       {BO_HLT,0,0,0}
03467     };
03468     const BoolInstr bi722[] = {
03469       {BO_EQV,0,1,0},{BO_AND,0,2,0},{BO_XOR,0,3,0},
03470       {BO_HLT,0,0,0}
03471     };
03472     const BoolInstr bi723[] = {
03473       {BO_EQV,2,3,2},{BO_AND,1,2,1},{BO_XOR,0,1,0},
03474       {BO_HLT,0,0,0}
03475     };
03476     const BoolInstr bi724[] = {
03477       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_AND,2,3,1},
03478       {BO_XOR,0,1,0},
03479       {BO_HLT,0,0,0}
03480     };
03481     const BoolInstr bi725[] = {
03482       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03483       {BO_AND,2,3,1},{BO_XOR,0,1,0},
03484       {BO_HLT,0,0,0}
03485     };
03486     const BoolInstr bi726[] = {
03487       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03488       {BO_XOR,0,1,0},
03489       {BO_HLT,0,0,0}
03490     };
03491     const BoolInstr bi727[] = {
03492       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03493       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03494       {BO_HLT,0,0,0}
03495     };
03496     const BoolInstr bi728[] = {
03497       {BO_EQV,0,1,0},{BO_AND,2,3,1},{BO_EQV,0,1,0},
03498       {BO_HLT,0,0,0}
03499     };
03500     const BoolInstr bi729[] = {
03501       {BO_EQV,0,1,0},{BO_AND,0,2,0},{BO_EQV,0,3,0},
03502       {BO_HLT,0,0,0}
03503     };
03504     const BoolInstr bi730[] = {
03505       {BO_EQV,2,3,2},{BO_AND,1,2,1},{BO_EQV,0,1,0},
03506       {BO_HLT,0,0,0}
03507     };
03508     const BoolInstr bi731[] = {
03509       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_AND,2,3,1},
03510       {BO_EQV,0,1,0},
03511       {BO_HLT,0,0,0}
03512     };
03513     const BoolInstr bi732[] = {
03514       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03515       {BO_AND,2,3,1},{BO_EQV,0,1,0},
03516       {BO_HLT,0,0,0}
03517     };
03518     const BoolInstr bi733[] = {
03519       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03520       {BO_EQV,0,1,0},
03521       {BO_HLT,0,0,0}
03522     };
03523     const BoolInstr bi734[] = {
03524       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_AND,2,3,1},{BO_NOT,1,1,0},
03525       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03526       {BO_HLT,0,0,0}
03527     };
03528     const BoolInstr bi735[] = {
03529       {BO_EQV,0,1,0},{BO_OR ,2,3,1},{BO_AND,0,1,0},
03530       {BO_HLT,0,0,0}
03531     };
03532     const BoolInstr bi736[] = {
03533       {BO_EQV,0,1,0},{BO_OR ,0,2,0},{BO_AND,0,3,0},
03534       {BO_HLT,0,0,0}
03535     };
03536     const BoolInstr bi737[] = {
03537       {BO_EQV,2,3,2},{BO_OR ,1,2,1},{BO_AND,0,1,0},
03538       {BO_HLT,0,0,0}
03539     };
03540     const BoolInstr bi738[] = {
03541       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_OR ,2,3,1},
03542       {BO_AND,0,1,0},
03543       {BO_HLT,0,0,0}
03544     };
03545     const BoolInstr bi739[] = {
03546       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03547       {BO_OR ,2,3,1},{BO_AND,0,1,0},
03548       {BO_HLT,0,0,0}
03549     };
03550     const BoolInstr bi740[] = {
03551       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03552       {BO_AND,0,1,0},
03553       {BO_HLT,0,0,0}
03554     };
03555     const BoolInstr bi741[] = {
03556       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03557       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03558       {BO_HLT,0,0,0}
03559     };
03560     const BoolInstr bi742[] = {
03561       {BO_EQV,0,1,0},{BO_OR ,2,3,1},{BO_OR ,0,1,0},
03562       {BO_HLT,0,0,0}
03563     };
03564     const BoolInstr bi743[] = {
03565       {BO_EQV,0,1,0},{BO_OR ,0,2,0},{BO_OR ,0,3,0},
03566       {BO_HLT,0,0,0}
03567     };
03568     const BoolInstr bi744[] = {
03569       {BO_EQV,2,3,2},{BO_OR ,1,2,1},{BO_OR ,0,1,0},
03570       {BO_HLT,0,0,0}
03571     };
03572     const BoolInstr bi745[] = {
03573       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_OR ,2,3,1},
03574       {BO_OR ,0,1,0},
03575       {BO_HLT,0,0,0}
03576     };
03577     const BoolInstr bi746[] = {
03578       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03579       {BO_OR ,2,3,1},{BO_OR ,0,1,0},
03580       {BO_HLT,0,0,0}
03581     };
03582     const BoolInstr bi747[] = {
03583       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03584       {BO_OR ,0,1,0},
03585       {BO_HLT,0,0,0}
03586     };
03587     const BoolInstr bi748[] = {
03588       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03589       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03590       {BO_HLT,0,0,0}
03591     };
03592     const BoolInstr bi749[] = {
03593       {BO_EQV,0,1,0},{BO_OR ,2,3,1},{BO_IMP,0,1,0},
03594       {BO_HLT,0,0,0}
03595     };
03596     const BoolInstr bi750[] = {
03597       {BO_EQV,0,1,0},{BO_OR ,0,2,0},{BO_IMP,0,3,0},
03598       {BO_HLT,0,0,0}
03599     };
03600     const BoolInstr bi751[] = {
03601       {BO_EQV,2,3,2},{BO_OR ,1,2,1},{BO_IMP,0,1,0},
03602       {BO_HLT,0,0,0}
03603     };
03604     const BoolInstr bi752[] = {
03605       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_OR ,2,3,1},
03606       {BO_IMP,0,1,0},
03607       {BO_HLT,0,0,0}
03608     };
03609     const BoolInstr bi753[] = {
03610       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03611       {BO_OR ,2,3,1},{BO_IMP,0,1,0},
03612       {BO_HLT,0,0,0}
03613     };
03614     const BoolInstr bi754[] = {
03615       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03616       {BO_IMP,0,1,0},
03617       {BO_HLT,0,0,0}
03618     };
03619     const BoolInstr bi755[] = {
03620       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03621       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03622       {BO_HLT,0,0,0}
03623     };
03624     const BoolInstr bi756[] = {
03625       {BO_EQV,0,1,0},{BO_OR ,2,3,1},{BO_XOR,0,1,0},
03626       {BO_HLT,0,0,0}
03627     };
03628     const BoolInstr bi757[] = {
03629       {BO_EQV,0,1,0},{BO_OR ,0,2,0},{BO_XOR,0,3,0},
03630       {BO_HLT,0,0,0}
03631     };
03632     const BoolInstr bi758[] = {
03633       {BO_EQV,2,3,2},{BO_OR ,1,2,1},{BO_XOR,0,1,0},
03634       {BO_HLT,0,0,0}
03635     };
03636     const BoolInstr bi759[] = {
03637       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_OR ,2,3,1},
03638       {BO_XOR,0,1,0},
03639       {BO_HLT,0,0,0}
03640     };
03641     const BoolInstr bi760[] = {
03642       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03643       {BO_OR ,2,3,1},{BO_XOR,0,1,0},
03644       {BO_HLT,0,0,0}
03645     };
03646     const BoolInstr bi761[] = {
03647       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03648       {BO_XOR,0,1,0},
03649       {BO_HLT,0,0,0}
03650     };
03651     const BoolInstr bi762[] = {
03652       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03653       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03654       {BO_HLT,0,0,0}
03655     };
03656     const BoolInstr bi763[] = {
03657       {BO_EQV,0,1,0},{BO_OR ,2,3,1},{BO_EQV,0,1,0},
03658       {BO_HLT,0,0,0}
03659     };
03660     const BoolInstr bi764[] = {
03661       {BO_EQV,0,1,0},{BO_OR ,0,2,0},{BO_EQV,0,3,0},
03662       {BO_HLT,0,0,0}
03663     };
03664     const BoolInstr bi765[] = {
03665       {BO_EQV,2,3,2},{BO_OR ,1,2,1},{BO_EQV,0,1,0},
03666       {BO_HLT,0,0,0}
03667     };
03668     const BoolInstr bi766[] = {
03669       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_OR ,2,3,1},
03670       {BO_EQV,0,1,0},
03671       {BO_HLT,0,0,0}
03672     };
03673     const BoolInstr bi767[] = {
03674       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03675       {BO_OR ,2,3,1},{BO_EQV,0,1,0},
03676       {BO_HLT,0,0,0}
03677     };
03678     const BoolInstr bi768[] = {
03679       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03680       {BO_EQV,0,1,0},
03681       {BO_HLT,0,0,0}
03682     };
03683     const BoolInstr bi769[] = {
03684       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_OR ,2,3,1},{BO_NOT,1,1,0},
03685       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03686       {BO_HLT,0,0,0}
03687     };
03688     const BoolInstr bi770[] = {
03689       {BO_EQV,0,1,0},{BO_IMP,2,3,1},{BO_AND,0,1,0},
03690       {BO_HLT,0,0,0}
03691     };
03692     const BoolInstr bi771[] = {
03693       {BO_EQV,0,1,0},{BO_IMP,0,2,0},{BO_AND,0,3,0},
03694       {BO_HLT,0,0,0}
03695     };
03696     const BoolInstr bi772[] = {
03697       {BO_EQV,2,3,2},{BO_IMP,1,2,1},{BO_AND,0,1,0},
03698       {BO_HLT,0,0,0}
03699     };
03700     const BoolInstr bi773[] = {
03701       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_IMP,2,3,1},
03702       {BO_AND,0,1,0},
03703       {BO_HLT,0,0,0}
03704     };
03705     const BoolInstr bi774[] = {
03706       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03707       {BO_IMP,2,3,1},{BO_AND,0,1,0},
03708       {BO_HLT,0,0,0}
03709     };
03710     const BoolInstr bi775[] = {
03711       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03712       {BO_AND,0,1,0},
03713       {BO_HLT,0,0,0}
03714     };
03715     const BoolInstr bi776[] = {
03716       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03717       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03718       {BO_HLT,0,0,0}
03719     };
03720     const BoolInstr bi777[] = {
03721       {BO_EQV,0,1,0},{BO_IMP,2,3,1},{BO_OR ,0,1,0},
03722       {BO_HLT,0,0,0}
03723     };
03724     const BoolInstr bi778[] = {
03725       {BO_EQV,0,1,0},{BO_IMP,0,2,0},{BO_OR ,0,3,0},
03726       {BO_HLT,0,0,0}
03727     };
03728     const BoolInstr bi779[] = {
03729       {BO_EQV,2,3,2},{BO_IMP,1,2,1},{BO_OR ,0,1,0},
03730       {BO_HLT,0,0,0}
03731     };
03732     const BoolInstr bi780[] = {
03733       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_IMP,2,3,1},
03734       {BO_OR ,0,1,0},
03735       {BO_HLT,0,0,0}
03736     };
03737     const BoolInstr bi781[] = {
03738       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03739       {BO_IMP,2,3,1},{BO_OR ,0,1,0},
03740       {BO_HLT,0,0,0}
03741     };
03742     const BoolInstr bi782[] = {
03743       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03744       {BO_OR ,0,1,0},
03745       {BO_HLT,0,0,0}
03746     };
03747     const BoolInstr bi783[] = {
03748       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03749       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03750       {BO_HLT,0,0,0}
03751     };
03752     const BoolInstr bi784[] = {
03753       {BO_EQV,0,1,0},{BO_IMP,2,3,1},{BO_IMP,0,1,0},
03754       {BO_HLT,0,0,0}
03755     };
03756     const BoolInstr bi785[] = {
03757       {BO_EQV,0,1,0},{BO_IMP,0,2,0},{BO_IMP,0,3,0},
03758       {BO_HLT,0,0,0}
03759     };
03760     const BoolInstr bi786[] = {
03761       {BO_EQV,2,3,2},{BO_IMP,1,2,1},{BO_IMP,0,1,0},
03762       {BO_HLT,0,0,0}
03763     };
03764     const BoolInstr bi787[] = {
03765       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_IMP,2,3,1},
03766       {BO_IMP,0,1,0},
03767       {BO_HLT,0,0,0}
03768     };
03769     const BoolInstr bi788[] = {
03770       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03771       {BO_IMP,2,3,1},{BO_IMP,0,1,0},
03772       {BO_HLT,0,0,0}
03773     };
03774     const BoolInstr bi789[] = {
03775       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03776       {BO_IMP,0,1,0},
03777       {BO_HLT,0,0,0}
03778     };
03779     const BoolInstr bi790[] = {
03780       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03781       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03782       {BO_HLT,0,0,0}
03783     };
03784     const BoolInstr bi791[] = {
03785       {BO_EQV,0,1,0},{BO_IMP,2,3,1},{BO_XOR,0,1,0},
03786       {BO_HLT,0,0,0}
03787     };
03788     const BoolInstr bi792[] = {
03789       {BO_EQV,0,1,0},{BO_IMP,0,2,0},{BO_XOR,0,3,0},
03790       {BO_HLT,0,0,0}
03791     };
03792     const BoolInstr bi793[] = {
03793       {BO_EQV,2,3,2},{BO_IMP,1,2,1},{BO_XOR,0,1,0},
03794       {BO_HLT,0,0,0}
03795     };
03796     const BoolInstr bi794[] = {
03797       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_IMP,2,3,1},
03798       {BO_XOR,0,1,0},
03799       {BO_HLT,0,0,0}
03800     };
03801     const BoolInstr bi795[] = {
03802       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03803       {BO_IMP,2,3,1},{BO_XOR,0,1,0},
03804       {BO_HLT,0,0,0}
03805     };
03806     const BoolInstr bi796[] = {
03807       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03808       {BO_XOR,0,1,0},
03809       {BO_HLT,0,0,0}
03810     };
03811     const BoolInstr bi797[] = {
03812       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03813       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03814       {BO_HLT,0,0,0}
03815     };
03816     const BoolInstr bi798[] = {
03817       {BO_EQV,0,1,0},{BO_IMP,2,3,1},{BO_EQV,0,1,0},
03818       {BO_HLT,0,0,0}
03819     };
03820     const BoolInstr bi799[] = {
03821       {BO_EQV,0,1,0},{BO_IMP,0,2,0},{BO_EQV,0,3,0},
03822       {BO_HLT,0,0,0}
03823     };
03824     const BoolInstr bi800[] = {
03825       {BO_EQV,2,3,2},{BO_IMP,1,2,1},{BO_EQV,0,1,0},
03826       {BO_HLT,0,0,0}
03827     };
03828     const BoolInstr bi801[] = {
03829       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_IMP,2,3,1},
03830       {BO_EQV,0,1,0},
03831       {BO_HLT,0,0,0}
03832     };
03833     const BoolInstr bi802[] = {
03834       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03835       {BO_IMP,2,3,1},{BO_EQV,0,1,0},
03836       {BO_HLT,0,0,0}
03837     };
03838     const BoolInstr bi803[] = {
03839       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03840       {BO_EQV,0,1,0},
03841       {BO_HLT,0,0,0}
03842     };
03843     const BoolInstr bi804[] = {
03844       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_IMP,2,3,1},{BO_NOT,1,1,0},
03845       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
03846       {BO_HLT,0,0,0}
03847     };
03848     const BoolInstr bi805[] = {
03849       {BO_EQV,0,1,0},{BO_XOR,2,3,1},{BO_AND,0,1,0},
03850       {BO_HLT,0,0,0}
03851     };
03852     const BoolInstr bi806[] = {
03853       {BO_EQV,0,1,0},{BO_XOR,0,2,0},{BO_AND,0,3,0},
03854       {BO_HLT,0,0,0}
03855     };
03856     const BoolInstr bi807[] = {
03857       {BO_EQV,2,3,2},{BO_XOR,1,2,1},{BO_AND,0,1,0},
03858       {BO_HLT,0,0,0}
03859     };
03860     const BoolInstr bi808[] = {
03861       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_XOR,2,3,1},
03862       {BO_AND,0,1,0},
03863       {BO_HLT,0,0,0}
03864     };
03865     const BoolInstr bi809[] = {
03866       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03867       {BO_XOR,2,3,1},{BO_AND,0,1,0},
03868       {BO_HLT,0,0,0}
03869     };
03870     const BoolInstr bi810[] = {
03871       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03872       {BO_AND,0,1,0},
03873       {BO_HLT,0,0,0}
03874     };
03875     const BoolInstr bi811[] = {
03876       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03877       {BO_AND,0,1,0},{BO_NOT,0,0,0},
03878       {BO_HLT,0,0,0}
03879     };
03880     const BoolInstr bi812[] = {
03881       {BO_EQV,0,1,0},{BO_XOR,2,3,1},{BO_OR ,0,1,0},
03882       {BO_HLT,0,0,0}
03883     };
03884     const BoolInstr bi813[] = {
03885       {BO_EQV,0,1,0},{BO_XOR,0,2,0},{BO_OR ,0,3,0},
03886       {BO_HLT,0,0,0}
03887     };
03888     const BoolInstr bi814[] = {
03889       {BO_EQV,2,3,2},{BO_XOR,1,2,1},{BO_OR ,0,1,0},
03890       {BO_HLT,0,0,0}
03891     };
03892     const BoolInstr bi815[] = {
03893       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_XOR,2,3,1},
03894       {BO_OR ,0,1,0},
03895       {BO_HLT,0,0,0}
03896     };
03897     const BoolInstr bi816[] = {
03898       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03899       {BO_XOR,2,3,1},{BO_OR ,0,1,0},
03900       {BO_HLT,0,0,0}
03901     };
03902     const BoolInstr bi817[] = {
03903       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03904       {BO_OR ,0,1,0},
03905       {BO_HLT,0,0,0}
03906     };
03907     const BoolInstr bi818[] = {
03908       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03909       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
03910       {BO_HLT,0,0,0}
03911     };
03912     const BoolInstr bi819[] = {
03913       {BO_EQV,0,1,0},{BO_XOR,2,3,1},{BO_IMP,0,1,0},
03914       {BO_HLT,0,0,0}
03915     };
03916     const BoolInstr bi820[] = {
03917       {BO_EQV,0,1,0},{BO_XOR,0,2,0},{BO_IMP,0,3,0},
03918       {BO_HLT,0,0,0}
03919     };
03920     const BoolInstr bi821[] = {
03921       {BO_EQV,2,3,2},{BO_XOR,1,2,1},{BO_IMP,0,1,0},
03922       {BO_HLT,0,0,0}
03923     };
03924     const BoolInstr bi822[] = {
03925       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_XOR,2,3,1},
03926       {BO_IMP,0,1,0},
03927       {BO_HLT,0,0,0}
03928     };
03929     const BoolInstr bi823[] = {
03930       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03931       {BO_XOR,2,3,1},{BO_IMP,0,1,0},
03932       {BO_HLT,0,0,0}
03933     };
03934     const BoolInstr bi824[] = {
03935       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03936       {BO_IMP,0,1,0},
03937       {BO_HLT,0,0,0}
03938     };
03939     const BoolInstr bi825[] = {
03940       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03941       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
03942       {BO_HLT,0,0,0}
03943     };
03944     const BoolInstr bi826[] = {
03945       {BO_EQV,0,1,0},{BO_XOR,2,3,1},{BO_XOR,0,1,0},
03946       {BO_HLT,0,0,0}
03947     };
03948     const BoolInstr bi827[] = {
03949       {BO_EQV,0,1,0},{BO_XOR,0,2,0},{BO_XOR,0,3,0},
03950       {BO_HLT,0,0,0}
03951     };
03952     const BoolInstr bi828[] = {
03953       {BO_EQV,2,3,2},{BO_XOR,1,2,1},{BO_XOR,0,1,0},
03954       {BO_HLT,0,0,0}
03955     };
03956     const BoolInstr bi829[] = {
03957       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_XOR,2,3,1},
03958       {BO_XOR,0,1,0},
03959       {BO_HLT,0,0,0}
03960     };
03961     const BoolInstr bi830[] = {
03962       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03963       {BO_XOR,2,3,1},{BO_XOR,0,1,0},
03964       {BO_HLT,0,0,0}
03965     };
03966     const BoolInstr bi831[] = {
03967       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03968       {BO_XOR,0,1,0},
03969       {BO_HLT,0,0,0}
03970     };
03971     const BoolInstr bi832[] = {
03972       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
03973       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
03974       {BO_HLT,0,0,0}
03975     };
03976     const BoolInstr bi833[] = {
03977       {BO_EQV,0,1,0},{BO_XOR,2,3,1},{BO_EQV,0,1,0},
03978       {BO_HLT,0,0,0}
03979     };
03980     const BoolInstr bi834[] = {
03981       {BO_EQV,0,1,0},{BO_XOR,0,2,0},{BO_EQV,0,3,0},
03982       {BO_HLT,0,0,0}
03983     };
03984     const BoolInstr bi835[] = {
03985       {BO_EQV,2,3,2},{BO_XOR,1,2,1},{BO_EQV,0,1,0},
03986       {BO_HLT,0,0,0}
03987     };
03988     const BoolInstr bi836[] = {
03989       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_XOR,2,3,1},
03990       {BO_EQV,0,1,0},
03991       {BO_HLT,0,0,0}
03992     };
03993     const BoolInstr bi837[] = {
03994       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
03995       {BO_XOR,2,3,1},{BO_EQV,0,1,0},
03996       {BO_HLT,0,0,0}
03997     };
03998     const BoolInstr bi838[] = {
03999       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
04000       {BO_EQV,0,1,0},
04001       {BO_HLT,0,0,0}
04002     };
04003     const BoolInstr bi839[] = {
04004       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_XOR,2,3,1},{BO_NOT,1,1,0},
04005       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
04006       {BO_HLT,0,0,0}
04007     };
04008     const BoolInstr bi840[] = {
04009       {BO_EQV,0,1,0},{BO_EQV,2,3,1},{BO_AND,0,1,0},
04010       {BO_HLT,0,0,0}
04011     };
04012     const BoolInstr bi841[] = {
04013       {BO_EQV,0,1,0},{BO_EQV,0,2,0},{BO_AND,0,3,0},
04014       {BO_HLT,0,0,0}
04015     };
04016     const BoolInstr bi842[] = {
04017       {BO_EQV,2,3,2},{BO_EQV,1,2,1},{BO_AND,0,1,0},
04018       {BO_HLT,0,0,0}
04019     };
04020     const BoolInstr bi843[] = {
04021       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_EQV,2,3,1},
04022       {BO_AND,0,1,0},
04023       {BO_HLT,0,0,0}
04024     };
04025     const BoolInstr bi844[] = {
04026       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
04027       {BO_EQV,2,3,1},{BO_AND,0,1,0},
04028       {BO_HLT,0,0,0}
04029     };
04030     const BoolInstr bi845[] = {
04031       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04032       {BO_AND,0,1,0},
04033       {BO_HLT,0,0,0}
04034     };
04035     const BoolInstr bi846[] = {
04036       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04037       {BO_AND,0,1,0},{BO_NOT,0,0,0},
04038       {BO_HLT,0,0,0}
04039     };
04040     const BoolInstr bi847[] = {
04041       {BO_EQV,0,1,0},{BO_EQV,2,3,1},{BO_OR ,0,1,0},
04042       {BO_HLT,0,0,0}
04043     };
04044     const BoolInstr bi848[] = {
04045       {BO_EQV,0,1,0},{BO_EQV,0,2,0},{BO_OR ,0,3,0},
04046       {BO_HLT,0,0,0}
04047     };
04048     const BoolInstr bi849[] = {
04049       {BO_EQV,2,3,2},{BO_EQV,1,2,1},{BO_OR ,0,1,0},
04050       {BO_HLT,0,0,0}
04051     };
04052     const BoolInstr bi850[] = {
04053       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_EQV,2,3,1},
04054       {BO_OR ,0,1,0},
04055       {BO_HLT,0,0,0}
04056     };
04057     const BoolInstr bi851[] = {
04058       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
04059       {BO_EQV,2,3,1},{BO_OR ,0,1,0},
04060       {BO_HLT,0,0,0}
04061     };
04062     const BoolInstr bi852[] = {
04063       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04064       {BO_OR ,0,1,0},
04065       {BO_HLT,0,0,0}
04066     };
04067     const BoolInstr bi853[] = {
04068       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04069       {BO_OR ,0,1,0},{BO_NOT,0,0,0},
04070       {BO_HLT,0,0,0}
04071     };
04072     const BoolInstr bi854[] = {
04073       {BO_EQV,0,1,0},{BO_EQV,2,3,1},{BO_IMP,0,1,0},
04074       {BO_HLT,0,0,0}
04075     };
04076     const BoolInstr bi855[] = {
04077       {BO_EQV,0,1,0},{BO_EQV,0,2,0},{BO_IMP,0,3,0},
04078       {BO_HLT,0,0,0}
04079     };
04080     const BoolInstr bi856[] = {
04081       {BO_EQV,2,3,2},{BO_EQV,1,2,1},{BO_IMP,0,1,0},
04082       {BO_HLT,0,0,0}
04083     };
04084     const BoolInstr bi857[] = {
04085       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_EQV,2,3,1},
04086       {BO_IMP,0,1,0},
04087       {BO_HLT,0,0,0}
04088     };
04089     const BoolInstr bi858[] = {
04090       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
04091       {BO_EQV,2,3,1},{BO_IMP,0,1,0},
04092       {BO_HLT,0,0,0}
04093     };
04094     const BoolInstr bi859[] = {
04095       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04096       {BO_IMP,0,1,0},
04097       {BO_HLT,0,0,0}
04098     };
04099     const BoolInstr bi860[] = {
04100       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04101       {BO_IMP,0,1,0},{BO_NOT,0,0,0},
04102       {BO_HLT,0,0,0}
04103     };
04104     const BoolInstr bi861[] = {
04105       {BO_EQV,0,1,0},{BO_EQV,2,3,1},{BO_XOR,0,1,0},
04106       {BO_HLT,0,0,0}
04107     };
04108     const BoolInstr bi862[] = {
04109       {BO_EQV,0,1,0},{BO_EQV,0,2,0},{BO_XOR,0,3,0},
04110       {BO_HLT,0,0,0}
04111     };
04112     const BoolInstr bi863[] = {
04113       {BO_EQV,2,3,2},{BO_EQV,1,2,1},{BO_XOR,0,1,0},
04114       {BO_HLT,0,0,0}
04115     };
04116     const BoolInstr bi864[] = {
04117       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_EQV,2,3,1},
04118       {BO_XOR,0,1,0},
04119       {BO_HLT,0,0,0}
04120     };
04121     const BoolInstr bi865[] = {
04122       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
04123       {BO_EQV,2,3,1},{BO_XOR,0,1,0},
04124       {BO_HLT,0,0,0}
04125     };
04126     const BoolInstr bi866[] = {
04127       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04128       {BO_XOR,0,1,0},
04129       {BO_HLT,0,0,0}
04130     };
04131     const BoolInstr bi867[] = {
04132       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04133       {BO_XOR,0,1,0},{BO_NOT,0,0,0},
04134       {BO_HLT,0,0,0}
04135     };
04136     const BoolInstr bi868[] = {
04137       {BO_EQV,0,1,0},{BO_EQV,2,3,1},{BO_EQV,0,1,0},
04138       {BO_HLT,0,0,0}
04139     };
04140     const BoolInstr bi869[] = {
04141       {BO_EQV,0,1,0},{BO_EQV,0,2,0},{BO_EQV,0,3,0},
04142       {BO_HLT,0,0,0}
04143     };
04144     const BoolInstr bi870[] = {
04145       {BO_EQV,2,3,2},{BO_EQV,1,2,1},{BO_EQV,0,1,0},
04146       {BO_HLT,0,0,0}
04147     };
04148     const BoolInstr bi871[] = {
04149       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_EQV,0,1,0},{BO_EQV,2,3,1},
04150       {BO_EQV,0,1,0},
04151       {BO_HLT,0,0,0}
04152     };
04153     const BoolInstr bi872[] = {
04154       {BO_NOT,0,0,0},{BO_NOT,2,2,0},{BO_NOT,0,0,0},{BO_EQV,0,1,0},
04155       {BO_EQV,2,3,1},{BO_EQV,0,1,0},
04156       {BO_HLT,0,0,0}
04157     };
04158     const BoolInstr bi873[] = {
04159       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04160       {BO_EQV,0,1,0},
04161       {BO_HLT,0,0,0}
04162     };
04163     const BoolInstr bi874[] = {
04164       {BO_EQV,0,1,0},{BO_NOT,0,0,0},{BO_EQV,2,3,1},{BO_NOT,1,1,0},
04165       {BO_EQV,0,1,0},{BO_NOT,0,0,0},
04166       {BO_HLT,0,0,0}
04167     };
04168 
04169     const BoolInstr* bi[] = {
04170       &bi000[0],&bi001[0],&bi002[0],&bi003[0],&bi004[0],&bi005[0],
04171       &bi006[0],&bi007[0],&bi008[0],&bi009[0],&bi010[0],&bi011[0],
04172       &bi012[0],&bi013[0],&bi014[0],&bi015[0],&bi016[0],&bi017[0],
04173       &bi018[0],&bi019[0],&bi020[0],&bi021[0],&bi022[0],&bi023[0],
04174       &bi024[0],&bi025[0],&bi026[0],&bi027[0],&bi028[0],&bi029[0],
04175       &bi030[0],&bi031[0],&bi032[0],&bi033[0],&bi034[0],&bi035[0],
04176       &bi036[0],&bi037[0],&bi038[0],&bi039[0],&bi040[0],&bi041[0],
04177       &bi042[0],&bi043[0],&bi044[0],&bi045[0],&bi046[0],&bi047[0],
04178       &bi048[0],&bi049[0],&bi050[0],&bi051[0],&bi052[0],&bi053[0],
04179       &bi054[0],&bi055[0],&bi056[0],&bi057[0],&bi058[0],&bi059[0],
04180       &bi060[0],&bi061[0],&bi062[0],&bi063[0],&bi064[0],&bi065[0],
04181       &bi066[0],&bi067[0],&bi068[0],&bi069[0],&bi070[0],&bi071[0],
04182       &bi072[0],&bi073[0],&bi074[0],&bi075[0],&bi076[0],&bi077[0],
04183       &bi078[0],&bi079[0],&bi080[0],&bi081[0],&bi082[0],&bi083[0],
04184       &bi084[0],&bi085[0],&bi086[0],&bi087[0],&bi088[0],&bi089[0],
04185       &bi090[0],&bi091[0],&bi092[0],&bi093[0],&bi094[0],&bi095[0],
04186       &bi096[0],&bi097[0],&bi098[0],&bi099[0],&bi100[0],&bi101[0],
04187       &bi102[0],&bi103[0],&bi104[0],&bi105[0],&bi106[0],&bi107[0],
04188       &bi108[0],&bi109[0],&bi110[0],&bi111[0],&bi112[0],&bi113[0],
04189       &bi114[0],&bi115[0],&bi116[0],&bi117[0],&bi118[0],&bi119[0],
04190       &bi120[0],&bi121[0],&bi122[0],&bi123[0],&bi124[0],&bi125[0],
04191       &bi126[0],&bi127[0],&bi128[0],&bi129[0],&bi130[0],&bi131[0],
04192       &bi132[0],&bi133[0],&bi134[0],&bi135[0],&bi136[0],&bi137[0],
04193       &bi138[0],&bi139[0],&bi140[0],&bi141[0],&bi142[0],&bi143[0],
04194       &bi144[0],&bi145[0],&bi146[0],&bi147[0],&bi148[0],&bi149[0],
04195       &bi150[0],&bi151[0],&bi152[0],&bi153[0],&bi154[0],&bi155[0],
04196       &bi156[0],&bi157[0],&bi158[0],&bi159[0],&bi160[0],&bi161[0],
04197       &bi162[0],&bi163[0],&bi164[0],&bi165[0],&bi166[0],&bi167[0],
04198       &bi168[0],&bi169[0],&bi170[0],&bi171[0],&bi172[0],&bi173[0],
04199       &bi174[0],&bi175[0],&bi176[0],&bi177[0],&bi178[0],&bi179[0],
04200       &bi180[0],&bi181[0],&bi182[0],&bi183[0],&bi184[0],&bi185[0],
04201       &bi186[0],&bi187[0],&bi188[0],&bi189[0],&bi190[0],&bi191[0],
04202       &bi192[0],&bi193[0],&bi194[0],&bi195[0],&bi196[0],&bi197[0],
04203       &bi198[0],&bi199[0],&bi200[0],&bi201[0],&bi202[0],&bi203[0],
04204       &bi204[0],&bi205[0],&bi206[0],&bi207[0],&bi208[0],&bi209[0],
04205       &bi210[0],&bi211[0],&bi212[0],&bi213[0],&bi214[0],&bi215[0],
04206       &bi216[0],&bi217[0],&bi218[0],&bi219[0],&bi220[0],&bi221[0],
04207       &bi222[0],&bi223[0],&bi224[0],&bi225[0],&bi226[0],&bi227[0],
04208       &bi228[0],&bi229[0],&bi230[0],&bi231[0],&bi232[0],&bi233[0],
04209       &bi234[0],&bi235[0],&bi236[0],&bi237[0],&bi238[0],&bi239[0],
04210       &bi240[0],&bi241[0],&bi242[0],&bi243[0],&bi244[0],&bi245[0],
04211       &bi246[0],&bi247[0],&bi248[0],&bi249[0],&bi250[0],&bi251[0],
04212       &bi252[0],&bi253[0],&bi254[0],&bi255[0],&bi256[0],&bi257[0],
04213       &bi258[0],&bi259[0],&bi260[0],&bi261[0],&bi262[0],&bi263[0],
04214       &bi264[0],&bi265[0],&bi266[0],&bi267[0],&bi268[0],&bi269[0],
04215       &bi270[0],&bi271[0],&bi272[0],&bi273[0],&bi274[0],&bi275[0],
04216       &bi276[0],&bi277[0],&bi278[0],&bi279[0],&bi280[0],&bi281[0],
04217       &bi282[0],&bi283[0],&bi284[0],&bi285[0],&bi286[0],&bi287[0],
04218       &bi288[0],&bi289[0],&bi290[0],&bi291[0],&bi292[0],&bi293[0],
04219       &bi294[0],&bi295[0],&bi296[0],&bi297[0],&bi298[0],&bi299[0],
04220       &bi300[0],&bi301[0],&bi302[0],&bi303[0],&bi304[0],&bi305[0],
04221       &bi306[0],&bi307[0],&bi308[0],&bi309[0],&bi310[0],&bi311[0],
04222       &bi312[0],&bi313[0],&bi314[0],&bi315[0],&bi316[0],&bi317[0],
04223       &bi318[0],&bi319[0],&bi320[0],&bi321[0],&bi322[0],&bi323[0],
04224       &bi324[0],&bi325[0],&bi326[0],&bi327[0],&bi328[0],&bi329[0],
04225       &bi330[0],&bi331[0],&bi332[0],&bi333[0],&bi334[0],&bi335[0],
04226       &bi336[0],&bi337[0],&bi338[0],&bi339[0],&bi340[0],&bi341[0],
04227       &bi342[0],&bi343[0],&bi344[0],&bi345[0],&bi346[0],&bi347[0],
04228       &bi348[0],&bi349[0],&bi350[0],&bi351[0],&bi352[0],&bi353[0],
04229       &bi354[0],&bi355[0],&bi356[0],&bi357[0],&bi358[0],&bi359[0],
04230       &bi360[0],&bi361[0],&bi362[0],&bi363[0],&bi364[0],&bi365[0],
04231       &bi366[0],&bi367[0],&bi368[0],&bi369[0],&bi370[0],&bi371[0],
04232       &bi372[0],&bi373[0],&bi374[0],&bi375[0],&bi376[0],&bi377[0],
04233       &bi378[0],&bi379[0],&bi380[0],&bi381[0],&bi382[0],&bi383[0],
04234       &bi384[0],&bi385[0],&bi386[0],&bi387[0],&bi388[0],&bi389[0],
04235       &bi390[0],&bi391[0],&bi392[0],&bi393[0],&bi394[0],&bi395[0],
04236       &bi396[0],&bi397[0],&bi398[0],&bi399[0],&bi400[0],&bi401[0],
04237       &bi402[0],&bi403[0],&bi404[0],&bi405[0],&bi406[0],&bi407[0],
04238       &bi408[0],&bi409[0],&bi410[0],&bi411[0],&bi412[0],&bi413[0],
04239       &bi414[0],&bi415[0],&bi416[0],&bi417[0],&bi418[0],&bi419[0],
04240       &bi420[0],&bi421[0],&bi422[0],&bi423[0],&bi424[0],&bi425[0],
04241       &bi426[0],&bi427[0],&bi428[0],&bi429[0],&bi430[0],&bi431[0],
04242       &bi432[0],&bi433[0],&bi434[0],&bi435[0],&bi436[0],&bi437[0],
04243       &bi438[0],&bi439[0],&bi440[0],&bi441[0],&bi442[0],&bi443[0],
04244       &bi444[0],&bi445[0],&bi446[0],&bi447[0],&bi448[0],&bi449[0],
04245       &bi450[0],&bi451[0],&bi452[0],&bi453[0],&bi454[0],&bi455[0],
04246       &bi456[0],&bi457[0],&bi458[0],&bi459[0],&bi460[0],&bi461[0],
04247       &bi462[0],&bi463[0],&bi464[0],&bi465[0],&bi466[0],&bi467[0],
04248       &bi468[0],&bi469[0],&bi470[0],&bi471[0],&bi472[0],&bi473[0],
04249       &bi474[0],&bi475[0],&bi476[0],&bi477[0],&bi478[0],&bi479[0],
04250       &bi480[0],&bi481[0],&bi482[0],&bi483[0],&bi484[0],&bi485[0],
04251       &bi486[0],&bi487[0],&bi488[0],&bi489[0],&bi490[0],&bi491[0],
04252       &bi492[0],&bi493[0],&bi494[0],&bi495[0],&bi496[0],&bi497[0],
04253       &bi498[0],&bi499[0],&bi500[0],&bi501[0],&bi502[0],&bi503[0],
04254       &bi504[0],&bi505[0],&bi506[0],&bi507[0],&bi508[0],&bi509[0],
04255       &bi510[0],&bi511[0],&bi512[0],&bi513[0],&bi514[0],&bi515[0],
04256       &bi516[0],&bi517[0],&bi518[0],&bi519[0],&bi520[0],&bi521[0],
04257       &bi522[0],&bi523[0],&bi524[0],&bi525[0],&bi526[0],&bi527[0],
04258       &bi528[0],&bi529[0],&bi530[0],&bi531[0],&bi532[0],&bi533[0],
04259       &bi534[0],&bi535[0],&bi536[0],&bi537[0],&bi538[0],&bi539[0],
04260       &bi540[0],&bi541[0],&bi542[0],&bi543[0],&bi544[0],&bi545[0],
04261       &bi546[0],&bi547[0],&bi548[0],&bi549[0],&bi550[0],&bi551[0],
04262       &bi552[0],&bi553[0],&bi554[0],&bi555[0],&bi556[0],&bi557[0],
04263       &bi558[0],&bi559[0],&bi560[0],&bi561[0],&bi562[0],&bi563[0],
04264       &bi564[0],&bi565[0],&bi566[0],&bi567[0],&bi568[0],&bi569[0],
04265       &bi570[0],&bi571[0],&bi572[0],&bi573[0],&bi574[0],&bi575[0],
04266       &bi576[0],&bi577[0],&bi578[0],&bi579[0],&bi580[0],&bi581[0],
04267       &bi582[0],&bi583[0],&bi584[0],&bi585[0],&bi586[0],&bi587[0],
04268       &bi588[0],&bi589[0],&bi590[0],&bi591[0],&bi592[0],&bi593[0],
04269       &bi594[0],&bi595[0],&bi596[0],&bi597[0],&bi598[0],&bi599[0],
04270       &bi600[0],&bi601[0],&bi602[0],&bi603[0],&bi604[0],&bi605[0],
04271       &bi606[0],&bi607[0],&bi608[0],&bi609[0],&bi610[0],&bi611[0],
04272       &bi612[0],&bi613[0],&bi614[0],&bi615[0],&bi616[0],&bi617[0],
04273       &bi618[0],&bi619[0],&bi620[0],&bi621[0],&bi622[0],&bi623[0],
04274       &bi624[0],&bi625[0],&bi626[0],&bi627[0],&bi628[0],&bi629[0],
04275       &bi630[0],&bi631[0],&bi632[0],&bi633[0],&bi634[0],&bi635[0],
04276       &bi636[0],&bi637[0],&bi638[0],&bi639[0],&bi640[0],&bi641[0],
04277       &bi642[0],&bi643[0],&bi644[0],&bi645[0],&bi646[0],&bi647[0],
04278       &bi648[0],&bi649[0],&bi650[0],&bi651[0],&bi652[0],&bi653[0],
04279       &bi654[0],&bi655[0],&bi656[0],&bi657[0],&bi658[0],&bi659[0],
04280       &bi660[0],&bi661[0],&bi662[0],&bi663[0],&bi664[0],&bi665[0],
04281       &bi666[0],&bi667[0],&bi668[0],&bi669[0],&bi670[0],&bi671[0],
04282       &bi672[0],&bi673[0],&bi674[0],&bi675[0],&bi676[0],&bi677[0],
04283       &bi678[0],&bi679[0],&bi680[0],&bi681[0],&bi682[0],&bi683[0],
04284       &bi684[0],&bi685[0],&bi686[0],&bi687[0],&bi688[0],&bi689[0],
04285       &bi690[0],&bi691[0],&bi692[0],&bi693[0],&bi694[0],&bi695[0],
04286       &bi696[0],&bi697[0],&bi698[0],&bi699[0],&bi700[0],&bi701[0],
04287       &bi702[0],&bi703[0],&bi704[0],&bi705[0],&bi706[0],&bi707[0],
04288       &bi708[0],&bi709[0],&bi710[0],&bi711[0],&bi712[0],&bi713[0],
04289       &bi714[0],&bi715[0],&bi716[0],&bi717[0],&bi718[0],&bi719[0],
04290       &bi720[0],&bi721[0],&bi722[0],&bi723[0],&bi724[0],&bi725[0],
04291       &bi726[0],&bi727[0],&bi728[0],&bi729[0],&bi730[0],&bi731[0],
04292       &bi732[0],&bi733[0],&bi734[0],&bi735[0],&bi736[0],&bi737[0],
04293       &bi738[0],&bi739[0],&bi740[0],&bi741[0],&bi742[0],&bi743[0],
04294       &bi744[0],&bi745[0],&bi746[0],&bi747[0],&bi748[0],&bi749[0],
04295       &bi750[0],&bi751[0],&bi752[0],&bi753[0],&bi754[0],&bi755[0],
04296       &bi756[0],&bi757[0],&bi758[0],&bi759[0],&bi760[0],&bi761[0],
04297       &bi762[0],&bi763[0],&bi764[0],&bi765[0],&bi766[0],&bi767[0],
04298       &bi768[0],&bi769[0],&bi770[0],&bi771[0],&bi772[0],&bi773[0],
04299       &bi774[0],&bi775[0],&bi776[0],&bi777[0],&bi778[0],&bi779[0],
04300       &bi780[0],&bi781[0],&bi782[0],&bi783[0],&bi784[0],&bi785[0],
04301       &bi786[0],&bi787[0],&bi788[0],&bi789[0],&bi790[0],&bi791[0],
04302       &bi792[0],&bi793[0],&bi794[0],&bi795[0],&bi796[0],&bi797[0],
04303       &bi798[0],&bi799[0],&bi800[0],&bi801[0],&bi802[0],&bi803[0],
04304       &bi804[0],&bi805[0],&bi806[0],&bi807[0],&bi808[0],&bi809[0],
04305       &bi810[0],&bi811[0],&bi812[0],&bi813[0],&bi814[0],&bi815[0],
04306       &bi816[0],&bi817[0],&bi818[0],&bi819[0],&bi820[0],&bi821[0],
04307       &bi822[0],&bi823[0],&bi824[0],&bi825[0],&bi826[0],&bi827[0],
04308       &bi828[0],&bi829[0],&bi830[0],&bi831[0],&bi832[0],&bi833[0],
04309       &bi834[0],&bi835[0],&bi836[0],&bi837[0],&bi838[0],&bi839[0],
04310       &bi840[0],&bi841[0],&bi842[0],&bi843[0],&bi844[0],&bi845[0],
04311       &bi846[0],&bi847[0],&bi848[0],&bi849[0],&bi850[0],&bi851[0],
04312       &bi852[0],&bi853[0],&bi854[0],&bi855[0],&bi856[0],&bi857[0],
04313       &bi858[0],&bi859[0],&bi860[0],&bi861[0],&bi862[0],&bi863[0],
04314       &bi864[0],&bi865[0],&bi866[0],&bi867[0],&bi868[0],&bi869[0],
04315       &bi870[0],&bi871[0],&bi872[0],&bi873[0],&bi874[0]
04316     };
04317 
04319     class Create {
04320     public:
04322       Create(void) {
04323         int n = sizeof(bi)/sizeof(BoolInstr*);
04324         for (int i=0; i<n; i++) {
04325           std::string s = Test::str(i);
04326           if (i < 10) {
04327             s = "00" + s;
04328           } else if (i < 100) {
04329             s = "0" + s;
04330           }
04331           (void) new BoolExprInt(bi[i],s,0);
04332           (void) new BoolExprInt(bi[i],s,1);
04333           (void) new BoolExprVar(bi[i],s);
04334         }
04335       }
04336     };
04337 
04338     Create c;
04340    }
04341 
04342 }}
04343 
04344 // STATISTICS: test-minimodel