[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ],
  [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ] ]
[ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ] ]
[ [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ],
  [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
[ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ],
  [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ],
  [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ] ]
[ [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ] ]
[ [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ],
  [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ],
  [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ] ]
[ [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ],
  [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ],
  [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ] ]
