software/gecode/test/float/mm-lin.cpp at develop · dekker.one/on-restart-benchmarks

this repo has no description
on-restart-benchmarks / software / gecode / test / float / mm-lin.cpp
at develop 70 kB view raw
   1/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
   2/*
   3 *  Main authors:
   4 *     Christian Schulte <schulte@gecode.org>
   5 *
   6 *  Copyright:
   7 *     Christian Schulte, 2008, 2012
   8 *
   9 *  This file is part of Gecode, the generic constraint
  10 *  development environment:
  11 *     http://www.gecode.org
  12 *
  13 *  Permission is hereby granted, free of charge, to any person obtaining
  14 *  a copy of this software and associated documentation files (the
  15 *  "Software"), to deal in the Software without restriction, including
  16 *  without limitation the rights to use, copy, modify, merge, publish,
  17 *  distribute, sublicense, and/or sell copies of the Software, and to
  18 *  permit persons to whom the Software is furnished to do so, subject to
  19 *  the following conditions:
  20 *
  21 *  The above copyright notice and this permission notice shall be
  22 *  included in all copies or substantial portions of the Software.
  23 *
  24 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  25 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  26 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  27 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  28 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  29 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  30 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  31 *
  32 */
  33
  34#include "test/int.hh"
  35#include "test/float.hh"
  36
  37#include <gecode/minimodel.hh>
  38
  39namespace Test { namespace Float {
  40
  41  /// %Tests for minimal modeling constraints (linear)
  42   namespace MiniModelLin {
  43
  44     /// Linear opcode
  45     enum LinOpcode {
  46       LO_ACE, ///< Add float and expression
  47       LO_AEC, ///< Add expression and float
  48       LO_AEE, ///< Add expressions
  49       LO_SCE, ///< Subtract float and expression
  50       LO_SEC, ///< Subtract expression and float
  51       LO_SEE, ///< Subtract expressions
  52       LO_SE,  ///< Unary subtraction
  53       LO_MCE, ///< Multiply constant and expression
  54       LO_MEC, ///< Multiply constant and expression
  55       LO_HLT  ///< Stop execution
  56     };
  57
  58     /// Type for representing a linear instruction
  59     class LinInstr {
  60     public:
  61       LinOpcode o; ///< Which instruction to execute
  62       unsigned char x, y, z; ///< Instruction arguments, \a y is destination (or \a z)
  63       int c; ///< Numerical constant
  64     };
  65
  66     /// Evaluate linear instructions
  67     template<class Expr>
  68     Expr
  69     eval(const LinInstr* pc, Expr reg[]) {
  70       while (true) {
  71         switch (pc->o) {
  72         case LO_ACE: reg[pc->y] = pc->c + reg[pc->x]; break;
  73         case LO_AEC: reg[pc->y] = reg[pc->x] + pc->c; break;
  74         case LO_AEE: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
  75         case LO_SCE: reg[pc->y] = pc->c - reg[pc->x]; break;
  76         case LO_SEC: reg[pc->y] = reg[pc->x] - pc->c; break;
  77         case LO_SEE: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
  78         case LO_SE:  reg[pc->y] = -reg[pc->x]; break;
  79         case LO_MCE: reg[pc->y] = pc->c * reg[pc->x]; break;
  80         case LO_MEC: reg[pc->y] = reg[pc->x] * pc->c; break;
  81         case LO_HLT: return reg[pc->x];
  82         default: GECODE_NEVER;
  83         }
  84         pc++;
  85       }
  86       GECODE_NEVER;
  87     }
  88
  89     /**
  90      * \defgroup TaskTestFloatMiniModelLin Minimal modeling constraints (linear constraints)
  91      * \ingroup TaskTestFloat
  92      */
  93     //@{
  94     /// %Test linear expressions over float variables
  95     class LinExpr : public Int::Test {
  96     protected:
  97       /// Linear instruction sequence
  98       const LinInstr* lis;
  99     public:
 100       /// Create and register test
 101       LinExpr(const LinInstr* lis0, const std::string& s)
 102         : Test("Float::","MiniModel::LinExpr::"+s,4,-3,3),
 103           lis(lis0) {
 104         testfix = false;
 105       }
 106       /// %Test whether \a x is solution
 107       virtual bool solution(const Int::Assignment& x) const {
 108         int reg[3] = {x[0],x[1],x[2]};
 109         return eval(lis, reg) == x[3];
 110       }
 111       /// Post constraint on \a x
 112       virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
 113         using namespace Gecode;
 114         FloatVarArray y(home,4,dom.min(),dom.max());
 115         channel(home, x[0], y[0]);
 116         channel(home, x[1], y[1]);
 117         channel(home, x[2], y[2]);
 118         channel(home, x[3], y[3]);
 119         LinFloatExpr reg[3] = {y[0],y[1],y[2]};
 120         rel(home, y[3], FRT_EQ, expr(home, eval(lis,reg)));
 121       }
 122     };
 123
 124     /// %Test linear relations over float variables
 125     class LinRel : public Int::Test {
 126     protected:
 127       /// Linear instruction sequence for left hand side
 128       const LinInstr* l_lis;
 129       /// Linear instruction sequence for right hand side
 130       const LinInstr* r_lis;
 131       /// Float relation type to propagate
 132       Gecode::FloatRelType frt;
 133     public:
 134       /// Create and register test
 135       LinRel(const LinInstr* l_lis0, const LinInstr* r_lis0,
 136              Gecode::FloatRelType frt0, const std::string& s)
 137         : Test("Float::","MiniModel::LinRel::"+s+"::"+
 138                Float::Test::str(frt0),3,-3,3),
 139           l_lis(l_lis0), r_lis(r_lis0), frt(frt0) {
 140         testfix = false;
 141       }
 142       /// %Test whether \a x is solution
 143       virtual bool solution(const Int::Assignment& x) const {
 144         using namespace Gecode;
 145         int l_reg[3] = {x[0],x[1],x[2]};
 146         int l = eval(l_lis,l_reg);
 147         int r_reg[3] = {x[0],x[1],x[2]};
 148         int r = eval(r_lis,r_reg);
 149         switch (frt) {
 150         case FRT_EQ: return l == r;
 151         case FRT_NQ: return l != r;
 152         case FRT_LE: return l < r;
 153         case FRT_GR: return l > r;
 154         case FRT_LQ: return l <= r;
 155         case FRT_GQ: return l >= r;
 156         default: GECODE_NEVER;
 157         }
 158         return false;
 159       }
 160       /// Post constraint on \a x
 161       virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
 162         using namespace Gecode;
 163         FloatVarArray y(home,3,dom.min(),dom.max());
 164         channel(home, x[0], y[0]);
 165         channel(home, x[1], y[1]);
 166         channel(home, x[2], y[2]);
 167         LinFloatExpr l_reg[3] = {y[0],y[1],y[2]};
 168         LinFloatExpr r_reg[3] = {y[0],y[1],y[2]};
 169         switch (frt) {
 170         case FRT_EQ:
 171           Gecode::rel(home, eval(l_lis,l_reg) == eval(r_lis,r_reg));
 172           break;
 173         case FRT_NQ:
 174           Gecode::rel(home, eval(l_lis,l_reg) != eval(r_lis,r_reg));
 175           break;
 176         case FRT_LQ:
 177           Gecode::rel(home, eval(l_lis,l_reg) <= eval(r_lis,r_reg));
 178           break;
 179         case FRT_LE:
 180           Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
 181           break;
 182         case FRT_GQ:
 183           Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
 184           break;
 185         case FRT_GR:
 186           Gecode::rel(home, eval(l_lis,l_reg) > eval(r_lis,r_reg));
 187           break;
 188         default: GECODE_NEVER;
 189         }
 190       }
 191     };
 192
 193     const LinInstr li000[] = {
 194       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 195       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 196     };
 197     const LinInstr li001[] = {
 198       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 199       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 200     };
 201     const LinInstr li002[] = {
 202       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 203       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 204     };
 205     const LinInstr li003[] = {
 206       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 207       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 208     };
 209     const LinInstr li004[] = {
 210       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 211       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 212     };
 213     const LinInstr li005[] = {
 214       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 215       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 216     };
 217     const LinInstr li006[] = {
 218       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 219       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 220     };
 221     const LinInstr li007[] = {
 222       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 223       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 224     };
 225     const LinInstr li008[] = {
 226       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 227       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 228     };
 229     const LinInstr li009[] = {
 230       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 231       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 232     };
 233     const LinInstr li010[] = {
 234       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 235       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 236     };
 237     const LinInstr li011[] = {
 238       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 239       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 240     };
 241     const LinInstr li012[] = {
 242       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 243       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 244     };
 245     const LinInstr li013[] = {
 246       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 247       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 248     };
 249     const LinInstr li014[] = {
 250       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 251       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 252     };
 253     const LinInstr li015[] = {
 254       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 255       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 256     };
 257     const LinInstr li016[] = {
 258       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 259       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 260     };
 261     const LinInstr li017[] = {
 262       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 263       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 264     };
 265     const LinInstr li018[] = {
 266       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 267       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 268     };
 269     const LinInstr li019[] = {
 270       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 271       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 272     };
 273     const LinInstr li020[] = {
 274       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 275       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 276     };
 277     const LinInstr li021[] = {
 278       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 279       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 280     };
 281     const LinInstr li022[] = {
 282       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 283       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 284     };
 285     const LinInstr li023[] = {
 286       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 287       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 288     };
 289     const LinInstr li024[] = {
 290       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 291       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 292     };
 293     const LinInstr li025[] = {
 294       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 295       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 296     };
 297     const LinInstr li026[] = {
 298       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 299       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 300     };
 301     const LinInstr li027[] = {
 302       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 303       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 304     };
 305     const LinInstr li028[] = {
 306       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 307       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 308     };
 309     const LinInstr li029[] = {
 310       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 311       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 312     };
 313     const LinInstr li030[] = {
 314       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 315       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 316     };
 317     const LinInstr li031[] = {
 318       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 319       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 320     };
 321     const LinInstr li032[] = {
 322       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 323       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 324     };
 325     const LinInstr li033[] = {
 326       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 327       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 328     };
 329     const LinInstr li034[] = {
 330       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 331       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 332     };
 333     const LinInstr li035[] = {
 334       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 335       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 336     };
 337     const LinInstr li036[] = {
 338       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 339       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 340     };
 341     const LinInstr li037[] = {
 342       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 343       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 344     };
 345     const LinInstr li038[] = {
 346       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 347       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 348     };
 349     const LinInstr li039[] = {
 350       {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 351       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 352     };
 353     const LinInstr li040[] = {
 354       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 355       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 356     };
 357     const LinInstr li041[] = {
 358       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 359       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 360     };
 361     const LinInstr li042[] = {
 362       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 363       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 364     };
 365     const LinInstr li043[] = {
 366       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 367       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 368     };
 369     const LinInstr li044[] = {
 370       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 371       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 372     };
 373     const LinInstr li045[] = {
 374       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 375       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 376     };
 377     const LinInstr li046[] = {
 378       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 379       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 380     };
 381     const LinInstr li047[] = {
 382       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 383       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 384     };
 385     const LinInstr li048[] = {
 386       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 387       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 388     };
 389     const LinInstr li049[] = {
 390       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 391       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 392     };
 393     const LinInstr li050[] = {
 394       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 395       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 396     };
 397     const LinInstr li051[] = {
 398       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 399       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 400     };
 401     const LinInstr li052[] = {
 402       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 403       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 404     };
 405     const LinInstr li053[] = {
 406       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 407       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 408     };
 409     const LinInstr li054[] = {
 410       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 411       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 412     };
 413     const LinInstr li055[] = {
 414       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 415       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 416     };
 417     const LinInstr li056[] = {
 418       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 419       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 420     };
 421     const LinInstr li057[] = {
 422       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 423       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 424     };
 425     const LinInstr li058[] = {
 426       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 427       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 428     };
 429     const LinInstr li059[] = {
 430       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 431       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 432     };
 433     const LinInstr li060[] = {
 434       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 435       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 436     };
 437     const LinInstr li061[] = {
 438       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 439       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 440     };
 441     const LinInstr li062[] = {
 442       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 443       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 444     };
 445     const LinInstr li063[] = {
 446       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 447       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 448     };
 449     const LinInstr li064[] = {
 450       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 451       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 452     };
 453     const LinInstr li065[] = {
 454       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 455       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 456     };
 457     const LinInstr li066[] = {
 458       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 459       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 460     };
 461     const LinInstr li067[] = {
 462       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 463       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 464     };
 465     const LinInstr li068[] = {
 466       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 467       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 468     };
 469     const LinInstr li069[] = {
 470       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 471       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 472     };
 473     const LinInstr li070[] = {
 474       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 475       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 476     };
 477     const LinInstr li071[] = {
 478       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 479       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 480     };
 481     const LinInstr li072[] = {
 482       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 483       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 484     };
 485     const LinInstr li073[] = {
 486       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 487       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 488     };
 489     const LinInstr li074[] = {
 490       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 491       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 492     };
 493     const LinInstr li075[] = {
 494       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 495       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 496     };
 497     const LinInstr li076[] = {
 498       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 499       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 500     };
 501     const LinInstr li077[] = {
 502       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 503       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 504     };
 505     const LinInstr li078[] = {
 506       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 507       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 508     };
 509     const LinInstr li079[] = {
 510       {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 511       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 512     };
 513     const LinInstr li080[] = {
 514       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 515       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 516     };
 517     const LinInstr li081[] = {
 518       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 519       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 520     };
 521     const LinInstr li082[] = {
 522       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 523       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 524     };
 525     const LinInstr li083[] = {
 526       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 527       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 528     };
 529     const LinInstr li084[] = {
 530       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 531       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 532     };
 533     const LinInstr li085[] = {
 534       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 535       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 536     };
 537     const LinInstr li086[] = {
 538       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 539       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 540     };
 541     const LinInstr li087[] = {
 542       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 543       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 544     };
 545     const LinInstr li088[] = {
 546       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 547       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 548     };
 549     const LinInstr li089[] = {
 550       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 551       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 552     };
 553     const LinInstr li090[] = {
 554       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 555       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 556     };
 557     const LinInstr li091[] = {
 558       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 559       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 560     };
 561     const LinInstr li092[] = {
 562       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 563       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 564     };
 565     const LinInstr li093[] = {
 566       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 567       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 568     };
 569     const LinInstr li094[] = {
 570       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 571       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 572     };
 573     const LinInstr li095[] = {
 574       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 575       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 576     };
 577     const LinInstr li096[] = {
 578       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 579       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 580     };
 581     const LinInstr li097[] = {
 582       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 583       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 584     };
 585     const LinInstr li098[] = {
 586       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 587       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 588     };
 589     const LinInstr li099[] = {
 590       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 591       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 592     };
 593     const LinInstr li100[] = {
 594       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 595       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 596     };
 597     const LinInstr li101[] = {
 598       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 599       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 600     };
 601     const LinInstr li102[] = {
 602       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 603       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 604     };
 605     const LinInstr li103[] = {
 606       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 607       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 608     };
 609     const LinInstr li104[] = {
 610       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 611       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 612     };
 613     const LinInstr li105[] = {
 614       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 615       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 616     };
 617     const LinInstr li106[] = {
 618       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 619       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 620     };
 621     const LinInstr li107[] = {
 622       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 623       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 624     };
 625     const LinInstr li108[] = {
 626       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 627       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 628     };
 629     const LinInstr li109[] = {
 630       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 631       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 632     };
 633     const LinInstr li110[] = {
 634       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 635       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 636     };
 637     const LinInstr li111[] = {
 638       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 639       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 640     };
 641     const LinInstr li112[] = {
 642       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 643       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 644     };
 645     const LinInstr li113[] = {
 646       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 647       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 648     };
 649     const LinInstr li114[] = {
 650       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 651       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 652     };
 653     const LinInstr li115[] = {
 654       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 655       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 656     };
 657     const LinInstr li116[] = {
 658       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 659       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 660     };
 661     const LinInstr li117[] = {
 662       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 663       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 664     };
 665     const LinInstr li118[] = {
 666       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 667       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 668     };
 669     const LinInstr li119[] = {
 670       {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 671       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 672     };
 673     const LinInstr li120[] = {
 674       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 675       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 676     };
 677     const LinInstr li121[] = {
 678       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 679       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 680     };
 681     const LinInstr li122[] = {
 682       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 683       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 684     };
 685     const LinInstr li123[] = {
 686       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
 687       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 688     };
 689     const LinInstr li124[] = {
 690       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 691       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 692     };
 693     const LinInstr li125[] = {
 694       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 695       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 696     };
 697     const LinInstr li126[] = {
 698       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 699       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 700     };
 701     const LinInstr li127[] = {
 702       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
 703       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 704     };
 705     const LinInstr li128[] = {
 706       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 707       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 708     };
 709     const LinInstr li129[] = {
 710       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 711       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 712     };
 713     const LinInstr li130[] = {
 714       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 715       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 716     };
 717     const LinInstr li131[] = {
 718       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
 719       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 720     };
 721     const LinInstr li132[] = {
 722       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 723       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 724     };
 725     const LinInstr li133[] = {
 726       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 727       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 728     };
 729     const LinInstr li134[] = {
 730       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 731       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 732     };
 733     const LinInstr li135[] = {
 734       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
 735       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 736     };
 737     const LinInstr li136[] = {
 738       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 739       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 740     };
 741     const LinInstr li137[] = {
 742       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 743       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 744     };
 745     const LinInstr li138[] = {
 746       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 747       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 748     };
 749     const LinInstr li139[] = {
 750       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
 751       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 752     };
 753     const LinInstr li140[] = {
 754       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 755       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 756     };
 757     const LinInstr li141[] = {
 758       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 759       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 760     };
 761     const LinInstr li142[] = {
 762       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 763       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 764     };
 765     const LinInstr li143[] = {
 766       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
 767       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 768     };
 769     const LinInstr li144[] = {
 770       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 771       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 772     };
 773     const LinInstr li145[] = {
 774       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 775       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 776     };
 777     const LinInstr li146[] = {
 778       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 779       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 780     };
 781     const LinInstr li147[] = {
 782       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
 783       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 784     };
 785     const LinInstr li148[] = {
 786       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 787       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 788     };
 789     const LinInstr li149[] = {
 790       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 791       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 792     };
 793     const LinInstr li150[] = {
 794       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 795       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 796     };
 797     const LinInstr li151[] = {
 798       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
 799       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 800     };
 801     const LinInstr li152[] = {
 802       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 803       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 804     };
 805     const LinInstr li153[] = {
 806       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 807       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 808     };
 809     const LinInstr li154[] = {
 810       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 811       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 812     };
 813     const LinInstr li155[] = {
 814       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
 815       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 816     };
 817     const LinInstr li156[] = {
 818       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 819       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 820     };
 821     const LinInstr li157[] = {
 822       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 823       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 824     };
 825     const LinInstr li158[] = {
 826       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 827       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 828     };
 829     const LinInstr li159[] = {
 830       {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
 831       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 832     };
 833     const LinInstr li160[] = {
 834       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 835       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 836     };
 837     const LinInstr li161[] = {
 838       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 839       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 840     };
 841     const LinInstr li162[] = {
 842       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 843       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 844     };
 845     const LinInstr li163[] = {
 846       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 847       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 848     };
 849     const LinInstr li164[] = {
 850       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 851       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 852     };
 853     const LinInstr li165[] = {
 854       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 855       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 856     };
 857     const LinInstr li166[] = {
 858       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 859       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 860     };
 861     const LinInstr li167[] = {
 862       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
 863       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 864     };
 865     const LinInstr li168[] = {
 866       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 867       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 868     };
 869     const LinInstr li169[] = {
 870       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 871       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 872     };
 873     const LinInstr li170[] = {
 874       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 875       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 876     };
 877     const LinInstr li171[] = {
 878       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
 879       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 880     };
 881     const LinInstr li172[] = {
 882       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 883       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 884     };
 885     const LinInstr li173[] = {
 886       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 887       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 888     };
 889     const LinInstr li174[] = {
 890       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 891       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 892     };
 893     const LinInstr li175[] = {
 894       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
 895       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 896     };
 897     const LinInstr li176[] = {
 898       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 899       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 900     };
 901     const LinInstr li177[] = {
 902       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 903       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 904     };
 905     const LinInstr li178[] = {
 906       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 907       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 908     };
 909     const LinInstr li179[] = {
 910       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
 911       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 912     };
 913     const LinInstr li180[] = {
 914       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 915       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 916     };
 917     const LinInstr li181[] = {
 918       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 919       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 920     };
 921     const LinInstr li182[] = {
 922       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 923       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 924     };
 925     const LinInstr li183[] = {
 926       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
 927       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 928     };
 929     const LinInstr li184[] = {
 930       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 931       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 932     };
 933     const LinInstr li185[] = {
 934       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 935       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 936     };
 937     const LinInstr li186[] = {
 938       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 939       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 940     };
 941     const LinInstr li187[] = {
 942       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
 943       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 944     };
 945     const LinInstr li188[] = {
 946       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 947       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 948     };
 949     const LinInstr li189[] = {
 950       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 951       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 952     };
 953     const LinInstr li190[] = {
 954       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 955       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 956     };
 957     const LinInstr li191[] = {
 958       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
 959       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 960     };
 961     const LinInstr li192[] = {
 962       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 963       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 964     };
 965     const LinInstr li193[] = {
 966       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 967       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 968     };
 969     const LinInstr li194[] = {
 970       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 971       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 972     };
 973     const LinInstr li195[] = {
 974       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
 975       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 976     };
 977     const LinInstr li196[] = {
 978       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 979       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 980     };
 981     const LinInstr li197[] = {
 982       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 983       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
 984     };
 985     const LinInstr li198[] = {
 986       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 987       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 988     };
 989     const LinInstr li199[] = {
 990       {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
 991       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
 992     };
 993     const LinInstr li200[] = {
 994       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 995       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
 996     };
 997     const LinInstr li201[] = {
 998       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
 999       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1000     };
1001     const LinInstr li202[] = {
1002       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1003       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1004     };
1005     const LinInstr li203[] = {
1006       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1007       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1008     };
1009     const LinInstr li204[] = {
1010       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1011       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1012     };
1013     const LinInstr li205[] = {
1014       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1015       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1016     };
1017     const LinInstr li206[] = {
1018       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1019       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1020     };
1021     const LinInstr li207[] = {
1022       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1023       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1024     };
1025     const LinInstr li208[] = {
1026       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1027       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1028     };
1029     const LinInstr li209[] = {
1030       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1031       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1032     };
1033     const LinInstr li210[] = {
1034       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1035       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1036     };
1037     const LinInstr li211[] = {
1038       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1039       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1040     };
1041     const LinInstr li212[] = {
1042       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1043       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1044     };
1045     const LinInstr li213[] = {
1046       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1047       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1048     };
1049     const LinInstr li214[] = {
1050       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1051       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1052     };
1053     const LinInstr li215[] = {
1054       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1055       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1056     };
1057     const LinInstr li216[] = {
1058       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1059       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1060     };
1061     const LinInstr li217[] = {
1062       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1063       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1064     };
1065     const LinInstr li218[] = {
1066       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1067       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1068     };
1069     const LinInstr li219[] = {
1070       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1071       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1072     };
1073     const LinInstr li220[] = {
1074       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1075       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1076     };
1077     const LinInstr li221[] = {
1078       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1079       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1080     };
1081     const LinInstr li222[] = {
1082       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1083       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1084     };
1085     const LinInstr li223[] = {
1086       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1087       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1088     };
1089     const LinInstr li224[] = {
1090       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1091       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1092     };
1093     const LinInstr li225[] = {
1094       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1095       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1096     };
1097     const LinInstr li226[] = {
1098       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1099       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1100     };
1101     const LinInstr li227[] = {
1102       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1103       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1104     };
1105     const LinInstr li228[] = {
1106       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1107       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1108     };
1109     const LinInstr li229[] = {
1110       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1111       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1112     };
1113     const LinInstr li230[] = {
1114       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1115       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1116     };
1117     const LinInstr li231[] = {
1118       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1119       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1120     };
1121     const LinInstr li232[] = {
1122       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1123       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1124     };
1125     const LinInstr li233[] = {
1126       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1127       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1128     };
1129     const LinInstr li234[] = {
1130       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1131       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1132     };
1133     const LinInstr li235[] = {
1134       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1135       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1136     };
1137     const LinInstr li236[] = {
1138       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1139       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1140     };
1141     const LinInstr li237[] = {
1142       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1143       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1144     };
1145     const LinInstr li238[] = {
1146       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1147       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1148     };
1149     const LinInstr li239[] = {
1150       {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1151       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1152     };
1153     const LinInstr li240[] = {
1154       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1155       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1156     };
1157     const LinInstr li241[] = {
1158       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1159       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1160     };
1161     const LinInstr li242[] = {
1162       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1163       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1164     };
1165     const LinInstr li243[] = {
1166       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1167       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1168     };
1169     const LinInstr li244[] = {
1170       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1171       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1172     };
1173     const LinInstr li245[] = {
1174       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1175       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1176     };
1177     const LinInstr li246[] = {
1178       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1179       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1180     };
1181     const LinInstr li247[] = {
1182       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1183       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1184     };
1185     const LinInstr li248[] = {
1186       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1187       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1188     };
1189     const LinInstr li249[] = {
1190       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1191       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1192     };
1193     const LinInstr li250[] = {
1194       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1195       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1196     };
1197     const LinInstr li251[] = {
1198       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1199       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1200     };
1201     const LinInstr li252[] = {
1202       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1203       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1204     };
1205     const LinInstr li253[] = {
1206       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1207       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1208     };
1209     const LinInstr li254[] = {
1210       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1211       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1212     };
1213     const LinInstr li255[] = {
1214       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1215       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1216     };
1217     const LinInstr li256[] = {
1218       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1219       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1220     };
1221     const LinInstr li257[] = {
1222       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1223       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1224     };
1225     const LinInstr li258[] = {
1226       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1227       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1228     };
1229     const LinInstr li259[] = {
1230       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1231       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1232     };
1233     const LinInstr li260[] = {
1234       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1235       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1236     };
1237     const LinInstr li261[] = {
1238       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1239       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1240     };
1241     const LinInstr li262[] = {
1242       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1243       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1244     };
1245     const LinInstr li263[] = {
1246       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1247       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1248     };
1249     const LinInstr li264[] = {
1250       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1251       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1252     };
1253     const LinInstr li265[] = {
1254       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1255       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1256     };
1257     const LinInstr li266[] = {
1258       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1259       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1260     };
1261     const LinInstr li267[] = {
1262       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1263       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1264     };
1265     const LinInstr li268[] = {
1266       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1267       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1268     };
1269     const LinInstr li269[] = {
1270       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1271       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1272     };
1273     const LinInstr li270[] = {
1274       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1275       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1276     };
1277     const LinInstr li271[] = {
1278       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1279       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1280     };
1281     const LinInstr li272[] = {
1282       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1283       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1284     };
1285     const LinInstr li273[] = {
1286       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1287       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1288     };
1289     const LinInstr li274[] = {
1290       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1291       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1292     };
1293     const LinInstr li275[] = {
1294       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1295       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1296     };
1297     const LinInstr li276[] = {
1298       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1299       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1300     };
1301     const LinInstr li277[] = {
1302       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1303       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1304     };
1305     const LinInstr li278[] = {
1306       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1307       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1308     };
1309     const LinInstr li279[] = {
1310       {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1311       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1312     };
1313     const LinInstr li280[] = {
1314       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1315       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1316     };
1317     const LinInstr li281[] = {
1318       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1319       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1320     };
1321     const LinInstr li282[] = {
1322       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1323       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1324     };
1325     const LinInstr li283[] = {
1326       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1327       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1328     };
1329     const LinInstr li284[] = {
1330       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1331       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1332     };
1333     const LinInstr li285[] = {
1334       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1335       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1336     };
1337     const LinInstr li286[] = {
1338       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1339       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1340     };
1341     const LinInstr li287[] = {
1342       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1343       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1344     };
1345     const LinInstr li288[] = {
1346       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1347       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1348     };
1349     const LinInstr li289[] = {
1350       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1351       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1352     };
1353     const LinInstr li290[] = {
1354       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1355       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1356     };
1357     const LinInstr li291[] = {
1358       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1359       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1360     };
1361     const LinInstr li292[] = {
1362       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1363       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1364     };
1365     const LinInstr li293[] = {
1366       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1367       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1368     };
1369     const LinInstr li294[] = {
1370       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1371       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1372     };
1373     const LinInstr li295[] = {
1374       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1375       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1376     };
1377     const LinInstr li296[] = {
1378       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1379       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1380     };
1381     const LinInstr li297[] = {
1382       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1383       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1384     };
1385     const LinInstr li298[] = {
1386       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1387       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1388     };
1389     const LinInstr li299[] = {
1390       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1391       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1392     };
1393     const LinInstr li300[] = {
1394       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1395       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1396     };
1397     const LinInstr li301[] = {
1398       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1399       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1400     };
1401     const LinInstr li302[] = {
1402       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1403       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1404     };
1405     const LinInstr li303[] = {
1406       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1407       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1408     };
1409     const LinInstr li304[] = {
1410       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1411       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1412     };
1413     const LinInstr li305[] = {
1414       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1415       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1416     };
1417     const LinInstr li306[] = {
1418       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1419       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1420     };
1421     const LinInstr li307[] = {
1422       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1423       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1424     };
1425     const LinInstr li308[] = {
1426       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1427       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1428     };
1429     const LinInstr li309[] = {
1430       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1431       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1432     };
1433     const LinInstr li310[] = {
1434       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1435       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1436     };
1437     const LinInstr li311[] = {
1438       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1439       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1440     };
1441     const LinInstr li312[] = {
1442       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1443       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1444     };
1445     const LinInstr li313[] = {
1446       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1447       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1448     };
1449     const LinInstr li314[] = {
1450       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1451       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1452     };
1453     const LinInstr li315[] = {
1454       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1455       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1456     };
1457     const LinInstr li316[] = {
1458       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1459       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1460     };
1461     const LinInstr li317[] = {
1462       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1463       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1464     };
1465     const LinInstr li318[] = {
1466       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1467       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1468     };
1469     const LinInstr li319[] = {
1470       {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1471       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1472     };
1473     const LinInstr li320[] = {
1474       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1475       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1476     };
1477     const LinInstr li321[] = {
1478       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1479       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1480     };
1481     const LinInstr li322[] = {
1482       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1483       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1484     };
1485     const LinInstr li323[] = {
1486       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1487       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1488     };
1489     const LinInstr li324[] = {
1490       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1491       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1492     };
1493     const LinInstr li325[] = {
1494       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1495       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1496     };
1497     const LinInstr li326[] = {
1498       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1499       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1500     };
1501     const LinInstr li327[] = {
1502       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1503       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1504     };
1505     const LinInstr li328[] = {
1506       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1507       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1508     };
1509     const LinInstr li329[] = {
1510       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1511       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1512     };
1513     const LinInstr li330[] = {
1514       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1515       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1516     };
1517     const LinInstr li331[] = {
1518       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1519       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1520     };
1521     const LinInstr li332[] = {
1522       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1523       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1524     };
1525     const LinInstr li333[] = {
1526       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1527       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1528     };
1529     const LinInstr li334[] = {
1530       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1531       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1532     };
1533     const LinInstr li335[] = {
1534       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1535       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1536     };
1537     const LinInstr li336[] = {
1538       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1539       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1540     };
1541     const LinInstr li337[] = {
1542       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1543       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1544     };
1545     const LinInstr li338[] = {
1546       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1547       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1548     };
1549     const LinInstr li339[] = {
1550       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1551       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1552     };
1553     const LinInstr li340[] = {
1554       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1555       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1556     };
1557     const LinInstr li341[] = {
1558       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1559       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1560     };
1561     const LinInstr li342[] = {
1562       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1563       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1564     };
1565     const LinInstr li343[] = {
1566       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1567       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1568     };
1569     const LinInstr li344[] = {
1570       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1571       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1572     };
1573     const LinInstr li345[] = {
1574       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1575       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1576     };
1577     const LinInstr li346[] = {
1578       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1579       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1580     };
1581     const LinInstr li347[] = {
1582       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1583       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1584     };
1585     const LinInstr li348[] = {
1586       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1587       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1588     };
1589     const LinInstr li349[] = {
1590       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1591       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1592     };
1593     const LinInstr li350[] = {
1594       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1595       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1596     };
1597     const LinInstr li351[] = {
1598       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1599       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1600     };
1601     const LinInstr li352[] = {
1602       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1603       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1604     };
1605     const LinInstr li353[] = {
1606       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1607       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1608     };
1609     const LinInstr li354[] = {
1610       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1611       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1612     };
1613     const LinInstr li355[] = {
1614       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1615       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1616     };
1617     const LinInstr li356[] = {
1618       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1619       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1620     };
1621     const LinInstr li357[] = {
1622       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1623       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1624     };
1625     const LinInstr li358[] = {
1626       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1627       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1628     };
1629     const LinInstr li359[] = {
1630       {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1631       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1632     };
1633     const LinInstr li360[] = {
1634       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1635       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1636     };
1637     const LinInstr li361[] = {
1638       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1639       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1640     };
1641     const LinInstr li362[] = {
1642       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1643       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1644     };
1645     const LinInstr li363[] = {
1646       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1647       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1648     };
1649     const LinInstr li364[] = {
1650       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1651       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1652     };
1653     const LinInstr li365[] = {
1654       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1655       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1656     };
1657     const LinInstr li366[] = {
1658       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1659       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1660     };
1661     const LinInstr li367[] = {
1662       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1663       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1664     };
1665     const LinInstr li368[] = {
1666       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1667       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1668     };
1669     const LinInstr li369[] = {
1670       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1671       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1672     };
1673     const LinInstr li370[] = {
1674       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1675       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1676     };
1677     const LinInstr li371[] = {
1678       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1679       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1680     };
1681     const LinInstr li372[] = {
1682       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1683       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1684     };
1685     const LinInstr li373[] = {
1686       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1687       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1688     };
1689     const LinInstr li374[] = {
1690       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1691       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1692     };
1693     const LinInstr li375[] = {
1694       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1695       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1696     };
1697     const LinInstr li376[] = {
1698       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1699       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1700     };
1701     const LinInstr li377[] = {
1702       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1703       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1704     };
1705     const LinInstr li378[] = {
1706       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1707       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1708     };
1709     const LinInstr li379[] = {
1710       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1711       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1712     };
1713     const LinInstr li380[] = {
1714       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1715       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1716     };
1717     const LinInstr li381[] = {
1718       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1719       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1720     };
1721     const LinInstr li382[] = {
1722       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1723       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1724     };
1725     const LinInstr li383[] = {
1726       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1727       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1728     };
1729     const LinInstr li384[] = {
1730       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1731       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1732     };
1733     const LinInstr li385[] = {
1734       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1735       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1736     };
1737     const LinInstr li386[] = {
1738       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1739       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1740     };
1741     const LinInstr li387[] = {
1742       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1743       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1744     };
1745     const LinInstr li388[] = {
1746       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1747       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1748     };
1749     const LinInstr li389[] = {
1750       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1751       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1752     };
1753     const LinInstr li390[] = {
1754       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1755       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1756     };
1757     const LinInstr li391[] = {
1758       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1759       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1760     };
1761     const LinInstr li392[] = {
1762       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1763       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1764     };
1765     const LinInstr li393[] = {
1766       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1767       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1768     };
1769     const LinInstr li394[] = {
1770       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1771       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1772     };
1773     const LinInstr li395[] = {
1774       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1775       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1776     };
1777     const LinInstr li396[] = {
1778       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1779       {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1780     };
1781     const LinInstr li397[] = {
1782       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1783       {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1784     };
1785     const LinInstr li398[] = {
1786       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1787       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1788     };
1789     const LinInstr li399[] = {
1790       {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1791       {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1792     };
1793
1794     const LinInstr* li[] = {
1795       &li000[0],&li001[0],&li002[0],&li003[0],&li004[0],&li005[0],
1796       &li006[0],&li007[0],&li008[0],&li009[0],&li010[0],&li011[0],
1797       &li012[0],&li013[0],&li014[0],&li015[0],&li016[0],&li017[0],
1798       &li018[0],&li019[0],&li020[0],&li021[0],&li022[0],&li023[0],
1799       &li024[0],&li025[0],&li026[0],&li027[0],&li028[0],&li029[0],
1800       &li030[0],&li031[0],&li032[0],&li033[0],&li034[0],&li035[0],
1801       &li036[0],&li037[0],&li038[0],&li039[0],&li040[0],&li041[0],
1802       &li042[0],&li043[0],&li044[0],&li045[0],&li046[0],&li047[0],
1803       &li048[0],&li049[0],&li050[0],&li051[0],&li052[0],&li053[0],
1804       &li054[0],&li055[0],&li056[0],&li057[0],&li058[0],&li059[0],
1805       &li060[0],&li061[0],&li062[0],&li063[0],&li064[0],&li065[0],
1806       &li066[0],&li067[0],&li068[0],&li069[0],&li070[0],&li071[0],
1807       &li072[0],&li073[0],&li074[0],&li075[0],&li076[0],&li077[0],
1808       &li078[0],&li079[0],&li080[0],&li081[0],&li082[0],&li083[0],
1809       &li084[0],&li085[0],&li086[0],&li087[0],&li088[0],&li089[0],
1810       &li090[0],&li091[0],&li092[0],&li093[0],&li094[0],&li095[0],
1811       &li096[0],&li097[0],&li098[0],&li099[0],&li100[0],&li101[0],
1812       &li102[0],&li103[0],&li104[0],&li105[0],&li106[0],&li107[0],
1813       &li108[0],&li109[0],&li110[0],&li111[0],&li112[0],&li113[0],
1814       &li114[0],&li115[0],&li116[0],&li117[0],&li118[0],&li119[0],
1815       &li120[0],&li121[0],&li122[0],&li123[0],&li124[0],&li125[0],
1816       &li126[0],&li127[0],&li128[0],&li129[0],&li130[0],&li131[0],
1817       &li132[0],&li133[0],&li134[0],&li135[0],&li136[0],&li137[0],
1818       &li138[0],&li139[0],&li140[0],&li141[0],&li142[0],&li143[0],
1819       &li144[0],&li145[0],&li146[0],&li147[0],&li148[0],&li149[0],
1820       &li150[0],&li151[0],&li152[0],&li153[0],&li154[0],&li155[0],
1821       &li156[0],&li157[0],&li158[0],&li159[0],&li160[0],&li161[0],
1822       &li162[0],&li163[0],&li164[0],&li165[0],&li166[0],&li167[0],
1823       &li168[0],&li169[0],&li170[0],&li171[0],&li172[0],&li173[0],
1824       &li174[0],&li175[0],&li176[0],&li177[0],&li178[0],&li179[0],
1825       &li180[0],&li181[0],&li182[0],&li183[0],&li184[0],&li185[0],
1826       &li186[0],&li187[0],&li188[0],&li189[0],&li190[0],&li191[0],
1827       &li192[0],&li193[0],&li194[0],&li195[0],&li196[0],&li197[0],
1828       &li198[0],&li199[0],&li200[0],&li201[0],&li202[0],&li203[0],
1829       &li204[0],&li205[0],&li206[0],&li207[0],&li208[0],&li209[0],
1830       &li210[0],&li211[0],&li212[0],&li213[0],&li214[0],&li215[0],
1831       &li216[0],&li217[0],&li218[0],&li219[0],&li220[0],&li221[0],
1832       &li222[0],&li223[0],&li224[0],&li225[0],&li226[0],&li227[0],
1833       &li228[0],&li229[0],&li230[0],&li231[0],&li232[0],&li233[0],
1834       &li234[0],&li235[0],&li236[0],&li237[0],&li238[0],&li239[0],
1835       &li240[0],&li241[0],&li242[0],&li243[0],&li244[0],&li245[0],
1836       &li246[0],&li247[0],&li248[0],&li249[0],&li250[0],&li251[0],
1837       &li252[0],&li253[0],&li254[0],&li255[0],&li256[0],&li257[0],
1838       &li258[0],&li259[0],&li260[0],&li261[0],&li262[0],&li263[0],
1839       &li264[0],&li265[0],&li266[0],&li267[0],&li268[0],&li269[0],
1840       &li270[0],&li271[0],&li272[0],&li273[0],&li274[0],&li275[0],
1841       &li276[0],&li277[0],&li278[0],&li279[0],&li280[0],&li281[0],
1842       &li282[0],&li283[0],&li284[0],&li285[0],&li286[0],&li287[0],
1843       &li288[0],&li289[0],&li290[0],&li291[0],&li292[0],&li293[0],
1844       &li294[0],&li295[0],&li296[0],&li297[0],&li298[0],&li299[0],
1845       &li300[0],&li301[0],&li302[0],&li303[0],&li304[0],&li305[0],
1846       &li306[0],&li307[0],&li308[0],&li309[0],&li310[0],&li311[0],
1847       &li312[0],&li313[0],&li314[0],&li315[0],&li316[0],&li317[0],
1848       &li318[0],&li319[0],&li320[0],&li321[0],&li322[0],&li323[0],
1849       &li324[0],&li325[0],&li326[0],&li327[0],&li328[0],&li329[0],
1850       &li330[0],&li331[0],&li332[0],&li333[0],&li334[0],&li335[0],
1851       &li336[0],&li337[0],&li338[0],&li339[0],&li340[0],&li341[0],
1852       &li342[0],&li343[0],&li344[0],&li345[0],&li346[0],&li347[0],
1853       &li348[0],&li349[0],&li350[0],&li351[0],&li352[0],&li353[0],
1854       &li354[0],&li355[0],&li356[0],&li357[0],&li358[0],&li359[0],
1855       &li360[0],&li361[0],&li362[0],&li363[0],&li364[0],&li365[0],
1856       &li366[0],&li367[0],&li368[0],&li369[0],&li370[0],&li371[0],
1857       &li372[0],&li373[0],&li374[0],&li375[0],&li376[0],&li377[0],
1858       &li378[0],&li379[0],&li380[0],&li381[0],&li382[0],&li383[0],
1859       &li384[0],&li385[0],&li386[0],&li387[0],&li388[0],&li389[0],
1860       &li390[0],&li391[0],&li392[0],&li393[0],&li394[0],&li395[0],
1861       &li396[0],&li397[0],&li398[0],&li399[0],
1862     };
1863
1864     /// Help class to create and register tests
1865     class Create {
1866     public:
1867       /// Perform creation and registration
1868       Create(void) {
1869         int n = sizeof(li)/sizeof(LinInstr*);
1870         for (int i=0; i<n; i++) {
1871           std::string s = Test::str(i);
1872           if (i < 10) {
1873             s = "00" + s;
1874           } else if (i < 100) {
1875             s = "0" + s;
1876           }
1877           (void) new LinExpr(li[i],s);
1878         }
1879         FloatRelTypes frts;
1880         for (int i=0; i<n/2; i++) {
1881           std::string s = Test::str(i);
1882           if (i < 10) {
1883             s = "00" + s;
1884           } else if (i < 100) {
1885             s = "0" + s;
1886           }
1887           (void) new LinRel(li[2*i],li[2*i+1],frts.frt(),s);
1888           ++frts;
1889           if (!frts())
1890             frts.reset();
1891         }
1892       }
1893     };
1894
1895     Create c;
1896     //@}
1897   }
1898
1899}}
1900
1901// STATISTICS: test-minimodel