/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ____XYZ__X__YZ__XnilX__nilXXU11ttVU12isNeListactivateVU12ttttU21ttV1V2U22isListactivateV1activateV2U22ttV2U23isListactivateV2U23ttttU31ttVU32isQidactivateVU32ttttU41ttV1V2U42isListactivateV1activateV2U42ttV2U43isNeListactivateV2U43ttttU51ttV1V2U52isNeListactivateV1activateV2U52ttV2U53isListactivateV2U53ttttU61ttVU62isQidactivateVU62ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____I__PIandandisQidactivateIn__isPalListKindactivateIn__andisPalactivatePn__isPalListKindactivatePisPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isPalListKindXn__isPalListKindXandX1X2n__andX1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1____XYZ__YZ____XYZ__X__YZU11ttVactivateVU11ttVisNeListactivateVU11ttVU12isNeListactivateVU21ttV1V2activateV2U21ttV1V2activateV1U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2activateV2U22ttV2isListactivateV2U22ttV2U23isListactivateV2U31ttVactivateVU31ttVisQidactivateVU31ttVU32isQidactivateVU41ttV1V2activateV2U41ttV1V2activateV1U41ttV1V2isListactivateV1U41ttV1V2U42isListactivateV1activateV2U42ttV2activateV2U42ttV2isNeListactivateV2U42ttV2U43isNeListactivateV2U51ttV1V2activateV2U51ttV1V2activateV1U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2U52ttV2activateV2U52ttV2isListactivateV2U52ttV2U53isListactivateV2U61ttVactivateVU61ttVisQidactivateVU61ttVU62isQidactivateVU71ttVactivateVU71ttVisNePalactivateVU71ttVU72isNePalactivateVandttXactivateXisListVactivateVisListVisPalListKindactivateVisListVU11isPalListKindactivateVactivateVisListn____V1V2activateV2isListn____V1V2activateV1isListn____V1V2isPalListKindactivateV1isListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListVactivateVisNeListVisPalListKindactivateVisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2activateV2isNeListn____V1V2activateV1isNeListn____V1V2isPalListKindactivateV1isNeListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNePalVactivateVisNePalVisPalListKindactivateVisNePalVU61isPalListKindactivateVactivateVisNePaln____I__PIactivatePisNePaln____I__PIisPalactivatePisNePaln____I__PIactivateIisNePaln____I__PIisQidactivateIisNePaln____I__PIandisQidactivateIn__isPalListKindactivateIisNePaln____I__PIandandisQidactivateIn__isPalListKindactivateIn__andisPalactivatePn__isPalListKindactivatePisPalVactivateVisPalVisPalListKindactivateVisPalVU71isPalListKindactivateVactivateVisPalListKindn____V1V2activateV2isPalListKindn____V1V2activateV1isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uutrueU52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U41ttV1V2isListactivateV1isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2true1234567891011121314151617181920212526272829301U52201420activate101U42221028isList1010U41314243nil00U11221420U431210n__u01isPalListKind1012U531210n__a02U513142430n__nil00n__i00n____211020isNeList114n__e00U231510__211020i00U21321324312and2102U222142U4130132530n__and2102isQid1110isNeList141U5130152430U3121420U2224120U321010o01U422142U121010e00U5221420isList141U2130142432a02u01n__o01n__isPalListKind1012U112142tt00U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U41ttV1V2isListactivateV1isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__u1U52201020activate1110U42201022isList1010U4130142231nil02U11221224U431010n__u00isPalListKind1012U531011n__a00U5130112034n__nil02n__i00n____221124isNeList1010n__e00U231012__221124i00U2131102030and201120U22201220U4135102036n__and201120isQid1010isNeList1210U5132102234U31201020U22201021U321010o00U42201221U121010e00U52201224isList1210U2134122230a00u00n__o00n__isPalListKind1012U11201220tt00isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__uU22ttV2isListactivateV2isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2true11U52221220activate1010U42251720isList1210nil03U1121021U431218n__u00isPalListKind101U53114n__a01U513142030n__nil03n__i00n____231023isNeList1410n__e00U23112__231023i00U21312030and201020U2221424U413102630n__and20102isQid111U3121020U22241620U321610o00U12110e00isList1410U213172435a01u00n__o00n__isPalListKind101tt00U22ttV2isListactivateV2isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2U22isListactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__u1641U52201223activate1110U42201222isList1010nil00U112017221U431213n__u00isPalListKind13210U531010n__a00U5130132030n__nil00n__i02n____211122isNeList132112n__e01U231010__211122i02U2130122032and211120U22201220U4130102032n__and211120isQid10112U31201021U22201021U321011o00U1213112e01isList1210U2130122230a00u00n__o00n__isPalListKind13210tt00U22ttV2isListactivateV2U21ttV1V2U22isListactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__uU21ttV1V2U22isListactivateV1activateV2false1U22ttV2isListactivateV2falseisListVU11isPalListKindactivateVactivateVfalse1U11ttVisNeListactivateVfalse1isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2false2U41ttV1V2U42isListactivateV1activateV2falseU51ttV1V2U52isNeListactivateV1activateV2falseU11ttVU12isNeListactivateVfalseU42ttV2U43isNeListactivateV2falseU52ttV2activateV2false4445464748495052U51ttV1V2activateV1false4344454647484951U51ttV1V2activateV2false4243444546474850U42ttV2activateV2false4142434445464749U22ttV2U23isListactivateV2falseU22ttV2activateV2false3940414243444547U21ttV1V2activateV1false3839404142434446U21ttV1V2activateV2false3738394041424345isListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false36isListn____V1V2isPalListKindactivateV1false35isListn____V1V2activateV1false3435363738394042isListn____V1V2activateV2false3334353637383941U41ttV1V2activateV1false3233343536373840U41ttV1V2activateV2false3132333435363739isNeListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false30isNeListn____V1V2isPalListKindactivateV1false29isNeListn____V1V2activateV1false2829303132333436isNeListn____V1V2activateV2false2728293031323335isNeListVU31isPalListKindactivateVactivateVfalse123U31ttVU32isQidactivateVfalseU31ttVisQidactivateVfalseU31ttVactivateVfalse2324252627282931isNeListVisPalListKindactivateVfalse22isNeListVactivateVfalse2122232425262729U11ttVactivateVfalse2021222324252628isListVisPalListKindactivateVfalse19isListVactivateVfalse1819202122232426U52ttV2U53isListactivateV2falseisPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVisNePaln____I__PIisPalactivatePtrue12345678121314151activate1010nil00n__u00isPalListKind110isNePal1610n__a00n__nil00n__i00n____211021n__e01__211021i00and201020U71201727n__and201020o00isPal1717e01a00u00n__o00n__isPalListKind110tt00isPalVU71isPalListKindactivateVactivateVisNePaln____I__PIisPalactivatePactivaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__uisNePaln____I__PIisPalactivatePfalse1isPalVU71isPalListKindactivateVactivateVfalseU71ttVU72isNePalactivateVfalseisNePaln____I__PIandandisQidactivateIn__isPalListKindactivateIn__andisPalactivatePn__isPalListKindactivatePfalse14isNePaln____I__PIandisQidactivateIn__isPalListKindactivateIfalse13isNePaln____I__PIisQidactivateIfalseisNePaln____I__PIactivateIfalse1112131415161719isPalVactivateVfalse1011121314151618isNePaln____I__PIactivatePfalse910111213141517isNePalVU61isPalListKindactivateVactivateVfalse123U61ttVU62isQidactivateVfalseU61ttVisQidactivateVfalseU61ttVactivateVfalse56789101113isNePalVisPalListKindactivateVfalse4isNePalVactivateVfalse345678911U71ttVactivateVfalse234567810isPalVisPalListKindactivateVfalse1isPalListKindn____V1V2activateV2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV1activaten__andX1X2andX1X2andttXactivateXisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2true12345681activate1010nil02n__u01isPalListKind1010n__a04n__nil02n__i02n____22102and201020activate101n__e00__22102i02and201020n__and201020o01e00a04u01isPalListKind1010n__o01n__isPalListKind1010tt00isPalListKindn____V1V2activateV2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2andttXactivateXisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__u1activate101nil02n__u00isPalListKind141n__a00n__nil02n__i00n____22102and20102activate101n__e01__22102i00and22102n__and22102o01e01a00u00isPalListKind141n__o01n__isPalListKind141tt00activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2andttXactivateXisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__u1activate110nil06n__u01isPalListKind1110n__a03n__nil05n__i00n____231020and21020activate101n__e02__201020i00and221020n__and201421o00e00a00u00isPalListKind110n__o00n__isPalListKind110tt02activaten__isPalListKindXisPalListKindXandttXactivateXisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV21641activate1112nil012n__u00isPalListKind1212n__a00n__nil00n__i00n____2111252and20112212activate11210n__e02__2111272i00and201123n__and201121o02e02a01u00isPalListKind1110n__o012n__isPalListKind1210tt00activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__nilnilactivaten____X1X2__X1X2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andX1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2an__aen__ein__ion__oun__uactivaten__isPalListKindXisPalListKindXfalse1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2falseactivaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__X1X2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalsettt2ttt2 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])))