[[5, 0, 1, 10, 10, x^10 + x^2 - x + 3, [10, "t", [10, 1], "C10"], 10, [1, "e", [], "<e>"], [], [1, 10], [t^10 + t^2 - t + 3, y - 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - x + 2]]], 0, 0, 0, 10], [5, 5, 2, 5, 10, x^10 - 2*x^6 - 2*x^5 + x^2 + 2*x - 4, [10, "t", [10, 1], "C10"], 10, [2, "i", [2, 1], "C2"], [], [2, 5], [t^5 - t + 2, y^2 - 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - x + 2]]], 0, 0, 1/2, 10], [5, 5, 2, 5, 10, x^10 + 20*x^8 + 250*x^4 + 6250, [10, "t", [10, 1], "C10"], 10, [2, "i", [2, 1], "C2"], [], [2, 5], [t^5 - t + 2, y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - x + 2]]], 0, 0, 1/2, 10], [5, 10, 5, 2, 10, x^10 + 10*x^5 + 75*x^2 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + 10*t*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 5*x^6 + 10*x^5 + 50*x^2 + 25*x + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (10*t + 15)*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 10*x^5 + 50*x^2 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + 5*t*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 20*x^6 + 10*x^5 + 50*x^2 + 100*x + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (10*t + 10)*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 15*x^6 + 10*x^5 + 75*x^2 + 75*x + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (5*t + 20)*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 10*x^6 + 10*x^5 + 75*x^2 + 50*x + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (5*t + 5)*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 10*x^8 + 10*x^5 - 20*x^4 - 20*x^2 + 12, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [5/4], [4, 2], [t^2 + 2, y^5 + 5*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 5*x + 5]]], 0, 0, 23/20, 2], [5, 10, 5, 2, 10, x^10 + 10*x^8 + 20*x^6 + 10*x^5 - 20*x^4 - 20*x^2 + 22, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [5/4], [4, 2], [t^2 + 2, y^5 + 15*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 15*x + 5]]], 0, 0, 23/20, 2], [5, 10, 5, 2, 10, x^10 + 10*x^8 + 10*x^6 + 10*x^5 - 20*x^4 - 20*x^2 + 17, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [5/4], [4, 2], [t^2 + 2, y^5 + 10*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 10*x + 5]]], 0, 0, 23/20, 2], [5, 10, 5, 2, 10, x^10 + 10*x^8 + 5*x^6 + 10*x^5 - 20*x^4 - 20*x^2 + 2, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [5/4], [4, 2], [t^2 + 2, y^5 + 20*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 20*x + 5]]], 0, 0, 23/20, 2], [5, 10, 5, 2, 10, x^10 + 5*x^6 + 10*x^5 + 25*x^2 + 25*x + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (5*t + 15)*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 20*x^6 + 10*x^5 + 25*x^2 + 100*x + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (5*t + 10)*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 15*x^6 + 10*x^5 + 100*x^2 + 75*x + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (10*t + 20)*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 5, 2, 10, x^10 + 10*x^6 + 10*x^5 + 100*x^2 + 50*x + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 5/4], [4, 2], [t^2 + 2, y^5 + (10*t + 5)*y + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 123/100, 1], [5, 10, 10, 1, 10, x^10 + 20*x + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [9/8, 9/8], [8, 2], [t + 2, y^10 + 20*y^2 + 20*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 223/200, 1], [5, 10, 10, 1, 10, x^10 + 10*x + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [9/8, 9/8], [8, 2], [t + 2, y^10 + 5*y^2 + 10*y + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 223/200, 1], [5, 10, 10, 1, 10, x^10 + 20*x + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [9/8, 9/8], [8, 2], [t + 2, y^10 + 10*y^2 + 20*y + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 223/200, 1], [5, 10, 10, 1, 10, x^10 + 15*x + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [9/8, 9/8], [8, 2], [t + 2, y^10 + 40*y^2 + 40*y + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 223/200, 1], [5, 11, 10, 1, 10, x^10 + 20*x^2 + 5, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [5/4], [4, 1], [t + 2, y^10 + 20*y^4 + 20*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 20*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 5*x^2 + 5, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [5/4], [4, 1], [t + 2, y^10 + 45*y^4 + 30*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 5*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 10*x^2 + 5, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [5/4], [4, 2], [t + 2, y^10 + 5*y^4 + 10*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 10*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 15*x^2 + 5, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [5/4], [4, 2], [t + 2, y^10 + 80*y^4 + 40*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 15*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 15*x^2 + 10, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [5/4], [4, 1], [t + 2, y^10 + 40*y^4 + 40*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 15*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 10*x^2 + 10, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [5/4], [4, 1], [t + 2, y^10 + 90*y^4 + 60*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 10*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 5*x^2 + 10, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [5/4], [4, 2], [t + 2, y^10 + 160*y^4 + 80*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 5*x + 5]]], 0, 0, 23/20, 2], [5, 11, 10, 1, 10, x^10 + 20*x^2 + 10, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [5/4], [4, 2], [t + 2, y^10 + 10*y^4 + 20*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 20*x + 5]]], 0, 0, 23/20, 2], [5, 12, 5, 2, 10, x^10 + 10*x^5 + 75*x^4 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + 10*t*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 15*x^7 + 10*x^5 + 75*x^4 + 75*x^2 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + (5*t + 20)*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 5*x^7 + 10*x^5 + 50*x^4 + 25*x^2 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + (10*t + 15)*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 10*x^5 + 50*x^4 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + 5*t*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 20*x^7 + 10*x^5 + 50*x^4 + 100*x^2 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + (10*t + 10)*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 10*x^7 + 10*x^5 + 75*x^4 + 50*x^2 + 25, [200, "t", [10, 18]], 200, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 4], [t^2 + 2, y^5 + (5*t + 5)*y^2 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 10*x^8 + 5*x^7 + 15*x^6 + 5*x^4 + 5*x^2 - 20*x + 7, [20, "t", [10, 3], "D10"], 20, [10, "i", [10, 2], "D5"], [3/2], [2, 2], [t^2 + 2, y^5 + 15*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 15*x^2 + 5]]], 0, 0, 13/10, 2], [5, 12, 5, 2, 10, x^10 + 10*x^8 + 15*x^7 + 15*x^6 - 20*x^5 + 5*x^4 + 5*x^2 - 10*x + 7, [20, "t", [10, 4], "F5"], 20, [10, "i", [], "D5"], [3/2], [2, 2], [t^2 + 2, y^5 + 20*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 20*x^2 + 5]]], 0, 0, 13/10, 2], [5, 12, 5, 2, 10, x^10 + 10*x^8 + 10*x^7 + 15*x^6 - 10*x^5 + 5*x^4 + 5*x^2 - 15*x + 7, [20, "t", [10, 4], "F5"], 20, [10, "i", [], "D5"], [3/2], [2, 2], [t^2 + 2, y^5 + 5*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 5*x^2 + 5]]], 0, 0, 13/10, 2], [5, 12, 5, 2, 10, x^10 + 10*x^8 + 20*x^7 + 15*x^6 - 5*x^5 + 5*x^4 + 5*x^2 - 5*x + 7, [20, "t", [10, 3], "D10"], 20, [10, "i", [10, 2], "D5"], [3/2], [2, 2], [t^2 + 2, y^5 + 10*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 10*x^2 + 5]]], 0, 0, 13/10, 2], [5, 12, 5, 2, 10, x^10 + 5*x^7 + 10*x^5 + 25*x^4 + 25*x^2 + 25, [100, "t", [10, 10]], 100, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 2], [t^2 + 2, y^5 + (5*t + 15)*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 20*x^7 + 10*x^5 + 25*x^4 + 100*x^2 + 25, [100, "t", [10, 10]], 100, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 2], [t^2 + 2, y^5 + (5*t + 10)*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 15*x^7 + 10*x^5 + 100*x^4 + 75*x^2 + 25, [100, "t", [10, 9]], 100, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 2], [t^2 + 2, y^5 + (10*t + 20)*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 5, 2, 10, x^10 + 10*x^7 + 10*x^5 + 100*x^4 + 50*x^2 + 25, [100, "t", [10, 9]], 100, [50, "i", [], "C52:C2"], [3/2, 3/2], [2, 2], [t^2 + 2, y^5 + (10*t + 5)*y^2 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 73/50, 1], [5, 12, 10, 1, 10, x^10 + 20*x^3 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [11/8, 11/8], [8, 2], [t + 2, y^10 + 20*y^6 + 20*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 271/200, 1], [5, 12, 10, 1, 10, x^10 + 15*x^3 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [11/8, 11/8], [8, 2], [t + 2, y^10 + 40*y^6 + 40*y^3 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 271/200, 1], [5, 12, 10, 1, 10, x^10 + 10*x^3 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [11/8, 11/8], [8, 2], [t + 2, y^10 + 5*y^6 + 10*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 271/200, 1], [5, 12, 10, 1, 10, x^10 + 20*x^3 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [11/8, 11/8], [8, 2], [t + 2, y^10 + 10*y^6 + 20*y^3 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 271/200, 1], [5, 13, 10, 1, 10, x^10 + 15*x^4 + 5, [10, "t", [10, 2], "D5"], 10, [10, "t", [10, 2], "D5"], [3/2], [2, 1], [t + 2, y^10 + 80*y^8 + 40*y^4 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 15*x^2 + 5]]], 0, 0, 13/10, 10], [5, 13, 10, 1, 10, x^10 + 10*x^4 + 5, [20, "t", [10, 3], "D10"], 20, [10, "t", [10, 2], "D5"], [3/2], [2, 2], [t + 2, y^10 + 5*y^8 + 10*y^4 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 10*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 + 20*x^4 + 5, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 2], "D5"], [3/2], [2, 4], [t + 2, y^10 + 20*y^8 + 20*y^4 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 20*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 + 5*x^4 + 5, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 2], "D5"], [3/2], [2, 4], [t + 2, y^10 + 45*y^8 + 30*y^4 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 5*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 - 20*x^5 + 15*x^4 + 5, [50, "t", [10, 6], "C5wrC2"], 50, [10, "t", [10, 2], "D5"], [3/2], [2, 5], [t + 2, y^10 + 80*y^8 - 20*y^5 + 40*y^4 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 13/10, 5], [5, 13, 10, 1, 10, x^10 - 10*x^5 + 15*x^4 + 5, [50, "t", [10, 6], "C5wrC2"], 50, [10, "t", [10, 2], "D5"], [3/2], [2, 5], [t + 2, y^10 + 80*y^8 - 10*y^5 + 40*y^4 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 13/10, 5], [5, 13, 10, 1, 10, x^10 + 5*x^4 + 10, [10, "t", [10, 2], "D5"], 10, [10, "t", [10, 2], "D5"], [3/2], [2, 1], [t + 2, y^10 + 160*y^8 + 80*y^4 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 10*x^2 + 5]]], 0, 0, 13/10, 10], [5, 13, 10, 1, 10, x^10 + 20*x^4 + 10, [20, "t", [10, 3], "D10"], 20, [10, "t", [10, 2], "D5"], [3/2], [2, 2], [t + 2, y^10 + 10*y^8 + 20*y^4 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 15*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 + 15*x^4 + 10, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 2], "D5"], [3/2], [2, 4], [t + 2, y^10 + 40*y^8 + 40*y^4 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 5*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 + 10*x^4 + 10, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 2], "D5"], [3/2], [2, 4], [t + 2, y^10 + 90*y^8 + 60*y^4 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 20*x^2 + 5]]], 0, 0, 13/10, 2], [5, 13, 10, 1, 10, x^10 - 15*x^5 + 5*x^4 + 10, [50, "t", [10, 6], "C5wrC2"], 50, [10, "t", [10, 2], "D5"], [3/2], [2, 5], [t + 2, y^10 + 160*y^8 - 40*y^5 + 80*y^4 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 13/10, 5], [5, 13, 10, 1, 10, x^10 - 20*x^5 + 5*x^4 + 10, [50, "t", [10, 6], "C5wrC2"], 50, [10, "t", [10, 2], "D5"], [3/2], [2, 5], [t + 2, y^10 + 160*y^8 - 20*y^5 + 80*y^4 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 13/10, 5], [5, 14, 5, 2, 10, x^10 + 20*x^8 + 50*x^6 + 10*x^5 + 100*x^3 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (10*t + 10)*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 5*x^8 + 50*x^6 + 10*x^5 + 25*x^3 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (10*t + 15)*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 15*x^8 + 75*x^6 + 10*x^5 + 75*x^3 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (5*t + 20)*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 50*x^6 + 10*x^5 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + 5*t*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 75*x^6 + 10*x^5 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + 10*t*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 10*x^8 + 75*x^6 + 10*x^5 + 50*x^3 + 25, [200, "t", [10, 18]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (5*t + 5)*y^3 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 20*x^8 + 5*x^6 + 10*x^5 + 5*x^4 + 20*x^2 + 22, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [7/4], [4, 2], [t^2 + 2, y^5 + 5*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 5*x^3 + 5]]], 0, 0, 31/20, 2], [5, 14, 5, 2, 10, x^10 + 5*x^8 + 20*x^6 + 10*x^5 + 5*x^4 + 10*x^2 + 12, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [7/4], [4, 2], [t^2 + 2, y^5 + 10*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 10*x^3 + 5]]], 0, 0, 31/20, 2], [5, 14, 5, 2, 10, x^10 + 15*x^8 + 10*x^6 + 10*x^5 + 5*x^4 + 2, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [7/4], [4, 2], [t^2 + 2, y^5 + 15*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 15*x^3 + 5]]], 0, 0, 31/20, 2], [5, 14, 5, 2, 10, x^10 + 10*x^5 + 5*x^4 + 15*x^2 + 17, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [7/4], [4, 2], [t^2 + 2, y^5 + 20*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 20*x^3 + 5]]], 0, 0, 31/20, 2], [5, 14, 5, 2, 10, x^10 + 10*x^8 + 100*x^6 + 10*x^5 + 50*x^3 + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (10*t + 5)*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 20*x^8 + 25*x^6 + 10*x^5 + 100*x^3 + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (5*t + 10)*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 15*x^8 + 100*x^6 + 10*x^5 + 75*x^3 + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (10*t + 20)*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 14, 5, 2, 10, x^10 + 5*x^8 + 25*x^6 + 10*x^5 + 25*x^3 + 25, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [7/4, 7/4], [4, 2], [t^2 + 2, y^5 + (5*t + 15)*y^3 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 171/100, 1], [5, 15, 10, 1, 10, x^10 - 10*x^6 + 5, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [7/4], [4, 1], [t + 2, y^10 - 10*y^6 + 25*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 15*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 15*x^6 + 5, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [7/4], [4, 1], [t + 2, y^10 - 40*y^6 + 400*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 10*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 20*x^6 + 5, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [7/4], [4, 2], [t + 2, y^10 - 20*y^6 + 100*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 5*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 5*x^6 + 5, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [7/4], [4, 2], [t + 2, y^10 - 30*y^6 + 225*y^2 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 20*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 15*x^6 - 20*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 40*y^6 - 20*y^5 + 400*y^2 + 400*y + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 15*x^6 - 10*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 40*y^6 - 10*y^5 + 400*y^2 + 200*y + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 10*x^6 - 20*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 10*y^6 - 20*y^5 + 25*y^2 + 100*y + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 10*x^6 - 10*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 10*y^6 - 10*y^5 + 25*y^2 + 50*y + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 5*x^6 - 20*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 30*y^6 - 20*y^5 + 225*y^2 + 300*y + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 20*x^6 - 20*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 20*y^6 - 20*y^5 + 100*y^2 + 200*y + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 20*x^6 - 10*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 20*y^6 - 10*y^5 + 100*y^2 + 100*y + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 5*x^6 - 10*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 30*y^6 - 10*y^5 + 225*y^2 + 150*y + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 20*x^6 + 10, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [7/4], [4, 1], [t + 2, y^10 - 20*y^6 + 100*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 20*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 5*x^6 + 10, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [7/4], [4, 1], [t + 2, y^10 - 80*y^6 + 1600*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 5*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 15*x^6 + 10, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [7/4], [4, 2], [t + 2, y^10 - 40*y^6 + 400*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 15*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 10*x^6 + 10, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [7/4], [4, 2], [t + 2, y^10 - 60*y^6 + 900*y^2 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 10*x^3 + 5]]], 0, 0, 31/20, 2], [5, 15, 10, 1, 10, x^10 - 5*x^6 - 15*x^5 + 10, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 80*y^6 - 40*y^5 + 1600*y^2 + 1600*y + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 20*x^6 - 15*x^5 + 10, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 20*y^6 - 40*y^5 + 100*y^2 + 400*y + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 20*x^6 - 20*x^5 + 10, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 20*y^6 - 20*y^5 + 100*y^2 + 200*y + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 5*x^6 - 20*x^5 + 10, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [5/4, 7/4], [4, 1], [t + 2, y^10 - 80*y^6 - 20*y^5 + 1600*y^2 + 800*y + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 15*x^6 - 20*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 40*y^6 - 20*y^5 + 400*y^2 + 400*y + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 10*x^6 - 20*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 60*y^6 - 20*y^5 + 900*y^2 + 600*y + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 15*x^6 - 15*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 40*y^6 - 40*y^5 + 400*y^2 + 800*y + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 15, 10, 1, 10, x^10 - 10*x^6 - 15*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [5/4, 7/4], [4, 2], [t + 2, y^10 - 60*y^6 - 40*y^5 + 900*y^2 + 1200*y + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 163/100, 1], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 50*x^8 + 10*x^5 + 100*x^4 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + (10*t + 10)*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 50*x^8 + 10*x^5 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + 5*t*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 75*x^8 + 10*x^5 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + 10*t*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 10*x^9 + 75*x^8 + 10*x^5 + 50*x^4 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + (5*t + 5)*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 15*x^9 + 75*x^8 + 10*x^5 + 75*x^4 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + (5*t + 20)*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 5*x^9 + 50*x^8 + 10*x^5 + 25*x^4 + 25, [200, "t", [10, 18]], 200, [25, "i", [], "C52"], [2, 2], [1, 8], [t^2 + 2, y^5 + (10*t + 15)*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 1], [5, 16, 5, 2, 10, x^10 + 40*x^9 + 10*x^8 + 70*x^7 + 15*x^6 + 95*x^5 + 5*x^4 + 80*x^3 + 5*x^2 + 90*x + 7, [10, "t", [10, 1], "C10"], 10, [5, "i", [5, 1], "C5"], [2], [1, 2], [t^2 + 2, y^5 + 20*y^4 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - 5*x^4 + 5]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 40*x^9 + 10*x^8 + 70*x^7 + 15*x^6 + 20*x^5 + 5*x^4 + 80*x^3 - 20*x^2 + 90*x + 7, [10, "t", [10, 1], "C10"], 10, [5, "i", [5, 1], "C5"], [2], [1, 2], [t^2 + 2, y^5 + 20*y^4 + 30], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - 5*x^4 + 30]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 40*x^9 + 10*x^8 + 70*x^7 + 15*x^6 + 70*x^5 + 5*x^4 - 45*x^3 - 20*x^2 + 90*x + 7, [10, "t", [10, 1], "C10"], 10, [5, "i", [5, 1], "C5"], [2], [1, 2], [t^2 + 2, y^5 + 20*y^4 + 55], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - 5*x^4 + 55]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 40*x^9 + 10*x^8 + 70*x^7 + 15*x^6 + 120*x^5 + 5*x^4 - 45*x^3 - 20*x^2 + 90*x + 7, [10, "t", [10, 1], "C10"], 10, [5, "i", [5, 1], "C5"], [2], [1, 2], [t^2 + 2, y^5 + 20*y^4 + 80], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - 5*x^4 + 80]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 40*x^9 + 10*x^8 + 70*x^7 + 15*x^6 + 45*x^5 + 5*x^4 - 45*x^3 - 20*x^2 + 90*x + 7, [10, "t", [10, 1], "C10"], 10, [5, "i", [5, 1], "C5"], [2], [1, 2], [t^2 + 2, y^5 + 20*y^4 + 105], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 - 5*x^4 + 105]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 10*x^9 + 35*x^8 + 5*x^7 + 115*x^6 + 105*x^4 + 20*x^3 + 30*x^2 + 10*x + 32, [10, "t", [10, 2], "D5"], 10, [5, "i", [], "C5"], [2], [1, 2], [t^2 + 2, 5*x^4 + (y^5 + 5)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 5*x^4 + 5]]], 0, 0, 8/5, 10], [5, 16, 5, 2, 10, x^10 + 5*x^9 + 10*x^8 + 15*x^7 + 15*x^6 + 5*x^5 + 5*x^4 + 10*x^3 + 5*x^2 + 5*x + 7, [20, "t", [10, 4], "F5"], 20, [5, "i", [], "C5"], [2], [1, 4], [t^2 + 2, y^5 + 15*y^4 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 15*x^4 + 5]]], 0, 0, 8/5, 2], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 10*x^8 + 10*x^7 + 15*x^6 + 15*x^5 + 5*x^4 + 15*x^3 + 5*x^2 + 20*x + 7, [20, "t", [10, 4], "F5"], 20, [5, "i", [], "C5"], [2], [1, 4], [t^2 + 2, y^5 + 10*y^4 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 10*x^4 + 5]]], 0, 0, 8/5, 2], [5, 16, 5, 2, 10, x^10 + 10*x^9 + 25*x^8 + 10*x^5 + 50*x^4 + 1900, [50, "t", [10, 6], "C5wrC2"], 50, [5, "i", [], "C5"], [2], [1, 10], [t^2 + 2, 5*x^4 + (y^5 + (50*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 8/5, 5], [5, 16, 5, 2, 10, x^10 + 10*x^9 + 25*x^8 + 10*x^5 + 50*x^4 + 1275, [50, "t", [10, 6], "C5wrC2"], 50, [5, "i", [], "C5"], [2], [1, 10], [t^2 + 2, 5*x^4 + (y^5 + (25*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 8/5, 5], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 25*x^8 + 10*x^5 + 475*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 10)*x^4 + (y^5 + (50*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 25*x^8 + 10*x^5 + 350*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (20*t + 10)*x^4 + (y^5 + (50*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 30*x^9 + 25*x^8 + 10*x^5 + 400*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (20*t + 15)*x^4 + (y^5 + (50*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 30*x^9 + 25*x^8 + 10*x^5 + 150*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 15)*x^4 + (y^5 + 5)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 25*x^8 + 10*x^5 + 100*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 10)*x^4 + (y^5 + 5)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 30*x^9 + 25*x^8 + 10*x^5 + 25*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 15)*x^4 + (y^5 + (25*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 25*x^8 + 10*x^5 + 600*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 10)*x^4 + (y^5 + (25*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 30*x^9 + 25*x^8 + 10*x^5 + 525*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (5*t + 15)*x^4 + (y^5 + (50*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 20*x^9 + 25*x^8 + 10*x^5 + 225*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (20*t + 10)*x^4 + (y^5 + (25*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 30*x^9 + 25*x^8 + 10*x^5 + 275*x^4 + 25, [50, "t", [10, 6], "C5wrC2"], 50, [25, "i", [], "C52"], [2, 2], [1, 2], [t^2 + 2, (20*t + 15)*x^4 + (y^5 + (25*t + 5))], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 48/25, 5], [5, 16, 5, 2, 10, x^10 + 15*x^9 + 100*x^8 + 10*x^5 + 75*x^4 + 25, [100, "t", [10, 10]], 100, [50, "i", [], "C52:C2"], [2, 2], [2, 2], [t^2 + 2, y^5 + (10*t + 20)*y^4 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 97/50, 1], [5, 16, 5, 2, 10, x^10 + 10*x^9 + 100*x^8 + 10*x^5 + 50*x^4 + 25, [100, "t", [10, 10]], 100, [50, "i", [], "C52:C2"], [2, 2], [2, 2], [t^2 + 2, y^5 + (10*t + 5)*y^4 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 97/50, 1], [5, 16, 10, 1, 10, x^10 - 5*x^7 - 20*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 30*y^7 - 20*y^5 + 225*y^4 + 300*y^2 + 105], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 15*x^7 - 20*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 40*y^7 - 20*y^5 + 400*y^4 + 400*y^2 + 105], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 10*x^7 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 10*y^7 + 25*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 15*x^7 - 15*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 40*y^7 - 40*y^5 + 400*y^4 + 800*y^2 + 410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 10*x^7 - 20*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 10*y^7 - 20*y^5 + 25*y^4 + 100*y^2 + 105], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 + 100*y^4 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 5*x^7 - 10*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 30*y^7 - 10*y^5 + 225*y^4 + 150*y^2 + 30], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 + 100*y^4 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 15*x^7 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 40*y^7 + 400*y^4 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 - 20*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 - 20*y^5 + 100*y^4 + 200*y^2 + 110], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 15*x^7 - 20*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 40*y^7 - 20*y^5 + 400*y^4 + 400*y^2 + 110], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 10*x^7 - 20*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 60*y^7 - 20*y^5 + 900*y^4 + 600*y^2 + 110], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 5*x^7 - 20*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 80*y^7 - 20*y^5 + 1600*y^4 + 800*y^2 + 110], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 - 15*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 - 40*y^5 + 100*y^4 + 400*y^2 + 410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 10*x^7 - 15*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 60*y^7 - 40*y^5 + 900*y^4 + 1200*y^2 + 410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 10*x^7 - 10*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 10*y^7 - 10*y^5 + 25*y^4 + 50*y^2 + 30], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 5*x^7 - 15*x^5 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 80*y^7 - 40*y^5 + 1600*y^4 + 1600*y^2 + 410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 - 10*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 - 10*y^5 + 100*y^4 + 100*y^2 + 30], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 15*x^7 - 10*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 40*y^7 - 10*y^5 + 400*y^4 + 200*y^2 + 30], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 16, 10, 1, 10, x^10 - 20*x^7 - 20*x^5 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [15/8, 15/8], [8, 2], [t + 2, y^10 - 20*y^7 - 20*y^5 + 100*y^4 + 200*y^2 + 105], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 367/200, 1], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 5, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - 5*x^4 + 5]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 80, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 + 80], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - 5*x^4 + 80]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 30, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 + 405], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - 5*x^4 + 30]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 105, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 + 980], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - 5*x^4 + 105]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 55, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 + 1805], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 - 5*x^4 + 55]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 20*x^8 + 5, [20, "t", [10, 3], "D10"], 20, [10, "t", [10, 1], "C10"], [2], [2, 2], [t + 2, y^10 - 20*y^8 + 100*y^6 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 5*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 15*x^8 + 5, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 1], "C10"], [2], [2, 4], [t + 2, y^10 - 40*y^8 + 400*y^6 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 10*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 5, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 1], "C10"], [2], [2, 4], [t + 2, y^10 - 10*y^8 + 25*y^6 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 15*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 10*x^5 + 30, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 10*y^5 + 150*y^3 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 105, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 20*y^5 + 300*y^3 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 10*x^5 + 105, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 10*y^5 + 150*y^3 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 55, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 20*y^5 + 300*y^3 + 180], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 10*x^5 + 55, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 10*y^5 + 150*y^3 + 430], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 5, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 20*y^5 + 300*y^3 + 505], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 10*x^5 + 5, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 10*y^5 + 150*y^3 + 1005], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 80, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 20*y^5 + 300*y^3 + 1080], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 10*x^5 + 80, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 10*y^5 + 150*y^3 + 1830], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 30, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 30*y^8 + 225*y^6 - 20*y^5 + 300*y^3 + 1905], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 20*x^8 - 10*x^5 + 5, [100, "t", [10, 9]], 100, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 2], [t + 2, y^10 - 20*y^8 + 100*y^6 - 10*y^5 + 100*y^3 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 1], [5, 17, 10, 1, 10, x^10 - 20*x^8 - 20*x^5 + 5, [100, "t", [10, 9]], 100, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 2], [t + 2, y^10 - 20*y^8 + 100*y^6 - 20*y^5 + 200*y^3 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 93/50, 1], [5, 17, 10, 1, 10, x^10 - 15*x^8 - 10*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 40*y^8 + 400*y^6 - 10*y^5 + 200*y^3 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 15*x^8 - 20*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 40*y^8 + 400*y^6 - 20*y^5 + 400*y^3 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 10*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 10*y^8 + 25*y^6 - 10*y^5 + 50*y^3 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 5, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 10*y^8 + 25*y^6 - 20*y^5 + 100*y^3 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 60, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 + 810], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - 5*x^4 + 80]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 85, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 + 15210], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - 5*x^4 + 30]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 10, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - 5*x^4 + 55]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 110, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 + 3610], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - 5*x^4 + 105]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 10*x^8 + 35, [10, "t", [10, 1], "C10"], 10, [10, "t", [10, 1], "C10"], [2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 + 8410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 - 5*x^4 + 5]]], 0, 0, 17/10, 10], [5, 17, 10, 1, 10, x^10 - 15*x^8 + 10, [20, "t", [10, 3], "D10"], 20, [10, "t", [10, 1], "C10"], [2], [2, 2], [t + 2, y^10 - 40*y^8 + 400*y^6 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 5*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 20*x^8 + 10, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 1], "C10"], [2], [2, 4], [t + 2, y^10 - 20*y^8 + 100*y^6 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 15*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 5*x^8 + 10, [40, "t", [10, 5], "F5C2"], 40, [10, "t", [10, 1], "C10"], [2], [2, 4], [t + 2, y^10 - 80*y^8 + 1600*y^6 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 10*x^4 + 5]]], 0, 0, 17/10, 2], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 15*x^5 + 35, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 40*y^5 + 1200*y^3 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 35, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 20*y^5 + 600*y^3 + 910], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 15*x^5 + 85, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 40*y^5 + 1200*y^3 + 1210], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 85, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 20*y^5 + 600*y^3 + 3710], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 15*x^5 + 10, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 40*y^5 + 1200*y^3 + 4010], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 10, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 20*y^5 + 600*y^3 + 8510], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 15*x^5 + 60, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 40*y^5 + 1200*y^3 + 8810], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 60, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 20*y^5 + 600*y^3 + 15310], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 20*x^5 + 110, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 20*y^5 + 600*y^3 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 10*x^8 - 15*x^5 + 110, [50, "t", [10, 6], "C5wrC2"], 50, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 1], [t + 2, y^10 - 60*y^8 + 900*y^6 - 40*y^5 + 1200*y^3 + 15610], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 5], [5, 17, 10, 1, 10, x^10 - 15*x^8 - 20*x^5 + 10, [100, "t", [10, 9]], 100, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 2], [t + 2, y^10 - 40*y^8 + 400*y^6 - 20*y^5 + 400*y^3 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 1], [5, 17, 10, 1, 10, x^10 - 15*x^8 - 15*x^5 + 10, [100, "t", [10, 9]], 100, [50, "t", [10, 6], "C5wrC2"], [3/2, 2], [2, 2], [t + 2, y^10 - 40*y^8 + 400*y^6 - 40*y^5 + 800*y^3 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 93/50, 1], [5, 17, 10, 1, 10, x^10 - 20*x^8 - 20*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 20*y^8 + 100*y^6 - 20*y^5 + 200*y^3 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 20*x^8 - 15*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 20*y^8 + 100*y^6 - 40*y^5 + 400*y^3 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 20*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 80*y^8 + 1600*y^6 - 20*y^5 + 800*y^3 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 187/100, 1], [5, 17, 10, 1, 10, x^10 - 5*x^8 - 15*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [3/2, 2], [4, 2], [t + 2, y^10 - 80*y^8 + 1600*y^6 - 40*y^5 + 1600*y^3 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 187/100, 1], [5, 18, 5, 2, 10, x^10 + 10*x^8 + 40*x^6 + 10*x^5 + 80*x^4 - 75*x^3 + 80*x^2 + 75*x + 57, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [9/4], [4, 2], [t^2 + 2, x^5 + 5], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 5]]], 0, 0, 39/20, 2], [5, 18, 5, 2, 10, x^10 + 10*x^8 + 40*x^6 + 60*x^5 + 80*x^4 - 75*x^3 + 80*x^2 + 75*x + 57, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [9/4], [4, 2], [t^2 + 2, x^5 + 30], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 30]]], 0, 0, 39/20, 2], [5, 18, 5, 2, 10, x^10 + 10*x^8 + 40*x^6 + 110*x^5 + 80*x^4 - 75*x^3 + 80*x^2 + 75*x + 57, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [9/4], [4, 2], [t^2 + 2, x^5 + 55], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 55]]], 0, 0, 39/20, 2], [5, 18, 5, 2, 10, x^10 + 10*x^8 + 40*x^6 + 35*x^5 + 80*x^4 - 75*x^3 + 80*x^2 + 75*x + 57, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [9/4], [4, 2], [t^2 + 2, x^5 + 80], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 80]]], 0, 0, 39/20, 2], [5, 18, 5, 2, 10, x^10 + 10*x^8 + 40*x^6 + 85*x^5 + 80*x^4 - 75*x^3 + 80*x^2 + 75*x + 57, [40, "t", [10, 5], "F5C2"], 40, [20, "i", [], "F5"], [9/4], [4, 2], [t^2 + 2, x^5 + 105], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, [x^5 + 105]]], 0, 0, 39/20, 2], [5, 18, 5, 2, 10, x^10 + 10*x^5 + 1275, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (25*t + 5)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 60*x^5 + 2150, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (25*t + 30)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 60*x^5 + 2775, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (50*t + 30)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 110*x^5 + 1150, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (25*t + 55)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 110*x^5 + 1775, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (50*t + 55)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 160*x^5 + 1400, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (25*t + 80)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 160*x^5 + 2025, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (50*t + 80)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 10*x^5 + 1900, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (50*t + 5)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 210*x^5 + 2900, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (25*t + 105)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 5, 2, 10, x^10 + 210*x^5 + 400, [200, "t", [10, 17]], 200, [100, "i", [], "C52:C4"], [5/4, 9/4], [4, 2], [t^2 + 2, x^5 + (50*t + 105)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 2]], [5, []]], 0, 0, 203/100, 1], [5, 18, 10, 1, 10, x^10 - 10*x^9 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 10*y^9 + 25*y^8 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 10*x^9 + 80, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 10*y^9 + 25*y^8 + 80], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 10*x^9 + 30, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 10*y^9 + 25*y^8 + 405], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 10*x^9 + 105, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 10*y^9 + 25*y^8 + 980], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 10*x^9 + 55, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 10*y^9 + 25*y^8 + 1805], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 80, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 80], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 30, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 405], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 105, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 980], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 55, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 1805], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 60, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 810], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 110, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 3610], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 35, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 8410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 5, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 5], 0, [1, 0], 1, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 20*x^9 + 85, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 20*y^9 + 100*y^8 + 15210], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 15*x^9 + 10, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 40*y^9 + 400*y^8 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 15*x^9 + 60, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 40*y^9 + 400*y^8 + 810], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 15*x^9 + 110, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 40*y^9 + 400*y^8 + 3610], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 15*x^9 + 35, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 40*y^9 + 400*y^8 + 8410], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 18, 10, 1, 10, x^10 - 15*x^9 + 85, [400, "t", [10, 28]], 400, [200, "t", [10, 18]], [17/8, 17/8], [8, 2], [t + 2, y^10 - 40*y^9 + 400*y^8 + 15210], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 83/40, 1], [5, 19, 10, 1, 10, x^10 + 5, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [9/4], [4, 1], [t + 2, y^10 + 5], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 5]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 80, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [9/4], [4, 1], [t + 2, y^10 + 80], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 80]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 30, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [9/4], [4, 1], [t + 2, y^10 + 405], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 30]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 105, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [9/4], [4, 1], [t + 2, y^10 + 980], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 105]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 55, [20, "t", [10, 4], "F5"], 20, [20, "t", [10, 4], "F5"], [9/4], [4, 1], [t + 2, y^10 + 1805], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, [x^5 + 55]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 - 10*x^5 + 30, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 10*y^5 + 30], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 105, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 20*y^5 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 10*x^5 + 105, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 10*y^5 + 105], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 55, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 20*y^5 + 180], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 10*x^5 + 55, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 10*y^5 + 430], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 20*y^5 + 505], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 10*x^5 + 5, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 10*y^5 + 1005], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 80, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 20*y^5 + 1080], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 10*x^5 + 80, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 10*y^5 + 1830], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 30, [100, "t", [10, 10]], 100, [100, "t", [10, 10]], [7/4, 9/4], [4, 1], [t + 2, y^10 - 20*y^5 + 1905], 0, [5, 0], 5, 0, 1, [[2, [x^2 - 5]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 + 85, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [9/4], [4, 2], [t + 2, y^10 + 15210], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 30]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 10, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [9/4], [4, 2], [t + 2, y^10 + 10], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 55]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 60, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [9/4], [4, 2], [t + 2, y^10 + 810], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 80]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 110, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [9/4], [4, 2], [t + 2, y^10 + 3610], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 105]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 + 35, [40, "t", [10, 5], "F5C2"], 40, [20, "t", [10, 4], "F5"], [9/4], [4, 2], [t + 2, y^10 + 8410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, [x^5 + 5]]], 0, 0, 39/20, 2], [5, 19, 10, 1, 10, x^10 - 15*x^5 + 35, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 40*y^5 + 410], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 35, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 20*y^5 + 910], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 15*x^5 + 85, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 40*y^5 + 1210], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 85, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 20*y^5 + 3710], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 15*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 40*y^5 + 4010], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 10, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 20*y^5 + 8510], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 15*x^5 + 60, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 40*y^5 + 8810], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 60, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 20*y^5 + 15310], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 15*x^5 + 110, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 40*y^5 + 15610], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1], [5, 19, 10, 1, 10, x^10 - 20*x^5 + 110, [200, "t", [10, 17]], 200, [0, "t", [10, 10]], [7/4, 9/4], [4, 2], [t + 2, y^10 - 20*y^5 + 110], 0, [5, 1], 5, 1, 1, [[2, [x^2 + 10]], [5, []]], 0, 0, 211/100, 1]]