/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 a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindX2.1a__U11ttV1V2a__isNatV1a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__U12ttV2a__U13a__isNatV2a__U21ttV1a__isNatV1a__U21ttV1a__U22a__isNatV1a__U31ttNmarkNa__U41ttMNmarkMa__U41ttMNmarkNa__U41ttMNa__plusmarkNmarkMa__andttXmarkXa__isNatplusV1V2a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__isNatNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU13Xa__U13markXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU22Xa__U22markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXtruea__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__isNatV1a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusN0a__isNatNa__plusN0a__anda__isNatNisNatKindNa__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__anda__anda__isNatMisNatKindMandisNatNisNatKindNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMtrue12341a__isNatKind1010a__and21020a__plus21102a__U4130102130mark1010a__U3121020a__U21201020a__U1222102a__isNat1010a__U1130122030U4130102431U3120112U22101U21201020U131010U12221020U1130142030and201020isNat1010isNatKind1010a__isNatKind1010plus24102002a__and201020s1011a__plus24102a__U4130102431mark101a__U3120112a__U22101a__U21201020a__U131010a__U12221020a__isNat1010a__U1130142030tt02a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatKindMa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMa__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindX1a__isNatKind101a__and20102a__plus2112a__U4131123mark101a__U3121020a__U2120102a__U1220102a__isNat101a__U11310203U413011203U31201020U22101U2120102U13101U1220102U113010203and20102isNat101isNatKind101a__isNatKind101plus20112001a__and20102s101a__plus20112a__U413011203mark101a__U31201020a__U22101a__U2120102a__U13101a__U1220102a__isNat101a__U113010203tt00a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXa__U41ttMNa__plusmarkNmarkMa__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindXa__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU41X1X2X3markX1markplusX1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarksXmarkXtrue12a__isNatKind11a__and22mark11a__U3122a__U2122a__U1222a__isNat11a__U1133U4131isNatKind11a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2markU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__isNatplusV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markplusX1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2marksXmarkXa__U11ttV1V2a__U12a__isNatV1V2false1a__U12ttV2a__isNatV2falsea__U21ttV1a__isNatV1falsea__U31ttNmarkNfalse23a__andttXmarkXfalse12markU41X1X2X3markX1true1markU41X1X2X3markX11true1markisNatKindXa__isNatKindXfalsemarkplusX1X2a__plusmarkX1markX2false2markU41X1X2X3a__U41markX1X2X3false1a__U41ttMNa__plusmarkNmarkMa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNtrue1a__plus201120a__U4130112031U4130142433U31201122U221010U21201020U131210U12201020U1130102030and201225isNat1010isNatKind1410a__isNatKind1410plus241422000a__and201225s1111a__plus241422a__U4130142433mark1110a__U31201122a__U221010a__U21201020a__U131210a__U12201020a__isNat1010a__U1130102030tt00a__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindXa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNfalsemarkU22Xa__U22markXfalsemarkU13Xa__U13markXfalsea__U12ttV2a__U13a__isNatV2falsea__U21ttV1a__U22a__isNatV1falsettt2ttt2 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])))