a__U101ttNXSa__fsta__splitAtmarkNmarkXSa__U11ttNXSa__snda__splitAtmarkNmarkXSa__U21ttXmarkXa__U31ttNmarkNa__U41ttNconsmarkNnatsFromsNa__U51ttNXSa__heada__afterNthmarkNmarkXSa__U61ttYmarkYa__U71ttXSpairnilmarkXSa__U81ttNXXSa__U82a__splitAtmarkNmarkXSXa__U82pairYSZSXpairconsmarkXYSmarkZSa__U91ttXSmarkXSa__afterNthNXSa__U11a__anda__isNaturalNisLNatXSNXSa__andttXmarkXa__fstpairXYa__U21a__anda__isLNatXisLNatYXa__headconsNXSa__U31a__anda__isNaturalNisLNatXSNa__isLNatniltta__isLNatafterNthV1V2a__anda__isNaturalV1isLNatV2a__isLNatconsV1V2a__anda__isNaturalV1isLNatV2a__isLNatfstV1a__isPLNatV1a__isLNatnatsFromV1a__isNaturalV1a__isLNatsndV1a__isPLNatV1a__isLNattailV1a__isLNatV1a__isLNattakeV1V2a__anda__isNaturalV1isLNatV2a__isNatural0tta__isNaturalheadV1a__isLNatV1a__isNaturalsV1a__isNaturalV1a__isNaturalselV1V2a__anda__isNaturalV1isLNatV2a__isPLNatpairV1V2a__anda__isLNatV1isLNatV2a__isPLNatsplitAtV1V2a__anda__isNaturalV1isLNatV2a__natsFromNa__U41a__isNaturalNNa__selNXSa__U51a__anda__isNaturalNisLNatXSNXSa__sndpairXYa__U61a__anda__isLNatXisLNatYYa__splitAt0XSa__U71a__isLNatXSXSa__splitAtsNconsXXSa__U81a__anda__isNaturalNandisNaturalXisLNatXSNXXSa__tailconsNXSa__U91a__anda__isNaturalNisLNatXSXSa__takeNXSa__U101a__anda__isNaturalNisLNatXSNXSmarkU101X1X2X3a__U101markX1X2X3markfstXa__fstmarkXmarksplitAtX1X2a__splitAtmarkX1markX2markU11X1X2X3a__U11markX1X2X3marksndXa__sndmarkXmarkU21X1X2a__U21markX1X2markU31X1X2a__U31markX1X2markU41X1X2a__U41markX1X2marknatsFromXa__natsFrommarkXmarkU51X1X2X3a__U51markX1X2X3markheadXa__headmarkXmarkafterNthX1X2a__afterNthmarkX1markX2markU61X1X2a__U61markX1X2markU71X1X2a__U71markX1X2markU81X1X2X3X4a__U81markX1X2X3X4markU82X1X2a__U82markX1X2markU91X1X2a__U91markX1X2markandX1X2a__andmarkX1X2markisNaturalXa__isNaturalXmarkisLNatXa__isLNatXmarkisPLNatXa__isPLNatXmarktailXa__tailmarkXmarktakeX1X2a__takemarkX1markX2markselX1X2a__selmarkX1markX2markttttmarkconsX1X2consmarkX1X2marksXsmarkXmarkpairX1X2pairmarkX1markX2marknilnilmark00a__U101X1X2X3U101X1X2X3a__fstXfstXa__splitAtX1X2splitAtX1X2a__U11X1X2X3U11X1X2X3a__sndXsndXa__U21X1X2U21X1X2a__U31X1X2U31X1X2a__U41X1X2U41X1X2a__natsFromXnatsFromXa__U51X1X2X3U51X1X2X3a__headXheadXa__afterNthX1X2afterNthX1X2a__U61X1X2U61X1X2a__U71X1X2U71X1X2a__U81X1X2X3X4U81X1X2X3X4a__U82X1X2U82X1X2a__U91X1X2U91X1X2a__andX1X2andX1X2a__isNaturalXisNaturalXa__isLNatXisLNatXa__isPLNatXisPLNatXa__tailXtailXa__takeX1X2takeX1X2a__selX1X2selX1X22.1a__U101ttNXSa__fsta__splitAtmarkNmarkXSa__U11ttNXSa__snda__splitAtmarkNmarkXSa__U21ttXmarkXa__U31ttNmarkNa__U41ttNconsmarkNnatsFromsNa__U51ttNXSa__heada__afterNthmarkNmarkXSa__U61ttYmarkYa__U71ttXSpairnilmarkXSa__U81ttNXXSa__U82a__splitAtmarkNmarkXSXa__U82pairYSZSXpairconsmarkXYSmarkZSa__U91ttXSmarkXSa__afterNthNXSa__U11a__anda__isNaturalNisLNatXSNXSa__andttXmarkXa__fstpairXYa__U21a__anda__isLNatXisLNatYXa__headconsNXSa__U31a__anda__isNaturalNisLNatXSNa__isLNatniltta__isLNatafterNthV1V2a__anda__isNaturalV1isLNatV2a__isLNatconsV1V2a__anda__isNaturalV1isLNatV2a__isLNatfstV1a__isPLNatV1a__isLNatnatsFromV1a__isNaturalV1a__isLNatsndV1a__isPLNatV1a__isLNattailV1a__isLNatV1a__isLNattakeV1V2a__anda__isNaturalV1isLNatV2a__isNatural0tta__isNaturalheadV1a__isLNatV1a__isNaturalsV1a__isNaturalV1a__isNaturalselV1V2a__anda__isNaturalV1isLNatV2a__isPLNatpairV1V2a__anda__isLNatV1isLNatV2a__isPLNatsplitAtV1V2a__anda__isNaturalV1isLNatV2a__natsFromNa__U41a__isNaturalNNa__selNXSa__U51a__anda__isNaturalNisLNatXSNXSa__sndpairXYa__U61a__anda__isLNatXisLNatYYa__splitAt0XSa__U71a__isLNatXSXSa__splitAtsNconsXXSa__U81a__anda__isNaturalNandisNaturalXisLNatXSNXXSa__tailconsNXSa__U91a__anda__isNaturalNisLNatXSXSa__takeNXSa__U101a__anda__isNaturalNisLNatXSNXSmarkU101X1X2X3a__U101markX1X2X3markfstXa__fstmarkXmarksplitAtX1X2a__splitAtmarkX1markX2markU11X1X2X3a__U11markX1X2X3marksndXa__sndmarkXmarkU21X1X2a__U21markX1X2markU31X1X2a__U31markX1X2markU41X1X2a__U41markX1X2marknatsFromXa__natsFrommarkXmarkU51X1X2X3a__U51markX1X2X3markheadXa__headmarkXmarkafterNthX1X2a__afterNthmarkX1markX2markU61X1X2a__U61markX1X2markU71X1X2a__U71markX1X2markU81X1X2X3X4a__U81markX1X2X3X4markU82X1X2a__U82markX1X2markU91X1X2a__U91markX1X2markandX1X2a__andmarkX1X2markisNaturalXa__isNaturalXmarkisLNatXa__isLNatXmarkisPLNatXa__isPLNatXmarktailXa__tailmarkXmarktakeX1X2a__takemarkX1markX2markselX1X2a__selmarkX1markX2markttttmarkconsX1X2consmarkX1X2marksXsmarkXmarkpairX1X2pairmarkX1markX2marknilnilmark00a__U101X1X2X3U101X1X2X3a__fstXfstXa__splitAtX1X2splitAtX1X2a__U11X1X2X3U11X1X2X3a__sndXsndXa__U21X1X2U21X1X2a__U31X1X2U31X1X2a__U41X1X2U41X1X2a__natsFromXnatsFromXa__U51X1X2X3U51X1X2X3a__headXheadXa__afterNthX1X2afterNthX1X2a__U61X1X2U61X1X2a__U71X1X2U71X1X2a__U81X1X2X3X4U81X1X2X3X4a__U82X1X2U82X1X2a__U91X1X2U91X1X2a__andX1X2andX1X2a__isNaturalXisNaturalXa__isLNatXisLNatXa__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])))