Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228422942304231423242334234423542364237423842394240424142424243424442454246424742484249425042514252425342544255425642574258425942604261426242634264426542664267426842694270427142724273427442754276427742784279428042814282428342844285428642874288428942904291429242934294429542964297429842994300430143024303430443054306430743084309431043114312431343144315431643174318431943204321432243234324432543264327432843294330433143324333433443354336433743384339434043414342434343444345434643474348434943504351435243534354435543564357435843594360436143624363436443654366436743684369437043714372437343744375437643774378437943804381438243834384438543864387438843894390439143924393439443954396439743984399440044014402440344044405440644074408440944104411441244134414441544164417441844194420442144224423442444254426442744284429443044314432443344344435443644374438443944404441444244434444444544464447444844494450445144524453445444554456445744584459446044614462446344644465446644674468446944704471447244734474447544764477447844794480448144824483448444854486448744884489449044914492449344944495449644974498449945004501450245034504450545064507450845094510451145124513451445154516451745184519452045214522452345244525452645274528452945304531453245334534453545364537453845394540454145424543454445454546/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- *//* * Main authors: * Christian Schulte <schulte@gecode.org> * * Copyright: * Christian Schulte, 2008 * * This file is part of Gecode, the generic constraint * development environment: * http://www.gecode.org * * Permission is hereby granted, free of charge, to any person obtaining * a copy of this software and associated documentation files (the * "Software"), to deal in the Software without restriction, including * without limitation the rights to use, copy, modify, merge, publish, * distribute, sublicense, and/or sell copies of the Software, and to * permit persons to whom the Software is furnished to do so, subject to * the following conditions: * * The above copyright notice and this permission notice shall be * included in all copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. * */
#include "test/int.hh"
#include <gecode/minimodel.hh>
namespace Test { namespace Int {
/// %Tests for minimal modelling constraints (%Set) namespace MiniModelSet {
/// Set opcode enum SetOpcode { SO_CMPL, ///< Complement SO_UNION, ///< Union SO_DUNION, ///< Disjoint union SO_INTER, ///< Intersection SO_MINUS, ///< Difference SO_HLT ///< Stop execution };
/// Type for representing a set instruction class SetInstr { public: SetOpcode o; ///< Which instruction to execute unsigned char x, y, z; ///< Instruction arguments, \a z is destination (or \a y for complement) };
/// Executes set instruction for evaluation (checking) int eval(const SetInstr* pc, int reg[], bool& failed) { failed = false; while (true) { switch (pc->o) { case SO_CMPL: reg[pc->y] = !reg[pc->x]; break; case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break; case SO_UNION: reg[pc->z] = reg[pc->x] | reg[pc->y]; break; case SO_DUNION: if (reg[pc->x] && reg[pc->y]) failed = true; reg[pc->z] = reg[pc->x] | reg[pc->y]; break; case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break; case SO_HLT: return reg[pc->x]; default: GECODE_NEVER; } pc++; } GECODE_NEVER; }
/// Executes set instruction for constructing set expressions Gecode::SetExpr eval(const SetInstr* pc, Gecode::SetExpr reg[]) { using namespace Gecode; while (true) { switch (pc->o) { case SO_CMPL: reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break; case SO_INTER: reg[pc->z] = (reg[pc->x] & reg[pc->y]); break; case SO_UNION: reg[pc->z] = (reg[pc->x] | reg[pc->y]); break; case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break; case SO_MINUS: reg[pc->z] = reg[pc->x] - reg[pc->y]; break; case SO_HLT: return reg[pc->x]; default: GECODE_NEVER; } pc++; } GECODE_NEVER; }
bool simpleReifiedSemantics(const SetInstr* pc) { while (pc->o != SO_HLT) { if (pc->o == SO_DUNION) return false; pc++; } return true; }
/** * \defgroup TaskTestSetMiniModelSet Minimal modelling constraints (%Set constraints) * \ingroup TaskTestSet */ //@{ /// %Test set expressions with constant result class SetExprConst : public Test { protected: /// %Set instruction sequence const SetInstr* bis; /// Result of expression int c; /// %Set relation Gecode::SetRelType srt; public: /// Create and register test SetExprConst(const SetInstr* bis0, const std::string& s, Gecode::SetRelType srt0, int c0) : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0), 4,0,1,simpleReifiedSemantics(bis0)), bis(bis0), c(c0), srt(srt0) {} /// %Test whether \a x is solution virtual bool solution(const Assignment& x) const { int reg[4] = {(x[0] != x[2]), x[1], (x[2] > 0), x[3]}; bool failed; int ret = eval(bis, reg, failed); if (failed) return false; switch (srt) { case Gecode::SRT_EQ: return ret == c; case Gecode::SRT_NQ: return ret != c; case Gecode::SRT_SUB: return ret <= c; case Gecode::SRT_SUP: return ret >= c; case Gecode::SRT_DISJ: return ret+c != 2; case Gecode::SRT_CMPL: return ret != c; default: GECODE_NEVER; } return false; } /// Post constraint on \a x virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { using namespace Gecode; SetVarArgs s(home,4,IntSet::empty,1,1); Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]}; Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1); Gecode::SetExpr e = eval(bis,reg); switch (srt) { case Gecode::SRT_EQ: Gecode::rel(home, e == res); break; case Gecode::SRT_NQ: Gecode::rel(home, e != res); break; case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break; case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break; case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break; case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break; default: GECODE_NEVER; } } /// Post reified constraint on \a x virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, Gecode::Reify r) { using namespace Gecode; SetVarArgs s(home,4,IntSet::empty,1,1); Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1)); Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]}; Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1); Gecode::SetExpr e = eval(bis,reg); Gecode::SetRel irel; switch (srt) { case Gecode::SRT_EQ: irel = (e == res); break; case Gecode::SRT_NQ: irel = (e != res); break; case Gecode::SRT_SUB: irel = (e <= res); break; case Gecode::SRT_SUP: irel = (e >= res); break; case Gecode::SRT_DISJ: irel = (e || res); break; case Gecode::SRT_CMPL: irel = (e == -res); break; default: GECODE_NEVER; } switch (r.mode()) { case Gecode::RM_EQV: Gecode::rel(home, r.var()==irel); break; case Gecode::RM_IMP: Gecode::rel(home, r.var() >> irel); break; case Gecode::RM_PMI: Gecode::rel(home, r.var() << irel); break; } } };
/// %Test set expressions with expression result class SetExprExpr : public Test { protected: /// %First set instruction sequence const SetInstr* bis0; /// %Second set instruction sequence const SetInstr* bis1; /// %Set relation Gecode::SetRelType srt; public: /// Create and register test SetExprExpr(const SetInstr* bis00, const SetInstr* bis10, const std::string& s, Gecode::SetRelType srt0) : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0), 8,0,1, simpleReifiedSemantics(bis00) && simpleReifiedSemantics(bis10)), bis0(bis00), bis1(bis10), srt(srt0) {} /// %Test whether \a x is solution virtual bool solution(const Assignment& x) const { int reg0[4] = {(x[0] != x[2]), x[1], (x[2] > 0), x[3]}; bool failed0; int ret0 = eval(bis0, reg0, failed0); if (failed0) return false;
int reg1[4] = {(x[4] != x[6]), x[5], (x[6] > 0), x[7]}; bool failed1; int ret1 = eval(bis1, reg1, failed1);
if (failed1) return false;
switch (srt) { case Gecode::SRT_EQ: return ret0 == ret1; case Gecode::SRT_NQ: return ret0 != ret1; case Gecode::SRT_SUB: return ret0 <= ret1; case Gecode::SRT_SUP: return ret0 >= ret1; case Gecode::SRT_DISJ: return ret0+ret1 != 2; case Gecode::SRT_CMPL: return ret0 != ret1; default: GECODE_NEVER; } GECODE_NEVER; return false; } /// Post constraint on \a x virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { using namespace Gecode; SetVarArgs s(home,8,IntSet::empty,1,1); Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6])); Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1)); Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0)); Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]}; Gecode::SetExpr e0 = eval(bis0,reg0);
Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]}; Gecode::SetExpr e1 = eval(bis1,reg1);
switch (srt) { case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break; case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break; case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break; case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break; case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break; case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break; default: GECODE_NEVER; } } /// Post reified constraint on \a x virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, Gecode::Reify r) { using namespace Gecode; SetVarArgs s(home,8,IntSet::empty,1,1); Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2])); Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1)); Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0)); Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6])); Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1)); Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0)); Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]}; Gecode::SetExpr e0 = eval(bis0,reg0);
Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]}; Gecode::SetExpr e1 = eval(bis1,reg1);
Gecode::SetRel srel; switch (srt) { case Gecode::SRT_EQ: srel = (e0 == e1); break; case Gecode::SRT_NQ: srel = (e0 != e1); break; case Gecode::SRT_SUB: srel = (e0 <= e1); break; case Gecode::SRT_SUP: srel = (e0 >= e1); break; case Gecode::SRT_DISJ: srel = (e0 || e1); break; case Gecode::SRT_CMPL: srel = (e0 == -e1); break; default: GECODE_NEVER; } switch (r.mode()) { case Gecode::RM_EQV: Gecode::rel(home, r.var()==srel); break; case Gecode::RM_IMP: Gecode::rel(home, r.var() >> srel); break; case Gecode::RM_PMI: Gecode::rel(home, r.var() << srel); break; } } };
const SetInstr si000[] = { {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si001[] = { {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si002[] = { {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si003[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si004[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si005[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si006[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si007[] = { {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si008[] = { {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si009[] = { {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si010[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si011[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si012[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si013[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si014[] = { {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si015[] = { {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si016[] = { {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si017[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si018[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si019[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si020[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si021[] = { {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si022[] = { {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si023[] = { {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si024[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si025[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si026[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si027[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si028[] = { {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si029[] = { {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si030[] = { {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si031[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si032[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si033[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si034[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si035[] = { {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si036[] = { {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si037[] = { {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si038[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si039[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si040[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si041[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si042[] = { {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si043[] = { {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si044[] = { {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si045[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si046[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si047[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si048[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si049[] = { {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si050[] = { {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si051[] = { {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si052[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si053[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si054[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si055[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si056[] = { {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si057[] = { {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si058[] = { {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si059[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si060[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si061[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si062[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si063[] = { {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si064[] = { {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si065[] = { {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si066[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si067[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si068[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si069[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si070[] = { {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si071[] = { {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si072[] = { {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si073[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si074[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si075[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si076[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si077[] = { {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si078[] = { {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si079[] = { {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si080[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si081[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si082[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si083[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si084[] = { {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si085[] = { {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si086[] = { {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si087[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si088[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si089[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si090[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si091[] = { {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si092[] = { {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si093[] = { {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si094[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si095[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si096[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si097[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si098[] = { {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si099[] = { {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si100[] = { {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si101[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si102[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si103[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si104[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si105[] = { {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si106[] = { {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si107[] = { {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si108[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si109[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si110[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si111[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si112[] = { {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si113[] = { {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si114[] = { {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si115[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si116[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si117[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si118[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si119[] = { {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si120[] = { {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si121[] = { {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si122[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si123[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si124[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si125[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si126[] = { {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si127[] = { {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si128[] = { {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si129[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si130[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si131[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si132[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si133[] = { {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si134[] = { {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si135[] = { {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si136[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si137[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si138[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si139[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si140[] = { {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si141[] = { {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si142[] = { {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si143[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si144[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si145[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si146[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si147[] = { {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si148[] = { {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si149[] = { {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si150[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si151[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si152[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si153[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si154[] = { {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si155[] = { {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si156[] = { {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si157[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si158[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si159[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si160[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si161[] = { {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si162[] = { {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si163[] = { {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si164[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si165[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si166[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si167[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si168[] = { {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si169[] = { {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si170[] = { {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si171[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si172[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si173[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si174[] = { {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si175[] = { {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si176[] = { {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si177[] = { {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si178[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si179[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si180[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si181[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si182[] = { {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si183[] = { {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si184[] = { {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si185[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si186[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si187[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si188[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si189[] = { {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si190[] = { {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si191[] = { {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si192[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si193[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si194[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si195[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si196[] = { {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si197[] = { {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si198[] = { {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si199[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si200[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si201[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si202[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si203[] = { {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si204[] = { {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si205[] = { {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si206[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si207[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si208[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si209[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si210[] = { {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si211[] = { {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si212[] = { {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si213[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si214[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si215[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si216[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si217[] = { {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si218[] = { {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si219[] = { {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si220[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si221[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si222[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si223[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si224[] = { {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si225[] = { {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si226[] = { {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si227[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si228[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si229[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si230[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si231[] = { {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si232[] = { {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si233[] = { {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si234[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si235[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si236[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si237[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si238[] = { {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si239[] = { {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si240[] = { {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si241[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si242[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si243[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si244[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si245[] = { {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si246[] = { {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si247[] = { {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si248[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si249[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si250[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si251[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si252[] = { {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si253[] = { {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si254[] = { {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si255[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si256[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si257[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si258[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si259[] = { {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si260[] = { {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si261[] = { {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si262[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si263[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si264[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si265[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si266[] = { {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si267[] = { {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si268[] = { {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si269[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si270[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si271[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si272[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si273[] = { {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si274[] = { {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si275[] = { {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si276[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si277[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si278[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si279[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si280[] = { {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si281[] = { {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si282[] = { {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si283[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si284[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si285[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si286[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si287[] = { {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si288[] = { {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si289[] = { {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si290[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si291[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si292[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si293[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si294[] = { {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si295[] = { {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si296[] = { {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si297[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si298[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si299[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si300[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si301[] = { {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si302[] = { {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si303[] = { {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si304[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si305[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si306[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si307[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si308[] = { {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si309[] = { {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si310[] = { {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si311[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si312[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si313[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si314[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si315[] = { {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si316[] = { {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si317[] = { {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si318[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si319[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si320[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si321[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si322[] = { {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si323[] = { {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si324[] = { {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si325[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si326[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si327[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si328[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si329[] = { {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si330[] = { {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si331[] = { {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si332[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si333[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si334[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si335[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si336[] = { {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si337[] = { {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si338[] = { {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si339[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si340[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si341[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si342[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si343[] = { {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si344[] = { {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si345[] = { {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si346[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si347[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si348[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si349[] = { {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si350[] = { {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si351[] = { {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si352[] = { {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si353[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si354[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si355[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si356[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si357[] = { {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si358[] = { {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si359[] = { {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si360[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si361[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si362[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si363[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si364[] = { {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si365[] = { {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si366[] = { {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si367[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si368[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si369[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si370[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si371[] = { {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si372[] = { {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si373[] = { {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si374[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si375[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si376[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si377[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si378[] = { {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si379[] = { {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si380[] = { {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si381[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si382[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si383[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si384[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si385[] = { {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si386[] = { {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si387[] = { {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si388[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si389[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si390[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si391[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si392[] = { {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si393[] = { {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si394[] = { {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si395[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si396[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si397[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si398[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si399[] = { {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si400[] = { {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si401[] = { {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si402[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si403[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si404[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si405[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si406[] = { {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si407[] = { {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si408[] = { {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si409[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si410[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si411[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si412[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si413[] = { {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si414[] = { {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si415[] = { {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si416[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si417[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si418[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si419[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si420[] = { {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si421[] = { {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si422[] = { {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si423[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si424[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si425[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si426[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si427[] = { {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si428[] = { {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si429[] = { {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si430[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si431[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si432[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si433[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si434[] = { {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si435[] = { {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si436[] = { {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si437[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si438[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si439[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si440[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si441[] = { {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si442[] = { {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si443[] = { {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si444[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si445[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si446[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si447[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si448[] = { {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si449[] = { {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si450[] = { {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si451[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si452[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si453[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si454[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si455[] = { {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si456[] = { {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si457[] = { {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si458[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si459[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si460[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si461[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si462[] = { {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si463[] = { {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si464[] = { {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si465[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si466[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si467[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si468[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si469[] = { {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si470[] = { {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si471[] = { {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si472[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si473[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si474[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si475[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si476[] = { {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si477[] = { {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si478[] = { {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si479[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si480[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si481[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si482[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si483[] = { {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si484[] = { {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si485[] = { {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si486[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si487[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si488[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si489[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si490[] = { {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si491[] = { {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si492[] = { {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si493[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si494[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si495[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si496[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si497[] = { {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si498[] = { {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si499[] = { {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si500[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si501[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si502[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si503[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si504[] = { {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si505[] = { {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si506[] = { {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si507[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si508[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si509[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si510[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si511[] = { {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si512[] = { {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si513[] = { {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si514[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si515[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si516[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si517[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si518[] = { {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si519[] = { {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si520[] = { {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si521[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si522[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si523[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si524[] = { {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si525[] = { {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si526[] = { {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si527[] = { {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si528[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si529[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si530[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si531[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si532[] = { {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si533[] = { {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si534[] = { {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si535[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si536[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si537[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si538[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si539[] = { {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si540[] = { {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si541[] = { {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si542[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si543[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si544[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si545[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si546[] = { {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si547[] = { {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si548[] = { {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si549[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si550[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si551[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si552[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si553[] = { {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si554[] = { {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si555[] = { {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si556[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si557[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si558[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si559[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si560[] = { {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si561[] = { {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si562[] = { {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si563[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si564[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si565[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si566[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si567[] = { {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si568[] = { {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si569[] = { {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si570[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si571[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si572[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si573[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si574[] = { {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si575[] = { {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si576[] = { {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si577[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si578[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si579[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si580[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si581[] = { {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si582[] = { {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si583[] = { {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si584[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si585[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si586[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si587[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si588[] = { {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si589[] = { {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si590[] = { {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si591[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si592[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si593[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si594[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si595[] = { {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si596[] = { {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si597[] = { {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si598[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si599[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si600[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si601[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si602[] = { {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si603[] = { {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si604[] = { {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si605[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si606[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si607[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si608[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si609[] = { {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si610[] = { {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si611[] = { {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si612[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si613[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si614[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si615[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si616[] = { {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si617[] = { {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si618[] = { {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si619[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si620[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si621[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si622[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si623[] = { {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si624[] = { {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si625[] = { {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si626[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si627[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si628[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si629[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si630[] = { {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si631[] = { {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si632[] = { {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si633[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si634[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si635[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si636[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si637[] = { {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si638[] = { {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si639[] = { {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si640[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si641[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si642[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si643[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si644[] = { {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si645[] = { {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si646[] = { {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si647[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si648[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si649[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si650[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si651[] = { {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si652[] = { {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si653[] = { {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si654[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si655[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si656[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si657[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si658[] = { {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si659[] = { {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si660[] = { {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si661[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si662[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si663[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si664[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si665[] = { {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si666[] = { {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si667[] = { {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si668[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si669[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si670[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si671[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si672[] = { {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si673[] = { {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si674[] = { {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si675[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si676[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si677[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si678[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si679[] = { {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si680[] = { {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si681[] = { {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si682[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si683[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si684[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si685[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si686[] = { {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si687[] = { {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si688[] = { {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si689[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si690[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si691[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si692[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si693[] = { {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si694[] = { {SO_DUNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si695[] = { {SO_DUNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si696[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si697[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si698[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si699[] = { {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si700[] = { {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si701[] = { {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si702[] = { {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si703[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si704[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si705[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si706[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si707[] = { {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si708[] = { {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si709[] = { {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si710[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si711[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si712[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si713[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si714[] = { {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si715[] = { {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si716[] = { {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si717[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si718[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si719[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si720[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si721[] = { {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si722[] = { {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si723[] = { {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si724[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si725[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si726[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si727[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si728[] = { {SO_MINUS,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si729[] = { {SO_MINUS,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si730[] = { {SO_MINUS,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si731[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_INTER,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si732[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_INTER,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si733[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si734[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si735[] = { {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si736[] = { {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si737[] = { {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si738[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si739[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si740[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si741[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si742[] = { {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si743[] = { {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si744[] = { {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si745[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si746[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si747[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si748[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si749[] = { {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si750[] = { {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si751[] = { {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si752[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si753[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si754[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si755[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si756[] = { {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si757[] = { {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si758[] = { {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si759[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si760[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si761[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si762[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si763[] = { {SO_MINUS,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si764[] = { {SO_MINUS,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si765[] = { {SO_MINUS,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si766[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION ,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si767[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION ,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si768[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si769[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si770[] = { {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si771[] = { {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si772[] = { {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si773[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si774[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si775[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si776[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si777[] = { {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si778[] = { {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si779[] = { {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si780[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si781[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si782[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si783[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si784[] = { {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si785[] = { {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si786[] = { {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si787[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si788[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si789[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si790[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si791[] = { {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si792[] = { {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si793[] = { {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si794[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si795[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si796[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si797[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si798[] = { {SO_MINUS,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si799[] = { {SO_MINUS,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si800[] = { {SO_MINUS,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si801[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_UNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si802[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_UNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si803[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si804[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si805[] = { {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si806[] = { {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si807[] = { {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si808[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si809[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si810[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si811[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si812[] = { {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si813[] = { {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si814[] = { {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si815[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si816[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si817[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si818[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si819[] = { {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si820[] = { {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si821[] = { {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si822[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si823[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si824[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si825[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si826[] = { {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si827[] = { {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si828[] = { {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si829[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si830[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si831[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si832[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si833[] = { {SO_MINUS,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si834[] = { {SO_MINUS,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si835[] = { {SO_MINUS,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si836[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_DUNION,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si837[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_DUNION,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si838[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si839[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si840[] = { {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si841[] = { {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si842[] = { {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si843[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si844[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si845[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si846[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_INTER,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si847[] = { {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si848[] = { {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si849[] = { {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si850[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si851[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si852[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si853[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION ,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si854[] = { {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si855[] = { {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si856[] = { {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si857[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si858[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si859[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si860[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_UNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si861[] = { {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si862[] = { {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si863[] = { {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si864[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si865[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si866[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si867[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_DUNION,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si868[] = { {SO_MINUS,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si869[] = { {SO_MINUS,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0}, {SO_HLT,0,0,0} }; const SetInstr si870[] = { {SO_MINUS,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si871[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_MINUS,0,1,0},{SO_MINUS,2,3,1}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si872[] = { {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_MINUS,0,1,0}, {SO_MINUS,2,3,1},{SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si873[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si874[] = { {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0}, {SO_MINUS,0,1,0},{SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si875[] = { {SO_CMPL,0,0,0}, {SO_HLT,0,0,0} }; const SetInstr si876[] = { {SO_INTER,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si877[] = { {SO_UNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si878[] = { {SO_DUNION,0,1,0}, {SO_HLT,0,0,0} }; const SetInstr si879[] = { {SO_MINUS,0,1,0}, {SO_HLT,0,0,0} };
const SetInstr* si[] = { &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0], &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0], &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0], &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0], &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0], &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0], &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0], &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0], &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0], &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0], &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0], &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0], &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0], &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0], &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0], &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0], &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0], &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0], &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0], &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0], &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0], &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0], &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0], &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0], &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0], &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0], &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0], &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0], &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0], &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0], &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0], &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0], &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0], &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0], &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0], &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0], &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0], &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0], &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0], &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0], &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0], &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0], &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0], &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0], &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0], &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0], &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0], &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0], &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0], &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0], &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0], &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0], &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0], &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0], &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0], &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0], &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0], &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0], &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0], &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0], &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0], &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0], &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0], &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0], &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0], &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0], &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0], &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0], &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0], &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0], &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0], &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0], &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0], &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0], &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0], &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0], &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0], &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0], &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0], &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0], &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0], &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0], &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0], &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0], &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0], &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0], &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0], &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0], &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0], &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0], &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0], &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0], &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0], &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0], &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0], &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0], &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0], &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0], &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0], &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0], &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0], &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0], &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0], &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0], &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0], &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0], &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0], &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0], &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0], &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0], &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0], &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0], &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0], &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0], &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0], &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0], &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0], &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0], &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0], &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0], &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0], &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0], &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0], &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0], &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0], &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0], &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0], &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0], &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0], &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0], &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0], &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0], &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0], &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0], &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0], &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0], &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0], &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0], &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0], &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0], &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0], &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0], &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0], &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0], &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0], &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0], &si876[0],&si877[0],&si878[0],&si879[0] };
/// Help class to create and register tests class Create { public: /// Perform creation and registration Create(void) { int n = sizeof(si)/sizeof(SetInstr*); for (int i=0; i<n; i++) { std::string s = Test::str(i); if (i < 10) { s = "00" + s; } else if (i < 100) { s = "0" + s; } (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,0); (void) new SetExprConst(si[i],s,Gecode::SRT_EQ,1); (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,0); (void) new SetExprConst(si[i],s,Gecode::SRT_NQ,1); (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,0); (void) new SetExprConst(si[i],s,Gecode::SRT_SUB,1); (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,0); (void) new SetExprConst(si[i],s,Gecode::SRT_SUP,1); (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,0); (void) new SetExprConst(si[i],s,Gecode::SRT_DISJ,1);
if ( (i % 31) == 0) {
for (int j=0; j<n; j++) { if ( (j % 37) == 0) { std::string ss = Test::str(j); if (j < 10) { ss = "00" + ss; } else if (j < 100) { ss = "0" + ss; } ss=s+"::"+ss; (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_EQ); (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_NQ); (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUB); (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_SUP); (void) new SetExprExpr(si[i],si[j],ss,Gecode::SRT_DISJ); } } } } } };
Create c; //@} }
}}
// STATISTICS: test-minimodel