/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0122x10101x100000x12020x132340410x12322531x11410412253x1144253152x11423140211x11141042321x12512451315x1243034245x1232432344000x124202222430x1502424144514x114533232334x11013551252354x11034123453354x11442531512150x1352541524132x14125110054131x1411223514231x15532034003143x15535031523134x105324021233433x1054453401013123x1430552523530224x14334314150051534x13154120010002045x1302233132212255x14110542040512031x12431414011054050x1402244111104151201x145525021524111532x1444431133422403542523x125540153350151542422x12.10123450122x10101x1000000x102020x1100000x112020x1200000x122020x1300000x132020x1400000x142020x1500000x152020x1032340410x102322531x1132340410x112322531x1232340410x122322531x1332340410x132322531x1432340410x142322531x1532340410x152322531x11410412253x1144253152x11423140211x11141042321x12512451315x1243034245x1232432344000x124202222430x10502424144514x1014533232334x11502424144514x1114533232334x12502424144514x1214533232334x13502424144514x1314533232334x14502424144514x1414533232334x15502424144514x1514533232334x11013551252354x11034123453354x101442531512150x10352541524132x111442531512150x11352541524132x121442531512150x12352541524132x131442531512150x13352541524132x141442531512150x14352541524132x151442531512150x15352541524132x14125110054131x1411223514231x15532034003143x15535031523134x105324021233433x1054453401013123x1430552523530224x14334314150051534x13154120010002045x1302233132212255x104110542040512031x102431414011054050x114110542040512031x112431414011054050x124110542040512031x122431414011054050x134110542040512031x132431414011054050x144110542040512031x142431414011054050x154110542040512031x152431414011054050x1402244111104151201x145525021524111532x10444431133422403542523x1025540153350151542422x11444431133422403542523x1125540153350151542422x12444431133422403542523x1225540153350151542422x13444431133422403542523x1325540153350151542422x14444431133422403542523x1425540153350151542422x15444431133422403542523x1525540153350151542422x101122220x101100110x101122221x101100111x101122222x101100112x101122223x101100113x101122224x101100114x101122225x101100115x1000000000000x10220022000x1000000000001x10220022001x1000000000002x10220022002x1000000000003x10220022003x1000000000004x10220022004x1000000000005x10220022005x1100000000000x11220022000x1100000000001x11220022001x1100000000002x11220022002x1100000000003x11220022003x1100000000004x11220022004x1100000000005x11220022005x1200000000000x12220022000x1200000000001x12220022001x1200000000002x12220022002x1200000000003x12220022003x1200000000004x12220022004x1200000000005x12220022005x1300000000000x13220022000x1300000000001x13220022001x1300000000002x13220022002x1300000000003x13220022003x1300000000004x13220022004x1300000000005x13220022005x1400000000000x14220022000x1400000000001x14220022001x1400000000002x14220022002x1400000000003x14220022003x1400000000004x14220022004x1400000000005x14220022005x1500000000000x15220022000x1500000000001x15220022001x1500000000002x15220022002x1500000000003x15220022003x1500000000004x15220022004x1500000000005x15220022005x1033223344004411000x10223322225533110x1033223344004411001x10223322225533111x1033223344004411002x10223322225533112x1033223344004411003x10223322225533113x1033223344004411004x10223322225533114x1033223344004411005x10223322225533115x1133223344004411000x11223322225533110x1133223344004411001x11223322225533111x1133223344004411002x11223322225533112x1133223344004411003x11223322225533113x1133223344004411004x11223322225533114x1133223344004411005x11223322225533115x1233223344004411000x12223322225533110x1233223344004411001x12223322225533111x1233223344004411002x12223322225533112x1233223344004411003x12223322225533113x1233223344004411004x12223322225533114x1233223344004411005x12223322225533115x1333223344004411000x13223322225533110x1333223344004411001x13223322225533111x1333223344004411002x13223322225533112x1333223344004411003x13223322225533113x1333223344004411004x13223322225533114x1333223344004411005x13223322225533115x1433223344004411000x14223322225533110x1433223344004411001x14223322225533111x1433223344004411002x14223322225533112x1433223344004411003x14223322225533113x1433223344004411004x14223322225533114x1433223344004411005x14223322225533115x1533223344004411000x15223322225533110x1533223344004411001x15223322225533111x1533223344004411002x15223322225533112x1533223344004411003x15223322225533113x1533223344004411004x15223322225533114x1533223344004411005x15223322225533115x114411004411222255330x1144442255331155220x114411004411222255331x1144442255331155221x114411004411222255332x1144442255331155222x114411004411222255333x1144442255331155223x114411004411222255334x1144442255331155224x114411004411222255335x1144442255331155225x114422331144002211110x111144110044223322110x114422331144002211111x111144110044223322111x114422331144002211112x111144110044223322112x114422331144002211113x111144110044223322113x114422331144002211114x111144110044223322114x114422331144002211115x111144110044223322115x125511224455113311550x1244330033442244550x125511224455113311551x1244330033442244551x125511224455113311552x1244330033442244552x125511224455113311553x1244330033442244553x125511224455113311554x1244330033442244554x125511224455113311555x1244330033442244555x1233224433223344440000000x12442200222222224433000x1233224433223344440000001x12442200222222224433001x1233224433223344440000002x12442200222222224433002x1233224433223344440000003x12442200222222224433003x1233224433223344440000004x12442200222222224433004x1233224433223344440000005x12442200222222224433005x105500224422441144445511440x1011445533332233223333440x105500224422441144445511441x1011445533332233223333441x105500224422441144445511442x1011445533332233223333442x105500224422441144445511443x1011445533332233223333443x105500224422441144445511444x1011445533332233223333444x105500224422441144445511445x1011445533332233223333445x115500224422441144445511440x1111445533332233223333440x115500224422441144445511441x1111445533332233223333441x115500224422441144445511442x1111445533332233223333442x115500224422441144445511443x1111445533332233223333443x115500224422441144445511444x1111445533332233223333444x115500224422441144445511445x1111445533332233223333445x125500224422441144445511440x1211445533332233223333440x125500224422441144445511441x1211445533332233223333441x125500224422441144445511442x1211445533332233223333442x125500224422441144445511443x1211445533332233223333443x125500224422441144445511444x1211445533332233223333444x125500224422441144445511445x1211445533332233223333445x135500224422441144445511440x1311445533332233223333440x135500224422441144445511441x1311445533332233223333441x135500224422441144445511442x1311445533332233223333442x135500224422441144445511443x1311445533332233223333443x135500224422441144445511444x1311445533332233223333444x135500224422441144445511445x1311445533332233223333445x145500224422441144445511440x1411445533332233223333440x145500224422441144445511441x1411445533332233223333441x145500224422441144445511442x1411445533332233223333442x145500224422441144445511443x1411445533332233223333443x145500224422441144445511444x1411445533332233223333444x145500224422441144445511445x1411445533332233223333445x155500224422441144445511440x1511445533332233223333440x155500224422441144445511441x1511445533332233223333441x155500224422441144445511442x1511445533332233223333442x155500224422441144445511443x1511445533332233223333443x155500224422441144445511444x1511445533332233223333444x155500224422441144445511445x1511445533332233223333445x110011335555112255223355440x110033441122334455333355440x110011335555112255223355441x110033441122334455333355441x110011335555112255223355442x110033441122334455333355442x110011335555112255223355443x110033441122334455333355443x110011335555112255223355444x110033441122334455333355444x110011335555112255223355445x110033441122334455333355445x10114444225533115511221155000x103355225544115522441133220x10114444225533115511221155001x103355225544115522441133221x10114444225533115511221155002x103355225544115522441133222x10114444225533115511221155003x103355225544115522441133223x10114444225533115511221155004x103355225544115522441133224x10114444225533115511221155005x103355225544115522441133225x11114444225533115511221155000x113355225544115522441133220x11114444225533115511221155001x113355225544115522441133221x11114444225533115511221155002x113355225544115522441133222x11114444225533115511221155003x113355225544115522441133223x11114444225533115511221155004x113355225544115522441133224x11114444225533115511221155005x113355225544115522441133225x12114444225533115511221155000x123355225544115522441133220x12114444225533115511221155001x123355225544115522441133221x12114444225533115511221155002x123355225544115522441133222x12114444225533115511221155003x123355225544115522441133223x12114444225533115511221155004x123355225544115522441133224x12114444225533115511221155005x123355225544115522441133225x13114444225533115511221155000x133355225544115522441133220x13114444225533115511221155001x133355225544115522441133221x13114444225533115511221155002x133355225544115522441133222x13114444225533115511221155003x133355225544115522441133223x13114444225533115511221155004x133355225544115522441133224x13114444225533115511221155005x133355225544115522441133225x14114444225533115511221155000x143355225544115522441133220x14114444225533115511221155001x143355225544115522441133221x14114444225533115511221155002x143355225544115522441133222x14114444225533115511221155003x143355225544115522441133223x14114444225533115511221155004x143355225544115522441133224x14114444225533115511221155005x143355225544115522441133225x15114444225533115511221155000x153355225544115522441133220x15114444225533115511221155001x153355225544115522441133221x15114444225533115511221155002x153355225544115522441133222x15114444225533115511221155003x153355225544115522441133223x15114444225533115511221155004x153355225544115522441133224x15114444225533115511221155005x153355225544115522441133225x141122551111000055441133110x1411112222335511442233110x141122551111000055441133111x1411112222335511442233111x141122551111000055441133112x1411112222335511442233112x141122551111000055441133113x1411112222335511442233113x141122551111000055441133114x1411112222335511442233114x141122551111000055441133115x1411112222335511442233115x155533220033440000331144330x155533550033115522331133440x155533220033440000331144331x155533550033115522331133441x155533220033440000331144332x155533550033115522331133442x155533220033440000331144333x155533550033115522331133443x155533220033440000331144334x155533550033115522331133444x155533220033440000331144335x155533550033115522331133445x10553322440022112233334433330x1055444455334400110011331122330x10553322440022112233334433331x1055444455334400110011331122331x10553322440022112233334433332x1055444455334400110011331122332x10553322440022112233334433333x1055444455334400110011331122333x10553322440022112233334433334x1055444455334400110011331122334x10553322440022112233334433335x1055444455334400110011331122335x1433005555225522335533002222440x143333443311441155000055115533440x1433005555225522335533002222441x143333443311441155000055115533441x1433005555225522335533002222442x143333443311441155000055115533442x1433005555225522335533002222443x143333443311441155000055115533443x1433005555225522335533002222444x143333443311441155000055115533444x1433005555225522335533002222445x143333443311441155000055115533445x131155441122000011000000220044550x1300222233331133222211222255550x131155441122000011000000220044551x1300222233331133222211222255551x131155441122000011000000220044552x1300222233331133222211222255552x131155441122000011000000220044553x1300222233331133222211222255553x131155441122000011000000220044554x1300222233331133222211222255554x131155441122000011000000220044555x1300222233331133222211222255555x10441111005544220044005511220033110x10224433114411440011110055440055000x10441111005544220044005511220033111x10224433114411440011110055440055001x10441111005544220044005511220033112x10224433114411440011110055440055002x10441111005544220044005511220033113x10224433114411440011110055440055003x10441111005544220044005511220033114x10224433114411440011110055440055004x10441111005544220044005511220033115x10224433114411440011110055440055005x11441111005544220044005511220033110x11224433114411440011110055440055000x11441111005544220044005511220033111x11224433114411440011110055440055001x11441111005544220044005511220033112x11224433114411440011110055440055002x11441111005544220044005511220033113x11224433114411440011110055440055003x11441111005544220044005511220033114x11224433114411440011110055440055004x11441111005544220044005511220033115x11224433114411440011110055440055005x12441111005544220044005511220033110x12224433114411440011110055440055000x12441111005544220044005511220033111x12224433114411440011110055440055001x12441111005544220044005511220033112x12224433114411440011110055440055002x12441111005544220044005511220033113x12224433114411440011110055440055003x12441111005544220044005511220033114x12224433114411440011110055440055004x12441111005544220044005511220033115x12224433114411440011110055440055005x13441111005544220044005511220033110x13224433114411440011110055440055000x13441111005544220044005511220033111x13224433114411440011110055440055001x13441111005544220044005511220033112x13224433114411440011110055440055002x13441111005544220044005511220033113x13224433114411440011110055440055003x13441111005544220044005511220033114x13224433114411440011110055440055004x13441111005544220044005511220033115x13224433114411440011110055440055005x14441111005544220044005511220033110x14224433114411440011110055440055000x14441111005544220044005511220033111x14224433114411440011110055440055001x14441111005544220044005511220033112x14224433114411440011110055440055002x14441111005544220044005511220033113x14224433114411440011110055440055003x14441111005544220044005511220033114x14224433114411440011110055440055004x14441111005544220044005511220033115x14224433114411440011110055440055005x15441111005544220044005511220033110x15224433114411440011110055440055000x15441111005544220044005511220033111x15224433114411440011110055440055001x15441111005544220044005511220033112x15224433114411440011110055440055002x15441111005544220044005511220033113x15224433114411440011110055440055003x15441111005544220044005511220033114x15224433114411440011110055440055004x15441111005544220044005511220033115x15224433114411440011110055440055005x1400222244441111111100441155112200110x14555522550022115522441111115533220x1400222244441111111100441155112200111x14555522550022115522441111115533221x1400222244441111111100441155112200112x14555522550022115522441111115533222x1400222244441111111100441155112200113x14555522550022115522441111115533223x1400222244441111111100441155112200114x14555522550022115522441111115533224x1400222244441111111100441155112200115x14555522550022115522441111115533225x104444444433111133334422224400335544225522330x1022555544001155333355001155115544224422220x104444444433111133334422224400335544225522331x1022555544001155333355001155115544224422221x104444444433111133334422224400335544225522332x1022555544001155333355001155115544224422222x104444444433111133334422224400335544225522333x1022555544001155333355001155115544224422223x104444444433111133334422224400335544225522334x1022555544001155333355001155115544224422224x104444444433111133334422224400335544225522335x1022555544001155333355001155115544224422225x114444444433111133334422224400335544225522330x1122555544001155333355001155115544224422220x114444444433111133334422224400335544225522331x1122555544001155333355001155115544224422221x114444444433111133334422224400335544225522332x1122555544001155333355001155115544224422222x114444444433111133334422224400335544225522333x1122555544001155333355001155115544224422223x114444444433111133334422224400335544225522334x1122555544001155333355001155115544224422224x114444444433111133334422224400335544225522335x1122555544001155333355001155115544224422225x124444444433111133334422224400335544225522330x1222555544001155333355001155115544224422220x124444444433111133334422224400335544225522331x1222555544001155333355001155115544224422221x124444444433111133334422224400335544225522332x1222555544001155333355001155115544224422222x124444444433111133334422224400335544225522333x1222555544001155333355001155115544224422223x124444444433111133334422224400335544225522334x1222555544001155333355001155115544224422224x124444444433111133334422224400335544225522335x1222555544001155333355001155115544224422225x134444444433111133334422224400335544225522330x1322555544001155333355001155115544224422220x134444444433111133334422224400335544225522331x1322555544001155333355001155115544224422221x134444444433111133334422224400335544225522332x1322555544001155333355001155115544224422222x134444444433111133334422224400335544225522333x1322555544001155333355001155115544224422223x134444444433111133334422224400335544225522334x1322555544001155333355001155115544224422224x134444444433111133334422224400335544225522335x1322555544001155333355001155115544224422225x144444444433111133334422224400335544225522330x1422555544001155333355001155115544224422220x144444444433111133334422224400335544225522331x1422555544001155333355001155115544224422221x144444444433111133334422224400335544225522332x1422555544001155333355001155115544224422222x144444444433111133334422224400335544225522333x1422555544001155333355001155115544224422223x144444444433111133334422224400335544225522334x1422555544001155333355001155115544224422224x144444444433111133334422224400335544225522335x1422555544001155333355001155115544224422225x154444444433111133334422224400335544225522330x1522555544001155333355001155115544224422220x154444444433111133334422224400335544225522331x1522555544001155333355001155115544224422221x154444444433111133334422224400335544225522332x1522555544001155333355001155115544224422222x154444444433111133334422224400335544225522333x1522555544001155333355001155115544224422223x154444444433111133334422224400335544225522334x1522555544001155333355001155115544224422224x154444444433111133334422224400335544225522335x1522555544001155333355001155115544224422225x1211272127240027245033964336427722138722145128012801962804955916615916678464042598725993733971733985324263873263933750222271705271797338133816338956801802968022080254802568021180744983722975722988322993987450974217297637976457342673435857186388650996947956927061004364001221006686208785096384676921849782215034988509652421817721884777235761795398030964662010811081391084108269149005899147737147871376537713773377937815923734209345096587565935319715319805618307130100130771130807107751107885107941942140938140246220131151171231251311331471491551571631991121112311291131113711691179118511871193119512191245124712531255126113991433143514411443144965449361407163571610094014052437884509737077379926426449264412643326261262532624526195261872617926137261292612126632655264726312623261526326172625263326492657269926123261312616926185261932621926247262552639926435264432613813850938209383438563858389882696296624783319583436616366191704947602989941402482201776531778511861707217210072357213072401721327272872994912591141931138100178117857317810017813817813017840117872817898217814284440134613463553464003464343469317144917144117143317126117125317124517119517118717117917113717112917112117163171551714717131171231711517131711717125171331714917157171991711231711311711691711851711931712191712471712551713991714351714431711667567613378773379372202963457133458039865099823093081308139308630892308412410023062302632302692302712302772302797643092701270138270982264126432264962821821708251082188825588219482297180170872509686945954924924139804220463801463843876509400743850451188170802220508150835550840050843450893661663116624662616493355938459721403481348296348220348246348211348254348744639616398130667780022062357381406849263644504007081001003091005731006716723671748757647511758221934140678924444004447494448578062209629264346444964441644336426164253642456419564187641796413764129641216463645564476431642364156436417642564336449645764996412364131641696418564193642196424764255643996443564443641630475222143440031055731072794857327812782622781712782462562205721572296572220483448141414145094143441464479554797994657471410039813981963984958705092542204643471481148261483587623094136834137638584523203373203393203453203473203536932569397734013401223401403409805236515236595238491321007442117417421074400744427445174444743877422184845193255824485245166062035413544943541703541805076855077731941701947594424003211321483215798220563486449564442622202627418196319617019644919644119643319626119625319624519619519618719617919613719612919612119663196551964719631196231961519631961719625196331964919657196991961231961311961691961851961931962191962471962551963991964351964431961307869307913130110311741750313933940315556031877878031320321031306307031781782551195196551397398551570571551494495551863864551590591141146147141252614135735814152052114165165214122923014110710814145946014173273314151851914165365423011140114001131178078131146046131140240331177677731127127231143343431150250331110210331168868931192933115215223118088093113923933113883890515135140516364051413414051454455051510511431210211431522523431347348431253254431461462431803804431176177431743744431801802131809810131501502131337338131845846131310311131643644131775776131677678131387388131637638131232413140340440121922040181381440158858940151751840140740840177377440151151251145345451135835951157958051127928051117918002011251949525156856925113713825149549625176376425131731825169069125110410525171571625159159225198198211173373411126326411162963011136336411195395411115161119039041115155161111471481119559561115595601119049051115605611116756763101132143543632196973219009013217374321223224321309310321500501321140141321225226200111501152118518652110010152168668752131331452181825219079085213903915217787795215695705215635645213183191326456465418188195411931945415125135414124135415775785412962975413163175415895905501133011001455456001869870001333421112112221197998021126927021176176221197197221193393421113914021149849921156556621173773821170570621190991054011530110301153181581653129930053135335453139639753193193253190190253193945315855865314514525312272285311871885316896905314094105311031045315575585318578584119059064117317324113113124112772784117977984113043054113153164114584594111451464115195204112452464115615621014054061016166171015610151451510130730810173073110181181210114414510134021373802149500212152160215065070215665670219109110216716720213536021875876420112401104188388404198798804114314404157580417297300418858864217717724217980421691692421728729421105106421356357421576577421217218421142143421172173421247248421799800421574575410110001114265966030117517630150750830120921030139940030011050111526676683201135131932035139539635129729835175976035135936035158358435144945044110610744141141244181781844125525644169269304011151314315151558559151578579151457458151687688151661662151101102151586587151908909151313215190290315156456515196196215139139215145245315158058115177978015168368451011341977978341408409341462463341814815341443444341220221341301302341305306341751752341847848341757758341851852341774775341173174341849850450111101143011250115201121011350112201124121121224157557624117117224193994024113113224174174224131231324156256324117717824199399424190690724194194224152352412163563612117181214974981216566121401402121807808121303304121362363440114513003014518168174512282294518058064515715724512612624511701714514104110126206210126226235001123171371423177777823112913023150450523138939023140040123135535623122222323184384423130230323197982313393402313603612311411422317277282312242252319379382018999002019910020191391420136372013435201216217201685686221213214221505506221496497221959622112312422136136222170770822157357422194794822193593622194594622121221322171722212142152214995001026196201026216220101110011340110115815820114748011871872011404405011812813011587588011670116176180119859860118738740118108110114064070114501151651750116917050139439550145645750156756850178278350150951050158258350191191212011331226227331345346331749750331503504331584585331298299331221222331441442331463464ttt2ttt2 1.20 [hg: unknown]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])))