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