[[2, 0, 1, 8, 8, x^8 + x^4 + x^3 + x + 1, [8, "t", [8, 1], "C8"], 8, [1, "e", [], "<e>"], [], [1, 8], [t^8 + t^4 - t^3 + t^2 + 1, y - 2], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, -1, 0, 8], [2, 8, 2, 4, 8, x^8 + 28*x^4 + 144, [8, "t", [8, 2], "C4C2"], 8, [2, "i", [2, 1], "C2"], [2], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 2*t^2 + 2*t + 2)*y + (2*t^3 + 2*t)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 - x + 1, x^4 + 8*x^2 + 4, x^4 - x^2 + 5]]], 0, -1, 1, 8], [2, 8, 2, 4, 8, x^8 + 2*x^7 + 8*x^2 + 48, [16, "t", [8, 10]], 16, [4, "i", [4, 2], "V4"], [2, 2], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 4*t^2 + 2*t)*y + (4*t^3 + 2*t^2 + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1, x^4 + 2*x^2 + 4*x + 4, x^4 - 5]]], 0, [x^2 + 2*x + 2, x^2 + 2*x - 2, x^4 - x^2 + 5], 3/2, 4], [2, 8, 2, 4, 8, x^8 + 2*x^7 + 2*x^6 + 16, [32, "t", [8, 20]], 32, [8, "i", [8, 3], "C23"], [2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 4*t^2 + 2*t + 6)*y + (6*t^3 + 4*t^2 + 2*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^4 + 2*x^3 + 2, x^4 + 2*x^3 + 6], 7/4, 2], [2, 8, 2, 4, 8, x^8 + 2*x^7 + 2*x^6 + 8*x^3 + 48, [8, "t", [8, 1], "C8"], 8, [2, "i", [2, 1], "C2"], [2], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 2*t^2 + 2*t)*y + (2*t^3 + 2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, -1, 1, 8], [2, 8, 2, 4, 8, x^8 + 2*x^7 + 8*x^2 + 16, [16, "t", [8, 7]], 16, [4, "i", [4, 2], "V4"], [2, 2], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 2*t)*y + (2*t^2 + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 28*x^4 + 144], 3/2, 4], [2, 8, 2, 4, 8, x^8 + 2*x^7 + 2*x^6 + 16*x^2 + 16, [32, "t", [8, 16]], 32, [8, "i", [8, 3], "C23"], [2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 2*t + 2)*y + (2*t^3 + 2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 7/4, 2], [2, 8, 2, 4, 8, x^8 + 2*x^6 + 4*x^5 + 16, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + (4*t^2 + 2)*y + (6*t^3 + 4*t^2 + 2*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^6 + 8*x^3 + 4], 15/8, 2], [2, 8, 2, 4, 8, x^8 + 4*x^5 + 8*x^2 + 48, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + (6*t^2 + 4*t)*y + (2*t + 4)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^6 + 8*x^3 + 4], 15/8, 2], [2, 8, 2, 4, 8, x^8 + 6*x^6 + 4*x^5 + 16, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + 2*y + (2*t^3 + 2)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^7 + 8*x^2 + 4], 15/8, 2], [2, 8, 2, 4, 8, x^8 + 2*x^6 + 8*x^3 + 16, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^4 - t + 1, y^2 + (6*t^2 + 2)*y + (6*t^3 + 4*t^2 + 2*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^7 + 8*x^2 + 4], 15/8, 2], [2, 8, 4, 2, 8, x^8 + 20*x^2 + 4, [24, "t", [8, 14], "S4"], 24, [12, "i", [4, 4], "A4"], [4/3, 4/3], [3, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^3 + 2*y^2 + (4*t + 6)*y + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x + 2]]], 0, -1, 7/6, 2], [2, 8, 4, 2, 8, x^8 + 2*x^5 + 2*x^4 + 4, [288, "t", [8, 42]], 288, [48, "i", [12, 32], "12T32"], [4/3, 4/3, 4/3, 4/3], [3, 6], [t^2 - t + 1, y^4 + 2*y^3 + 2*y^2 + (2*t + 2)*y + (2*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 31/24, 1], [2, 8, 8, 1, 8, x^8 + 2*x + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [8/7, 8/7, 8/7], [7, 3], [t + 1, y^8 + 2*y + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 31/28, 1], [2, 10, 8, 1, 8, x^8 + 2*x^3 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [10/7, 10/7, 10/7], [7, 3], [t + 1, y^8 + 2*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 19/14, 1], [2, 10, 8, 1, 8, x^8 + 20*x^2 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3/2], [3, 2], [t + 1, y^8 + 26*y^7 + 412*y^6 + 4188*y^5 + 25300*y^4 + 88302*y^3 + 166662*y^2 + 135904*y + 54766], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 4/3, 2], [2, 10, 8, 1, 8, x^8 + 4*x^2 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3/2], [3, 2], [t + 1, y^8 - 12*y^7 + 104*y^6 + 214*y^5 - 2658*y^4 + 6018*y^3 + 18382*y^2 - 67796*y + 91970], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 4/3, 2], [2, 12, 2, 4, 8, x^8 + 6*x^6 + 8*x^5 + 16, [8, "t", [8, 2], "C4C2"], 8, [2, "i", [2, 1], "C2"], [3], [1, 4], [t^4 - t + 1, y^2 + 4*y + (2*t^3 + 4*t^2 + 6*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - x + 1, x^4 - 6*x^2 + 4, x^4 + 2*x^2 + 20]]], 0, -1, 3/2, 8], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 8*x^4 + 16, [8, "t", [8, 2], "C4C2"], 8, [2, "i", [2, 1], "C2"], [3], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 6*t^2 + 6*t)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - x + 1, x^4 - 2*x^2 + 4, x^4 - 2*x^2 + 20]]], 0, -1, 3/2, 8], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 16*x^2 + 16, [16, "t", [8, 10]], 16, [4, "i", [4, 2], "V4"], [2, 3], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 4*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1, x^4 + 2*x^2 - 4, x^4 - 20]]], 0, [x^2 + 2*x + 2, x^2 + 2*x - 2, x^4 - x^2 + 5], 2, 4], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 16, [32, "t", [8, 20]], 32, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 6*t^2 + 6*t + 4)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^4 + 2*x^3 + 2, x^4 + 2*x^3 + 6], 9/4, 2], [2, 12, 2, 4, 8, x^8 + 6*x^6 + 8*x^5 + 80, [8, "t", [8, 1], "C8"], 8, [2, "i", [2, 1], "C2"], [3], [1, 4], [t^4 - t + 1, y^2 + 4*y + (10*t^3 + 12*t^2 + 6*t + 10)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, -1, 3/2, 8], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 8*x^4 + 80, [8, "t", [8, 1], "C8"], 8, [2, "i", [2, 1], "C2"], [3], [1, 4], [t^4 - t + 1, y^2 + (14*t^3 + 12*t^2 + 2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, -1, 3/2, 8], [2, 12, 2, 4, 8, x^8 + 4*x^6 + 8*x^2 + 80, [16, "t", [8, 7]], 16, [4, "i", [4, 2], "V4"], [2, 3], [1, 4], [t^4 - t + 1, y^2 + (4*t^3 + 2*t^2 + 4*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 28*x^4 + 144], 2, 4], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 80, [32, "t", [8, 16]], 32, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (14*t^3 + 4*t^2 + 2*t + 14)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 9/4, 2], [2, 12, 2, 4, 8, x^8 + 6*x^6 + 112, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 2*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^6 + 8*x^3 + 4], 19/8, 2], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 112, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (14*t^3 + 12*t^2 + 8*t + 2)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^6 + 8*x^3 + 4], 19/8, 2], [2, 12, 2, 4, 8, x^8 + 6*x^6 + 48, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (2*t^3 + 4*t^2 + 2*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^7 + 8*x^2 + 4], 19/8, 2], [2, 12, 2, 4, 8, x^8 + 2*x^6 + 48, [64, "t", [8, 27]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^4 - t + 1, y^2 + (6*t^3 + 4*t^2 + 2)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x + 1]]], 0, [x^8 + 4*x^7 + 8*x^2 + 4], 19/8, 2], [2, 12, 4, 2, 8, x^8 + 12*x^4 + 16, [8, "t", [8, 4], "D4"], 8, [4, "i", [4, 2], "V4"], [2, 2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 6)*y^3 + (4*t + 4)*y + (2*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 2*x^2 + 4*x + 4, x^4 + 2*x^3 + 2]]], 0, -1, 3/2, 8], [2, 12, 4, 2, 8, x^8 + 12*x^4 + 144, [8, "t", [8, 4], "D4"], 8, [4, "i", [4, 2], "V4"], [2, 2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 6)*y^3 + (4*t + 4)*y^2 + 4*y + (6*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 - 5, x^4 + 2*x^3 + 6]]], 0, -1, 3/2, 8], [2, 12, 4, 2, 8, x^8 + 2*x^7 + 2*x^4 + 12, [16, "t", [8, 10]], 16, [4, "i", [4, 2], "V4"], [2, 2], [1, 4], [t^2 - t + 1, y^4 + (2*t + 2)*y^3 + (2*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5, x^4 + 2*x^2 + 4*x + 4, x^4 - 5]]], 0, [x^2 + 2*x - 2, x^2 + 2*x + 2, x^4 + x + 1], 3/2, 4], [2, 12, 4, 2, 8, x^8 + 24*x^2 + 4, [24, "t", [8, 13], "A4C2"], 24, [4, "i", [4, 2], "V4"], [2, 2], [1, 6], [t^2 - t + 1, y^4 + (4*t + 6)*y^3 + 2*y^2 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 3/2, 2], [2, 12, 4, 2, 8, x^8 + 2*x^7 + 2*x^6 + 2*x^4 + 4, [96, "t", [8, 33]], 96, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 6], [t^2 - t + 1, y^4 + (2*t + 2)*y^3 + (2*t + 2)*y^2 + (2*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 15/8, 1], [2, 12, 4, 2, 8, x^8 + 8*x^7 + 48, [96, "t", [8, 33]], 96, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 6], [t^2 - t + 1, y^4 + (2*t + 2)*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 15/8, 1], [2, 12, 4, 2, 8, x^8 + 12*x^4 + 80, [32, "t", [8, 16]], 32, [8, "i", [8, 3], "C23"], [2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + 2*y^3 + (2*t + 2)*y^2 + (2*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 2*x^7 + 8*x^2 + 48], 7/4, 2], [2, 12, 4, 2, 8, x^8 + 8*x^6 + 12*x^4 + 80, [32, "t", [8, 21]], 32, [8, "i", [8, 3], "C23"], [2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + 6*t*y^3 + (4*t + 2)*y^2 + 4*t*y + (6*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^7 + 8*x^2 + 48], 7/4, 2], [2, 12, 4, 2, 8, x^8 + 12*x^6 + 12*x^4 + 80, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + 2*t*y^3 + (2*t + 2)*y^2 + (2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 15/8, 2], [2, 12, 4, 2, 8, x^8 + 4*x^7 + 16*x^3 + 48, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + (2*t + 6)*y^3 + (4*t + 6)*y^2 + 4*y + (4*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 15/8, 2], [2, 12, 4, 2, 8, x^8 + 8*x^5 + 4*x^4 + 48, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + (2*t + 2)*y^3 + 2*y^2 + 2], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 15/8, 2], [2, 12, 4, 2, 8, x^8 + 4*x^6 + 28*x^4 + 80, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 2], [1, 4], [t^2 - t + 1, y^4 + 2*y^3 + 2*y^2 + (2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 15/8, 2], [2, 12, 8, 1, 8, x^8 + 28*x^2 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 2], [3, 2], [t + 1, y^8 - 8*y^7 - 148*y^6 - 2246*y^5 + 16022*y^4 + 236116*y^3 + 3250242*y^2 - 5499172*y + 3214706], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x + 2]]], 0, -1, 19/12, 2], [2, 12, 8, 1, 8, x^8 + 12*x^2 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 2], [3, 2], [t + 1, y^8 - 8*y^7 + 36*y^6 - 254*y^5 + 1814*y^4 - 3772*y^3 + 15366*y^2 - 20980*y + 13726], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x + 2]]], 0, -1, 19/12, 2], [2, 12, 8, 1, 8, x^8 + 4*x^5 + 4, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [12/7, 12/7, 12/7], [7, 3], [t + 1, y^8 + 2*y^6 + 2*y^5 - 14*y^4 - 16*y^3 - 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 45/28, 1], [2, 12, 8, 1, 8, x^8 + 2*x^5 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [12/7, 12/7, 12/7], [7, 3], [t + 1, y^8 + 2*y^5 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 45/28, 1], [2, 12, 8, 1, 8, x^8 + 28*x^2 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 2], [3, 2], [t + 1, y^8 - 8*y^7 - 264*y^6 + 182*y^5 + 33688*y^4 + 24160*y^3 + 2882206*y^2 - 3689392*y + 2598862], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 19/12, 2], [2, 12, 8, 1, 8, x^8 + 12*x^2 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 2], [3, 2], [t + 1, y^8 + 150*y^6 + 762*y^5 + 4030*y^4 + 32040*y^3 + 136386*y^2 + 365580*y + 517590], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 19/12, 2], [2, 14, 8, 1, 8, x^8 + 2*x^7 + 6, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 3], [t + 1, y^8 + 2*y^7 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 7/4, 2], [2, 14, 8, 1, 8, x^8 + 2*x^7 + 2, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 3], [t + 1, y^8 + 2*y^7 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 7/4, 2], [2, 14, 8, 1, 8, x^8 + 4*x^6 + 8*x^3 + 4, [32, "t", [8, 19]], 32, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 4], [t + 1, y^8 + 10*y^7 + 50*y^6 + 176*y^5 + 526*y^4 + 796*y^3 + 1236*y^2 + 1276*y + 706], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^4 + x + 1, x^4 + 2*x^3 + 6], 7/4, 2], [2, 14, 8, 1, 8, x^8 + 4*x^7 + 8*x^2 + 4, [32, "t", [8, 19]], 32, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 4], [t + 1, y^8 + 4354*y^7 - 8802*y^6 - 44264*y^5 + 221986*y^4 - 505128*y^3 + 710608*y^2 - 547584*y + 168902], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^4 + x + 1, x^4 + 2*x^3 + 2], 7/4, 2], [2, 14, 8, 1, 8, x^8 + 2*x^7 + 2*x^6 + 2, [56, "t", [8, 25], "C23:C7"], 56, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 7], [t + 1, y^8 + 2*y^7 + 2*y^6 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 7/4, 1], [2, 14, 8, 1, 8, x^8 + 4*x^7 + 4, [56, "t", [8, 25], "C23:C7"], 56, [8, "t", [8, 3], "C23"], [2, 2, 2], [1, 7], [t + 1, y^8 + 1618*y^7 - 6460*y^6 + 10736*y^5 - 4806*y^4 + 92*y^3 + 14840*y^2 - 8760*y + 4798], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 7/4, 1], [2, 14, 8, 1, 8, x^8 + 28*x^2 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 2*y^7 - 154*y^6 - 56*y^5 + 36428*y^4 - 197540*y^3 + 918386*y^2 - 1564316*y + 840522], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 20*x^2 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 22*y^7 + 414*y^6 + 3732*y^5 + 14858*y^4 + 65516*y^3 + 305422*y^2 + 514740*y + 1906866], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 12*x^2 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 10*y^7 + 192*y^6 + 928*y^5 - 1648*y^4 + 6428*y^3 + 168106*y^2 + 623112*y + 1040518], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 4*x^2 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 - 2*y^7 + 38*y^6 + 92*y^5 - 400*y^4 - 4360*y^3 + 14054*y^2 + 83688*y + 429550], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 20*x^2 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 30*y^7 + 522*y^6 + 5568*y^5 + 39960*y^4 + 177336*y^3 + 458226*y^2 + 330048*y + 207846], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 12*x^2 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 10*y^7 + 160*y^6 + 796*y^5 + 2296*y^4 + 9292*y^3 + 18598*y^2 + 8224*y + 79810], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 28*x^2 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 + 42*y^7 + 936*y^6 + 12624*y^5 + 110646*y^4 + 587952*y^3 + 1672686*y^2 + 780948*y + 326430], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 14, 8, 1, 8, x^8 + 4*x^2 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 5/2], [3, 2], [t + 1, y^8 - 6*y^7 + 18*y^6 - 40*y^5 + 54*y^4 - 36*y^3 + 26*y^2 - 12*y + 18], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 223/96, 2], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 2*x^4 + 4*x^2 + 8*x + 12, [8, "t", [8, 2], "C4C2"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + 6*t*y^2 + 4*y + (2*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - x^2 + 5, x^4 - 2*x^2 + 4, x^4 + 2*x^2 + 20]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 6*x^4 + 4*x^2 + 8*x + 20, [8, "t", [8, 2], "C4C2"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 4)*y^2 + 4*y + (6*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 2*x^2 + 20, x^4 - 2*x^2 + 20]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 6*x^4 + 4*x^2 + 8*x + 28, [8, "t", [8, 2], "C4C2"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + 2*t*y^2 + 4*y + (6*t + 14)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - x^2 + 5, x^4 - 6*x^2 + 4, x^4 - 2*x^2 + 20]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 6*x^4 + 8*x^3 + 4*x^2 + 8*x + 20, [8, "t", [8, 4], "D4"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + 6*t*y^2 + 4*y + (6*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 2*x^2 - 4, x^4 + 6*x^2 + 4*x + 2]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 40*x^2 + 4, [8, "t", [8, 4], "D4"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + 2*y^2 + (8*t + 4)*y + 14], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 - 20, x^4 + 2*x^2 + 4*x + 6]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 8*x^2 + 4, [8, "t", [8, 3], "C23"], 8, [4, "i", [4, 2], "V4"], [2, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + 10*y^2 + (8*t + 12)*y + 14], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2, x^2 + 2, x^2 + 10, x^2 + 14, x^2 + 6]], [4, [x^4 + 8*x^2 + 4, x^4 - 6*x^2 + 4, x^4 - 2*x^2 + 4, x^4 + 6*x^2 + 4*x + 6, x^4 + 6*x^2 + 4*x + 14, x^4 + 6*x^2 + 1, x^4 + 2*x^2 + 4*x + 10]]], 0, -1, 2, 8], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 6*x^4 + 12*x^2 + 8*x + 12, [16, "t", [8, 10]], 16, [4, "i", [4, 2], "V4"], [2, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + 6*t*y^2 + 4*y + (6*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5, x^4 + 2*x^2 - 4, x^4 - 20]]], 0, [x^2 + 2*x - 2, x^2 + 2*x + 2, x^4 + x + 1], 2, 4], [2, 16, 4, 2, 8, x^8 + 8*x^5 + 12, [24, "t", [8, 14], "S4"], 24, [12, "i", [4, 4], "A4"], [8/3, 8/3], [3, 2], [t^2 - t + 1, y^4 + 4*y^2 + 4*y + (4*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 4*x + 2]]], 0, -1, 13/6, 2], [2, 16, 4, 2, 8, x^8 + 2*x^4 + 8*x + 12, [24, "t", [8, 14], "S4"], 24, [12, "i", [4, 4], "A4"], [8/3, 8/3], [3, 2], [t^2 - t + 1, y^4 + 4*y + (6*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 13/6, 2], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + 8*y^3 + (6*t + 14)*y^2 + (12*t + 12)*y + (6*t + 10)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 5, x^4 - 2*x^2 + 4, x^4 - 20]]], 0, [x^2 + 2*x - 2, x^4 - 5], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 4*x^7 + 2*x^6 + 4*x^5 + 2*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (6*t + 14)*y^2 + (12*t + 12)*y + (10*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 + 2*x^2 + 4*x + 4, x^4 - 2*x^2 + 4, x^4 + 2*x^2 - 4]]], 0, [x^2 + 2*x + 2, x^4 + 2*x^2 + 4*x + 4], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 12, [16, "t", [8, 10]], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (2*t + 6)*y^2 + (4*t + 4)*y + (2*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5, x^4 + 2*x^2 + 20, x^4 + 2*x^2 - 4]]], 0, [x^4 - 5, x^2 + x + 1, x^2 + 2*x + 2], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + 8*y^3 + (2*t + 10)*y^2 + (12*t + 12)*y + (10*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 + 2*x^2 + 4*x + 4, x^4 - 6*x^2 + 4, x^4 + 2*x^2 - 4]]], 0, [x^4 + 2*x^2 + 4*x + 4, x^2 + 2*x + 2], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^2 + 12, [16, "t", [8, 10]], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (4*t + 4)*y + (6*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4, x^4 + 2*x^2 + 20, x^4 - 20]]], 0, [x^4 + 2*x^2 + 4*x + 4, x^2 + x + 1, x^2 + 2*x - 2], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 8*x + 28, [16, "t", [8, 10]], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + 2*y^2 + (4*t + 8)*y + (10*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4, x^4 - 2*x^2 + 20, x^4 - 20]]], 0, [x^2 + x + 1, x^2 + 2*x - 2, x^4 + 2*x^2 + 4*x + 4], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^3 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (6*t + 14)*y^2 + (4*t + 4)*y + (6*t + 10)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 5, x^4 - 6*x^2 + 4, x^4 - 20]]], 0, [x^4 - 5, x^2 + 2*x - 2], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 20, [16, "t", [8, 10]], 16, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 2], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (4*t + 4)*y + (6*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5, x^4 - 2*x^2 + 20, x^4 + 2*x^2 - 4]]], 0, [x^2 + x + 1, x^2 + 2*x + 2, x^4 - 5], 9/4, 4], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 20*x^4 + 16, [32, "t", [8, 20]], 32, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (2*t + 4)*y^2 + (4*t + 4)*y + (2*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 + 2*x^2 + 4*x + 6], 5/2, 2], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 12, [32, "t", [8, 20]], 32, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + 2*t*y^2 + (4*t + 4)*y + (2*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 + 2*x^2 + 4*x + 6], 5/2, 2], [2, 16, 4, 2, 8, x^8 + 2*x^4 + 8*x^2 + 8*x + 4, [96, "t", [8, 34]], 96, [48, "i", [12, 32], "12T32"], [4/3, 4/3, 8/3, 8/3], [3, 2], [t^2 - t + 1, y^4 + 4*y^2 + 4*y + (6*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 55/24, 1], [2, 16, 4, 2, 8, x^8 + 12*x^7 + 20*x^5 + 16*x^4 + 40*x + 20, [16, "t", [8, 11]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*t*y^3 + (4*t + 6)*y^2 + (4*t + 4)*y + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^5 + 6*x^4 + 6, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 10], [x^4 + 2*x^2 + 4*x + 10, x^4 + 6*x^2 + 4*x + 6], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 4*x^4 + 16, [16, "t", [8, 11]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + 6*t*y^2 + (4*t + 4)*y + (6*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 6, x^8 + 4*x^5 + 2*x^4 + 2], [x^4 + 6*x^2 + 1, x^4 + 6*x^2 + 4*x + 6], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 12*x^6 + 4*x^4 + 16, [16, "t", [8, 11]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (12*t + 6)*y^2 + (12*t + 4)*y + (8*t + 10)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^5 + 2*x^4 + 10, x^8 + 8*x^6 + 64*x + 16], [x^4 + 2*x^2 + 4*x + 10, x^4 + 6*x^2 + 4*x + 14], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 10*x^4 + 8*x^3 + 12*x^2 + 4, [16, "t", [8, 11]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (2*t + 4)*y^2 + (4*t + 4)*y + (2*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^5 + 6*x^4 + 14, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 2], [x^4 + 6*x^2 + 1, x^4 + 6*x^2 + 4*x + 14], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 4*x^5 + 6*x^4 + 12, [288, "t", [8, 42]], 288, [48, "i", [12, 32], "12T32"], [8/3, 8/3, 8/3, 8/3], [3, 6], [t^2 - t + 1, y^4 + (4*t + 4)*y + (2*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 61/24, 1], [2, 16, 4, 2, 8, x^8 + 4*x^5 + 24*x + 12, [288, "t", [8, 42]], 288, [48, "i", [12, 32], "12T32"], [8/3, 8/3, 8/3, 8/3], [3, 6], [t^2 - t + 1, y^4 + 4*y^3 + 4*y^2 + (4*t + 4)*y + (4*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 61/24, 1], [2, 16, 4, 2, 8, x^8 + 4*x^5 + 8*x + 12, [288, "t", [8, 42]], 288, [48, "i", [12, 32], "12T32"], [8/3, 8/3, 8/3, 8/3], [3, 6], [t^2 - t + 1, y^4 + 4*y^3 + 4*y^2 + 4*t*y + (4*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 61/24, 1], [2, 16, 4, 2, 8, x^8 + 4*x^5 + 6*x^4 + 4, [288, "t", [8, 42]], 288, [48, "i", [12, 32], "12T32"], [8/3, 8/3, 8/3, 8/3], [3, 6], [t^2 - t + 1, y^4 + (4*t + 4)*y + (2*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, []]], 0, -1, 61/24, 1], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 2*x^4 + 4*x^2 + 8*x + 12, [32, "t", [8, 16]], 32, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 4)*y^2 + 4*y + (2*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 2*x^7 + 8*x^2 + 48], 9/4, 2], [2, 16, 4, 2, 8, x^8 + 8*x^7 + 20, [32, "t", [8, 21]], 32, [8, "i", [8, 3], "C23"], [2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + (4*t + 2)*y^2 + 4*y + 6], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^7 + 8*x^2 + 48], 9/4, 2], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 8*x^3 + 4, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 6)*y^2 + (4*t + 4)*y + (2*t + 6)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 19/8, 2], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 6*x^4 + 8*x^3 + 4, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 2)*y^2 + (4*t + 4)*y + (6*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 19/8, 2], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 6*x^4 + 4, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + (2*t + 2)*y^2 + (4*t + 4)*y + (6*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 19/8, 2], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 4, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 2, 2, 3], [1, 4], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (4*t + 4)*y + (2*t + 6)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^7 + 2*x^6 + 16], 19/8, 2], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 10*x^4 + 4*x^2 + 12, [16, "t", [8, 7]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + 6*t*y^2 + (4*t + 4)*y + (2*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 2*x^6 + 6*x^4 + 4*x^2 + 8*x + 28], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 20*x^4 + 208, [16, "t", [8, 7]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (14*t + 4)*y^2 + (4*t + 12)*y + (10*t + 10)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 6*x^6 + 2*x^4 + 4*x^2 + 8*x + 12], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 4*x^2 + 12, [16, "t", [8, 7]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + 6*t*y^2 + (4*t + 12)*y + (10*t + 10)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 2*x^6 + 6*x^4 + 4*x^2 + 8*x + 28], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 4*x^2 + 12, [16, "t", [8, 7]], 16, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 4)*y^2 + (4*t + 4)*y + (2*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 6*x^6 + 2*x^4 + 4*x^2 + 8*x + 12], 5/2, 4], [2, 16, 4, 2, 8, x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 4*x^2 + 4, [32, "t", [8, 21]], 32, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + 2*t*y^2 + (4*t + 4)*y + (2*t + 6)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 6*x^6 + 6*x^4 + 12*x^2 + 8*x + 12], 5/2, 2], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 4*x^4 + 80, [32, "t", [8, 21]], 32, [8, "i", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 4)*y^2 + 4*t*y + (6*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 6*x^6 + 6*x^4 + 12*x^2 + 8*x + 12], 5/2, 2], [2, 16, 4, 2, 8, x^8 + 4*x^7 + 2*x^6 + 8*x^4 + 4*x^2 + 4, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (14*t + 10)*y^2 + (8*t + 4)*y + 10], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^4 + 112, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (4*t + 12)*y^3 + (14*t + 2)*y^2 + (4*t + 8)*y + (10*t + 6)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 10], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^4 + 240, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 6)*y^2 + 4*t*y + (6*t + 6)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^4 + 16*x^2 + 112, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + 6*y^2 + 4*y + (2*t + 6)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 10], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 8*x^6 + 4*x^4 + 240, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (6*t + 6)*y^2 + (4*t + 8)*y + (10*t + 10)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 24*x^6 + 4*x^4 + 240, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 6)*y^2 + 4*t*y + (2*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 20*x^4 + 16*x^2 + 112, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 12*y^3 + (12*t + 6)*y^2 + (8*t + 12)*y + (14*t + 6)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 12*x^4 + 112, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 12*y^3 + (4*t + 10)*y^2 + (8*t + 4)*y + (14*t + 2)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 2], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 14*x^4 + 12*x^2 + 8*x + 4, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 8*y^3 + (12*t + 10)*y^2 + (8*t + 12)*y + (14*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 48, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (6*t + 2)*y^2 + 4*t*y + (2*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 168*x^4 + 912], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 3, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 12*y^3 + 6*y^2 + 12*y + (14*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 168*x^4 + 912], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^4 + 48, [32, "t", [8, 15]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 6)*y^2 + 4*t*y + (6*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 6*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^6 + 28*x^4 + 48, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 12*t*y^3 + (2*t + 10)*y^2 + 12*y + (8*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 16*x^5 + 20*x^4 + 112, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + (4*t + 8)*y^3 + (2*t + 2)*y^2 + 12*t*y + (10*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 4*x^7 + 10*x^6 + 20*x^2 + 4, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (14*t + 14)*y^2 + (8*t + 4)*y + 10], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 4, 2, 8, x^8 + 24*x^6 + 4*x^4 + 48, [64, "t", [8, 30]], 128, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 3], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 6)*y^2 + 4*t*y + (2*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 2*x^6 + 4*x^3 + 6], 21/8, 2], [2, 16, 8, 1, 8, x^8 + 14*x^6 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 4952620*y^6 - 29715608*y^5 + 75113568*y^4 - 102350368*y^3 + 79357058*y^2 - 33254916*y + 5900054], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2]], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 2*x^6 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 28*y^6 - 56*y^5 + 72*y^4 - 64*y^3 + 38*y^2 - 12*y + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 14]], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 6*x^6 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 8940*y^6 - 53528*y^5 + 136608*y^4 - 189728*y^3 + 152602*y^2 - 68404*y + 13598], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 10]], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 10*x^6 + 4, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 419036*y^6 - 2514104*y^5 + 6375592*y^4 - 8741824*y^3 + 6850510*y^2 - 2921564*y + 532986], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 6]], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 4*x + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [16/7, 16/7, 16/7], [7, 3], [t + 1, y^8 + 4*y + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 59/28, 1], [2, 16, 8, 1, 8, x^8 + 4*x + 6, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [16/7, 16/7, 16/7], [7, 3], [t + 1, y^8 + 4*y + 6], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 59/28, 1], [2, 16, 8, 1, 8, x^8 + 8*x^5 + 20, [192, "t", [8, 41]], 192, [96, "t", [8, 33]], [4/3, 4/3, 2, 7/3, 7/3], [3, 2], [t + 1, y^8 - 12*y^7 + 56*y^6 - 132*y^5 + 150*y^4 - 64*y^3 - 32*y^2 + 36*y + 38], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, []]], 0, -1, 103/48, 1], [2, 16, 8, 1, 8, x^8 + 8*x^5 + 4, [192, "t", [8, 41]], 192, [96, "t", [8, 33]], [4/3, 4/3, 2, 7/3, 7/3], [3, 2], [t + 1, y^8 - 4*y^7 - 16*y^6 - 8*y^5 + 98*y^4 - 128*y^3 + 76*y^2 - 20*y + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, []]], 0, -1, 103/48, 1], [2, 16, 8, 1, 8, x^8 + 4*x^6 + 28*x^4 + 20, [16, "t", [8, 8]], 16, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 2], [t + 1, y^8 + 20*y^7 + 322*y^6 + 1100*y^5 + 6164*y^4 - 58028*y^3 + 217744*y^2 - 323732*y + 203114], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 12*x^4 + 16], 2, 2], [2, 16, 8, 1, 8, x^8 + 8*x^4 + 336, [16, "t", [8, 8]], 16, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 2], [t + 1, y^8 + 14*y^6 + 144*y^5 + 1104*y^4 + 6408*y^3 + 22964*y^2 + 43020*y + 66070], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 12*x^4 + 144], 2, 2], [2, 16, 8, 1, 8, x^8 + 8*x^4 + 80, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 4], [t + 1, y^8 + 2*y^6 + 20*y^5 + 96*y^4 + 200*y^3 + 456*y^2 + 1796*y + 2146], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 2, 4], [2, 16, 8, 1, 8, x^8 + 2*x^6 + 4*x + 6, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 4], [t + 1, y^8 + 2*y^6 + 4*y + 6], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 2, 4], [2, 16, 8, 1, 8, x^8 + 12*x^6 + 28*x^4 + 52, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 4], [t + 1, y^8 + 36*y^7 + 75118*y^6 + 747624*y^5 + 37585564*y^4 - 52508352*y^3 + 584097072*y^2 - 334666332*y + 67193802], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 2, 4], [2, 16, 8, 1, 8, x^8 + 8*x^3 + 8*x^2 + 24, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 5/2], [1, 4], [t + 1, y^8 + 6*y^6 + 12*y^4 + 16*y^3 + 80*y^2 + 108*y + 54], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 2, 4], [2, 16, 8, 1, 8, x^8 + 6*x^6 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 7662*y^6 - 45860*y^5 + 164990*y^4 - 354376*y^3 + 553078*y^2 - 519612*y + 226930], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 10*x^6 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 410018*y^6 - 2459996*y^5 + 8178010*y^4 - 16312216*y^3 + 21379498*y^2 - 16694468*y + 6617806], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 2*x^6 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 20*y^6 - 8*y^5 + 340*y^4 - 1456*y^3 + 598*y^2 + 1780*y + 19858], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 14*x^6 + 20, [48, "t", [8, 23], "GL2(3)"], 48, [24, "t", [8, 12], "SL2(3)"], [4/3, 4/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 4920982*y^6 - 29525780*y^5 + 93230310*y^4 - 176082856*y^3 + 213964078*y^2 - 154497772*y + 56093690], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 25/12, 2], [2, 16, 8, 1, 8, x^8 + 8*x^2 + 52, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 5/2], [1, 6], [t + 1, y^8 - 8*y^7 + 10*y^6 - 344*y^5 + 2814*y^4 + 8384*y^3 + 54080*y^2 + 90204*y + 102662], 0, [1, 1], 1, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 35/16, 2], [2, 16, 8, 1, 8, x^8 + 8*x^2 + 20, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 5/2], [1, 6], [t + 1, y^8 - 8*y^7 + 22*y^6 - 8*y^5 + 494*y^4 + 288*y^3 + 1852*y^2 + 5412*y + 3322], 0, [1, 1], 1, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 35/16, 2], [2, 16, 8, 1, 8, x^8 + 8*x^6 + 8*x^2 + 20, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 5/2], [1, 6], [t + 1, y^8 + 24*y^7 + 31754*y^6 - 7980*y^5 + 93242*y^4 + 131040*y^3 + 1983672*y^2 + 1922940*y + 5996430], 0, [1, 1], 1, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 35/16, 2], [2, 16, 8, 1, 8, x^8 + 56*x^2 + 52, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 5/2], [1, 6], [t + 1, y^8 - 282*y^6 + 1548*y^5 + 104690*y^4 + 1297344*y^3 + 7426012*y^2 + 14644188*y + 10277722], 0, [1, 1], 1, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 35/16, 2], [2, 16, 8, 1, 8, x^8 + 14*x^6 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 4913482*y^6 - 29480780*y^5 + 97533324*y^4 - 193594912*y^3 + 252665630*y^2 - 196756764*y + 77992930], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 10*x^6 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 407550*y^6 - 2445188*y^5 + 8451768*y^4 - 17505968*y^3 + 25332114*y^2 - 22172708*y + 9774622], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 2*x^6 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 16*y^6 + 16*y^5 + 1038*y^4 - 4408*y^3 + 2522*y^2 + 3900*y + 211298], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 6*x^6 + 28, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 7250*y^6 - 43388*y^5 + 157764*y^4 - 341952*y^3 + 703638*y^2 - 838988*y + 367450], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 10*x^6 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 416552*y^6 - 2499200*y^5 + 6309346*y^4 - 8576200*y^3 + 7047466*y^2 - 3606980*y + 945986], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 14*x^6 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 4945104*y^6 - 29670512*y^5 + 75234682*y^4 - 103135464*y^3 + 82550110*y^2 - 37950572*y + 8140734], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 2*x^6 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 24*y^6 - 32*y^5 + 82*y^4 - 264*y^3 + 130*y^2 + 268*y + 474], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 16, 8, 1, 8, x^8 + 6*x^6 + 12, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 2, 7/3, 7/3, 3], [3, 2], [t + 1, y^8 - 8*y^7 + 8512*y^6 - 50960*y^5 + 126826*y^4 - 167720*y^3 + 160822*y^2 - 122012*y + 52342], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 247/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^6 + 8, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 686*y^6 + 294*y^4 + 42*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^2 + 2, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 10*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^6 + 8, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 54*y^6 + 54*y^4 + 18*y^2 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^2 + 2, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 14*y^2 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^6 + 8, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^6 + 6*y^4 + 6*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^2 + 2, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^2 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^2 + 2, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 6*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^6 + 8, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 250*y^6 + 150*y^4 + 30*y^2 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^2 + 10, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 6*y^2 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^2 + 10, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^2 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^2 + 10, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 14*y^2 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^6 + 40, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^6 + 30*y^4 + 150*y^2 + 250], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^2 + 10, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 10*y^2 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^6 + 40, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 504*y^6 + 890*y^4 + 4870*y^2 + 490], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^6 + 40, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 160*y^6 + 370*y^4 + 2210*y^2 + 90], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^6 + 40, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 54*y^6 + 270*y^4 + 450*y^2 + 250], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^6 + 56, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 504*y^6 + 1246*y^4 + 7182*y^2 + 350], 0, [-2, 0], 3, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^2 + 14, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 10*y^2 + 14], 0, [-2, 0], 3, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^6 + 56, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 24*y^6 + 126*y^4 + 742*y^2 + 126], 0, [-2, 0], 3, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^2 + 14, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^2 + 14], 0, [-2, 0], 3, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^6 + 56, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 10758*y^6 + 21966*y^4 - 182966*y^2 + 270494], 0, [-2, 0], 3, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^2 + 14, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 6*y^2 + 14], 0, [-2, 0], 3, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^2 + 14, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 14*y^2 + 14], 0, [-2, 0], 3, 0, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^6 + 56, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^6 + 42*y^4 + 294*y^2 + 686], 0, [-2, 0], 3, 0, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^2 + 6, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 14*y^2 + 6], 0, [-2, 1], 3, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^2 + 6, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^2 + 6], 0, [-2, 1], 3, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 14*x^6 + 24, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 686*y^6 + 882*y^4 + 378*y^2 + 54], 0, [-2, 1], 3, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^2 + 6, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 10*y^2 + 6], 0, [-2, 1], 3, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^2 + 6, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 6*y^2 + 6], 0, [-2, 1], 3, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 2*x^6 + 24, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 2*y^6 + 18*y^4 + 54*y^2 + 54], 0, [-2, 1], 3, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 10*x^6 + 24, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 250*y^6 + 450*y^4 + 270*y^2 + 54], 0, [-2, 1], 3, 1, -1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 17, 8, 1, 8, x^8 + 6*x^6 + 24, [384, "t", [8, 44]], 384, [192, "t", [8, 38]], [4/3, 4/3, 3, 19/6, 19/6, 13/4], [3, 2], [t + 1, y^8 + 54*y^6 + 162*y^4 + 162*y^2 + 54], 0, [-2, 1], 3, 1, 1, [[2, []], [4, [x^4 + 2*x + 2]]], 0, -1, 295/96, 2], [2, 18, 4, 2, 8, x^8 + 14*x^6 + 10*x^4 + 12*x^2 + 16*x + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 8*y^3 + 14*t*y^2 + 8*y + (10*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 - 2*x^2 + 2, x^4 + 6*x^2 + 2]]], 0, [x^2 + 14, x^2 + 14, x^4 + 2*x^2 + 4*x + 10], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 24*x^4 + 36, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 2*x^2 + 6, x^4 - 2*x^2 + 6]]], 0, [x^4 + 6*x^2 + 4*x + 6, x^2 + 10, x^2 + 10], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 14*x^6 + 10*x^4 + 8*x^3 + 12*x^2 + 20, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (14*t + 8)*y^2 + (8*t + 8)*y + (10*t + 14)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^7 + 8*x^6 + 2*x^4 + 4, x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 2], [x^4 + 6*x^2 + 1, x^4 - 2*x^2 + 4], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 10*x^6 + 10*x^4 + 4*x^2 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 10*t*y^2 + (10*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 10, x^4 + 2*x^2 + 10]]], 0, [x^2 + 6, x^2 + 6, x^4 + 6*x^2 + 1], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 14*x^4 + 20*x^2 + 4, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (10*t + 4)*y^2 + (14*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 4*x^7 + 8*x^6 + 10*x^4 + 4, x^8 + 4*x^7 + 6*x^4 + 12*x^2 + 8*x + 10], [x^4 - 2*x^2 + 4, x^4 + 2*x^2 + 4*x + 10], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 16*x^4 + 4, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 72*x^4 + 656, x^8 + 56*x^4 + 144], [x^4 + 6*x^2 + 4*x + 6, x^4 - 6*x^2 + 4], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 8*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 14)*y^2 + 14], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4, x^4 + 2*x^2 - 2, x^4 - 2*x^2 - 2]]], 0, [x^4 + 6*x^2 + 4*x + 14, x^2 + 2, x^2 + 2], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 36, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 14)*y^2 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], [x^8 + 72*x^4 + 144, x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 8*x^3 + 12*x^2 + 14], [x^4 + 6*x^2 + 4*x + 14, x^4 - 6*x^2 + 4], 11/4, 4], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 6*x^4 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (6*t + 10)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^4 - 6*x^2 + 3, x^4 + 2*x^2 + 3], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 20*x^2 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 2)*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^4 + 2*x^2 - 9, x^4 + 6*x^2 - 9], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^4 + 12*x^2 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (10*t + 6)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^4 + 6*x^2 - 1, x^4 + 2*x^2 - 1], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 10*x^4 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 2)*y^2 + (2*t + 14)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^4 + 2*x^2 - 9, x^4 + 6*x^2 - 9], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 2*x^4 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (10*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^4 + 6*x^2 - 1, x^4 + 2*x^2 - 1], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 14*x^4 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (6*t + 6)*y^2 + (14*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^4 + 6*x^2 + 3, x^4 - 2*x^2 + 3], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^4 + 4*x^2 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 14)*y^2 + (6*t + 10)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^4 + 2*x^2 + 3, x^4 - 6*x^2 + 3], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 4*x^2 + 4, [64, "t", [8, 29]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (10*t + 6)*y^2 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^4 + 6*x^2 + 3, x^4 - 2*x^2 + 3], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 16*x^2 + 20, [32, "t", [8, 21]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (8*t + 14)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 20], 23/8, 2], [2, 18, 4, 2, 8, x^8 + 8*x^6 + 52, [32, "t", [8, 21]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 14)*y^2 + (8*t + 6)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 20], 23/8, 2], [2, 18, 4, 2, 8, x^8 + 16*x^5 + 36, [32, "t", [8, 21]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (4*t + 6)*y^2 + 2], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^2 + 12], 23/8, 2], [2, 18, 4, 2, 8, x^8 + 4*x^7 + 2*x^6 + 10*x^4 + 20*x^2 + 4, [32, "t", [8, 21]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + 2*t*y^2 + (2*t + 6)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1, x^2 + 2*x + 2, x^2 + 2*x - 2]], [4, [x^4 + 8*x^2 + 4]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^2 + 12], 23/8, 2], [2, 18, 4, 2, 8, x^8 + 10*x^4 + 4*x^2 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 10)*y^2 + (2*t + 6)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 12*x^6 + 2*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 2*x^4 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (6*t + 14)*y^2 + (10*t + 14)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 12*x^6 + 2*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 14*x^4 + 4*x^2 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (14*t + 10)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 6*x^4 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 10)*y^2 + (6*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 14*x^4 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 10)*y^2 + (14*t + 10)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 10*x^6 + 12*x^2 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 14)*y^2 + (8*t + 6)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 2*x^4 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 10)*y^2 + (10*t + 14)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 12*x^6 + 2*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 10*x^4 + 12*x^2 + 20, [64, "t", [8, 28]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (2*t + 6)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 12*x^6 + 2*x^4 + 24*x^2 + 20], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 12*x^6 + 28*x^4 + 28, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 2)*y^2 + (12*t + 6)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 8*x^6 + 16*x^5 + 80], 3, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 2*x^4 + 4*x^2 + 28, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 6*t*y^2 + (10*t + 2)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 8*x^6 + 16*x^5 + 80], 3, 2], [2, 18, 4, 2, 8, x^8 + 20*x^4 + 16*x^3 + 24*x^2 + 60, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (12*t + 2)*y^2 + 8*y + (12*t + 14)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 8*x^6 + 16*x^5 + 80], 3, 2], [2, 18, 4, 2, 8, x^8 + 12*x^6 + 12*x^4 + 28, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 10)*y^2 + (12*t + 14)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 8*x^6 + 16*x^5 + 80], 3, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 14*x^4 + 28, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 10)*y^2 + (14*t + 6)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 2*x^4 + 12*x^2 + 10], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 8*x^5 + 6*x^4 + 28, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 10)*y^2 + (8*t + 8)*y + (6*t + 14)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 10*x^4 + 12*x^2 + 10], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 6*x^4 + 28, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 10)*y^2 + (6*t + 14)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 2*x^4 + 12*x^2 + 10], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 8*x^5 + 14*x^4 + 28, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 10)*y^2 + (8*t + 8)*y + (14*t + 6)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 10*x^4 + 12*x^2 + 10], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^4 + 4*x^2 + 28, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (14*t + 6)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 2*x^4 + 8*x^3 + 12*x^2 + 8*x + 2], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 2*x^4 + 28, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (10*t + 14)*y^2 + (10*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 2*x^4 + 8*x^3 + 12*x^2 + 8*x + 2], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 14*x^4 + 4*x^2 + 28, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 14)*y^2 + (6*t + 14)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 2*x^4 + 8*x^3 + 12*x^2 + 8*x + 2], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 2*x^4 + 28, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 10)*y^2 + (10*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 2*x^4 + 8*x^3 + 12*x^2 + 8*x + 2], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 4*x^6 + 20*x^4 + 44, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + 10*y^2 + (4*t + 14)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 6], 3, 2], [2, 18, 4, 2, 8, x^8 + 4*x^6 + 4*x^4 + 44, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + 2*y^2 + (4*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 6], 3, 2], [2, 18, 4, 2, 8, x^8 + 12*x^4 + 8*x^2 + 44, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 2)*y^2 + (4*t + 6)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 6], 3, 2], [2, 18, 4, 2, 8, x^8 + 12*x^6 + 4*x^4 + 12, [64, "t", [8, 27]], 64, [16, "i", [8, 10], "T10"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + 6*y^2 + (4*t + 14)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - x^2 + 5]]], 0, [x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 6], 3, 2], [2, 18, 4, 2, 8, x^8 + 6*x^4 + 12*x^2 + 12, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 2)*y^2 + (14*t + 14)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 6*x^4 + 4*x^2 + 14], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 10*x^4 + 16*x^2 + 12, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 6)*y^2 + (2*t + 2)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 8*x^7 + 48*x^5 + 80], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 4*x^7 + 2*x^6 + 8*x^5 + 2*x^4 + 28, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (14*t + 10)*y^2 + (8*t + 8)*y + (10*t + 2)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 8*x^7 + 48*x^5 + 80], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 6*x^6 + 2*x^4 + 12, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (2*t + 2)*y^2 + (2*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 5]]], 0, [x^8 + 4*x^7 + 6*x^4 + 4*x^2 + 14], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 10*x^4 + 4*x^2 + 12, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 2)*y^2 + (10*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 6], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 10*x^4 + 12*x^2 + 12, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 6)*y^2 + (10*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 6], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 14*x^4 + 12, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 2)*y^2 + (14*t + 14)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 6], 51/16, 2], [2, 18, 4, 2, 8, x^8 + 2*x^6 + 6*x^4 + 12, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (14*t + 2)*y^2 + (6*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 4*x + 4]]], 0, [x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 6], 51/16, 2], [2, 18, 8, 1, 8, x^8 + 2*x^6 + 4*x^3 + 2, [16, "t", [8, 9], "D4C2"], 16, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^3 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2, x^2 + 2, x^2 + 14]], [4, [x^4 + 2*x^3 + 2, x^4 + 6*x^2 + 1, x^4 + 6*x^2 + 4*x + 2]]], 0, [x^2 + x + 1, x^4 + 2*x^3 + 2], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 6*x^6 + 4*x^3 + 6, [16, "t", [8, 9], "D4C2"], 16, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 2], [t + 1, y^8 + 6*y^6 + 4*y^3 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2, x^2 + 2, x^2 + 6]], [4, [x^4 + 2*x^3 + 6, x^4 + 6*x^2 + 4*x + 6, x^4 + 2*x^2 + 4*x + 6]]], 0, [x^2 + x + 1, x^4 + 2*x^3 + 6], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 2*x^6 + 4*x^3 + 10, [16, "t", [8, 9], "D4C2"], 16, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^3 + 10], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2, x^2 + 10, x^2 + 6]], [4, [x^4 + 2*x^3 + 2, x^4 + 2*x^2 + 4*x + 10, x^4 + 6*x^2 + 4*x + 2]]], 0, [x^2 + x + 1, x^4 + 2*x^3 + 2], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 168*x^4 + 912, [16, "t", [8, 9], "D4C2"], 16, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 2], [t + 1, y^8 + 16*y^7 + 358*y^6 + 2920*y^5 + 4048*y^4 - 7676*y^3 + 170080*y^2 - 258776*y + 561838], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2, x^2 + 10, x^2 + 14]], [4, [x^4 + 2*x^3 + 6, x^4 + 6*x^2 + 4*x + 14, x^4 + 2*x^2 + 4*x + 6]]], 0, [x^2 + x + 1, x^4 + 2*x^3 + 6], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 12*x^6 + 36, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 3], [t + 1, y^8 + 300*y^7 + 21370*y^6 - 166860*y^5 + 792486*y^4 - 142188*y^3 - 3831572*y^2 - 2016792*y + 14122234], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 10]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 9/4, 2], [2, 18, 8, 1, 8, x^8 + 12*x^6 + 4, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 3], [t + 1, y^8 + 828*y^7 + 2659814*y^6 - 22688336*y^5 + 93433510*y^4 - 214855732*y^3 + 290972776*y^2 - 285011656*y + 189043642], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 6]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 9/4, 2], [2, 18, 8, 1, 8, x^8 + 4*x^6 + 4, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 3], [t + 1, y^8 - 16*y^7 + 170*y^6 - 1016*y^5 + 4094*y^4 - 10700*y^3 + 18944*y^2 - 20272*y + 11894], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 9/4, 2], [2, 18, 8, 1, 8, x^8 + 4*x^6 + 36, [24, "t", [8, 13], "A4C2"], 24, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 3], [t + 1, y^8 - 4*y^7 + 86*y^6 - 168*y^5 + 2490*y^4 - 2340*y^3 + 34960*y^2 - 11248*y + 193262], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 14]], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 9/4, 2], [2, 18, 8, 1, 8, x^8 + 6*x^6 + 4*x^3 + 2, [32, "t", [8, 19]], 32, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 4], [t + 1, y^8 + 6*y^6 + 4*y^3 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^4 + x + 1, x^4 + 2*x^3 + 6], 9/4, 2], [2, 18, 8, 1, 8, x^8 + 2*x^6 + 4*x^3 + 6, [32, "t", [8, 19]], 32, [8, "t", [8, 3], "C23"], [2, 2, 3], [1, 4], [t + 1, y^8 + 2*y^6 + 4*y^3 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^4 + x + 1, x^4 + 2*x^3 + 2], 9/4, 2], [2, 18, 8, 1, 8, x^8 + 2*x^4 + 4*x^3 + 6, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 2*y^4 + 4*y^3 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 7/3, 2], [2, 18, 8, 1, 8, x^8 + 2*x^4 + 4*x^3 + 2, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 2*y^4 + 4*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 4*x + 2]]], 0, -1, 7/3, 2], [2, 18, 8, 1, 8, x^8 + 6*x^4 + 4*x^3 + 6, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 6*y^4 + 4*y^3 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 4*x + 2]]], 0, -1, 7/3, 2], [2, 18, 8, 1, 8, x^8 + 6*x^4 + 4*x^3 + 2, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 6*y^4 + 4*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 7/3, 2], [2, 18, 8, 1, 8, x^8 + 4*x^3 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [18/7, 18/7, 18/7], [7, 3], [t + 1, y^8 + 4*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 33/14, 1], [2, 18, 8, 1, 8, x^8 + 4*x^3 + 4*x^2 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [18/7, 18/7, 18/7], [7, 3], [t + 1, y^8 + 4*y^3 + 4*y^2 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 33/14, 1], [2, 18, 8, 1, 8, x^8 + 4*x^4 + 4*x^3 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [18/7, 18/7, 18/7], [7, 3], [t + 1, y^8 + 4*y^4 + 4*y^3 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 33/14, 1], [2, 18, 8, 1, 8, x^8 + 4*x^3 + 4*x^2 + 6, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [18/7, 18/7, 18/7], [7, 3], [t + 1, y^8 + 4*y^3 + 4*y^2 + 6], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 33/14, 1], [2, 18, 8, 1, 8, x^8 + 2*x^4 + 4*x^3 + 4*x^2 + 2, [192, "t", [8, 41]], 192, [96, "t", [8, 33]], [4/3, 4/3, 2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 2*y^4 + 4*y^3 + 4*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, []]], 0, -1, 115/48, 1], [2, 18, 8, 1, 8, x^8 + 2*x^4 + 4*x^3 + 4*x^2 + 6, [192, "t", [8, 41]], 192, [96, "t", [8, 33]], [4/3, 4/3, 2, 8/3, 8/3], [3, 2], [t + 1, y^8 + 2*y^4 + 4*y^3 + 4*y^2 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, []]], 0, -1, 115/48, 1], [2, 18, 8, 1, 8, x^8 + 56*x^4 + 80, [16, "t", [8, 8]], 16, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 2], [t + 1, y^8 + 44*y^7 + 934*y^6 + 11176*y^5 + 40968*y^4 - 319572*y^3 + 835972*y^2 - 1057584*y + 609854], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 12*x^4 + 144], 9/4, 2], [2, 18, 8, 1, 8, x^8 + 8*x^7 + 4, [16, "t", [8, 8]], 16, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 2], [t + 1, y^8 + 270480*y^7 + 121002*y^6 - 31680*y^5 + 1070964*y^4 + 17164*y^3 + 3837980*y^2 - 332136*y + 17658594], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 12*x^4 + 16], 9/4, 2], [2, 18, 8, 1, 8, x^8 + 24*x^4 + 208, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 4], [t + 1, y^8 - 2*y^6 - 16*y^5 + 20*y^4 + 28*y^3 + 36*y^2 - 16*y + 2], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 8*x^7 + 24*x^6 + 20, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 4], [t + 1, y^8 + 2068*y^7 + 1385678*y^6 - 10807580*y^5 + 40819280*y^4 - 64804180*y^3 + 53000520*y^2 - 21151400*y + 3708310], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 8*x^7 + 36, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 4], [t + 1, y^8 + 86004*y^7 - 1092250*y^6 + 5982716*y^5 - 14529012*y^4 + 17582140*y^3 - 42687824*y^2 - 9996120*y - 72328822], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 2*x^6 + 4*x^5 + 4*x^3 + 14, [32, "t", [8, 17]], 32, [8, "t", [8, 5], "Q8"], [2, 2, 3], [1, 4], [t + 1, y^8 + 2*y^6 + 4*y^5 + 4*y^3 + 14], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^7 + 2*x^4 + 12], 9/4, 4], [2, 18, 8, 1, 8, x^8 + 28*x^6 + 52, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 3], [1, 6], [t + 1, y^8 + 1660*y^7 + 733190*y^6 - 4510192*y^5 + 21994302*y^4 - 58070660*y^3 + 116125564*y^2 - 127448952*y + 86897806], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 39/16, 2], [2, 18, 8, 1, 8, x^8 + 12*x^6 + 20, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 3], [1, 6], [t + 1, y^8 - 64*y^7 + 8290*y^6 - 25996*y^5 + 91870*y^4 - 111268*y^3 + 111712*y^2 - 46000*y + 13278], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 39/16, 2], [2, 18, 8, 1, 8, x^8 + 28*x^6 + 20, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 3], [1, 6], [t + 1, y^8 + 10628*y^7 + 28991166*y^6 - 230896576*y^5 + 871805270*y^4 - 1755854884*y^3 + 1874369468*y^2 - 987092624*y + 205121194], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 39/16, 2], [2, 18, 8, 1, 8, x^8 + 4*x^6 + 20, [192, "t", [8, 38]], 192, [32, "t", [8, 22]], [2, 2, 2, 2, 3], [1, 6], [t + 1, y^8 - 16*y^7 + 118*y^6 - 500*y^5 + 1290*y^4 - 2004*y^3 + 1784*y^2 - 832*y + 170], 0, [1, 1], 1, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 39/16, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 14*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (2*t + 14)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4, x^4 + 6*x^2 - 9, x^4 + 2*x^2 - 1]]], 0, [x^2 + 2*x + 2, x^2 + 2*x + 2, x^4 + 6*x^2 + 4*x + 14], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 8*x^6 + 2*x^4 + 4, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (8*t + 8)*y^2 + (14*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], [x^8 + 14*x^6 + 10*x^4 + 8*x^3 + 12*x^2 + 20, x^8 + 4*x^7 + 4*x^6 + 2*x^4 + 12*x^2 + 2], [x^4 + 6*x^2 + 1, x^4 + 8*x^2 + 4], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 6*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (10*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4, x^4 + 6*x^2 - 1, x^4 + 2*x^2 - 9]]], 0, [x^2 + 2*x + 2, x^2 + 2*x + 2, x^4 + 6*x^2 + 4*x + 6], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 72*x^4 + 656, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (4*t + 4)*y^2 + (4*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], [x^8 + 16*x^4 + 4, x^8 + 56*x^4 + 144], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 6], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 40*x^4 + 528, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 12*y^3 + 12*t*y^2 + (8*t + 8)*y + (12*t + 10)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4, x^4 + 6*x^2 + 3, x^4 - 6*x^2 + 3]]], 0, [x^2 + 2*x - 2, x^2 + 2*x - 2, x^4 + 2*x^2 + 4*x + 10], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 8*x^6 + 10*x^4 + 4, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (8*t + 8)*y^2 + (6*t + 10)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], [x^8 + 2*x^6 + 14*x^4 + 20*x^2 + 4, x^8 + 4*x^7 + 6*x^4 + 12*x^2 + 8*x + 10], [x^4 + 2*x^2 + 4*x + 10, x^4 + 8*x^2 + 4], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 72*x^4 + 144, [16, "t", [8, 11]], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + 12*y^3 + (4*t + 4)*y^2 + 8*t*y + (4*t + 2)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], [x^8 + 36, x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 8*x^3 + 12*x^2 + 14], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 14], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 10*x^4 + 4, [16, "t", [8, 9], "D4C2"], 16, [8, "i", [4, 3], "D4"], [2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (6*t + 10)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4, x^4 + 2*x^2 + 3, x^4 - 2*x^2 + 3]]], 0, [x^4 + 6*x^2 + 1, x^2 + 2*x - 2, x^2 + 2*x - 2], 11/4, 4], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 6*x^4 + 20, [32, "t", [8, 20]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (2*t + 6)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^4 + 2*x^3 + 2, x^4 + 2*x^2 + 4*x + 6], 23/8, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 2*x^4 + 20, [32, "t", [8, 20]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (6*t + 2)], 0, [1, 0], 1, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 + 2*x^3 + 6], 23/8, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 4*x^6 + 6*x^4 + 24*x^2 + 20, [32, "t", [8, 20]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (4*t + 8)*y^2 + (10*t + 14)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 + 2*x^3 + 6], 23/8, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 12*x^6 + 2*x^4 + 24*x^2 + 20, [32, "t", [8, 20]], 32, [16, "i", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (12*t + 8)*y^2 + (14*t + 10)], 0, [1, 0], 1, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^4 + 2*x^3 + 2, x^4 + 2*x^2 + 4*x + 6], 23/8, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 10*x^4 + 8*x^2 + 4, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (8*t + 12)*y^2 + (6*t + 10)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 12], 3, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 8*x^6 + 10*x^4 + 12, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (8*t + 8)*y^2 + (14*t + 14)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 4*x^6 + 20*x^4 + 16], 3, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 12*x^6 + 8*x^5 + 10*x^4 + 20, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 12)*y^3 + (4*t + 4)*y^2 + (8*t + 8)*y + (6*t + 2)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 4*x^6 + 20*x^4 + 16], 3, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 2*x^4 + 28, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (6*t + 14)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 12], 3, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 10*x^4 + 28, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (12*t + 4)*y^3 + (14*t + 6)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 12], 3, 2], [2, 20, 4, 2, 8, x^8 + 8*x^7 + 44, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + 8*y^2 + (12*t + 10)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 4*x^6 + 20*x^4 + 16], 3, 2], [2, 20, 4, 2, 8, x^8 + 8*x^7 + 12, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + 4*y^3 + 8*y^2 + (12*t + 2)], 0, [1, 1], 1, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 4*x^6 + 20*x^4 + 16], 3, 2], [2, 20, 4, 2, 8, x^8 + 8*x^6 + 16*x^3 + 12, [64, "t", [8, 28]], 64, [16, "i", [], "C24"], [2, 3, 3, 7/2], [1, 4], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + 12*y^2 + (12*t + 10)], 0, [1, 1], 1, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 12], 3, 2], [2, 20, 4, 2, 8, x^8 + 10*x^4 + 8*x^3 + 20, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (6*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^2 + 100], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^6 + 10*x^4 + 8*x^3 + 28, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (8*t + 8)*y^2 + (14*t + 6)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], 0, [x^8 + 8*x^6 + 100], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 10*x^4 + 8*x^3 + 12, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (14*t + 14)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^8 + 16*x^2 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 40*x^6 + 240, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 12*t*y^3 + 4*y^2 + 8*y + (4*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], 0, [x^8 + 8*x^6 + 36], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 24*x^6 + 240, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + 4*t*y^2 + 6], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], 0, [x^8 + 8*x^6 + 36], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 24*x^6 + 112, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 8)*y^3 + 12*t*y^2 + (12*t + 10)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^2 + 36], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 40*x^6 + 112, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (8*t + 4)*y^2 + 8*y + 2], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^2 + 36], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^6 + 240, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (12*t + 8)*y^3 + (4*t + 8)*y^2 + 8*t*y + (8*t + 2)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^8 + 16*x^2 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 56*x^6 + 64*x^5 + 240, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + (4*t + 8)*y^2 + (8*t + 8)*y + (8*t + 14)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^8 + 16*x^2 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 2*x^4 + 8*x^3 + 28, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (6*t + 14)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1, x^2 + 14, x^2 + 6]], [4, [x^4 - 6*x^2 + 4]]], 0, [x^8 + 8*x^6 + 100], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 2*x^4 + 8*x^3 + 20, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (14*t + 10)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^2 + 100], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 24*x^6 + 496, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 8)*y^3 + (8*t + 4)*y^2 + 8*t*y + (10*t + 14)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 + 20]]], 0, [x^8 + 16*x^2 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^6 + 112, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*t*y^3 + 4*t*y^2 + (4*t + 2)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 8*x^6 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 10*x^4 + 8*x^3 + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (6*t + 10)], 0, [-1, 0], 3/2, 0, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 8*x^6 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 12*x^6 + 6*x^4 + 8*x^3 + 28, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (4*t + 12)*y^2 + (2*t + 10)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 8*x^6 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^5 + 10*x^4 + 8*x^3 + 16*x + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + 8*t*y + (6*t + 10)], 0, [-1, 0], 3/2, 0, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 8*x^6 + 4], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 14*x^4 + 8*x^3 + 20, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 12*x^2 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 4*x^6 + 10*x^4 + 8*x^3 + 4, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (12*t + 12)*y^2 + (6*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], 0, [x^8 + 16*x^5 + 20], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 6*x^4 + 8*x^3 + 20, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (10*t + 14)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 12*x^2 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 12*x^6 + 2*x^4 + 8*x^3 + 4, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 12)*y^3 + (4*t + 4)*y^2 + (14*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], 0, [x^8 + 16*x^5 + 20], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 8*x^3 + 44, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*t*y^3 + 8*y^2 + (12*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], 0, [x^8 + 16*x^5 + 84], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 16*x^7 + 8*x^6 + 240, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 12*y^3 + 4*t*y^2 + 8*y + (6*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 12*x^4 + 12*x^2 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 12*x^7 + 24*x^6 + 24*x^4 + 8*x^3 + 32*x^2 + 28, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 4)*y^3 + 4*y^2 + 8*y + (4*t + 2)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 12*x^7 + 24*x^4 + 8*x^3 + 48*x^2 + 60, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (4*t + 12)*y^3 + (8*t + 4)*y^2 + 8*y + (4*t + 10)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 6*x^4 + 8*x^3 + 28, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (2*t + 10)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 6*x^4 + 8*x^3 + 12, [64, "t", [8, 31]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*y^3 + (2*t + 2)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1, x^2 + 2, x^2 + 10]], [4, [x^4 - 2*x^2 + 4]]], 0, [x^8 + 16*x^5 + 84], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 14*x^4 + 8*x^3 + 16*x^2 + 20, [64, "t", [8, 26]], 64, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*t*y^3 + 8*y^2 + (2*t + 6)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 - 20]]], 0, [x^8 + 2*x^6 + 4*x^5 + 12*x^4 + 12*x^2 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 4*x^7 + 4*x^6 + 14*x^4 + 8*x^3 + 20, [64, "t", [8, 27]], 64, [32, "i", [8, 18], "T18"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + 4*t*y^3 + (4*t + 4)*y^2 + (2*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 - 2*x^2 + 20]]], 0, [x^8 + 6*x^6 + 4*x^5 + 6], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 6*x^4 + 8*x^3 + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (10*t + 6)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^5 + 52], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^5 + 6*x^4 + 8*x^3 + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (8*t + 8)*y + (10*t + 6)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^5 + 52], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 14*x^4 + 8*x^3 + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (2*t + 14)], 0, [-1, 1], 3/2, 1, 1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^5 + 52], 51/16, 2], [2, 20, 4, 2, 8, x^8 + 8*x^5 + 14*x^4 + 8*x^3 + 4, [64, "t", [8, 30]], 128, [32, "i", [16, 51], "16T51"], [2, 2, 3, 7/2, 7/2], [1, 2], [t^2 - t + 1, y^4 + (8*t + 4)*y^3 + (8*t + 8)*y + (2*t + 14)], 0, [-1, 1], 3/2, 1, -1, [[2, [x^2 - x + 1]], [4, [x^4 + 2*x^2 - 4]]], 0, [x^8 + 16*x^5 + 52], 51/16, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2*x^4 + 2, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^5 + 2*y^4 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2, x^2 + 2, x^2 + 14]], [4, [x^4 + 6*x^2 + 1]]], [x^8 + 4*x^6 + 4*x^4 + 16, x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 6], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 6], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 6*x^4 + 14, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^5 + 6*y^4 + 14], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2, x^2 + 10, x^2 + 14]], [4, [x^4 + 6*x^2 + 4*x + 14]]], [x^8 + 2*x^6 + 4*x^5 + 10*x^4 + 8*x^3 + 12*x^2 + 4, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 2], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 1], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 2, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^6 + 4*y^5 + 6*y^4 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2, x^2 + 2, x^2 + 14]], [4, [x^4 + 6*x^2 + 1]]], [x^8 + 2*x^6 + 4*x^5 + 10*x^4 + 8*x^3 + 12*x^2 + 4, x^8 + 4*x^5 + 6*x^4 + 14], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 14], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 10, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^6 + 4*y^5 + 6*y^4 + 10], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2, x^2 + 10, x^2 + 6]], [4, [x^4 + 2*x^2 + 4*x + 10]]], [x^8 + 12*x^7 + 20*x^5 + 16*x^4 + 40*x + 20, x^8 + 4*x^5 + 6*x^4 + 6], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 6], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 6, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^6 + 4*y^5 + 2*y^4 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2, x^2 + 2, x^2 + 6]], [4, [x^4 + 6*x^2 + 4*x + 6]]], [x^8 + 4*x^6 + 4*x^4 + 16, x^8 + 4*x^5 + 2*x^4 + 2], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 1], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 8*x^6 + 64*x + 16, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 20*y^7 + 8644*y^6 - 58348*y^5 + 153742*y^4 - 49640*y^3 - 408288*y^2 + 682832*y - 297202], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2, x^2 + 10, x^2 + 14]], [4, [x^4 + 6*x^2 + 4*x + 14]]], [x^8 + 12*x^6 + 4*x^4 + 16, x^8 + 4*x^5 + 2*x^4 + 10], [x^4 + 8*x^2 + 4, x^4 + 2*x^2 + 4*x + 10], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2*x^4 + 10, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^5 + 2*y^4 + 10], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2, x^2 + 10, x^2 + 6]], [4, [x^4 + 2*x^2 + 4*x + 10]]], [x^8 + 12*x^6 + 4*x^4 + 16, x^8 + 8*x^6 + 64*x + 16], [x^4 + 8*x^2 + 4, x^4 + 6*x^2 + 4*x + 14], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 6*x^4 + 6, [16, "t", [8, 11]], 16, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^5 + 6*y^4 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2, x^2 + 2, x^2 + 6]], [4, [x^4 + 6*x^2 + 4*x + 6]]], [x^8 + 12*x^7 + 20*x^5 + 16*x^4 + 40*x + 20, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 10], [x^4 + 8*x^2 + 4, x^4 + 2*x^2 + 4*x + 10], 5/2, 4], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 4*x^5 + 6*x^4 + 6, [32, "t", [8, 19]], 32, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t + 1, y^8 + 4*y^6 + 4*y^5 + 6*y^4 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^2 + 4*x + 6]]], 0, [x^4 - x^2 + 5, x^4 + 6*x^2 + 4*x + 2], 5/2, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2*x^4 + 6, [32, "t", [8, 19]], 32, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 4], [t + 1, y^8 + 4*y^5 + 2*y^4 + 6], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^2 + 4*x + 6]]], 0, [x^4 - x^2 + 5, x^4 + 6*x^2 + 4*x + 2], 5/2, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^2 + 10, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^2 + 10], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 10]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^2 + 2, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 24*x^6 + 20*x^4 + 36, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 16*y^7 + 104288*y^6 - 535532*y^5 + 1181972*y^4 - 1444544*y^3 + 1088812*y^2 - 527592*y + 138078], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 10]], [4, [x^4 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^2 + 14, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^2 + 14], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 14]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^4 + 4*x^2 + 2, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^4 + 4*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 14]], [4, [x^4 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^4 + 4*x^2 + 10, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^4 + 4*y^2 + 10], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 6]], [4, [x^4 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^2 + 6, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^5 + 4*y^2 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 6]], [4, [x^4 + 4*x^2 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^7 + 4*x^5 + 4*x^4 + 4*x^2 + 2, [48, "t", [8, 24], "S4C2"], 48, [24, "t", [8, 13], "A4C2"], [8/3, 8/3, 3], [3, 2], [t + 1, y^8 + 4*y^7 + 4*y^5 + 4*y^4 + 4*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2]], [4, [x^4 + 4*x + 2]]], 0, -1, 31/12, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 6, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [20/7, 20/7, 20/7], [7, 3], [t + 1, y^8 + 4*y^5 + 6], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 73/28, 1], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^4 + 6, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [20/7, 20/7, 20/7], [7, 3], [t + 1, y^8 + 4*y^5 + 4*y^4 + 6], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 73/28, 1], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [20/7, 20/7, 20/7], [7, 3], [t + 1, y^8 + 4*y^5 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 73/28, 1], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 4*x^4 + 2, [168, "t", [8, 36], "C23:(C7:C3)"], 168, [56, "t", [8, 25], "C23:C7"], [20/7, 20/7, 20/7], [7, 3], [t + 1, y^8 + 4*y^5 + 4*y^4 + 2], 0, [1, 0], 1, 0, 1, [[2, []], [4, []]], 0, -1, 73/28, 1], [2, 20, 8, 1, 8, x^8 + 8*x^6 + 16*x^5 + 80, [32, "t", [8, 19]], 32, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 - 88*y^7 + 2348*y^6 - 7156*y^5 + 16130*y^4 - 26256*y^3 + 28448*y^2 - 20048*y + 8746], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 6*x^2 + 4*x + 2]]], 0, [x^4 - x^2 + 5, x^4 + 2*x^2 + 4*x + 6], 5/2, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 6*x^4 + 2, [32, "t", [8, 19]], 32, [8, "t", [8, 2], "C4C2"], [2, 3, 3], [1, 2], [t + 1, y^8 + 4*y^5 + 6*y^4 + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 6*x^2 + 4*x + 2]]], 0, [x^4 - x^2 + 5, x^4 + 2*x^2 + 4*x + 6], 5/2, 2], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2*x^4 + 4*x^2 + 6, [96, "t", [8, 33]], 96, [32, "t", [8, 18]], [2, 2, 2, 3, 3], [1, 3], [t + 1, y^8 + 4*y^5 + 2*y^4 + 4*y^2 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, []]], 0, -1, 43/16, 1], [2, 20, 8, 1, 8, x^8 + 8*x^7 + 80, [96, "t", [8, 33]], 96, [32, "t", [8, 18]], [2, 2, 2, 3, 3], [1, 3], [t + 1, y^8 + 4092*y^7 - 28272*y^6 + 81724*y^5 - 118910*y^4 + 80584*y^3 - 5492*y^2 - 20048*y + 7046], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, []]], 0, -1, 43/16, 1], [2, 20, 8, 1, 8, x^8 + 8*x^7 + 16, [96, "t", [8, 33]], 96, [32, "t", [8, 18]], [2, 2, 2, 3, 3], [1, 3], [t + 1, y^8 + 3340*y^7 + 56*y^6 + 4444*y^5 + 28418*y^4 + 27296*y^3 + 112852*y^2 - 42960*y + 104850], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, []]], 0, -1, 43/16, 1], [2, 20, 8, 1, 8, x^8 + 4*x^5 + 2*x^4 + 4*x^2 + 2, [96, "t", [8, 33]], 96, [32, "t", [8, 18]], [2, 2, 2, 3, 3], [1, 3], [t + 1, y^8 + 4*y^5 + 2*y^4 + 4*y^2 + 2], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, []]], 0, -1, 43/16, 1], [2, 20, 8, 1, 8, x^8 + 16*x^5 + 52, [32, "t", [8, 19]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 4*y^7 + 1474*y^6 + 543684*y^5 - 2421616*y^4 + 3286600*y^3 + 367288*y^2 - 3871448*y + 2170830], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 - 2*x^2 + 20], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 16*x^2 + 4, [32, "t", [8, 19]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 30*y^6 - 68*y^5 + 108*y^4 - 128*y^3 + 112*y^2 - 64*y + 18], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^4 + 2*x^2 + 4*x + 6, x^4 + 2*x^2 + 20], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 6*x^6 + 4*x^5 + 6, [32, "t", [8, 19]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 6*y^6 + 4*y^5 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^4 - 2*x^2 + 20], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 8*x^6 + 4, [32, "t", [8, 19]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 30074*y^6 - 180332*y^5 + 454212*y^4 - 614784*y^3 + 469612*y^2 - 190456*y + 31802], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^4 + 2*x^2 + 4*x + 6, x^4 + 2*x^2 + 20], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 8*x^6 + 100, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 434*y^6 - 2492*y^5 + 8560*y^4 - 17776*y^3 + 31664*y^2 - 34336*y + 160642], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2, x^4 + 6*x^2 + 2, x^4 + 6*x^2 + 10]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^2 + 14, x^2 + 6], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 16*x^5 + 20, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 4*y^7 + 562*y^6 + 547092*y^5 - 2696940*y^4 + 5158344*y^3 - 4507884*y^2 + 1497208*y + 33478], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6, x^4 - 2*x^2 - 2, x^4 - 2*x^2 + 6]]], 0, [x^4 + 2*x^2 + 4*x + 6, x^2 + 2, x^2 + 10], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 16*x^2 + 100, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 22*y^6 - 20*y^5 + 24*y^4 - 112*y^3 + 372*y^2 - 488*y + 378], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2, x^4 - 2*x^2 + 2, x^4 + 6*x^2 + 10]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^2 + 6, x^2 + 14], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 6*x^6 + 4*x^5 + 12*x^2 + 6, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 6*y^6 + 4*y^5 + 12*y^2 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6, x^4 + 2*x^2 - 2, x^4 - 2*x^2 + 6]]], 0, [x^2 + 2, x^2 + 10, x^4 + 2*x^2 + 4*x + 6], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 8*x^6 + 36, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 2050*y^6 - 12188*y^5 + 37072*y^4 - 67184*y^3 + 20880*y^2 + 60192*y + 15354], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2, x^4 - 2*x^2 + 2, x^4 + 2*x^2 + 10]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^2 + 14, x^2 + 6], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 16*x^2 + 36, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 26*y^6 - 44*y^5 + 52*y^4 - 64*y^3 + 52*y^2 - 8*y + 2], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2, x^4 + 6*x^2 + 2, x^4 + 2*x^2 + 10]]], 0, [x^4 + 6*x^2 + 4*x + 2, x^2 + 6, x^2 + 14], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 2*x^6 + 4*x^5 + 12*x^4 + 12*x^2 + 6, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^5 + 12*y^4 + 12*y^2 + 6], 0, [1, 0], 1, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6, x^4 - 2*x^2 - 2, x^4 + 2*x^2 + 6]]], 0, [x^4 + 2*x^2 + 4*x + 6, x^2 + 2, x^2 + 10], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 16*x^5 + 84, [32, "t", [8, 18]], 32, [16, "t", [8, 9], "D4C2"], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 4*y^7 + 3946*y^6 + 534212*y^5 - 2236120*y^4 + 4950320*y^3 - 3863196*y^2 + 785904*y + 120126], 0, [1, 0], 1, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6, x^4 + 2*x^2 - 2, x^4 + 2*x^2 + 6]]], 0, [x^4 + 2*x^2 + 4*x + 6, x^2 + 2, x^2 + 10], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 4*x^7 + 6*x^6 + 4*x^5 + 2, [32, "t", [8, 15]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 4*y^7 + 6*y^6 + 4*y^5 + 2], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^7 + 2*x^6 + 4*x^5 + 2*x^4 + 4], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 52, [32, "t", [8, 15]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 106*y^6 - 524*y^5 + 3736*y^4 - 11600*y^3 + 49792*y^2 - 77696*y + 220286], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^3 + 4], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 20, [32, "t", [8, 15]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 58*y^6 - 236*y^5 + 860*y^4 - 2016*y^3 + 4228*y^2 - 4968*y + 5726], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 2*x^6 + 4*x^5 + 6*x^4 + 8*x^3 + 4], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 24*x^2 + 20, [32, "t", [8, 15]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 42*y^6 - 140*y^5 + 396*y^4 - 800*y^3 + 1040*y^2 - 768*y + 242], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^7 + 2*x^6 + 4*x^5 + 2*x^4 + 4], 23/8, 2], [2, 20, 8, 1, 8, x^8 + 8*x^4 + 20, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 46*y^6 - 164*y^5 + 488*y^4 - 1008*y^3 + 1696*y^2 - 1728*y + 1522], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 8*x + 28], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 8*x^4 + 52, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 106*y^6 - 524*y^5 + 2184*y^4 - 5392*y^3 + 2260*y^2 + 4952*y + 1022914], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 8*x + 28], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 8*x^4 + 116, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 98*y^6 - 476*y^5 + 2208*y^4 - 5808*y^3 + 9636*y^2 - 8840*y + 276050], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 8*x + 28], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 4*x^7 + 8*x^2 + 56, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 32*y^7 + 6*y^6 - 84*y^5 + 12*y^4 - 168*y^3 + 8*y^2 + 686], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 12], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 2*x^6 + 4*x^5 + 8*x^3 + 14, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^5 + 8*y^3 + 14], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 12], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 4*x^7 + 2*x^6 + 4*x^5 + 6, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 4*y^7 + 2*y^6 + 4*y^5 + 6], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 12], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 8*x^4 + 84, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 - 8*y^7 + 142*y^6 - 740*y^5 + 5232*y^4 - 16144*y^3 + 50800*y^2 - 71200*y + 1095042], 0, [1, 1], 1, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^6 + 4*x^5 + 2*x^4 + 12*x^2 + 8*x + 28], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 2*x^6 + 4*x^5 + 12*x^2 + 6, [32, "t", [8, 17]], 32, [16, "t", [8, 11]], [2, 2, 3, 7/2], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^5 + 12*y^2 + 6], 0, [1, 1], 1, 1, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 6*x^6 + 4*x^5 + 2*x^4 + 12], 23/8, 4], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 28, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 462*y^6 - 2660*y^5 + 69258*y^4 - 259448*y^3 + 2010148*y^2 - 3508408*y + 19365102], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 12*x^6 + 60, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 7126*y^6 - 42644*y^5 + 235210*y^4 - 656696*y^3 + 1489948*y^2 - 1780136*y + 989134], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 60, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 74*y^6 - 332*y^5 + 1270*y^4 - 3016*y^3 + 3508*y^2 - 1784*y + 4622], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 12*x^6 + 28, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 7182*y^6 - 42980*y^5 + 167538*y^4 - 383768*y^3 + 604492*y^2 - 555976*y + 231302], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 24*x^2 + 60, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 46*y^6 - 164*y^5 + 886*y^4 - 2600*y^3 + 1528*y^2 + 1792*y + 23734], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 8*x^2 + 28, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 34*y^6 - 92*y^5 + 162*y^4 - 184*y^3 + 8*y^2 + 192*y + 454], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 24*x^2 + 28, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 - 298*y^6 + 1900*y^5 + 30978*y^4 - 136728*y^3 + 369784*y^2 - 460960*y + 291154], 0, [-1, 0], 3/2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 8*x^2 + 60, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 34*y^6 - 92*y^5 + 34*y^4 + 328*y^3 - 2456*y^2 + 4096*y + 14398], 0, [-1, 0], 3/2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 20*x^6 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 129582*y^6 - 777380*y^5 + 2227570*y^4 - 3727896*y^3 + 3853192*y^2 - 2323520*y + 623502], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 8*x^2 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 34*y^6 - 92*y^5 + 178*y^4 - 248*y^3 + 244*y^2 - 152*y + 70], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 24*x^2 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 46*y^6 - 164*y^5 + 550*y^4 - 1256*y^3 + 3868*y^2 - 5576*y + 2902], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 12*x^6 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 45502*y^6 - 272900*y^5 + 763306*y^4 - 1234040*y^3 + 987520*y^2 - 234608*y + 1775110], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 4*x^6 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 38*y^6 - 116*y^5 + 250*y^4 - 376*y^3 + 376*y^2 - 224*y + 62], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 28*x^6 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 794930*y^6 - 4769468*y^5 + 13178014*y^4 - 20915752*y^3 + 20164408*y^2 - 11215808*y + 2770886], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 40*x^2 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 262*y^6 - 1460*y^5 + 20178*y^4 - 71128*y^3 + 416876*y^2 - 695304*y + 331666], 0, [-1, 1], 3/2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 20, 8, 1, 8, x^8 + 56*x^2 + 12, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 2, 3, 3, 7/2], [1, 3], [t + 1, y^8 - 8*y^7 + 70*y^6 - 308*y^5 + 1870*y^4 - 5576*y^3 + 146908*y^2 - 283400*y + 148246], 0, [-1, 1], 3/2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 99/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 4*x^2 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 14], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 12*x^4 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 14*y^6 + 12*y^4 + 2], 0, [2, 0], 2, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 14], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 10*y^6 + 2], 0, [2, 0], 2, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^4 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 8*x^4 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 6*y^6 + 8*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 14], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 2*y^6 + 2], 0, [2, 0], 2, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^4 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 12*x^4 + 2, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 10*y^6 + 12*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 14], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 8*x^2 + 8, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 - 14*y^6 + 1556*y^4 + 1892*y^2 + 578], 0, [2, 0], 2, 0, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^4 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 24*x^2 + 8, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 18*y^6 + 108*y^4 + 216*y^2 + 2], 0, [2, 0], 2, 0, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 4*x^4 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 10*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 14*y^6 + 10*y^4 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 10*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 6*y^6 + 10*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 14*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 14*y^6 + 14*y^4 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 10*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 2*y^6 + 10*y^4 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 6*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 14*y^6 + 6*y^4 + 2], 0, [2, 0], 2, 0, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 14*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 10*y^6 + 14*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 14*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 6*y^6 + 14*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 2*x^4 + 2, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 6*y^6 + 2*y^4 + 2], 0, [2, 0], 2, 0, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 4*x^6 + 160, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 30*y^6 + 300*y^4 + 1000*y^2 + 6250], 0, [2, 1], 2, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 8*x^6 + 56*x^2 + 40, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 170*y^6 + 1068*y^4 + 3344*y^2 + 250], 0, [2, 1], 2, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 10, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 6*y^6 + 10], 0, [2, 1], 2, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 8*x^2 + 40, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 6*y^6 + 12*y^4 + 8*y^2 + 250], 0, [2, 1], 2, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 12*x^4 + 10, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 14*y^6 + 12*y^4 + 10], 0, [2, 1], 2, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 4*x^2 + 10, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 2*y^6 + 4*y^2 + 10], 0, [2, 1], 2, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 10, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 2*y^6 + 10], 0, [2, 1], 2, 1, 1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 8*x^4 + 10, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 6*y^6 + 8*y^4 + 10], 0, [2, 1], 2, 1, -1, [[2, [x^2 + 2*x + 2]], [4, [x^4 + 2*x^3 + 2]]], 0, [x^8 + 8*x^2 + 8*x + 6], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 10*x^4 + 8*x^2 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 10*y^6 + 10*y^4 + 8*y^2 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 14*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 2*y^6 + 14*y^4 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 2*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 14*y^6 + 2*y^4 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 6*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 10*y^6 + 6*y^4 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 14*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 10*y^6 + 14*y^4 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 6*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 2*y^6 + 6*y^4 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 6*x^6 + 2*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 6*y^6 + 2*y^4 + 10], 0, [2, 1], 2, 1, -1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 2*x^4 + 10, [192, "t", [8, 38]], 192, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 3], [t + 1, y^8 + 2*y^6 + 2*y^4 + 10], 0, [2, 1], 2, 1, 1, [[2, []], [4, [x^4 + 2*x^3 + 2*x^2 + 2]]], 0, -1, 111/32, 2], [2, 21, 8, 1, 8, x^8 + 10*x^6 + 12*x^2 + 14, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 10*y^6 + 12*y^2 + 14], 0, [-2, 0], 3, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^6 + 16*x^3 + 8], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 2*x^6 + 8*x^4 + 14, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 2*y^6 + 8*y^4 + 14], 0, [-2, 0], 3, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^6 + 16*x^3 + 8], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 4*x^7 + 14*x^6 + 14, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 4*y^7 + 14*y^6 + 14], 0, [-2, 0], 3, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^6 + 16*x^3 + 8], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 14*x^6 + 14, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 14*y^6 + 14], 0, [-2, 0], 3, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 8*x^2 + 56, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 6*y^6 + 12*y^4 + 8*y^2 + 686], 0, [-2, 0], 3, 0, 1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 56*x^2 + 56, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 42*y^6 + 588*y^4 + 2744*y^2 + 686], 0, [-2, 0], 3, 0, -1, [[2, [x^2 + 2*x - 2]], [4, [x^4 + 2*x^3 + 6]]], 0, [x^8 + 8*x^3 + 8*x^2 + 8*x + 2], 111/32, 2], [2, 21, 8, 1, 8, x^8 + 4*x^7 + 6*x^6 + 14, [128, "t", [8, 35]], 128, [64, "t", [8, 31]], [2, 2, 3, 7/2, 7/2, 15/4], [1, 2], [t + 1, y^8 + 4*