/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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__isPalListKindactivateV2activateV1activateV2U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2true1234567891011121314151617181920212526272829301641U52201220U51311222312U4221212212U4130122231U22211220isList1210U2130122231isNeList1210U11201220u00o02i00e00a01n__u00n__o02n__i00n__e00n__a01n__and201120n__isPalListKind10112n____2211212n__nil00isPalListKind10112and201120U5313210U52201021U5130102231U431010U42231023U4130102030U321313isQid10172U31201020U231010U2221210212isList1011U2130102031U121010isNeList1010activate1110U11221020tt00nil00__2211212U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2activaten__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__uisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U11ttVU12isNeListactivateVU12ttttU21ttV1V2U22isListactivateV1activateV2U22ttV2U23isListactivateV2U23ttttU52ttV2isListactivateV2false12isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2true11U22221122isList1110U2130112134u00o00i00e00a00n__u00n__o00n__i00n__e00n__a00n__and221126n__isPalListKind1211n____221124n__nil00isPalListKind1211and221126U531012U52201020U5132142032U431010U42201226U4130102032U321415isQid1012U31231221U231010U22201020isList1011U2130102030U121010isNeList1010activate1110U11201020tt00nil00__221124isListn____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__uisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U11ttVU12isNeListactivateVU12ttttU21ttV1V2U22isListactivateV1activateV2U22ttV2U23isListactivateV2U23ttttisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2false1U21ttV1V2U22isListactivateV1activateV2falseisListVU11isPalListKindactivateVactivateVfalse1U11ttVisNeListactivateVfalse12isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2falseisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2false1U41ttV1V2U42isListactivateV1activateV2falseU11ttVU12isNeListactivateVfalseU42ttV2U43isNeListactivateV2falseU52ttV2activateV2false4445464748495052U51ttV1V2activateV1false4344454647484951U51ttV1V2activateV2false4243444546474850U42ttV2activateV2false4142434445464749U22ttV2U23isListactivateV2falseU22ttV2activateV2false3940414243444547U21ttV1V2activateV1false3839404142434446U21ttV1V2activateV2false3738394041424345isListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false36isListn____V1V2isPalListKindactivateV1false35isListn____V1V2activateV1false3435363738394042isListn____V1V2activateV2false3334353637383941U41ttV1V2activateV1false3233343536373840U41ttV1V2activateV2false3132333435363739isNeListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false30isNeListn____V1V2isPalListKindactivateV1false29isNeListn____V1V2activateV1false2829303132333436isNeListn____V1V2activateV2false2728293031323335isNeListVU31isPalListKindactivateVactivateVfalse123U31ttVU32isQidactivateVfalseU31ttVisQidactivateVfalseU31ttVactivateVfalse2324252627282931isNeListVisPalListKindactivateVfalse22isNeListVactivateVfalse2122232425262729U11ttVactivateVfalse2021222324252628isListVisPalListKindactivateVfalse19isListVactivateVfalse1819202122232426U52ttV2U53isListactivateV2falseisPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVisNePaln____I__PIisPalactivatePtrue12345678121314151isPal121isNePal1010U7120102u00o00i00e01a01n__u00n__o00n__i00n__e01n__a01n__and2102n__isPalListKind111n____23102n__nil04isPalListKind111and2102activate101tt00nil04__23102U71ttVisNePalactivateVactivaten__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__uU71ttVisNePalactivateVfalseU71ttVU72isNePalactivateVfalseisNePaln____I__PIandandisQidactivateIn__isPalListKindactivateIn__andisPalactivatePn__isPalListKindactivatePfalse14isNePaln____I__PIandisQidactivateIn__isPalListKindactivateIfalse13isNePaln____I__PIisQidactivateIfalseisNePaln____I__PIactivateIfalse1112131415161719isPalVactivateVfalse1011121314151618isNePaln____I__PIactivatePfalse910111213141517isNePalVU61isPalListKindactivateVactivateVfalse123U61ttVU62isQidactivateVfalseU61ttVisQidactivateVfalseU61ttVactivateVfalse56789101113isNePalVisPalListKindactivateVfalse4isNePalVactivateVfalse345678911U71ttVactivateVfalse234567810isPalVisPalListKindactivateVfalse1isPalListKindn____V1V2activateV2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV1activaten__andX1X2andX1X2andttXactivateXisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2true12345681isPalListKind101and20102activate101u00o00i00e04a03n__u00n__o00n__i00n__e04n__a03n__and201020n__isPalListKind1010n____221020n__nil04isPalListKind1010and201020activate1010tt00nil04__221020isPalListKindn____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__u1isPalListKind1115and2-11020activate1010u04o00i04e06a06n__u04n__o00n__i02n__e06n__a06n__and201020n__isPalListKind1115n____20102-1n__nil00isPalListKind1115and201020activate1014tt05nil00__201020activaten__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__u1isPalListKind111and21020activate1010u00o00i00e00a04n__u02n__o01n__i02n__e02n__a02n__and2-41221n__isPalListKind111n____201-822n__nil00isPalListKind1010and211023activate111tt02nil02__2-41024activaten__isPalListKindXisPalListKindXandttXactivateXisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV21isPalListKind121-16and2-6112activate111-4u03o02i04e04a06n__u03n__o02n__i04n__e04n__a06n__and2-3102-1n__isPalListKind111n____21102-2n__nil02isPalListKind111and2-3102-1activate101-3tt02nil02__21102-2activaten__isPalListKindXisPalListKindXandttXactivateXisPalListKindn____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__u1isPalListKind1212and201120activate1110u06o03i04e05a06n__u06n__o00n__i01n__e02n__a06n__and201123n__isPalListKind1212n____221124n__nil00isPalListKind1214and201124activate1113tt04nil02__221124activaten__isPalListKindXisPalListKindXandttXactivateXactivaten__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__uandttXactivateXfalse1activaten__isPalListKindXisPalListKindXfalseactivaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__X1X2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalsettt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))