/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-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__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatKindactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2activateV2U15ttV2isNatactivateV2plusNsMisNatMplusNsMU61isNatMMNU61ttMNactivateNU61ttMNactivateMU61ttMNisNatKindactivateMU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNactivateMU62ttMNactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMU51ttNisNatKindactivateNU51ttNU52isNatKindactivateNactivateNU52ttNactivateNtrue12345671plus241120U643112430U633011243U623112430U613011243U5221223U5123122U3121020U2221120U2121120U15201220isNat1110U143122230U133122230U123122530isNatKind1010activate1010U113122530000n__s101n__plus24142n__000s101plus24142U64314243U633014243U623142430U613014243U5221424U51241420U41110U321212U312120U23101U222102U212102U161010U1520102isNat101U14310203U13310203U12314203isNatKind1010activate101U11314203tt00activaten__plusX1X2plusX1X2isNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U31ttV2activateV2U31ttV2isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatKindactivateV1U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2activateV1U12ttV1V2activateV2U12ttV1V2isNatKindactivateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2activateV1U13ttV1V2activateV2U13ttV1V2isNatKindactivateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2activateV2U14ttV1V2activateV1U14ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatKindactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2activateV2U15ttV2isNatactivateV2plusNsMisNatMplusNsMU61isNatMMNU61ttMNactivateNU61ttMNactivateMU61ttMNisNatKindactivateMU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNactivateMU62ttMNactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMU51ttNU52isNatKindactivateNactivateNU11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2U15isNatactivateV1activateV2U15ttV2U16isNatactivateV2U16ttttU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMisNatn__0ttisNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1plusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXactivateXXU51ttNU52isNatKindactivateNactivateNfalseplusNsMU61isNatMMNU61ttMNactivateNactivaten__plusX1X2plusX1X2plusNsMisNatMisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U31ttV2activateV2U31ttV2isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatKindactivateV1U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2activateV1U12ttV1V2activateV2U12ttV1V2isNatKindactivateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2activateV1U13ttV1V2activateV2U13ttV1V2isNatKindactivateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2activateV2U14ttV1V2activateV1U14ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatKindactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2activateV2U15ttV2isNatactivateV2U61ttMNactivateMU61ttMNisNatKindactivateMU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNactivateMU62ttMNactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMtrue1plus241420U6430142430U6330142430U6230142431U6130142433U31201420U22201421U21201421U15201621isNat1411U1430142631U1330142631U1230142631isNatKind1410activate1410U1130142631000n__s1115n__plus211220n__000s1115plus211220U6430122135U6330122135U6230122136U6130122136U52201120U51201120U411014U321014U31251425U231014U22201224U21201224U161010U15201020isNat1410U1430102030U1330102030U1230102030isNatKind1510activate1110U1130102630tt00activaten__plusX1X2plusX1X2isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U31ttV2activateV2U31ttV2isNatKindactivateV2isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2isNatactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2isNatactivateV2U62ttMNisNatactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMU11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2U15isNatactivateV1activateV2U15ttV2U16isNatactivateV2U16ttttU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMisNatn__0ttisNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1plusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXactivateXXU21ttV1U22isNatKindactivateV1activateV1false1U22ttV1isNatactivateV1false2U62ttMNisNatactivateNfalse1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2isNatactivateV2true1U15201220isNat1110U1430122230U1330122334U1230132434U1130132434000n__s1010n__plus241424n__000s1010plus241424U6430102231U6330102231U6230102232U6130102232U52201124U51201124U411010U321010U31201025U231010U22201020U21201020U161010U15201020isNat1010U1430102030U1330102030U1230102030isNatKind1010activate1110U1130102030tt00isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U14ttV1V2isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2isNatactivateV2U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2U15isNatactivateV1activateV2U15ttV2U16isNatactivateV2U16ttttU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMisNatn__0ttisNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1plusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXactivateXXU14ttV1V2isNatactivateV1false3U14ttV1V2U15isNatactivateV1activateV2false1U15ttV2isNatactivateV2false1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2false1U11ttV1V2U12isNatKindactivateV1activateV1activateV2false1U12ttV1V2U13isNatKindactivateV2activateV1activateV2falseU63ttMNactivateNfalse10U63ttMNactivateMfalse9U63ttMNisNatKindactivateNfalse134isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U31ttV2isNatKindactivateV2true1231U31201526isNatKind1210000n__s1010n__plus221623n__000s1010plus241625U6430102030U6330102035U6230102035U6130102035U52201221U51201425U411410U321014U31211427U231014U22201420U21201220U161216U15211224isNat1011U1430162630U1331152437U1230142432isNatKind1011activate1210U1130162432tt04isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMplusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXactivateXXisNatKindn__plusV1V2U31isNatKindactivateV1activateV2falseU31ttV2activateV2false6isNatKindn__plusV1V2activateV1false5isNatKindn__plusV1V2activateV2false4U63ttMNU64isNatKindactivateNactivateMactivateNfalse124U64ttMNactivateNfalse2U64ttMNactivateMfalse1activaten__plusX1X2plusX1X2falseU64ttMNplusactivateNactivateMfalseU64ttMNsplusactivateNactivateMfalseU15ttV2U16isNatactivateV2falseU22ttV1U23isNatactivateV1falseU31ttV2U32isNatKindactivateV2falseisNatKindn__sV1U41isNatKindactivateV1falseactivaten__sXsXfalseactivaten__00falsettt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))