/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES ____XYZ__X__YZ__XnilX__nilXXU11ttVU12isPalListKindactivateVactivateVU12ttVU13isNeListactivateVU13ttttU21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2U25isListactivateV1activateV2U25ttV2U26isListactivateV2U26ttttU31ttVU32isPalListKindactivateVactivateVU32ttVU33isQidactivateVU33ttttU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2U46isNeListactivateV2U46ttttU51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2U55isNeListactivateV1activateV2U55ttV2U56isListactivateV2U56ttttU61ttVU62isPalListKindactivateVactivateVU62ttVU63isQidactivateVU63ttttU71ttIPU72isPalListKindactivateIactivatePU72ttPU73isPalactivatePactivatePU73ttPU74isPalListKindactivatePU74ttttU81ttVU82isPalListKindactivateVactivateVU82ttVU83isNePalactivateVU83ttttU91ttV2U92isPalListKindactivateV2U92ttttisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21isPalListKindactivateV1activateV1activateV2isNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____I__PIU71isQidactivateIactivateIactivatePisPalVU81isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1____XYZ__YZ____XYZ__X__YZU11ttVactivateVU11ttVisPalListKindactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVactivateVU12ttVisNeListactivateVU12ttVU13isNeListactivateVU21ttV1V2activateV2U21ttV1V2activateV1U21ttV1V2isPalListKindactivateV1U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2activateV1U22ttV1V2activateV2U22ttV1V2isPalListKindactivateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2activateV1U23ttV1V2activateV2U23ttV1V2isPalListKindactivateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2activateV2U24ttV1V2activateV1U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2activateV2U25ttV2isListactivateV2U25ttV2U26isListactivateV2U31ttVactivateVU31ttVisPalListKindactivateVU31ttVU32isPalListKindactivateVactivateVU32ttVactivateVU32ttVisQidactivateVU32ttVU33isQidactivateVU41ttV1V2activateV2U41ttV1V2activateV1U41ttV1V2isPalListKindactivateV1U41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2activateV1U42ttV1V2activateV2U42ttV1V2isPalListKindactivateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2activateV1U43ttV1V2activateV2U43ttV1V2isPalListKindactivateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2activateV2U44ttV1V2activateV1U44ttV1V2isListactivateV1U44ttV1V2U45isListactivateV1activateV2U45ttV2activateV2U45ttV2isNeListactivateV2U45ttV2U46isNeListactivateV2U51ttV1V2activateV2U51ttV1V2activateV1U51ttV1V2isPalListKindactivateV1U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2activateV1U52ttV1V2activateV2U52ttV1V2isPalListKindactivateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2activateV1U53ttV1V2activateV2U53ttV1V2isPalListKindactivateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2activateV2U54ttV1V2activateV1U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2U55ttV2activateV2U55ttV2isListactivateV2U55ttV2U56isListactivateV2U61ttVactivateVU61ttVisPalListKindactivateVU61ttVU62isPalListKindactivateVactivateVU62ttVactivateVU62ttVisQidactivateVU62ttVU63isQidactivateVU71ttIPactivatePU71ttIPactivateIU71ttIPisPalListKindactivateIU71ttIPU72isPalListKindactivateIactivatePU72ttPactivatePU72ttPisPalactivatePU72ttPU73isPalactivatePactivatePU73ttPactivatePU73ttPisPalListKindactivatePU73ttPU74isPalListKindactivatePU81ttVactivateVU81ttVisPalListKindactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVactivateVU82ttVisNePalactivateVU82ttVU83isNePalactivateVU91ttV2activateV2U91ttV2isPalListKindactivateV2U91ttV2U92isPalListKindactivateV2isListVactivateVisListVisPalListKindactivateVisListVU11isPalListKindactivateVactivateVisListn____V1V2activateV2isListn____V1V2activateV1isListn____V1V2isPalListKindactivateV1isListn____V1V2U21isPalListKindactivateV1activateV1activateV2isNeListVactivateVisNeListVisPalListKindactivateVisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2activateV2isNeListn____V1V2activateV1isNeListn____V1V2isPalListKindactivateV1isNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2isNePalVactivateVisNePalVisPalListKindactivateVisNePalVU61isPalListKindactivateVactivateVisNePaln____I__PIactivatePisNePaln____I__PIactivateIisNePaln____I__PIisQidactivateIisNePaln____I__PIU71isQidactivateIactivateIactivatePisPalVactivateVisPalVisPalListKindactivateVisPalVU81isPalListKindactivateVactivateVisPalListKindn____V1V2activateV2isPalListKindn____V1V2activateV1isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uutrueU55ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVisNeListactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2U41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2isListactivateV1isListn____V1V2U21isPalListKindactivateV1activateV1activateV2U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2isListactivateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2isNeListactivateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2true1234567891011121314151617181920212223242526272829303132333435363738394041424344454653545556575859601isQid1014n__i00U45201423activate1110U261012U131011e00nil00U4230142437U11201220U31201020U4230102030U2430142434U5430152434U5130102030isNeList1412U331212U32201022U5230102030U5330152434U4330102030U5330102230U2130142436U91201020isPalListKind1010U2230122030__221126isNeList1010U4130112234U461016n__u00n__e00U55201021U12201422U25201022U5130152435o04U4430142433U561010U2430102030isList1412U921010U4330142434U4430102030U25201423U45201020U4130142437u00U2330142032U2130102030isList1010n__o04U2330142434i00U11201422U12201426n__a00a00n____221126n__nil00U5230152434U2230142434U5430142030U55201423tt00isListVU11isPalListKindactivateVactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVisNeListactivateVU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U44ttV1V2U45isListactivateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2U91ttV2U92isPalListKindactivateV2U92ttttU22ttV1V2U23isPalListKindactivateV2activateV1activateV2false1U23ttV1V2U24isPalListKindactivateV2activateV1activateV2falseisListVU11isPalListKindactivateVactivateVfalse1U11ttVU12isPalListKindactivateVactivateVfalse1U12ttVisNeListactivateVfalseU41ttV1V2U42isPalListKindactivateV1activateV1activateV2falseU44ttV1V2U45isListactivateV1activateV2falseU52ttV1V2U53isPalListKindactivateV2activateV1activateV2false1U53ttV1V2U54isPalListKindactivateV2activateV1activateV2falseU12ttVU13isNeListactivateVfalseU45ttV2U46isNeListactivateV2falseU55ttV2activateV2false89909192939496U54ttV1V2activateV1false88899091929395U54ttV1V2activateV2false87888990919294U53ttV1V2isPalListKindactivateV2false828485U53ttV1V2activateV2false85868788899092U53ttV1V2activateV1false84858687888991U52ttV1V2isPalListKindactivateV2false798182U52ttV1V2activateV2false82838485868789U52ttV1V2activateV1false81828384858688U51ttV1V2isPalListKindactivateV1false767879U51ttV1V2activateV1false79808182838486U51ttV1V2activateV2false78798081828385U45ttV2activateV2false77787980818284U25ttV2U26isListactivateV2falseU25ttV2activateV2false75767778798082U24ttV1V2activateV1false74757677787981U24ttV1V2activateV2false73747576777880U23ttV1V2isPalListKindactivateV2false687071U23ttV1V2activateV2false71727374757678U23ttV1V2activateV1false70717273747577U22ttV1V2isPalListKindactivateV2false656768U22ttV1V2activateV2false68697071727375U22ttV1V2activateV1false67686970717274U21ttV1V2isPalListKindactivateV1false626465U21ttV1V2activateV1false65666768697072U21ttV1V2activateV2false64656667686971isListn____V1V2isPalListKindactivateV1false596162isListn____V1V2activateV1false62636465666769isListn____V1V2activateV2false61626364656668U44ttV1V2activateV1false60616263646567U44ttV1V2activateV2false59606162636466U43ttV1V2isPalListKindactivateV2false545657U43ttV1V2activateV2false57585960616264U43ttV1V2activateV1false56575859606163U42ttV1V2isPalListKindactivateV2false515354U42ttV1V2activateV2false54555657585961U42ttV1V2activateV1false53545556575860U41ttV1V2isPalListKindactivateV1false485051U41ttV1V2activateV1false51525354555658U41ttV1V2activateV2false50515253545557isNeListn____V1V2isPalListKindactivateV1false454748isNeListn____V1V2activateV1false48495051525355isNeListn____V1V2activateV2false47484950515254isNeListVU31isPalListKindactivateVactivateVfalse156U31ttVU32isPalListKindactivateVactivateVfalse123U32ttVU33isQidactivateVfalseU32ttVisQidactivateVfalseU32ttVactivateVfalse42434445464749U31ttVisPalListKindactivateVfalse373940U31ttVactivateVfalse40414243444547isNeListVisPalListKindactivateVfalse353738isNeListVactivateVfalse38394041424345U12ttVactivateVfalse37383940414244U11ttVisPalListKindactivateVfalse323435U11ttVactivateVfalse35363738394042isListVisPalListKindactivateVfalse303233isListVactivateVfalse33343536373840U55ttV2U56isListactivateV2falseisNePaln____I__PIU71isQidactivateIactivateIactivatePU71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePisPalVU81isPalListKindactivateVactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVisNePalactivateVtrue15678916171819202122232425261isQid110n__i00activate101e00nil00U9120102isPalListKind101isPal111U7220112__211020n__u01n__e00o07U8120112U92101u01isNePal101n__o07i00n__a00a00n____211020U7130102130U8221120n__nil00tt00isNePaln____I__PIU71isQidactivateIactivateIactivatePU71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePisPalVU81isPalListKindactivateVactivateVU81ttVU82isPalListKindactivateVactivateVactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2U91ttV2U92isPalListKindactivateV2U92ttttisNePaln____I__PIU71isQidactivateIactivateIactivatePfalse1U71ttIPU72isPalListKindactivateIactivatePfalse1U72ttPisPalactivatePfalse1isPalVU81isPalListKindactivateVactivateVfalse1U81ttVU82isPalListKindactivateVactivateVfalseU72ttPU73isPalactivatePactivatePfalse123U73ttPU74isPalListKindactivatePfalseU73ttPisPalListKindactivatePfalse242627U73ttPactivatePfalse27282930313234U82ttVU83isNePalactivateVfalseisNePaln____I__PIisQidactivateIfalseisNePaln____I__PIactivateIfalse24252627282931isNePaln____I__PIactivatePfalse23242526272830isNePalVU61isPalListKindactivateVactivateVfalse156U61ttVU62isPalListKindactivateVactivateVfalse123U62ttVU63isQidactivateVfalseU62ttVisQidactivateVfalseU62ttVactivateVfalse18192021222325U61ttVisPalListKindactivateVfalse131516U61ttVactivateVfalse16171819202123isNePalVisPalListKindactivateVfalse111314isNePalVactivateVfalse14151617181921U82ttVactivateVfalse13141516171820U81ttVisPalListKindactivateVfalse81011U81ttVactivateVfalse11121314151618isPalVisPalListKindactivateVfalse689isPalVactivateVfalse9101112131416U72ttPactivatePfalse891011121315U71ttIPisPalListKindactivateIfalse356U71ttIPactivateIfalse6789101113U71ttIPactivatePfalse567891012U91ttV2isPalListKindactivateV2isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2U91isPalListKindactivateV1activateV2true123121641n__i00activate1110e00nil032U912111272U91201020isPalListKind10112__2111212n__u00n__e00o00U921010u00n__o00i00isPalListKind11172n__a00a00n____2111212n__nil032tt00U91ttV2isPalListKindactivateV2isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2U91ttV2U92isPalListKindactivateV2U92tttt1n__i04activate1110e00nil02U91201224U91201020isPalListKind1010__241122n__u02n__e00o00U921011u02n__o00i04isPalListKind1210n__a00a00n____241122n__nil02tt00isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisPalListKindn____V1V2U91isPalListKindactivateV1activateV2falseU91ttV2activateV2false34567810isPalListKindn____V1V2activateV1false2345679isPalListKindn____V1V2activateV2false1234568activaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__X1X2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalseU91ttV2U92isPalListKindactivateV2falsettt2ttt2 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))![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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))