/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE ax1x1ox1x1lx1x1Sx1x1+x1x2x2+x1x2x1Px1x2x3x4x5x6x6Px1x2x3x4x5x6x5Px1x2x3x4x5x6x4Px1x2x3x4x5x6x3Px1x2x3x4x5x6x2Px1x2x3x4x5x6x1Mx1x2x3x4x5x6x6Mx1x2x3x4x5x6x5Mx1x2x3x4x5x6x4Mx1x2x3x4x5x6x3Mx1x2x3x4x5x6x2Mx1x2x3x4x5x6x1J1x1x2x2J1x1x2x1J2x1x2x3x3J2x1x2x3x2J2x1x2x3x1J3x1x2x3x4x4J3x1x2x3x4x3J3x1x2x3x4x2J3x1x2x3x4x1J4x1x2x3x4x5x5J4x1x2x3x4x5x4J4x1x2x3x4x5x3J4x1x2x3x4x5x2J4x1x2x3x4x5x1J5x1x2x3x4x5x6x6J5x1x2x3x4x5x6x5J5x1x2x3x4x5x6x4J5x1x2x3x4x5x6x3J5x1x2x3x4x5x6x2J5x1x2x3x4x5x6x1Q11x1x2x2Q11x1x2x1Q21x1x2x3x3Q21x1x2x3x2Q21x1x2x3x1Q22x1x2x3x3Q22x1x2x3x2Q22x1x2x3x1Q31x1x2x3x4x4Q31x1x2x3x4x3Q31x1x2x3x4x2Q31x1x2x3x4x1Q32x1x2x3x4x4Q32x1x2x3x4x3Q32x1x2x3x4x2Q32x1x2x3x4x1Q33x1x2x3x4x4Q33x1x2x3x4x3Q33x1x2x3x4x2Q33x1x2x3x4x1Q41x1x2x3x4x5x5Q41x1x2x3x4x5x4Q41x1x2x3x4x5x3Q41x1x2x3x4x5x2Q41x1x2x3x4x5x1Q42x1x2x3x4x5x5Q42x1x2x3x4x5x4Q42x1x2x3x4x5x3Q42x1x2x3x4x5x2Q42x1x2x3x4x5x1Q43x1x2x3x4x5x5Q43x1x2x3x4x5x4Q43x1x2x3x4x5x3Q43x1x2x3x4x5x2Q43x1x2x3x4x5x1Q44x1x2x3x4x5x5Q44x1x2x3x4x5x4Q44x1x2x3x4x5x3Q44x1x2x3x4x5x2Q44x1x2x3x4x5x1Q51x1x2x3x4x5x6x6Q51x1x2x3x4x5x6x5Q51x1x2x3x4x5x6x4Q51x1x2x3x4x5x6x3Q51x1x2x3x4x5x6x2Q51x1x2x3x4x5x6x1Q52x1x2x3x4x5x6x6Q52x1x2x3x4x5x6x5Q52x1x2x3x4x5x6x4Q52x1x2x3x4x5x6x3Q52x1x2x3x4x5x6x2Q52x1x2x3x4x5x6x1Q53x1x2x3x4x5x6x6Q53x1x2x3x4x5x6x5Q53x1x2x3x4x5x6x4Q53x1x2x3x4x5x6x3Q53x1x2x3x4x5x6x2Q53x1x2x3x4x5x6x1Q54x1x2x3x4x5x6x6Q54x1x2x3x4x5x6x5Q54x1x2x3x4x5x6x4Q54x1x2x3x4x5x6x3Q54x1x2x3x4x5x6x2Q54x1x2x3x4x5x6x1Q55x1x2x3x4x5x6x6Q55x1x2x3x4x5x6x5Q55x1x2x3x4x5x6x4Q55x1x2x3x4x5x6x3Q55x1x2x3x4x5x6x2Q55x1x2x3x4x5x6x1R1x1x2x3x3R1x1x2x3x2R1x1x2x3x1R2x1x2x3x4x4R2x1x2x3x4x3R2x1x2x3x4x2R2x1x2x3x4x1R3x1x2x3x4x5x5R3x1x2x3x4x5x4R3x1x2x3x4x5x3R3x1x2x3x4x5x2R3x1x2x3x4x5x1R4x1x2x3x4x5x6x6R4x1x2x3x4x5x6x5R4x1x2x3x4x5x6x4R4x1x2x3x4x5x6x3R4x1x2x3x4x5x6x2R4x1x2x3x4x5x6x1R5x1x2x3x4x5x6x7x7R5x1x2x3x4x5x6x7x6R5x1x2x3x4x5x6x7x5R5x1x2x3x4x5x6x7x4R5x1x2x3x4x5x6x7x3R5x1x2x3x4x5x6x7x2R5x1x2x3x4x5x6x7x1P000000S0+xSyS+xyalxlaaxloxollxoxlxlxaxaSxSlxa+xy+lxya+xy+xlyaPx1x2x3x4x5x6Px1x2x3x4x5lx6aPx1x2x3x4x5x6Px1x2x3x4lx5x6aPx1x2x3x4x5x6Px1x2x3lx4x5x6aPx1x2x3x4x5x6Px1x2lx3x4x5x6aPx1x2x3x4x5x6Px1lx2x3x4x5x6aPx1x2x3x4x5x6Plx1x2x3x4x5x6+xoyo+xyPx1x2x3x4x5ox6oPx1x2x3x4x5x6Px1x2x3x4ox5x6oPx1x2x3x4x5x6Px1x2x3ox4x5x6oPx1x2x3x4x5x6Px1x2ox3x4x5x6oPx1x2x3x4x5x6Px1ox2x3x4x5x6oPx1x2x3x4x5x6Pox1x2x3x4x5x6oPx1x2x3x4x5x6Mx1x2x3x4x5ly+Mx1x2x3x4x5yPx1x2x3x4x5yJ5x1x2x3x4lx5yPx1x2x3x4J5x1x2x3x4x5y0J4x1x2x3lx4yPx1x2x3J4x1x2x3x4y00J3x1x2lx3yPx1x2J3x1x2x3y000J2x1lx2yPx1J2x1x2y0000J1lx1yPJ1x1y00000aSxoxP00000SyoM00000yP00000Px1x2x3x4x5yoMx1x2x3x4x5yPx1x2x3x4Sx5yoJ5x1x2x3x4x5yPx1x2x3Sx40yoJ4x1x2x3x4yPx1x2Sx300yoJ3x1x2x3yPx1Sx2000yoJ2x1x2yPSx10000yoJ1x1yPx1x2x3x4Sx5SyoJ5x1x2x3x4x5Px1x2x3x4Sx5yPx1x2x3Sx40SyoJ4x1x2x3x4Px1x2x3Sx40yPx1x2Sx300SyoJ3x1x2x3Px1x2Sx300yPx1Sx2000SyoJ2x1x2Px1Sx2000yPSx10000SyoJ1x1PSx10000yaPx1x2x3x4x50Q55x1x2x3x4ax5x5aPx1x2x3x4x50Q54x1x2x3x4ax5x4aPx1x2x3x4x50Q53x1x2x3x4ax5x3aPx1x2x3x4x50Q52x1x2x3x4ax5x2aPx1x2x3x4x50Q51x1x2x3x4ax5x1aPx1x2x3x400Q44x1x2x3ax4x4aPx1x2x3x400Q43x1x2x3ax4x3aPx1x2x3x400Q42x1x2x3ax4x2aPx1x2x3x400Q41x1x2x3ax4x1aPx1x2x3000Q33x1x2ax3x3aPx1x2x3000Q32x1x2ax3x2aPx1x2x3000Q31x1x2ax3x1aPx1x20000Q22x1ax2x2aPx1x20000Q21x1ax2x1aPx100000Q11ax1x1Q55x1x2x3x4ox5yoPx1x2x3x4x5yQ54x1x2x3x4ox5yoPx1x2x3x4x5yQ53x1x2x3x4ox5yoPx1x2x3x4x5yQ52x1x2x3x4ox5yoPx1x2x3x4x5yQ51x1x2x3x4ox5yoPx1x2x3x4x5yQ44x1x2x3ox4yoPx1x2x3x40yQ43x1x2x3ox4yoPx1x2x3x40yQ42x1x2x3ox4yoPx1x2x3x40yQ41x1x2x3ox4yoPx1x2x3x40yQ33x1x2ox3yoPx1x2x300yQ32x1x2ox3yoPx1x2x300yQ31x1x2ox3yoPx1x2x300yQ22x1ox2yoPx1x2000yQ21x1ox2yoPx1x2000yQ11ox1yoPx10000yaPx1x2x3x4x5SyR5x1x2x3x4ax5x5yaPx1x2x3x40SyR4x1x2x3ax4x4yaPx1x2x300SyR3x1x2ax3x3yaPx1x2000SyR2x1ax2x2yaPx10000SyR1ax1x1yR5x1x2x3x4ox5yzoPx1x2x3x4x5Px1x2x3x4yzR4x1x2x3ox4yzoPx1x2x3x40Px1x2x3y0zR3x1x2ox3yzoPx1x2x300Px1x2y00zR2x1ox2yzoPx1x2000Px1y000zR1ox1yzoPx10000Py0000z2.1ax1x1ox1x1lx1x1Sx1x1+x1x2x2+x1x2x1Px1x2x3x4x5x6x6Px1x2x3x4x5x6x5Px1x2x3x4x5x6x4Px1x2x3x4x5x6x3Px1x2x3x4x5x6x2Px1x2x3x4x5x6x1Mx1x2x3x4x5x6x6Mx1x2x3x4x5x6x5Mx1x2x3x4x5x6x4Mx1x2x3x4x5x6x3Mx1x2x3x4x5x6x2Mx1x2x3x4x5x6x1J1x1x2x2J1x1x2x1J2x1x2x3x3J2x1x2x3x2J2x1x2x3x1J3x1x2x3x4x4J3x1x2x3x4x3J3x1x2x3x4x2J3x1x2x3x4x1J4x1x2x3x4x5x5J4x1x2x3x4x5x4J4x1x2x3x4x5x3J4x1x2x3x4x5x2J4x1x2x3x4x5x1J5x1x2x3x4x5x6x6J5x1x2x3x4x5x6x5J5x1x2x3x4x5x6x4J5x1x2x3x4x5x6x3J5x1x2x3x4x5x6x2J5x1x2x3x4x5x6x1Q11x1x2x2Q11x1x2x1Q21x1x2x3x3Q21x1x2x3x2Q21x1x2x3x1Q22x1x2x3x3Q22x1x2x3x2Q22x1x2x3x1Q31x1x2x3x4x4Q31x1x2x3x4x3Q31x1x2x3x4x2Q31x1x2x3x4x1Q32x1x2x3x4x4Q32x1x2x3x4x3Q32x1x2x3x4x2Q32x1x2x3x4x1Q33x1x2x3x4x4Q33x1x2x3x4x3Q33x1x2x3x4x2Q33x1x2x3x4x1Q41x1x2x3x4x5x5Q41x1x2x3x4x5x4Q41x1x2x3x4x5x3Q41x1x2x3x4x5x2Q41x1x2x3x4x5x1Q42x1x2x3x4x5x5Q42x1x2x3x4x5x4Q42x1x2x3x4x5x3Q42x1x2x3x4x5x2Q42x1x2x3x4x5x1Q43x1x2x3x4x5x5Q43x1x2x3x4x5x4Q43x1x2x3x4x5x3Q43x1x2x3x4x5x2Q43x1x2x3x4x5x1Q44x1x2x3x4x5x5Q44x1x2x3x4x5x4Q44x1x2x3x4x5x3Q44x1x2x3x4x5x2Q44x1x2x3x4x5x1Q51x1x2x3x4x5x6x6Q51x1x2x3x4x5x6x5Q51x1x2x3x4x5x6x4Q51x1x2x3x4x5x6x3Q51x1x2x3x4x5x6x2Q51x1x2x3x4x5x6x1Q52x1x2x3x4x5x6x6Q52x1x2x3x4x5x6x5Q52x1x2x3x4x5x6x4Q52x1x2x3x4x5x6x3Q52x1x2x3x4x5x6x2Q52x1x2x3x4x5x6x1Q53x1x2x3x4x5x6x6Q53x1x2x3x4x5x6x5Q53x1x2x3x4x5x6x4Q53x1x2x3x4x5x6x3Q53x1x2x3x4x5x6x2Q53x1x2x3x4x5x6x1Q54x1x2x3x4x5x6x6Q54x1x2x3x4x5x6x5Q54x1x2x3x4x5x6x4Q54x1x2x3x4x5x6x3Q54x1x2x3x4x5x6x2Q54x1x2x3x4x5x6x1Q55x1x2x3x4x5x6x6Q55x1x2x3x4x5x6x5Q55x1x2x3x4x5x6x4Q55x1x2x3x4x5x6x3Q55x1x2x3x4x5x6x2Q55x1x2x3x4x5x6x1R1x1x2x3x3R1x1x2x3x2R1x1x2x3x1R2x1x2x3x4x4R2x1x2x3x4x3R2x1x2x3x4x2R2x1x2x3x4x1R3x1x2x3x4x5x5R3x1x2x3x4x5x4R3x1x2x3x4x5x3R3x1x2x3x4x5x2R3x1x2x3x4x5x1R4x1x2x3x4x5x6x6R4x1x2x3x4x5x6x5R4x1x2x3x4x5x6x4R4x1x2x3x4x5x6x3R4x1x2x3x4x5x6x2R4x1x2x3x4x5x6x1R5x1x2x3x4x5x6x7x7R5x1x2x3x4x5x6x7x6R5x1x2x3x4x5x6x7x5R5x1x2x3x4x5x6x7x4R5x1x2x3x4x5x6x7x3R5x1x2x3x4x5x6x7x2R5x1x2x3x4x5x6x7x1P000000S0+xSyS+xyalxlaaxloxollxoxlxlxaxaSxSlxa+xy+lxya+xy+xlyaPx1x2x3x4x5x6Px1x2x3x4x5lx6aPx1x2x3x4x5x6Px1x2x3x4lx5x6aPx1x2x3x4x5x6Px1x2x3lx4x5x6aPx1x2x3x4x5x6Px1x2lx3x4x5x6aPx1x2x3x4x5x6Px1lx2x3x4x5x6aPx1x2x3x4x5x6Plx1x2x3x4x5x6+xoyo+xyPx1x2x3x4x5ox6oPx1x2x3x4x5x6Px1x2x3x4ox5x6oPx1x2x3x4x5x6Px1x2x3ox4x5x6oPx1x2x3x4x5x6Px1x2ox3x4x5x6oPx1x2x3x4x5x6Px1ox2x3x4x5x6oPx1x2x3x4x5x6Pox1x2x3x4x5x6oPx1x2x3x4x5x6Mx1x2x3x4x5ly+Mx1x2x3x4x5yPx1x2x3x4x5yJ5x1x2x3x4lx5yPx1x2x3x4J5x1x2x3x4x5y0J4x1x2x3lx4yPx1x2x3J4x1x2x3x4y00J3x1x2lx3yPx1x2J3x1x2x3y000J2x1lx2yPx1J2x1x2y0000J1lx1yPJ1x1y00000aSxoxP00000SyoM00000yP00000Px1x2x3x4x5yoMx1x2x3x4x5yPx1x2x3x4Sx5yoJ5x1x2x3x4x5yPx1x2x3Sx40yoJ4x1x2x3x4yPx1x2Sx300yoJ3x1x2x3yPx1Sx2000yoJ2x1x2yPSx10000yoJ1x1yPx1x2x3x4Sx5SyoJ5x1x2x3x4x5Px1x2x3x4Sx5yPx1x2x3Sx40SyoJ4x1x2x3x4Px1x2x3Sx40yPx1x2Sx300SyoJ3x1x2x3Px1x2Sx300yPx1Sx2000SyoJ2x1x2Px1Sx2000yPSx10000SyoJ1x1PSx10000yaPx1x2x3x4x50Q55x1x2x3x4ax5x5aPx1x2x3x4x50Q54x1x2x3x4ax5x4aPx1x2x3x4x50Q53x1x2x3x4ax5x3aPx1x2x3x4x50Q52x1x2x3x4ax5x2aPx1x2x3x4x50Q51x1x2x3x4ax5x1aPx1x2x3x400Q44x1x2x3ax4x4aPx1x2x3x400Q43x1x2x3ax4x3aPx1x2x3x400Q42x1x2x3ax4x2aPx1x2x3x400Q41x1x2x3ax4x1aPx1x2x3000Q33x1x2ax3x3aPx1x2x3000Q32x1x2ax3x2aPx1x2x3000Q31x1x2ax3x1aPx1x20000Q22x1ax2x2aPx1x20000Q21x1ax2x1aPx100000Q11ax1x1Q55x1x2x3x4ox5yoPx1x2x3x4x5yQ54x1x2x3x4ox5yoPx1x2x3x4x5yQ53x1x2x3x4ox5yoPx1x2x3x4x5yQ52x1x2x3x4ox5yoPx1x2x3x4x5yQ51x1x2x3x4ox5yoPx1x2x3x4x5yQ44x1x2x3ox4yoPx1x2x3x40yQ43x1x2x3ox4yoPx1x2x3x40yQ42x1x2x3ox4yoPx1x2x3x40yQ41x1x2x3ox4yoPx1x2x3x40yQ33x1x2ox3yoPx1x2x300yQ32x1x2ox3yoPx1x2x300yQ31x1x2ox3yoPx1x2x300yQ22x1ox2yoPx1x2000yQ21x1ox2yoPx1x2000yQ11ox1yoPx10000yaPx1x2x3x4x5SyR5x1x2x3x4ax5x5yaPx1x2x3x40SyR4x1x2x3ax4x4yaPx1x2x300SyR3x1x2ax3x3yaPx1x2000SyR2x1ax2x2yaPx10000SyR1ax1x1yR5x1x2x3x4ox5yzoPx1x2x3x4x5Px1x2x3x4yzR4x1x2x3ox4yzoPx1x2x3x40Px1x2x3y0zR3x1x2ox3yzoPx1x2x300Px1x2y00zR2x1ox2yzoPx1x2000Px1y000zR1ox1yzoPx10000Py0000zttt2ttt2 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])))