/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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__plusmarkNmarkMtrue12341and20102a__U131010a__isNatKind1010mark1010a__U1130142030a__U12201020isNatKind101U13101a__and2102a__U1130142030a__U31201020U1130142030isNat101a__isNat101a__U4130102730U21201020a__U12201020a__U21201020mark101a__plus271027tt07a__U31201723U12201020U4130102732a__U21201020plus271027a__and201020U22101U31201723s1010a__U4130102732007a__U221010a__isNatKind101a__plus271020a__isNat1010a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__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__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2a__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__isNatKindXisNatKindX1and221120a__U131110a__isNatKind1010mark1110a__U1131102030a__U12241020isNatKind1010U131110a__and201420a__U1130102030a__U31201420U1131102030isNat1010a__isNat1010a__U4130142030U21211020a__U12201020a__U21211020mark1410a__plus211120tt00a__U31241120U12241020U4132112131a__U21201020plus211120a__and221120U221410U31241120s1111a__U4132112131000a__U221410a__isNatKind1010a__plus201420a__isNat1010a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__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__U31ttNmarkNa__U41ttMNmarkMmarkplusX1X2markX2markplusX1X2a__plusmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXa__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__U41ttMNmarkMfalse23a__U41ttMNa__plusmarkNmarkMfalsea__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__andttXmarkXmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__isNatV2a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttNmarkNmarkplusX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXtrue1a__isNatKind11a__and22mark11a__U3122a__U2122a__U1222a__isNat11a__U1133isNatKind11a__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2markU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3a__isNatplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1markU12X1X2markX1markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13XmarkXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markplusX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1X2a__U11ttV1V2a__U12a__isNatV1V2false1a__U12ttV2a__isNatV2falsea__U21ttV1a__isNatV1falsea__U31ttNmarkNfalse2a__andttXmarkXfalse1markisNatKindXa__isNatKindXfalsemarkplusX1X2a__plusmarkX1markX2falsemarkU22Xa__U22markXfalsemarkU13Xa__U13markXfalsea__U12ttV2a__U13a__isNatV2falsea__U21ttV1a__U22a__isNatV1falsettt2ttt2 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])))