mm-set.cpp
Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 00002 /* 00003 * Main authors: 00004 * Christian Schulte <schulte@gecode.org> 00005 * 00006 * Copyright: 00007 * Christian Schulte, 2008 00008 * 00009 * Last modified: 00010 * $Date: 2010-07-16 11:05:32 +0200 (Fri, 16 Jul 2010) $ by $Author: tack $ 00011 * $Revision: 11209 $ 00012 * 00013 * This file is part of Gecode, the generic constraint 00014 * development environment: 00015 * http://www.gecode.org 00016 * 00017 * Permission is hereby granted, free of charge, to any person obtaining 00018 * a copy of this software and associated documentation files (the 00019 * "Software"), to deal in the Software without restriction, including 00020 * without limitation the rights to use, copy, modify, merge, publish, 00021 * distribute, sublicense, and/or sell copies of the Software, and to 00022 * permit persons to whom the Software is furnished to do so, subject to 00023 * the following conditions: 00024 * 00025 * The above copyright notice and this permission notice shall be 00026 * included in all copies or substantial portions of the Software. 00027 * 00028 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00029 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00030 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00031 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 00032 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 00033 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 00034 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 00035 * 00036 */ 00037 00038 #include "test/int.hh" 00039 00040 #include <gecode/minimodel.hh> 00041 00042 namespace Test { namespace Int { 00043 00045 namespace MiniModelSet { 00046 00048 enum SetOpcode { 00049 SO_CMPL, 00050 SO_UNION, 00051 SO_DUNION, 00052 SO_INTER, 00053 SO_MINUS, 00054 SO_HLT 00055 }; 00056 00058 class SetInstr { 00059 public: 00060 SetOpcode o; 00061 unsigned char x, y, z; 00062 }; 00063 00065 int 00066 eval(const SetInstr* pc, int reg[], bool& failed) { 00067 failed = false; 00068 while (true) { 00069 switch (pc->o) { 00070 case SO_CMPL: reg[pc->y] = !reg[pc->x]; break; 00071 case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break; 00072 case SO_UNION: reg[pc->z] = reg[pc->x] | reg[pc->y]; break; 00073 case SO_DUNION: 00074 if (reg[pc->x] && reg[pc->y]) 00075 failed = true; 00076 reg[pc->z] = reg[pc->x] | reg[pc->y]; break; 00077 case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break; 00078 case SO_HLT: return reg[pc->x]; 00079 default: GECODE_NEVER; 00080 } 00081 pc++; 00082 } 00083 GECODE_NEVER; 00084 } 00085 00087 Gecode::SetExpr 00088 eval(const SetInstr* pc, Gecode::SetExpr reg[]) { 00089 using namespace Gecode; 00090 while (true) { 00091 switch (pc->o) { 00092 case SO_CMPL: reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break; 00093 case SO_INTER: reg[pc->z] = (reg[pc->x] & reg[pc->y]); break; 00094 case SO_UNION: reg[pc->z] = (reg[pc->x] | reg[pc->y]); break; 00095 case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break; 00096 case SO_MINUS: reg[pc->z] = reg[pc->x] - reg[pc->y]; break; 00097 case SO_HLT: return reg[pc->x]; 00098 default: GECODE_NEVER; 00099 } 00100 pc++; 00101 } 00102 GECODE_NEVER; 00103 } 00104 00105 bool 00106 simpleReifiedSemantics(const SetInstr* pc) { 00107 while (pc->o != SO_HLT) { 00108 if (pc->o == SO_DUNION) 00109 return false; 00110 pc++; 00111 } 00112 return true; 00113 } 00114 00120 00121 class SetExprConst : public Test { 00122 protected: 00124 const SetInstr* bis; 00126 int c; 00128 Gecode::SetRelType srt; 00129 public: 00131 SetExprConst(const SetInstr* bis0, const std::string& s, 00132 Gecode::SetRelType srt0, int c0) 00133 : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0), 00134 4,0,1,simpleReifiedSemantics(bis0)), 00135 bis(bis0), c(c0), srt(srt0) {} 00137 virtual bool solution(const Assignment& x) const { 00138 int reg[4] = {(x[0] != x[2]), x[1], 00139 (x[2] > 0), x[3]}; 00140 bool failed; 00141 int ret = eval(bis, reg, failed); 00142 if (failed) 00143 return false; 00144 switch (srt) { 00145 case Gecode::SRT_EQ: return ret == c; 00146 case Gecode::SRT_NQ: return ret != c; 00147 case Gecode::SRT_SUB: return ret <= c; 00148 case Gecode::SRT_SUP: return ret >= c; 00149 case Gecode::SRT_DISJ: return ret+c != 2; 00150 case Gecode::SRT_CMPL: return ret != c; 00151 } 00152 GECODE_NEVER; 00153 return false; 00154 } 00156 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 00157 using namespace Gecode; 00158 SetVarArgs s(home,4,IntSet::empty,1,1); 00159 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); 00160 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); 00161 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); 00162 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); 00163 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]}; 00164 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1); 00165 Gecode::SetExpr e = eval(bis,reg); 00166 switch (srt) { 00167 case Gecode::SRT_EQ: Gecode::rel(home, e == res); break; 00168 case Gecode::SRT_NQ: Gecode::rel(home, e != res); break; 00169 case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break; 00170 case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break; 00171 case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break; 00172 case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break; 00173 } 00174 } 00176 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, 00177 Gecode::BoolVar b) { 00178 using namespace Gecode; 00179 SetVarArgs s(home,4,IntSet::empty,1,1); 00180 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); 00181 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); 00182 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); 00183 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); 00184 Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]}; 00185 Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1); 00186 Gecode::SetExpr e = eval(bis,reg); 00187 switch (srt) { 00188 case Gecode::SRT_EQ: Gecode::rel(home, (e == res)==b); break; 00189 case Gecode::SRT_NQ: Gecode::rel(home, (e != res)==b); break; 00190 case Gecode::SRT_SUB: Gecode::rel(home, (e <= res)==b); break; 00191 case Gecode::SRT_SUP: Gecode::rel(home, (e >= res)==b); break; 00192 case Gecode::SRT_DISJ: Gecode::rel(home, (e || res)==b); break; 00193 case Gecode::SRT_CMPL: Gecode::rel(home, (e == -res)==b); break; 00194 } 00195 } 00196 }; 00197 00199 class SetExprExpr : public Test { 00200 protected: 00202 const SetInstr* bis0; 00204 const SetInstr* bis1; 00206 Gecode::SetRelType srt; 00207 public: 00209 SetExprExpr(const SetInstr* bis00, const SetInstr* bis10, 00210 const std::string& s, Gecode::SetRelType srt0) 00211 : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0), 00212 8,0,1, 00213 simpleReifiedSemantics(bis00) && 00214 simpleReifiedSemantics(bis10)), 00215 bis0(bis00), bis1(bis10), srt(srt0) {} 00217 virtual bool solution(const Assignment& x) const { 00218 int reg0[4] = {(x[0] != x[2]), x[1], 00219 (x[2] > 0), x[3]}; 00220 bool failed0; 00221 int ret0 = eval(bis0, reg0, failed0); 00222 if (failed0) 00223 return false; 00224 00225 int reg1[4] = {(x[4] != x[6]), x[5], 00226 (x[6] > 0), x[7]}; 00227 bool failed1; 00228 int ret1 = eval(bis1, reg1, failed1); 00229 00230 if (failed1) 00231 return false; 00232 00233 switch (srt) { 00234 case Gecode::SRT_EQ: return ret0 == ret1; 00235 case Gecode::SRT_NQ: return ret0 != ret1; 00236 case Gecode::SRT_SUB: return ret0 <= ret1; 00237 case Gecode::SRT_SUP: return ret0 >= ret1; 00238 case Gecode::SRT_DISJ: return ret0+ret1 != 2; 00239 case Gecode::SRT_CMPL: return ret0 != ret1; 00240 } 00241 GECODE_NEVER; 00242 return false; 00243 } 00245 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 00246 using namespace Gecode; 00247 SetVarArgs s(home,8,IntSet::empty,1,1); 00248 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); 00249 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); 00250 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); 00251 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); 00252 00253 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6])); 00254 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1)); 00255 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0)); 00256 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1)); 00257 00258 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]}; 00259 Gecode::SetExpr e0 = eval(bis0,reg0); 00260 00261 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]}; 00262 Gecode::SetExpr e1 = eval(bis1,reg1); 00263 00264 switch (srt) { 00265 case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break; 00266 case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break; 00267 case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break; 00268 case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break; 00269 case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break; 00270 case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break; 00271 } 00272 } 00274 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, 00275 Gecode::BoolVar b) { 00276 using namespace Gecode; 00277 SetVarArgs s(home,8,IntSet::empty,1,1); 00278 Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); 00279 Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); 00280 Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); 00281 Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); 00282 00283 Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6])); 00284 Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1)); 00285 Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0)); 00286 Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1)); 00287 00288 Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]}; 00289 Gecode::SetExpr e0 = eval(bis0,reg0); 00290 00291 Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]}; 00292 Gecode::SetExpr e1 = eval(bis1,reg1); 00293 00294 switch (srt) { 00295 case Gecode::SRT_EQ: Gecode::rel(home, (e0 == e1)==b); break; 00296 case Gecode::SRT_NQ: Gecode::rel(home, (e0 != e1)==b); break; 00297 case Gecode::SRT_SUB: Gecode::rel(home, (e0 <= e1)==b); break; 00298 case Gecode::SRT_SUP: Gecode::rel(home, (e0 >= e1)==b); break; 00299 case Gecode::SRT_DISJ: Gecode::rel(home, (e0 || e1)==b); break; 00300 case Gecode::SRT_CMPL: Gecode::rel(home, (e0 == -e1)==b); break; 00301 } 00302 } 00303 }; 00304 00305 const SetInstr si000[] = { 00306 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, 00307 {SO_HLT,0,0,0} 00308 }; 00309 const SetInstr si001[] = { 00310 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, 00311 {SO_HLT,0,0,0} 00312 }; 00313 const SetInstr si002[] = { 00314 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, 00315 {SO_HLT,0,0,0} 00316 }; 00317 const SetInstr si003[] = { 00318 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, 00319 {SO_INTER,0,1,0}, 00320 {SO_HLT,0,0,0} 00321 }; 00322 const SetInstr si004[] = { 00323 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00324 {SO_INTER,2,3,1},{SO_INTER,0,1,0}, 00325 {SO_HLT,0,0,0} 00326 }; 00327 const SetInstr si005[] = { 00328 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00329 {SO_INTER,0,1,0}, 00330 {SO_HLT,0,0,0} 00331 }; 00332 const SetInstr si006[] = { 00333 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00334 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 00335 {SO_HLT,0,0,0} 00336 }; 00337 const SetInstr si007[] = { 00338 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 00339 {SO_HLT,0,0,0} 00340 }; 00341 const SetInstr si008[] = { 00342 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, 00343 {SO_HLT,0,0,0} 00344 }; 00345 const SetInstr si009[] = { 00346 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, 00347 {SO_HLT,0,0,0} 00348 }; 00349 const SetInstr si010[] = { 00350 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, 00351 {SO_UNION ,0,1,0}, 00352 {SO_HLT,0,0,0} 00353 }; 00354 const SetInstr si011[] = { 00355 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00356 {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 00357 {SO_HLT,0,0,0} 00358 }; 00359 const SetInstr si012[] = { 00360 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00361 {SO_UNION ,0,1,0}, 00362 {SO_HLT,0,0,0} 00363 }; 00364 const SetInstr si013[] = { 00365 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00366 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 00367 {SO_HLT,0,0,0} 00368 }; 00369 const SetInstr si014[] = { 00370 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, 00371 {SO_HLT,0,0,0} 00372 }; 00373 const SetInstr si015[] = { 00374 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, 00375 {SO_HLT,0,0,0} 00376 }; 00377 const SetInstr si016[] = { 00378 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, 00379 {SO_HLT,0,0,0} 00380 }; 00381 const SetInstr si017[] = { 00382 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, 00383 {SO_UNION,0,1,0}, 00384 {SO_HLT,0,0,0} 00385 }; 00386 const SetInstr si018[] = { 00387 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00388 {SO_INTER,2,3,1},{SO_UNION,0,1,0}, 00389 {SO_HLT,0,0,0} 00390 }; 00391 const SetInstr si019[] = { 00392 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00393 {SO_UNION,0,1,0}, 00394 {SO_HLT,0,0,0} 00395 }; 00396 const SetInstr si020[] = { 00397 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00398 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 00399 {SO_HLT,0,0,0} 00400 }; 00401 const SetInstr si021[] = { 00402 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 00403 {SO_HLT,0,0,0} 00404 }; 00405 const SetInstr si022[] = { 00406 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, 00407 {SO_HLT,0,0,0} 00408 }; 00409 const SetInstr si023[] = { 00410 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, 00411 {SO_HLT,0,0,0} 00412 }; 00413 const SetInstr si024[] = { 00414 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, 00415 {SO_DUNION,0,1,0}, 00416 {SO_HLT,0,0,0} 00417 }; 00418 const SetInstr si025[] = { 00419 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00420 {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 00421 {SO_HLT,0,0,0} 00422 }; 00423 const SetInstr si026[] = { 00424 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00425 {SO_DUNION,0,1,0}, 00426 {SO_HLT,0,0,0} 00427 }; 00428 const SetInstr si027[] = { 00429 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00430 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 00431 {SO_HLT,0,0,0} 00432 }; 00433 const SetInstr si028[] = { 00434 {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 00435 {SO_HLT,0,0,0} 00436 }; 00437 const SetInstr si029[] = { 00438 {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, 00439 {SO_HLT,0,0,0} 00440 }; 00441 const SetInstr si030[] = { 00442 {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, 00443 {SO_HLT,0,0,0} 00444 }; 00445 const SetInstr si031[] = { 00446 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, 00447 {SO_MINUS,0,1,0}, 00448 {SO_HLT,0,0,0} 00449 }; 00450 const SetInstr si032[] = { 00451 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00452 {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 00453 {SO_HLT,0,0,0} 00454 }; 00455 const SetInstr si033[] = { 00456 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00457 {SO_MINUS,0,1,0}, 00458 {SO_HLT,0,0,0} 00459 }; 00460 const SetInstr si034[] = { 00461 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 00462 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 00463 {SO_HLT,0,0,0} 00464 }; 00465 const SetInstr si035[] = { 00466 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 00467 {SO_HLT,0,0,0} 00468 }; 00469 const SetInstr si036[] = { 00470 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, 00471 {SO_HLT,0,0,0} 00472 }; 00473 const SetInstr si037[] = { 00474 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, 00475 {SO_HLT,0,0,0} 00476 }; 00477 const SetInstr si038[] = { 00478 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, 00479 {SO_INTER,0,1,0}, 00480 {SO_HLT,0,0,0} 00481 }; 00482 const SetInstr si039[] = { 00483 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00484 {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 00485 {SO_HLT,0,0,0} 00486 }; 00487 const SetInstr si040[] = { 00488 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00489 {SO_INTER,0,1,0}, 00490 {SO_HLT,0,0,0} 00491 }; 00492 const SetInstr si041[] = { 00493 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00494 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 00495 {SO_HLT,0,0,0} 00496 }; 00497 const SetInstr si042[] = { 00498 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 00499 {SO_HLT,0,0,0} 00500 }; 00501 const SetInstr si043[] = { 00502 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, 00503 {SO_HLT,0,0,0} 00504 }; 00505 const SetInstr si044[] = { 00506 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, 00507 {SO_HLT,0,0,0} 00508 }; 00509 const SetInstr si045[] = { 00510 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, 00511 {SO_UNION ,0,1,0}, 00512 {SO_HLT,0,0,0} 00513 }; 00514 const SetInstr si046[] = { 00515 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00516 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 00517 {SO_HLT,0,0,0} 00518 }; 00519 const SetInstr si047[] = { 00520 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00521 {SO_UNION ,0,1,0}, 00522 {SO_HLT,0,0,0} 00523 }; 00524 const SetInstr si048[] = { 00525 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00526 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 00527 {SO_HLT,0,0,0} 00528 }; 00529 const SetInstr si049[] = { 00530 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 00531 {SO_HLT,0,0,0} 00532 }; 00533 const SetInstr si050[] = { 00534 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, 00535 {SO_HLT,0,0,0} 00536 }; 00537 const SetInstr si051[] = { 00538 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, 00539 {SO_HLT,0,0,0} 00540 }; 00541 const SetInstr si052[] = { 00542 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, 00543 {SO_UNION,0,1,0}, 00544 {SO_HLT,0,0,0} 00545 }; 00546 const SetInstr si053[] = { 00547 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00548 {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 00549 {SO_HLT,0,0,0} 00550 }; 00551 const SetInstr si054[] = { 00552 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00553 {SO_UNION,0,1,0}, 00554 {SO_HLT,0,0,0} 00555 }; 00556 const SetInstr si055[] = { 00557 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00558 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 00559 {SO_HLT,0,0,0} 00560 }; 00561 const SetInstr si056[] = { 00562 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 00563 {SO_HLT,0,0,0} 00564 }; 00565 const SetInstr si057[] = { 00566 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, 00567 {SO_HLT,0,0,0} 00568 }; 00569 const SetInstr si058[] = { 00570 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, 00571 {SO_HLT,0,0,0} 00572 }; 00573 const SetInstr si059[] = { 00574 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, 00575 {SO_DUNION,0,1,0}, 00576 {SO_HLT,0,0,0} 00577 }; 00578 const SetInstr si060[] = { 00579 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00580 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 00581 {SO_HLT,0,0,0} 00582 }; 00583 const SetInstr si061[] = { 00584 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00585 {SO_DUNION,0,1,0}, 00586 {SO_HLT,0,0,0} 00587 }; 00588 const SetInstr si062[] = { 00589 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00590 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 00591 {SO_HLT,0,0,0} 00592 }; 00593 const SetInstr si063[] = { 00594 {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 00595 {SO_HLT,0,0,0} 00596 }; 00597 const SetInstr si064[] = { 00598 {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, 00599 {SO_HLT,0,0,0} 00600 }; 00601 const SetInstr si065[] = { 00602 {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, 00603 {SO_HLT,0,0,0} 00604 }; 00605 const SetInstr si066[] = { 00606 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, 00607 {SO_MINUS,0,1,0}, 00608 {SO_HLT,0,0,0} 00609 }; 00610 const SetInstr si067[] = { 00611 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00612 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 00613 {SO_HLT,0,0,0} 00614 }; 00615 const SetInstr si068[] = { 00616 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00617 {SO_MINUS,0,1,0}, 00618 {SO_HLT,0,0,0} 00619 }; 00620 const SetInstr si069[] = { 00621 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 00622 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 00623 {SO_HLT,0,0,0} 00624 }; 00625 const SetInstr si070[] = { 00626 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, 00627 {SO_HLT,0,0,0} 00628 }; 00629 const SetInstr si071[] = { 00630 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, 00631 {SO_HLT,0,0,0} 00632 }; 00633 const SetInstr si072[] = { 00634 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, 00635 {SO_HLT,0,0,0} 00636 }; 00637 const SetInstr si073[] = { 00638 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, 00639 {SO_INTER,0,1,0}, 00640 {SO_HLT,0,0,0} 00641 }; 00642 const SetInstr si074[] = { 00643 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00644 {SO_UNION,2,3,1},{SO_INTER,0,1,0}, 00645 {SO_HLT,0,0,0} 00646 }; 00647 const SetInstr si075[] = { 00648 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00649 {SO_INTER,0,1,0}, 00650 {SO_HLT,0,0,0} 00651 }; 00652 const SetInstr si076[] = { 00653 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00654 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 00655 {SO_HLT,0,0,0} 00656 }; 00657 const SetInstr si077[] = { 00658 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 00659 {SO_HLT,0,0,0} 00660 }; 00661 const SetInstr si078[] = { 00662 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, 00663 {SO_HLT,0,0,0} 00664 }; 00665 const SetInstr si079[] = { 00666 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, 00667 {SO_HLT,0,0,0} 00668 }; 00669 const SetInstr si080[] = { 00670 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, 00671 {SO_UNION ,0,1,0}, 00672 {SO_HLT,0,0,0} 00673 }; 00674 const SetInstr si081[] = { 00675 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00676 {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 00677 {SO_HLT,0,0,0} 00678 }; 00679 const SetInstr si082[] = { 00680 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00681 {SO_UNION ,0,1,0}, 00682 {SO_HLT,0,0,0} 00683 }; 00684 const SetInstr si083[] = { 00685 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00686 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 00687 {SO_HLT,0,0,0} 00688 }; 00689 const SetInstr si084[] = { 00690 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, 00691 {SO_HLT,0,0,0} 00692 }; 00693 const SetInstr si085[] = { 00694 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, 00695 {SO_HLT,0,0,0} 00696 }; 00697 const SetInstr si086[] = { 00698 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, 00699 {SO_HLT,0,0,0} 00700 }; 00701 const SetInstr si087[] = { 00702 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, 00703 {SO_UNION,0,1,0}, 00704 {SO_HLT,0,0,0} 00705 }; 00706 const SetInstr si088[] = { 00707 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00708 {SO_UNION,2,3,1},{SO_UNION,0,1,0}, 00709 {SO_HLT,0,0,0} 00710 }; 00711 const SetInstr si089[] = { 00712 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00713 {SO_UNION,0,1,0}, 00714 {SO_HLT,0,0,0} 00715 }; 00716 const SetInstr si090[] = { 00717 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00718 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 00719 {SO_HLT,0,0,0} 00720 }; 00721 const SetInstr si091[] = { 00722 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 00723 {SO_HLT,0,0,0} 00724 }; 00725 const SetInstr si092[] = { 00726 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, 00727 {SO_HLT,0,0,0} 00728 }; 00729 const SetInstr si093[] = { 00730 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, 00731 {SO_HLT,0,0,0} 00732 }; 00733 const SetInstr si094[] = { 00734 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, 00735 {SO_DUNION,0,1,0}, 00736 {SO_HLT,0,0,0} 00737 }; 00738 const SetInstr si095[] = { 00739 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00740 {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 00741 {SO_HLT,0,0,0} 00742 }; 00743 const SetInstr si096[] = { 00744 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00745 {SO_DUNION,0,1,0}, 00746 {SO_HLT,0,0,0} 00747 }; 00748 const SetInstr si097[] = { 00749 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00750 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 00751 {SO_HLT,0,0,0} 00752 }; 00753 const SetInstr si098[] = { 00754 {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 00755 {SO_HLT,0,0,0} 00756 }; 00757 const SetInstr si099[] = { 00758 {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, 00759 {SO_HLT,0,0,0} 00760 }; 00761 const SetInstr si100[] = { 00762 {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, 00763 {SO_HLT,0,0,0} 00764 }; 00765 const SetInstr si101[] = { 00766 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, 00767 {SO_MINUS,0,1,0}, 00768 {SO_HLT,0,0,0} 00769 }; 00770 const SetInstr si102[] = { 00771 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00772 {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 00773 {SO_HLT,0,0,0} 00774 }; 00775 const SetInstr si103[] = { 00776 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00777 {SO_MINUS,0,1,0}, 00778 {SO_HLT,0,0,0} 00779 }; 00780 const SetInstr si104[] = { 00781 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 00782 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 00783 {SO_HLT,0,0,0} 00784 }; 00785 const SetInstr si105[] = { 00786 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 00787 {SO_HLT,0,0,0} 00788 }; 00789 const SetInstr si106[] = { 00790 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, 00791 {SO_HLT,0,0,0} 00792 }; 00793 const SetInstr si107[] = { 00794 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, 00795 {SO_HLT,0,0,0} 00796 }; 00797 const SetInstr si108[] = { 00798 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, 00799 {SO_INTER,0,1,0}, 00800 {SO_HLT,0,0,0} 00801 }; 00802 const SetInstr si109[] = { 00803 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00804 {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 00805 {SO_HLT,0,0,0} 00806 }; 00807 const SetInstr si110[] = { 00808 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00809 {SO_INTER,0,1,0}, 00810 {SO_HLT,0,0,0} 00811 }; 00812 const SetInstr si111[] = { 00813 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00814 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 00815 {SO_HLT,0,0,0} 00816 }; 00817 const SetInstr si112[] = { 00818 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 00819 {SO_HLT,0,0,0} 00820 }; 00821 const SetInstr si113[] = { 00822 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, 00823 {SO_HLT,0,0,0} 00824 }; 00825 const SetInstr si114[] = { 00826 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, 00827 {SO_HLT,0,0,0} 00828 }; 00829 const SetInstr si115[] = { 00830 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, 00831 {SO_UNION ,0,1,0}, 00832 {SO_HLT,0,0,0} 00833 }; 00834 const SetInstr si116[] = { 00835 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00836 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 00837 {SO_HLT,0,0,0} 00838 }; 00839 const SetInstr si117[] = { 00840 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00841 {SO_UNION ,0,1,0}, 00842 {SO_HLT,0,0,0} 00843 }; 00844 const SetInstr si118[] = { 00845 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00846 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 00847 {SO_HLT,0,0,0} 00848 }; 00849 const SetInstr si119[] = { 00850 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 00851 {SO_HLT,0,0,0} 00852 }; 00853 const SetInstr si120[] = { 00854 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, 00855 {SO_HLT,0,0,0} 00856 }; 00857 const SetInstr si121[] = { 00858 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, 00859 {SO_HLT,0,0,0} 00860 }; 00861 const SetInstr si122[] = { 00862 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, 00863 {SO_UNION,0,1,0}, 00864 {SO_HLT,0,0,0} 00865 }; 00866 const SetInstr si123[] = { 00867 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00868 {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 00869 {SO_HLT,0,0,0} 00870 }; 00871 const SetInstr si124[] = { 00872 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00873 {SO_UNION,0,1,0}, 00874 {SO_HLT,0,0,0} 00875 }; 00876 const SetInstr si125[] = { 00877 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00878 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 00879 {SO_HLT,0,0,0} 00880 }; 00881 const SetInstr si126[] = { 00882 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 00883 {SO_HLT,0,0,0} 00884 }; 00885 const SetInstr si127[] = { 00886 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, 00887 {SO_HLT,0,0,0} 00888 }; 00889 const SetInstr si128[] = { 00890 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, 00891 {SO_HLT,0,0,0} 00892 }; 00893 const SetInstr si129[] = { 00894 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, 00895 {SO_DUNION,0,1,0}, 00896 {SO_HLT,0,0,0} 00897 }; 00898 const SetInstr si130[] = { 00899 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00900 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 00901 {SO_HLT,0,0,0} 00902 }; 00903 const SetInstr si131[] = { 00904 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00905 {SO_DUNION,0,1,0}, 00906 {SO_HLT,0,0,0} 00907 }; 00908 const SetInstr si132[] = { 00909 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00910 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 00911 {SO_HLT,0,0,0} 00912 }; 00913 const SetInstr si133[] = { 00914 {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 00915 {SO_HLT,0,0,0} 00916 }; 00917 const SetInstr si134[] = { 00918 {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, 00919 {SO_HLT,0,0,0} 00920 }; 00921 const SetInstr si135[] = { 00922 {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, 00923 {SO_HLT,0,0,0} 00924 }; 00925 const SetInstr si136[] = { 00926 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, 00927 {SO_MINUS,0,1,0}, 00928 {SO_HLT,0,0,0} 00929 }; 00930 const SetInstr si137[] = { 00931 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00932 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 00933 {SO_HLT,0,0,0} 00934 }; 00935 const SetInstr si138[] = { 00936 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00937 {SO_MINUS,0,1,0}, 00938 {SO_HLT,0,0,0} 00939 }; 00940 const SetInstr si139[] = { 00941 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 00942 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 00943 {SO_HLT,0,0,0} 00944 }; 00945 const SetInstr si140[] = { 00946 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 00947 {SO_HLT,0,0,0} 00948 }; 00949 const SetInstr si141[] = { 00950 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, 00951 {SO_HLT,0,0,0} 00952 }; 00953 const SetInstr si142[] = { 00954 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, 00955 {SO_HLT,0,0,0} 00956 }; 00957 const SetInstr si143[] = { 00958 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, 00959 {SO_INTER,0,1,0}, 00960 {SO_HLT,0,0,0} 00961 }; 00962 const SetInstr si144[] = { 00963 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00964 {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 00965 {SO_HLT,0,0,0} 00966 }; 00967 const SetInstr si145[] = { 00968 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 00969 {SO_INTER,0,1,0}, 00970 {SO_HLT,0,0,0} 00971 }; 00972 const SetInstr si146[] = { 00973 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 00974 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 00975 {SO_HLT,0,0,0} 00976 }; 00977 const SetInstr si147[] = { 00978 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 00979 {SO_HLT,0,0,0} 00980 }; 00981 const SetInstr si148[] = { 00982 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, 00983 {SO_HLT,0,0,0} 00984 }; 00985 const SetInstr si149[] = { 00986 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, 00987 {SO_HLT,0,0,0} 00988 }; 00989 const SetInstr si150[] = { 00990 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, 00991 {SO_UNION ,0,1,0}, 00992 {SO_HLT,0,0,0} 00993 }; 00994 const SetInstr si151[] = { 00995 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 00996 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 00997 {SO_HLT,0,0,0} 00998 }; 00999 const SetInstr si152[] = { 01000 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01001 {SO_UNION ,0,1,0}, 01002 {SO_HLT,0,0,0} 01003 }; 01004 const SetInstr si153[] = { 01005 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01006 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01007 {SO_HLT,0,0,0} 01008 }; 01009 const SetInstr si154[] = { 01010 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 01011 {SO_HLT,0,0,0} 01012 }; 01013 const SetInstr si155[] = { 01014 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, 01015 {SO_HLT,0,0,0} 01016 }; 01017 const SetInstr si156[] = { 01018 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, 01019 {SO_HLT,0,0,0} 01020 }; 01021 const SetInstr si157[] = { 01022 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, 01023 {SO_UNION,0,1,0}, 01024 {SO_HLT,0,0,0} 01025 }; 01026 const SetInstr si158[] = { 01027 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 01028 {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 01029 {SO_HLT,0,0,0} 01030 }; 01031 const SetInstr si159[] = { 01032 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01033 {SO_UNION,0,1,0}, 01034 {SO_HLT,0,0,0} 01035 }; 01036 const SetInstr si160[] = { 01037 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01038 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01039 {SO_HLT,0,0,0} 01040 }; 01041 const SetInstr si161[] = { 01042 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 01043 {SO_HLT,0,0,0} 01044 }; 01045 const SetInstr si162[] = { 01046 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, 01047 {SO_HLT,0,0,0} 01048 }; 01049 const SetInstr si163[] = { 01050 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, 01051 {SO_HLT,0,0,0} 01052 }; 01053 const SetInstr si164[] = { 01054 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, 01055 {SO_DUNION,0,1,0}, 01056 {SO_HLT,0,0,0} 01057 }; 01058 const SetInstr si165[] = { 01059 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 01060 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 01061 {SO_HLT,0,0,0} 01062 }; 01063 const SetInstr si166[] = { 01064 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01065 {SO_DUNION,0,1,0}, 01066 {SO_HLT,0,0,0} 01067 }; 01068 const SetInstr si167[] = { 01069 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01070 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01071 {SO_HLT,0,0,0} 01072 }; 01073 const SetInstr si168[] = { 01074 {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 01075 {SO_HLT,0,0,0} 01076 }; 01077 const SetInstr si169[] = { 01078 {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, 01079 {SO_HLT,0,0,0} 01080 }; 01081 const SetInstr si170[] = { 01082 {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, 01083 {SO_HLT,0,0,0} 01084 }; 01085 const SetInstr si171[] = { 01086 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, 01087 {SO_MINUS,0,1,0}, 01088 {SO_HLT,0,0,0} 01089 }; 01090 const SetInstr si172[] = { 01091 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, 01092 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 01093 {SO_HLT,0,0,0} 01094 }; 01095 const SetInstr si173[] = { 01096 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01097 {SO_MINUS,0,1,0}, 01098 {SO_HLT,0,0,0} 01099 }; 01100 const SetInstr si174[] = { 01101 {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01102 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01103 {SO_HLT,0,0,0} 01104 }; 01105 const SetInstr si175[] = { 01106 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, 01107 {SO_HLT,0,0,0} 01108 }; 01109 const SetInstr si176[] = { 01110 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, 01111 {SO_HLT,0,0,0} 01112 }; 01113 const SetInstr si177[] = { 01114 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, 01115 {SO_HLT,0,0,0} 01116 }; 01117 const SetInstr si178[] = { 01118 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, 01119 {SO_INTER,0,1,0}, 01120 {SO_HLT,0,0,0} 01121 }; 01122 const SetInstr si179[] = { 01123 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01124 {SO_INTER,2,3,1},{SO_INTER,0,1,0}, 01125 {SO_HLT,0,0,0} 01126 }; 01127 const SetInstr si180[] = { 01128 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01129 {SO_INTER,0,1,0}, 01130 {SO_HLT,0,0,0} 01131 }; 01132 const SetInstr si181[] = { 01133 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01134 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01135 {SO_HLT,0,0,0} 01136 }; 01137 const SetInstr si182[] = { 01138 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 01139 {SO_HLT,0,0,0} 01140 }; 01141 const SetInstr si183[] = { 01142 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, 01143 {SO_HLT,0,0,0} 01144 }; 01145 const SetInstr si184[] = { 01146 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, 01147 {SO_HLT,0,0,0} 01148 }; 01149 const SetInstr si185[] = { 01150 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, 01151 {SO_UNION ,0,1,0}, 01152 {SO_HLT,0,0,0} 01153 }; 01154 const SetInstr si186[] = { 01155 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01156 {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 01157 {SO_HLT,0,0,0} 01158 }; 01159 const SetInstr si187[] = { 01160 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01161 {SO_UNION ,0,1,0}, 01162 {SO_HLT,0,0,0} 01163 }; 01164 const SetInstr si188[] = { 01165 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01166 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01167 {SO_HLT,0,0,0} 01168 }; 01169 const SetInstr si189[] = { 01170 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, 01171 {SO_HLT,0,0,0} 01172 }; 01173 const SetInstr si190[] = { 01174 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, 01175 {SO_HLT,0,0,0} 01176 }; 01177 const SetInstr si191[] = { 01178 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, 01179 {SO_HLT,0,0,0} 01180 }; 01181 const SetInstr si192[] = { 01182 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, 01183 {SO_UNION,0,1,0}, 01184 {SO_HLT,0,0,0} 01185 }; 01186 const SetInstr si193[] = { 01187 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01188 {SO_INTER,2,3,1},{SO_UNION,0,1,0}, 01189 {SO_HLT,0,0,0} 01190 }; 01191 const SetInstr si194[] = { 01192 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01193 {SO_UNION,0,1,0}, 01194 {SO_HLT,0,0,0} 01195 }; 01196 const SetInstr si195[] = { 01197 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01198 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01199 {SO_HLT,0,0,0} 01200 }; 01201 const SetInstr si196[] = { 01202 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 01203 {SO_HLT,0,0,0} 01204 }; 01205 const SetInstr si197[] = { 01206 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, 01207 {SO_HLT,0,0,0} 01208 }; 01209 const SetInstr si198[] = { 01210 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, 01211 {SO_HLT,0,0,0} 01212 }; 01213 const SetInstr si199[] = { 01214 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, 01215 {SO_DUNION,0,1,0}, 01216 {SO_HLT,0,0,0} 01217 }; 01218 const SetInstr si200[] = { 01219 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01220 {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 01221 {SO_HLT,0,0,0} 01222 }; 01223 const SetInstr si201[] = { 01224 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01225 {SO_DUNION,0,1,0}, 01226 {SO_HLT,0,0,0} 01227 }; 01228 const SetInstr si202[] = { 01229 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01230 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01231 {SO_HLT,0,0,0} 01232 }; 01233 const SetInstr si203[] = { 01234 {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 01235 {SO_HLT,0,0,0} 01236 }; 01237 const SetInstr si204[] = { 01238 {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, 01239 {SO_HLT,0,0,0} 01240 }; 01241 const SetInstr si205[] = { 01242 {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, 01243 {SO_HLT,0,0,0} 01244 }; 01245 const SetInstr si206[] = { 01246 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, 01247 {SO_MINUS,0,1,0}, 01248 {SO_HLT,0,0,0} 01249 }; 01250 const SetInstr si207[] = { 01251 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01252 {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 01253 {SO_HLT,0,0,0} 01254 }; 01255 const SetInstr si208[] = { 01256 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01257 {SO_MINUS,0,1,0}, 01258 {SO_HLT,0,0,0} 01259 }; 01260 const SetInstr si209[] = { 01261 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01262 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01263 {SO_HLT,0,0,0} 01264 }; 01265 const SetInstr si210[] = { 01266 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 01267 {SO_HLT,0,0,0} 01268 }; 01269 const SetInstr si211[] = { 01270 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, 01271 {SO_HLT,0,0,0} 01272 }; 01273 const SetInstr si212[] = { 01274 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, 01275 {SO_HLT,0,0,0} 01276 }; 01277 const SetInstr si213[] = { 01278 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, 01279 {SO_INTER,0,1,0}, 01280 {SO_HLT,0,0,0} 01281 }; 01282 const SetInstr si214[] = { 01283 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01284 {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 01285 {SO_HLT,0,0,0} 01286 }; 01287 const SetInstr si215[] = { 01288 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01289 {SO_INTER,0,1,0}, 01290 {SO_HLT,0,0,0} 01291 }; 01292 const SetInstr si216[] = { 01293 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01294 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01295 {SO_HLT,0,0,0} 01296 }; 01297 const SetInstr si217[] = { 01298 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 01299 {SO_HLT,0,0,0} 01300 }; 01301 const SetInstr si218[] = { 01302 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, 01303 {SO_HLT,0,0,0} 01304 }; 01305 const SetInstr si219[] = { 01306 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, 01307 {SO_HLT,0,0,0} 01308 }; 01309 const SetInstr si220[] = { 01310 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, 01311 {SO_UNION ,0,1,0}, 01312 {SO_HLT,0,0,0} 01313 }; 01314 const SetInstr si221[] = { 01315 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01316 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 01317 {SO_HLT,0,0,0} 01318 }; 01319 const SetInstr si222[] = { 01320 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01321 {SO_UNION ,0,1,0}, 01322 {SO_HLT,0,0,0} 01323 }; 01324 const SetInstr si223[] = { 01325 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01326 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01327 {SO_HLT,0,0,0} 01328 }; 01329 const SetInstr si224[] = { 01330 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 01331 {SO_HLT,0,0,0} 01332 }; 01333 const SetInstr si225[] = { 01334 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, 01335 {SO_HLT,0,0,0} 01336 }; 01337 const SetInstr si226[] = { 01338 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, 01339 {SO_HLT,0,0,0} 01340 }; 01341 const SetInstr si227[] = { 01342 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, 01343 {SO_UNION,0,1,0}, 01344 {SO_HLT,0,0,0} 01345 }; 01346 const SetInstr si228[] = { 01347 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01348 {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 01349 {SO_HLT,0,0,0} 01350 }; 01351 const SetInstr si229[] = { 01352 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01353 {SO_UNION,0,1,0}, 01354 {SO_HLT,0,0,0} 01355 }; 01356 const SetInstr si230[] = { 01357 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01358 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01359 {SO_HLT,0,0,0} 01360 }; 01361 const SetInstr si231[] = { 01362 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 01363 {SO_HLT,0,0,0} 01364 }; 01365 const SetInstr si232[] = { 01366 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, 01367 {SO_HLT,0,0,0} 01368 }; 01369 const SetInstr si233[] = { 01370 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, 01371 {SO_HLT,0,0,0} 01372 }; 01373 const SetInstr si234[] = { 01374 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, 01375 {SO_DUNION,0,1,0}, 01376 {SO_HLT,0,0,0} 01377 }; 01378 const SetInstr si235[] = { 01379 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01380 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 01381 {SO_HLT,0,0,0} 01382 }; 01383 const SetInstr si236[] = { 01384 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01385 {SO_DUNION,0,1,0}, 01386 {SO_HLT,0,0,0} 01387 }; 01388 const SetInstr si237[] = { 01389 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01390 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01391 {SO_HLT,0,0,0} 01392 }; 01393 const SetInstr si238[] = { 01394 {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 01395 {SO_HLT,0,0,0} 01396 }; 01397 const SetInstr si239[] = { 01398 {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, 01399 {SO_HLT,0,0,0} 01400 }; 01401 const SetInstr si240[] = { 01402 {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, 01403 {SO_HLT,0,0,0} 01404 }; 01405 const SetInstr si241[] = { 01406 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, 01407 {SO_MINUS,0,1,0}, 01408 {SO_HLT,0,0,0} 01409 }; 01410 const SetInstr si242[] = { 01411 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01412 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 01413 {SO_HLT,0,0,0} 01414 }; 01415 const SetInstr si243[] = { 01416 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01417 {SO_MINUS,0,1,0}, 01418 {SO_HLT,0,0,0} 01419 }; 01420 const SetInstr si244[] = { 01421 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 01422 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01423 {SO_HLT,0,0,0} 01424 }; 01425 const SetInstr si245[] = { 01426 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, 01427 {SO_HLT,0,0,0} 01428 }; 01429 const SetInstr si246[] = { 01430 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, 01431 {SO_HLT,0,0,0} 01432 }; 01433 const SetInstr si247[] = { 01434 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, 01435 {SO_HLT,0,0,0} 01436 }; 01437 const SetInstr si248[] = { 01438 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, 01439 {SO_INTER,0,1,0}, 01440 {SO_HLT,0,0,0} 01441 }; 01442 const SetInstr si249[] = { 01443 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01444 {SO_UNION,2,3,1},{SO_INTER,0,1,0}, 01445 {SO_HLT,0,0,0} 01446 }; 01447 const SetInstr si250[] = { 01448 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01449 {SO_INTER,0,1,0}, 01450 {SO_HLT,0,0,0} 01451 }; 01452 const SetInstr si251[] = { 01453 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01454 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01455 {SO_HLT,0,0,0} 01456 }; 01457 const SetInstr si252[] = { 01458 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 01459 {SO_HLT,0,0,0} 01460 }; 01461 const SetInstr si253[] = { 01462 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, 01463 {SO_HLT,0,0,0} 01464 }; 01465 const SetInstr si254[] = { 01466 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, 01467 {SO_HLT,0,0,0} 01468 }; 01469 const SetInstr si255[] = { 01470 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, 01471 {SO_UNION ,0,1,0}, 01472 {SO_HLT,0,0,0} 01473 }; 01474 const SetInstr si256[] = { 01475 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01476 {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 01477 {SO_HLT,0,0,0} 01478 }; 01479 const SetInstr si257[] = { 01480 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01481 {SO_UNION ,0,1,0}, 01482 {SO_HLT,0,0,0} 01483 }; 01484 const SetInstr si258[] = { 01485 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01486 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01487 {SO_HLT,0,0,0} 01488 }; 01489 const SetInstr si259[] = { 01490 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, 01491 {SO_HLT,0,0,0} 01492 }; 01493 const SetInstr si260[] = { 01494 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, 01495 {SO_HLT,0,0,0} 01496 }; 01497 const SetInstr si261[] = { 01498 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, 01499 {SO_HLT,0,0,0} 01500 }; 01501 const SetInstr si262[] = { 01502 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, 01503 {SO_UNION,0,1,0}, 01504 {SO_HLT,0,0,0} 01505 }; 01506 const SetInstr si263[] = { 01507 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01508 {SO_UNION,2,3,1},{SO_UNION,0,1,0}, 01509 {SO_HLT,0,0,0} 01510 }; 01511 const SetInstr si264[] = { 01512 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01513 {SO_UNION,0,1,0}, 01514 {SO_HLT,0,0,0} 01515 }; 01516 const SetInstr si265[] = { 01517 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01518 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01519 {SO_HLT,0,0,0} 01520 }; 01521 const SetInstr si266[] = { 01522 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 01523 {SO_HLT,0,0,0} 01524 }; 01525 const SetInstr si267[] = { 01526 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, 01527 {SO_HLT,0,0,0} 01528 }; 01529 const SetInstr si268[] = { 01530 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, 01531 {SO_HLT,0,0,0} 01532 }; 01533 const SetInstr si269[] = { 01534 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, 01535 {SO_DUNION,0,1,0}, 01536 {SO_HLT,0,0,0} 01537 }; 01538 const SetInstr si270[] = { 01539 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01540 {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 01541 {SO_HLT,0,0,0} 01542 }; 01543 const SetInstr si271[] = { 01544 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01545 {SO_DUNION,0,1,0}, 01546 {SO_HLT,0,0,0} 01547 }; 01548 const SetInstr si272[] = { 01549 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01550 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01551 {SO_HLT,0,0,0} 01552 }; 01553 const SetInstr si273[] = { 01554 {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 01555 {SO_HLT,0,0,0} 01556 }; 01557 const SetInstr si274[] = { 01558 {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, 01559 {SO_HLT,0,0,0} 01560 }; 01561 const SetInstr si275[] = { 01562 {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, 01563 {SO_HLT,0,0,0} 01564 }; 01565 const SetInstr si276[] = { 01566 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, 01567 {SO_MINUS,0,1,0}, 01568 {SO_HLT,0,0,0} 01569 }; 01570 const SetInstr si277[] = { 01571 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01572 {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 01573 {SO_HLT,0,0,0} 01574 }; 01575 const SetInstr si278[] = { 01576 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01577 {SO_MINUS,0,1,0}, 01578 {SO_HLT,0,0,0} 01579 }; 01580 const SetInstr si279[] = { 01581 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 01582 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01583 {SO_HLT,0,0,0} 01584 }; 01585 const SetInstr si280[] = { 01586 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 01587 {SO_HLT,0,0,0} 01588 }; 01589 const SetInstr si281[] = { 01590 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, 01591 {SO_HLT,0,0,0} 01592 }; 01593 const SetInstr si282[] = { 01594 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, 01595 {SO_HLT,0,0,0} 01596 }; 01597 const SetInstr si283[] = { 01598 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, 01599 {SO_INTER,0,1,0}, 01600 {SO_HLT,0,0,0} 01601 }; 01602 const SetInstr si284[] = { 01603 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01604 {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 01605 {SO_HLT,0,0,0} 01606 }; 01607 const SetInstr si285[] = { 01608 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01609 {SO_INTER,0,1,0}, 01610 {SO_HLT,0,0,0} 01611 }; 01612 const SetInstr si286[] = { 01613 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01614 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01615 {SO_HLT,0,0,0} 01616 }; 01617 const SetInstr si287[] = { 01618 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 01619 {SO_HLT,0,0,0} 01620 }; 01621 const SetInstr si288[] = { 01622 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, 01623 {SO_HLT,0,0,0} 01624 }; 01625 const SetInstr si289[] = { 01626 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, 01627 {SO_HLT,0,0,0} 01628 }; 01629 const SetInstr si290[] = { 01630 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, 01631 {SO_UNION ,0,1,0}, 01632 {SO_HLT,0,0,0} 01633 }; 01634 const SetInstr si291[] = { 01635 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01636 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 01637 {SO_HLT,0,0,0} 01638 }; 01639 const SetInstr si292[] = { 01640 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01641 {SO_UNION ,0,1,0}, 01642 {SO_HLT,0,0,0} 01643 }; 01644 const SetInstr si293[] = { 01645 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01646 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01647 {SO_HLT,0,0,0} 01648 }; 01649 const SetInstr si294[] = { 01650 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 01651 {SO_HLT,0,0,0} 01652 }; 01653 const SetInstr si295[] = { 01654 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, 01655 {SO_HLT,0,0,0} 01656 }; 01657 const SetInstr si296[] = { 01658 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, 01659 {SO_HLT,0,0,0} 01660 }; 01661 const SetInstr si297[] = { 01662 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, 01663 {SO_UNION,0,1,0}, 01664 {SO_HLT,0,0,0} 01665 }; 01666 const SetInstr si298[] = { 01667 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01668 {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 01669 {SO_HLT,0,0,0} 01670 }; 01671 const SetInstr si299[] = { 01672 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01673 {SO_UNION,0,1,0}, 01674 {SO_HLT,0,0,0} 01675 }; 01676 const SetInstr si300[] = { 01677 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01678 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01679 {SO_HLT,0,0,0} 01680 }; 01681 const SetInstr si301[] = { 01682 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 01683 {SO_HLT,0,0,0} 01684 }; 01685 const SetInstr si302[] = { 01686 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, 01687 {SO_HLT,0,0,0} 01688 }; 01689 const SetInstr si303[] = { 01690 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, 01691 {SO_HLT,0,0,0} 01692 }; 01693 const SetInstr si304[] = { 01694 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, 01695 {SO_DUNION,0,1,0}, 01696 {SO_HLT,0,0,0} 01697 }; 01698 const SetInstr si305[] = { 01699 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01700 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 01701 {SO_HLT,0,0,0} 01702 }; 01703 const SetInstr si306[] = { 01704 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01705 {SO_DUNION,0,1,0}, 01706 {SO_HLT,0,0,0} 01707 }; 01708 const SetInstr si307[] = { 01709 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01710 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01711 {SO_HLT,0,0,0} 01712 }; 01713 const SetInstr si308[] = { 01714 {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 01715 {SO_HLT,0,0,0} 01716 }; 01717 const SetInstr si309[] = { 01718 {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, 01719 {SO_HLT,0,0,0} 01720 }; 01721 const SetInstr si310[] = { 01722 {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, 01723 {SO_HLT,0,0,0} 01724 }; 01725 const SetInstr si311[] = { 01726 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, 01727 {SO_MINUS,0,1,0}, 01728 {SO_HLT,0,0,0} 01729 }; 01730 const SetInstr si312[] = { 01731 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01732 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 01733 {SO_HLT,0,0,0} 01734 }; 01735 const SetInstr si313[] = { 01736 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01737 {SO_MINUS,0,1,0}, 01738 {SO_HLT,0,0,0} 01739 }; 01740 const SetInstr si314[] = { 01741 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 01742 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01743 {SO_HLT,0,0,0} 01744 }; 01745 const SetInstr si315[] = { 01746 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 01747 {SO_HLT,0,0,0} 01748 }; 01749 const SetInstr si316[] = { 01750 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, 01751 {SO_HLT,0,0,0} 01752 }; 01753 const SetInstr si317[] = { 01754 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, 01755 {SO_HLT,0,0,0} 01756 }; 01757 const SetInstr si318[] = { 01758 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, 01759 {SO_INTER,0,1,0}, 01760 {SO_HLT,0,0,0} 01761 }; 01762 const SetInstr si319[] = { 01763 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01764 {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 01765 {SO_HLT,0,0,0} 01766 }; 01767 const SetInstr si320[] = { 01768 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01769 {SO_INTER,0,1,0}, 01770 {SO_HLT,0,0,0} 01771 }; 01772 const SetInstr si321[] = { 01773 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01774 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01775 {SO_HLT,0,0,0} 01776 }; 01777 const SetInstr si322[] = { 01778 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 01779 {SO_HLT,0,0,0} 01780 }; 01781 const SetInstr si323[] = { 01782 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, 01783 {SO_HLT,0,0,0} 01784 }; 01785 const SetInstr si324[] = { 01786 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, 01787 {SO_HLT,0,0,0} 01788 }; 01789 const SetInstr si325[] = { 01790 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, 01791 {SO_UNION ,0,1,0}, 01792 {SO_HLT,0,0,0} 01793 }; 01794 const SetInstr si326[] = { 01795 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01796 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 01797 {SO_HLT,0,0,0} 01798 }; 01799 const SetInstr si327[] = { 01800 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01801 {SO_UNION ,0,1,0}, 01802 {SO_HLT,0,0,0} 01803 }; 01804 const SetInstr si328[] = { 01805 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01806 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01807 {SO_HLT,0,0,0} 01808 }; 01809 const SetInstr si329[] = { 01810 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 01811 {SO_HLT,0,0,0} 01812 }; 01813 const SetInstr si330[] = { 01814 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, 01815 {SO_HLT,0,0,0} 01816 }; 01817 const SetInstr si331[] = { 01818 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, 01819 {SO_HLT,0,0,0} 01820 }; 01821 const SetInstr si332[] = { 01822 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, 01823 {SO_UNION,0,1,0}, 01824 {SO_HLT,0,0,0} 01825 }; 01826 const SetInstr si333[] = { 01827 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01828 {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 01829 {SO_HLT,0,0,0} 01830 }; 01831 const SetInstr si334[] = { 01832 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01833 {SO_UNION,0,1,0}, 01834 {SO_HLT,0,0,0} 01835 }; 01836 const SetInstr si335[] = { 01837 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01838 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01839 {SO_HLT,0,0,0} 01840 }; 01841 const SetInstr si336[] = { 01842 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 01843 {SO_HLT,0,0,0} 01844 }; 01845 const SetInstr si337[] = { 01846 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, 01847 {SO_HLT,0,0,0} 01848 }; 01849 const SetInstr si338[] = { 01850 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, 01851 {SO_HLT,0,0,0} 01852 }; 01853 const SetInstr si339[] = { 01854 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, 01855 {SO_DUNION,0,1,0}, 01856 {SO_HLT,0,0,0} 01857 }; 01858 const SetInstr si340[] = { 01859 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01860 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 01861 {SO_HLT,0,0,0} 01862 }; 01863 const SetInstr si341[] = { 01864 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01865 {SO_DUNION,0,1,0}, 01866 {SO_HLT,0,0,0} 01867 }; 01868 const SetInstr si342[] = { 01869 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01870 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 01871 {SO_HLT,0,0,0} 01872 }; 01873 const SetInstr si343[] = { 01874 {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 01875 {SO_HLT,0,0,0} 01876 }; 01877 const SetInstr si344[] = { 01878 {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, 01879 {SO_HLT,0,0,0} 01880 }; 01881 const SetInstr si345[] = { 01882 {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, 01883 {SO_HLT,0,0,0} 01884 }; 01885 const SetInstr si346[] = { 01886 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, 01887 {SO_MINUS,0,1,0}, 01888 {SO_HLT,0,0,0} 01889 }; 01890 const SetInstr si347[] = { 01891 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, 01892 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 01893 {SO_HLT,0,0,0} 01894 }; 01895 const SetInstr si348[] = { 01896 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01897 {SO_MINUS,0,1,0}, 01898 {SO_HLT,0,0,0} 01899 }; 01900 const SetInstr si349[] = { 01901 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 01902 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 01903 {SO_HLT,0,0,0} 01904 }; 01905 const SetInstr si350[] = { 01906 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, 01907 {SO_HLT,0,0,0} 01908 }; 01909 const SetInstr si351[] = { 01910 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, 01911 {SO_HLT,0,0,0} 01912 }; 01913 const SetInstr si352[] = { 01914 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, 01915 {SO_HLT,0,0,0} 01916 }; 01917 const SetInstr si353[] = { 01918 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, 01919 {SO_INTER,0,1,0}, 01920 {SO_HLT,0,0,0} 01921 }; 01922 const SetInstr si354[] = { 01923 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 01924 {SO_INTER,2,3,1},{SO_INTER,0,1,0}, 01925 {SO_HLT,0,0,0} 01926 }; 01927 const SetInstr si355[] = { 01928 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01929 {SO_INTER,0,1,0}, 01930 {SO_HLT,0,0,0} 01931 }; 01932 const SetInstr si356[] = { 01933 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01934 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 01935 {SO_HLT,0,0,0} 01936 }; 01937 const SetInstr si357[] = { 01938 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 01939 {SO_HLT,0,0,0} 01940 }; 01941 const SetInstr si358[] = { 01942 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, 01943 {SO_HLT,0,0,0} 01944 }; 01945 const SetInstr si359[] = { 01946 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, 01947 {SO_HLT,0,0,0} 01948 }; 01949 const SetInstr si360[] = { 01950 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, 01951 {SO_UNION ,0,1,0}, 01952 {SO_HLT,0,0,0} 01953 }; 01954 const SetInstr si361[] = { 01955 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 01956 {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 01957 {SO_HLT,0,0,0} 01958 }; 01959 const SetInstr si362[] = { 01960 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01961 {SO_UNION ,0,1,0}, 01962 {SO_HLT,0,0,0} 01963 }; 01964 const SetInstr si363[] = { 01965 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01966 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 01967 {SO_HLT,0,0,0} 01968 }; 01969 const SetInstr si364[] = { 01970 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, 01971 {SO_HLT,0,0,0} 01972 }; 01973 const SetInstr si365[] = { 01974 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, 01975 {SO_HLT,0,0,0} 01976 }; 01977 const SetInstr si366[] = { 01978 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, 01979 {SO_HLT,0,0,0} 01980 }; 01981 const SetInstr si367[] = { 01982 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, 01983 {SO_UNION,0,1,0}, 01984 {SO_HLT,0,0,0} 01985 }; 01986 const SetInstr si368[] = { 01987 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 01988 {SO_INTER,2,3,1},{SO_UNION,0,1,0}, 01989 {SO_HLT,0,0,0} 01990 }; 01991 const SetInstr si369[] = { 01992 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01993 {SO_UNION,0,1,0}, 01994 {SO_HLT,0,0,0} 01995 }; 01996 const SetInstr si370[] = { 01997 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 01998 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 01999 {SO_HLT,0,0,0} 02000 }; 02001 const SetInstr si371[] = { 02002 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 02003 {SO_HLT,0,0,0} 02004 }; 02005 const SetInstr si372[] = { 02006 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, 02007 {SO_HLT,0,0,0} 02008 }; 02009 const SetInstr si373[] = { 02010 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, 02011 {SO_HLT,0,0,0} 02012 }; 02013 const SetInstr si374[] = { 02014 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, 02015 {SO_DUNION,0,1,0}, 02016 {SO_HLT,0,0,0} 02017 }; 02018 const SetInstr si375[] = { 02019 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02020 {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 02021 {SO_HLT,0,0,0} 02022 }; 02023 const SetInstr si376[] = { 02024 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02025 {SO_DUNION,0,1,0}, 02026 {SO_HLT,0,0,0} 02027 }; 02028 const SetInstr si377[] = { 02029 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02030 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02031 {SO_HLT,0,0,0} 02032 }; 02033 const SetInstr si378[] = { 02034 {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 02035 {SO_HLT,0,0,0} 02036 }; 02037 const SetInstr si379[] = { 02038 {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, 02039 {SO_HLT,0,0,0} 02040 }; 02041 const SetInstr si380[] = { 02042 {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, 02043 {SO_HLT,0,0,0} 02044 }; 02045 const SetInstr si381[] = { 02046 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, 02047 {SO_MINUS,0,1,0}, 02048 {SO_HLT,0,0,0} 02049 }; 02050 const SetInstr si382[] = { 02051 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02052 {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 02053 {SO_HLT,0,0,0} 02054 }; 02055 const SetInstr si383[] = { 02056 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02057 {SO_MINUS,0,1,0}, 02058 {SO_HLT,0,0,0} 02059 }; 02060 const SetInstr si384[] = { 02061 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02062 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02063 {SO_HLT,0,0,0} 02064 }; 02065 const SetInstr si385[] = { 02066 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 02067 {SO_HLT,0,0,0} 02068 }; 02069 const SetInstr si386[] = { 02070 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, 02071 {SO_HLT,0,0,0} 02072 }; 02073 const SetInstr si387[] = { 02074 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, 02075 {SO_HLT,0,0,0} 02076 }; 02077 const SetInstr si388[] = { 02078 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, 02079 {SO_INTER,0,1,0}, 02080 {SO_HLT,0,0,0} 02081 }; 02082 const SetInstr si389[] = { 02083 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02084 {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 02085 {SO_HLT,0,0,0} 02086 }; 02087 const SetInstr si390[] = { 02088 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02089 {SO_INTER,0,1,0}, 02090 {SO_HLT,0,0,0} 02091 }; 02092 const SetInstr si391[] = { 02093 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02094 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02095 {SO_HLT,0,0,0} 02096 }; 02097 const SetInstr si392[] = { 02098 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 02099 {SO_HLT,0,0,0} 02100 }; 02101 const SetInstr si393[] = { 02102 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, 02103 {SO_HLT,0,0,0} 02104 }; 02105 const SetInstr si394[] = { 02106 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, 02107 {SO_HLT,0,0,0} 02108 }; 02109 const SetInstr si395[] = { 02110 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, 02111 {SO_UNION ,0,1,0}, 02112 {SO_HLT,0,0,0} 02113 }; 02114 const SetInstr si396[] = { 02115 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02116 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 02117 {SO_HLT,0,0,0} 02118 }; 02119 const SetInstr si397[] = { 02120 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02121 {SO_UNION ,0,1,0}, 02122 {SO_HLT,0,0,0} 02123 }; 02124 const SetInstr si398[] = { 02125 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02126 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02127 {SO_HLT,0,0,0} 02128 }; 02129 const SetInstr si399[] = { 02130 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 02131 {SO_HLT,0,0,0} 02132 }; 02133 const SetInstr si400[] = { 02134 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, 02135 {SO_HLT,0,0,0} 02136 }; 02137 const SetInstr si401[] = { 02138 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, 02139 {SO_HLT,0,0,0} 02140 }; 02141 const SetInstr si402[] = { 02142 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, 02143 {SO_UNION,0,1,0}, 02144 {SO_HLT,0,0,0} 02145 }; 02146 const SetInstr si403[] = { 02147 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02148 {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 02149 {SO_HLT,0,0,0} 02150 }; 02151 const SetInstr si404[] = { 02152 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02153 {SO_UNION,0,1,0}, 02154 {SO_HLT,0,0,0} 02155 }; 02156 const SetInstr si405[] = { 02157 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02158 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02159 {SO_HLT,0,0,0} 02160 }; 02161 const SetInstr si406[] = { 02162 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 02163 {SO_HLT,0,0,0} 02164 }; 02165 const SetInstr si407[] = { 02166 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, 02167 {SO_HLT,0,0,0} 02168 }; 02169 const SetInstr si408[] = { 02170 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, 02171 {SO_HLT,0,0,0} 02172 }; 02173 const SetInstr si409[] = { 02174 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, 02175 {SO_DUNION,0,1,0}, 02176 {SO_HLT,0,0,0} 02177 }; 02178 const SetInstr si410[] = { 02179 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02180 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 02181 {SO_HLT,0,0,0} 02182 }; 02183 const SetInstr si411[] = { 02184 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02185 {SO_DUNION,0,1,0}, 02186 {SO_HLT,0,0,0} 02187 }; 02188 const SetInstr si412[] = { 02189 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02190 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02191 {SO_HLT,0,0,0} 02192 }; 02193 const SetInstr si413[] = { 02194 {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 02195 {SO_HLT,0,0,0} 02196 }; 02197 const SetInstr si414[] = { 02198 {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, 02199 {SO_HLT,0,0,0} 02200 }; 02201 const SetInstr si415[] = { 02202 {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, 02203 {SO_HLT,0,0,0} 02204 }; 02205 const SetInstr si416[] = { 02206 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, 02207 {SO_MINUS,0,1,0}, 02208 {SO_HLT,0,0,0} 02209 }; 02210 const SetInstr si417[] = { 02211 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02212 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 02213 {SO_HLT,0,0,0} 02214 }; 02215 const SetInstr si418[] = { 02216 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02217 {SO_MINUS,0,1,0}, 02218 {SO_HLT,0,0,0} 02219 }; 02220 const SetInstr si419[] = { 02221 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02222 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02223 {SO_HLT,0,0,0} 02224 }; 02225 const SetInstr si420[] = { 02226 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, 02227 {SO_HLT,0,0,0} 02228 }; 02229 const SetInstr si421[] = { 02230 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, 02231 {SO_HLT,0,0,0} 02232 }; 02233 const SetInstr si422[] = { 02234 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, 02235 {SO_HLT,0,0,0} 02236 }; 02237 const SetInstr si423[] = { 02238 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, 02239 {SO_INTER,0,1,0}, 02240 {SO_HLT,0,0,0} 02241 }; 02242 const SetInstr si424[] = { 02243 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02244 {SO_UNION,2,3,1},{SO_INTER,0,1,0}, 02245 {SO_HLT,0,0,0} 02246 }; 02247 const SetInstr si425[] = { 02248 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02249 {SO_INTER,0,1,0}, 02250 {SO_HLT,0,0,0} 02251 }; 02252 const SetInstr si426[] = { 02253 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02254 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02255 {SO_HLT,0,0,0} 02256 }; 02257 const SetInstr si427[] = { 02258 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 02259 {SO_HLT,0,0,0} 02260 }; 02261 const SetInstr si428[] = { 02262 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, 02263 {SO_HLT,0,0,0} 02264 }; 02265 const SetInstr si429[] = { 02266 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, 02267 {SO_HLT,0,0,0} 02268 }; 02269 const SetInstr si430[] = { 02270 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, 02271 {SO_UNION ,0,1,0}, 02272 {SO_HLT,0,0,0} 02273 }; 02274 const SetInstr si431[] = { 02275 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02276 {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 02277 {SO_HLT,0,0,0} 02278 }; 02279 const SetInstr si432[] = { 02280 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02281 {SO_UNION ,0,1,0}, 02282 {SO_HLT,0,0,0} 02283 }; 02284 const SetInstr si433[] = { 02285 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02286 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02287 {SO_HLT,0,0,0} 02288 }; 02289 const SetInstr si434[] = { 02290 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, 02291 {SO_HLT,0,0,0} 02292 }; 02293 const SetInstr si435[] = { 02294 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, 02295 {SO_HLT,0,0,0} 02296 }; 02297 const SetInstr si436[] = { 02298 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, 02299 {SO_HLT,0,0,0} 02300 }; 02301 const SetInstr si437[] = { 02302 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, 02303 {SO_UNION,0,1,0}, 02304 {SO_HLT,0,0,0} 02305 }; 02306 const SetInstr si438[] = { 02307 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02308 {SO_UNION,2,3,1},{SO_UNION,0,1,0}, 02309 {SO_HLT,0,0,0} 02310 }; 02311 const SetInstr si439[] = { 02312 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02313 {SO_UNION,0,1,0}, 02314 {SO_HLT,0,0,0} 02315 }; 02316 const SetInstr si440[] = { 02317 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02318 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02319 {SO_HLT,0,0,0} 02320 }; 02321 const SetInstr si441[] = { 02322 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 02323 {SO_HLT,0,0,0} 02324 }; 02325 const SetInstr si442[] = { 02326 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, 02327 {SO_HLT,0,0,0} 02328 }; 02329 const SetInstr si443[] = { 02330 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, 02331 {SO_HLT,0,0,0} 02332 }; 02333 const SetInstr si444[] = { 02334 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, 02335 {SO_DUNION,0,1,0}, 02336 {SO_HLT,0,0,0} 02337 }; 02338 const SetInstr si445[] = { 02339 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02340 {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 02341 {SO_HLT,0,0,0} 02342 }; 02343 const SetInstr si446[] = { 02344 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02345 {SO_DUNION,0,1,0}, 02346 {SO_HLT,0,0,0} 02347 }; 02348 const SetInstr si447[] = { 02349 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02350 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02351 {SO_HLT,0,0,0} 02352 }; 02353 const SetInstr si448[] = { 02354 {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 02355 {SO_HLT,0,0,0} 02356 }; 02357 const SetInstr si449[] = { 02358 {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, 02359 {SO_HLT,0,0,0} 02360 }; 02361 const SetInstr si450[] = { 02362 {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, 02363 {SO_HLT,0,0,0} 02364 }; 02365 const SetInstr si451[] = { 02366 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, 02367 {SO_MINUS,0,1,0}, 02368 {SO_HLT,0,0,0} 02369 }; 02370 const SetInstr si452[] = { 02371 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02372 {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 02373 {SO_HLT,0,0,0} 02374 }; 02375 const SetInstr si453[] = { 02376 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02377 {SO_MINUS,0,1,0}, 02378 {SO_HLT,0,0,0} 02379 }; 02380 const SetInstr si454[] = { 02381 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 02382 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02383 {SO_HLT,0,0,0} 02384 }; 02385 const SetInstr si455[] = { 02386 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 02387 {SO_HLT,0,0,0} 02388 }; 02389 const SetInstr si456[] = { 02390 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, 02391 {SO_HLT,0,0,0} 02392 }; 02393 const SetInstr si457[] = { 02394 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, 02395 {SO_HLT,0,0,0} 02396 }; 02397 const SetInstr si458[] = { 02398 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, 02399 {SO_INTER,0,1,0}, 02400 {SO_HLT,0,0,0} 02401 }; 02402 const SetInstr si459[] = { 02403 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02404 {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 02405 {SO_HLT,0,0,0} 02406 }; 02407 const SetInstr si460[] = { 02408 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02409 {SO_INTER,0,1,0}, 02410 {SO_HLT,0,0,0} 02411 }; 02412 const SetInstr si461[] = { 02413 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02414 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02415 {SO_HLT,0,0,0} 02416 }; 02417 const SetInstr si462[] = { 02418 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 02419 {SO_HLT,0,0,0} 02420 }; 02421 const SetInstr si463[] = { 02422 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, 02423 {SO_HLT,0,0,0} 02424 }; 02425 const SetInstr si464[] = { 02426 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, 02427 {SO_HLT,0,0,0} 02428 }; 02429 const SetInstr si465[] = { 02430 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, 02431 {SO_UNION ,0,1,0}, 02432 {SO_HLT,0,0,0} 02433 }; 02434 const SetInstr si466[] = { 02435 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02436 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 02437 {SO_HLT,0,0,0} 02438 }; 02439 const SetInstr si467[] = { 02440 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02441 {SO_UNION ,0,1,0}, 02442 {SO_HLT,0,0,0} 02443 }; 02444 const SetInstr si468[] = { 02445 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02446 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02447 {SO_HLT,0,0,0} 02448 }; 02449 const SetInstr si469[] = { 02450 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 02451 {SO_HLT,0,0,0} 02452 }; 02453 const SetInstr si470[] = { 02454 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, 02455 {SO_HLT,0,0,0} 02456 }; 02457 const SetInstr si471[] = { 02458 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, 02459 {SO_HLT,0,0,0} 02460 }; 02461 const SetInstr si472[] = { 02462 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, 02463 {SO_UNION,0,1,0}, 02464 {SO_HLT,0,0,0} 02465 }; 02466 const SetInstr si473[] = { 02467 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02468 {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 02469 {SO_HLT,0,0,0} 02470 }; 02471 const SetInstr si474[] = { 02472 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02473 {SO_UNION,0,1,0}, 02474 {SO_HLT,0,0,0} 02475 }; 02476 const SetInstr si475[] = { 02477 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02478 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02479 {SO_HLT,0,0,0} 02480 }; 02481 const SetInstr si476[] = { 02482 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 02483 {SO_HLT,0,0,0} 02484 }; 02485 const SetInstr si477[] = { 02486 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, 02487 {SO_HLT,0,0,0} 02488 }; 02489 const SetInstr si478[] = { 02490 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, 02491 {SO_HLT,0,0,0} 02492 }; 02493 const SetInstr si479[] = { 02494 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, 02495 {SO_DUNION,0,1,0}, 02496 {SO_HLT,0,0,0} 02497 }; 02498 const SetInstr si480[] = { 02499 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02500 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 02501 {SO_HLT,0,0,0} 02502 }; 02503 const SetInstr si481[] = { 02504 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02505 {SO_DUNION,0,1,0}, 02506 {SO_HLT,0,0,0} 02507 }; 02508 const SetInstr si482[] = { 02509 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02510 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02511 {SO_HLT,0,0,0} 02512 }; 02513 const SetInstr si483[] = { 02514 {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 02515 {SO_HLT,0,0,0} 02516 }; 02517 const SetInstr si484[] = { 02518 {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, 02519 {SO_HLT,0,0,0} 02520 }; 02521 const SetInstr si485[] = { 02522 {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, 02523 {SO_HLT,0,0,0} 02524 }; 02525 const SetInstr si486[] = { 02526 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, 02527 {SO_MINUS,0,1,0}, 02528 {SO_HLT,0,0,0} 02529 }; 02530 const SetInstr si487[] = { 02531 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02532 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 02533 {SO_HLT,0,0,0} 02534 }; 02535 const SetInstr si488[] = { 02536 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02537 {SO_MINUS,0,1,0}, 02538 {SO_HLT,0,0,0} 02539 }; 02540 const SetInstr si489[] = { 02541 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 02542 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02543 {SO_HLT,0,0,0} 02544 }; 02545 const SetInstr si490[] = { 02546 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 02547 {SO_HLT,0,0,0} 02548 }; 02549 const SetInstr si491[] = { 02550 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, 02551 {SO_HLT,0,0,0} 02552 }; 02553 const SetInstr si492[] = { 02554 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, 02555 {SO_HLT,0,0,0} 02556 }; 02557 const SetInstr si493[] = { 02558 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, 02559 {SO_INTER,0,1,0}, 02560 {SO_HLT,0,0,0} 02561 }; 02562 const SetInstr si494[] = { 02563 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02564 {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 02565 {SO_HLT,0,0,0} 02566 }; 02567 const SetInstr si495[] = { 02568 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02569 {SO_INTER,0,1,0}, 02570 {SO_HLT,0,0,0} 02571 }; 02572 const SetInstr si496[] = { 02573 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02574 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02575 {SO_HLT,0,0,0} 02576 }; 02577 const SetInstr si497[] = { 02578 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 02579 {SO_HLT,0,0,0} 02580 }; 02581 const SetInstr si498[] = { 02582 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, 02583 {SO_HLT,0,0,0} 02584 }; 02585 const SetInstr si499[] = { 02586 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, 02587 {SO_HLT,0,0,0} 02588 }; 02589 const SetInstr si500[] = { 02590 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, 02591 {SO_UNION ,0,1,0}, 02592 {SO_HLT,0,0,0} 02593 }; 02594 const SetInstr si501[] = { 02595 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02596 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 02597 {SO_HLT,0,0,0} 02598 }; 02599 const SetInstr si502[] = { 02600 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02601 {SO_UNION ,0,1,0}, 02602 {SO_HLT,0,0,0} 02603 }; 02604 const SetInstr si503[] = { 02605 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02606 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02607 {SO_HLT,0,0,0} 02608 }; 02609 const SetInstr si504[] = { 02610 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 02611 {SO_HLT,0,0,0} 02612 }; 02613 const SetInstr si505[] = { 02614 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, 02615 {SO_HLT,0,0,0} 02616 }; 02617 const SetInstr si506[] = { 02618 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, 02619 {SO_HLT,0,0,0} 02620 }; 02621 const SetInstr si507[] = { 02622 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, 02623 {SO_UNION,0,1,0}, 02624 {SO_HLT,0,0,0} 02625 }; 02626 const SetInstr si508[] = { 02627 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02628 {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 02629 {SO_HLT,0,0,0} 02630 }; 02631 const SetInstr si509[] = { 02632 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02633 {SO_UNION,0,1,0}, 02634 {SO_HLT,0,0,0} 02635 }; 02636 const SetInstr si510[] = { 02637 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02638 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02639 {SO_HLT,0,0,0} 02640 }; 02641 const SetInstr si511[] = { 02642 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 02643 {SO_HLT,0,0,0} 02644 }; 02645 const SetInstr si512[] = { 02646 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, 02647 {SO_HLT,0,0,0} 02648 }; 02649 const SetInstr si513[] = { 02650 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, 02651 {SO_HLT,0,0,0} 02652 }; 02653 const SetInstr si514[] = { 02654 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, 02655 {SO_DUNION,0,1,0}, 02656 {SO_HLT,0,0,0} 02657 }; 02658 const SetInstr si515[] = { 02659 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02660 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 02661 {SO_HLT,0,0,0} 02662 }; 02663 const SetInstr si516[] = { 02664 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02665 {SO_DUNION,0,1,0}, 02666 {SO_HLT,0,0,0} 02667 }; 02668 const SetInstr si517[] = { 02669 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02670 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02671 {SO_HLT,0,0,0} 02672 }; 02673 const SetInstr si518[] = { 02674 {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 02675 {SO_HLT,0,0,0} 02676 }; 02677 const SetInstr si519[] = { 02678 {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, 02679 {SO_HLT,0,0,0} 02680 }; 02681 const SetInstr si520[] = { 02682 {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, 02683 {SO_HLT,0,0,0} 02684 }; 02685 const SetInstr si521[] = { 02686 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, 02687 {SO_MINUS,0,1,0}, 02688 {SO_HLT,0,0,0} 02689 }; 02690 const SetInstr si522[] = { 02691 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, 02692 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 02693 {SO_HLT,0,0,0} 02694 }; 02695 const SetInstr si523[] = { 02696 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02697 {SO_MINUS,0,1,0}, 02698 {SO_HLT,0,0,0} 02699 }; 02700 const SetInstr si524[] = { 02701 {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 02702 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02703 {SO_HLT,0,0,0} 02704 }; 02705 const SetInstr si525[] = { 02706 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, 02707 {SO_HLT,0,0,0} 02708 }; 02709 const SetInstr si526[] = { 02710 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, 02711 {SO_HLT,0,0,0} 02712 }; 02713 const SetInstr si527[] = { 02714 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, 02715 {SO_HLT,0,0,0} 02716 }; 02717 const SetInstr si528[] = { 02718 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, 02719 {SO_INTER,0,1,0}, 02720 {SO_HLT,0,0,0} 02721 }; 02722 const SetInstr si529[] = { 02723 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02724 {SO_INTER,2,3,1},{SO_INTER,0,1,0}, 02725 {SO_HLT,0,0,0} 02726 }; 02727 const SetInstr si530[] = { 02728 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02729 {SO_INTER,0,1,0}, 02730 {SO_HLT,0,0,0} 02731 }; 02732 const SetInstr si531[] = { 02733 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02734 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02735 {SO_HLT,0,0,0} 02736 }; 02737 const SetInstr si532[] = { 02738 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 02739 {SO_HLT,0,0,0} 02740 }; 02741 const SetInstr si533[] = { 02742 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, 02743 {SO_HLT,0,0,0} 02744 }; 02745 const SetInstr si534[] = { 02746 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, 02747 {SO_HLT,0,0,0} 02748 }; 02749 const SetInstr si535[] = { 02750 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, 02751 {SO_UNION ,0,1,0}, 02752 {SO_HLT,0,0,0} 02753 }; 02754 const SetInstr si536[] = { 02755 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02756 {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 02757 {SO_HLT,0,0,0} 02758 }; 02759 const SetInstr si537[] = { 02760 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02761 {SO_UNION ,0,1,0}, 02762 {SO_HLT,0,0,0} 02763 }; 02764 const SetInstr si538[] = { 02765 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02766 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02767 {SO_HLT,0,0,0} 02768 }; 02769 const SetInstr si539[] = { 02770 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, 02771 {SO_HLT,0,0,0} 02772 }; 02773 const SetInstr si540[] = { 02774 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, 02775 {SO_HLT,0,0,0} 02776 }; 02777 const SetInstr si541[] = { 02778 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, 02779 {SO_HLT,0,0,0} 02780 }; 02781 const SetInstr si542[] = { 02782 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, 02783 {SO_UNION,0,1,0}, 02784 {SO_HLT,0,0,0} 02785 }; 02786 const SetInstr si543[] = { 02787 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02788 {SO_INTER,2,3,1},{SO_UNION,0,1,0}, 02789 {SO_HLT,0,0,0} 02790 }; 02791 const SetInstr si544[] = { 02792 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02793 {SO_UNION,0,1,0}, 02794 {SO_HLT,0,0,0} 02795 }; 02796 const SetInstr si545[] = { 02797 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02798 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02799 {SO_HLT,0,0,0} 02800 }; 02801 const SetInstr si546[] = { 02802 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 02803 {SO_HLT,0,0,0} 02804 }; 02805 const SetInstr si547[] = { 02806 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, 02807 {SO_HLT,0,0,0} 02808 }; 02809 const SetInstr si548[] = { 02810 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, 02811 {SO_HLT,0,0,0} 02812 }; 02813 const SetInstr si549[] = { 02814 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, 02815 {SO_DUNION,0,1,0}, 02816 {SO_HLT,0,0,0} 02817 }; 02818 const SetInstr si550[] = { 02819 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02820 {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 02821 {SO_HLT,0,0,0} 02822 }; 02823 const SetInstr si551[] = { 02824 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02825 {SO_DUNION,0,1,0}, 02826 {SO_HLT,0,0,0} 02827 }; 02828 const SetInstr si552[] = { 02829 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02830 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02831 {SO_HLT,0,0,0} 02832 }; 02833 const SetInstr si553[] = { 02834 {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 02835 {SO_HLT,0,0,0} 02836 }; 02837 const SetInstr si554[] = { 02838 {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, 02839 {SO_HLT,0,0,0} 02840 }; 02841 const SetInstr si555[] = { 02842 {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, 02843 {SO_HLT,0,0,0} 02844 }; 02845 const SetInstr si556[] = { 02846 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, 02847 {SO_MINUS,0,1,0}, 02848 {SO_HLT,0,0,0} 02849 }; 02850 const SetInstr si557[] = { 02851 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02852 {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 02853 {SO_HLT,0,0,0} 02854 }; 02855 const SetInstr si558[] = { 02856 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02857 {SO_MINUS,0,1,0}, 02858 {SO_HLT,0,0,0} 02859 }; 02860 const SetInstr si559[] = { 02861 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 02862 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 02863 {SO_HLT,0,0,0} 02864 }; 02865 const SetInstr si560[] = { 02866 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 02867 {SO_HLT,0,0,0} 02868 }; 02869 const SetInstr si561[] = { 02870 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, 02871 {SO_HLT,0,0,0} 02872 }; 02873 const SetInstr si562[] = { 02874 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, 02875 {SO_HLT,0,0,0} 02876 }; 02877 const SetInstr si563[] = { 02878 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, 02879 {SO_INTER,0,1,0}, 02880 {SO_HLT,0,0,0} 02881 }; 02882 const SetInstr si564[] = { 02883 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02884 {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 02885 {SO_HLT,0,0,0} 02886 }; 02887 const SetInstr si565[] = { 02888 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02889 {SO_INTER,0,1,0}, 02890 {SO_HLT,0,0,0} 02891 }; 02892 const SetInstr si566[] = { 02893 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02894 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 02895 {SO_HLT,0,0,0} 02896 }; 02897 const SetInstr si567[] = { 02898 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 02899 {SO_HLT,0,0,0} 02900 }; 02901 const SetInstr si568[] = { 02902 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, 02903 {SO_HLT,0,0,0} 02904 }; 02905 const SetInstr si569[] = { 02906 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, 02907 {SO_HLT,0,0,0} 02908 }; 02909 const SetInstr si570[] = { 02910 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, 02911 {SO_UNION ,0,1,0}, 02912 {SO_HLT,0,0,0} 02913 }; 02914 const SetInstr si571[] = { 02915 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02916 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 02917 {SO_HLT,0,0,0} 02918 }; 02919 const SetInstr si572[] = { 02920 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02921 {SO_UNION ,0,1,0}, 02922 {SO_HLT,0,0,0} 02923 }; 02924 const SetInstr si573[] = { 02925 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02926 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 02927 {SO_HLT,0,0,0} 02928 }; 02929 const SetInstr si574[] = { 02930 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 02931 {SO_HLT,0,0,0} 02932 }; 02933 const SetInstr si575[] = { 02934 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, 02935 {SO_HLT,0,0,0} 02936 }; 02937 const SetInstr si576[] = { 02938 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, 02939 {SO_HLT,0,0,0} 02940 }; 02941 const SetInstr si577[] = { 02942 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, 02943 {SO_UNION,0,1,0}, 02944 {SO_HLT,0,0,0} 02945 }; 02946 const SetInstr si578[] = { 02947 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02948 {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 02949 {SO_HLT,0,0,0} 02950 }; 02951 const SetInstr si579[] = { 02952 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02953 {SO_UNION,0,1,0}, 02954 {SO_HLT,0,0,0} 02955 }; 02956 const SetInstr si580[] = { 02957 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02958 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 02959 {SO_HLT,0,0,0} 02960 }; 02961 const SetInstr si581[] = { 02962 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 02963 {SO_HLT,0,0,0} 02964 }; 02965 const SetInstr si582[] = { 02966 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, 02967 {SO_HLT,0,0,0} 02968 }; 02969 const SetInstr si583[] = { 02970 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, 02971 {SO_HLT,0,0,0} 02972 }; 02973 const SetInstr si584[] = { 02974 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, 02975 {SO_DUNION,0,1,0}, 02976 {SO_HLT,0,0,0} 02977 }; 02978 const SetInstr si585[] = { 02979 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 02980 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 02981 {SO_HLT,0,0,0} 02982 }; 02983 const SetInstr si586[] = { 02984 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02985 {SO_DUNION,0,1,0}, 02986 {SO_HLT,0,0,0} 02987 }; 02988 const SetInstr si587[] = { 02989 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 02990 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 02991 {SO_HLT,0,0,0} 02992 }; 02993 const SetInstr si588[] = { 02994 {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 02995 {SO_HLT,0,0,0} 02996 }; 02997 const SetInstr si589[] = { 02998 {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, 02999 {SO_HLT,0,0,0} 03000 }; 03001 const SetInstr si590[] = { 03002 {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, 03003 {SO_HLT,0,0,0} 03004 }; 03005 const SetInstr si591[] = { 03006 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, 03007 {SO_MINUS,0,1,0}, 03008 {SO_HLT,0,0,0} 03009 }; 03010 const SetInstr si592[] = { 03011 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03012 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 03013 {SO_HLT,0,0,0} 03014 }; 03015 const SetInstr si593[] = { 03016 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03017 {SO_MINUS,0,1,0}, 03018 {SO_HLT,0,0,0} 03019 }; 03020 const SetInstr si594[] = { 03021 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03022 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03023 {SO_HLT,0,0,0} 03024 }; 03025 const SetInstr si595[] = { 03026 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, 03027 {SO_HLT,0,0,0} 03028 }; 03029 const SetInstr si596[] = { 03030 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, 03031 {SO_HLT,0,0,0} 03032 }; 03033 const SetInstr si597[] = { 03034 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, 03035 {SO_HLT,0,0,0} 03036 }; 03037 const SetInstr si598[] = { 03038 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, 03039 {SO_INTER,0,1,0}, 03040 {SO_HLT,0,0,0} 03041 }; 03042 const SetInstr si599[] = { 03043 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03044 {SO_UNION,2,3,1},{SO_INTER,0,1,0}, 03045 {SO_HLT,0,0,0} 03046 }; 03047 const SetInstr si600[] = { 03048 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03049 {SO_INTER,0,1,0}, 03050 {SO_HLT,0,0,0} 03051 }; 03052 const SetInstr si601[] = { 03053 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03054 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03055 {SO_HLT,0,0,0} 03056 }; 03057 const SetInstr si602[] = { 03058 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 03059 {SO_HLT,0,0,0} 03060 }; 03061 const SetInstr si603[] = { 03062 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, 03063 {SO_HLT,0,0,0} 03064 }; 03065 const SetInstr si604[] = { 03066 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, 03067 {SO_HLT,0,0,0} 03068 }; 03069 const SetInstr si605[] = { 03070 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, 03071 {SO_UNION ,0,1,0}, 03072 {SO_HLT,0,0,0} 03073 }; 03074 const SetInstr si606[] = { 03075 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03076 {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 03077 {SO_HLT,0,0,0} 03078 }; 03079 const SetInstr si607[] = { 03080 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03081 {SO_UNION ,0,1,0}, 03082 {SO_HLT,0,0,0} 03083 }; 03084 const SetInstr si608[] = { 03085 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03086 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03087 {SO_HLT,0,0,0} 03088 }; 03089 const SetInstr si609[] = { 03090 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, 03091 {SO_HLT,0,0,0} 03092 }; 03093 const SetInstr si610[] = { 03094 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, 03095 {SO_HLT,0,0,0} 03096 }; 03097 const SetInstr si611[] = { 03098 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, 03099 {SO_HLT,0,0,0} 03100 }; 03101 const SetInstr si612[] = { 03102 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, 03103 {SO_UNION,0,1,0}, 03104 {SO_HLT,0,0,0} 03105 }; 03106 const SetInstr si613[] = { 03107 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03108 {SO_UNION,2,3,1},{SO_UNION,0,1,0}, 03109 {SO_HLT,0,0,0} 03110 }; 03111 const SetInstr si614[] = { 03112 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03113 {SO_UNION,0,1,0}, 03114 {SO_HLT,0,0,0} 03115 }; 03116 const SetInstr si615[] = { 03117 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03118 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03119 {SO_HLT,0,0,0} 03120 }; 03121 const SetInstr si616[] = { 03122 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 03123 {SO_HLT,0,0,0} 03124 }; 03125 const SetInstr si617[] = { 03126 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, 03127 {SO_HLT,0,0,0} 03128 }; 03129 const SetInstr si618[] = { 03130 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, 03131 {SO_HLT,0,0,0} 03132 }; 03133 const SetInstr si619[] = { 03134 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, 03135 {SO_DUNION,0,1,0}, 03136 {SO_HLT,0,0,0} 03137 }; 03138 const SetInstr si620[] = { 03139 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03140 {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 03141 {SO_HLT,0,0,0} 03142 }; 03143 const SetInstr si621[] = { 03144 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03145 {SO_DUNION,0,1,0}, 03146 {SO_HLT,0,0,0} 03147 }; 03148 const SetInstr si622[] = { 03149 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03150 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03151 {SO_HLT,0,0,0} 03152 }; 03153 const SetInstr si623[] = { 03154 {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 03155 {SO_HLT,0,0,0} 03156 }; 03157 const SetInstr si624[] = { 03158 {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, 03159 {SO_HLT,0,0,0} 03160 }; 03161 const SetInstr si625[] = { 03162 {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, 03163 {SO_HLT,0,0,0} 03164 }; 03165 const SetInstr si626[] = { 03166 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, 03167 {SO_MINUS,0,1,0}, 03168 {SO_HLT,0,0,0} 03169 }; 03170 const SetInstr si627[] = { 03171 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03172 {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 03173 {SO_HLT,0,0,0} 03174 }; 03175 const SetInstr si628[] = { 03176 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03177 {SO_MINUS,0,1,0}, 03178 {SO_HLT,0,0,0} 03179 }; 03180 const SetInstr si629[] = { 03181 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03182 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03183 {SO_HLT,0,0,0} 03184 }; 03185 const SetInstr si630[] = { 03186 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 03187 {SO_HLT,0,0,0} 03188 }; 03189 const SetInstr si631[] = { 03190 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, 03191 {SO_HLT,0,0,0} 03192 }; 03193 const SetInstr si632[] = { 03194 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, 03195 {SO_HLT,0,0,0} 03196 }; 03197 const SetInstr si633[] = { 03198 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, 03199 {SO_INTER,0,1,0}, 03200 {SO_HLT,0,0,0} 03201 }; 03202 const SetInstr si634[] = { 03203 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03204 {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 03205 {SO_HLT,0,0,0} 03206 }; 03207 const SetInstr si635[] = { 03208 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03209 {SO_INTER,0,1,0}, 03210 {SO_HLT,0,0,0} 03211 }; 03212 const SetInstr si636[] = { 03213 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03214 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03215 {SO_HLT,0,0,0} 03216 }; 03217 const SetInstr si637[] = { 03218 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 03219 {SO_HLT,0,0,0} 03220 }; 03221 const SetInstr si638[] = { 03222 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, 03223 {SO_HLT,0,0,0} 03224 }; 03225 const SetInstr si639[] = { 03226 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, 03227 {SO_HLT,0,0,0} 03228 }; 03229 const SetInstr si640[] = { 03230 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, 03231 {SO_UNION ,0,1,0}, 03232 {SO_HLT,0,0,0} 03233 }; 03234 const SetInstr si641[] = { 03235 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03236 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 03237 {SO_HLT,0,0,0} 03238 }; 03239 const SetInstr si642[] = { 03240 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03241 {SO_UNION ,0,1,0}, 03242 {SO_HLT,0,0,0} 03243 }; 03244 const SetInstr si643[] = { 03245 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03246 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03247 {SO_HLT,0,0,0} 03248 }; 03249 const SetInstr si644[] = { 03250 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 03251 {SO_HLT,0,0,0} 03252 }; 03253 const SetInstr si645[] = { 03254 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, 03255 {SO_HLT,0,0,0} 03256 }; 03257 const SetInstr si646[] = { 03258 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, 03259 {SO_HLT,0,0,0} 03260 }; 03261 const SetInstr si647[] = { 03262 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, 03263 {SO_UNION,0,1,0}, 03264 {SO_HLT,0,0,0} 03265 }; 03266 const SetInstr si648[] = { 03267 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03268 {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 03269 {SO_HLT,0,0,0} 03270 }; 03271 const SetInstr si649[] = { 03272 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03273 {SO_UNION,0,1,0}, 03274 {SO_HLT,0,0,0} 03275 }; 03276 const SetInstr si650[] = { 03277 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03278 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03279 {SO_HLT,0,0,0} 03280 }; 03281 const SetInstr si651[] = { 03282 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 03283 {SO_HLT,0,0,0} 03284 }; 03285 const SetInstr si652[] = { 03286 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, 03287 {SO_HLT,0,0,0} 03288 }; 03289 const SetInstr si653[] = { 03290 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, 03291 {SO_HLT,0,0,0} 03292 }; 03293 const SetInstr si654[] = { 03294 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, 03295 {SO_DUNION,0,1,0}, 03296 {SO_HLT,0,0,0} 03297 }; 03298 const SetInstr si655[] = { 03299 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03300 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 03301 {SO_HLT,0,0,0} 03302 }; 03303 const SetInstr si656[] = { 03304 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03305 {SO_DUNION,0,1,0}, 03306 {SO_HLT,0,0,0} 03307 }; 03308 const SetInstr si657[] = { 03309 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03310 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03311 {SO_HLT,0,0,0} 03312 }; 03313 const SetInstr si658[] = { 03314 {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 03315 {SO_HLT,0,0,0} 03316 }; 03317 const SetInstr si659[] = { 03318 {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, 03319 {SO_HLT,0,0,0} 03320 }; 03321 const SetInstr si660[] = { 03322 {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, 03323 {SO_HLT,0,0,0} 03324 }; 03325 const SetInstr si661[] = { 03326 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, 03327 {SO_MINUS,0,1,0}, 03328 {SO_HLT,0,0,0} 03329 }; 03330 const SetInstr si662[] = { 03331 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03332 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 03333 {SO_HLT,0,0,0} 03334 }; 03335 const SetInstr si663[] = { 03336 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03337 {SO_MINUS,0,1,0}, 03338 {SO_HLT,0,0,0} 03339 }; 03340 const SetInstr si664[] = { 03341 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 03342 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03343 {SO_HLT,0,0,0} 03344 }; 03345 const SetInstr si665[] = { 03346 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 03347 {SO_HLT,0,0,0} 03348 }; 03349 const SetInstr si666[] = { 03350 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, 03351 {SO_HLT,0,0,0} 03352 }; 03353 const SetInstr si667[] = { 03354 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, 03355 {SO_HLT,0,0,0} 03356 }; 03357 const SetInstr si668[] = { 03358 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, 03359 {SO_INTER,0,1,0}, 03360 {SO_HLT,0,0,0} 03361 }; 03362 const SetInstr si669[] = { 03363 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03364 {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 03365 {SO_HLT,0,0,0} 03366 }; 03367 const SetInstr si670[] = { 03368 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03369 {SO_INTER,0,1,0}, 03370 {SO_HLT,0,0,0} 03371 }; 03372 const SetInstr si671[] = { 03373 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03374 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03375 {SO_HLT,0,0,0} 03376 }; 03377 const SetInstr si672[] = { 03378 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 03379 {SO_HLT,0,0,0} 03380 }; 03381 const SetInstr si673[] = { 03382 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, 03383 {SO_HLT,0,0,0} 03384 }; 03385 const SetInstr si674[] = { 03386 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, 03387 {SO_HLT,0,0,0} 03388 }; 03389 const SetInstr si675[] = { 03390 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, 03391 {SO_UNION ,0,1,0}, 03392 {SO_HLT,0,0,0} 03393 }; 03394 const SetInstr si676[] = { 03395 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03396 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 03397 {SO_HLT,0,0,0} 03398 }; 03399 const SetInstr si677[] = { 03400 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03401 {SO_UNION ,0,1,0}, 03402 {SO_HLT,0,0,0} 03403 }; 03404 const SetInstr si678[] = { 03405 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03406 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03407 {SO_HLT,0,0,0} 03408 }; 03409 const SetInstr si679[] = { 03410 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 03411 {SO_HLT,0,0,0} 03412 }; 03413 const SetInstr si680[] = { 03414 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, 03415 {SO_HLT,0,0,0} 03416 }; 03417 const SetInstr si681[] = { 03418 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, 03419 {SO_HLT,0,0,0} 03420 }; 03421 const SetInstr si682[] = { 03422 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, 03423 {SO_UNION,0,1,0}, 03424 {SO_HLT,0,0,0} 03425 }; 03426 const SetInstr si683[] = { 03427 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03428 {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 03429 {SO_HLT,0,0,0} 03430 }; 03431 const SetInstr si684[] = { 03432 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03433 {SO_UNION,0,1,0}, 03434 {SO_HLT,0,0,0} 03435 }; 03436 const SetInstr si685[] = { 03437 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03438 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03439 {SO_HLT,0,0,0} 03440 }; 03441 const SetInstr si686[] = { 03442 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 03443 {SO_HLT,0,0,0} 03444 }; 03445 const SetInstr si687[] = { 03446 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, 03447 {SO_HLT,0,0,0} 03448 }; 03449 const SetInstr si688[] = { 03450 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, 03451 {SO_HLT,0,0,0} 03452 }; 03453 const SetInstr si689[] = { 03454 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, 03455 {SO_DUNION,0,1,0}, 03456 {SO_HLT,0,0,0} 03457 }; 03458 const SetInstr si690[] = { 03459 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03460 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 03461 {SO_HLT,0,0,0} 03462 }; 03463 const SetInstr si691[] = { 03464 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03465 {SO_DUNION,0,1,0}, 03466 {SO_HLT,0,0,0} 03467 }; 03468 const SetInstr si692[] = { 03469 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03470 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03471 {SO_HLT,0,0,0} 03472 }; 03473 const SetInstr si693[] = { 03474 {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 03475 {SO_HLT,0,0,0} 03476 }; 03477 const SetInstr si694[] = { 03478 {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, 03479 {SO_HLT,0,0,0} 03480 }; 03481 const SetInstr si695[] = { 03482 {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, 03483 {SO_HLT,0,0,0} 03484 }; 03485 const SetInstr si696[] = { 03486 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, 03487 {SO_MINUS,0,1,0}, 03488 {SO_HLT,0,0,0} 03489 }; 03490 const SetInstr si697[] = { 03491 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, 03492 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 03493 {SO_HLT,0,0,0} 03494 }; 03495 const SetInstr si698[] = { 03496 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03497 {SO_MINUS,0,1,0}, 03498 {SO_HLT,0,0,0} 03499 }; 03500 const SetInstr si699[] = { 03501 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 03502 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03503 {SO_HLT,0,0,0} 03504 }; 03505 const SetInstr si700[] = { 03506 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, 03507 {SO_HLT,0,0,0} 03508 }; 03509 const SetInstr si701[] = { 03510 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, 03511 {SO_HLT,0,0,0} 03512 }; 03513 const SetInstr si702[] = { 03514 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, 03515 {SO_HLT,0,0,0} 03516 }; 03517 const SetInstr si703[] = { 03518 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, 03519 {SO_INTER,0,1,0}, 03520 {SO_HLT,0,0,0} 03521 }; 03522 const SetInstr si704[] = { 03523 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03524 {SO_INTER,2,3,1},{SO_INTER,0,1,0}, 03525 {SO_HLT,0,0,0} 03526 }; 03527 const SetInstr si705[] = { 03528 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03529 {SO_INTER,0,1,0}, 03530 {SO_HLT,0,0,0} 03531 }; 03532 const SetInstr si706[] = { 03533 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03534 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03535 {SO_HLT,0,0,0} 03536 }; 03537 const SetInstr si707[] = { 03538 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 03539 {SO_HLT,0,0,0} 03540 }; 03541 const SetInstr si708[] = { 03542 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, 03543 {SO_HLT,0,0,0} 03544 }; 03545 const SetInstr si709[] = { 03546 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, 03547 {SO_HLT,0,0,0} 03548 }; 03549 const SetInstr si710[] = { 03550 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, 03551 {SO_UNION ,0,1,0}, 03552 {SO_HLT,0,0,0} 03553 }; 03554 const SetInstr si711[] = { 03555 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03556 {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, 03557 {SO_HLT,0,0,0} 03558 }; 03559 const SetInstr si712[] = { 03560 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03561 {SO_UNION ,0,1,0}, 03562 {SO_HLT,0,0,0} 03563 }; 03564 const SetInstr si713[] = { 03565 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03566 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03567 {SO_HLT,0,0,0} 03568 }; 03569 const SetInstr si714[] = { 03570 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, 03571 {SO_HLT,0,0,0} 03572 }; 03573 const SetInstr si715[] = { 03574 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, 03575 {SO_HLT,0,0,0} 03576 }; 03577 const SetInstr si716[] = { 03578 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, 03579 {SO_HLT,0,0,0} 03580 }; 03581 const SetInstr si717[] = { 03582 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, 03583 {SO_UNION,0,1,0}, 03584 {SO_HLT,0,0,0} 03585 }; 03586 const SetInstr si718[] = { 03587 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03588 {SO_INTER,2,3,1},{SO_UNION,0,1,0}, 03589 {SO_HLT,0,0,0} 03590 }; 03591 const SetInstr si719[] = { 03592 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03593 {SO_UNION,0,1,0}, 03594 {SO_HLT,0,0,0} 03595 }; 03596 const SetInstr si720[] = { 03597 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03598 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03599 {SO_HLT,0,0,0} 03600 }; 03601 const SetInstr si721[] = { 03602 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 03603 {SO_HLT,0,0,0} 03604 }; 03605 const SetInstr si722[] = { 03606 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, 03607 {SO_HLT,0,0,0} 03608 }; 03609 const SetInstr si723[] = { 03610 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, 03611 {SO_HLT,0,0,0} 03612 }; 03613 const SetInstr si724[] = { 03614 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, 03615 {SO_DUNION,0,1,0}, 03616 {SO_HLT,0,0,0} 03617 }; 03618 const SetInstr si725[] = { 03619 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03620 {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, 03621 {SO_HLT,0,0,0} 03622 }; 03623 const SetInstr si726[] = { 03624 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03625 {SO_DUNION,0,1,0}, 03626 {SO_HLT,0,0,0} 03627 }; 03628 const SetInstr si727[] = { 03629 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03630 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03631 {SO_HLT,0,0,0} 03632 }; 03633 const SetInstr si728[] = { 03634 {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 03635 {SO_HLT,0,0,0} 03636 }; 03637 const SetInstr si729[] = { 03638 {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, 03639 {SO_HLT,0,0,0} 03640 }; 03641 const SetInstr si730[] = { 03642 {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, 03643 {SO_HLT,0,0,0} 03644 }; 03645 const SetInstr si731[] = { 03646 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, 03647 {SO_MINUS,0,1,0}, 03648 {SO_HLT,0,0,0} 03649 }; 03650 const SetInstr si732[] = { 03651 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03652 {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, 03653 {SO_HLT,0,0,0} 03654 }; 03655 const SetInstr si733[] = { 03656 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03657 {SO_MINUS,0,1,0}, 03658 {SO_HLT,0,0,0} 03659 }; 03660 const SetInstr si734[] = { 03661 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, 03662 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03663 {SO_HLT,0,0,0} 03664 }; 03665 const SetInstr si735[] = { 03666 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 03667 {SO_HLT,0,0,0} 03668 }; 03669 const SetInstr si736[] = { 03670 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, 03671 {SO_HLT,0,0,0} 03672 }; 03673 const SetInstr si737[] = { 03674 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, 03675 {SO_HLT,0,0,0} 03676 }; 03677 const SetInstr si738[] = { 03678 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, 03679 {SO_INTER,0,1,0}, 03680 {SO_HLT,0,0,0} 03681 }; 03682 const SetInstr si739[] = { 03683 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03684 {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, 03685 {SO_HLT,0,0,0} 03686 }; 03687 const SetInstr si740[] = { 03688 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03689 {SO_INTER,0,1,0}, 03690 {SO_HLT,0,0,0} 03691 }; 03692 const SetInstr si741[] = { 03693 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03694 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03695 {SO_HLT,0,0,0} 03696 }; 03697 const SetInstr si742[] = { 03698 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 03699 {SO_HLT,0,0,0} 03700 }; 03701 const SetInstr si743[] = { 03702 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, 03703 {SO_HLT,0,0,0} 03704 }; 03705 const SetInstr si744[] = { 03706 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, 03707 {SO_HLT,0,0,0} 03708 }; 03709 const SetInstr si745[] = { 03710 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, 03711 {SO_UNION ,0,1,0}, 03712 {SO_HLT,0,0,0} 03713 }; 03714 const SetInstr si746[] = { 03715 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03716 {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, 03717 {SO_HLT,0,0,0} 03718 }; 03719 const SetInstr si747[] = { 03720 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03721 {SO_UNION ,0,1,0}, 03722 {SO_HLT,0,0,0} 03723 }; 03724 const SetInstr si748[] = { 03725 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03726 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03727 {SO_HLT,0,0,0} 03728 }; 03729 const SetInstr si749[] = { 03730 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 03731 {SO_HLT,0,0,0} 03732 }; 03733 const SetInstr si750[] = { 03734 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, 03735 {SO_HLT,0,0,0} 03736 }; 03737 const SetInstr si751[] = { 03738 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, 03739 {SO_HLT,0,0,0} 03740 }; 03741 const SetInstr si752[] = { 03742 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, 03743 {SO_UNION,0,1,0}, 03744 {SO_HLT,0,0,0} 03745 }; 03746 const SetInstr si753[] = { 03747 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03748 {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, 03749 {SO_HLT,0,0,0} 03750 }; 03751 const SetInstr si754[] = { 03752 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03753 {SO_UNION,0,1,0}, 03754 {SO_HLT,0,0,0} 03755 }; 03756 const SetInstr si755[] = { 03757 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03758 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03759 {SO_HLT,0,0,0} 03760 }; 03761 const SetInstr si756[] = { 03762 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 03763 {SO_HLT,0,0,0} 03764 }; 03765 const SetInstr si757[] = { 03766 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, 03767 {SO_HLT,0,0,0} 03768 }; 03769 const SetInstr si758[] = { 03770 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, 03771 {SO_HLT,0,0,0} 03772 }; 03773 const SetInstr si759[] = { 03774 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, 03775 {SO_DUNION,0,1,0}, 03776 {SO_HLT,0,0,0} 03777 }; 03778 const SetInstr si760[] = { 03779 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03780 {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, 03781 {SO_HLT,0,0,0} 03782 }; 03783 const SetInstr si761[] = { 03784 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03785 {SO_DUNION,0,1,0}, 03786 {SO_HLT,0,0,0} 03787 }; 03788 const SetInstr si762[] = { 03789 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03790 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03791 {SO_HLT,0,0,0} 03792 }; 03793 const SetInstr si763[] = { 03794 {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 03795 {SO_HLT,0,0,0} 03796 }; 03797 const SetInstr si764[] = { 03798 {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, 03799 {SO_HLT,0,0,0} 03800 }; 03801 const SetInstr si765[] = { 03802 {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, 03803 {SO_HLT,0,0,0} 03804 }; 03805 const SetInstr si766[] = { 03806 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, 03807 {SO_MINUS,0,1,0}, 03808 {SO_HLT,0,0,0} 03809 }; 03810 const SetInstr si767[] = { 03811 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03812 {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, 03813 {SO_HLT,0,0,0} 03814 }; 03815 const SetInstr si768[] = { 03816 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03817 {SO_MINUS,0,1,0}, 03818 {SO_HLT,0,0,0} 03819 }; 03820 const SetInstr si769[] = { 03821 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, 03822 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03823 {SO_HLT,0,0,0} 03824 }; 03825 const SetInstr si770[] = { 03826 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, 03827 {SO_HLT,0,0,0} 03828 }; 03829 const SetInstr si771[] = { 03830 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, 03831 {SO_HLT,0,0,0} 03832 }; 03833 const SetInstr si772[] = { 03834 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, 03835 {SO_HLT,0,0,0} 03836 }; 03837 const SetInstr si773[] = { 03838 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, 03839 {SO_INTER,0,1,0}, 03840 {SO_HLT,0,0,0} 03841 }; 03842 const SetInstr si774[] = { 03843 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03844 {SO_UNION,2,3,1},{SO_INTER,0,1,0}, 03845 {SO_HLT,0,0,0} 03846 }; 03847 const SetInstr si775[] = { 03848 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03849 {SO_INTER,0,1,0}, 03850 {SO_HLT,0,0,0} 03851 }; 03852 const SetInstr si776[] = { 03853 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03854 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 03855 {SO_HLT,0,0,0} 03856 }; 03857 const SetInstr si777[] = { 03858 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 03859 {SO_HLT,0,0,0} 03860 }; 03861 const SetInstr si778[] = { 03862 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, 03863 {SO_HLT,0,0,0} 03864 }; 03865 const SetInstr si779[] = { 03866 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, 03867 {SO_HLT,0,0,0} 03868 }; 03869 const SetInstr si780[] = { 03870 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, 03871 {SO_UNION ,0,1,0}, 03872 {SO_HLT,0,0,0} 03873 }; 03874 const SetInstr si781[] = { 03875 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03876 {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, 03877 {SO_HLT,0,0,0} 03878 }; 03879 const SetInstr si782[] = { 03880 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03881 {SO_UNION ,0,1,0}, 03882 {SO_HLT,0,0,0} 03883 }; 03884 const SetInstr si783[] = { 03885 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03886 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 03887 {SO_HLT,0,0,0} 03888 }; 03889 const SetInstr si784[] = { 03890 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, 03891 {SO_HLT,0,0,0} 03892 }; 03893 const SetInstr si785[] = { 03894 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, 03895 {SO_HLT,0,0,0} 03896 }; 03897 const SetInstr si786[] = { 03898 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, 03899 {SO_HLT,0,0,0} 03900 }; 03901 const SetInstr si787[] = { 03902 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, 03903 {SO_UNION,0,1,0}, 03904 {SO_HLT,0,0,0} 03905 }; 03906 const SetInstr si788[] = { 03907 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03908 {SO_UNION,2,3,1},{SO_UNION,0,1,0}, 03909 {SO_HLT,0,0,0} 03910 }; 03911 const SetInstr si789[] = { 03912 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03913 {SO_UNION,0,1,0}, 03914 {SO_HLT,0,0,0} 03915 }; 03916 const SetInstr si790[] = { 03917 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03918 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 03919 {SO_HLT,0,0,0} 03920 }; 03921 const SetInstr si791[] = { 03922 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 03923 {SO_HLT,0,0,0} 03924 }; 03925 const SetInstr si792[] = { 03926 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, 03927 {SO_HLT,0,0,0} 03928 }; 03929 const SetInstr si793[] = { 03930 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, 03931 {SO_HLT,0,0,0} 03932 }; 03933 const SetInstr si794[] = { 03934 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, 03935 {SO_DUNION,0,1,0}, 03936 {SO_HLT,0,0,0} 03937 }; 03938 const SetInstr si795[] = { 03939 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03940 {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, 03941 {SO_HLT,0,0,0} 03942 }; 03943 const SetInstr si796[] = { 03944 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03945 {SO_DUNION,0,1,0}, 03946 {SO_HLT,0,0,0} 03947 }; 03948 const SetInstr si797[] = { 03949 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03950 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 03951 {SO_HLT,0,0,0} 03952 }; 03953 const SetInstr si798[] = { 03954 {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 03955 {SO_HLT,0,0,0} 03956 }; 03957 const SetInstr si799[] = { 03958 {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, 03959 {SO_HLT,0,0,0} 03960 }; 03961 const SetInstr si800[] = { 03962 {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, 03963 {SO_HLT,0,0,0} 03964 }; 03965 const SetInstr si801[] = { 03966 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, 03967 {SO_MINUS,0,1,0}, 03968 {SO_HLT,0,0,0} 03969 }; 03970 const SetInstr si802[] = { 03971 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 03972 {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, 03973 {SO_HLT,0,0,0} 03974 }; 03975 const SetInstr si803[] = { 03976 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03977 {SO_MINUS,0,1,0}, 03978 {SO_HLT,0,0,0} 03979 }; 03980 const SetInstr si804[] = { 03981 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, 03982 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 03983 {SO_HLT,0,0,0} 03984 }; 03985 const SetInstr si805[] = { 03986 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 03987 {SO_HLT,0,0,0} 03988 }; 03989 const SetInstr si806[] = { 03990 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, 03991 {SO_HLT,0,0,0} 03992 }; 03993 const SetInstr si807[] = { 03994 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, 03995 {SO_HLT,0,0,0} 03996 }; 03997 const SetInstr si808[] = { 03998 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, 03999 {SO_INTER,0,1,0}, 04000 {SO_HLT,0,0,0} 04001 }; 04002 const SetInstr si809[] = { 04003 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04004 {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, 04005 {SO_HLT,0,0,0} 04006 }; 04007 const SetInstr si810[] = { 04008 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04009 {SO_INTER,0,1,0}, 04010 {SO_HLT,0,0,0} 04011 }; 04012 const SetInstr si811[] = { 04013 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04014 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 04015 {SO_HLT,0,0,0} 04016 }; 04017 const SetInstr si812[] = { 04018 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 04019 {SO_HLT,0,0,0} 04020 }; 04021 const SetInstr si813[] = { 04022 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, 04023 {SO_HLT,0,0,0} 04024 }; 04025 const SetInstr si814[] = { 04026 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, 04027 {SO_HLT,0,0,0} 04028 }; 04029 const SetInstr si815[] = { 04030 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, 04031 {SO_UNION ,0,1,0}, 04032 {SO_HLT,0,0,0} 04033 }; 04034 const SetInstr si816[] = { 04035 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04036 {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, 04037 {SO_HLT,0,0,0} 04038 }; 04039 const SetInstr si817[] = { 04040 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04041 {SO_UNION ,0,1,0}, 04042 {SO_HLT,0,0,0} 04043 }; 04044 const SetInstr si818[] = { 04045 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04046 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 04047 {SO_HLT,0,0,0} 04048 }; 04049 const SetInstr si819[] = { 04050 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 04051 {SO_HLT,0,0,0} 04052 }; 04053 const SetInstr si820[] = { 04054 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, 04055 {SO_HLT,0,0,0} 04056 }; 04057 const SetInstr si821[] = { 04058 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, 04059 {SO_HLT,0,0,0} 04060 }; 04061 const SetInstr si822[] = { 04062 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, 04063 {SO_UNION,0,1,0}, 04064 {SO_HLT,0,0,0} 04065 }; 04066 const SetInstr si823[] = { 04067 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04068 {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, 04069 {SO_HLT,0,0,0} 04070 }; 04071 const SetInstr si824[] = { 04072 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04073 {SO_UNION,0,1,0}, 04074 {SO_HLT,0,0,0} 04075 }; 04076 const SetInstr si825[] = { 04077 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04078 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 04079 {SO_HLT,0,0,0} 04080 }; 04081 const SetInstr si826[] = { 04082 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 04083 {SO_HLT,0,0,0} 04084 }; 04085 const SetInstr si827[] = { 04086 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, 04087 {SO_HLT,0,0,0} 04088 }; 04089 const SetInstr si828[] = { 04090 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, 04091 {SO_HLT,0,0,0} 04092 }; 04093 const SetInstr si829[] = { 04094 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, 04095 {SO_DUNION,0,1,0}, 04096 {SO_HLT,0,0,0} 04097 }; 04098 const SetInstr si830[] = { 04099 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04100 {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, 04101 {SO_HLT,0,0,0} 04102 }; 04103 const SetInstr si831[] = { 04104 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04105 {SO_DUNION,0,1,0}, 04106 {SO_HLT,0,0,0} 04107 }; 04108 const SetInstr si832[] = { 04109 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04110 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 04111 {SO_HLT,0,0,0} 04112 }; 04113 const SetInstr si833[] = { 04114 {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 04115 {SO_HLT,0,0,0} 04116 }; 04117 const SetInstr si834[] = { 04118 {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, 04119 {SO_HLT,0,0,0} 04120 }; 04121 const SetInstr si835[] = { 04122 {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, 04123 {SO_HLT,0,0,0} 04124 }; 04125 const SetInstr si836[] = { 04126 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, 04127 {SO_MINUS,0,1,0}, 04128 {SO_HLT,0,0,0} 04129 }; 04130 const SetInstr si837[] = { 04131 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04132 {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, 04133 {SO_HLT,0,0,0} 04134 }; 04135 const SetInstr si838[] = { 04136 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04137 {SO_MINUS,0,1,0}, 04138 {SO_HLT,0,0,0} 04139 }; 04140 const SetInstr si839[] = { 04141 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, 04142 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 04143 {SO_HLT,0,0,0} 04144 }; 04145 const SetInstr si840[] = { 04146 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 04147 {SO_HLT,0,0,0} 04148 }; 04149 const SetInstr si841[] = { 04150 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, 04151 {SO_HLT,0,0,0} 04152 }; 04153 const SetInstr si842[] = { 04154 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, 04155 {SO_HLT,0,0,0} 04156 }; 04157 const SetInstr si843[] = { 04158 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, 04159 {SO_INTER,0,1,0}, 04160 {SO_HLT,0,0,0} 04161 }; 04162 const SetInstr si844[] = { 04163 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04164 {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, 04165 {SO_HLT,0,0,0} 04166 }; 04167 const SetInstr si845[] = { 04168 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04169 {SO_INTER,0,1,0}, 04170 {SO_HLT,0,0,0} 04171 }; 04172 const SetInstr si846[] = { 04173 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04174 {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, 04175 {SO_HLT,0,0,0} 04176 }; 04177 const SetInstr si847[] = { 04178 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 04179 {SO_HLT,0,0,0} 04180 }; 04181 const SetInstr si848[] = { 04182 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, 04183 {SO_HLT,0,0,0} 04184 }; 04185 const SetInstr si849[] = { 04186 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, 04187 {SO_HLT,0,0,0} 04188 }; 04189 const SetInstr si850[] = { 04190 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, 04191 {SO_UNION ,0,1,0}, 04192 {SO_HLT,0,0,0} 04193 }; 04194 const SetInstr si851[] = { 04195 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04196 {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, 04197 {SO_HLT,0,0,0} 04198 }; 04199 const SetInstr si852[] = { 04200 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04201 {SO_UNION ,0,1,0}, 04202 {SO_HLT,0,0,0} 04203 }; 04204 const SetInstr si853[] = { 04205 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04206 {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, 04207 {SO_HLT,0,0,0} 04208 }; 04209 const SetInstr si854[] = { 04210 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 04211 {SO_HLT,0,0,0} 04212 }; 04213 const SetInstr si855[] = { 04214 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, 04215 {SO_HLT,0,0,0} 04216 }; 04217 const SetInstr si856[] = { 04218 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, 04219 {SO_HLT,0,0,0} 04220 }; 04221 const SetInstr si857[] = { 04222 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, 04223 {SO_UNION,0,1,0}, 04224 {SO_HLT,0,0,0} 04225 }; 04226 const SetInstr si858[] = { 04227 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04228 {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, 04229 {SO_HLT,0,0,0} 04230 }; 04231 const SetInstr si859[] = { 04232 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04233 {SO_UNION,0,1,0}, 04234 {SO_HLT,0,0,0} 04235 }; 04236 const SetInstr si860[] = { 04237 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04238 {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, 04239 {SO_HLT,0,0,0} 04240 }; 04241 const SetInstr si861[] = { 04242 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 04243 {SO_HLT,0,0,0} 04244 }; 04245 const SetInstr si862[] = { 04246 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, 04247 {SO_HLT,0,0,0} 04248 }; 04249 const SetInstr si863[] = { 04250 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, 04251 {SO_HLT,0,0,0} 04252 }; 04253 const SetInstr si864[] = { 04254 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, 04255 {SO_DUNION,0,1,0}, 04256 {SO_HLT,0,0,0} 04257 }; 04258 const SetInstr si865[] = { 04259 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04260 {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, 04261 {SO_HLT,0,0,0} 04262 }; 04263 const SetInstr si866[] = { 04264 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04265 {SO_DUNION,0,1,0}, 04266 {SO_HLT,0,0,0} 04267 }; 04268 const SetInstr si867[] = { 04269 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04270 {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, 04271 {SO_HLT,0,0,0} 04272 }; 04273 const SetInstr si868[] = { 04274 {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 04275 {SO_HLT,0,0,0} 04276 }; 04277 const SetInstr si869[] = { 04278 {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, 04279 {SO_HLT,0,0,0} 04280 }; 04281 const SetInstr si870[] = { 04282 {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, 04283 {SO_HLT,0,0,0} 04284 }; 04285 const SetInstr si871[] = { 04286 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, 04287 {SO_MINUS,0,1,0}, 04288 {SO_HLT,0,0,0} 04289 }; 04290 const SetInstr si872[] = { 04291 {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, 04292 {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, 04293 {SO_HLT,0,0,0} 04294 }; 04295 const SetInstr si873[] = { 04296 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04297 {SO_MINUS,0,1,0}, 04298 {SO_HLT,0,0,0} 04299 }; 04300 const SetInstr si874[] = { 04301 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, 04302 {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, 04303 {SO_HLT,0,0,0} 04304 }; 04305 const SetInstr si875[] = { 04306 {SO_CMPL,0,0,0}, 04307 {SO_HLT,0,0,0} 04308 }; 04309 const SetInstr si876[] = { 04310 {SO_INTER,0,1,0}, 04311 {SO_HLT,0,0,0} 04312 }; 04313 const SetInstr si877[] = { 04314 {SO_UNION,0,1,0}, 04315 {SO_HLT,0,0,0} 04316 }; 04317 const SetInstr si878[] = { 04318 {SO_DUNION,0,1,0}, 04319 {SO_HLT,0,0,0} 04320 }; 04321 const SetInstr si879[] = { 04322 {SO_MINUS,0,1,0}, 04323 {SO_HLT,0,0,0} 04324 }; 04325 04326 04327 04328 const SetInstr* si[] = { 04329 &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0], 04330 &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0], 04331 &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0], 04332 &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0], 04333 &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0], 04334 &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0], 04335 &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0], 04336 &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0], 04337 &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0], 04338 &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0], 04339 &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0], 04340 &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0], 04341 &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0], 04342 &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0], 04343 &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0], 04344 &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0], 04345 &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0], 04346 &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0], 04347 &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0], 04348 &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0], 04349 &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0], 04350 &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0], 04351 &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0], 04352 &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0], 04353 &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0], 04354 &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0], 04355 &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0], 04356 &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0], 04357 &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0], 04358 &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0], 04359 &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0], 04360 &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0], 04361 &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0], 04362 &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0], 04363 &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0], 04364 &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0], 04365 &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0], 04366 &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0], 04367 &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0], 04368 &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0], 04369 &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0], 04370 &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0], 04371 &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0], 04372 &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0], 04373 &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0], 04374 &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0], 04375 &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0], 04376 &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0], 04377 &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0], 04378 &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0], 04379 &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0], 04380 &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0], 04381 &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0], 04382 &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0], 04383 &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0], 04384 &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0], 04385 &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0], 04386 &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0], 04387 &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0], 04388 &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0], 04389 &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0], 04390 &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0], 04391 &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0], 04392 &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0], 04393 &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0], 04394 &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0], 04395 &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0], 04396 &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0], 04397 &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0], 04398 &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0], 04399 &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0], 04400 &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0], 04401 &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0], 04402 &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0], 04403 &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0], 04404 &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0], 04405 &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0], 04406 &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0], 04407 &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0], 04408 &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0], 04409 &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0], 04410 &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0], 04411 &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0], 04412 &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0], 04413 &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0], 04414 &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0], 04415 &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0], 04416 &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0], 04417 &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0], 04418 &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0], 04419 &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0], 04420 &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0], 04421 &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0], 04422 &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0], 04423 &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0], 04424 &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0], 04425 &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0], 04426 &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0], 04427 &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0], 04428 &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0], 04429 &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0], 04430 &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0], 04431 &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0], 04432 &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0], 04433 &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0], 04434 &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0], 04435 &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0], 04436 &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0], 04437 &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0], 04438 &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0], 04439 &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0], 04440 &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0], 04441 &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0], 04442 &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0], 04443 &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0], 04444 &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0], 04445 &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0], 04446 &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0], 04447 &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0], 04448 &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0], 04449 &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0], 04450 &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0], 04451 &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0], 04452 &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0], 04453 &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0], 04454 &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0], 04455 &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0], 04456 &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0], 04457 &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0], 04458 &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0], 04459 &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0], 04460 &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0], 04461 &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0], 04462 &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0], 04463 &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0], 04464 &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0], 04465 &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0], 04466 &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0], 04467 &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0], 04468 &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0], 04469 &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0], 04470 &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0], 04471 &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0], 04472 &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0], 04473 &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0], 04474 &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0], 04475 &si876[0],&si877[0],&si878[0],&si879[0] 04476 }; 04477 04478 04480 class Create { 04481 public: 04483 Create(void) { 04484 int n = sizeof(si)/sizeof(SetInstr*); 04485 for (int i=0; i<n; i++) { 04486 std::string s = Test::str(i); 04487 if (i < 10) { 04488 s = "00" + s; 04489 } else if (i < 100) { 04490 s = "0" + s; 04491 } 04492 (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,0); 04493 (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,1); 04494 (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,0); 04495 (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,1); 04496 (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,0); 04497 (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,1); 04498 (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,0); 04499 (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,1); 04500 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,0); 04501 (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,1); 04502 04503 if ( (i % 31) == 0) { 04504 04505 for (int j=0; j<n; j++) { 04506 if ( (j % 37) == 0) { 04507 std::string ss = Test::str(j); 04508 if (j < 10) { 04509 ss = "00" + ss; 04510 } else if (j < 100) { 04511 ss = "0" + ss; 04512 } 04513 ss=s+"::"+ss; 04514 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_EQ); 04515 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_NQ); 04516 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUB); 04517 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUP); 04518 (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_DISJ); 04519 } 04520 } 04521 } 04522 } 04523 } 04524 }; 04525 04526 Create c; 04528 } 04529 04530 }} 04531 04532 // STATISTICS: test-minimodel