mm-lin.cc

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