/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__nilXXU11ttVU12isPalListKindactivateVactivateVU12ttVU13isNeListactivateVU13ttttU21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2U25isListactivateV1activateV2U25ttV2U26isListactivateV2U26ttttU31ttVU32isPalListKindactivateVactivateVU32ttVU33isQidactivateVU33ttttU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2U46isNeListactivateV2U46ttttU51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2U55isNeListactivateV1activateV2U55ttV2U56isListactivateV2U56ttttU61ttVU62isPalListKindactivateVactivateVU62ttVU63isQidactivateVU63ttttU71ttIPU72isPalListKindactivateIactivatePU72ttPU73isPalactivatePactivatePU73ttPU74isPalListKindactivatePU74ttttU81ttVU82isPalListKindactivateVactivateVU82ttVU83isNePalactivateVU83ttttU91ttV2U92isPalListKindactivateV2U92ttttisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21isPalListKindactivateV1activateV1activateV2isNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIU71isQidactivateIactivateIactivatePisPalVU81isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1____XYZ__YZ____XYZ__X__YZU11ttVactivateVU11ttVisPalListKindactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVactivateVU12ttVisNeListactivateVU12ttVU13isNeListactivateVU21ttV1V2activateV2U21ttV1V2activateV1U21ttV1V2isPalListKindactivateV1U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2activateV1U22ttV1V2activateV2U22ttV1V2isPalListKindactivateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2activateV1U23ttV1V2activateV2U23ttV1V2isPalListKindactivateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2activateV2U24ttV1V2activateV1U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2activateV2U25ttV2isListactivateV2U25ttV2U26isListactivateV2U31ttVactivateVU31ttVisPalListKindactivateVU31ttVU32isPalListKindactivateVactivateVU32ttVactivateVU32ttVisQidactivateVU32ttVU33isQidactivateVU41ttV1V2activateV2U41ttV1V2activateV1U41ttV1V2isPalListKindactivateV1U41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2activateV1U42ttV1V2activateV2U42ttV1V2isPalListKindactivateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2activateV1U43ttV1V2activateV2U43ttV1V2isPalListKindactivateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2activateV2U44ttV1V2activateV1U44ttV1V2isListactivateV1U44ttV1V2U45isListactivateV1activateV2U45ttV2activateV2U45ttV2isNeListactivateV2U45ttV2U46isNeListactivateV2U51ttV1V2activateV2U51ttV1V2activateV1U51ttV1V2isPalListKindactivateV1U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2activateV1U52ttV1V2activateV2U52ttV1V2isPalListKindactivateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2activateV1U53ttV1V2activateV2U53ttV1V2isPalListKindactivateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2activateV2U54ttV1V2activateV1U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2U55ttV2activateV2U55ttV2isListactivateV2U55ttV2U56isListactivateV2U61ttVactivateVU61ttVisPalListKindactivateVU61ttVU62isPalListKindactivateVactivateVU62ttVactivateVU62ttVisQidactivateVU62ttVU63isQidactivateVU71ttIPactivatePU71ttIPactivateIU71ttIPisPalListKindactivateIU71ttIPU72isPalListKindactivateIactivatePU72ttPactivatePU72ttPisPalactivatePU72ttPU73isPalactivatePactivatePU73ttPactivatePU73ttPisPalListKindactivatePU73ttPU74isPalListKindactivatePU81ttVactivateVU81ttVisPalListKindactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVactivateVU82ttVisNePalactivateVU82ttVU83isNePalactivateVU91ttV2activateV2U91ttV2isPalListKindactivateV2U91ttV2U92isPalListKindactivateV2isListVactivateVisListVisPalListKindactivateVisListVU11isPalListKindactivateVactivateVisListn____V1V2activateV2isListn____V1V2activateV1isListn____V1V2isPalListKindactivateV1isListn____V1V2U21isPalListKindactivateV1activateV1activateV2isNeListVactivateVisNeListVisPalListKindactivateVisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2activateV2isNeListn____V1V2activateV1isNeListn____V1V2isPalListKindactivateV1isNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2isNePalVactivateVisNePalVisPalListKindactivateVisNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIactivatePisNePaln____In____PIactivateIisNePaln____In____PIisQidactivateIisNePaln____In____PIU71isQidactivateIactivateIactivatePisPalVactivateVisPalVisPalListKindactivateVisPalVU81isPalListKindactivateVactivateVisPalListKindn____V1V2activateV2isPalListKindn____V1V2activateV1isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2activateX2activaten____X1X2activateX1activaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uutrueU55ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVisNeListactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2U41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2isListactivateV1isListn____V1V2U21isPalListKindactivateV1activateV1activateV2U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2isListactivateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2isNeListactivateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2true1234567891011121314151617181920212223242526272829303132333435363738394041424344454653545556575859601641U55201220U5430122230U5330122230U5230122230U513015222332U452012212U44301222312U43301222312U42301222312U413015222312U25201220isList1210U24301522230U23301522230U22301522230U21301522230isNeList1210U12201220U11201220u00o01i00e00a00n__u00n__o01n__i00n__e00n__a00n____221122n__nil01U9213172U912121020U5610112U55201020U5430102333U5332102330U52311522030U51332102030U461010U452013221U443321022372U4331112230U42331020332U41301122352U3310152isQid1010U32201020U31201022U261010U25201020isList1010U2430102030U2330102030U2230102030U2130102030U131010isNeList1010U12201020isPalListKind1210activate1110U11201020tt00nil01__221122U55ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVU12isPalListKindactivateVactivateVU12ttVisNeListactivateVU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2isListactivateV2U44ttV1V2U45isListactivateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2activaten__nilnilactivaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21isPalListKindactivateV1activateV1activateV2U11ttVU12isPalListKindactivateVactivateVU12ttVU13isNeListactivateVU13ttttU21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2U25isListactivateV1activateV2U25ttV2U26isListactivateV2U26ttttU21ttV1V2U22isPalListKindactivateV1activateV1activateV2false1U22ttV1V2U23isPalListKindactivateV2activateV1activateV2false1U23ttV1V2U24isPalListKindactivateV2activateV1activateV2false12U24ttV1V2isListactivateV1false12U24ttV1V2U25isListactivateV1activateV2false1U25ttV2isListactivateV2false10U41ttV1V2U42isPalListKindactivateV1activateV1activateV2false1U42ttV1V2U43isPalListKindactivateV2activateV1activateV2false1U43ttV1V2U44isPalListKindactivateV2activateV1activateV2false1U44ttV1V2U45isListactivateV1activateV2falseU52ttV1V2U53isPalListKindactivateV2activateV1activateV2false1U53ttV1V2U54isPalListKindactivateV2activateV1activateV2false12U54ttV1V2isNeListactivateV1falseU54ttV1V2U55isNeListactivateV1activateV2false1U55ttV2isListactivateV2false1isListVU11isPalListKindactivateVactivateVfalse1U11ttVU12isPalListKindactivateVactivateVfalse1U12ttVisNeListactivateVfalseU12ttVU13isNeListactivateVfalseU45ttV2U46isNeListactivateV2falseU55ttV2activateV2false8990919293949597U54ttV1V2activateV1false8889909192939496U54ttV1V2activateV2false8788899091929395U53ttV1V2isPalListKindactivateV2false828485U53ttV1V2activateV2false8586878889909193U53ttV1V2activateV1false8485868788899092U52ttV1V2isPalListKindactivateV2false798182U52ttV1V2activateV2false8283848586878890U52ttV1V2activateV1false8182838485868789U51ttV1V2isPalListKindactivateV1false767879U51ttV1V2activateV1false7980818283848587U51ttV1V2activateV2false7879808182838486U45ttV2activateV2false7778798081828385U25ttV2U26isListactivateV2falseU25ttV2activateV2false7576777879808183U24ttV1V2activateV1false7475767778798082U24ttV1V2activateV2false7374757677787981U23ttV1V2isPalListKindactivateV2false687071U23ttV1V2activateV2false7172737475767779U23ttV1V2activateV1false7071727374757678U22ttV1V2isPalListKindactivateV2false656768U22ttV1V2activateV2false6869707172737476U22ttV1V2activateV1false6768697071727375U21ttV1V2isPalListKindactivateV1false626465U21ttV1V2activateV1false6566676869707173U21ttV1V2activateV2false6465666768697072isListn____V1V2isPalListKindactivateV1false596162isListn____V1V2activateV1false6263646566676870isListn____V1V2activateV2false6162636465666769U44ttV1V2activateV1false6061626364656668U44ttV1V2activateV2false5960616263646567U43ttV1V2isPalListKindactivateV2false545657U43ttV1V2activateV2false5758596061626365U43ttV1V2activateV1false5657585960616264U42ttV1V2isPalListKindactivateV2false515354U42ttV1V2activateV2false5455565758596062U42ttV1V2activateV1false5354555657585961U41ttV1V2isPalListKindactivateV1false485051U41ttV1V2activateV1false5152535455565759U41ttV1V2activateV2false5051525354555658isNeListn____V1V2isPalListKindactivateV1false454748isNeListn____V1V2activateV1false4849505152535456isNeListn____V1V2activateV2false4748495051525355isNeListVU31isPalListKindactivateVactivateVfalse156U31ttVU32isPalListKindactivateVactivateVfalse123U32ttVU33isQidactivateVfalseU32ttVisQidactivateVfalseU32ttVactivateVfalse4243444546474850U31ttVisPalListKindactivateVfalse373940U31ttVactivateVfalse4041424344454648isNeListVisPalListKindactivateVfalse353738isNeListVactivateVfalse3839404142434446U12ttVactivateVfalse3738394041424345U11ttVisPalListKindactivateVfalse323435U11ttVactivateVfalse3536373839404143isListVisPalListKindactivateVfalse303233isListVactivateVfalse3334353637383941U55ttV2U56isListactivateV2falseisNePaln____In____PIU71isQidactivateIactivateIactivatePU71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePisPalVU81isPalListKindactivateVactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVisNePalactivateVtrue15678916171819202122232425261isNePal101U822102U812102isPal111U722112U71310213u02o00i04e00a00n__u02n__o00n__i04n__e00n__a00n____211020n__nil00U921310U912102isQid1015isPalListKind1010activate101tt02nil00__211020isNePaln____In____PIU71isQidactivateIactivateIactivatePU71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePU81ttVU82isPalListKindactivateVactivateVU82ttVisNePalactivateVactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uU81ttVU82isPalListKindactivateVactivateVfalse1U82ttVisNePalactivateVfalse1isNePaln____In____PIU71isQidactivateIactivateIactivatePfalse1U71ttIPU72isPalListKindactivateIactivatePfalse1U72ttPisPalactivatePfalseU72ttPU73isPalactivatePactivatePfalse123U73ttPU74isPalListKindactivatePfalseU73ttPisPalListKindactivatePfalse242627U73ttPactivatePfalse2728293031323335U82ttVU83isNePalactivateVfalseisNePaln____In____PIisQidactivateIfalseisNePaln____In____PIactivateIfalse2425262728293032isNePaln____In____PIactivatePfalse2324252627282931isNePalVU61isPalListKindactivateVactivateVfalse156U61ttVU62isPalListKindactivateVactivateVfalse123U62ttVU63isQidactivateVfalseU62ttVisQidactivateVfalseU62ttVactivateVfalse1819202122232426U61ttVisPalListKindactivateVfalse131516U61ttVactivateVfalse1617181920212224isNePalVisPalListKindactivateVfalse111314isNePalVactivateVfalse1415161718192022U82ttVactivateVfalse1314151617181921U81ttVisPalListKindactivateVfalse81011U81ttVactivateVfalse1112131415161719isPalVisPalListKindactivateVfalse689isPalVactivateVfalse910111213141517U72ttPactivatePfalse89101112131416U71ttIPisPalListKindactivateIfalse356U71ttIPactivateIfalse678910111214U71ttIPactivatePfalse56789101113U91ttV2isPalListKindactivateV2isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2U91isPalListKindactivateV1activateV2true123131U912102isPalListKind101u00o00i00e00a00n__u00n__o00n__i00n__e00n__a00n____21102n__nil01U92110U9121-821isPalListKind1014activate101tt00nil01__21102U91ttV2isPalListKindactivateV2isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__u311U91210010000010000001002000000000isPalListKind10000001001000000000u0010000000o0110000000i0010000000e0010000000a0010000000n__u0010000000n__o0110000000n__i0010000000n__e0010000000n__a0010000000n____210001100111000100012111000000n__nil0010000000U9210000000001110000000U91200000000010000000002110000000isPalListKind10010100001101000000activate11000101011100000000tt0110000000nil0010000000__210001100111000100012111000000isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__activateX1activateX2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2U91ttV2U92isPalListKindactivateV2U92ttttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2falseU91ttV2activateV2false345678911isPalListKindn____V1V2activateV1false234567810isPalListKindn____V1V2activateV2false12345679activaten____X1X2activateX2activaten____X1X2activateX1true1234568activaten____X1X2activateX21true1activaten____X1X2activateX11true1activaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__activateX1activateX2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalseU91ttV2U92isPalListKindactivateV2falsettt2ttt2 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])))