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