/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__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXX2.1U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2U12ttV2U13isNatactivateV2U21ttV1activateV1U21ttV1isNatactivateV1U21ttV1U22isNatactivateV1U31ttNactivateNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMU41ttMNsplusactivateNactivateMandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1plusN0isNatNplusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNactivaten__00activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXactivateXactivaten__sXsactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isNatXisNatXtrueisNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusN0isNatNisNatn__plusV1V2activateV2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isNatXisNatXisNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2plusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNU31ttNactivateNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMtrue123451000U12201020isNatKind101U31201723U1130142030isNat1010n__isNatKind101U113414263U2121020n__isNat1010and201220n__s1010activate1010U31221120U131010isNatKind1010plus27162tt00U22110n__and22122plus241420n__plus27162and22122isNat1010U12241620s1010U413162734n__000U2120102U4130142430activate101isNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2isNatn__plusV1V2activateV2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isNatXisNatXisNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2plusN0U31andisNatNn__isNatKindNNplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMU11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXisNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNandttXactivateXactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isNatXisNatXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMtrue131000U1221020isNatKind1010U3121020U1130102030isNat1010n__isNatKind1010U21201020n__isNat1010and201020n__s1010activate1010U13110isNatKind1010plus241024tt00U22110n__and201020plus201020n__plus241024and201020isNat101s1010U4130102434n__000U2121020U4130102030activate1010isNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2plusactivateX1activateX2plusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNandttXactivateXactivaten__isNatKindXisNatKindXactivaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isNatXisNatXisNatn__plusV1V2activateV2isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMU11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXX1000U12201420isNatKind1210U31201120U113162433isNat1310n__isNatKind1210U21201320n__isNat1310and201020n__s101activate101U131010isNatKind1010plus231420tt00U221010n__and201020plus231320n__plus231420and201020isNat1310s101U413142330n__000U21201320U4130132330activate101isNatKindn__sV1isNatKindactivateV1activaten__plusX1X2plusactivateX1activateX2plusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNandttXactivateXactivaten__isNatKindXisNatKindXactivaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isNatXisNatXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1isNatactivateV1plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMU11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXX1001U122132isNatKind131U312142U11310243isNat131n__isNatKind131U2121020n__isNat131and20102n__s1010activate101U13101isNatKind101plus241420tt00U22110n__and21112plus241420n__plus241420and21112isNat101s1010U413142430n__001U2120122U413142434activate101isNatKindn__sV1isNatKindactivateV1activaten__plusX1X2plusactivateX1activateX2plusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNandttXactivateXactivaten__sXactivateXisNatKindn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1isNatactivateV1plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMU11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXU21ttV1isNatactivateV1isNatn__sV1U21isNatKindactivateV1activateV1true11641000U122011221isNatKind1010U312011212U113011221231isNat1210n__isNatKind1010U212011212n__isNat1210n__s11112U131011plus221121tt00U221011n__and201120n__plus221121and201120isNat1110s11112U41301122332n__000U212013221activate1110isNatn__sV1U21isNatKindactivateV1activateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXisNatn__sV1U21isNatKindactivateV1activateV1falseisNatn__sV1isNatKindactivateV1false12isNatKindn__sV1isNatKindactivateV1true11000U12201020isNatKind1210U31201121U1130102030isNat1010n__isNatKind1210n__isNat1010n__s1112U131010isNatKind1414plus211121tt00U221010n__and201122n__plus211121and201122s1112U4130112133n__000U21201020activate1110U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXisNatKindn__sV1activateV1false1activaten__plusX1X2plusactivateX1activateX2plusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNandttXactivateXactivaten__sXactivateXplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMtrue1000U1220120isNatKind1610U312211223U1132142630isNat110n__isNatKind110n__isNat110and21120n__s101activate1110U131214plus211120tt02U221211n__and201020plus2122n__plus201121and2102s1210U4130102430n__001U21201620U4131232activate1010activaten__plusX1X2plusactivateX1activateX2andttXactivateXactivaten__sXactivateXplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMandttXactivateXfalse12activaten__sXactivateXtrue1activaten__sXactivateX1true1activaten__plusX1X2plusactivateX1activateX2false1plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMtrue1000U12211020isNatKind1010U31201120U1130112030isNat1110n__isNatKind1010n__isNat1110n__s1111U131010plus211120tt00U221010n__and201220plus241121n__plus211120and201220s1111U4130112131n__000U21201120U4130112432activate1110plusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNfalseisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2false1U11ttV1V2U12isNatactivateV1activateV2falseplusN0U31andisNatNn__isNatKindNNfalseU41ttMNsplusactivateNactivateMfalseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseactivaten__sXsactivateXfalseactivaten__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])))