Generated on Mon Sep 17 2012 22:20:47 for Gecode by doxygen 1.8.1.1
mm-set.cpp
Go to the documentation of this file.
1 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2 /*
3  * Main authors:
4  * Christian Schulte <schulte@gecode.org>
5  *
6  * Copyright:
7  * Christian Schulte, 2008
8  *
9  * Last modified:
10  * $Date: 2010-07-16 19:05:32 +1000 (Fri, 16 Jul 2010) $ by $Author: tack $
11  * $Revision: 11209 $
12  *
13  * This file is part of Gecode, the generic constraint
14  * development environment:
15  * http://www.gecode.org
16  *
17  * Permission is hereby granted, free of charge, to any person obtaining
18  * a copy of this software and associated documentation files (the
19  * "Software"), to deal in the Software without restriction, including
20  * without limitation the rights to use, copy, modify, merge, publish,
21  * distribute, sublicense, and/or sell copies of the Software, and to
22  * permit persons to whom the Software is furnished to do so, subject to
23  * the following conditions:
24  *
25  * The above copyright notice and this permission notice shall be
26  * included in all copies or substantial portions of the Software.
27  *
28  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
29  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
30  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
31  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
32  * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
33  * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
34  * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
35  *
36  */
37 
38 #include "test/int.hh"
39 
40 #include <gecode/minimodel.hh>
41 
42 namespace Test { namespace Int {
43 
45  namespace MiniModelSet {
46 
48  enum SetOpcode {
55  };
56 
58  class SetInstr {
59  public:
61  unsigned char x, y, z;
62  };
63 
65  int
66  eval(const SetInstr* pc, int reg[], bool& failed) {
67  failed = false;
68  while (true) {
69  switch (pc->o) {
70  case SO_CMPL: reg[pc->y] = !reg[pc->x]; break;
71  case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break;
72  case SO_UNION: reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
73  case SO_DUNION:
74  if (reg[pc->x] && reg[pc->y])
75  failed = true;
76  reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
77  case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break;
78  case SO_HLT: return reg[pc->x];
79  default: GECODE_NEVER;
80  }
81  pc++;
82  }
84  }
85 
88  eval(const SetInstr* pc, Gecode::SetExpr reg[]) {
89  using namespace Gecode;
90  while (true) {
91  switch (pc->o) {
92  case SO_CMPL: reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break;
93  case SO_INTER: reg[pc->z] = (reg[pc->x] & reg[pc->y]); break;
94  case SO_UNION: reg[pc->z] = (reg[pc->x] | reg[pc->y]); break;
95  case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
96  case SO_MINUS: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
97  case SO_HLT: return reg[pc->x];
98  default: GECODE_NEVER;
99  }
100  pc++;
101  }
102  GECODE_NEVER;
103  }
104 
105  bool
107  while (pc->o != SO_HLT) {
108  if (pc->o == SO_DUNION)
109  return false;
110  pc++;
111  }
112  return true;
113  }
114 
120 
121  class SetExprConst : public Test {
122  protected:
124  const SetInstr* bis;
126  int c;
129  public:
131  SetExprConst(const SetInstr* bis0, const std::string& s,
132  Gecode::SetRelType srt0, int c0)
133  : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0),
134  4,0,1,simpleReifiedSemantics(bis0)),
135  bis(bis0), c(c0), srt(srt0) {}
137  virtual bool solution(const Assignment& x) const {
138  int reg[4] = {(x[0] != x[2]), x[1],
139  (x[2] > 0), x[3]};
140  bool failed;
141  int ret = eval(bis, reg, failed);
142  if (failed)
143  return false;
144  switch (srt) {
145  case Gecode::SRT_EQ: return ret == c;
146  case Gecode::SRT_NQ: return ret != c;
147  case Gecode::SRT_SUB: return ret <= c;
148  case Gecode::SRT_SUP: return ret >= c;
149  case Gecode::SRT_DISJ: return ret+c != 2;
150  case Gecode::SRT_CMPL: return ret != c;
151  }
152  GECODE_NEVER;
153  return false;
154  }
156  virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
157  using namespace Gecode;
158  SetVarArgs s(home,4,IntSet::empty,1,1);
159  Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
160  Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
161  Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
162  Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
163  Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
164  Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
165  Gecode::SetExpr e = eval(bis,reg);
166  switch (srt) {
167  case Gecode::SRT_EQ: Gecode::rel(home, e == res); break;
168  case Gecode::SRT_NQ: Gecode::rel(home, e != res); break;
169  case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break;
170  case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break;
171  case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break;
172  case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break;
173  }
174  }
176  virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
177  Gecode::BoolVar b) {
178  using namespace Gecode;
179  SetVarArgs s(home,4,IntSet::empty,1,1);
180  Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
181  Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
182  Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
183  Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
184  Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
185  Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
186  Gecode::SetExpr e = eval(bis,reg);
187  switch (srt) {
188  case Gecode::SRT_EQ: Gecode::rel(home, (e == res)==b); break;
189  case Gecode::SRT_NQ: Gecode::rel(home, (e != res)==b); break;
190  case Gecode::SRT_SUB: Gecode::rel(home, (e <= res)==b); break;
191  case Gecode::SRT_SUP: Gecode::rel(home, (e >= res)==b); break;
192  case Gecode::SRT_DISJ: Gecode::rel(home, (e || res)==b); break;
193  case Gecode::SRT_CMPL: Gecode::rel(home, (e == -res)==b); break;
194  }
195  }
196  };
197 
199  class SetExprExpr : public Test {
200  protected:
202  const SetInstr* bis0;
204  const SetInstr* bis1;
207  public:
209  SetExprExpr(const SetInstr* bis00, const SetInstr* bis10,
210  const std::string& s, Gecode::SetRelType srt0)
211  : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0),
212  8,0,1,
213  simpleReifiedSemantics(bis00) &&
214  simpleReifiedSemantics(bis10)),
215  bis0(bis00), bis1(bis10), srt(srt0) {}
217  virtual bool solution(const Assignment& x) const {
218  int reg0[4] = {(x[0] != x[2]), x[1],
219  (x[2] > 0), x[3]};
220  bool failed0;
221  int ret0 = eval(bis0, reg0, failed0);
222  if (failed0)
223  return false;
224 
225  int reg1[4] = {(x[4] != x[6]), x[5],
226  (x[6] > 0), x[7]};
227  bool failed1;
228  int ret1 = eval(bis1, reg1, failed1);
229 
230  if (failed1)
231  return false;
232 
233  switch (srt) {
234  case Gecode::SRT_EQ: return ret0 == ret1;
235  case Gecode::SRT_NQ: return ret0 != ret1;
236  case Gecode::SRT_SUB: return ret0 <= ret1;
237  case Gecode::SRT_SUP: return ret0 >= ret1;
238  case Gecode::SRT_DISJ: return ret0+ret1 != 2;
239  case Gecode::SRT_CMPL: return ret0 != ret1;
240  }
241  GECODE_NEVER;
242  return false;
243  }
245  virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
246  using namespace Gecode;
247  SetVarArgs s(home,8,IntSet::empty,1,1);
248  Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
249  Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
250  Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
251  Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
252 
253  Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
254  Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
255  Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
256  Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
257 
258  Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
259  Gecode::SetExpr e0 = eval(bis0,reg0);
260 
261  Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
262  Gecode::SetExpr e1 = eval(bis1,reg1);
263 
264  switch (srt) {
265  case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break;
266  case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break;
267  case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break;
268  case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break;
269  case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break;
270  case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break;
271  }
272  }
274  virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
275  Gecode::BoolVar b) {
276  using namespace Gecode;
277  SetVarArgs s(home,8,IntSet::empty,1,1);
278  Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
279  Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
280  Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
281  Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
282 
283  Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
284  Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
285  Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
286  Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
287 
288  Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
289  Gecode::SetExpr e0 = eval(bis0,reg0);
290 
291  Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
292  Gecode::SetExpr e1 = eval(bis1,reg1);
293 
294  switch (srt) {
295  case Gecode::SRT_EQ: Gecode::rel(home, (e0 == e1)==b); break;
296  case Gecode::SRT_NQ: Gecode::rel(home, (e0 != e1)==b); break;
297  case Gecode::SRT_SUB: Gecode::rel(home, (e0 <= e1)==b); break;
298  case Gecode::SRT_SUP: Gecode::rel(home, (e0 >= e1)==b); break;
299  case Gecode::SRT_DISJ: Gecode::rel(home, (e0 || e1)==b); break;
300  case Gecode::SRT_CMPL: Gecode::rel(home, (e0 == -e1)==b); break;
301  }
302  }
303  };
304 
305  const SetInstr si000[] = {
306  {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
307  {SO_HLT,0,0,0}
308  };
309  const SetInstr si001[] = {
310  {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
311  {SO_HLT,0,0,0}
312  };
313  const SetInstr si002[] = {
314  {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
315  {SO_HLT,0,0,0}
316  };
317  const SetInstr si003[] = {
318  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
319  {SO_INTER,0,1,0},
320  {SO_HLT,0,0,0}
321  };
322  const SetInstr si004[] = {
323  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
324  {SO_INTER,2,3,1},{SO_INTER,0,1,0},
325  {SO_HLT,0,0,0}
326  };
327  const SetInstr si005[] = {
328  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
329  {SO_INTER,0,1,0},
330  {SO_HLT,0,0,0}
331  };
332  const SetInstr si006[] = {
333  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
334  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
335  {SO_HLT,0,0,0}
336  };
337  const SetInstr si007[] = {
338  {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
339  {SO_HLT,0,0,0}
340  };
341  const SetInstr si008[] = {
342  {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
343  {SO_HLT,0,0,0}
344  };
345  const SetInstr si009[] = {
346  {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
347  {SO_HLT,0,0,0}
348  };
349  const SetInstr si010[] = {
350  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
351  {SO_UNION ,0,1,0},
352  {SO_HLT,0,0,0}
353  };
354  const SetInstr si011[] = {
355  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
356  {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
357  {SO_HLT,0,0,0}
358  };
359  const SetInstr si012[] = {
360  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
361  {SO_UNION ,0,1,0},
362  {SO_HLT,0,0,0}
363  };
364  const SetInstr si013[] = {
365  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
366  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
367  {SO_HLT,0,0,0}
368  };
369  const SetInstr si014[] = {
370  {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
371  {SO_HLT,0,0,0}
372  };
373  const SetInstr si015[] = {
374  {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
375  {SO_HLT,0,0,0}
376  };
377  const SetInstr si016[] = {
378  {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
379  {SO_HLT,0,0,0}
380  };
381  const SetInstr si017[] = {
382  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
383  {SO_UNION,0,1,0},
384  {SO_HLT,0,0,0}
385  };
386  const SetInstr si018[] = {
387  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
388  {SO_INTER,2,3,1},{SO_UNION,0,1,0},
389  {SO_HLT,0,0,0}
390  };
391  const SetInstr si019[] = {
392  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
393  {SO_UNION,0,1,0},
394  {SO_HLT,0,0,0}
395  };
396  const SetInstr si020[] = {
397  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
398  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
399  {SO_HLT,0,0,0}
400  };
401  const SetInstr si021[] = {
402  {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
403  {SO_HLT,0,0,0}
404  };
405  const SetInstr si022[] = {
406  {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
407  {SO_HLT,0,0,0}
408  };
409  const SetInstr si023[] = {
410  {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
411  {SO_HLT,0,0,0}
412  };
413  const SetInstr si024[] = {
414  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
415  {SO_DUNION,0,1,0},
416  {SO_HLT,0,0,0}
417  };
418  const SetInstr si025[] = {
419  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
420  {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
421  {SO_HLT,0,0,0}
422  };
423  const SetInstr si026[] = {
424  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
425  {SO_DUNION,0,1,0},
426  {SO_HLT,0,0,0}
427  };
428  const SetInstr si027[] = {
429  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
430  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
431  {SO_HLT,0,0,0}
432  };
433  const SetInstr si028[] = {
434  {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
435  {SO_HLT,0,0,0}
436  };
437  const SetInstr si029[] = {
438  {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
439  {SO_HLT,0,0,0}
440  };
441  const SetInstr si030[] = {
442  {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
443  {SO_HLT,0,0,0}
444  };
445  const SetInstr si031[] = {
446  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
447  {SO_MINUS,0,1,0},
448  {SO_HLT,0,0,0}
449  };
450  const SetInstr si032[] = {
451  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
452  {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
453  {SO_HLT,0,0,0}
454  };
455  const SetInstr si033[] = {
456  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
457  {SO_MINUS,0,1,0},
458  {SO_HLT,0,0,0}
459  };
460  const SetInstr si034[] = {
461  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
462  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
463  {SO_HLT,0,0,0}
464  };
465  const SetInstr si035[] = {
466  {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
467  {SO_HLT,0,0,0}
468  };
469  const SetInstr si036[] = {
470  {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
471  {SO_HLT,0,0,0}
472  };
473  const SetInstr si037[] = {
474  {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
475  {SO_HLT,0,0,0}
476  };
477  const SetInstr si038[] = {
478  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
479  {SO_INTER,0,1,0},
480  {SO_HLT,0,0,0}
481  };
482  const SetInstr si039[] = {
483  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
484  {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
485  {SO_HLT,0,0,0}
486  };
487  const SetInstr si040[] = {
488  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
489  {SO_INTER,0,1,0},
490  {SO_HLT,0,0,0}
491  };
492  const SetInstr si041[] = {
493  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
494  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
495  {SO_HLT,0,0,0}
496  };
497  const SetInstr si042[] = {
498  {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
499  {SO_HLT,0,0,0}
500  };
501  const SetInstr si043[] = {
502  {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
503  {SO_HLT,0,0,0}
504  };
505  const SetInstr si044[] = {
506  {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
507  {SO_HLT,0,0,0}
508  };
509  const SetInstr si045[] = {
510  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
511  {SO_UNION ,0,1,0},
512  {SO_HLT,0,0,0}
513  };
514  const SetInstr si046[] = {
515  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
516  {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
517  {SO_HLT,0,0,0}
518  };
519  const SetInstr si047[] = {
520  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
521  {SO_UNION ,0,1,0},
522  {SO_HLT,0,0,0}
523  };
524  const SetInstr si048[] = {
525  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
526  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
527  {SO_HLT,0,0,0}
528  };
529  const SetInstr si049[] = {
530  {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
531  {SO_HLT,0,0,0}
532  };
533  const SetInstr si050[] = {
534  {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
535  {SO_HLT,0,0,0}
536  };
537  const SetInstr si051[] = {
538  {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
539  {SO_HLT,0,0,0}
540  };
541  const SetInstr si052[] = {
542  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
543  {SO_UNION,0,1,0},
544  {SO_HLT,0,0,0}
545  };
546  const SetInstr si053[] = {
547  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
548  {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
549  {SO_HLT,0,0,0}
550  };
551  const SetInstr si054[] = {
552  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
553  {SO_UNION,0,1,0},
554  {SO_HLT,0,0,0}
555  };
556  const SetInstr si055[] = {
557  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
558  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
559  {SO_HLT,0,0,0}
560  };
561  const SetInstr si056[] = {
562  {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
563  {SO_HLT,0,0,0}
564  };
565  const SetInstr si057[] = {
566  {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
567  {SO_HLT,0,0,0}
568  };
569  const SetInstr si058[] = {
570  {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
571  {SO_HLT,0,0,0}
572  };
573  const SetInstr si059[] = {
574  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
575  {SO_DUNION,0,1,0},
576  {SO_HLT,0,0,0}
577  };
578  const SetInstr si060[] = {
579  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
580  {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
581  {SO_HLT,0,0,0}
582  };
583  const SetInstr si061[] = {
584  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
585  {SO_DUNION,0,1,0},
586  {SO_HLT,0,0,0}
587  };
588  const SetInstr si062[] = {
589  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
590  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
591  {SO_HLT,0,0,0}
592  };
593  const SetInstr si063[] = {
594  {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
595  {SO_HLT,0,0,0}
596  };
597  const SetInstr si064[] = {
598  {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
599  {SO_HLT,0,0,0}
600  };
601  const SetInstr si065[] = {
602  {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
603  {SO_HLT,0,0,0}
604  };
605  const SetInstr si066[] = {
606  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
607  {SO_MINUS,0,1,0},
608  {SO_HLT,0,0,0}
609  };
610  const SetInstr si067[] = {
611  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
612  {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
613  {SO_HLT,0,0,0}
614  };
615  const SetInstr si068[] = {
616  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
617  {SO_MINUS,0,1,0},
618  {SO_HLT,0,0,0}
619  };
620  const SetInstr si069[] = {
621  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
622  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
623  {SO_HLT,0,0,0}
624  };
625  const SetInstr si070[] = {
626  {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
627  {SO_HLT,0,0,0}
628  };
629  const SetInstr si071[] = {
630  {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
631  {SO_HLT,0,0,0}
632  };
633  const SetInstr si072[] = {
634  {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
635  {SO_HLT,0,0,0}
636  };
637  const SetInstr si073[] = {
638  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
639  {SO_INTER,0,1,0},
640  {SO_HLT,0,0,0}
641  };
642  const SetInstr si074[] = {
643  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
644  {SO_UNION,2,3,1},{SO_INTER,0,1,0},
645  {SO_HLT,0,0,0}
646  };
647  const SetInstr si075[] = {
648  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
649  {SO_INTER,0,1,0},
650  {SO_HLT,0,0,0}
651  };
652  const SetInstr si076[] = {
653  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
654  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
655  {SO_HLT,0,0,0}
656  };
657  const SetInstr si077[] = {
658  {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
659  {SO_HLT,0,0,0}
660  };
661  const SetInstr si078[] = {
662  {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
663  {SO_HLT,0,0,0}
664  };
665  const SetInstr si079[] = {
666  {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
667  {SO_HLT,0,0,0}
668  };
669  const SetInstr si080[] = {
670  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
671  {SO_UNION ,0,1,0},
672  {SO_HLT,0,0,0}
673  };
674  const SetInstr si081[] = {
675  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
676  {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
677  {SO_HLT,0,0,0}
678  };
679  const SetInstr si082[] = {
680  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
681  {SO_UNION ,0,1,0},
682  {SO_HLT,0,0,0}
683  };
684  const SetInstr si083[] = {
685  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
686  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
687  {SO_HLT,0,0,0}
688  };
689  const SetInstr si084[] = {
690  {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
691  {SO_HLT,0,0,0}
692  };
693  const SetInstr si085[] = {
694  {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
695  {SO_HLT,0,0,0}
696  };
697  const SetInstr si086[] = {
698  {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
699  {SO_HLT,0,0,0}
700  };
701  const SetInstr si087[] = {
702  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
703  {SO_UNION,0,1,0},
704  {SO_HLT,0,0,0}
705  };
706  const SetInstr si088[] = {
707  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
708  {SO_UNION,2,3,1},{SO_UNION,0,1,0},
709  {SO_HLT,0,0,0}
710  };
711  const SetInstr si089[] = {
712  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
713  {SO_UNION,0,1,0},
714  {SO_HLT,0,0,0}
715  };
716  const SetInstr si090[] = {
717  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
718  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
719  {SO_HLT,0,0,0}
720  };
721  const SetInstr si091[] = {
722  {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
723  {SO_HLT,0,0,0}
724  };
725  const SetInstr si092[] = {
726  {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
727  {SO_HLT,0,0,0}
728  };
729  const SetInstr si093[] = {
730  {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
731  {SO_HLT,0,0,0}
732  };
733  const SetInstr si094[] = {
734  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
735  {SO_DUNION,0,1,0},
736  {SO_HLT,0,0,0}
737  };
738  const SetInstr si095[] = {
739  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
740  {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
741  {SO_HLT,0,0,0}
742  };
743  const SetInstr si096[] = {
744  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
745  {SO_DUNION,0,1,0},
746  {SO_HLT,0,0,0}
747  };
748  const SetInstr si097[] = {
749  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
750  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
751  {SO_HLT,0,0,0}
752  };
753  const SetInstr si098[] = {
754  {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
755  {SO_HLT,0,0,0}
756  };
757  const SetInstr si099[] = {
758  {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
759  {SO_HLT,0,0,0}
760  };
761  const SetInstr si100[] = {
762  {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
763  {SO_HLT,0,0,0}
764  };
765  const SetInstr si101[] = {
766  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
767  {SO_MINUS,0,1,0},
768  {SO_HLT,0,0,0}
769  };
770  const SetInstr si102[] = {
771  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
772  {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
773  {SO_HLT,0,0,0}
774  };
775  const SetInstr si103[] = {
776  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
777  {SO_MINUS,0,1,0},
778  {SO_HLT,0,0,0}
779  };
780  const SetInstr si104[] = {
781  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
782  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
783  {SO_HLT,0,0,0}
784  };
785  const SetInstr si105[] = {
786  {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
787  {SO_HLT,0,0,0}
788  };
789  const SetInstr si106[] = {
790  {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
791  {SO_HLT,0,0,0}
792  };
793  const SetInstr si107[] = {
794  {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
795  {SO_HLT,0,0,0}
796  };
797  const SetInstr si108[] = {
798  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
799  {SO_INTER,0,1,0},
800  {SO_HLT,0,0,0}
801  };
802  const SetInstr si109[] = {
803  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
804  {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
805  {SO_HLT,0,0,0}
806  };
807  const SetInstr si110[] = {
808  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
809  {SO_INTER,0,1,0},
810  {SO_HLT,0,0,0}
811  };
812  const SetInstr si111[] = {
813  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
814  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
815  {SO_HLT,0,0,0}
816  };
817  const SetInstr si112[] = {
818  {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
819  {SO_HLT,0,0,0}
820  };
821  const SetInstr si113[] = {
822  {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
823  {SO_HLT,0,0,0}
824  };
825  const SetInstr si114[] = {
826  {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
827  {SO_HLT,0,0,0}
828  };
829  const SetInstr si115[] = {
830  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
831  {SO_UNION ,0,1,0},
832  {SO_HLT,0,0,0}
833  };
834  const SetInstr si116[] = {
835  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
836  {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
837  {SO_HLT,0,0,0}
838  };
839  const SetInstr si117[] = {
840  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
841  {SO_UNION ,0,1,0},
842  {SO_HLT,0,0,0}
843  };
844  const SetInstr si118[] = {
845  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
846  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
847  {SO_HLT,0,0,0}
848  };
849  const SetInstr si119[] = {
850  {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
851  {SO_HLT,0,0,0}
852  };
853  const SetInstr si120[] = {
854  {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
855  {SO_HLT,0,0,0}
856  };
857  const SetInstr si121[] = {
858  {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
859  {SO_HLT,0,0,0}
860  };
861  const SetInstr si122[] = {
862  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
863  {SO_UNION,0,1,0},
864  {SO_HLT,0,0,0}
865  };
866  const SetInstr si123[] = {
867  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
868  {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
869  {SO_HLT,0,0,0}
870  };
871  const SetInstr si124[] = {
872  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
873  {SO_UNION,0,1,0},
874  {SO_HLT,0,0,0}
875  };
876  const SetInstr si125[] = {
877  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
878  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
879  {SO_HLT,0,0,0}
880  };
881  const SetInstr si126[] = {
882  {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
883  {SO_HLT,0,0,0}
884  };
885  const SetInstr si127[] = {
886  {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
887  {SO_HLT,0,0,0}
888  };
889  const SetInstr si128[] = {
890  {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
891  {SO_HLT,0,0,0}
892  };
893  const SetInstr si129[] = {
894  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
895  {SO_DUNION,0,1,0},
896  {SO_HLT,0,0,0}
897  };
898  const SetInstr si130[] = {
899  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
900  {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
901  {SO_HLT,0,0,0}
902  };
903  const SetInstr si131[] = {
904  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
905  {SO_DUNION,0,1,0},
906  {SO_HLT,0,0,0}
907  };
908  const SetInstr si132[] = {
909  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
910  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
911  {SO_HLT,0,0,0}
912  };
913  const SetInstr si133[] = {
914  {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
915  {SO_HLT,0,0,0}
916  };
917  const SetInstr si134[] = {
918  {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
919  {SO_HLT,0,0,0}
920  };
921  const SetInstr si135[] = {
922  {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
923  {SO_HLT,0,0,0}
924  };
925  const SetInstr si136[] = {
926  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
927  {SO_MINUS,0,1,0},
928  {SO_HLT,0,0,0}
929  };
930  const SetInstr si137[] = {
931  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
932  {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
933  {SO_HLT,0,0,0}
934  };
935  const SetInstr si138[] = {
936  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
937  {SO_MINUS,0,1,0},
938  {SO_HLT,0,0,0}
939  };
940  const SetInstr si139[] = {
941  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
942  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
943  {SO_HLT,0,0,0}
944  };
945  const SetInstr si140[] = {
946  {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
947  {SO_HLT,0,0,0}
948  };
949  const SetInstr si141[] = {
950  {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
951  {SO_HLT,0,0,0}
952  };
953  const SetInstr si142[] = {
954  {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
955  {SO_HLT,0,0,0}
956  };
957  const SetInstr si143[] = {
958  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
959  {SO_INTER,0,1,0},
960  {SO_HLT,0,0,0}
961  };
962  const SetInstr si144[] = {
963  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
964  {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
965  {SO_HLT,0,0,0}
966  };
967  const SetInstr si145[] = {
968  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
969  {SO_INTER,0,1,0},
970  {SO_HLT,0,0,0}
971  };
972  const SetInstr si146[] = {
973  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
974  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
975  {SO_HLT,0,0,0}
976  };
977  const SetInstr si147[] = {
978  {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
979  {SO_HLT,0,0,0}
980  };
981  const SetInstr si148[] = {
982  {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
983  {SO_HLT,0,0,0}
984  };
985  const SetInstr si149[] = {
986  {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
987  {SO_HLT,0,0,0}
988  };
989  const SetInstr si150[] = {
990  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
991  {SO_UNION ,0,1,0},
992  {SO_HLT,0,0,0}
993  };
994  const SetInstr si151[] = {
995  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
996  {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
997  {SO_HLT,0,0,0}
998  };
999  const SetInstr si152[] = {
1000  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1001  {SO_UNION ,0,1,0},
1002  {SO_HLT,0,0,0}
1003  };
1004  const SetInstr si153[] = {
1005  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1006  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1007  {SO_HLT,0,0,0}
1008  };
1009  const SetInstr si154[] = {
1010  {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
1011  {SO_HLT,0,0,0}
1012  };
1013  const SetInstr si155[] = {
1014  {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
1015  {SO_HLT,0,0,0}
1016  };
1017  const SetInstr si156[] = {
1018  {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
1019  {SO_HLT,0,0,0}
1020  };
1021  const SetInstr si157[] = {
1022  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
1023  {SO_UNION,0,1,0},
1024  {SO_HLT,0,0,0}
1025  };
1026  const SetInstr si158[] = {
1027  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
1028  {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
1029  {SO_HLT,0,0,0}
1030  };
1031  const SetInstr si159[] = {
1032  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1033  {SO_UNION,0,1,0},
1034  {SO_HLT,0,0,0}
1035  };
1036  const SetInstr si160[] = {
1037  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1038  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1039  {SO_HLT,0,0,0}
1040  };
1041  const SetInstr si161[] = {
1042  {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
1043  {SO_HLT,0,0,0}
1044  };
1045  const SetInstr si162[] = {
1046  {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
1047  {SO_HLT,0,0,0}
1048  };
1049  const SetInstr si163[] = {
1050  {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
1051  {SO_HLT,0,0,0}
1052  };
1053  const SetInstr si164[] = {
1054  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
1055  {SO_DUNION,0,1,0},
1056  {SO_HLT,0,0,0}
1057  };
1058  const SetInstr si165[] = {
1059  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
1060  {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
1061  {SO_HLT,0,0,0}
1062  };
1063  const SetInstr si166[] = {
1064  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1065  {SO_DUNION,0,1,0},
1066  {SO_HLT,0,0,0}
1067  };
1068  const SetInstr si167[] = {
1069  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1070  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1071  {SO_HLT,0,0,0}
1072  };
1073  const SetInstr si168[] = {
1074  {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
1075  {SO_HLT,0,0,0}
1076  };
1077  const SetInstr si169[] = {
1078  {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
1079  {SO_HLT,0,0,0}
1080  };
1081  const SetInstr si170[] = {
1082  {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
1083  {SO_HLT,0,0,0}
1084  };
1085  const SetInstr si171[] = {
1086  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
1087  {SO_MINUS,0,1,0},
1088  {SO_HLT,0,0,0}
1089  };
1090  const SetInstr si172[] = {
1091  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
1092  {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
1093  {SO_HLT,0,0,0}
1094  };
1095  const SetInstr si173[] = {
1096  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1097  {SO_MINUS,0,1,0},
1098  {SO_HLT,0,0,0}
1099  };
1100  const SetInstr si174[] = {
1101  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1102  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1103  {SO_HLT,0,0,0}
1104  };
1105  const SetInstr si175[] = {
1106  {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
1107  {SO_HLT,0,0,0}
1108  };
1109  const SetInstr si176[] = {
1110  {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
1111  {SO_HLT,0,0,0}
1112  };
1113  const SetInstr si177[] = {
1114  {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
1115  {SO_HLT,0,0,0}
1116  };
1117  const SetInstr si178[] = {
1118  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
1119  {SO_INTER,0,1,0},
1120  {SO_HLT,0,0,0}
1121  };
1122  const SetInstr si179[] = {
1123  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1124  {SO_INTER,2,3,1},{SO_INTER,0,1,0},
1125  {SO_HLT,0,0,0}
1126  };
1127  const SetInstr si180[] = {
1128  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1129  {SO_INTER,0,1,0},
1130  {SO_HLT,0,0,0}
1131  };
1132  const SetInstr si181[] = {
1133  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1134  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1135  {SO_HLT,0,0,0}
1136  };
1137  const SetInstr si182[] = {
1138  {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
1139  {SO_HLT,0,0,0}
1140  };
1141  const SetInstr si183[] = {
1142  {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
1143  {SO_HLT,0,0,0}
1144  };
1145  const SetInstr si184[] = {
1146  {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
1147  {SO_HLT,0,0,0}
1148  };
1149  const SetInstr si185[] = {
1150  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
1151  {SO_UNION ,0,1,0},
1152  {SO_HLT,0,0,0}
1153  };
1154  const SetInstr si186[] = {
1155  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1156  {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
1157  {SO_HLT,0,0,0}
1158  };
1159  const SetInstr si187[] = {
1160  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1161  {SO_UNION ,0,1,0},
1162  {SO_HLT,0,0,0}
1163  };
1164  const SetInstr si188[] = {
1165  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1166  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1167  {SO_HLT,0,0,0}
1168  };
1169  const SetInstr si189[] = {
1170  {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
1171  {SO_HLT,0,0,0}
1172  };
1173  const SetInstr si190[] = {
1174  {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
1175  {SO_HLT,0,0,0}
1176  };
1177  const SetInstr si191[] = {
1178  {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
1179  {SO_HLT,0,0,0}
1180  };
1181  const SetInstr si192[] = {
1182  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
1183  {SO_UNION,0,1,0},
1184  {SO_HLT,0,0,0}
1185  };
1186  const SetInstr si193[] = {
1187  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1188  {SO_INTER,2,3,1},{SO_UNION,0,1,0},
1189  {SO_HLT,0,0,0}
1190  };
1191  const SetInstr si194[] = {
1192  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1193  {SO_UNION,0,1,0},
1194  {SO_HLT,0,0,0}
1195  };
1196  const SetInstr si195[] = {
1197  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1198  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1199  {SO_HLT,0,0,0}
1200  };
1201  const SetInstr si196[] = {
1202  {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
1203  {SO_HLT,0,0,0}
1204  };
1205  const SetInstr si197[] = {
1206  {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
1207  {SO_HLT,0,0,0}
1208  };
1209  const SetInstr si198[] = {
1210  {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
1211  {SO_HLT,0,0,0}
1212  };
1213  const SetInstr si199[] = {
1214  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
1215  {SO_DUNION,0,1,0},
1216  {SO_HLT,0,0,0}
1217  };
1218  const SetInstr si200[] = {
1219  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1220  {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
1221  {SO_HLT,0,0,0}
1222  };
1223  const SetInstr si201[] = {
1224  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1225  {SO_DUNION,0,1,0},
1226  {SO_HLT,0,0,0}
1227  };
1228  const SetInstr si202[] = {
1229  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1230  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1231  {SO_HLT,0,0,0}
1232  };
1233  const SetInstr si203[] = {
1234  {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
1235  {SO_HLT,0,0,0}
1236  };
1237  const SetInstr si204[] = {
1238  {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
1239  {SO_HLT,0,0,0}
1240  };
1241  const SetInstr si205[] = {
1242  {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
1243  {SO_HLT,0,0,0}
1244  };
1245  const SetInstr si206[] = {
1246  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
1247  {SO_MINUS,0,1,0},
1248  {SO_HLT,0,0,0}
1249  };
1250  const SetInstr si207[] = {
1251  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1252  {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
1253  {SO_HLT,0,0,0}
1254  };
1255  const SetInstr si208[] = {
1256  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1257  {SO_MINUS,0,1,0},
1258  {SO_HLT,0,0,0}
1259  };
1260  const SetInstr si209[] = {
1261  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1262  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1263  {SO_HLT,0,0,0}
1264  };
1265  const SetInstr si210[] = {
1266  {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
1267  {SO_HLT,0,0,0}
1268  };
1269  const SetInstr si211[] = {
1270  {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
1271  {SO_HLT,0,0,0}
1272  };
1273  const SetInstr si212[] = {
1274  {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
1275  {SO_HLT,0,0,0}
1276  };
1277  const SetInstr si213[] = {
1278  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
1279  {SO_INTER,0,1,0},
1280  {SO_HLT,0,0,0}
1281  };
1282  const SetInstr si214[] = {
1283  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1284  {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
1285  {SO_HLT,0,0,0}
1286  };
1287  const SetInstr si215[] = {
1288  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1289  {SO_INTER,0,1,0},
1290  {SO_HLT,0,0,0}
1291  };
1292  const SetInstr si216[] = {
1293  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1294  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1295  {SO_HLT,0,0,0}
1296  };
1297  const SetInstr si217[] = {
1298  {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
1299  {SO_HLT,0,0,0}
1300  };
1301  const SetInstr si218[] = {
1302  {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
1303  {SO_HLT,0,0,0}
1304  };
1305  const SetInstr si219[] = {
1306  {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
1307  {SO_HLT,0,0,0}
1308  };
1309  const SetInstr si220[] = {
1310  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
1311  {SO_UNION ,0,1,0},
1312  {SO_HLT,0,0,0}
1313  };
1314  const SetInstr si221[] = {
1315  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1316  {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
1317  {SO_HLT,0,0,0}
1318  };
1319  const SetInstr si222[] = {
1320  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1321  {SO_UNION ,0,1,0},
1322  {SO_HLT,0,0,0}
1323  };
1324  const SetInstr si223[] = {
1325  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1326  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1327  {SO_HLT,0,0,0}
1328  };
1329  const SetInstr si224[] = {
1330  {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
1331  {SO_HLT,0,0,0}
1332  };
1333  const SetInstr si225[] = {
1334  {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
1335  {SO_HLT,0,0,0}
1336  };
1337  const SetInstr si226[] = {
1338  {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
1339  {SO_HLT,0,0,0}
1340  };
1341  const SetInstr si227[] = {
1342  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
1343  {SO_UNION,0,1,0},
1344  {SO_HLT,0,0,0}
1345  };
1346  const SetInstr si228[] = {
1347  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1348  {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
1349  {SO_HLT,0,0,0}
1350  };
1351  const SetInstr si229[] = {
1352  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1353  {SO_UNION,0,1,0},
1354  {SO_HLT,0,0,0}
1355  };
1356  const SetInstr si230[] = {
1357  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1358  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1359  {SO_HLT,0,0,0}
1360  };
1361  const SetInstr si231[] = {
1362  {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
1363  {SO_HLT,0,0,0}
1364  };
1365  const SetInstr si232[] = {
1366  {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
1367  {SO_HLT,0,0,0}
1368  };
1369  const SetInstr si233[] = {
1370  {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
1371  {SO_HLT,0,0,0}
1372  };
1373  const SetInstr si234[] = {
1374  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
1375  {SO_DUNION,0,1,0},
1376  {SO_HLT,0,0,0}
1377  };
1378  const SetInstr si235[] = {
1379  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1380  {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
1381  {SO_HLT,0,0,0}
1382  };
1383  const SetInstr si236[] = {
1384  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1385  {SO_DUNION,0,1,0},
1386  {SO_HLT,0,0,0}
1387  };
1388  const SetInstr si237[] = {
1389  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1390  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1391  {SO_HLT,0,0,0}
1392  };
1393  const SetInstr si238[] = {
1394  {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
1395  {SO_HLT,0,0,0}
1396  };
1397  const SetInstr si239[] = {
1398  {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
1399  {SO_HLT,0,0,0}
1400  };
1401  const SetInstr si240[] = {
1402  {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
1403  {SO_HLT,0,0,0}
1404  };
1405  const SetInstr si241[] = {
1406  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
1407  {SO_MINUS,0,1,0},
1408  {SO_HLT,0,0,0}
1409  };
1410  const SetInstr si242[] = {
1411  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1412  {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
1413  {SO_HLT,0,0,0}
1414  };
1415  const SetInstr si243[] = {
1416  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1417  {SO_MINUS,0,1,0},
1418  {SO_HLT,0,0,0}
1419  };
1420  const SetInstr si244[] = {
1421  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
1422  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1423  {SO_HLT,0,0,0}
1424  };
1425  const SetInstr si245[] = {
1426  {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
1427  {SO_HLT,0,0,0}
1428  };
1429  const SetInstr si246[] = {
1430  {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
1431  {SO_HLT,0,0,0}
1432  };
1433  const SetInstr si247[] = {
1434  {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
1435  {SO_HLT,0,0,0}
1436  };
1437  const SetInstr si248[] = {
1438  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
1439  {SO_INTER,0,1,0},
1440  {SO_HLT,0,0,0}
1441  };
1442  const SetInstr si249[] = {
1443  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1444  {SO_UNION,2,3,1},{SO_INTER,0,1,0},
1445  {SO_HLT,0,0,0}
1446  };
1447  const SetInstr si250[] = {
1448  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1449  {SO_INTER,0,1,0},
1450  {SO_HLT,0,0,0}
1451  };
1452  const SetInstr si251[] = {
1453  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1454  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1455  {SO_HLT,0,0,0}
1456  };
1457  const SetInstr si252[] = {
1458  {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
1459  {SO_HLT,0,0,0}
1460  };
1461  const SetInstr si253[] = {
1462  {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
1463  {SO_HLT,0,0,0}
1464  };
1465  const SetInstr si254[] = {
1466  {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
1467  {SO_HLT,0,0,0}
1468  };
1469  const SetInstr si255[] = {
1470  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
1471  {SO_UNION ,0,1,0},
1472  {SO_HLT,0,0,0}
1473  };
1474  const SetInstr si256[] = {
1475  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1476  {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
1477  {SO_HLT,0,0,0}
1478  };
1479  const SetInstr si257[] = {
1480  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1481  {SO_UNION ,0,1,0},
1482  {SO_HLT,0,0,0}
1483  };
1484  const SetInstr si258[] = {
1485  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1486  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1487  {SO_HLT,0,0,0}
1488  };
1489  const SetInstr si259[] = {
1490  {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
1491  {SO_HLT,0,0,0}
1492  };
1493  const SetInstr si260[] = {
1494  {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
1495  {SO_HLT,0,0,0}
1496  };
1497  const SetInstr si261[] = {
1498  {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
1499  {SO_HLT,0,0,0}
1500  };
1501  const SetInstr si262[] = {
1502  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
1503  {SO_UNION,0,1,0},
1504  {SO_HLT,0,0,0}
1505  };
1506  const SetInstr si263[] = {
1507  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1508  {SO_UNION,2,3,1},{SO_UNION,0,1,0},
1509  {SO_HLT,0,0,0}
1510  };
1511  const SetInstr si264[] = {
1512  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1513  {SO_UNION,0,1,0},
1514  {SO_HLT,0,0,0}
1515  };
1516  const SetInstr si265[] = {
1517  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1518  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1519  {SO_HLT,0,0,0}
1520  };
1521  const SetInstr si266[] = {
1522  {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
1523  {SO_HLT,0,0,0}
1524  };
1525  const SetInstr si267[] = {
1526  {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
1527  {SO_HLT,0,0,0}
1528  };
1529  const SetInstr si268[] = {
1530  {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
1531  {SO_HLT,0,0,0}
1532  };
1533  const SetInstr si269[] = {
1534  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
1535  {SO_DUNION,0,1,0},
1536  {SO_HLT,0,0,0}
1537  };
1538  const SetInstr si270[] = {
1539  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1540  {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
1541  {SO_HLT,0,0,0}
1542  };
1543  const SetInstr si271[] = {
1544  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1545  {SO_DUNION,0,1,0},
1546  {SO_HLT,0,0,0}
1547  };
1548  const SetInstr si272[] = {
1549  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1550  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1551  {SO_HLT,0,0,0}
1552  };
1553  const SetInstr si273[] = {
1554  {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
1555  {SO_HLT,0,0,0}
1556  };
1557  const SetInstr si274[] = {
1558  {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
1559  {SO_HLT,0,0,0}
1560  };
1561  const SetInstr si275[] = {
1562  {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
1563  {SO_HLT,0,0,0}
1564  };
1565  const SetInstr si276[] = {
1566  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
1567  {SO_MINUS,0,1,0},
1568  {SO_HLT,0,0,0}
1569  };
1570  const SetInstr si277[] = {
1571  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1572  {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
1573  {SO_HLT,0,0,0}
1574  };
1575  const SetInstr si278[] = {
1576  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1577  {SO_MINUS,0,1,0},
1578  {SO_HLT,0,0,0}
1579  };
1580  const SetInstr si279[] = {
1581  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
1582  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1583  {SO_HLT,0,0,0}
1584  };
1585  const SetInstr si280[] = {
1586  {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
1587  {SO_HLT,0,0,0}
1588  };
1589  const SetInstr si281[] = {
1590  {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
1591  {SO_HLT,0,0,0}
1592  };
1593  const SetInstr si282[] = {
1594  {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
1595  {SO_HLT,0,0,0}
1596  };
1597  const SetInstr si283[] = {
1598  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
1599  {SO_INTER,0,1,0},
1600  {SO_HLT,0,0,0}
1601  };
1602  const SetInstr si284[] = {
1603  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1604  {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
1605  {SO_HLT,0,0,0}
1606  };
1607  const SetInstr si285[] = {
1608  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1609  {SO_INTER,0,1,0},
1610  {SO_HLT,0,0,0}
1611  };
1612  const SetInstr si286[] = {
1613  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1614  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1615  {SO_HLT,0,0,0}
1616  };
1617  const SetInstr si287[] = {
1618  {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
1619  {SO_HLT,0,0,0}
1620  };
1621  const SetInstr si288[] = {
1622  {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
1623  {SO_HLT,0,0,0}
1624  };
1625  const SetInstr si289[] = {
1626  {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
1627  {SO_HLT,0,0,0}
1628  };
1629  const SetInstr si290[] = {
1630  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
1631  {SO_UNION ,0,1,0},
1632  {SO_HLT,0,0,0}
1633  };
1634  const SetInstr si291[] = {
1635  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1636  {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
1637  {SO_HLT,0,0,0}
1638  };
1639  const SetInstr si292[] = {
1640  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1641  {SO_UNION ,0,1,0},
1642  {SO_HLT,0,0,0}
1643  };
1644  const SetInstr si293[] = {
1645  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1646  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1647  {SO_HLT,0,0,0}
1648  };
1649  const SetInstr si294[] = {
1650  {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
1651  {SO_HLT,0,0,0}
1652  };
1653  const SetInstr si295[] = {
1654  {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
1655  {SO_HLT,0,0,0}
1656  };
1657  const SetInstr si296[] = {
1658  {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
1659  {SO_HLT,0,0,0}
1660  };
1661  const SetInstr si297[] = {
1662  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
1663  {SO_UNION,0,1,0},
1664  {SO_HLT,0,0,0}
1665  };
1666  const SetInstr si298[] = {
1667  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1668  {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
1669  {SO_HLT,0,0,0}
1670  };
1671  const SetInstr si299[] = {
1672  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1673  {SO_UNION,0,1,0},
1674  {SO_HLT,0,0,0}
1675  };
1676  const SetInstr si300[] = {
1677  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1678  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1679  {SO_HLT,0,0,0}
1680  };
1681  const SetInstr si301[] = {
1682  {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
1683  {SO_HLT,0,0,0}
1684  };
1685  const SetInstr si302[] = {
1686  {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
1687  {SO_HLT,0,0,0}
1688  };
1689  const SetInstr si303[] = {
1690  {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
1691  {SO_HLT,0,0,0}
1692  };
1693  const SetInstr si304[] = {
1694  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
1695  {SO_DUNION,0,1,0},
1696  {SO_HLT,0,0,0}
1697  };
1698  const SetInstr si305[] = {
1699  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1700  {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
1701  {SO_HLT,0,0,0}
1702  };
1703  const SetInstr si306[] = {
1704  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1705  {SO_DUNION,0,1,0},
1706  {SO_HLT,0,0,0}
1707  };
1708  const SetInstr si307[] = {
1709  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1710  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1711  {SO_HLT,0,0,0}
1712  };
1713  const SetInstr si308[] = {
1714  {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
1715  {SO_HLT,0,0,0}
1716  };
1717  const SetInstr si309[] = {
1718  {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
1719  {SO_HLT,0,0,0}
1720  };
1721  const SetInstr si310[] = {
1722  {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
1723  {SO_HLT,0,0,0}
1724  };
1725  const SetInstr si311[] = {
1726  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
1727  {SO_MINUS,0,1,0},
1728  {SO_HLT,0,0,0}
1729  };
1730  const SetInstr si312[] = {
1731  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1732  {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
1733  {SO_HLT,0,0,0}
1734  };
1735  const SetInstr si313[] = {
1736  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1737  {SO_MINUS,0,1,0},
1738  {SO_HLT,0,0,0}
1739  };
1740  const SetInstr si314[] = {
1741  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
1742  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1743  {SO_HLT,0,0,0}
1744  };
1745  const SetInstr si315[] = {
1746  {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
1747  {SO_HLT,0,0,0}
1748  };
1749  const SetInstr si316[] = {
1750  {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
1751  {SO_HLT,0,0,0}
1752  };
1753  const SetInstr si317[] = {
1754  {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
1755  {SO_HLT,0,0,0}
1756  };
1757  const SetInstr si318[] = {
1758  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
1759  {SO_INTER,0,1,0},
1760  {SO_HLT,0,0,0}
1761  };
1762  const SetInstr si319[] = {
1763  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1764  {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
1765  {SO_HLT,0,0,0}
1766  };
1767  const SetInstr si320[] = {
1768  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1769  {SO_INTER,0,1,0},
1770  {SO_HLT,0,0,0}
1771  };
1772  const SetInstr si321[] = {
1773  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1774  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1775  {SO_HLT,0,0,0}
1776  };
1777  const SetInstr si322[] = {
1778  {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
1779  {SO_HLT,0,0,0}
1780  };
1781  const SetInstr si323[] = {
1782  {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
1783  {SO_HLT,0,0,0}
1784  };
1785  const SetInstr si324[] = {
1786  {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
1787  {SO_HLT,0,0,0}
1788  };
1789  const SetInstr si325[] = {
1790  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
1791  {SO_UNION ,0,1,0},
1792  {SO_HLT,0,0,0}
1793  };
1794  const SetInstr si326[] = {
1795  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1796  {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
1797  {SO_HLT,0,0,0}
1798  };
1799  const SetInstr si327[] = {
1800  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1801  {SO_UNION ,0,1,0},
1802  {SO_HLT,0,0,0}
1803  };
1804  const SetInstr si328[] = {
1805  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1806  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1807  {SO_HLT,0,0,0}
1808  };
1809  const SetInstr si329[] = {
1810  {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
1811  {SO_HLT,0,0,0}
1812  };
1813  const SetInstr si330[] = {
1814  {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
1815  {SO_HLT,0,0,0}
1816  };
1817  const SetInstr si331[] = {
1818  {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
1819  {SO_HLT,0,0,0}
1820  };
1821  const SetInstr si332[] = {
1822  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
1823  {SO_UNION,0,1,0},
1824  {SO_HLT,0,0,0}
1825  };
1826  const SetInstr si333[] = {
1827  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1828  {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
1829  {SO_HLT,0,0,0}
1830  };
1831  const SetInstr si334[] = {
1832  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1833  {SO_UNION,0,1,0},
1834  {SO_HLT,0,0,0}
1835  };
1836  const SetInstr si335[] = {
1837  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1838  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1839  {SO_HLT,0,0,0}
1840  };
1841  const SetInstr si336[] = {
1842  {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
1843  {SO_HLT,0,0,0}
1844  };
1845  const SetInstr si337[] = {
1846  {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
1847  {SO_HLT,0,0,0}
1848  };
1849  const SetInstr si338[] = {
1850  {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
1851  {SO_HLT,0,0,0}
1852  };
1853  const SetInstr si339[] = {
1854  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
1855  {SO_DUNION,0,1,0},
1856  {SO_HLT,0,0,0}
1857  };
1858  const SetInstr si340[] = {
1859  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1860  {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
1861  {SO_HLT,0,0,0}
1862  };
1863  const SetInstr si341[] = {
1864  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1865  {SO_DUNION,0,1,0},
1866  {SO_HLT,0,0,0}
1867  };
1868  const SetInstr si342[] = {
1869  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1870  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
1871  {SO_HLT,0,0,0}
1872  };
1873  const SetInstr si343[] = {
1874  {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
1875  {SO_HLT,0,0,0}
1876  };
1877  const SetInstr si344[] = {
1878  {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
1879  {SO_HLT,0,0,0}
1880  };
1881  const SetInstr si345[] = {
1882  {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
1883  {SO_HLT,0,0,0}
1884  };
1885  const SetInstr si346[] = {
1886  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
1887  {SO_MINUS,0,1,0},
1888  {SO_HLT,0,0,0}
1889  };
1890  const SetInstr si347[] = {
1891  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
1892  {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
1893  {SO_HLT,0,0,0}
1894  };
1895  const SetInstr si348[] = {
1896  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1897  {SO_MINUS,0,1,0},
1898  {SO_HLT,0,0,0}
1899  };
1900  const SetInstr si349[] = {
1901  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
1902  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
1903  {SO_HLT,0,0,0}
1904  };
1905  const SetInstr si350[] = {
1906  {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
1907  {SO_HLT,0,0,0}
1908  };
1909  const SetInstr si351[] = {
1910  {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
1911  {SO_HLT,0,0,0}
1912  };
1913  const SetInstr si352[] = {
1914  {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
1915  {SO_HLT,0,0,0}
1916  };
1917  const SetInstr si353[] = {
1918  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
1919  {SO_INTER,0,1,0},
1920  {SO_HLT,0,0,0}
1921  };
1922  const SetInstr si354[] = {
1923  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
1924  {SO_INTER,2,3,1},{SO_INTER,0,1,0},
1925  {SO_HLT,0,0,0}
1926  };
1927  const SetInstr si355[] = {
1928  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1929  {SO_INTER,0,1,0},
1930  {SO_HLT,0,0,0}
1931  };
1932  const SetInstr si356[] = {
1933  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1934  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
1935  {SO_HLT,0,0,0}
1936  };
1937  const SetInstr si357[] = {
1938  {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
1939  {SO_HLT,0,0,0}
1940  };
1941  const SetInstr si358[] = {
1942  {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
1943  {SO_HLT,0,0,0}
1944  };
1945  const SetInstr si359[] = {
1946  {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
1947  {SO_HLT,0,0,0}
1948  };
1949  const SetInstr si360[] = {
1950  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
1951  {SO_UNION ,0,1,0},
1952  {SO_HLT,0,0,0}
1953  };
1954  const SetInstr si361[] = {
1955  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
1956  {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
1957  {SO_HLT,0,0,0}
1958  };
1959  const SetInstr si362[] = {
1960  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1961  {SO_UNION ,0,1,0},
1962  {SO_HLT,0,0,0}
1963  };
1964  const SetInstr si363[] = {
1965  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1966  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
1967  {SO_HLT,0,0,0}
1968  };
1969  const SetInstr si364[] = {
1970  {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
1971  {SO_HLT,0,0,0}
1972  };
1973  const SetInstr si365[] = {
1974  {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
1975  {SO_HLT,0,0,0}
1976  };
1977  const SetInstr si366[] = {
1978  {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
1979  {SO_HLT,0,0,0}
1980  };
1981  const SetInstr si367[] = {
1982  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
1983  {SO_UNION,0,1,0},
1984  {SO_HLT,0,0,0}
1985  };
1986  const SetInstr si368[] = {
1987  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
1988  {SO_INTER,2,3,1},{SO_UNION,0,1,0},
1989  {SO_HLT,0,0,0}
1990  };
1991  const SetInstr si369[] = {
1992  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1993  {SO_UNION,0,1,0},
1994  {SO_HLT,0,0,0}
1995  };
1996  const SetInstr si370[] = {
1997  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
1998  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
1999  {SO_HLT,0,0,0}
2000  };
2001  const SetInstr si371[] = {
2002  {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
2003  {SO_HLT,0,0,0}
2004  };
2005  const SetInstr si372[] = {
2006  {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
2007  {SO_HLT,0,0,0}
2008  };
2009  const SetInstr si373[] = {
2010  {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
2011  {SO_HLT,0,0,0}
2012  };
2013  const SetInstr si374[] = {
2014  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
2015  {SO_DUNION,0,1,0},
2016  {SO_HLT,0,0,0}
2017  };
2018  const SetInstr si375[] = {
2019  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2020  {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
2021  {SO_HLT,0,0,0}
2022  };
2023  const SetInstr si376[] = {
2024  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2025  {SO_DUNION,0,1,0},
2026  {SO_HLT,0,0,0}
2027  };
2028  const SetInstr si377[] = {
2029  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2030  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2031  {SO_HLT,0,0,0}
2032  };
2033  const SetInstr si378[] = {
2034  {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
2035  {SO_HLT,0,0,0}
2036  };
2037  const SetInstr si379[] = {
2038  {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
2039  {SO_HLT,0,0,0}
2040  };
2041  const SetInstr si380[] = {
2042  {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
2043  {SO_HLT,0,0,0}
2044  };
2045  const SetInstr si381[] = {
2046  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
2047  {SO_MINUS,0,1,0},
2048  {SO_HLT,0,0,0}
2049  };
2050  const SetInstr si382[] = {
2051  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2052  {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
2053  {SO_HLT,0,0,0}
2054  };
2055  const SetInstr si383[] = {
2056  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2057  {SO_MINUS,0,1,0},
2058  {SO_HLT,0,0,0}
2059  };
2060  const SetInstr si384[] = {
2061  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2062  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2063  {SO_HLT,0,0,0}
2064  };
2065  const SetInstr si385[] = {
2066  {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
2067  {SO_HLT,0,0,0}
2068  };
2069  const SetInstr si386[] = {
2070  {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
2071  {SO_HLT,0,0,0}
2072  };
2073  const SetInstr si387[] = {
2074  {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
2075  {SO_HLT,0,0,0}
2076  };
2077  const SetInstr si388[] = {
2078  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
2079  {SO_INTER,0,1,0},
2080  {SO_HLT,0,0,0}
2081  };
2082  const SetInstr si389[] = {
2083  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2084  {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
2085  {SO_HLT,0,0,0}
2086  };
2087  const SetInstr si390[] = {
2088  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2089  {SO_INTER,0,1,0},
2090  {SO_HLT,0,0,0}
2091  };
2092  const SetInstr si391[] = {
2093  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2094  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2095  {SO_HLT,0,0,0}
2096  };
2097  const SetInstr si392[] = {
2098  {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
2099  {SO_HLT,0,0,0}
2100  };
2101  const SetInstr si393[] = {
2102  {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
2103  {SO_HLT,0,0,0}
2104  };
2105  const SetInstr si394[] = {
2106  {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
2107  {SO_HLT,0,0,0}
2108  };
2109  const SetInstr si395[] = {
2110  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
2111  {SO_UNION ,0,1,0},
2112  {SO_HLT,0,0,0}
2113  };
2114  const SetInstr si396[] = {
2115  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2116  {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
2117  {SO_HLT,0,0,0}
2118  };
2119  const SetInstr si397[] = {
2120  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2121  {SO_UNION ,0,1,0},
2122  {SO_HLT,0,0,0}
2123  };
2124  const SetInstr si398[] = {
2125  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2126  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2127  {SO_HLT,0,0,0}
2128  };
2129  const SetInstr si399[] = {
2130  {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
2131  {SO_HLT,0,0,0}
2132  };
2133  const SetInstr si400[] = {
2134  {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
2135  {SO_HLT,0,0,0}
2136  };
2137  const SetInstr si401[] = {
2138  {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
2139  {SO_HLT,0,0,0}
2140  };
2141  const SetInstr si402[] = {
2142  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
2143  {SO_UNION,0,1,0},
2144  {SO_HLT,0,0,0}
2145  };
2146  const SetInstr si403[] = {
2147  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2148  {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
2149  {SO_HLT,0,0,0}
2150  };
2151  const SetInstr si404[] = {
2152  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2153  {SO_UNION,0,1,0},
2154  {SO_HLT,0,0,0}
2155  };
2156  const SetInstr si405[] = {
2157  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2158  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2159  {SO_HLT,0,0,0}
2160  };
2161  const SetInstr si406[] = {
2162  {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
2163  {SO_HLT,0,0,0}
2164  };
2165  const SetInstr si407[] = {
2166  {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
2167  {SO_HLT,0,0,0}
2168  };
2169  const SetInstr si408[] = {
2170  {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
2171  {SO_HLT,0,0,0}
2172  };
2173  const SetInstr si409[] = {
2174  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
2175  {SO_DUNION,0,1,0},
2176  {SO_HLT,0,0,0}
2177  };
2178  const SetInstr si410[] = {
2179  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2180  {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
2181  {SO_HLT,0,0,0}
2182  };
2183  const SetInstr si411[] = {
2184  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2185  {SO_DUNION,0,1,0},
2186  {SO_HLT,0,0,0}
2187  };
2188  const SetInstr si412[] = {
2189  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2190  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2191  {SO_HLT,0,0,0}
2192  };
2193  const SetInstr si413[] = {
2194  {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
2195  {SO_HLT,0,0,0}
2196  };
2197  const SetInstr si414[] = {
2198  {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
2199  {SO_HLT,0,0,0}
2200  };
2201  const SetInstr si415[] = {
2202  {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
2203  {SO_HLT,0,0,0}
2204  };
2205  const SetInstr si416[] = {
2206  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
2207  {SO_MINUS,0,1,0},
2208  {SO_HLT,0,0,0}
2209  };
2210  const SetInstr si417[] = {
2211  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2212  {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
2213  {SO_HLT,0,0,0}
2214  };
2215  const SetInstr si418[] = {
2216  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2217  {SO_MINUS,0,1,0},
2218  {SO_HLT,0,0,0}
2219  };
2220  const SetInstr si419[] = {
2221  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2222  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2223  {SO_HLT,0,0,0}
2224  };
2225  const SetInstr si420[] = {
2226  {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
2227  {SO_HLT,0,0,0}
2228  };
2229  const SetInstr si421[] = {
2230  {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
2231  {SO_HLT,0,0,0}
2232  };
2233  const SetInstr si422[] = {
2234  {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
2235  {SO_HLT,0,0,0}
2236  };
2237  const SetInstr si423[] = {
2238  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
2239  {SO_INTER,0,1,0},
2240  {SO_HLT,0,0,0}
2241  };
2242  const SetInstr si424[] = {
2243  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2244  {SO_UNION,2,3,1},{SO_INTER,0,1,0},
2245  {SO_HLT,0,0,0}
2246  };
2247  const SetInstr si425[] = {
2248  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2249  {SO_INTER,0,1,0},
2250  {SO_HLT,0,0,0}
2251  };
2252  const SetInstr si426[] = {
2253  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2254  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2255  {SO_HLT,0,0,0}
2256  };
2257  const SetInstr si427[] = {
2258  {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
2259  {SO_HLT,0,0,0}
2260  };
2261  const SetInstr si428[] = {
2262  {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
2263  {SO_HLT,0,0,0}
2264  };
2265  const SetInstr si429[] = {
2266  {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
2267  {SO_HLT,0,0,0}
2268  };
2269  const SetInstr si430[] = {
2270  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
2271  {SO_UNION ,0,1,0},
2272  {SO_HLT,0,0,0}
2273  };
2274  const SetInstr si431[] = {
2275  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2276  {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
2277  {SO_HLT,0,0,0}
2278  };
2279  const SetInstr si432[] = {
2280  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2281  {SO_UNION ,0,1,0},
2282  {SO_HLT,0,0,0}
2283  };
2284  const SetInstr si433[] = {
2285  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2286  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2287  {SO_HLT,0,0,0}
2288  };
2289  const SetInstr si434[] = {
2290  {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
2291  {SO_HLT,0,0,0}
2292  };
2293  const SetInstr si435[] = {
2294  {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
2295  {SO_HLT,0,0,0}
2296  };
2297  const SetInstr si436[] = {
2298  {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
2299  {SO_HLT,0,0,0}
2300  };
2301  const SetInstr si437[] = {
2302  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
2303  {SO_UNION,0,1,0},
2304  {SO_HLT,0,0,0}
2305  };
2306  const SetInstr si438[] = {
2307  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2308  {SO_UNION,2,3,1},{SO_UNION,0,1,0},
2309  {SO_HLT,0,0,0}
2310  };
2311  const SetInstr si439[] = {
2312  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2313  {SO_UNION,0,1,0},
2314  {SO_HLT,0,0,0}
2315  };
2316  const SetInstr si440[] = {
2317  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2318  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2319  {SO_HLT,0,0,0}
2320  };
2321  const SetInstr si441[] = {
2322  {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
2323  {SO_HLT,0,0,0}
2324  };
2325  const SetInstr si442[] = {
2326  {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
2327  {SO_HLT,0,0,0}
2328  };
2329  const SetInstr si443[] = {
2330  {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
2331  {SO_HLT,0,0,0}
2332  };
2333  const SetInstr si444[] = {
2334  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
2335  {SO_DUNION,0,1,0},
2336  {SO_HLT,0,0,0}
2337  };
2338  const SetInstr si445[] = {
2339  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2340  {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
2341  {SO_HLT,0,0,0}
2342  };
2343  const SetInstr si446[] = {
2344  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2345  {SO_DUNION,0,1,0},
2346  {SO_HLT,0,0,0}
2347  };
2348  const SetInstr si447[] = {
2349  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2350  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2351  {SO_HLT,0,0,0}
2352  };
2353  const SetInstr si448[] = {
2354  {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
2355  {SO_HLT,0,0,0}
2356  };
2357  const SetInstr si449[] = {
2358  {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
2359  {SO_HLT,0,0,0}
2360  };
2361  const SetInstr si450[] = {
2362  {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
2363  {SO_HLT,0,0,0}
2364  };
2365  const SetInstr si451[] = {
2366  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
2367  {SO_MINUS,0,1,0},
2368  {SO_HLT,0,0,0}
2369  };
2370  const SetInstr si452[] = {
2371  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2372  {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
2373  {SO_HLT,0,0,0}
2374  };
2375  const SetInstr si453[] = {
2376  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2377  {SO_MINUS,0,1,0},
2378  {SO_HLT,0,0,0}
2379  };
2380  const SetInstr si454[] = {
2381  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
2382  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2383  {SO_HLT,0,0,0}
2384  };
2385  const SetInstr si455[] = {
2386  {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
2387  {SO_HLT,0,0,0}
2388  };
2389  const SetInstr si456[] = {
2390  {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
2391  {SO_HLT,0,0,0}
2392  };
2393  const SetInstr si457[] = {
2394  {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
2395  {SO_HLT,0,0,0}
2396  };
2397  const SetInstr si458[] = {
2398  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
2399  {SO_INTER,0,1,0},
2400  {SO_HLT,0,0,0}
2401  };
2402  const SetInstr si459[] = {
2403  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2404  {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
2405  {SO_HLT,0,0,0}
2406  };
2407  const SetInstr si460[] = {
2408  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2409  {SO_INTER,0,1,0},
2410  {SO_HLT,0,0,0}
2411  };
2412  const SetInstr si461[] = {
2413  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2414  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2415  {SO_HLT,0,0,0}
2416  };
2417  const SetInstr si462[] = {
2418  {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
2419  {SO_HLT,0,0,0}
2420  };
2421  const SetInstr si463[] = {
2422  {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
2423  {SO_HLT,0,0,0}
2424  };
2425  const SetInstr si464[] = {
2426  {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
2427  {SO_HLT,0,0,0}
2428  };
2429  const SetInstr si465[] = {
2430  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
2431  {SO_UNION ,0,1,0},
2432  {SO_HLT,0,0,0}
2433  };
2434  const SetInstr si466[] = {
2435  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2436  {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
2437  {SO_HLT,0,0,0}
2438  };
2439  const SetInstr si467[] = {
2440  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2441  {SO_UNION ,0,1,0},
2442  {SO_HLT,0,0,0}
2443  };
2444  const SetInstr si468[] = {
2445  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2446  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2447  {SO_HLT,0,0,0}
2448  };
2449  const SetInstr si469[] = {
2450  {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
2451  {SO_HLT,0,0,0}
2452  };
2453  const SetInstr si470[] = {
2454  {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
2455  {SO_HLT,0,0,0}
2456  };
2457  const SetInstr si471[] = {
2458  {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
2459  {SO_HLT,0,0,0}
2460  };
2461  const SetInstr si472[] = {
2462  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
2463  {SO_UNION,0,1,0},
2464  {SO_HLT,0,0,0}
2465  };
2466  const SetInstr si473[] = {
2467  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2468  {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
2469  {SO_HLT,0,0,0}
2470  };
2471  const SetInstr si474[] = {
2472  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2473  {SO_UNION,0,1,0},
2474  {SO_HLT,0,0,0}
2475  };
2476  const SetInstr si475[] = {
2477  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2478  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2479  {SO_HLT,0,0,0}
2480  };
2481  const SetInstr si476[] = {
2482  {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
2483  {SO_HLT,0,0,0}
2484  };
2485  const SetInstr si477[] = {
2486  {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
2487  {SO_HLT,0,0,0}
2488  };
2489  const SetInstr si478[] = {
2490  {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
2491  {SO_HLT,0,0,0}
2492  };
2493  const SetInstr si479[] = {
2494  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
2495  {SO_DUNION,0,1,0},
2496  {SO_HLT,0,0,0}
2497  };
2498  const SetInstr si480[] = {
2499  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2500  {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
2501  {SO_HLT,0,0,0}
2502  };
2503  const SetInstr si481[] = {
2504  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2505  {SO_DUNION,0,1,0},
2506  {SO_HLT,0,0,0}
2507  };
2508  const SetInstr si482[] = {
2509  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2510  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2511  {SO_HLT,0,0,0}
2512  };
2513  const SetInstr si483[] = {
2514  {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
2515  {SO_HLT,0,0,0}
2516  };
2517  const SetInstr si484[] = {
2518  {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
2519  {SO_HLT,0,0,0}
2520  };
2521  const SetInstr si485[] = {
2522  {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
2523  {SO_HLT,0,0,0}
2524  };
2525  const SetInstr si486[] = {
2526  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
2527  {SO_MINUS,0,1,0},
2528  {SO_HLT,0,0,0}
2529  };
2530  const SetInstr si487[] = {
2531  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2532  {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
2533  {SO_HLT,0,0,0}
2534  };
2535  const SetInstr si488[] = {
2536  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2537  {SO_MINUS,0,1,0},
2538  {SO_HLT,0,0,0}
2539  };
2540  const SetInstr si489[] = {
2541  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
2542  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2543  {SO_HLT,0,0,0}
2544  };
2545  const SetInstr si490[] = {
2546  {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
2547  {SO_HLT,0,0,0}
2548  };
2549  const SetInstr si491[] = {
2550  {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
2551  {SO_HLT,0,0,0}
2552  };
2553  const SetInstr si492[] = {
2554  {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
2555  {SO_HLT,0,0,0}
2556  };
2557  const SetInstr si493[] = {
2558  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
2559  {SO_INTER,0,1,0},
2560  {SO_HLT,0,0,0}
2561  };
2562  const SetInstr si494[] = {
2563  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2564  {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
2565  {SO_HLT,0,0,0}
2566  };
2567  const SetInstr si495[] = {
2568  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2569  {SO_INTER,0,1,0},
2570  {SO_HLT,0,0,0}
2571  };
2572  const SetInstr si496[] = {
2573  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2574  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2575  {SO_HLT,0,0,0}
2576  };
2577  const SetInstr si497[] = {
2578  {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
2579  {SO_HLT,0,0,0}
2580  };
2581  const SetInstr si498[] = {
2582  {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
2583  {SO_HLT,0,0,0}
2584  };
2585  const SetInstr si499[] = {
2586  {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
2587  {SO_HLT,0,0,0}
2588  };
2589  const SetInstr si500[] = {
2590  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
2591  {SO_UNION ,0,1,0},
2592  {SO_HLT,0,0,0}
2593  };
2594  const SetInstr si501[] = {
2595  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2596  {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
2597  {SO_HLT,0,0,0}
2598  };
2599  const SetInstr si502[] = {
2600  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2601  {SO_UNION ,0,1,0},
2602  {SO_HLT,0,0,0}
2603  };
2604  const SetInstr si503[] = {
2605  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2606  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2607  {SO_HLT,0,0,0}
2608  };
2609  const SetInstr si504[] = {
2610  {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
2611  {SO_HLT,0,0,0}
2612  };
2613  const SetInstr si505[] = {
2614  {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
2615  {SO_HLT,0,0,0}
2616  };
2617  const SetInstr si506[] = {
2618  {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
2619  {SO_HLT,0,0,0}
2620  };
2621  const SetInstr si507[] = {
2622  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
2623  {SO_UNION,0,1,0},
2624  {SO_HLT,0,0,0}
2625  };
2626  const SetInstr si508[] = {
2627  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2628  {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
2629  {SO_HLT,0,0,0}
2630  };
2631  const SetInstr si509[] = {
2632  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2633  {SO_UNION,0,1,0},
2634  {SO_HLT,0,0,0}
2635  };
2636  const SetInstr si510[] = {
2637  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2638  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2639  {SO_HLT,0,0,0}
2640  };
2641  const SetInstr si511[] = {
2642  {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
2643  {SO_HLT,0,0,0}
2644  };
2645  const SetInstr si512[] = {
2646  {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
2647  {SO_HLT,0,0,0}
2648  };
2649  const SetInstr si513[] = {
2650  {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
2651  {SO_HLT,0,0,0}
2652  };
2653  const SetInstr si514[] = {
2654  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
2655  {SO_DUNION,0,1,0},
2656  {SO_HLT,0,0,0}
2657  };
2658  const SetInstr si515[] = {
2659  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2660  {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
2661  {SO_HLT,0,0,0}
2662  };
2663  const SetInstr si516[] = {
2664  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2665  {SO_DUNION,0,1,0},
2666  {SO_HLT,0,0,0}
2667  };
2668  const SetInstr si517[] = {
2669  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2670  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2671  {SO_HLT,0,0,0}
2672  };
2673  const SetInstr si518[] = {
2674  {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
2675  {SO_HLT,0,0,0}
2676  };
2677  const SetInstr si519[] = {
2678  {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
2679  {SO_HLT,0,0,0}
2680  };
2681  const SetInstr si520[] = {
2682  {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
2683  {SO_HLT,0,0,0}
2684  };
2685  const SetInstr si521[] = {
2686  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
2687  {SO_MINUS,0,1,0},
2688  {SO_HLT,0,0,0}
2689  };
2690  const SetInstr si522[] = {
2691  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
2692  {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
2693  {SO_HLT,0,0,0}
2694  };
2695  const SetInstr si523[] = {
2696  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2697  {SO_MINUS,0,1,0},
2698  {SO_HLT,0,0,0}
2699  };
2700  const SetInstr si524[] = {
2701  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
2702  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2703  {SO_HLT,0,0,0}
2704  };
2705  const SetInstr si525[] = {
2706  {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
2707  {SO_HLT,0,0,0}
2708  };
2709  const SetInstr si526[] = {
2710  {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
2711  {SO_HLT,0,0,0}
2712  };
2713  const SetInstr si527[] = {
2714  {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
2715  {SO_HLT,0,0,0}
2716  };
2717  const SetInstr si528[] = {
2718  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
2719  {SO_INTER,0,1,0},
2720  {SO_HLT,0,0,0}
2721  };
2722  const SetInstr si529[] = {
2723  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2724  {SO_INTER,2,3,1},{SO_INTER,0,1,0},
2725  {SO_HLT,0,0,0}
2726  };
2727  const SetInstr si530[] = {
2728  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2729  {SO_INTER,0,1,0},
2730  {SO_HLT,0,0,0}
2731  };
2732  const SetInstr si531[] = {
2733  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2734  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2735  {SO_HLT,0,0,0}
2736  };
2737  const SetInstr si532[] = {
2738  {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
2739  {SO_HLT,0,0,0}
2740  };
2741  const SetInstr si533[] = {
2742  {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
2743  {SO_HLT,0,0,0}
2744  };
2745  const SetInstr si534[] = {
2746  {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
2747  {SO_HLT,0,0,0}
2748  };
2749  const SetInstr si535[] = {
2750  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
2751  {SO_UNION ,0,1,0},
2752  {SO_HLT,0,0,0}
2753  };
2754  const SetInstr si536[] = {
2755  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2756  {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
2757  {SO_HLT,0,0,0}
2758  };
2759  const SetInstr si537[] = {
2760  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2761  {SO_UNION ,0,1,0},
2762  {SO_HLT,0,0,0}
2763  };
2764  const SetInstr si538[] = {
2765  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2766  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2767  {SO_HLT,0,0,0}
2768  };
2769  const SetInstr si539[] = {
2770  {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
2771  {SO_HLT,0,0,0}
2772  };
2773  const SetInstr si540[] = {
2774  {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
2775  {SO_HLT,0,0,0}
2776  };
2777  const SetInstr si541[] = {
2778  {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
2779  {SO_HLT,0,0,0}
2780  };
2781  const SetInstr si542[] = {
2782  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
2783  {SO_UNION,0,1,0},
2784  {SO_HLT,0,0,0}
2785  };
2786  const SetInstr si543[] = {
2787  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2788  {SO_INTER,2,3,1},{SO_UNION,0,1,0},
2789  {SO_HLT,0,0,0}
2790  };
2791  const SetInstr si544[] = {
2792  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2793  {SO_UNION,0,1,0},
2794  {SO_HLT,0,0,0}
2795  };
2796  const SetInstr si545[] = {
2797  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2798  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2799  {SO_HLT,0,0,0}
2800  };
2801  const SetInstr si546[] = {
2802  {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
2803  {SO_HLT,0,0,0}
2804  };
2805  const SetInstr si547[] = {
2806  {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
2807  {SO_HLT,0,0,0}
2808  };
2809  const SetInstr si548[] = {
2810  {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
2811  {SO_HLT,0,0,0}
2812  };
2813  const SetInstr si549[] = {
2814  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
2815  {SO_DUNION,0,1,0},
2816  {SO_HLT,0,0,0}
2817  };
2818  const SetInstr si550[] = {
2819  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2820  {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
2821  {SO_HLT,0,0,0}
2822  };
2823  const SetInstr si551[] = {
2824  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2825  {SO_DUNION,0,1,0},
2826  {SO_HLT,0,0,0}
2827  };
2828  const SetInstr si552[] = {
2829  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2830  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2831  {SO_HLT,0,0,0}
2832  };
2833  const SetInstr si553[] = {
2834  {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
2835  {SO_HLT,0,0,0}
2836  };
2837  const SetInstr si554[] = {
2838  {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
2839  {SO_HLT,0,0,0}
2840  };
2841  const SetInstr si555[] = {
2842  {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
2843  {SO_HLT,0,0,0}
2844  };
2845  const SetInstr si556[] = {
2846  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
2847  {SO_MINUS,0,1,0},
2848  {SO_HLT,0,0,0}
2849  };
2850  const SetInstr si557[] = {
2851  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2852  {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
2853  {SO_HLT,0,0,0}
2854  };
2855  const SetInstr si558[] = {
2856  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2857  {SO_MINUS,0,1,0},
2858  {SO_HLT,0,0,0}
2859  };
2860  const SetInstr si559[] = {
2861  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
2862  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
2863  {SO_HLT,0,0,0}
2864  };
2865  const SetInstr si560[] = {
2866  {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
2867  {SO_HLT,0,0,0}
2868  };
2869  const SetInstr si561[] = {
2870  {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
2871  {SO_HLT,0,0,0}
2872  };
2873  const SetInstr si562[] = {
2874  {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
2875  {SO_HLT,0,0,0}
2876  };
2877  const SetInstr si563[] = {
2878  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
2879  {SO_INTER,0,1,0},
2880  {SO_HLT,0,0,0}
2881  };
2882  const SetInstr si564[] = {
2883  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2884  {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
2885  {SO_HLT,0,0,0}
2886  };
2887  const SetInstr si565[] = {
2888  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2889  {SO_INTER,0,1,0},
2890  {SO_HLT,0,0,0}
2891  };
2892  const SetInstr si566[] = {
2893  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2894  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
2895  {SO_HLT,0,0,0}
2896  };
2897  const SetInstr si567[] = {
2898  {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
2899  {SO_HLT,0,0,0}
2900  };
2901  const SetInstr si568[] = {
2902  {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
2903  {SO_HLT,0,0,0}
2904  };
2905  const SetInstr si569[] = {
2906  {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
2907  {SO_HLT,0,0,0}
2908  };
2909  const SetInstr si570[] = {
2910  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
2911  {SO_UNION ,0,1,0},
2912  {SO_HLT,0,0,0}
2913  };
2914  const SetInstr si571[] = {
2915  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2916  {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
2917  {SO_HLT,0,0,0}
2918  };
2919  const SetInstr si572[] = {
2920  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2921  {SO_UNION ,0,1,0},
2922  {SO_HLT,0,0,0}
2923  };
2924  const SetInstr si573[] = {
2925  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2926  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
2927  {SO_HLT,0,0,0}
2928  };
2929  const SetInstr si574[] = {
2930  {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
2931  {SO_HLT,0,0,0}
2932  };
2933  const SetInstr si575[] = {
2934  {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
2935  {SO_HLT,0,0,0}
2936  };
2937  const SetInstr si576[] = {
2938  {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
2939  {SO_HLT,0,0,0}
2940  };
2941  const SetInstr si577[] = {
2942  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
2943  {SO_UNION,0,1,0},
2944  {SO_HLT,0,0,0}
2945  };
2946  const SetInstr si578[] = {
2947  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2948  {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
2949  {SO_HLT,0,0,0}
2950  };
2951  const SetInstr si579[] = {
2952  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2953  {SO_UNION,0,1,0},
2954  {SO_HLT,0,0,0}
2955  };
2956  const SetInstr si580[] = {
2957  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2958  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
2959  {SO_HLT,0,0,0}
2960  };
2961  const SetInstr si581[] = {
2962  {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
2963  {SO_HLT,0,0,0}
2964  };
2965  const SetInstr si582[] = {
2966  {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
2967  {SO_HLT,0,0,0}
2968  };
2969  const SetInstr si583[] = {
2970  {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
2971  {SO_HLT,0,0,0}
2972  };
2973  const SetInstr si584[] = {
2974  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
2975  {SO_DUNION,0,1,0},
2976  {SO_HLT,0,0,0}
2977  };
2978  const SetInstr si585[] = {
2979  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
2980  {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
2981  {SO_HLT,0,0,0}
2982  };
2983  const SetInstr si586[] = {
2984  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2985  {SO_DUNION,0,1,0},
2986  {SO_HLT,0,0,0}
2987  };
2988  const SetInstr si587[] = {
2989  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
2990  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
2991  {SO_HLT,0,0,0}
2992  };
2993  const SetInstr si588[] = {
2994  {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
2995  {SO_HLT,0,0,0}
2996  };
2997  const SetInstr si589[] = {
2998  {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
2999  {SO_HLT,0,0,0}
3000  };
3001  const SetInstr si590[] = {
3002  {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
3003  {SO_HLT,0,0,0}
3004  };
3005  const SetInstr si591[] = {
3006  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
3007  {SO_MINUS,0,1,0},
3008  {SO_HLT,0,0,0}
3009  };
3010  const SetInstr si592[] = {
3011  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3012  {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
3013  {SO_HLT,0,0,0}
3014  };
3015  const SetInstr si593[] = {
3016  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3017  {SO_MINUS,0,1,0},
3018  {SO_HLT,0,0,0}
3019  };
3020  const SetInstr si594[] = {
3021  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3022  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3023  {SO_HLT,0,0,0}
3024  };
3025  const SetInstr si595[] = {
3026  {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
3027  {SO_HLT,0,0,0}
3028  };
3029  const SetInstr si596[] = {
3030  {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
3031  {SO_HLT,0,0,0}
3032  };
3033  const SetInstr si597[] = {
3034  {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
3035  {SO_HLT,0,0,0}
3036  };
3037  const SetInstr si598[] = {
3038  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
3039  {SO_INTER,0,1,0},
3040  {SO_HLT,0,0,0}
3041  };
3042  const SetInstr si599[] = {
3043  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3044  {SO_UNION,2,3,1},{SO_INTER,0,1,0},
3045  {SO_HLT,0,0,0}
3046  };
3047  const SetInstr si600[] = {
3048  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3049  {SO_INTER,0,1,0},
3050  {SO_HLT,0,0,0}
3051  };
3052  const SetInstr si601[] = {
3053  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3054  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3055  {SO_HLT,0,0,0}
3056  };
3057  const SetInstr si602[] = {
3058  {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
3059  {SO_HLT,0,0,0}
3060  };
3061  const SetInstr si603[] = {
3062  {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
3063  {SO_HLT,0,0,0}
3064  };
3065  const SetInstr si604[] = {
3066  {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
3067  {SO_HLT,0,0,0}
3068  };
3069  const SetInstr si605[] = {
3070  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
3071  {SO_UNION ,0,1,0},
3072  {SO_HLT,0,0,0}
3073  };
3074  const SetInstr si606[] = {
3075  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3076  {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
3077  {SO_HLT,0,0,0}
3078  };
3079  const SetInstr si607[] = {
3080  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3081  {SO_UNION ,0,1,0},
3082  {SO_HLT,0,0,0}
3083  };
3084  const SetInstr si608[] = {
3085  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3086  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3087  {SO_HLT,0,0,0}
3088  };
3089  const SetInstr si609[] = {
3090  {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
3091  {SO_HLT,0,0,0}
3092  };
3093  const SetInstr si610[] = {
3094  {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
3095  {SO_HLT,0,0,0}
3096  };
3097  const SetInstr si611[] = {
3098  {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
3099  {SO_HLT,0,0,0}
3100  };
3101  const SetInstr si612[] = {
3102  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
3103  {SO_UNION,0,1,0},
3104  {SO_HLT,0,0,0}
3105  };
3106  const SetInstr si613[] = {
3107  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3108  {SO_UNION,2,3,1},{SO_UNION,0,1,0},
3109  {SO_HLT,0,0,0}
3110  };
3111  const SetInstr si614[] = {
3112  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3113  {SO_UNION,0,1,0},
3114  {SO_HLT,0,0,0}
3115  };
3116  const SetInstr si615[] = {
3117  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3118  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3119  {SO_HLT,0,0,0}
3120  };
3121  const SetInstr si616[] = {
3122  {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
3123  {SO_HLT,0,0,0}
3124  };
3125  const SetInstr si617[] = {
3126  {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
3127  {SO_HLT,0,0,0}
3128  };
3129  const SetInstr si618[] = {
3130  {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
3131  {SO_HLT,0,0,0}
3132  };
3133  const SetInstr si619[] = {
3134  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
3135  {SO_DUNION,0,1,0},
3136  {SO_HLT,0,0,0}
3137  };
3138  const SetInstr si620[] = {
3139  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3140  {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
3141  {SO_HLT,0,0,0}
3142  };
3143  const SetInstr si621[] = {
3144  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3145  {SO_DUNION,0,1,0},
3146  {SO_HLT,0,0,0}
3147  };
3148  const SetInstr si622[] = {
3149  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3150  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3151  {SO_HLT,0,0,0}
3152  };
3153  const SetInstr si623[] = {
3154  {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
3155  {SO_HLT,0,0,0}
3156  };
3157  const SetInstr si624[] = {
3158  {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
3159  {SO_HLT,0,0,0}
3160  };
3161  const SetInstr si625[] = {
3162  {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
3163  {SO_HLT,0,0,0}
3164  };
3165  const SetInstr si626[] = {
3166  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
3167  {SO_MINUS,0,1,0},
3168  {SO_HLT,0,0,0}
3169  };
3170  const SetInstr si627[] = {
3171  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3172  {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
3173  {SO_HLT,0,0,0}
3174  };
3175  const SetInstr si628[] = {
3176  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3177  {SO_MINUS,0,1,0},
3178  {SO_HLT,0,0,0}
3179  };
3180  const SetInstr si629[] = {
3181  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3182  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3183  {SO_HLT,0,0,0}
3184  };
3185  const SetInstr si630[] = {
3186  {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
3187  {SO_HLT,0,0,0}
3188  };
3189  const SetInstr si631[] = {
3190  {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
3191  {SO_HLT,0,0,0}
3192  };
3193  const SetInstr si632[] = {
3194  {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
3195  {SO_HLT,0,0,0}
3196  };
3197  const SetInstr si633[] = {
3198  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
3199  {SO_INTER,0,1,0},
3200  {SO_HLT,0,0,0}
3201  };
3202  const SetInstr si634[] = {
3203  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3204  {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
3205  {SO_HLT,0,0,0}
3206  };
3207  const SetInstr si635[] = {
3208  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3209  {SO_INTER,0,1,0},
3210  {SO_HLT,0,0,0}
3211  };
3212  const SetInstr si636[] = {
3213  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3214  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3215  {SO_HLT,0,0,0}
3216  };
3217  const SetInstr si637[] = {
3218  {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
3219  {SO_HLT,0,0,0}
3220  };
3221  const SetInstr si638[] = {
3222  {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
3223  {SO_HLT,0,0,0}
3224  };
3225  const SetInstr si639[] = {
3226  {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
3227  {SO_HLT,0,0,0}
3228  };
3229  const SetInstr si640[] = {
3230  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
3231  {SO_UNION ,0,1,0},
3232  {SO_HLT,0,0,0}
3233  };
3234  const SetInstr si641[] = {
3235  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3236  {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
3237  {SO_HLT,0,0,0}
3238  };
3239  const SetInstr si642[] = {
3240  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3241  {SO_UNION ,0,1,0},
3242  {SO_HLT,0,0,0}
3243  };
3244  const SetInstr si643[] = {
3245  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3246  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3247  {SO_HLT,0,0,0}
3248  };
3249  const SetInstr si644[] = {
3250  {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
3251  {SO_HLT,0,0,0}
3252  };
3253  const SetInstr si645[] = {
3254  {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
3255  {SO_HLT,0,0,0}
3256  };
3257  const SetInstr si646[] = {
3258  {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
3259  {SO_HLT,0,0,0}
3260  };
3261  const SetInstr si647[] = {
3262  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
3263  {SO_UNION,0,1,0},
3264  {SO_HLT,0,0,0}
3265  };
3266  const SetInstr si648[] = {
3267  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3268  {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
3269  {SO_HLT,0,0,0}
3270  };
3271  const SetInstr si649[] = {
3272  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3273  {SO_UNION,0,1,0},
3274  {SO_HLT,0,0,0}
3275  };
3276  const SetInstr si650[] = {
3277  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3278  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3279  {SO_HLT,0,0,0}
3280  };
3281  const SetInstr si651[] = {
3282  {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
3283  {SO_HLT,0,0,0}
3284  };
3285  const SetInstr si652[] = {
3286  {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
3287  {SO_HLT,0,0,0}
3288  };
3289  const SetInstr si653[] = {
3290  {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
3291  {SO_HLT,0,0,0}
3292  };
3293  const SetInstr si654[] = {
3294  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
3295  {SO_DUNION,0,1,0},
3296  {SO_HLT,0,0,0}
3297  };
3298  const SetInstr si655[] = {
3299  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3300  {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
3301  {SO_HLT,0,0,0}
3302  };
3303  const SetInstr si656[] = {
3304  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3305  {SO_DUNION,0,1,0},
3306  {SO_HLT,0,0,0}
3307  };
3308  const SetInstr si657[] = {
3309  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3310  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3311  {SO_HLT,0,0,0}
3312  };
3313  const SetInstr si658[] = {
3314  {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
3315  {SO_HLT,0,0,0}
3316  };
3317  const SetInstr si659[] = {
3318  {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
3319  {SO_HLT,0,0,0}
3320  };
3321  const SetInstr si660[] = {
3322  {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
3323  {SO_HLT,0,0,0}
3324  };
3325  const SetInstr si661[] = {
3326  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
3327  {SO_MINUS,0,1,0},
3328  {SO_HLT,0,0,0}
3329  };
3330  const SetInstr si662[] = {
3331  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3332  {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
3333  {SO_HLT,0,0,0}
3334  };
3335  const SetInstr si663[] = {
3336  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3337  {SO_MINUS,0,1,0},
3338  {SO_HLT,0,0,0}
3339  };
3340  const SetInstr si664[] = {
3341  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
3342  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3343  {SO_HLT,0,0,0}
3344  };
3345  const SetInstr si665[] = {
3346  {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
3347  {SO_HLT,0,0,0}
3348  };
3349  const SetInstr si666[] = {
3350  {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
3351  {SO_HLT,0,0,0}
3352  };
3353  const SetInstr si667[] = {
3354  {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
3355  {SO_HLT,0,0,0}
3356  };
3357  const SetInstr si668[] = {
3358  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
3359  {SO_INTER,0,1,0},
3360  {SO_HLT,0,0,0}
3361  };
3362  const SetInstr si669[] = {
3363  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3364  {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
3365  {SO_HLT,0,0,0}
3366  };
3367  const SetInstr si670[] = {
3368  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3369  {SO_INTER,0,1,0},
3370  {SO_HLT,0,0,0}
3371  };
3372  const SetInstr si671[] = {
3373  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3374  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3375  {SO_HLT,0,0,0}
3376  };
3377  const SetInstr si672[] = {
3378  {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
3379  {SO_HLT,0,0,0}
3380  };
3381  const SetInstr si673[] = {
3382  {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
3383  {SO_HLT,0,0,0}
3384  };
3385  const SetInstr si674[] = {
3386  {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
3387  {SO_HLT,0,0,0}
3388  };
3389  const SetInstr si675[] = {
3390  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
3391  {SO_UNION ,0,1,0},
3392  {SO_HLT,0,0,0}
3393  };
3394  const SetInstr si676[] = {
3395  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3396  {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
3397  {SO_HLT,0,0,0}
3398  };
3399  const SetInstr si677[] = {
3400  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3401  {SO_UNION ,0,1,0},
3402  {SO_HLT,0,0,0}
3403  };
3404  const SetInstr si678[] = {
3405  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3406  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3407  {SO_HLT,0,0,0}
3408  };
3409  const SetInstr si679[] = {
3410  {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
3411  {SO_HLT,0,0,0}
3412  };
3413  const SetInstr si680[] = {
3414  {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
3415  {SO_HLT,0,0,0}
3416  };
3417  const SetInstr si681[] = {
3418  {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
3419  {SO_HLT,0,0,0}
3420  };
3421  const SetInstr si682[] = {
3422  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
3423  {SO_UNION,0,1,0},
3424  {SO_HLT,0,0,0}
3425  };
3426  const SetInstr si683[] = {
3427  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3428  {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
3429  {SO_HLT,0,0,0}
3430  };
3431  const SetInstr si684[] = {
3432  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3433  {SO_UNION,0,1,0},
3434  {SO_HLT,0,0,0}
3435  };
3436  const SetInstr si685[] = {
3437  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3438  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3439  {SO_HLT,0,0,0}
3440  };
3441  const SetInstr si686[] = {
3442  {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
3443  {SO_HLT,0,0,0}
3444  };
3445  const SetInstr si687[] = {
3446  {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
3447  {SO_HLT,0,0,0}
3448  };
3449  const SetInstr si688[] = {
3450  {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
3451  {SO_HLT,0,0,0}
3452  };
3453  const SetInstr si689[] = {
3454  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
3455  {SO_DUNION,0,1,0},
3456  {SO_HLT,0,0,0}
3457  };
3458  const SetInstr si690[] = {
3459  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3460  {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
3461  {SO_HLT,0,0,0}
3462  };
3463  const SetInstr si691[] = {
3464  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3465  {SO_DUNION,0,1,0},
3466  {SO_HLT,0,0,0}
3467  };
3468  const SetInstr si692[] = {
3469  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3470  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3471  {SO_HLT,0,0,0}
3472  };
3473  const SetInstr si693[] = {
3474  {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
3475  {SO_HLT,0,0,0}
3476  };
3477  const SetInstr si694[] = {
3478  {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
3479  {SO_HLT,0,0,0}
3480  };
3481  const SetInstr si695[] = {
3482  {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
3483  {SO_HLT,0,0,0}
3484  };
3485  const SetInstr si696[] = {
3486  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1},
3487  {SO_MINUS,0,1,0},
3488  {SO_HLT,0,0,0}
3489  };
3490  const SetInstr si697[] = {
3491  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
3492  {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
3493  {SO_HLT,0,0,0}
3494  };
3495  const SetInstr si698[] = {
3496  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3497  {SO_MINUS,0,1,0},
3498  {SO_HLT,0,0,0}
3499  };
3500  const SetInstr si699[] = {
3501  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
3502  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3503  {SO_HLT,0,0,0}
3504  };
3505  const SetInstr si700[] = {
3506  {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
3507  {SO_HLT,0,0,0}
3508  };
3509  const SetInstr si701[] = {
3510  {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
3511  {SO_HLT,0,0,0}
3512  };
3513  const SetInstr si702[] = {
3514  {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
3515  {SO_HLT,0,0,0}
3516  };
3517  const SetInstr si703[] = {
3518  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
3519  {SO_INTER,0,1,0},
3520  {SO_HLT,0,0,0}
3521  };
3522  const SetInstr si704[] = {
3523  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3524  {SO_INTER,2,3,1},{SO_INTER,0,1,0},
3525  {SO_HLT,0,0,0}
3526  };
3527  const SetInstr si705[] = {
3528  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3529  {SO_INTER,0,1,0},
3530  {SO_HLT,0,0,0}
3531  };
3532  const SetInstr si706[] = {
3533  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3534  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3535  {SO_HLT,0,0,0}
3536  };
3537  const SetInstr si707[] = {
3538  {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
3539  {SO_HLT,0,0,0}
3540  };
3541  const SetInstr si708[] = {
3542  {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
3543  {SO_HLT,0,0,0}
3544  };
3545  const SetInstr si709[] = {
3546  {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
3547  {SO_HLT,0,0,0}
3548  };
3549  const SetInstr si710[] = {
3550  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
3551  {SO_UNION ,0,1,0},
3552  {SO_HLT,0,0,0}
3553  };
3554  const SetInstr si711[] = {
3555  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3556  {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
3557  {SO_HLT,0,0,0}
3558  };
3559  const SetInstr si712[] = {
3560  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3561  {SO_UNION ,0,1,0},
3562  {SO_HLT,0,0,0}
3563  };
3564  const SetInstr si713[] = {
3565  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3566  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3567  {SO_HLT,0,0,0}
3568  };
3569  const SetInstr si714[] = {
3570  {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
3571  {SO_HLT,0,0,0}
3572  };
3573  const SetInstr si715[] = {
3574  {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
3575  {SO_HLT,0,0,0}
3576  };
3577  const SetInstr si716[] = {
3578  {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
3579  {SO_HLT,0,0,0}
3580  };
3581  const SetInstr si717[] = {
3582  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
3583  {SO_UNION,0,1,0},
3584  {SO_HLT,0,0,0}
3585  };
3586  const SetInstr si718[] = {
3587  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3588  {SO_INTER,2,3,1},{SO_UNION,0,1,0},
3589  {SO_HLT,0,0,0}
3590  };
3591  const SetInstr si719[] = {
3592  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3593  {SO_UNION,0,1,0},
3594  {SO_HLT,0,0,0}
3595  };
3596  const SetInstr si720[] = {
3597  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3598  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3599  {SO_HLT,0,0,0}
3600  };
3601  const SetInstr si721[] = {
3602  {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
3603  {SO_HLT,0,0,0}
3604  };
3605  const SetInstr si722[] = {
3606  {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
3607  {SO_HLT,0,0,0}
3608  };
3609  const SetInstr si723[] = {
3610  {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
3611  {SO_HLT,0,0,0}
3612  };
3613  const SetInstr si724[] = {
3614  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
3615  {SO_DUNION,0,1,0},
3616  {SO_HLT,0,0,0}
3617  };
3618  const SetInstr si725[] = {
3619  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3620  {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
3621  {SO_HLT,0,0,0}
3622  };
3623  const SetInstr si726[] = {
3624  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3625  {SO_DUNION,0,1,0},
3626  {SO_HLT,0,0,0}
3627  };
3628  const SetInstr si727[] = {
3629  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3630  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3631  {SO_HLT,0,0,0}
3632  };
3633  const SetInstr si728[] = {
3634  {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
3635  {SO_HLT,0,0,0}
3636  };
3637  const SetInstr si729[] = {
3638  {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
3639  {SO_HLT,0,0,0}
3640  };
3641  const SetInstr si730[] = {
3642  {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
3643  {SO_HLT,0,0,0}
3644  };
3645  const SetInstr si731[] = {
3646  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1},
3647  {SO_MINUS,0,1,0},
3648  {SO_HLT,0,0,0}
3649  };
3650  const SetInstr si732[] = {
3651  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3652  {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
3653  {SO_HLT,0,0,0}
3654  };
3655  const SetInstr si733[] = {
3656  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3657  {SO_MINUS,0,1,0},
3658  {SO_HLT,0,0,0}
3659  };
3660  const SetInstr si734[] = {
3661  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
3662  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3663  {SO_HLT,0,0,0}
3664  };
3665  const SetInstr si735[] = {
3666  {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
3667  {SO_HLT,0,0,0}
3668  };
3669  const SetInstr si736[] = {
3670  {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
3671  {SO_HLT,0,0,0}
3672  };
3673  const SetInstr si737[] = {
3674  {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
3675  {SO_HLT,0,0,0}
3676  };
3677  const SetInstr si738[] = {
3678  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
3679  {SO_INTER,0,1,0},
3680  {SO_HLT,0,0,0}
3681  };
3682  const SetInstr si739[] = {
3683  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3684  {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
3685  {SO_HLT,0,0,0}
3686  };
3687  const SetInstr si740[] = {
3688  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3689  {SO_INTER,0,1,0},
3690  {SO_HLT,0,0,0}
3691  };
3692  const SetInstr si741[] = {
3693  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3694  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3695  {SO_HLT,0,0,0}
3696  };
3697  const SetInstr si742[] = {
3698  {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
3699  {SO_HLT,0,0,0}
3700  };
3701  const SetInstr si743[] = {
3702  {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
3703  {SO_HLT,0,0,0}
3704  };
3705  const SetInstr si744[] = {
3706  {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
3707  {SO_HLT,0,0,0}
3708  };
3709  const SetInstr si745[] = {
3710  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
3711  {SO_UNION ,0,1,0},
3712  {SO_HLT,0,0,0}
3713  };
3714  const SetInstr si746[] = {
3715  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3716  {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
3717  {SO_HLT,0,0,0}
3718  };
3719  const SetInstr si747[] = {
3720  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3721  {SO_UNION ,0,1,0},
3722  {SO_HLT,0,0,0}
3723  };
3724  const SetInstr si748[] = {
3725  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3726  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3727  {SO_HLT,0,0,0}
3728  };
3729  const SetInstr si749[] = {
3730  {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
3731  {SO_HLT,0,0,0}
3732  };
3733  const SetInstr si750[] = {
3734  {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
3735  {SO_HLT,0,0,0}
3736  };
3737  const SetInstr si751[] = {
3738  {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
3739  {SO_HLT,0,0,0}
3740  };
3741  const SetInstr si752[] = {
3742  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
3743  {SO_UNION,0,1,0},
3744  {SO_HLT,0,0,0}
3745  };
3746  const SetInstr si753[] = {
3747  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3748  {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
3749  {SO_HLT,0,0,0}
3750  };
3751  const SetInstr si754[] = {
3752  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3753  {SO_UNION,0,1,0},
3754  {SO_HLT,0,0,0}
3755  };
3756  const SetInstr si755[] = {
3757  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3758  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3759  {SO_HLT,0,0,0}
3760  };
3761  const SetInstr si756[] = {
3762  {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
3763  {SO_HLT,0,0,0}
3764  };
3765  const SetInstr si757[] = {
3766  {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
3767  {SO_HLT,0,0,0}
3768  };
3769  const SetInstr si758[] = {
3770  {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
3771  {SO_HLT,0,0,0}
3772  };
3773  const SetInstr si759[] = {
3774  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
3775  {SO_DUNION,0,1,0},
3776  {SO_HLT,0,0,0}
3777  };
3778  const SetInstr si760[] = {
3779  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3780  {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
3781  {SO_HLT,0,0,0}
3782  };
3783  const SetInstr si761[] = {
3784  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3785  {SO_DUNION,0,1,0},
3786  {SO_HLT,0,0,0}
3787  };
3788  const SetInstr si762[] = {
3789  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3790  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3791  {SO_HLT,0,0,0}
3792  };
3793  const SetInstr si763[] = {
3794  {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
3795  {SO_HLT,0,0,0}
3796  };
3797  const SetInstr si764[] = {
3798  {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
3799  {SO_HLT,0,0,0}
3800  };
3801  const SetInstr si765[] = {
3802  {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
3803  {SO_HLT,0,0,0}
3804  };
3805  const SetInstr si766[] = {
3806  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1},
3807  {SO_MINUS,0,1,0},
3808  {SO_HLT,0,0,0}
3809  };
3810  const SetInstr si767[] = {
3811  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3812  {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
3813  {SO_HLT,0,0,0}
3814  };
3815  const SetInstr si768[] = {
3816  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3817  {SO_MINUS,0,1,0},
3818  {SO_HLT,0,0,0}
3819  };
3820  const SetInstr si769[] = {
3821  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
3822  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3823  {SO_HLT,0,0,0}
3824  };
3825  const SetInstr si770[] = {
3826  {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
3827  {SO_HLT,0,0,0}
3828  };
3829  const SetInstr si771[] = {
3830  {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
3831  {SO_HLT,0,0,0}
3832  };
3833  const SetInstr si772[] = {
3834  {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
3835  {SO_HLT,0,0,0}
3836  };
3837  const SetInstr si773[] = {
3838  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
3839  {SO_INTER,0,1,0},
3840  {SO_HLT,0,0,0}
3841  };
3842  const SetInstr si774[] = {
3843  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3844  {SO_UNION,2,3,1},{SO_INTER,0,1,0},
3845  {SO_HLT,0,0,0}
3846  };
3847  const SetInstr si775[] = {
3848  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3849  {SO_INTER,0,1,0},
3850  {SO_HLT,0,0,0}
3851  };
3852  const SetInstr si776[] = {
3853  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3854  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
3855  {SO_HLT,0,0,0}
3856  };
3857  const SetInstr si777[] = {
3858  {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
3859  {SO_HLT,0,0,0}
3860  };
3861  const SetInstr si778[] = {
3862  {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
3863  {SO_HLT,0,0,0}
3864  };
3865  const SetInstr si779[] = {
3866  {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
3867  {SO_HLT,0,0,0}
3868  };
3869  const SetInstr si780[] = {
3870  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
3871  {SO_UNION ,0,1,0},
3872  {SO_HLT,0,0,0}
3873  };
3874  const SetInstr si781[] = {
3875  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3876  {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
3877  {SO_HLT,0,0,0}
3878  };
3879  const SetInstr si782[] = {
3880  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3881  {SO_UNION ,0,1,0},
3882  {SO_HLT,0,0,0}
3883  };
3884  const SetInstr si783[] = {
3885  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3886  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
3887  {SO_HLT,0,0,0}
3888  };
3889  const SetInstr si784[] = {
3890  {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
3891  {SO_HLT,0,0,0}
3892  };
3893  const SetInstr si785[] = {
3894  {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
3895  {SO_HLT,0,0,0}
3896  };
3897  const SetInstr si786[] = {
3898  {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
3899  {SO_HLT,0,0,0}
3900  };
3901  const SetInstr si787[] = {
3902  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
3903  {SO_UNION,0,1,0},
3904  {SO_HLT,0,0,0}
3905  };
3906  const SetInstr si788[] = {
3907  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3908  {SO_UNION,2,3,1},{SO_UNION,0,1,0},
3909  {SO_HLT,0,0,0}
3910  };
3911  const SetInstr si789[] = {
3912  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3913  {SO_UNION,0,1,0},
3914  {SO_HLT,0,0,0}
3915  };
3916  const SetInstr si790[] = {
3917  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3918  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
3919  {SO_HLT,0,0,0}
3920  };
3921  const SetInstr si791[] = {
3922  {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
3923  {SO_HLT,0,0,0}
3924  };
3925  const SetInstr si792[] = {
3926  {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
3927  {SO_HLT,0,0,0}
3928  };
3929  const SetInstr si793[] = {
3930  {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
3931  {SO_HLT,0,0,0}
3932  };
3933  const SetInstr si794[] = {
3934  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
3935  {SO_DUNION,0,1,0},
3936  {SO_HLT,0,0,0}
3937  };
3938  const SetInstr si795[] = {
3939  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3940  {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
3941  {SO_HLT,0,0,0}
3942  };
3943  const SetInstr si796[] = {
3944  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3945  {SO_DUNION,0,1,0},
3946  {SO_HLT,0,0,0}
3947  };
3948  const SetInstr si797[] = {
3949  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3950  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
3951  {SO_HLT,0,0,0}
3952  };
3953  const SetInstr si798[] = {
3954  {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
3955  {SO_HLT,0,0,0}
3956  };
3957  const SetInstr si799[] = {
3958  {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
3959  {SO_HLT,0,0,0}
3960  };
3961  const SetInstr si800[] = {
3962  {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
3963  {SO_HLT,0,0,0}
3964  };
3965  const SetInstr si801[] = {
3966  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1},
3967  {SO_MINUS,0,1,0},
3968  {SO_HLT,0,0,0}
3969  };
3970  const SetInstr si802[] = {
3971  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
3972  {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
3973  {SO_HLT,0,0,0}
3974  };
3975  const SetInstr si803[] = {
3976  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3977  {SO_MINUS,0,1,0},
3978  {SO_HLT,0,0,0}
3979  };
3980  const SetInstr si804[] = {
3981  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
3982  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
3983  {SO_HLT,0,0,0}
3984  };
3985  const SetInstr si805[] = {
3986  {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
3987  {SO_HLT,0,0,0}
3988  };
3989  const SetInstr si806[] = {
3990  {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
3991  {SO_HLT,0,0,0}
3992  };
3993  const SetInstr si807[] = {
3994  {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
3995  {SO_HLT,0,0,0}
3996  };
3997  const SetInstr si808[] = {
3998  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
3999  {SO_INTER,0,1,0},
4000  {SO_HLT,0,0,0}
4001  };
4002  const SetInstr si809[] = {
4003  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4004  {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
4005  {SO_HLT,0,0,0}
4006  };
4007  const SetInstr si810[] = {
4008  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4009  {SO_INTER,0,1,0},
4010  {SO_HLT,0,0,0}
4011  };
4012  const SetInstr si811[] = {
4013  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4014  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
4015  {SO_HLT,0,0,0}
4016  };
4017  const SetInstr si812[] = {
4018  {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
4019  {SO_HLT,0,0,0}
4020  };
4021  const SetInstr si813[] = {
4022  {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
4023  {SO_HLT,0,0,0}
4024  };
4025  const SetInstr si814[] = {
4026  {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
4027  {SO_HLT,0,0,0}
4028  };
4029  const SetInstr si815[] = {
4030  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
4031  {SO_UNION ,0,1,0},
4032  {SO_HLT,0,0,0}
4033  };
4034  const SetInstr si816[] = {
4035  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4036  {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
4037  {SO_HLT,0,0,0}
4038  };
4039  const SetInstr si817[] = {
4040  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4041  {SO_UNION ,0,1,0},
4042  {SO_HLT,0,0,0}
4043  };
4044  const SetInstr si818[] = {
4045  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4046  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
4047  {SO_HLT,0,0,0}
4048  };
4049  const SetInstr si819[] = {
4050  {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
4051  {SO_HLT,0,0,0}
4052  };
4053  const SetInstr si820[] = {
4054  {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
4055  {SO_HLT,0,0,0}
4056  };
4057  const SetInstr si821[] = {
4058  {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
4059  {SO_HLT,0,0,0}
4060  };
4061  const SetInstr si822[] = {
4062  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
4063  {SO_UNION,0,1,0},
4064  {SO_HLT,0,0,0}
4065  };
4066  const SetInstr si823[] = {
4067  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4068  {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
4069  {SO_HLT,0,0,0}
4070  };
4071  const SetInstr si824[] = {
4072  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4073  {SO_UNION,0,1,0},
4074  {SO_HLT,0,0,0}
4075  };
4076  const SetInstr si825[] = {
4077  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4078  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
4079  {SO_HLT,0,0,0}
4080  };
4081  const SetInstr si826[] = {
4082  {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
4083  {SO_HLT,0,0,0}
4084  };
4085  const SetInstr si827[] = {
4086  {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
4087  {SO_HLT,0,0,0}
4088  };
4089  const SetInstr si828[] = {
4090  {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
4091  {SO_HLT,0,0,0}
4092  };
4093  const SetInstr si829[] = {
4094  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
4095  {SO_DUNION,0,1,0},
4096  {SO_HLT,0,0,0}
4097  };
4098  const SetInstr si830[] = {
4099  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4100  {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
4101  {SO_HLT,0,0,0}
4102  };
4103  const SetInstr si831[] = {
4104  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4105  {SO_DUNION,0,1,0},
4106  {SO_HLT,0,0,0}
4107  };
4108  const SetInstr si832[] = {
4109  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4110  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
4111  {SO_HLT,0,0,0}
4112  };
4113  const SetInstr si833[] = {
4114  {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
4115  {SO_HLT,0,0,0}
4116  };
4117  const SetInstr si834[] = {
4118  {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
4119  {SO_HLT,0,0,0}
4120  };
4121  const SetInstr si835[] = {
4122  {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
4123  {SO_HLT,0,0,0}
4124  };
4125  const SetInstr si836[] = {
4126  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1},
4127  {SO_MINUS,0,1,0},
4128  {SO_HLT,0,0,0}
4129  };
4130  const SetInstr si837[] = {
4131  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4132  {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
4133  {SO_HLT,0,0,0}
4134  };
4135  const SetInstr si838[] = {
4136  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4137  {SO_MINUS,0,1,0},
4138  {SO_HLT,0,0,0}
4139  };
4140  const SetInstr si839[] = {
4141  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
4142  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
4143  {SO_HLT,0,0,0}
4144  };
4145  const SetInstr si840[] = {
4146  {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
4147  {SO_HLT,0,0,0}
4148  };
4149  const SetInstr si841[] = {
4150  {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
4151  {SO_HLT,0,0,0}
4152  };
4153  const SetInstr si842[] = {
4154  {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
4155  {SO_HLT,0,0,0}
4156  };
4157  const SetInstr si843[] = {
4158  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
4159  {SO_INTER,0,1,0},
4160  {SO_HLT,0,0,0}
4161  };
4162  const SetInstr si844[] = {
4163  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4164  {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
4165  {SO_HLT,0,0,0}
4166  };
4167  const SetInstr si845[] = {
4168  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4169  {SO_INTER,0,1,0},
4170  {SO_HLT,0,0,0}
4171  };
4172  const SetInstr si846[] = {
4173  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4174  {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
4175  {SO_HLT,0,0,0}
4176  };
4177  const SetInstr si847[] = {
4178  {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
4179  {SO_HLT,0,0,0}
4180  };
4181  const SetInstr si848[] = {
4182  {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
4183  {SO_HLT,0,0,0}
4184  };
4185  const SetInstr si849[] = {
4186  {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
4187  {SO_HLT,0,0,0}
4188  };
4189  const SetInstr si850[] = {
4190  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
4191  {SO_UNION ,0,1,0},
4192  {SO_HLT,0,0,0}
4193  };
4194  const SetInstr si851[] = {
4195  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4196  {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
4197  {SO_HLT,0,0,0}
4198  };
4199  const SetInstr si852[] = {
4200  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4201  {SO_UNION ,0,1,0},
4202  {SO_HLT,0,0,0}
4203  };
4204  const SetInstr si853[] = {
4205  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4206  {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
4207  {SO_HLT,0,0,0}
4208  };
4209  const SetInstr si854[] = {
4210  {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
4211  {SO_HLT,0,0,0}
4212  };
4213  const SetInstr si855[] = {
4214  {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
4215  {SO_HLT,0,0,0}
4216  };
4217  const SetInstr si856[] = {
4218  {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
4219  {SO_HLT,0,0,0}
4220  };
4221  const SetInstr si857[] = {
4222  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
4223  {SO_UNION,0,1,0},
4224  {SO_HLT,0,0,0}
4225  };
4226  const SetInstr si858[] = {
4227  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4228  {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
4229  {SO_HLT,0,0,0}
4230  };
4231  const SetInstr si859[] = {
4232  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4233  {SO_UNION,0,1,0},
4234  {SO_HLT,0,0,0}
4235  };
4236  const SetInstr si860[] = {
4237  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4238  {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
4239  {SO_HLT,0,0,0}
4240  };
4241  const SetInstr si861[] = {
4242  {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
4243  {SO_HLT,0,0,0}
4244  };
4245  const SetInstr si862[] = {
4246  {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
4247  {SO_HLT,0,0,0}
4248  };
4249  const SetInstr si863[] = {
4250  {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
4251  {SO_HLT,0,0,0}
4252  };
4253  const SetInstr si864[] = {
4254  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
4255  {SO_DUNION,0,1,0},
4256  {SO_HLT,0,0,0}
4257  };
4258  const SetInstr si865[] = {
4259  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4260  {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
4261  {SO_HLT,0,0,0}
4262  };
4263  const SetInstr si866[] = {
4264  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4265  {SO_DUNION,0,1,0},
4266  {SO_HLT,0,0,0}
4267  };
4268  const SetInstr si867[] = {
4269  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4270  {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
4271  {SO_HLT,0,0,0}
4272  };
4273  const SetInstr si868[] = {
4274  {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
4275  {SO_HLT,0,0,0}
4276  };
4277  const SetInstr si869[] = {
4278  {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
4279  {SO_HLT,0,0,0}
4280  };
4281  const SetInstr si870[] = {
4282  {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
4283  {SO_HLT,0,0,0}
4284  };
4285  const SetInstr si871[] = {
4286  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1},
4287  {SO_MINUS,0,1,0},
4288  {SO_HLT,0,0,0}
4289  };
4290  const SetInstr si872[] = {
4291  {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0},
4292  {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
4293  {SO_HLT,0,0,0}
4294  };
4295  const SetInstr si873[] = {
4296  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4297  {SO_MINUS,0,1,0},
4298  {SO_HLT,0,0,0}
4299  };
4300  const SetInstr si874[] = {
4301  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
4302  {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
4303  {SO_HLT,0,0,0}
4304  };
4305  const SetInstr si875[] = {
4306  {SO_CMPL,0,0,0},
4307  {SO_HLT,0,0,0}
4308  };
4309  const SetInstr si876[] = {
4310  {SO_INTER,0,1,0},
4311  {SO_HLT,0,0,0}
4312  };
4313  const SetInstr si877[] = {
4314  {SO_UNION,0,1,0},
4315  {SO_HLT,0,0,0}
4316  };
4317  const SetInstr si878[] = {
4318  {SO_DUNION,0,1,0},
4319  {SO_HLT,0,0,0}
4320  };
4321  const SetInstr si879[] = {
4322  {SO_MINUS,0,1,0},
4323  {SO_HLT,0,0,0}
4324  };
4325 
4326 
4327 
4328  const SetInstr* si[] = {
4329  &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0],
4330  &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0],
4331  &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0],
4332  &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0],
4333  &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0],
4334  &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0],
4335  &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0],
4336  &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0],
4337  &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0],
4338  &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0],
4339  &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0],
4340  &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0],
4341  &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0],
4342  &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0],
4343  &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0],
4344  &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0],
4345  &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0],
4346  &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0],
4347  &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0],
4348  &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0],
4349  &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0],
4350  &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0],
4351  &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0],
4352  &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0],
4353  &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0],
4354  &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0],
4355  &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0],
4356  &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0],
4357  &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0],
4358  &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0],
4359  &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0],
4360  &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0],
4361  &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0],
4362  &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0],
4363  &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0],
4364  &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0],
4365  &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0],
4366  &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0],
4367  &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0],
4368  &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0],
4369  &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0],
4370  &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0],
4371  &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0],
4372  &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0],
4373  &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0],
4374  &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0],
4375  &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0],
4376  &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0],
4377  &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0],
4378  &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0],
4379  &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0],
4380  &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0],
4381  &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0],
4382  &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0],
4383  &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0],
4384  &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0],
4385  &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0],
4386  &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0],
4387  &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0],
4388  &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0],
4389  &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0],
4390  &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0],
4391  &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0],
4392  &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0],
4393  &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0],
4394  &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0],
4395  &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0],
4396  &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0],
4397  &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0],
4398  &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0],
4399  &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0],
4400  &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0],
4401  &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0],
4402  &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0],
4403  &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0],
4404  &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0],
4405  &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0],
4406  &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0],
4407  &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0],
4408  &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0],
4409  &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0],
4410  &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0],
4411  &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0],
4412  &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0],
4413  &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0],
4414  &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0],
4415  &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0],
4416  &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0],
4417  &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0],
4418  &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0],
4419  &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0],
4420  &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0],
4421  &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0],
4422  &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0],
4423  &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0],
4424  &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0],
4425  &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0],
4426  &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0],
4427  &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0],
4428  &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0],
4429  &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0],
4430  &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0],
4431  &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0],
4432  &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0],
4433  &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0],
4434  &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0],
4435  &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0],
4436  &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0],
4437  &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0],
4438  &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0],
4439  &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0],
4440  &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0],
4441  &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0],
4442  &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0],
4443  &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0],
4444  &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0],
4445  &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0],
4446  &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0],
4447  &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0],
4448  &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0],
4449  &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0],
4450  &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0],
4451  &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0],
4452  &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0],
4453  &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0],
4454  &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0],
4455  &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0],
4456  &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0],
4457  &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0],
4458  &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0],
4459  &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0],
4460  &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0],
4461  &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0],
4462  &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0],
4463  &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0],
4464  &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0],
4465  &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0],
4466  &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0],
4467  &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0],
4468  &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0],
4469  &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0],
4470  &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0],
4471  &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0],
4472  &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0],
4473  &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0],
4474  &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0],
4475  &si876[0],&si877[0],&si878[0],&si879[0]
4476  };
4477 
4478 
4480  class Create {
4481  public:
4483  Create(void) {
4484  int n = sizeof(si)/sizeof(SetInstr*);
4485  for (int i=0; i<n; i++) {
4486  std::string s = Test::str(i);
4487  if (i < 10) {
4488  s = "00" + s;
4489  } else if (i < 100) {
4490  s = "0" + s;
4491  }
4492  (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,0);
4493  (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,1);
4494  (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,0);
4495  (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,1);
4496  (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,0);
4497  (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,1);
4498  (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,0);
4499  (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,1);
4500  (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,0);
4501  (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,1);
4502 
4503  if ( (i % 31) == 0) {
4504 
4505  for (int j=0; j<n; j++) {
4506  if ( (j % 37) == 0) {
4507  std::string ss = Test::str(j);
4508  if (j < 10) {
4509  ss = "00" + ss;
4510  } else if (j < 100) {
4511  ss = "0" + ss;
4512  }
4513  ss=s+"::"+ss;
4514  (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_EQ);
4515  (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_NQ);
4516  (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUB);
4517  (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUP);
4518  (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_DISJ);
4519  }
4520  }
4521  }
4522  }
4523  }
4524  };
4525 
4528  }
4529 
4530 }}
4531 
4532 // STATISTICS: test-minimodel