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