\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]); # [ true, false, false, false, true ]
\[do\]([ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]); # [ true, false, false, false, false ]
\[do\]([ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 5, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]); # [ true, false, true, true, false ]
\[do\]([ 3, 2, t^2-t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]); # [ false, true, false, false, true ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ]); # [ false, false, false, false, true ]
\[do\]([ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 15, 2, t^4+t+1, [ 51, 3, 3, "1^3 3^1 15^3", 3 ], true, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 15, 2, t^4+t^3+1, [ 51, 3, 3, "1^3 3^1 15^3", 3 ], true, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 1, 3, t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]); # [ true, true, true, false, false ]
\[do\]([ 2, 3, t-1, [ 2, 0, 2, "2^1", 2 ], false, 2 ]); # [ false, true, true, false, false ]
\[do\]([ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ]); # [ false, false, true, false, false ]
\[do\]([ 5, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ]); # [ false, false, true, false, false ]
\[do\]([ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]); # [ true, true, true, false, false ]
\[do\]([ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]); # [ true, true, true, false, false ]
\[do\]([ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 8, 5, t^2+2, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 8, 5, t^2+3, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 12, 5, t^2+2*t+4, [ 52, 0, 4, "1^4 12^4", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 12, 5, t^2+3*t+4, [ 52, 0, 4, "1^4 12^4", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 1, 7, t+1, [ 24, 0, 0, "1^3 7^3", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]); # [ true, true, false, false, true ]
\[do\]([ 12, 13, t+2, [ 42, 0, 3, "1^3 3^1 12^3", 3 ], true, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 12, 13, t+6, [ 42, 0, 3, "1^3 3^1 12^3", 3 ], true, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 12, 13, t+7, [ 42, 0, 3, "1^3 3^1 12^3", 3 ], true, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 12, 13, t+11, [ 42, 0, 3, "1^3 3^1 12^3", 3 ], true, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 9, 19, t+4, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 19, t+5, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 19, t+6, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 19, t+9, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 19, t+16, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 19, t+17, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 18, 19, t+2, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 18, 19, t+3, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 18, 19, t+10, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 18, 19, t+13, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 18, 19, t+14, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 18, 19, t+15, [ 40, 2, 4, "1^2 2^1 18^2", 2 ], fail, 1 ]); # [ true, true, true, true, true ]
\[do\]([ 7, 29, t+7, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 29, t+16, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 29, t+20, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 29, t+23, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 29, t+24, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 29, t+25, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 9, 37, t+7, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 37, t+9, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 37, t+12, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 37, t+16, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 37, t+33, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 9, 37, t+34, [ 76, 0, 4, "1^4 9^8", 2 ], fail, 1 ]); # [ true, true, true, true, false ]
\[do\]([ 7, 43, t+4, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 43, t+11, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 43, t+16, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 43, t+21, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 43, t+35, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
\[do\]([ 7, 43, t+41, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ]); # [ true, true, false, false, false ]
