/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE ax1x1ox1x1lx1x1Sx1x1+x1x2x2+x1x2x1Px1x2x3x4x5x6x7x7Px1x2x3x4x5x6x7x6Px1x2x3x4x5x6x7x5Px1x2x3x4x5x6x7x4Px1x2x3x4x5x6x7x3Px1x2x3x4x5x6x7x2Px1x2x3x4x5x6x7x1Mx1x2x3x4x5x6x7x7Mx1x2x3x4x5x6x7x6Mx1x2x3x4x5x6x7x5Mx1x2x3x4x5x6x7x4Mx1x2x3x4x5x6x7x3Mx1x2x3x4x5x6x7x2Mx1x2x3x4x5x6x7x1J1x1x2x2J1x1x2x1J2x1x2x3x3J2x1x2x3x2J2x1x2x3x1J3x1x2x3x4x4J3x1x2x3x4x3J3x1x2x3x4x2J3x1x2x3x4x1J4x1x2x3x4x5x5J4x1x2x3x4x5x4J4x1x2x3x4x5x3J4x1x2x3x4x5x2J4x1x2x3x4x5x1J5x1x2x3x4x5x6x6J5x1x2x3x4x5x6x5J5x1x2x3x4x5x6x4J5x1x2x3x4x5x6x3J5x1x2x3x4x5x6x2J5x1x2x3x4x5x6x1J6x1x2x3x4x5x6x7x7J6x1x2x3x4x5x6x7x6J6x1x2x3x4x5x6x7x5J6x1x2x3x4x5x6x7x4J6x1x2x3x4x5x6x7x3J6x1x2x3x4x5x6x7x2J6x1x2x3x4x5x6x7x1Q11x1x2x2Q11x1x2x1Q21x1x2x3x3Q21x1x2x3x2Q21x1x2x3x1Q22x1x2x3x3Q22x1x2x3x2Q22x1x2x3x1Q31x1x2x3x4x4Q31x1x2x3x4x3Q31x1x2x3x4x2Q31x1x2x3x4x1Q32x1x2x3x4x4Q32x1x2x3x4x3Q32x1x2x3x4x2Q32x1x2x3x4x1Q33x1x2x3x4x4Q33x1x2x3x4x3Q33x1x2x3x4x2Q33x1x2x3x4x1Q41x1x2x3x4x5x5Q41x1x2x3x4x5x4Q41x1x2x3x4x5x3Q41x1x2x3x4x5x2Q41x1x2x3x4x5x1Q42x1x2x3x4x5x5Q42x1x2x3x4x5x4Q42x1x2x3x4x5x3Q42x1x2x3x4x5x2Q42x1x2x3x4x5x1Q43x1x2x3x4x5x5Q43x1x2x3x4x5x4Q43x1x2x3x4x5x3Q43x1x2x3x4x5x2Q43x1x2x3x4x5x1Q44x1x2x3x4x5x5Q44x1x2x3x4x5x4Q44x1x2x3x4x5x3Q44x1x2x3x4x5x2Q44x1x2x3x4x5x1Q51x1x2x3x4x5x6x6Q51x1x2x3x4x5x6x5Q51x1x2x3x4x5x6x4Q51x1x2x3x4x5x6x3Q51x1x2x3x4x5x6x2Q51x1x2x3x4x5x6x1Q52x1x2x3x4x5x6x6Q52x1x2x3x4x5x6x5Q52x1x2x3x4x5x6x4Q52x1x2x3x4x5x6x3Q52x1x2x3x4x5x6x2Q52x1x2x3x4x5x6x1Q53x1x2x3x4x5x6x6Q53x1x2x3x4x5x6x5Q53x1x2x3x4x5x6x4Q53x1x2x3x4x5x6x3Q53x1x2x3x4x5x6x2Q53x1x2x3x4x5x6x1Q54x1x2x3x4x5x6x6Q54x1x2x3x4x5x6x5Q54x1x2x3x4x5x6x4Q54x1x2x3x4x5x6x3Q54x1x2x3x4x5x6x2Q54x1x2x3x4x5x6x1Q55x1x2x3x4x5x6x6Q55x1x2x3x4x5x6x5Q55x1x2x3x4x5x6x4Q55x1x2x3x4x5x6x3Q55x1x2x3x4x5x6x2Q55x1x2x3x4x5x6x1Q61x1x2x3x4x5x6x7x7Q61x1x2x3x4x5x6x7x6Q61x1x2x3x4x5x6x7x5Q61x1x2x3x4x5x6x7x4Q61x1x2x3x4x5x6x7x3Q61x1x2x3x4x5x6x7x2Q61x1x2x3x4x5x6x7x1Q62x1x2x3x4x5x6x7x7Q62x1x2x3x4x5x6x7x6Q62x1x2x3x4x5x6x7x5Q62x1x2x3x4x5x6x7x4Q62x1x2x3x4x5x6x7x3Q62x1x2x3x4x5x6x7x2Q62x1x2x3x4x5x6x7x1Q63x1x2x3x4x5x6x7x7Q63x1x2x3x4x5x6x7x6Q63x1x2x3x4x5x6x7x5Q63x1x2x3x4x5x6x7x4Q63x1x2x3x4x5x6x7x3Q63x1x2x3x4x5x6x7x2Q63x1x2x3x4x5x6x7x1Q64x1x2x3x4x5x6x7x7Q64x1x2x3x4x5x6x7x6Q64x1x2x3x4x5x6x7x5Q64x1x2x3x4x5x6x7x4Q64x1x2x3x4x5x6x7x3Q64x1x2x3x4x5x6x7x2Q64x1x2x3x4x5x6x7x1Q65x1x2x3x4x5x6x7x7Q65x1x2x3x4x5x6x7x6Q65x1x2x3x4x5x6x7x5Q65x1x2x3x4x5x6x7x4Q65x1x2x3x4x5x6x7x3Q65x1x2x3x4x5x6x7x2Q65x1x2x3x4x5x6x7x1Q66x1x2x3x4x5x6x7x7Q66x1x2x3x4x5x6x7x6Q66x1x2x3x4x5x6x7x5Q66x1x2x3x4x5x6x7x4Q66x1x2x3x4x5x6x7x3Q66x1x2x3x4x5x6x7x2Q66x1x2x3x4x5x6x7x1R1x1x2x3x3R1x1x2x3x2R1x1x2x3x1R2x1x2x3x4x4R2x1x2x3x4x3R2x1x2x3x4x2R2x1x2x3x4x1R3x1x2x3x4x5x5R3x1x2x3x4x5x4R3x1x2x3x4x5x3R3x1x2x3x4x5x2R3x1x2x3x4x5x1R4x1x2x3x4x5x6x6R4x1x2x3x4x5x6x5R4x1x2x3x4x5x6x4R4x1x2x3x4x5x6x3R4x1x2x3x4x5x6x2R4x1x2x3x4x5x6x1R5x1x2x3x4x5x6x7x7R5x1x2x3x4x5x6x7x6R5x1x2x3x4x5x6x7x5R5x1x2x3x4x5x6x7x4R5x1x2x3x4x5x6x7x3R5x1x2x3x4x5x6x7x2R5x1x2x3x4x5x6x7x1R6x1x2x3x4x5x6x7x8x8R6x1x2x3x4x5x6x7x8x7R6x1x2x3x4x5x6x7x8x6R6x1x2x3x4x5x6x7x8x5R6x1x2x3x4x5x6x7x8x4R6x1x2x3x4x5x6x7x8x3R6x1x2x3x4x5x6x7x8x2R6x1x2x3x4x5x6x7x8x1P0000000S0+xSyS+xyalxlaaxloxollxoxlxlxaxaSxSlxa+xy+lxya+xy+xlyaPx1x2x3x4x5x6x7Px1x2x3x4x5x6lx7aPx1x2x3x4x5x6x7Px1x2x3x4x5lx6x7aPx1x2x3x4x5x6x7Px1x2x3x4lx5x6x7aPx1x2x3x4x5x6x7Px1x2x3lx4x5x6x7aPx1x2x3x4x5x6x7Px1x2lx3x4x5x6x7aPx1x2x3x4x5x6x7Px1lx2x3x4x5x6x7aPx1x2x3x4x5x6x7Plx1x2x3x4x5x6x7+xoyo+xyPx1x2x3x4x5x6ox7oPx1x2x3x4x5x6x7Px1x2x3x4x5ox6x7oPx1x2x3x4x5x6x7Px1x2x3x4ox5x6x7oPx1x2x3x4x5x6x7Px1x2x3ox4x5x6x7oPx1x2x3x4x5x6x7Px1x2ox3x4x5x6x7oPx1x2x3x4x5x6x7Px1ox2x3x4x5x6x7oPx1x2x3x4x5x6x7Pox1x2x3x4x5x6x7oPx1x2x3x4x5x6x7Mx1x2x3x4x5x6ly+Mx1x2x3x4x5x6yPx1x2x3x4x5x6yJ6x1x2x3x4x5lx6yPx1x2x3x4x5J6x1x2x3x4x5x6y0J5x1x2x3x4lx5yPx1x2x3x4J5x1x2x3x4x5y00J4x1x2x3lx4yPx1x2x3J4x1x2x3x4y000J3x1x2lx3yPx1x2J3x1x2x3y0000J2x1lx2yPx1J2x1x2y00000J1lx1yPJ1x1y000000aSxoxP000000SyoM000000yP000000Px1x2x3x4x5x6yoMx1x2x3x4x5x6yPx1x2x3x4x5Sx6yoJ6x1x2x3x4x5x6yPx1x2x3x4Sx50yoJ5x1x2x3x4x5yPx1x2x3Sx400yoJ4x1x2x3x4yPx1x2Sx3000yoJ3x1x2x3yPx1Sx20000yoJ2x1x2yPSx100000yoJ1x1yPx1x2x3x4x5Sx6SyoJ6x1x2x3x4x5x6Px1x2x3x4x5Sx6yPx1x2x3x4Sx50SyoJ5x1x2x3x4x5Px1x2x3x4Sx50yPx1x2x3Sx400SyoJ4x1x2x3x4Px1x2x3Sx400yPx1x2Sx3000SyoJ3x1x2x3Px1x2Sx3000yPx1Sx20000SyoJ2x1x2Px1Sx20000yPSx100000SyoJ1x1PSx100000yaPx1x2x3x4x5x60Q66x1x2x3x4x5ax6x6aPx1x2x3x4x5x60Q65x1x2x3x4x5ax6x5aPx1x2x3x4x5x60Q64x1x2x3x4x5ax6x4aPx1x2x3x4x5x60Q63x1x2x3x4x5ax6x3aPx1x2x3x4x5x60Q62x1x2x3x4x5ax6x2aPx1x2x3x4x5x60Q61x1x2x3x4x5ax6x1aPx1x2x3x4x500Q55x1x2x3x4ax5x5aPx1x2x3x4x500Q54x1x2x3x4ax5x4aPx1x2x3x4x500Q53x1x2x3x4ax5x3aPx1x2x3x4x500Q52x1x2x3x4ax5x2aPx1x2x3x4x500Q51x1x2x3x4ax5x1aPx1x2x3x4000Q44x1x2x3ax4x4aPx1x2x3x4000Q43x1x2x3ax4x3aPx1x2x3x4000Q42x1x2x3ax4x2aPx1x2x3x4000Q41x1x2x3ax4x1aPx1x2x30000Q33x1x2ax3x3aPx1x2x30000Q32x1x2ax3x2aPx1x2x30000Q31x1x2ax3x1aPx1x200000Q22x1ax2x2aPx1x200000Q21x1ax2x1aPx1000000Q11ax1x1Q66x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ65x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ64x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ63x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ62x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ61x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ55x1x2x3x4ox5yoPx1x2x3x4x50yQ54x1x2x3x4ox5yoPx1x2x3x4x50yQ53x1x2x3x4ox5yoPx1x2x3x4x50yQ52x1x2x3x4ox5yoPx1x2x3x4x50yQ51x1x2x3x4ox5yoPx1x2x3x4x50yQ44x1x2x3ox4yoPx1x2x3x400yQ43x1x2x3ox4yoPx1x2x3x400yQ42x1x2x3ox4yoPx1x2x3x400yQ41x1x2x3ox4yoPx1x2x3x400yQ33x1x2ox3yoPx1x2x3000yQ32x1x2ox3yoPx1x2x3000yQ31x1x2ox3yoPx1x2x3000yQ22x1ox2yoPx1x20000yQ21x1ox2yoPx1x20000yQ11ox1yoPx100000yaPx1x2x3x4x5x6SyR6x1x2x3x4x5ax6x6yaPx1x2x3x4x50SyR5x1x2x3x4ax5x5yaPx1x2x3x400SyR4x1x2x3ax4x4yaPx1x2x3000SyR3x1x2ax3x3yaPx1x20000SyR2x1ax2x2yaPx100000SyR1ax1x1yR6x1x2x3x4x5ox6yzoPx1x2x3x4x5x6Px1x2x3x4x5yzR5x1x2x3x4ox5yzoPx1x2x3x4x50Px1x2x3x4y0zR4x1x2x3ox4yzoPx1x2x3x400Px1x2x3y00zR3x1x2ox3yzoPx1x2x3000Px1x2y000zR2x1ox2yzoPx1x20000Px1y0000zR1ox1yzoPx100000Py00000z2.1ax1x1ox1x1lx1x1Sx1x1+x1x2x2+x1x2x1Px1x2x3x4x5x6x7x7Px1x2x3x4x5x6x7x6Px1x2x3x4x5x6x7x5Px1x2x3x4x5x6x7x4Px1x2x3x4x5x6x7x3Px1x2x3x4x5x6x7x2Px1x2x3x4x5x6x7x1Mx1x2x3x4x5x6x7x7Mx1x2x3x4x5x6x7x6Mx1x2x3x4x5x6x7x5Mx1x2x3x4x5x6x7x4Mx1x2x3x4x5x6x7x3Mx1x2x3x4x5x6x7x2Mx1x2x3x4x5x6x7x1J1x1x2x2J1x1x2x1J2x1x2x3x3J2x1x2x3x2J2x1x2x3x1J3x1x2x3x4x4J3x1x2x3x4x3J3x1x2x3x4x2J3x1x2x3x4x1J4x1x2x3x4x5x5J4x1x2x3x4x5x4J4x1x2x3x4x5x3J4x1x2x3x4x5x2J4x1x2x3x4x5x1J5x1x2x3x4x5x6x6J5x1x2x3x4x5x6x5J5x1x2x3x4x5x6x4J5x1x2x3x4x5x6x3J5x1x2x3x4x5x6x2J5x1x2x3x4x5x6x1J6x1x2x3x4x5x6x7x7J6x1x2x3x4x5x6x7x6J6x1x2x3x4x5x6x7x5J6x1x2x3x4x5x6x7x4J6x1x2x3x4x5x6x7x3J6x1x2x3x4x5x6x7x2J6x1x2x3x4x5x6x7x1Q11x1x2x2Q11x1x2x1Q21x1x2x3x3Q21x1x2x3x2Q21x1x2x3x1Q22x1x2x3x3Q22x1x2x3x2Q22x1x2x3x1Q31x1x2x3x4x4Q31x1x2x3x4x3Q31x1x2x3x4x2Q31x1x2x3x4x1Q32x1x2x3x4x4Q32x1x2x3x4x3Q32x1x2x3x4x2Q32x1x2x3x4x1Q33x1x2x3x4x4Q33x1x2x3x4x3Q33x1x2x3x4x2Q33x1x2x3x4x1Q41x1x2x3x4x5x5Q41x1x2x3x4x5x4Q41x1x2x3x4x5x3Q41x1x2x3x4x5x2Q41x1x2x3x4x5x1Q42x1x2x3x4x5x5Q42x1x2x3x4x5x4Q42x1x2x3x4x5x3Q42x1x2x3x4x5x2Q42x1x2x3x4x5x1Q43x1x2x3x4x5x5Q43x1x2x3x4x5x4Q43x1x2x3x4x5x3Q43x1x2x3x4x5x2Q43x1x2x3x4x5x1Q44x1x2x3x4x5x5Q44x1x2x3x4x5x4Q44x1x2x3x4x5x3Q44x1x2x3x4x5x2Q44x1x2x3x4x5x1Q51x1x2x3x4x5x6x6Q51x1x2x3x4x5x6x5Q51x1x2x3x4x5x6x4Q51x1x2x3x4x5x6x3Q51x1x2x3x4x5x6x2Q51x1x2x3x4x5x6x1Q52x1x2x3x4x5x6x6Q52x1x2x3x4x5x6x5Q52x1x2x3x4x5x6x4Q52x1x2x3x4x5x6x3Q52x1x2x3x4x5x6x2Q52x1x2x3x4x5x6x1Q53x1x2x3x4x5x6x6Q53x1x2x3x4x5x6x5Q53x1x2x3x4x5x6x4Q53x1x2x3x4x5x6x3Q53x1x2x3x4x5x6x2Q53x1x2x3x4x5x6x1Q54x1x2x3x4x5x6x6Q54x1x2x3x4x5x6x5Q54x1x2x3x4x5x6x4Q54x1x2x3x4x5x6x3Q54x1x2x3x4x5x6x2Q54x1x2x3x4x5x6x1Q55x1x2x3x4x5x6x6Q55x1x2x3x4x5x6x5Q55x1x2x3x4x5x6x4Q55x1x2x3x4x5x6x3Q55x1x2x3x4x5x6x2Q55x1x2x3x4x5x6x1Q61x1x2x3x4x5x6x7x7Q61x1x2x3x4x5x6x7x6Q61x1x2x3x4x5x6x7x5Q61x1x2x3x4x5x6x7x4Q61x1x2x3x4x5x6x7x3Q61x1x2x3x4x5x6x7x2Q61x1x2x3x4x5x6x7x1Q62x1x2x3x4x5x6x7x7Q62x1x2x3x4x5x6x7x6Q62x1x2x3x4x5x6x7x5Q62x1x2x3x4x5x6x7x4Q62x1x2x3x4x5x6x7x3Q62x1x2x3x4x5x6x7x2Q62x1x2x3x4x5x6x7x1Q63x1x2x3x4x5x6x7x7Q63x1x2x3x4x5x6x7x6Q63x1x2x3x4x5x6x7x5Q63x1x2x3x4x5x6x7x4Q63x1x2x3x4x5x6x7x3Q63x1x2x3x4x5x6x7x2Q63x1x2x3x4x5x6x7x1Q64x1x2x3x4x5x6x7x7Q64x1x2x3x4x5x6x7x6Q64x1x2x3x4x5x6x7x5Q64x1x2x3x4x5x6x7x4Q64x1x2x3x4x5x6x7x3Q64x1x2x3x4x5x6x7x2Q64x1x2x3x4x5x6x7x1Q65x1x2x3x4x5x6x7x7Q65x1x2x3x4x5x6x7x6Q65x1x2x3x4x5x6x7x5Q65x1x2x3x4x5x6x7x4Q65x1x2x3x4x5x6x7x3Q65x1x2x3x4x5x6x7x2Q65x1x2x3x4x5x6x7x1Q66x1x2x3x4x5x6x7x7Q66x1x2x3x4x5x6x7x6Q66x1x2x3x4x5x6x7x5Q66x1x2x3x4x5x6x7x4Q66x1x2x3x4x5x6x7x3Q66x1x2x3x4x5x6x7x2Q66x1x2x3x4x5x6x7x1R1x1x2x3x3R1x1x2x3x2R1x1x2x3x1R2x1x2x3x4x4R2x1x2x3x4x3R2x1x2x3x4x2R2x1x2x3x4x1R3x1x2x3x4x5x5R3x1x2x3x4x5x4R3x1x2x3x4x5x3R3x1x2x3x4x5x2R3x1x2x3x4x5x1R4x1x2x3x4x5x6x6R4x1x2x3x4x5x6x5R4x1x2x3x4x5x6x4R4x1x2x3x4x5x6x3R4x1x2x3x4x5x6x2R4x1x2x3x4x5x6x1R5x1x2x3x4x5x6x7x7R5x1x2x3x4x5x6x7x6R5x1x2x3x4x5x6x7x5R5x1x2x3x4x5x6x7x4R5x1x2x3x4x5x6x7x3R5x1x2x3x4x5x6x7x2R5x1x2x3x4x5x6x7x1R6x1x2x3x4x5x6x7x8x8R6x1x2x3x4x5x6x7x8x7R6x1x2x3x4x5x6x7x8x6R6x1x2x3x4x5x6x7x8x5R6x1x2x3x4x5x6x7x8x4R6x1x2x3x4x5x6x7x8x3R6x1x2x3x4x5x6x7x8x2R6x1x2x3x4x5x6x7x8x1P0000000S0+xSyS+xyalxlaaxloxollxoxlxlxaxaSxSlxa+xy+lxya+xy+xlyaPx1x2x3x4x5x6x7Px1x2x3x4x5x6lx7aPx1x2x3x4x5x6x7Px1x2x3x4x5lx6x7aPx1x2x3x4x5x6x7Px1x2x3x4lx5x6x7aPx1x2x3x4x5x6x7Px1x2x3lx4x5x6x7aPx1x2x3x4x5x6x7Px1x2lx3x4x5x6x7aPx1x2x3x4x5x6x7Px1lx2x3x4x5x6x7aPx1x2x3x4x5x6x7Plx1x2x3x4x5x6x7+xoyo+xyPx1x2x3x4x5x6ox7oPx1x2x3x4x5x6x7Px1x2x3x4x5ox6x7oPx1x2x3x4x5x6x7Px1x2x3x4ox5x6x7oPx1x2x3x4x5x6x7Px1x2x3ox4x5x6x7oPx1x2x3x4x5x6x7Px1x2ox3x4x5x6x7oPx1x2x3x4x5x6x7Px1ox2x3x4x5x6x7oPx1x2x3x4x5x6x7Pox1x2x3x4x5x6x7oPx1x2x3x4x5x6x7Mx1x2x3x4x5x6ly+Mx1x2x3x4x5x6yPx1x2x3x4x5x6yJ6x1x2x3x4x5lx6yPx1x2x3x4x5J6x1x2x3x4x5x6y0J5x1x2x3x4lx5yPx1x2x3x4J5x1x2x3x4x5y00J4x1x2x3lx4yPx1x2x3J4x1x2x3x4y000J3x1x2lx3yPx1x2J3x1x2x3y0000J2x1lx2yPx1J2x1x2y00000J1lx1yPJ1x1y000000aSxoxP000000SyoM000000yP000000Px1x2x3x4x5x6yoMx1x2x3x4x5x6yPx1x2x3x4x5Sx6yoJ6x1x2x3x4x5x6yPx1x2x3x4Sx50yoJ5x1x2x3x4x5yPx1x2x3Sx400yoJ4x1x2x3x4yPx1x2Sx3000yoJ3x1x2x3yPx1Sx20000yoJ2x1x2yPSx100000yoJ1x1yPx1x2x3x4x5Sx6SyoJ6x1x2x3x4x5x6Px1x2x3x4x5Sx6yPx1x2x3x4Sx50SyoJ5x1x2x3x4x5Px1x2x3x4Sx50yPx1x2x3Sx400SyoJ4x1x2x3x4Px1x2x3Sx400yPx1x2Sx3000SyoJ3x1x2x3Px1x2Sx3000yPx1Sx20000SyoJ2x1x2Px1Sx20000yPSx100000SyoJ1x1PSx100000yaPx1x2x3x4x5x60Q66x1x2x3x4x5ax6x6aPx1x2x3x4x5x60Q65x1x2x3x4x5ax6x5aPx1x2x3x4x5x60Q64x1x2x3x4x5ax6x4aPx1x2x3x4x5x60Q63x1x2x3x4x5ax6x3aPx1x2x3x4x5x60Q62x1x2x3x4x5ax6x2aPx1x2x3x4x5x60Q61x1x2x3x4x5ax6x1aPx1x2x3x4x500Q55x1x2x3x4ax5x5aPx1x2x3x4x500Q54x1x2x3x4ax5x4aPx1x2x3x4x500Q53x1x2x3x4ax5x3aPx1x2x3x4x500Q52x1x2x3x4ax5x2aPx1x2x3x4x500Q51x1x2x3x4ax5x1aPx1x2x3x4000Q44x1x2x3ax4x4aPx1x2x3x4000Q43x1x2x3ax4x3aPx1x2x3x4000Q42x1x2x3ax4x2aPx1x2x3x4000Q41x1x2x3ax4x1aPx1x2x30000Q33x1x2ax3x3aPx1x2x30000Q32x1x2ax3x2aPx1x2x30000Q31x1x2ax3x1aPx1x200000Q22x1ax2x2aPx1x200000Q21x1ax2x1aPx1000000Q11ax1x1Q66x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ65x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ64x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ63x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ62x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ61x1x2x3x4x5ox6yoPx1x2x3x4x5x6yQ55x1x2x3x4ox5yoPx1x2x3x4x50yQ54x1x2x3x4ox5yoPx1x2x3x4x50yQ53x1x2x3x4ox5yoPx1x2x3x4x50yQ52x1x2x3x4ox5yoPx1x2x3x4x50yQ51x1x2x3x4ox5yoPx1x2x3x4x50yQ44x1x2x3ox4yoPx1x2x3x400yQ43x1x2x3ox4yoPx1x2x3x400yQ42x1x2x3ox4yoPx1x2x3x400yQ41x1x2x3ox4yoPx1x2x3x400yQ33x1x2ox3yoPx1x2x3000yQ32x1x2ox3yoPx1x2x3000yQ31x1x2ox3yoPx1x2x3000yQ22x1ox2yoPx1x20000yQ21x1ox2yoPx1x20000yQ11ox1yoPx100000yaPx1x2x3x4x5x6SyR6x1x2x3x4x5ax6x6yaPx1x2x3x4x50SyR5x1x2x3x4ax5x5yaPx1x2x3x400SyR4x1x2x3ax4x4yaPx1x2x3000SyR3x1x2ax3x3yaPx1x20000SyR2x1ax2x2yaPx100000SyR1ax1x1yR6x1x2x3x4x5ox6yzoPx1x2x3x4x5x6Px1x2x3x4x5yzR5x1x2x3x4ox5yzoPx1x2x3x4x50Px1x2x3x4y0zR4x1x2x3ox4yzoPx1x2x3x400Px1x2x3y00zR3x1x2ox3yzoPx1x2x3000Px1x2y000zR2x1ox2yzoPx1x20000Px1y0000zR1ox1yzoPx100000Py00000zttt2ttt2 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])))