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