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