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