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