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