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