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