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

mm-lin.cpp

Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Christian Schulte <schulte@gecode.org>
00005  *
00006  *  Copyright:
00007  *     Christian Schulte, 2008
00008  *
00009  *  This file is part of Gecode, the generic constraint
00010  *  development environment:
00011  *     http://www.gecode.org
00012  *
00013  *  Permission is hereby granted, free of charge, to any person obtaining
00014  *  a copy of this software and associated documentation files (the
00015  *  "Software"), to deal in the Software without restriction, including
00016  *  without limitation the rights to use, copy, modify, merge, publish,
00017  *  distribute, sublicense, and/or sell copies of the Software, and to
00018  *  permit persons to whom the Software is furnished to do so, subject to
00019  *  the following conditions:
00020  *
00021  *  The above copyright notice and this permission notice shall be
00022  *  included in all copies or substantial portions of the Software.
00023  *
00024  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00025  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00026  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00027  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00028  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00029  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00030  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00031  *
00032  */
00033 
00034 #include "test/int.hh"
00035 
00036 #include <gecode/minimodel.hh>
00037 
00038 namespace Test { namespace Int {
00039 
00041    namespace MiniModelLin {
00042 
00044      enum LinOpcode {
00045        LO_ACE, 
00046        LO_AEC, 
00047        LO_AEE, 
00048        LO_SCE, 
00049        LO_SEC, 
00050        LO_SEE, 
00051        LO_SE,  
00052        LO_MCE, 
00053        LO_MEC, 
00054        LO_HLT  
00055      };
00056 
00058      class LinInstr {
00059      public:
00060        LinOpcode o; 
00061        unsigned char x, y, z;  
00062        int c; 
00063      };
00064 
00066      template<class Expr>
00067      Expr
00068      eval(const LinInstr* pc, Expr reg[]) {
00069        while (true) {
00070          switch (pc->o) {
00071          case LO_ACE: reg[pc->y] = pc->c + reg[pc->x]; break;
00072          case LO_AEC: reg[pc->y] = reg[pc->x] + pc->c; break;
00073          case LO_AEE: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
00074          case LO_SCE: reg[pc->y] = pc->c - reg[pc->x]; break;
00075          case LO_SEC: reg[pc->y] = reg[pc->x] - pc->c; break;
00076          case LO_SEE: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
00077          case LO_SE:  reg[pc->y] = -reg[pc->x]; break;
00078          case LO_MCE: reg[pc->y] = pc->c * reg[pc->x]; break;
00079          case LO_MEC: reg[pc->y] = reg[pc->x] * pc->c; break;
00080          case LO_HLT: return reg[pc->x];
00081          default: GECODE_NEVER;
00082          }
00083          pc++;
00084        }
00085        GECODE_NEVER;
00086      }
00087 
00093 
00094      class LinExprInt : public Test {
00095      protected:
00097        const LinInstr* lis;
00098      public:
00100        LinExprInt(const LinInstr* lis0, const std::string& s)
00101          : Test("MiniModel::LinExpr::Int::"+s,4,-3,3), lis(lis0) {
00102          testfix = false;
00103        }
00105        virtual bool solution(const Assignment& x) const {
00106          int reg[3] = {x[0],x[1],x[2]};
00107          return eval(lis, reg) == x[3];
00108        }
00110        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00111          using namespace Gecode;
00112          Gecode::LinIntExpr reg[3] = {x[0],x[1],x[2]};
00113          rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
00114        }
00115      };
00116 
00118      class LinExprBool : public Test {
00119      protected:
00121        const LinInstr* lis;
00122      public:
00124        LinExprBool(const LinInstr* lis0, const std::string& s)
00125          : Test("MiniModel::LinExpr::Bool::"+s,4,-3,3), lis(lis0) {
00126          testfix = false;
00127        }
00129        virtual bool solution(const Assignment& x) const {
00130          for (int i=3; i--; )
00131            if ((x[i] < 0) || (x[i] > 1))
00132              return false;
00133          int reg[3] = {x[0],x[1],x[2]};
00134          return eval(lis, reg) == x[3];
00135        }
00137        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00138          using namespace Gecode;
00139          Gecode::LinIntExpr reg[3] = {
00140            channel(home,x[0]),channel(home,x[1]),channel(home,x[2])
00141          };
00142          rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
00143        }
00144      };
00145 
00147      class LinExprMixed : public Test {
00148      protected:
00150        const LinInstr* lis;
00151      public:
00153        LinExprMixed(const LinInstr* lis0, const std::string& s)
00154          : Test("MiniModel::LinExpr::Mixed::"+s,4,-3,3), lis(lis0) {
00155          testfix = false;
00156        }
00158        virtual bool solution(const Assignment& x) const {
00159          if ((x[2] < 0) || (x[2] > 1))
00160            return false;
00161          int reg[3] = {x[0],x[1],x[2]};
00162          return eval(lis, reg) == x[3];
00163        }
00165        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00166          using namespace Gecode;
00167          Gecode::LinIntExpr reg[3] = {
00168            x[0],x[1],channel(home,x[2])
00169          };
00170          rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
00171        }
00172      };
00173 
00174 
00176      class LinRelInt : public Test {
00177      protected:
00179        const LinInstr* l_lis;
00181        const LinInstr* r_lis;
00183        Gecode::IntRelType irt;
00184      public:
00186        LinRelInt(const LinInstr* l_lis0, const LinInstr* r_lis0,
00187                  Gecode::IntRelType irt0, const std::string& s)
00188          : Test("MiniModel::LinRel::Int::"+s+"::"+str(irt0),3,-3,3,true),
00189            l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
00190          testfix = false;
00191          rms = (1 << Gecode::RM_EQV);
00192        }
00194        virtual bool solution(const Assignment& x) const {
00195          int l_reg[3] = {x[0],x[1],x[2]};
00196          int r_reg[3] = {x[0],x[1],x[2]};
00197          return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
00198        }
00200        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00201          using namespace Gecode;
00202          Gecode::LinIntExpr l_reg[3] = {x[0],x[1],x[2]};
00203          Gecode::LinIntExpr r_reg[3] = {x[0],x[1],x[2]};
00204          switch (irt) {
00205          case IRT_EQ:
00206            {
00207              IntVar x = Gecode::expr(home,eval(l_lis,l_reg));
00208              IntVar y = Gecode::expr(home,eval(r_lis,r_reg));
00209              IntArgs a({1,-1});
00210              IntVarArgs xy(2); xy[0]=x; xy[1]=y;
00211              Gecode::rel(home, 0 == sum(a,xy));
00212            }
00213            break;
00214          case IRT_NQ:
00215            Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
00216            break;
00217          case IRT_LQ:
00218            Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
00219            break;
00220          case IRT_LE:
00221            Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
00222            break;
00223          case IRT_GQ:
00224            Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
00225            break;
00226          case IRT_GR:
00227            Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
00228            break;
00229          default: GECODE_NEVER;
00230          }
00231        }
00233        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00234                          Gecode::Reify r) {
00235          using namespace Gecode;
00236          assert(r.mode() == RM_EQV);
00237          Gecode::LinIntExpr l_reg[3] = {x[0],x[1],x[2]};
00238          Gecode::LinIntExpr r_reg[3] = {x[0],x[1],x[2]};
00239          switch (irt) {
00240          case IRT_EQ:
00241            rel(home, Gecode::expr(home,
00242                                   (eval(l_lis,l_reg)==eval(r_lis,r_reg))),
00243                IRT_EQ, r.var());
00244            break;
00245          case IRT_NQ:
00246            Gecode::rel(home,
00247                        (eval(l_lis,l_reg)!=eval(r_lis,r_reg)) == r.var());
00248            break;
00249          case IRT_LQ:
00250            Gecode::rel(home,
00251                        !((eval(l_lis,l_reg)<=eval(r_lis,r_reg))^r.var()));
00252            break;
00253          case IRT_LE:
00254            rel(home, Gecode::expr(home,
00255                                   (eval(l_lis,l_reg)<eval(r_lis,r_reg))),
00256                IRT_EQ, r.var());
00257            break;
00258          case IRT_GQ:
00259            Gecode::rel(home,
00260                        (eval(l_lis,l_reg)>=eval(r_lis,r_reg)) == r.var());
00261            break;
00262          case IRT_GR:
00263            Gecode::rel(home,
00264                        !((eval(l_lis,l_reg)>eval(r_lis,r_reg))^r.var()));
00265            break;
00266          default: GECODE_NEVER;
00267          }
00268        }
00269      };
00270 
00272      class LinRelBool : public Test {
00273      protected:
00275        const LinInstr* l_lis;
00277        const LinInstr* r_lis;
00279        Gecode::IntRelType irt;
00280      public:
00282        LinRelBool(const LinInstr* l_lis0, const LinInstr* r_lis0,
00283                   Gecode::IntRelType irt0, const std::string& s)
00284          : Test("MiniModel::LinRel::Bool::"+s+"::"+str(irt0),3,0,1,true),
00285            l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
00286          testfix = false;
00287          rms = (1 << Gecode::RM_EQV);
00288        }
00290        virtual bool solution(const Assignment& x) const {
00291          int l_reg[3] = {x[0],x[1],x[2]};
00292          int r_reg[3] = {x[0],x[1],x[2]};
00293          return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
00294        }
00296        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00297          using namespace Gecode;
00298          BoolVarArgs y(3);
00299          y[0] = channel(home,x[0]); y[1] = channel(home,x[1]);
00300          y[2] = channel(home,x[2]);
00301          Gecode::LinIntExpr l_reg[3] = {y[0],y[1],y[2]};
00302          Gecode::LinIntExpr r_reg[3] = {y[0],y[1],y[2]};
00303          switch (irt) {
00304          case IRT_EQ:
00305            {
00306              IntVar x = Gecode::expr(home,eval(l_lis,l_reg));
00307              IntVar y = Gecode::expr(home,eval(r_lis,r_reg));
00308              IntArgs a({-2,2});
00309              IntVarArgs xy(2); xy[0]=x; xy[1]=y;
00310              Gecode::rel(home, 0 == sum(a,xy));
00311            }
00312            break;
00313          case IRT_NQ:
00314            Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
00315            break;
00316          case IRT_LQ:
00317            Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
00318            break;
00319          case IRT_LE:
00320            Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
00321            break;
00322          case IRT_GQ:
00323            Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
00324            break;
00325          case IRT_GR:
00326            Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
00327            break;
00328          default: GECODE_NEVER;
00329          }
00330        }
00332        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00333                          Gecode::Reify r) {
00334          using namespace Gecode;
00335          assert(r.mode() == RM_EQV);
00336          BoolVarArgs y(3);
00337          y[0] = channel(home,x[0]); y[1] = channel(home,x[1]);
00338          y[2] = channel(home,x[2]);
00339          Gecode::LinIntExpr l_reg[3] = {y[0],y[1],y[2]};
00340          Gecode::LinIntExpr r_reg[3] = {y[0],y[1],y[2]};
00341          switch (irt) {
00342          case IRT_EQ:
00343            rel(home, Gecode::expr(home,
00344                                   (eval(l_lis,l_reg)==eval(r_lis,r_reg))),
00345                IRT_EQ, r.var());
00346            break;
00347          case IRT_NQ:
00348            Gecode::rel(home,
00349                        (eval(l_lis,l_reg)!=eval(r_lis,r_reg)) == r.var());
00350            break;
00351          case IRT_LQ:
00352            Gecode::rel(home,
00353                        !((eval(l_lis,l_reg)<=eval(r_lis,r_reg))^r.var()));
00354            break;
00355          case IRT_LE:
00356            rel(home, Gecode::expr(home,
00357                                   (eval(l_lis,l_reg)<eval(r_lis,r_reg))),
00358                IRT_EQ, r.var());
00359            break;
00360          case IRT_GQ:
00361            Gecode::rel(home,
00362                        (eval(l_lis,l_reg)>=eval(r_lis,r_reg)) == r.var());
00363            break;
00364          case IRT_GR:
00365            Gecode::rel(home,
00366                        !((eval(l_lis,l_reg)>eval(r_lis,r_reg))^r.var()));
00367            break;
00368          default: GECODE_NEVER;
00369          }
00370        }
00371      };
00372 
00374      class LinRelMixed : public Test {
00375      protected:
00377        const LinInstr* l_lis;
00379        const LinInstr* r_lis;
00381        Gecode::IntRelType irt;
00382      public:
00384        LinRelMixed(const LinInstr* l_lis0, const LinInstr* r_lis0,
00385                    Gecode::IntRelType irt0, const std::string& s)
00386          : Test("MiniModel::LinRel::Mixed::"+s+"::"+str(irt0),6,0,1,true),
00387            l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
00388          testfix = false;
00389          rms = (1 << Gecode::RM_EQV);
00390        }
00392        virtual bool solution(const Assignment& x) const {
00393          int l_reg[3] = {x[0],x[1],x[2]};
00394          int r_reg[3] = {x[3],x[4],x[5]};
00395          return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
00396        }
00398        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
00399          using namespace Gecode;
00400          Gecode::LinIntExpr l_reg[3] = {channel(home,x[0]),x[1],x[2]};
00401          Gecode::LinIntExpr r_reg[3] = {channel(home,x[3]),x[4],
00402                                         channel(home,x[5])};
00403          switch (irt) {
00404          case IRT_EQ:
00405            Gecode::rel(home, 0 == eval(l_lis,l_reg) - eval(r_lis,r_reg));
00406            break;
00407          case IRT_NQ:
00408            Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
00409            break;
00410          case IRT_LQ:
00411            Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
00412            break;
00413          case IRT_LE:
00414            Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
00415            break;
00416          case IRT_GQ:
00417            Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
00418            break;
00419          case IRT_GR:
00420            Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
00421            break;
00422          default: GECODE_NEVER;
00423          }
00424        }
00426        virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
00427                          Gecode::Reify r) {
00428          using namespace Gecode;
00429          assert(r.mode() == RM_EQV);
00430          Gecode::LinIntExpr l_reg[3] = {channel(home,x[0]),x[1],x[2]};
00431          Gecode::LinIntExpr r_reg[3] = {channel(home,x[3]),x[4],
00432                                         channel(home,x[5])};
00433          switch (irt) {
00434          case IRT_EQ:
00435            rel(home, Gecode::expr(home,
00436                                   (eval(l_lis,l_reg)==eval(r_lis,r_reg))),
00437                IRT_EQ, r.var());
00438            break;
00439          case IRT_NQ:
00440            rel(home, Gecode::expr(home,
00441                                   (eval(l_lis,l_reg)!=eval(r_lis,r_reg))),
00442                IRT_EQ, r.var());
00443            break;
00444          case IRT_LQ:
00445            rel(home, Gecode::expr(home,
00446                                   (eval(l_lis,l_reg)<=eval(r_lis,r_reg))),
00447                IRT_EQ, r.var());
00448            break;
00449          case IRT_LE:
00450            rel(home, Gecode::expr(home,
00451                                   (eval(l_lis,l_reg)<eval(r_lis,r_reg))),
00452                IRT_EQ, r.var());
00453            break;
00454          case IRT_GQ:
00455            rel(home, Gecode::expr(home,
00456                                   (eval(l_lis,l_reg)>=eval(r_lis,r_reg))),
00457                IRT_EQ, r.var());
00458            break;
00459          case IRT_GR:
00460            rel(home, Gecode::expr(home,
00461                                   (eval(l_lis,l_reg)>eval(r_lis,r_reg))),
00462                IRT_EQ, r.var());
00463            break;
00464          default: GECODE_NEVER;
00465          }
00466        }
00467      };
00468 
00469      const LinInstr li000[] = {
00470        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00471        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00472      };
00473      const LinInstr li001[] = {
00474        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00475        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00476      };
00477      const LinInstr li002[] = {
00478        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00479        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00480      };
00481      const LinInstr li003[] = {
00482        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00483        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00484      };
00485      const LinInstr li004[] = {
00486        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00487        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00488      };
00489      const LinInstr li005[] = {
00490        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00491        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00492      };
00493      const LinInstr li006[] = {
00494        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00495        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00496      };
00497      const LinInstr li007[] = {
00498        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00499        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00500      };
00501      const LinInstr li008[] = {
00502        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00503        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00504      };
00505      const LinInstr li009[] = {
00506        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00507        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00508      };
00509      const LinInstr li010[] = {
00510        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00511        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00512      };
00513      const LinInstr li011[] = {
00514        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00515        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00516      };
00517      const LinInstr li012[] = {
00518        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00519        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00520      };
00521      const LinInstr li013[] = {
00522        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00523        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00524      };
00525      const LinInstr li014[] = {
00526        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00527        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00528      };
00529      const LinInstr li015[] = {
00530        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00531        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00532      };
00533      const LinInstr li016[] = {
00534        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00535        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00536      };
00537      const LinInstr li017[] = {
00538        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00539        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00540      };
00541      const LinInstr li018[] = {
00542        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00543        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00544      };
00545      const LinInstr li019[] = {
00546        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00547        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00548      };
00549      const LinInstr li020[] = {
00550        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00551        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00552      };
00553      const LinInstr li021[] = {
00554        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00555        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00556      };
00557      const LinInstr li022[] = {
00558        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00559        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00560      };
00561      const LinInstr li023[] = {
00562        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00563        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00564      };
00565      const LinInstr li024[] = {
00566        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00567        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00568      };
00569      const LinInstr li025[] = {
00570        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00571        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00572      };
00573      const LinInstr li026[] = {
00574        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00575        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00576      };
00577      const LinInstr li027[] = {
00578        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00579        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00580      };
00581      const LinInstr li028[] = {
00582        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00583        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00584      };
00585      const LinInstr li029[] = {
00586        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00587        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00588      };
00589      const LinInstr li030[] = {
00590        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00591        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00592      };
00593      const LinInstr li031[] = {
00594        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00595        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00596      };
00597      const LinInstr li032[] = {
00598        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00599        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00600      };
00601      const LinInstr li033[] = {
00602        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00603        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00604      };
00605      const LinInstr li034[] = {
00606        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00607        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00608      };
00609      const LinInstr li035[] = {
00610        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00611        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00612      };
00613      const LinInstr li036[] = {
00614        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00615        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00616      };
00617      const LinInstr li037[] = {
00618        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00619        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00620      };
00621      const LinInstr li038[] = {
00622        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00623        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00624      };
00625      const LinInstr li039[] = {
00626        {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00627        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00628      };
00629      const LinInstr li040[] = {
00630        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00631        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00632      };
00633      const LinInstr li041[] = {
00634        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00635        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00636      };
00637      const LinInstr li042[] = {
00638        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00639        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00640      };
00641      const LinInstr li043[] = {
00642        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00643        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00644      };
00645      const LinInstr li044[] = {
00646        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00647        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00648      };
00649      const LinInstr li045[] = {
00650        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00651        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00652      };
00653      const LinInstr li046[] = {
00654        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00655        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00656      };
00657      const LinInstr li047[] = {
00658        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00659        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00660      };
00661      const LinInstr li048[] = {
00662        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00663        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00664      };
00665      const LinInstr li049[] = {
00666        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00667        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00668      };
00669      const LinInstr li050[] = {
00670        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00671        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00672      };
00673      const LinInstr li051[] = {
00674        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00675        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00676      };
00677      const LinInstr li052[] = {
00678        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
00679        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00680      };
00681      const LinInstr li053[] = {
00682        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
00683        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00684      };
00685      const LinInstr li054[] = {
00686        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
00687        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00688      };
00689      const LinInstr li055[] = {
00690        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
00691        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00692      };
00693      const LinInstr li056[] = {
00694        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
00695        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00696      };
00697      const LinInstr li057[] = {
00698        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
00699        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00700      };
00701      const LinInstr li058[] = {
00702        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
00703        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00704      };
00705      const LinInstr li059[] = {
00706        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
00707        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00708      };
00709      const LinInstr li060[] = {
00710        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
00711        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00712      };
00713      const LinInstr li061[] = {
00714        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
00715        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00716      };
00717      const LinInstr li062[] = {
00718        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
00719        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00720      };
00721      const LinInstr li063[] = {
00722        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
00723        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00724      };
00725      const LinInstr li064[] = {
00726        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
00727        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00728      };
00729      const LinInstr li065[] = {
00730        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
00731        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00732      };
00733      const LinInstr li066[] = {
00734        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
00735        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00736      };
00737      const LinInstr li067[] = {
00738        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
00739        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00740      };
00741      const LinInstr li068[] = {
00742        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
00743        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00744      };
00745      const LinInstr li069[] = {
00746        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
00747        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00748      };
00749      const LinInstr li070[] = {
00750        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
00751        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00752      };
00753      const LinInstr li071[] = {
00754        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
00755        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00756      };
00757      const LinInstr li072[] = {
00758        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
00759        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00760      };
00761      const LinInstr li073[] = {
00762        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
00763        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00764      };
00765      const LinInstr li074[] = {
00766        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
00767        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00768      };
00769      const LinInstr li075[] = {
00770        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
00771        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00772      };
00773      const LinInstr li076[] = {
00774        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
00775        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00776      };
00777      const LinInstr li077[] = {
00778        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
00779        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00780      };
00781      const LinInstr li078[] = {
00782        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
00783        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00784      };
00785      const LinInstr li079[] = {
00786        {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
00787        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00788      };
00789      const LinInstr li080[] = {
00790        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00791        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00792      };
00793      const LinInstr li081[] = {
00794        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00795        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00796      };
00797      const LinInstr li082[] = {
00798        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00799        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00800      };
00801      const LinInstr li083[] = {
00802        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
00803        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00804      };
00805      const LinInstr li084[] = {
00806        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00807        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00808      };
00809      const LinInstr li085[] = {
00810        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00811        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00812      };
00813      const LinInstr li086[] = {
00814        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00815        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00816      };
00817      const LinInstr li087[] = {
00818        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
00819        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00820      };
00821      const LinInstr li088[] = {
00822        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00823        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00824      };
00825      const LinInstr li089[] = {
00826        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00827        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00828      };
00829      const LinInstr li090[] = {
00830        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00831        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00832      };
00833      const LinInstr li091[] = {
00834        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
00835        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00836      };
00837      const LinInstr li092[] = {
00838        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00839        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00840      };
00841      const LinInstr li093[] = {
00842        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00843        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00844      };
00845      const LinInstr li094[] = {
00846        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00847        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00848      };
00849      const LinInstr li095[] = {
00850        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
00851        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00852      };
00853      const LinInstr li096[] = {
00854        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00855        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00856      };
00857      const LinInstr li097[] = {
00858        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00859        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00860      };
00861      const LinInstr li098[] = {
00862        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00863        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00864      };
00865      const LinInstr li099[] = {
00866        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
00867        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00868      };
00869      const LinInstr li100[] = {
00870        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00871        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00872      };
00873      const LinInstr li101[] = {
00874        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00875        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00876      };
00877      const LinInstr li102[] = {
00878        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00879        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00880      };
00881      const LinInstr li103[] = {
00882        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
00883        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00884      };
00885      const LinInstr li104[] = {
00886        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00887        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00888      };
00889      const LinInstr li105[] = {
00890        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00891        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00892      };
00893      const LinInstr li106[] = {
00894        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00895        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00896      };
00897      const LinInstr li107[] = {
00898        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
00899        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00900      };
00901      const LinInstr li108[] = {
00902        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00903        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00904      };
00905      const LinInstr li109[] = {
00906        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00907        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00908      };
00909      const LinInstr li110[] = {
00910        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00911        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00912      };
00913      const LinInstr li111[] = {
00914        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
00915        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00916      };
00917      const LinInstr li112[] = {
00918        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00919        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00920      };
00921      const LinInstr li113[] = {
00922        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00923        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00924      };
00925      const LinInstr li114[] = {
00926        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00927        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00928      };
00929      const LinInstr li115[] = {
00930        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
00931        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00932      };
00933      const LinInstr li116[] = {
00934        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00935        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00936      };
00937      const LinInstr li117[] = {
00938        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00939        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00940      };
00941      const LinInstr li118[] = {
00942        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00943        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00944      };
00945      const LinInstr li119[] = {
00946        {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
00947        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00948      };
00949      const LinInstr li120[] = {
00950        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00951        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00952      };
00953      const LinInstr li121[] = {
00954        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00955        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00956      };
00957      const LinInstr li122[] = {
00958        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00959        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00960      };
00961      const LinInstr li123[] = {
00962        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
00963        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00964      };
00965      const LinInstr li124[] = {
00966        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00967        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00968      };
00969      const LinInstr li125[] = {
00970        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00971        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00972      };
00973      const LinInstr li126[] = {
00974        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00975        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00976      };
00977      const LinInstr li127[] = {
00978        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
00979        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00980      };
00981      const LinInstr li128[] = {
00982        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00983        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
00984      };
00985      const LinInstr li129[] = {
00986        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00987        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
00988      };
00989      const LinInstr li130[] = {
00990        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00991        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00992      };
00993      const LinInstr li131[] = {
00994        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
00995        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
00996      };
00997      const LinInstr li132[] = {
00998        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
00999        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01000      };
01001      const LinInstr li133[] = {
01002        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01003        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01004      };
01005      const LinInstr li134[] = {
01006        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01007        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01008      };
01009      const LinInstr li135[] = {
01010        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01011        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01012      };
01013      const LinInstr li136[] = {
01014        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01015        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01016      };
01017      const LinInstr li137[] = {
01018        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01019        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01020      };
01021      const LinInstr li138[] = {
01022        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01023        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01024      };
01025      const LinInstr li139[] = {
01026        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01027        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01028      };
01029      const LinInstr li140[] = {
01030        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01031        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01032      };
01033      const LinInstr li141[] = {
01034        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01035        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01036      };
01037      const LinInstr li142[] = {
01038        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01039        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01040      };
01041      const LinInstr li143[] = {
01042        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01043        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01044      };
01045      const LinInstr li144[] = {
01046        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01047        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01048      };
01049      const LinInstr li145[] = {
01050        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01051        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01052      };
01053      const LinInstr li146[] = {
01054        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01055        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01056      };
01057      const LinInstr li147[] = {
01058        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01059        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01060      };
01061      const LinInstr li148[] = {
01062        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01063        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01064      };
01065      const LinInstr li149[] = {
01066        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01067        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01068      };
01069      const LinInstr li150[] = {
01070        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01071        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01072      };
01073      const LinInstr li151[] = {
01074        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01075        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01076      };
01077      const LinInstr li152[] = {
01078        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01079        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01080      };
01081      const LinInstr li153[] = {
01082        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01083        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01084      };
01085      const LinInstr li154[] = {
01086        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01087        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01088      };
01089      const LinInstr li155[] = {
01090        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01091        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01092      };
01093      const LinInstr li156[] = {
01094        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01095        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01096      };
01097      const LinInstr li157[] = {
01098        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01099        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01100      };
01101      const LinInstr li158[] = {
01102        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01103        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01104      };
01105      const LinInstr li159[] = {
01106        {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01107        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01108      };
01109      const LinInstr li160[] = {
01110        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01111        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01112      };
01113      const LinInstr li161[] = {
01114        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01115        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01116      };
01117      const LinInstr li162[] = {
01118        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01119        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01120      };
01121      const LinInstr li163[] = {
01122        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01123        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01124      };
01125      const LinInstr li164[] = {
01126        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01127        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01128      };
01129      const LinInstr li165[] = {
01130        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01131        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01132      };
01133      const LinInstr li166[] = {
01134        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01135        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01136      };
01137      const LinInstr li167[] = {
01138        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01139        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01140      };
01141      const LinInstr li168[] = {
01142        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01143        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01144      };
01145      const LinInstr li169[] = {
01146        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01147        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01148      };
01149      const LinInstr li170[] = {
01150        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01151        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01152      };
01153      const LinInstr li171[] = {
01154        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01155        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01156      };
01157      const LinInstr li172[] = {
01158        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01159        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01160      };
01161      const LinInstr li173[] = {
01162        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01163        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01164      };
01165      const LinInstr li174[] = {
01166        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01167        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01168      };
01169      const LinInstr li175[] = {
01170        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01171        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01172      };
01173      const LinInstr li176[] = {
01174        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01175        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01176      };
01177      const LinInstr li177[] = {
01178        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01179        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01180      };
01181      const LinInstr li178[] = {
01182        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01183        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01184      };
01185      const LinInstr li179[] = {
01186        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01187        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01188      };
01189      const LinInstr li180[] = {
01190        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01191        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01192      };
01193      const LinInstr li181[] = {
01194        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01195        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01196      };
01197      const LinInstr li182[] = {
01198        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01199        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01200      };
01201      const LinInstr li183[] = {
01202        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01203        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01204      };
01205      const LinInstr li184[] = {
01206        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01207        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01208      };
01209      const LinInstr li185[] = {
01210        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01211        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01212      };
01213      const LinInstr li186[] = {
01214        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01215        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01216      };
01217      const LinInstr li187[] = {
01218        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01219        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01220      };
01221      const LinInstr li188[] = {
01222        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01223        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01224      };
01225      const LinInstr li189[] = {
01226        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01227        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01228      };
01229      const LinInstr li190[] = {
01230        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01231        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01232      };
01233      const LinInstr li191[] = {
01234        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01235        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01236      };
01237      const LinInstr li192[] = {
01238        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01239        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01240      };
01241      const LinInstr li193[] = {
01242        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01243        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01244      };
01245      const LinInstr li194[] = {
01246        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01247        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01248      };
01249      const LinInstr li195[] = {
01250        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01251        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01252      };
01253      const LinInstr li196[] = {
01254        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01255        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01256      };
01257      const LinInstr li197[] = {
01258        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01259        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01260      };
01261      const LinInstr li198[] = {
01262        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01263        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01264      };
01265      const LinInstr li199[] = {
01266        {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01267        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01268      };
01269      const LinInstr li200[] = {
01270        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01271        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01272      };
01273      const LinInstr li201[] = {
01274        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01275        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01276      };
01277      const LinInstr li202[] = {
01278        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01279        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01280      };
01281      const LinInstr li203[] = {
01282        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01283        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01284      };
01285      const LinInstr li204[] = {
01286        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01287        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01288      };
01289      const LinInstr li205[] = {
01290        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01291        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01292      };
01293      const LinInstr li206[] = {
01294        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01295        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01296      };
01297      const LinInstr li207[] = {
01298        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01299        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01300      };
01301      const LinInstr li208[] = {
01302        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01303        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01304      };
01305      const LinInstr li209[] = {
01306        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01307        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01308      };
01309      const LinInstr li210[] = {
01310        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01311        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01312      };
01313      const LinInstr li211[] = {
01314        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01315        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01316      };
01317      const LinInstr li212[] = {
01318        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01319        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01320      };
01321      const LinInstr li213[] = {
01322        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01323        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01324      };
01325      const LinInstr li214[] = {
01326        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01327        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01328      };
01329      const LinInstr li215[] = {
01330        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01331        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01332      };
01333      const LinInstr li216[] = {
01334        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01335        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01336      };
01337      const LinInstr li217[] = {
01338        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01339        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01340      };
01341      const LinInstr li218[] = {
01342        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01343        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01344      };
01345      const LinInstr li219[] = {
01346        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01347        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01348      };
01349      const LinInstr li220[] = {
01350        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01351        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01352      };
01353      const LinInstr li221[] = {
01354        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01355        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01356      };
01357      const LinInstr li222[] = {
01358        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01359        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01360      };
01361      const LinInstr li223[] = {
01362        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01363        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01364      };
01365      const LinInstr li224[] = {
01366        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01367        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01368      };
01369      const LinInstr li225[] = {
01370        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01371        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01372      };
01373      const LinInstr li226[] = {
01374        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01375        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01376      };
01377      const LinInstr li227[] = {
01378        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01379        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01380      };
01381      const LinInstr li228[] = {
01382        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01383        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01384      };
01385      const LinInstr li229[] = {
01386        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01387        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01388      };
01389      const LinInstr li230[] = {
01390        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01391        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01392      };
01393      const LinInstr li231[] = {
01394        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01395        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01396      };
01397      const LinInstr li232[] = {
01398        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01399        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01400      };
01401      const LinInstr li233[] = {
01402        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01403        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01404      };
01405      const LinInstr li234[] = {
01406        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01407        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01408      };
01409      const LinInstr li235[] = {
01410        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01411        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01412      };
01413      const LinInstr li236[] = {
01414        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01415        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01416      };
01417      const LinInstr li237[] = {
01418        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01419        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01420      };
01421      const LinInstr li238[] = {
01422        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01423        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01424      };
01425      const LinInstr li239[] = {
01426        {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01427        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01428      };
01429      const LinInstr li240[] = {
01430        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01431        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01432      };
01433      const LinInstr li241[] = {
01434        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01435        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01436      };
01437      const LinInstr li242[] = {
01438        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01439        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01440      };
01441      const LinInstr li243[] = {
01442        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01443        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01444      };
01445      const LinInstr li244[] = {
01446        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01447        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01448      };
01449      const LinInstr li245[] = {
01450        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01451        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01452      };
01453      const LinInstr li246[] = {
01454        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01455        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01456      };
01457      const LinInstr li247[] = {
01458        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01459        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01460      };
01461      const LinInstr li248[] = {
01462        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01463        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01464      };
01465      const LinInstr li249[] = {
01466        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01467        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01468      };
01469      const LinInstr li250[] = {
01470        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01471        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01472      };
01473      const LinInstr li251[] = {
01474        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01475        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01476      };
01477      const LinInstr li252[] = {
01478        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01479        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01480      };
01481      const LinInstr li253[] = {
01482        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01483        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01484      };
01485      const LinInstr li254[] = {
01486        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01487        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01488      };
01489      const LinInstr li255[] = {
01490        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01491        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01492      };
01493      const LinInstr li256[] = {
01494        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01495        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01496      };
01497      const LinInstr li257[] = {
01498        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01499        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01500      };
01501      const LinInstr li258[] = {
01502        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01503        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01504      };
01505      const LinInstr li259[] = {
01506        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01507        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01508      };
01509      const LinInstr li260[] = {
01510        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01511        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01512      };
01513      const LinInstr li261[] = {
01514        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01515        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01516      };
01517      const LinInstr li262[] = {
01518        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01519        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01520      };
01521      const LinInstr li263[] = {
01522        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01523        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01524      };
01525      const LinInstr li264[] = {
01526        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01527        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01528      };
01529      const LinInstr li265[] = {
01530        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01531        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01532      };
01533      const LinInstr li266[] = {
01534        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01535        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01536      };
01537      const LinInstr li267[] = {
01538        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01539        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01540      };
01541      const LinInstr li268[] = {
01542        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01543        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01544      };
01545      const LinInstr li269[] = {
01546        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01547        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01548      };
01549      const LinInstr li270[] = {
01550        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01551        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01552      };
01553      const LinInstr li271[] = {
01554        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01555        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01556      };
01557      const LinInstr li272[] = {
01558        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01559        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01560      };
01561      const LinInstr li273[] = {
01562        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01563        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01564      };
01565      const LinInstr li274[] = {
01566        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01567        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01568      };
01569      const LinInstr li275[] = {
01570        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01571        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01572      };
01573      const LinInstr li276[] = {
01574        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01575        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01576      };
01577      const LinInstr li277[] = {
01578        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01579        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01580      };
01581      const LinInstr li278[] = {
01582        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01583        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01584      };
01585      const LinInstr li279[] = {
01586        {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01587        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01588      };
01589      const LinInstr li280[] = {
01590        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01591        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01592      };
01593      const LinInstr li281[] = {
01594        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01595        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01596      };
01597      const LinInstr li282[] = {
01598        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01599        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01600      };
01601      const LinInstr li283[] = {
01602        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01603        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01604      };
01605      const LinInstr li284[] = {
01606        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01607        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01608      };
01609      const LinInstr li285[] = {
01610        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01611        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01612      };
01613      const LinInstr li286[] = {
01614        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01615        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01616      };
01617      const LinInstr li287[] = {
01618        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01619        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01620      };
01621      const LinInstr li288[] = {
01622        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01623        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01624      };
01625      const LinInstr li289[] = {
01626        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01627        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01628      };
01629      const LinInstr li290[] = {
01630        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01631        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01632      };
01633      const LinInstr li291[] = {
01634        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01635        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01636      };
01637      const LinInstr li292[] = {
01638        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01639        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01640      };
01641      const LinInstr li293[] = {
01642        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01643        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01644      };
01645      const LinInstr li294[] = {
01646        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01647        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01648      };
01649      const LinInstr li295[] = {
01650        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01651        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01652      };
01653      const LinInstr li296[] = {
01654        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01655        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01656      };
01657      const LinInstr li297[] = {
01658        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01659        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01660      };
01661      const LinInstr li298[] = {
01662        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01663        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01664      };
01665      const LinInstr li299[] = {
01666        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01667        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01668      };
01669      const LinInstr li300[] = {
01670        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01671        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01672      };
01673      const LinInstr li301[] = {
01674        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01675        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01676      };
01677      const LinInstr li302[] = {
01678        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01679        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01680      };
01681      const LinInstr li303[] = {
01682        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01683        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01684      };
01685      const LinInstr li304[] = {
01686        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01687        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01688      };
01689      const LinInstr li305[] = {
01690        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01691        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01692      };
01693      const LinInstr li306[] = {
01694        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01695        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01696      };
01697      const LinInstr li307[] = {
01698        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
01699        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01700      };
01701      const LinInstr li308[] = {
01702        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01703        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01704      };
01705      const LinInstr li309[] = {
01706        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01707        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01708      };
01709      const LinInstr li310[] = {
01710        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01711        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01712      };
01713      const LinInstr li311[] = {
01714        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
01715        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01716      };
01717      const LinInstr li312[] = {
01718        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01719        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01720      };
01721      const LinInstr li313[] = {
01722        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01723        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01724      };
01725      const LinInstr li314[] = {
01726        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01727        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01728      };
01729      const LinInstr li315[] = {
01730        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
01731        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01732      };
01733      const LinInstr li316[] = {
01734        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01735        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01736      };
01737      const LinInstr li317[] = {
01738        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01739        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01740      };
01741      const LinInstr li318[] = {
01742        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01743        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01744      };
01745      const LinInstr li319[] = {
01746        {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
01747        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01748      };
01749      const LinInstr li320[] = {
01750        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01751        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01752      };
01753      const LinInstr li321[] = {
01754        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01755        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01756      };
01757      const LinInstr li322[] = {
01758        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01759        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01760      };
01761      const LinInstr li323[] = {
01762        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
01763        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01764      };
01765      const LinInstr li324[] = {
01766        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01767        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01768      };
01769      const LinInstr li325[] = {
01770        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01771        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01772      };
01773      const LinInstr li326[] = {
01774        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01775        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01776      };
01777      const LinInstr li327[] = {
01778        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
01779        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01780      };
01781      const LinInstr li328[] = {
01782        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01783        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01784      };
01785      const LinInstr li329[] = {
01786        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01787        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01788      };
01789      const LinInstr li330[] = {
01790        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01791        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01792      };
01793      const LinInstr li331[] = {
01794        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
01795        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01796      };
01797      const LinInstr li332[] = {
01798        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01799        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01800      };
01801      const LinInstr li333[] = {
01802        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01803        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01804      };
01805      const LinInstr li334[] = {
01806        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01807        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01808      };
01809      const LinInstr li335[] = {
01810        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
01811        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01812      };
01813      const LinInstr li336[] = {
01814        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01815        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01816      };
01817      const LinInstr li337[] = {
01818        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01819        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01820      };
01821      const LinInstr li338[] = {
01822        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01823        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01824      };
01825      const LinInstr li339[] = {
01826        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
01827        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01828      };
01829      const LinInstr li340[] = {
01830        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01831        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01832      };
01833      const LinInstr li341[] = {
01834        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01835        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01836      };
01837      const LinInstr li342[] = {
01838        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01839        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01840      };
01841      const LinInstr li343[] = {
01842        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
01843        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01844      };
01845      const LinInstr li344[] = {
01846        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01847        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01848      };
01849      const LinInstr li345[] = {
01850        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01851        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01852      };
01853      const LinInstr li346[] = {
01854        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01855        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01856      };
01857      const LinInstr li347[] = {
01858        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
01859        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01860      };
01861      const LinInstr li348[] = {
01862        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01863        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01864      };
01865      const LinInstr li349[] = {
01866        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01867        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01868      };
01869      const LinInstr li350[] = {
01870        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01871        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01872      };
01873      const LinInstr li351[] = {
01874        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
01875        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01876      };
01877      const LinInstr li352[] = {
01878        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01879        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01880      };
01881      const LinInstr li353[] = {
01882        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01883        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01884      };
01885      const LinInstr li354[] = {
01886        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01887        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01888      };
01889      const LinInstr li355[] = {
01890        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
01891        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01892      };
01893      const LinInstr li356[] = {
01894        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01895        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01896      };
01897      const LinInstr li357[] = {
01898        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01899        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01900      };
01901      const LinInstr li358[] = {
01902        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01903        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01904      };
01905      const LinInstr li359[] = {
01906        {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
01907        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01908      };
01909      const LinInstr li360[] = {
01910        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01911        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01912      };
01913      const LinInstr li361[] = {
01914        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01915        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01916      };
01917      const LinInstr li362[] = {
01918        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01919        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01920      };
01921      const LinInstr li363[] = {
01922        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
01923        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01924      };
01925      const LinInstr li364[] = {
01926        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01927        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01928      };
01929      const LinInstr li365[] = {
01930        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01931        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01932      };
01933      const LinInstr li366[] = {
01934        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01935        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01936      };
01937      const LinInstr li367[] = {
01938        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
01939        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01940      };
01941      const LinInstr li368[] = {
01942        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01943        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01944      };
01945      const LinInstr li369[] = {
01946        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01947        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01948      };
01949      const LinInstr li370[] = {
01950        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01951        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01952      };
01953      const LinInstr li371[] = {
01954        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
01955        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01956      };
01957      const LinInstr li372[] = {
01958        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01959        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01960      };
01961      const LinInstr li373[] = {
01962        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01963        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01964      };
01965      const LinInstr li374[] = {
01966        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01967        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01968      };
01969      const LinInstr li375[] = {
01970        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
01971        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01972      };
01973      const LinInstr li376[] = {
01974        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01975        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01976      };
01977      const LinInstr li377[] = {
01978        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01979        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01980      };
01981      const LinInstr li378[] = {
01982        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01983        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01984      };
01985      const LinInstr li379[] = {
01986        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
01987        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
01988      };
01989      const LinInstr li380[] = {
01990        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01991        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
01992      };
01993      const LinInstr li381[] = {
01994        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01995        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
01996      };
01997      const LinInstr li382[] = {
01998        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
01999        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02000      };
02001      const LinInstr li383[] = {
02002        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
02003        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02004      };
02005      const LinInstr li384[] = {
02006        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
02007        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
02008      };
02009      const LinInstr li385[] = {
02010        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
02011        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
02012      };
02013      const LinInstr li386[] = {
02014        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
02015        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02016      };
02017      const LinInstr li387[] = {
02018        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
02019        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02020      };
02021      const LinInstr li388[] = {
02022        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
02023        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
02024      };
02025      const LinInstr li389[] = {
02026        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
02027        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
02028      };
02029      const LinInstr li390[] = {
02030        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
02031        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02032      };
02033      const LinInstr li391[] = {
02034        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
02035        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02036      };
02037      const LinInstr li392[] = {
02038        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
02039        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
02040      };
02041      const LinInstr li393[] = {
02042        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
02043        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
02044      };
02045      const LinInstr li394[] = {
02046        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
02047        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02048      };
02049      const LinInstr li395[] = {
02050        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
02051        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02052      };
02053      const LinInstr li396[] = {
02054        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
02055        {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
02056      };
02057      const LinInstr li397[] = {
02058        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
02059        {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
02060      };
02061      const LinInstr li398[] = {
02062        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
02063        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02064      };
02065      const LinInstr li399[] = {
02066        {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
02067        {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
02068      };
02069 
02070      const LinInstr* li[] = {
02071        &li000[0],&li001[0],&li002[0],&li003[0],&li004[0],&li005[0],
02072        &li006[0],&li007[0],&li008[0],&li009[0],&li010[0],&li011[0],
02073        &li012[0],&li013[0],&li014[0],&li015[0],&li016[0],&li017[0],
02074        &li018[0],&li019[0],&li020[0],&li021[0],&li022[0],&li023[0],
02075        &li024[0],&li025[0],&li026[0],&li027[0],&li028[0],&li029[0],
02076        &li030[0],&li031[0],&li032[0],&li033[0],&li034[0],&li035[0],
02077        &li036[0],&li037[0],&li038[0],&li039[0],&li040[0],&li041[0],
02078        &li042[0],&li043[0],&li044[0],&li045[0],&li046[0],&li047[0],
02079        &li048[0],&li049[0],&li050[0],&li051[0],&li052[0],&li053[0],
02080        &li054[0],&li055[0],&li056[0],&li057[0],&li058[0],&li059[0],
02081        &li060[0],&li061[0],&li062[0],&li063[0],&li064[0],&li065[0],
02082        &li066[0],&li067[0],&li068[0],&li069[0],&li070[0],&li071[0],
02083        &li072[0],&li073[0],&li074[0],&li075[0],&li076[0],&li077[0],
02084        &li078[0],&li079[0],&li080[0],&li081[0],&li082[0],&li083[0],
02085        &li084[0],&li085[0],&li086[0],&li087[0],&li088[0],&li089[0],
02086        &li090[0],&li091[0],&li092[0],&li093[0],&li094[0],&li095[0],
02087        &li096[0],&li097[0],&li098[0],&li099[0],&li100[0],&li101[0],
02088        &li102[0],&li103[0],&li104[0],&li105[0],&li106[0],&li107[0],
02089        &li108[0],&li109[0],&li110[0],&li111[0],&li112[0],&li113[0],
02090        &li114[0],&li115[0],&li116[0],&li117[0],&li118[0],&li119[0],
02091        &li120[0],&li121[0],&li122[0],&li123[0],&li124[0],&li125[0],
02092        &li126[0],&li127[0],&li128[0],&li129[0],&li130[0],&li131[0],
02093        &li132[0],&li133[0],&li134[0],&li135[0],&li136[0],&li137[0],
02094        &li138[0],&li139[0],&li140[0],&li141[0],&li142[0],&li143[0],
02095        &li144[0],&li145[0],&li146[0],&li147[0],&li148[0],&li149[0],
02096        &li150[0],&li151[0],&li152[0],&li153[0],&li154[0],&li155[0],
02097        &li156[0],&li157[0],&li158[0],&li159[0],&li160[0],&li161[0],
02098        &li162[0],&li163[0],&li164[0],&li165[0],&li166[0],&li167[0],
02099        &li168[0],&li169[0],&li170[0],&li171[0],&li172[0],&li173[0],
02100        &li174[0],&li175[0],&li176[0],&li177[0],&li178[0],&li179[0],
02101        &li180[0],&li181[0],&li182[0],&li183[0],&li184[0],&li185[0],
02102        &li186[0],&li187[0],&li188[0],&li189[0],&li190[0],&li191[0],
02103        &li192[0],&li193[0],&li194[0],&li195[0],&li196[0],&li197[0],
02104        &li198[0],&li199[0],&li200[0],&li201[0],&li202[0],&li203[0],
02105        &li204[0],&li205[0],&li206[0],&li207[0],&li208[0],&li209[0],
02106        &li210[0],&li211[0],&li212[0],&li213[0],&li214[0],&li215[0],
02107        &li216[0],&li217[0],&li218[0],&li219[0],&li220[0],&li221[0],
02108        &li222[0],&li223[0],&li224[0],&li225[0],&li226[0],&li227[0],
02109        &li228[0],&li229[0],&li230[0],&li231[0],&li232[0],&li233[0],
02110        &li234[0],&li235[0],&li236[0],&li237[0],&li238[0],&li239[0],
02111        &li240[0],&li241[0],&li242[0],&li243[0],&li244[0],&li245[0],
02112        &li246[0],&li247[0],&li248[0],&li249[0],&li250[0],&li251[0],
02113        &li252[0],&li253[0],&li254[0],&li255[0],&li256[0],&li257[0],
02114        &li258[0],&li259[0],&li260[0],&li261[0],&li262[0],&li263[0],
02115        &li264[0],&li265[0],&li266[0],&li267[0],&li268[0],&li269[0],
02116        &li270[0],&li271[0],&li272[0],&li273[0],&li274[0],&li275[0],
02117        &li276[0],&li277[0],&li278[0],&li279[0],&li280[0],&li281[0],
02118        &li282[0],&li283[0],&li284[0],&li285[0],&li286[0],&li287[0],
02119        &li288[0],&li289[0],&li290[0],&li291[0],&li292[0],&li293[0],
02120        &li294[0],&li295[0],&li296[0],&li297[0],&li298[0],&li299[0],
02121        &li300[0],&li301[0],&li302[0],&li303[0],&li304[0],&li305[0],
02122        &li306[0],&li307[0],&li308[0],&li309[0],&li310[0],&li311[0],
02123        &li312[0],&li313[0],&li314[0],&li315[0],&li316[0],&li317[0],
02124        &li318[0],&li319[0],&li320[0],&li321[0],&li322[0],&li323[0],
02125        &li324[0],&li325[0],&li326[0],&li327[0],&li328[0],&li329[0],
02126        &li330[0],&li331[0],&li332[0],&li333[0],&li334[0],&li335[0],
02127        &li336[0],&li337[0],&li338[0],&li339[0],&li340[0],&li341[0],
02128        &li342[0],&li343[0],&li344[0],&li345[0],&li346[0],&li347[0],
02129        &li348[0],&li349[0],&li350[0],&li351[0],&li352[0],&li353[0],
02130        &li354[0],&li355[0],&li356[0],&li357[0],&li358[0],&li359[0],
02131        &li360[0],&li361[0],&li362[0],&li363[0],&li364[0],&li365[0],
02132        &li366[0],&li367[0],&li368[0],&li369[0],&li370[0],&li371[0],
02133        &li372[0],&li373[0],&li374[0],&li375[0],&li376[0],&li377[0],
02134        &li378[0],&li379[0],&li380[0],&li381[0],&li382[0],&li383[0],
02135        &li384[0],&li385[0],&li386[0],&li387[0],&li388[0],&li389[0],
02136        &li390[0],&li391[0],&li392[0],&li393[0],&li394[0],&li395[0],
02137        &li396[0],&li397[0],&li398[0],&li399[0],
02138      };
02139 
02141      class Create {
02142      public:
02144        Create(void) {
02145          int n = sizeof(li)/sizeof(LinInstr*);
02146          for (int i=0; i<n; i++) {
02147            std::string s = Test::str(i);
02148            if (i < 10) {
02149              s = "00" + s;
02150            } else if (i < 100) {
02151              s = "0" + s;
02152            }
02153            (void) new LinExprInt(li[i],s);
02154            (void) new LinExprBool(li[i],s);
02155            (void) new LinExprMixed(li[i],s);
02156          }
02157          IntRelTypes irts;
02158          for (int i=0; i<n/2; i++) {
02159            std::string s = Test::str(i);
02160            if (i < 10) {
02161              s = "00" + s;
02162            } else if (i < 100) {
02163              s = "0" + s;
02164            }
02165            (void) new LinRelInt(li[2*i],li[2*i+1],irts.irt(),s);
02166            (void) new LinRelBool(li[2*i],li[2*i+1],irts.irt(),s);
02167            (void) new LinRelMixed(li[2*i],li[2*i+1],irts.irt(),s);
02168            ++irts;
02169            if (!irts())
02170              irts.reset();
02171          }
02172        }
02173      };
02174 
02175      Create c;
02177    }
02178 
02179 }}
02180 
02181 // STATISTICS: test-minimodel