/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU22ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNeList__V1V2markU41isListV1V2activeisNeList__V1V2markU51isNeListV1V2activeisNePalVmarkU61isQidVactiveisNePal__I__PImarkU71isQidIPactiveisPalVmarkU81isNePalVactiveisPalnilmarkttactiveisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX2.1311U7211000100001000000000tt0010000000U6111000100001000000000U2211000000011110000000active11100000001000000000nil0000000000U71210001000111000000002110000000isNePal11000000011000000000u0000000000U8111000000001000000000isPal11000000011100000000proper11000100001000000000a0100000000ok11000001011000000000U1111100000111000000000U41210001000111000000002000000000__210000000011000000002100000000isList11000000001000000000isQid11000000011010000000o0010000000U5211000100011000000000U4211000100011000000000e0100000000i0000000000isNeList11000000001000000000U3111000100011000000000U51210001000111000000002000000000U21210001000111000000002100000000top11010001001000000000mark11000000001000000000active____XYZmark__X__YZactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveXactive____XYZ__YZactive____XYZ__X__YZactiveU21ttV2isListV2activeU21ttV2U22isListV2activeU41ttV2isNeListV2activeU41ttV2U42isNeListV2activeU51ttV2isListV2activeU51ttV2U52isListV2activeU71ttPisPalPactiveU71ttPU72isPalPactiveisListVisNeListVactiveisListVU11isNeListVactiveisList__V1V2isListV1activeisList__V1V2U21isListV1V2activeisNeListVisQidVactiveisNeListVU31isQidVactiveisNePalVisQidVactiveisNePalVU61isQidVactive__X1X2activeX1active__X1X2__activeX1X2active__X1X2activeX2active__X1X2__X1activeX2activeU11XactiveXactiveU11XU11activeXactiveU21X1X2activeX1activeU21X1X2U21activeX1X2activeU22XactiveXactiveU22XU22activeXactiveU31XactiveXactiveU31XU31activeXactiveU41X1X2activeX1activeU41X1X2U41activeX1X2activeU42XactiveXactiveU42XU42activeXactiveU51X1X2activeX1activeU51X1X2U51activeX1X2activeU52XactiveXactiveU52XU52activeXactiveU61XactiveXactiveU61XU61activeXactiveU71X1X2activeX1activeU71X1X2U71activeX1X2activeU72XactiveXactiveU72XU72activeXactiveU81XactiveXactiveU81XU81activeX__markX1X2__X1X2__X1markX2__X1X2U11markXU11XU21markX1X2U21X1X2U22markXU22XU31markXU31XU41markX1X2U41X1X2U42markXU42XU51markX1X2U51X1X2U52markXU52XU61markXU61XU71markX1X2U71X1X2U72markXU72XU81markXU81Xproper__X1X2properX2proper__X1X2properX1proper__X1X2__properX1properX2properU11XproperXproperU11XU11properXproperU21X1X2properX2properU21X1X2properX1properU21X1X2U21properX1properX2properU22XproperXproperU22XU22properXproperisListXproperXproperisListXisListproperXproperU31XproperXproperU31XU31properXproperU41X1X2properX2properU41X1X2properX1properU41X1X2U41properX1properX2properU42XproperXproperU42XU42properXproperisNeListXproperXproperisNeListXisNeListproperXproperU51X1X2properX2properU51X1X2properX1properU51X1X2U51properX1properX2properU52XproperXproperU52XU52properXproperU61XproperXproperU61XU61properXproperU71X1X2properX2properU71X1X2properX1properU71X1X2U71properX1properX2properU72XproperXproperU72XU72properXproperisPalXproperXproperisPalXisPalproperXproperU81XproperXproperU81XU81properXproperisQidXproperXproperisQidXisQidproperXproperisNePalXproperXproperisNePalXisNePalproperX__okX1okX2__X1X2U11okXU11XU21okX1okX2U21X1X2U22okXU22XisListokXisListXU31okXU31XU41okX1okX2U41X1X2U42okXU42XisNeListokXisNeListXU51okX1okX2U51X1X2U52okXU52XU61okXU61XU71okX1okX2U71X1X2U72okXU72XisPalokXisPalXU81okXU81XisQidokXisQidXisNePalokXisNePalXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue122top10ok10proper10u00o00i00e00a00isNePal13isQid12U8111U7212isPal10U7123U6111U5212U51219U4212isNeList16U4127U3111U2210isList19U21211U1111tt00nil00mark10active10__213top11ok11proper11u0o0i0e0a0isNePal1isQid1U8111U7211isPal11U71212U6111U5211U51212U4211isNeList1U4121U3111U2211isList11U21212U1111tt0nil0mark11active11__212topokXtopactiveXactive____XYZmark__X__YZactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2__okX1okX2ok__X1X2isListokXokisListXU22markXmarkU22XU22okXokU22XisNeListokXokisNeListXU42markXmarkU42XU42okXokU42XU52markXmarkU52XU52okXokU52XisPalokXokisPalXU72markXmarkU72XU72okXokU72XU11markXmarkU11XU11okXokU11XU21markX1X2markU21X1X2U21okX1okX2okU21X1X2isQidokXokisQidXU31markXmarkU31XU31okXokU31XU61markXmarkU61XU61okXokU61XU41markX1X2markU41X1X2U41okX1okX2okU41X1X2U51markX1X2markU51X1X2U51okX1okX2okU51X1X2U71markX1X2markU71X1X2U71okX1okX2okU71X1X2U81markXmarkU81XU81okXokU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuokuisNePalokXokisNePalXtop10ok10u00o00i00isNePal11isQid11U8110U7211isPal10U7123U6110U5210U5120U4210isNeList11U4121U3110U2210isList11U2120U1110tt01nil00mark10active10__217top11ok11u0o0i0isNePal1isQid1U8111U7211isPal11U7121U6111U5211U5121U4211isNeList1U4121U3111U2211isList1U2121U1111tt0nil0mark1active11__21active____XYZmark__X__YZactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2__okX1okX2ok__X1X2U22markXmarkU22XU22okXokU22XU42markXmarkU42XU42okXokU42XU52markXmarkU52XU52okXokU52XU72markXmarkU72XU72okXokU72XU11markXmarkU11XU11okXokU11XU21markX1X2markU21X1X2U21okX1okX2okU21X1X2U31markXmarkU31XU31okXokU31XU61markXmarkU61XU61okXokU61XU41markX1X2markU41X1X2U41okX1okX2okU41X1X2U51markX1X2markU51X1X2U51okX1okX2okU51X1X2U71markX1X2markU71X1X2U71okX1okX2okU71X1X2U81markXmarkU81XU81okXokU81XtopmarkXproperXfalse12345678910111213141516171819properisNePalXproperXproperisQidXproperXproperU81XproperXproperisPalXproperXproperU72XproperXproperU71X1X2properX1properU71X1X2properX2properU61XproperXproperU52XproperXproperU51X1X2properX1properU51X1X2properX2properisNeListXproperXproperU42XproperXproperU41X1X2properX1properU41X1X2properX2properU31XproperXproperisListXproperXproperU22XproperXproperU21X1X2properX1properU21X1X2properX2properU11XproperXproper__X1X2properX1proper__X1X2properX2true123456789101112131415161718proper11proper__X1X2__properX1properX2false45properU11XU11properXfalse46properU21X1X2U21properX1properX2false47properU22XU22properXfalse48properisListXisListproperXfalse32properU31XU31properXfalse48properU41X1X2U41properX1properX2false49properU42XU42properXfalse50properisNeListXisNeListproperXfalse25properU51X1X2U51properX1properX2false50properU52XU52properXfalse51properU61XU61properXfalse52properU71X1X2U71properX1properX2false53properU72XU72properXfalse54properisPalXisPalproperXfalse16properU81XU81properXfalse54properisQidXisQidproperXfalse25properisNePalXisNePalproperXfalse1isNePalokXisNePalXtrueisNePalokXisNePalX1true1topokXactiveXfalse123456789101213151618192021232425272931333537394143454749activeU81XactiveXactiveU72XactiveXactiveU71X1X2activeX1activeU61XactiveXactiveU52XactiveXactiveU51X1X2activeX1activeU42XactiveXactiveU41X1X2activeX1activeU31XactiveXactiveU22XactiveXactiveU21X1X2activeX1activeU11XactiveXactive__X1X2activeX2active__X1X2activeX1true1234567891112141517181920222324262830323436384042444648active11active____XYZ__YZfalse24active____XYZ__X__YZfalse23activeU21ttV2isListV2false13activeU21ttV2U22isListV2false27activeU41ttV2isNeListV2false8activeU41ttV2U42isNeListV2false31activeU51ttV2isListV2false9activeU51ttV2U52isListV2false33activeU71ttPisPalPfalse1isPalokXisPalXtrueisPalokXisPalX1true1activeU71ttPU72isPalPfalse36activeisListVisNeListVfalse1isNeListokXisNeListXtrueisNeListokXisNeListX1true1activeisListVU11isNeListVfalse13activeisList__V1V2isListV1false1isListokXisListXtrueisListokXisListX1true1activeisList__V1V2U21isListV1V2false12activeisNeListVisQidVfalse3activeisNeListVU31isQidVfalse14activeisNePalVisQidVfalse1isQidokXisQidXtrueisQidokXisQidX1true1activeisNePalVU61isQidVfalse21active__X1X2__activeX1X2false2active__X1X2__X1activeX2false1__okX1okX2__X1X2__X1markX2__X1X2__markX1X2__X1X2true__okX1okX2__X1X22true21true1__X1markX2__X1X22true21false1__markX1X2__X1X22false21true1activeU11XU11activeXfalse1U11okXU11XU11markXU11XtrueU11okXU11X1true1U11markXU11X1true1activeU21X1X2U21activeX1X2false1U21okX1okX2U21X1X2U21markX1X2U21X1X2trueU21okX1okX2U21X1X22true21true1U21markX1X2U21X1X22false21true1activeU22XU22activeXfalse1U22okXU22XU22markXU22XtrueU22okXU22X1true1U22markXU22X1true1activeU31XU31activeXfalse1U31okXU31XU31markXU31XtrueU31okXU31X1true1U31markXU31X1true1activeU41X1X2U41activeX1X2false1U41okX1okX2U41X1X2U41markX1X2U41X1X2trueU41okX1okX2U41X1X22true21true1U41markX1X2U41X1X22false21true1activeU42XU42activeXfalse1U42okXU42XU42markXU42XtrueU42okXU42X1true1U42markXU42X1true1activeU51X1X2U51activeX1X2false1U51okX1okX2U51X1X2U51markX1X2U51X1X2trueU51okX1okX2U51X1X22true21true1U51markX1X2U51X1X22false21true1activeU52XU52activeXfalse1U52okXU52XU52markXU52XtrueU52okXU52X1true1U52markXU52X1true1activeU61XU61activeXfalse1U61okXU61XU61markXU61XtrueU61okXU61X1true1U61markXU61X1true1activeU71X1X2U71activeX1X2false1U71okX1okX2U71X1X2U71markX1X2U71X1X2trueU71okX1okX2U71X1X22true21true1U71markX1X2U71X1X22false21true1activeU72XU72activeXfalse1U72okXU72XU72markXU72XtrueU72okXU72X1true1U72markXU72X1true1activeU81XU81activeXfalse1U81okXU81XU81markXU81XtrueU81okXU81X1true1U81markXU81X1true1ttt2ttt2 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])))