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