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