/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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____V1V2U51isPalListKindactivateV1activateV1activateV2U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2isNeListactivateV1U54ttV1V2U55isNeListactivateV1activateV2true1234567891011121314151617181920212223242526272829303132333435363738394041424344454653545556575859601641U552011222U5430112212352U5330112212352U5230112212352U5130112212352U452011222U443011221232U433011221232U423011221232U413011212352U252011222isList11212U243011221232U233011221232U223011221232U21301121232isNeList112132U122011222U112011222u01o00i01e00a00n__u01n__o00n__i01n__e00n__a00n____221122n__nil00U921012U912015223U561010U55201020U5430102030U5330102030U5230102030U5130102030U461010U45201020U4430102030U4330102030U4230102030U4130102030U331010isQid1011U32201020U31201020U261012U25201122isList1010U243015225230U2330132130U22301225232U2130102230U131012isNeList1010U12201320isPalListKind1010activate1110U11201222tt00nil00__221122U55ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVU12isPalListKindactivateVactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2isListactivateV1U21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2isListactivateV1U24ttV1V2U25isListactivateV1activateV2U25ttV2isListactivateV2U44ttV1V2U45isListactivateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2U51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2U31ttVU32isPalListKindactivateVactivateVU32ttVU33isQidactivateVU33ttttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2U46isNeListactivateV2U46ttttU51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2U55isNeListactivateV1activateV2U55ttV2U56isListactivateV2U56ttttisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2falseisNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2false11U21ttV1V2U22isPalListKindactivateV1activateV1activateV2false1U22ttV1V2U23isPalListKindactivateV2activateV1activateV2false1U23ttV1V2U24isPalListKindactivateV2activateV1activateV2false12U24ttV1V2isListactivateV1false11U24ttV1V2U25isListactivateV1activateV2false1U25ttV2isListactivateV2false9U42ttV1V2U43isPalListKindactivateV2activateV1activateV2false1U43ttV1V2U44isPalListKindactivateV2activateV1activateV2false12U44ttV1V2isListactivateV1false6U44ttV1V2U45isListactivateV1activateV2falseU51ttV1V2U52isPalListKindactivateV1activateV1activateV2false1U52ttV1V2U53isPalListKindactivateV2activateV1activateV2false1U53ttV1V2U54isPalListKindactivateV2activateV1activateV2falseU55ttV2isListactivateV2false1isListVU11isPalListKindactivateVactivateVfalse1U11ttVU12isPalListKindactivateVactivateVfalseU12ttVU13isNeListactivateVfalseU45ttV2U46isNeListactivateV2falseU55ttV2activateV2false89909192939496U54ttV1V2activateV1false88899091929395U54ttV1V2activateV2false87888990919294U53ttV1V2isPalListKindactivateV2false828485U53ttV1V2activateV2false85868788899092U53ttV1V2activateV1false84858687888991U52ttV1V2isPalListKindactivateV2false798182U52ttV1V2activateV2false82838485868789U52ttV1V2activateV1false81828384858688U51ttV1V2isPalListKindactivateV1false767879U51ttV1V2activateV1false79808182838486U51ttV1V2activateV2false78798081828385U45ttV2activateV2false77787980818284U25ttV2U26isListactivateV2falseU25ttV2activateV2false75767778798082U24ttV1V2activateV1false74757677787981U24ttV1V2activateV2false73747576777880U23ttV1V2isPalListKindactivateV2false687071U23ttV1V2activateV2false71727374757678U23ttV1V2activateV1false70717273747577U22ttV1V2isPalListKindactivateV2false656768U22ttV1V2activateV2false68697071727375U22ttV1V2activateV1false67686970717274U21ttV1V2isPalListKindactivateV1false626465U21ttV1V2activateV1false65666768697072U21ttV1V2activateV2false64656667686971isListn____V1V2isPalListKindactivateV1false596162isListn____V1V2activateV1false62636465666769isListn____V1V2activateV2false61626364656668U44ttV1V2activateV1false60616263646567U44ttV1V2activateV2false59606162636466U43ttV1V2isPalListKindactivateV2false545657U43ttV1V2activateV2false57585960616264U43ttV1V2activateV1false56575859606163U42ttV1V2isPalListKindactivateV2false515354U42ttV1V2activateV2false54555657585961U42ttV1V2activateV1false53545556575860U41ttV1V2isPalListKindactivateV1false485051U41ttV1V2activateV1false51525354555658U41ttV1V2activateV2false50515253545557isNeListn____V1V2isPalListKindactivateV1false454748isNeListn____V1V2activateV1false48495051525355isNeListn____V1V2activateV2false47484950515254isNeListVU31isPalListKindactivateVactivateVfalse156U31ttVU32isPalListKindactivateVactivateVfalse123U32ttVU33isQidactivateVfalseU32ttVisQidactivateVfalseU32ttVactivateVfalse42434445464749U31ttVisPalListKindactivateVfalse373940U31ttVactivateVfalse40414243444547isNeListVisPalListKindactivateVfalse353738isNeListVactivateVfalse38394041424345U12ttVactivateVfalse37383940414244U11ttVisPalListKindactivateVfalse323435U11ttVactivateVfalse35363738394042isListVisPalListKindactivateVfalse303233isListVactivateVfalse33343536373840U55ttV2U56isListactivateV2falseisNePaln____I__PIU71isQidactivateIactivateIactivatePU71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePisPalVU81isPalListKindactivateVactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVisNePalactivateVtrue15678916171819202122232425261isNePal101U822102U8121020isPal1010U7221020U71312030u02o01i00e00a01n__u02n__o01n__i00n__e00n__a01n____211021n__nil00U921011U912-31-820isQid1010isPalListKind1011activate101tt00nil00__211021U71ttIPU72isPalListKindactivateIactivatePU72ttPisPalactivatePisPalVU81isPalListKindactivateVactivateVU81ttVU82isPalListKindactivateVactivateVU82ttVisNePalactivateVactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__uU71ttIPU72isPalListKindactivateIactivatePfalse1U72ttPisPalactivatePfalse1isPalVU81isPalListKindactivateVactivateVfalse1U81ttVU82isPalListKindactivateVactivateVfalse1U82ttVisNePalactivateVfalseU72ttPU73isPalactivatePactivatePfalse123U73ttPU74isPalListKindactivatePfalseU73ttPisPalListKindactivatePfalse242627U73ttPactivatePfalse27282930313234U82ttVU83isNePalactivateVfalseisNePaln____I__PIisQidactivateIfalseisNePaln____I__PIactivateIfalse24252627282931isNePaln____I__PIactivatePfalse23242526272830isNePalVU61isPalListKindactivateVactivateVfalse156U61ttVU62isPalListKindactivateVactivateVfalse123U62ttVU63isQidactivateVfalseU62ttVisQidactivateVfalseU62ttVactivateVfalse18192021222325U61ttVisPalListKindactivateVfalse131516U61ttVactivateVfalse16171819202123isNePalVisPalListKindactivateVfalse111314isNePalVactivateVfalse14151617181921U82ttVactivateVfalse13141516171820U81ttVisPalListKindactivateVfalse81011U81ttVactivateVfalse11121314151618isPalVisPalListKindactivateVfalse689isPalVactivateVfalse9101112131416U72ttPactivatePfalse891011121315U71ttIPisPalListKindactivateIfalse356U71ttIPactivateIfalse6789101113U71ttIPactivatePfalse567891012U91ttV2isPalListKindactivateV2isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2U91isPalListKindactivateV1activateV2true123121U9121120isPalListKind1110u02o00i04e05a01n__u02n__o00n__i04n__e05n__a01n____211020n__nil00U921610U9121120isPalListKind1110activate101-1tt00nil00__211020U91ttV2isPalListKindactivateV2isPalListKindn____V1V2U91isPalListKindactivateV1activateV2activaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2an__aen__ein__ion__oun__u1U91241421isPalListKind1415u00o00i00e00a00n__u00n__o00n__i00n__e00n__a00n____241126n__nil04U921011U91211020isPalListKind1016activate1110tt01nil04__241126U91ttV2isPalListKindactivateV2activaten__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____V1V2U91isPalListKindactivateV1activateV2U91ttV2U92isPalListKindactivateV2U92ttttU91ttV2isPalListKindactivateV2falseU91ttV2activateV2false34567810isPalListKindn____V1V2activateV1false2345679isPalListKindn____V1V2activateV2false1234568activaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__X1X2false1____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])))