-
hmf_forms • Show schema
Hide schema
{'deg': 6, 'dimension': 1, 'disc': 453789, 'field_bad_primes': [3, 7], 'field_label': '6.6.453789.1', 'is_CM': 'no', 'is_base_change': 'no', 'label': '6.6.453789.1-41.3-d', 'label_nsuffix': 3, 'label_suffix': 'd', 'level_bad_primes': [41], 'level_ideal': '[41,41,-2*w^5 + 12*w^3 - 2*w^2 - 17*w + 5]', 'level_label': '41.3', 'level_norm': 41, 'parallel_weight': 2, 'short_label': '41.3-d', 'weight': '[2, 2, 2, 2, 2, 2]'}
-
hmf_hecke • Show schema
Hide schema
{'AL_eigenvalues': [['[41,41,-2*w^5 + 12*w^3 - 2*w^2 - 17*w + 5]', 1]], 'hecke_eigenvalues': [-4, 1, -8, 12, -1, 8, -5, 5, 6, 1, 3, -2, -10, -11, -1, -15, 2, 15, -2, -4, 9, 6, -1, 13, 5, 12, -12, -2, 0, -5, 1, 14, 0, -3, 24, 1, -11, -12, 12, -8, -14, 15, 11, 5, 27, 8, 21, 15, 2, -12, 15, 21, 24, -32, -2, 24, -18, -3, 1, -3, -6, -9, -20, -2, 15, -8, 2, -23, -1, -8, 12, -4, -9, 12, 10, 3, 30, -5, -1, -6, -9, -16, -6, 10, 14, 30, -5, 2, -29, 20, -27, 31, -26, -30, 31, 24, 19, -20, 32, -21, 18, -24, 1, 38, 20, 35, -16, -2, 26, 44, 5, -17, -25, 0, 6, 33, 8, 25, -19, 22, 26, -42, 6, 44, -1, -38, 33, 18, 30, -34, -28, -27, 0, -12, -20, -47, 9, 40, -44, -27, -23, -5, 8, -55, 20, 18, 3, -20, 54, 44, 16, -34, 34, 4, -12, -36, -32, 16, 2, 1, -2], 'hecke_polynomial': 'x', 'label': '6.6.453789.1-41.3-d'}
-
hmf_fields • Show schema
Hide schema
{'degree': 6, 'discriminant': 453789, 'ideals': ['[1, 1, 1]', '[7, 7, -w^5 + 5*w^3 - 5*w - 1]', '[27, 3, -2*w^5 + 10*w^3 - w^2 - 10*w + 2]', '[41, 41, -w^5 + 6*w^3 - w^2 - 7*w + 2]', '[41, 41, w^4 - w^3 - 4*w^2 + 3*w + 1]', '[41, 41, -2*w^5 + 12*w^3 - 2*w^2 - 17*w + 5]', '[41, 41, w^5 - 5*w^3 + 2*w^2 + 5*w - 5]', '[41, 41, -w^4 - 2*w^3 + 4*w^2 + 6*w - 3]', '[41, 41, -2*w^5 + 10*w^3 - w^2 - 10*w + 3]', '[43, 43, -w^5 + w^4 + 6*w^3 - 5*w^2 - 9*w + 4]', '[43, 43, -w^4 - w^3 + 4*w^2 + 4*w - 3]', '[43, 43, -w^4 + 3*w^2 + 1]', '[43, 43, -w^3 + w^2 + 4*w - 2]', '[43, 43, -w^5 + w^4 + 6*w^3 - 4*w^2 - 8*w + 3]', '[43, 43, -w^2 - w + 3]', '[49, 7, -w^5 + 7*w^3 - w^2 - 11*w + 3]', '[64, 2, -2]', '[83, 83, -w^5 + 6*w^3 - w^2 - 10*w + 4]', '[83, 83, -2*w^5 + w^4 + 12*w^3 - 6*w^2 - 17*w + 6]', '[83, 83, w^5 - 6*w^3 + 2*w^2 + 8*w - 3]', '[83, 83, w^5 - 4*w^3 + w - 1]', '[83, 83, -2*w^5 + 11*w^3 - w^2 - 13*w + 1]', '[83, 83, w^5 - 5*w^3 + 2*w^2 + 6*w - 6]', '[125, 5, w^5 + w^4 - 5*w^3 - 4*w^2 + 6*w + 2]', '[125, 5, -w^5 - w^4 + 5*w^3 + 4*w^2 - 6*w - 1]', '[127, 127, w^5 - w^4 - 5*w^3 + 5*w^2 + 6*w - 4]', '[127, 127, -w^5 + 7*w^3 - 2*w^2 - 12*w + 5]', '[127, 127, -2*w^5 + w^4 + 11*w^3 - 5*w^2 - 13*w + 5]', '[127, 127, -2*w^3 + w^2 + 7*w - 2]', '[127, 127, -w^5 + 6*w^3 - 7*w]', '[127, 127, -w^4 - 2*w^3 + 4*w^2 + 7*w - 3]', '[167, 167, -w^5 - w^4 + 4*w^3 + 4*w^2 - 1]', '[167, 167, -2*w^4 + 7*w^2 + w - 3]', '[167, 167, w^5 - w^4 - 4*w^3 + 3*w^2 + w + 2]', '[167, 167, w^5 + w^4 - 4*w^3 - 4*w^2 + 3*w - 1]', '[167, 167, 2*w^5 - 11*w^3 + w^2 + 12*w - 3]', '[167, 167, 3*w^5 + w^4 - 16*w^3 - w^2 + 19*w - 6]', '[169, 13, w^5 - 4*w^3 + w^2 + 2*w - 3]', '[169, 13, -2*w^5 + 11*w^3 - 2*w^2 - 13*w + 4]', '[169, 13, -w^5 + 7*w^3 - w^2 - 11*w + 4]', '[189, 21, 2*w^4 + w^3 - 8*w^2 - 3*w + 4]', '[211, 211, 3*w^5 - w^4 - 17*w^3 + 7*w^2 + 23*w - 9]', '[211, 211, -3*w^3 + 10*w - 1]', '[211, 211, w^5 + w^4 - 7*w^3 - 4*w^2 + 12*w - 1]', '[211, 211, 3*w^5 - w^4 - 16*w^3 + 6*w^2 + 18*w - 5]', '[211, 211, -2*w^5 + 12*w^3 - 3*w^2 - 16*w + 6]', '[211, 211, w^3 - 2*w^2 - 4*w + 3]', '[251, 251, 3*w^5 - 18*w^3 + 3*w^2 + 26*w - 8]', '[251, 251, 2*w^5 - 2*w^4 - 13*w^3 + 9*w^2 + 20*w - 7]', '[251, 251, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 6*w + 2]', '[251, 251, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 11*w]', '[251, 251, 2*w^4 - w^3 - 8*w^2 + 3*w + 3]', '[251, 251, w^4 + 3*w^3 - 5*w^2 - 9*w + 3]', '[287, 287, -w^5 + 6*w^3 - 9*w + 3]', '[287, 287, -w^4 + 4*w^2 - w - 4]', '[287, 287, w^4 + w^3 - 5*w^2 - 3*w + 2]', '[287, 287, -w^5 - w^4 + 5*w^3 + 4*w^2 - 5*w - 4]', '[287, 287, -w^5 + 5*w^3 - 6*w - 2]', '[287, 287, w^5 + w^4 - 5*w^3 - 3*w^2 + 6*w - 3]', '[293, 293, -2*w^5 - 2*w^4 + 10*w^3 + 7*w^2 - 11*w]', '[293, 293, -3*w^5 - w^4 + 16*w^3 + 2*w^2 - 18*w + 2]', '[293, 293, 2*w^5 - 13*w^3 + w^2 + 20*w - 5]', '[293, 293, w^5 - 2*w^4 - 7*w^3 + 8*w^2 + 12*w - 5]', '[293, 293, -2*w^4 - w^3 + 9*w^2 + 2*w - 7]', '[293, 293, -w^5 - w^4 + 4*w^3 + 5*w^2 - 3*w - 3]', '[301, 301, w^4 + 2*w^3 - 6*w^2 - 6*w + 8]', '[301, 301, -w^5 + 2*w^4 + 6*w^3 - 9*w^2 - 7*w + 5]', '[301, 301, 2*w^5 - 10*w^3 + w^2 + 12*w - 4]', '[301, 301, -2*w^5 - 2*w^4 + 10*w^3 + 6*w^2 - 11*w]', '[301, 301, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 13*w]', '[301, 301, w^5 - 7*w^3 + 13*w]', '[337, 337, -w^5 + w^4 + 5*w^3 - 5*w^2 - 6*w + 3]', '[337, 337, -w^5 + 7*w^3 - 2*w^2 - 12*w + 4]', '[337, 337, -w^5 + 6*w^3 - 7*w - 1]', '[337, 337, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 13*w - 6]', '[337, 337, -w^4 - 2*w^3 + 4*w^2 + 7*w - 4]', '[337, 337, w^5 + w^4 - 5*w^3 - 2*w^2 + 5*w - 4]', '[343, 7, 2*w^3 - w^2 - 8*w + 2]', '[379, 379, 2*w^5 - 2*w^4 - 11*w^3 + 8*w^2 + 13*w - 4]', '[379, 379, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 5*w - 4]', '[379, 379, 3*w^5 - 16*w^3 + w^2 + 18*w - 5]', '[379, 379, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 10*w - 7]', '[379, 379, -2*w^5 - 2*w^4 + 11*w^3 + 6*w^2 - 15*w + 1]', '[379, 379, w^5 - 7*w^3 + 3*w^2 + 13*w - 8]', '[419, 419, 2*w^5 - 10*w^3 + 3*w^2 + 11*w - 9]', '[419, 419, -3*w^5 + w^4 + 18*w^3 - 7*w^2 - 25*w + 8]', '[419, 419, -w^4 + 2*w^3 + 3*w^2 - 6*w + 3]', '[419, 419, -2*w^5 + 9*w^3 - w^2 - 6*w + 4]', '[419, 419, -w^5 + w^4 + 8*w^3 - 4*w^2 - 14*w + 5]', '[419, 419, 2*w^5 + w^4 - 11*w^3 - 2*w^2 + 12*w - 1]', '[421, 421, -w^3 - 2*w^2 + 4*w + 3]', '[421, 421, -3*w^5 + w^4 + 17*w^3 - 6*w^2 - 23*w + 9]', '[421, 421, 3*w^5 + w^4 - 17*w^3 - w^2 + 23*w - 7]', '[421, 421, 3*w^5 - 15*w^3 + w^2 + 16*w - 2]', '[421, 421, -2*w^4 - 3*w^3 + 9*w^2 + 9*w - 6]', '[421, 421, w^5 - w^4 - 6*w^3 + 5*w^2 + 6*w - 5]', '[448, 14, 2*w^5 - 10*w^3 + 10*w + 2]', '[461, 461, 2*w^5 - w^4 - 13*w^3 + 7*w^2 + 20*w - 8]', '[461, 461, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 9*w + 6]', '[461, 461, 2*w^4 + w^3 - 9*w^2 - 3*w + 4]', '[461, 461, w^5 - w^4 - 8*w^3 + 4*w^2 + 15*w - 5]', '[461, 461, 2*w^5 + w^4 - 10*w^3 - w^2 + 11*w - 7]', '[461, 461, w^5 - w^4 - 4*w^3 + 4*w^2 + 3*w]', '[463, 463, w^5 - 2*w^4 - 7*w^3 + 8*w^2 + 10*w - 6]', '[463, 463, w^5 - w^4 - 6*w^3 + 5*w^2 + 9*w - 8]', '[463, 463, w^5 - w^4 - 6*w^3 + 4*w^2 + 8*w + 1]', '[463, 463, -3*w^5 - w^4 + 15*w^3 + 3*w^2 - 15*w]', '[463, 463, -w^4 + 3*w^2 - 3]', '[463, 463, -w^4 - w^3 + 4*w^2 + 4*w + 1]', '[503, 503, w^5 - 7*w^3 + 12*w - 3]', '[503, 503, -3*w^5 - w^4 + 17*w^3 + w^2 - 23*w + 6]', '[503, 503, 2*w^5 - 10*w^3 + 3*w^2 + 10*w - 7]', '[503, 503, -w^5 + w^4 + 8*w^3 - 5*w^2 - 15*w + 8]', '[503, 503, -3*w^5 + 15*w^3 - w^2 - 16*w + 3]', '[503, 503, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 10*w + 7]', '[547, 547, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 14*w - 1]', '[547, 547, 3*w^5 - w^4 - 17*w^3 + 7*w^2 + 21*w - 9]', '[547, 547, -3*w^5 + w^4 + 17*w^3 - 5*w^2 - 21*w + 5]', '[547, 547, 2*w^4 + w^3 - 9*w^2 - 2*w + 4]', '[547, 547, 2*w^5 + w^4 - 10*w^3 - 3*w^2 + 12*w - 3]', '[547, 547, -w^5 - w^4 + 6*w^3 + 4*w^2 - 10*w - 3]', '[581, 581, 6*w^5 - 2*w^4 - 35*w^3 + 12*w^2 + 47*w - 13]', '[581, 581, -2*w^5 + 2*w^4 + 15*w^3 - 9*w^2 - 26*w + 8]', '[581, 581, -3*w^2 - w + 9]', '[581, 581, w^5 - 10*w^3 + 2*w^2 + 23*w - 9]', '[581, 581, 2*w^5 + w^4 - 14*w^3 - w^2 + 25*w - 8]', '[581, 581, -3*w^5 + w^4 + 16*w^3 - 6*w^2 - 19*w + 6]', '[587, 587, 3*w^5 - w^4 - 16*w^3 + 7*w^2 + 19*w - 10]', '[587, 587, -2*w^5 - 2*w^4 + 9*w^3 + 7*w^2 - 7*w - 3]', '[587, 587, w^5 - 2*w^4 - 6*w^3 + 10*w^2 + 8*w - 7]', '[587, 587, 2*w^5 + w^4 - 12*w^3 - w^2 + 16*w - 5]', '[587, 587, -3*w^5 + 17*w^3 - w^2 - 22*w + 5]', '[587, 587, w^5 + w^4 - 7*w^3 - 3*w^2 + 13*w]', '[631, 631, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 14*w + 9]', '[631, 631, 3*w^5 + w^4 - 16*w^3 - w^2 + 20*w - 6]', '[631, 631, -w^5 + 2*w^4 + 7*w^3 - 9*w^2 - 10*w + 6]', '[631, 631, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 14*w - 1]', '[631, 631, -w^5 - w^4 + 6*w^3 + 5*w^2 - 8*w - 3]', '[631, 631, 3*w^5 - 16*w^3 + 2*w^2 + 20*w - 6]', '[673, 673, -w^5 - w^4 + 5*w^3 + w^2 - 5*w + 5]', '[673, 673, -w^4 + 6*w^2 - 6]', '[673, 673, 2*w^5 - 13*w^3 + 3*w^2 + 21*w - 8]', '[673, 673, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 6]', '[673, 673, -3*w^5 + w^4 + 16*w^3 - 5*w^2 - 18*w + 5]', '[673, 673, -2*w^4 - 3*w^3 + 8*w^2 + 10*w - 5]', '[729, 3, 3]', '[757, 757, 2*w^4 - w^3 - 8*w^2 + 3*w + 5]', '[757, 757, -3*w^5 + 18*w^3 - 3*w^2 - 26*w + 10]', '[757, 757, -w^5 + 6*w^3 - w^2 - 6*w + 4]', '[757, 757, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 11*w - 4]', '[757, 757, -3*w^5 + 15*w^3 - w^2 - 15*w + 1]', '[757, 757, w^5 + w^4 - 5*w^3 - 4*w^2 + 7*w + 4]', '[797, 797, w^5 - w^4 - 6*w^3 + 3*w^2 + 9*w - 3]', '[797, 797, -w^5 - w^4 + 7*w^3 + 4*w^2 - 11*w]', '[797, 797, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 10*w + 4]', '[797, 797, 3*w^5 + w^4 - 17*w^3 - w^2 + 22*w - 5]', '[797, 797, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 14*w]', '[797, 797, 2*w^5 - 12*w^3 + w^2 + 18*w - 6]', '[839, 839, w^5 + w^4 - 5*w^3 - w^2 + 4*w - 5]', '[839, 839, -4*w^5 + w^4 + 22*w^3 - 6*w^2 - 27*w + 8]', '[839, 839, 2*w^5 + w^4 - 13*w^3 - w^2 + 21*w - 6]', '[839, 839, w^5 - w^4 - 7*w^3 + 4*w^2 + 9*w - 2]', '[839, 839, w^5 + 2*w^4 - 2*w^3 - 8*w^2 - 5*w + 5]', '[839, 839, -w^5 + 2*w^4 + 5*w^3 - 10*w^2 - 6*w + 8]', '[841, 29, 2*w^5 - 13*w^3 + 2*w^2 + 19*w - 6]', '[841, 29, -3*w^5 + 17*w^3 - 3*w^2 - 21*w + 7]', '[841, 29, 3*w^5 - 16*w^3 + 3*w^2 + 18*w - 7]', '[875, 35, w^5 + w^4 - 7*w^3 - 4*w^2 + 13*w + 3]', '[875, 35, w^4 - 2*w^3 - 4*w^2 + 8*w + 2]', '[881, 881, 3*w^5 + w^4 - 17*w^3 - w^2 + 22*w - 7]', '[881, 881, 2*w^5 - w^4 - 12*w^3 + 6*w^2 + 15*w - 8]', '[881, 881, -w^5 + 7*w^3 - 2*w^2 - 11*w + 8]', '[881, 881, -2*w^5 - w^4 + 10*w^3 + 2*w^2 - 10*w]', '[881, 881, 2*w^5 - w^4 - 11*w^3 + 6*w^2 + 13*w - 4]', '[881, 881, 2*w^5 - 12*w^3 + w^2 + 16*w - 6]', '[883, 883, 2*w^5 + w^4 - 13*w^3 - 2*w^2 + 19*w - 4]', '[883, 883, -2*w^5 + w^4 + 14*w^3 - 6*w^2 - 22*w + 8]', '[883, 883, w^5 + w^4 - 3*w^3 - 5*w^2 + 5]', '[883, 883, -4*w^5 + 22*w^3 - 4*w^2 - 27*w + 10]', '[883, 883, -4*w^5 + w^4 + 23*w^3 - 8*w^2 - 30*w + 12]', '[883, 883, 3*w^5 + 2*w^4 - 16*w^3 - 6*w^2 + 19*w - 1]', '[889, 889, -w^5 + 6*w^3 + w^2 - 7*w - 3]', '[889, 889, 3*w^5 - 19*w^3 + 3*w^2 + 30*w - 10]', '[889, 889, -3*w^5 + w^4 + 16*w^3 - 7*w^2 - 18*w + 8]', '[889, 889, -3*w^5 + 20*w^3 - 2*w^2 - 32*w + 8]', '[889, 889, 3*w^5 - 3*w^4 - 18*w^3 + 14*w^2 + 24*w - 9]', '[889, 889, 5*w^5 - 2*w^4 - 28*w^3 + 12*w^2 + 35*w - 12]', '[967, 967, -w^5 + 2*w^4 + 7*w^3 - 9*w^2 - 13*w + 5]', '[967, 967, -3*w^5 + 16*w^3 - 3*w^2 - 20*w + 9]', '[967, 967, 2*w^5 - 13*w^3 + 2*w^2 + 18*w - 6]', '[967, 967, 2*w^5 - 2*w^4 - 12*w^3 + 9*w^2 + 15*w - 8]', '[967, 967, 3*w^5 - 16*w^3 + 4*w^2 + 18*w - 9]', '[967, 967, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 13*w]', '[1009, 1009, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 13*w + 4]', '[1009, 1009, -w^5 + w^4 + 8*w^3 - 7*w^2 - 15*w + 9]', '[1009, 1009, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 12*w + 2]', '[1009, 1009, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 12*w + 4]', '[1009, 1009, -2*w^5 + 2*w^4 + 11*w^3 - 9*w^2 - 12*w + 7]', '[1009, 1009, -w^5 + 2*w^4 + 6*w^3 - 9*w^2 - 9*w + 5]', '[1049, 1049, w^5 + w^4 - 4*w^3 - w^2 + 2*w - 4]', '[1049, 1049, 3*w^5 - w^4 - 15*w^3 + 5*w^2 + 15*w - 4]', '[1049, 1049, -w^5 + 2*w^4 + 9*w^3 - 9*w^2 - 18*w + 7]', '[1049, 1049, 2*w^4 - w^3 - 8*w^2 + 2*w + 4]', '[1049, 1049, 3*w^5 - 18*w^3 + 4*w^2 + 26*w - 11]', '[1049, 1049, -2*w^5 + 11*w^3 - w^2 - 11*w + 3]', '[1051, 1051, -w^5 + 2*w^4 + 6*w^3 - 9*w^2 - 9*w + 4]', '[1051, 1051, w^5 - 7*w^3 + 2*w^2 + 13*w - 3]', '[1051, 1051, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 13*w + 5]', '[1051, 1051, -w^5 + w^4 + 5*w^3 - 5*w^2 - 7*w + 3]', '[1051, 1051, -2*w^4 - 2*w^3 + 8*w^2 + 7*w - 7]', '[1051, 1051, w^5 + 2*w^4 - 4*w^3 - 6*w^2 + 2*w - 2]', '[1091, 1091, -3*w^5 + 18*w^3 - 2*w^2 - 25*w + 8]', '[1091, 1091, 2*w^4 + w^3 - 7*w^2 - 2*w - 1]', '[1091, 1091, 2*w^5 - w^4 - 12*w^3 + 5*w^2 + 18*w - 8]', '[1091, 1091, w^4 + w^3 - 6*w^2 - 4*w + 4]', '[1091, 1091, -2*w^5 + w^4 + 11*w^3 - 7*w^2 - 13*w + 7]', '[1091, 1091, -w^5 - w^4 + 4*w^3 + 5*w^2 - w - 7]', '[1093, 1093, -2*w^5 + 11*w^3 - 3*w^2 - 12*w + 5]', '[1093, 1093, 2*w^4 - 6*w^2 - 1]', '[1093, 1093, 4*w^5 - 22*w^3 + 3*w^2 + 27*w - 6]', '[1093, 1093, -2*w^5 + 2*w^4 + 12*w^3 - 8*w^2 - 16*w + 5]', '[1093, 1093, 2*w^5 + w^4 - 13*w^3 - 2*w^2 + 20*w - 6]', '[1093, 1093, w^5 - w^4 - 8*w^3 + 5*w^2 + 13*w - 7]', '[1107, 123, w^5 - 2*w^4 - 8*w^3 + 8*w^2 + 15*w - 6]', '[1107, 123, w^5 + w^4 - 5*w^3 - w^2 + 6*w - 6]', '[1107, 123, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 6*w - 3]', '[1107, 123, w^5 + w^4 - 5*w^3 - 4*w^2 + 3*w + 3]', '[1107, 123, -2*w^5 + w^4 + 10*w^3 - 4*w^2 - 9*w + 3]', '[1107, 123, 2*w^5 - w^4 - 13*w^3 + 7*w^2 + 21*w - 9]', '[1161, 129, -2*w^5 + w^4 + 10*w^3 - 7*w^2 - 9*w + 9]', '[1161, 129, 4*w^5 + w^4 - 20*w^3 - w^2 + 21*w - 6]', '[1161, 129, -2*w^5 + w^4 + 13*w^3 - 7*w^2 - 18*w + 9]', '[1161, 129, w^5 + w^4 - 8*w^3 - 4*w^2 + 15*w]', '[1161, 129, -4*w^5 - w^4 + 23*w^3 + w^2 - 30*w + 6]', '[1161, 129, -w^5 - w^4 + 2*w^3 + 4*w^2 + 3*w - 3]', '[1169, 1169, -3*w^5 - w^4 + 22*w^3 + 2*w^2 - 41*w + 5]', '[1169, 1169, -2*w^5 + w^4 + 12*w^3 - 6*w^2 - 15*w + 7]', '[1169, 1169, -w^5 + w^4 + 5*w^3 - 4*w^2 - 3*w + 4]', '[1169, 1169, -w^5 + 2*w^4 + 4*w^3 - 10*w^2 - w + 10]', '[1169, 1169, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 4*w - 3]', '[1169, 1169, 2*w^5 + 2*w^4 - 10*w^3 - 9*w^2 + 11*w + 10]', '[1183, 91, -3*w^5 + 2*w^4 + 17*w^3 - 10*w^2 - 22*w + 7]', '[1183, 91, -w^5 + w^4 + 9*w^3 - 5*w^2 - 19*w + 7]', '[1183, 91, w^5 + w^4 - 7*w^3 - 5*w^2 + 12*w + 3]', '[1217, 1217, 3*w^5 - 14*w^3 + 2*w^2 + 13*w - 5]', '[1217, 1217, -w^5 + 7*w^3 - w^2 - 14*w + 3]', '[1217, 1217, w^5 - w^4 - 9*w^3 + 6*w^2 + 17*w - 8]', '[1217, 1217, w^5 - 4*w^3 - 2*w^2 + 2*w + 5]', '[1217, 1217, -w^5 + 3*w^4 + 7*w^3 - 13*w^2 - 11*w + 8]', '[1217, 1217, 2*w^5 - 11*w^3 + 2*w^2 + 16*w - 6]', '[1259, 1259, 2*w^5 + w^4 - 9*w^3 - w^2 + 7*w - 5]', '[1259, 1259, 2*w^5 + 2*w^4 - 9*w^3 - 7*w^2 + 6*w + 3]', '[1259, 1259, -3*w^5 + 17*w^3 - 2*w^2 - 20*w + 5]', '[1259, 1259, -3*w^5 + 18*w^3 - 4*w^2 - 25*w + 10]', '[1259, 1259, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 15*w - 1]', '[1259, 1259, -2*w^5 + 2*w^4 + 12*w^3 - 11*w^2 - 17*w + 10]', '[1301, 1301, -2*w^5 + w^4 + 13*w^3 - 5*w^2 - 18*w + 6]', '[1301, 1301, -w^5 - w^4 + 2*w^3 + 4*w^2 + 5*w - 2]', '[1301, 1301, -w^5 + w^4 + 4*w^3 - 6*w^2 - 3*w + 7]', '[1301, 1301, 2*w^5 + w^4 - 13*w^3 - w^2 + 20*w - 7]', '[1301, 1301, -4*w^5 + w^4 + 22*w^3 - 7*w^2 - 27*w + 9]', '[1301, 1301, -2*w^5 - w^4 + 10*w^3 + w^2 - 9*w + 4]', '[1303, 1303, -3*w^5 - w^4 + 15*w^3 + 3*w^2 - 16*w]', '[1303, 1303, -w^5 - 2*w^4 + 6*w^3 + 8*w^2 - 9*w - 4]', '[1303, 1303, -w^4 + 6*w^2 - w - 5]', '[1303, 1303, w^5 + 2*w^4 - 3*w^3 - 8*w^2 + 3]', '[1303, 1303, 3*w^5 + w^4 - 17*w^3 - 2*w^2 + 23*w - 5]', '[1303, 1303, -w^4 - w^3 + 5*w^2 + w - 5]', '[1323, 21, -w^5 - 2*w^4 + 5*w^3 + 7*w^2 - 4*w + 2]', '[1427, 1427, 3*w^5 - 18*w^3 + 4*w^2 + 25*w - 11]', '[1427, 1427, 3*w^5 - w^4 - 15*w^3 + 6*w^2 + 15*w - 6]', '[1427, 1427, 4*w^5 - 21*w^3 + 3*w^2 + 24*w - 9]', '[1427, 1427, -w^5 + w^4 + 9*w^3 - 5*w^2 - 18*w + 5]', '[1427, 1427, 3*w^5 + w^4 - 18*w^3 - w^2 + 25*w - 5]', '[1427, 1427, -w^5 - 2*w^4 + 4*w^3 + 8*w^2 - w - 6]', '[1429, 1429, -2*w^4 - 3*w^3 + 7*w^2 + 10*w - 3]', '[1429, 1429, 2*w^5 - w^4 - 13*w^3 + 7*w^2 + 21*w - 8]', '[1429, 1429, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 6*w + 2]', '[1429, 1429, w^5 - 2*w^4 - 8*w^3 + 8*w^2 + 15*w - 7]', '[1429, 1429, 2*w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 11*w - 6]', '[1429, 1429, 2*w^5 + w^4 - 11*w^3 + 14*w - 8]', '[1471, 1471, -2*w^5 + 2*w^4 + 12*w^3 - 9*w^2 - 16*w + 9]', '[1471, 1471, -w^4 - 2*w^3 + 4*w^2 + 8*w - 5]', '[1471, 1471, 2*w^3 - 2*w^2 - 7*w + 3]', '[1471, 1471, -3*w^5 - w^4 + 14*w^3 + 3*w^2 - 12*w]', '[1471, 1471, -2*w^5 + w^4 + 11*w^3 - 6*w^2 - 15*w + 5]', '[1471, 1471, -2*w^4 - 3*w^3 + 8*w^2 + 8*w - 4]', '[1477, 1477, 6*w^5 - w^4 - 39*w^3 + 8*w^2 + 62*w - 13]', '[1477, 1477, 3*w^5 + w^4 - 16*w^3 - w^2 + 20*w - 7]', '[1477, 1477, -3*w^5 - w^4 + 22*w^3 + 3*w^2 - 40*w + 5]', '[1477, 1477, 2*w^5 + 2*w^4 - 14*w^3 - 6*w^2 + 24*w - 5]', '[1477, 1477, w^4 - 6*w^2 + 5]', '[1477, 1477, -w^4 + 6*w^3 + 4*w^2 - 22*w + 2]', '[1511, 1511, -w^4 + w^3 + 3*w^2 - 3*w + 4]', '[1511, 1511, w^5 - 5*w^3 + 2*w^2 + 6*w - 8]', '[1511, 1511, 2*w^5 - w^4 - 12*w^3 + 6*w^2 + 17*w - 4]', '[1511, 1511, -w^5 + w^4 + 7*w^3 - 4*w^2 - 11*w + 6]', '[1511, 1511, w^5 - 4*w^3 + w - 3]', '[1511, 1511, -w^5 - w^4 + 5*w^3 + 3*w^2 - 4*w - 3]', '[1553, 1553, w^5 - 4*w^3 + 2*w^2 + 3*w - 7]', '[1553, 1553, 6*w^5 - w^4 - 34*w^3 + 8*w^2 + 44*w - 14]', '[1553, 1553, w^5 + w^4 - 7*w^3 - 2*w^2 + 11*w - 6]', '[1553, 1553, w^5 - 2*w^4 - 4*w^3 + 8*w^2 + 2*w - 6]', '[1553, 1553, w^5 - 3*w^3 - 2*w - 2]', '[1553, 1553, 2*w^5 + w^4 - 10*w^3 - 2*w^2 + 9*w]', '[1597, 1597, 3*w^5 - w^4 - 17*w^3 + 5*w^2 + 21*w - 6]', '[1597, 1597, w^5 + 2*w^4 - 3*w^3 - 7*w^2 - 2*w + 3]', '[1597, 1597, -2*w^5 + 2*w^4 + 11*w^3 - 10*w^2 - 14*w + 8]', '[1597, 1597, -w^5 - w^4 + 6*w^3 + w^2 - 8*w + 6]', '[1597, 1597, w^3 + w^2 - w - 3]', '[1597, 1597, w^5 - 8*w^3 + 2*w^2 + 16*w - 5]', '[1637, 1637, -4*w^5 + 19*w^3 - 2*w^2 - 16*w + 5]', '[1637, 1637, -w^5 + 2*w^4 + 7*w^3 - 11*w^2 - 14*w + 10]', '[1637, 1637, -2*w^5 + w^4 + 11*w^3 - 6*w^2 - 14*w + 3]', '[1637, 1637, 4*w^5 + w^4 - 18*w^3 - w^2 + 15*w - 4]', '[1637, 1637, -4*w^5 - w^4 + 21*w^3 + 2*w^2 - 22*w + 2]', '[1637, 1637, -w^5 - 2*w^4 + 6*w^3 + 4*w^2 - 10*w + 5]', '[1681, 41, -w^5 - w^4 + 3*w^3 + 5*w^2 - 6]', '[1681, 41, -2*w^5 - 2*w^4 + 11*w^3 + 6*w^2 - 14*w]', '[1681, 41, -w^3 - w^2 + 5*w + 3]', '[1681, 41, -w^5 - w^4 + 6*w^3 + 5*w^2 - 8*w - 2]', '[1681, 41, 3*w^5 + w^4 - 15*w^3 - 2*w^2 + 17*w - 5]', '[1681, 41, 2*w^5 - 9*w^3 + 2*w^2 + 7*w - 6]', '[1681, 41, 3*w^5 - 16*w^3 + 2*w^2 + 20*w - 7]', '[1681, 41, w^5 - 2*w^4 - 7*w^3 + 10*w^2 + 10*w - 7]', '[1681, 41, -w^5 - w^4 + 3*w^3 + 5*w^2 + w - 6]', '[1681, 41, -3*w^5 - 2*w^4 + 16*w^3 + 6*w^2 - 19*w]', '[1681, 41, 3*w^5 - 17*w^3 + 3*w^2 + 21*w - 6]', '[1681, 41, 2*w^5 + w^4 - 12*w^3 - 4*w^2 + 17*w - 1]', '[1681, 41, -w^5 + 2*w^4 + 7*w^3 - 9*w^2 - 10*w + 5]', '[1681, 41, -w^5 + 8*w^3 - w^2 - 14*w + 5]', '[1681, 41, w^4 - w^3 - 5*w^2 + 5*w + 5]', '[1681, 1681, w^5 - 2*w^4 - 7*w^3 + 7*w^2 + 10*w - 4]', '[1681, 1681, -w^5 - w^4 + 3*w^3 + 5*w^2 + 3*w - 3]', '[1681, 1681, -3*w^5 + 2*w^4 + 18*w^3 - 10*w^2 - 26*w + 8]', '[1681, 1681, 2*w^4 + w^3 - 7*w^2 - 5*w + 4]', '[1681, 1681, 2*w^4 - w^3 - 6*w^2 + 4*w - 3]', '[1681, 1681, w^5 - w^4 - 6*w^3 + 7*w^2 + 10*w - 11]', '[1721, 1721, 2*w^5 + 2*w^4 - 10*w^3 - 8*w^2 + 11*w + 4]', '[1721, 1721, w^5 + w^4 - 2*w^3 - 4*w^2 - 4*w + 2]', '[1721, 1721, 2*w^5 - w^4 - 13*w^3 + 6*w^2 + 18*w - 8]', '[1721, 1721, 2*w^5 + 2*w^4 - 10*w^3 - 7*w^2 + 12*w]', '[1721, 1721, -4*w^5 + 21*w^3 - 3*w^2 - 24*w + 7]', '[1721, 1721, -3*w^5 - w^4 + 18*w^3 + w^2 - 25*w + 7]', '[1723, 1723, w^5 - 8*w^3 + 3*w^2 + 15*w - 7]', '[1723, 1723, 2*w^5 - w^4 - 10*w^3 + 6*w^2 + 12*w - 6]', '[1723, 1723, -2*w^5 + 12*w^3 - 15*w]', '[1723, 1723, -w^4 - 3*w^3 + 4*w^2 + 11*w - 4]', '[1723, 1723, 2*w^5 + 2*w^4 - 10*w^3 - 5*w^2 + 10*w - 4]', '[1723, 1723, -3*w^5 + 2*w^4 + 17*w^3 - 10*w^2 - 21*w + 10]', '[1728, 6, 4*w^5 - 20*w^3 + 2*w^2 + 20*w - 4]', '[1757, 1757, 3*w^3 - 11*w - 1]', '[1757, 1757, -2*w^5 + 3*w^4 + 12*w^3 - 13*w^2 - 16*w + 4]', '[1757, 1757, 4*w^5 + w^4 - 25*w^3 - 2*w^2 + 39*w - 2]', '[1757, 1757, -w^5 + 2*w^4 + 8*w^3 - 6*w^2 - 13*w - 2]', '[1757, 1757, 2*w^5 - 2*w^4 - 8*w^3 + 9*w^2 + w - 5]', '[1757, 1757, -6*w^5 + w^4 + 38*w^3 - 9*w^2 - 59*w + 16]', '[1763, 1763, -4*w^5 + 21*w^3 - 2*w^2 - 24*w + 5]', '[1763, 1763, -4*w^5 + w^4 + 22*w^3 - 7*w^2 - 27*w + 10]', '[1763, 1763, 2*w^5 + 2*w^4 - 11*w^3 - 7*w^2 + 15*w]', '[1763, 1763, -w^4 + w^3 + 4*w^2 - 4*w - 4]', '[1763, 1763, -w^5 - w^4 + 4*w^3 + 3*w^2 - 3*w + 3]', '[1763, 1763, w^5 - 3*w^4 - 7*w^3 + 13*w^2 + 11*w - 9]', '[1763, 1763, -w^5 + w^4 + 4*w^3 - 6*w^2 - 3*w + 6]', '[1763, 1763, w^5 + 2*w^4 - 4*w^3 - 8*w^2 + 4*w + 4]', '[1763, 1763, -2*w^5 - w^4 + 10*w^3 + w^2 - 9*w + 5]', '[1763, 1763, w^5 - 4*w^3 - 2*w^2 + 2*w + 4]', '[1763, 1763, w^5 + w^4 - 2*w^3 - 4*w^2 - 5*w + 3]', '[1763, 1763, -w^5 - w^4 + 6*w^3 + 2*w^2 - 10*w]', '[1763, 1763, -w^5 - 2*w^4 + 5*w^3 + 9*w^2 - 6*w - 6]', '[1763, 1763, 2*w^4 + 2*w^3 - 9*w^2 - 7*w + 10]', '[1763, 1763, -2*w^5 + w^4 + 13*w^3 - 5*w^2 - 18*w + 5]', '[1763, 1763, -w^5 + 7*w^3 - w^2 - 14*w + 4]', '[1763, 1763, 2*w^4 - w^3 - 9*w^2 + 3*w + 6]', '[1763, 1763, w^5 + 3*w^4 - 4*w^3 - 11*w^2 + 2*w + 3]', '[1763, 1763, -2*w^5 + 11*w^3 + w^2 - 13*w - 2]', '[1763, 1763, -2*w^5 + 12*w^3 - w^2 - 17*w + 6]', '[1763, 1763, 2*w^5 + 2*w^4 - 9*w^3 - 8*w^2 + 8*w + 3]', '[1763, 1763, w^5 - 5*w^3 + 3*w^2 + 4*w - 6]', '[1763, 1763, w^3 - w^2 - 2*w + 5]', '[1763, 1763, -w^5 + w^4 + 6*w^3 - 3*w^2 - 9*w - 3]', '[1763, 1763, -w^5 + w^4 + 6*w^3 - 6*w^2 - 8*w + 4]', '[1763, 1763, w^5 + w^4 - 5*w^3 - 5*w^2 + 7*w + 3]', '[1763, 1763, -2*w^5 - w^4 + 13*w^3 + w^2 - 20*w + 6]', '[1763, 1763, 2*w^5 - w^4 - 11*w^3 + 4*w^2 + 14*w - 6]', '[1763, 1763, 2*w^4 + w^3 - 9*w^2 - 4*w + 3]', '[1763, 1763, -3*w^5 - w^4 + 16*w^3 + 3*w^2 - 20*w + 1]', '[1763, 1763, w^4 - 3*w^2 + 2*w - 4]', '[1763, 1763, -2*w^5 - w^4 + 10*w^3 + 3*w^2 - 10*w - 2]', '[1763, 1763, w^5 + 2*w^4 - 2*w^3 - 8*w^2 - 4*w + 4]', '[1763, 1763, -w^5 + w^4 + 7*w^3 - 5*w^2 - 9*w + 5]', '[1763, 1763, -2*w^5 + 11*w^3 - 2*w^2 - 16*w + 5]', '[1763, 1763, 3*w^5 + w^4 - 18*w^3 - w^2 + 26*w - 7]', '[1847, 1847, w^5 - w^4 - 7*w^3 + 6*w^2 + 11*w - 4]', '[1847, 1847, w^5 - w^4 - 5*w^3 + 5*w^2 + 4*w - 7]', '[1847, 1847, w^5 + w^4 - 6*w^3 - 2*w^2 + 7*w - 5]', '[1847, 1847, -3*w^5 + w^4 + 18*w^3 - 6*w^2 - 25*w + 10]', '[1847, 1847, 2*w^5 + w^4 - 10*w^3 - 2*w^2 + 11*w - 6]', '[1847, 1847, -2*w^5 + w^4 + 11*w^3 - 7*w^2 - 14*w + 7]', '[1849, 43, -3*w^5 + w^4 + 16*w^3 - 7*w^2 - 20*w + 8]', '[1849, 43, 3*w^5 - 16*w^3 + 3*w^2 + 18*w - 6]', '[1849, 43, -w^5 - 2*w^4 + 6*w^3 + 7*w^2 - 8*w - 3]', '[1849, 43, w^5 - 3*w^3 + w^2 - w - 3]', '[1849, 43, -w^5 + 2*w^4 + 8*w^3 - 9*w^2 - 14*w + 5]', '[1849, 43, -2*w^5 + 13*w^3 - 2*w^2 - 19*w + 7]', '[1849, 43, 3*w^5 - 17*w^3 + 3*w^2 + 23*w - 10]', '[1849, 43, w^5 - 5*w^3 + w^2 + 3*w - 4]', '[1849, 43, w^5 - 7*w^3 - w^2 + 10*w + 3]', '[1849, 43, w^3 + 2*w^2 - 3*w - 2]', '[1849, 43, -3*w^3 + 2*w^2 + 10*w - 4]', '[1849, 43, -3*w^5 + 2*w^4 + 18*w^3 - 10*w^2 - 24*w + 11]', '[1849, 43, 2*w^5 - 9*w^3 + 7*w + 2]', '[1849, 43, -w^5 - w^4 + 3*w^3 + 3*w^2 + 3*w - 2]', '[1849, 43, -2*w^5 - 2*w^4 + 11*w^3 + 5*w^2 - 13*w + 5]', '[1849, 1849, w^5 - w^4 - 8*w^3 + 6*w^2 + 16*w - 6]', '[1849, 1849, -w^4 + 5*w^2 + 2*w - 6]', '[1849, 1849, 2*w^5 - w^4 - 11*w^3 + 4*w^2 + 12*w - 4]', '[1849, 1849, 2*w^4 + 2*w^3 - 7*w^2 - 7*w + 4]', '[1849, 1849, w^5 + w^4 - 6*w^3 - w^2 + 9*w - 7]', '[1849, 1849, -2*w^5 + 2*w^4 + 11*w^3 - 9*w^2 - 14*w + 5]', '[1889, 1889, w^4 + w^3 - 3*w^2 - 2*w - 3]', '[1889, 1889, -w^5 - w^4 + 4*w^3 + 4*w^2 - w - 5]', '[1889, 1889, -2*w^5 + w^4 + 12*w^3 - 5*w^2 - 17*w + 8]', '[1889, 1889, w^4 - 3*w^2 - w - 3]', '[1889, 1889, -w^4 + w^3 + 3*w^2 - 4*w - 2]', '[1889, 1889, w^5 - w^4 - 6*w^3 + 6*w^2 + 9*w - 4]', '[1931, 1931, 3*w^5 - w^4 - 15*w^3 + 6*w^2 + 16*w - 6]', '[1931, 1931, 4*w^5 - 21*w^3 + 2*w^2 + 24*w - 6]', '[1931, 1931, -2*w^4 + w^3 + 9*w^2 - 3*w - 5]', '[1931, 1931, -w^5 - 2*w^4 + 2*w^3 + 8*w^2 + 4*w - 5]', '[1931, 1931, -3*w^5 - w^4 + 18*w^3 + w^2 - 26*w + 6]', '[1931, 1931, 3*w^5 + w^4 - 17*w^3 + 22*w - 9]', '[1933, 1933, 3*w^5 - 17*w^3 + 4*w^2 + 21*w - 9]', '[1933, 1933, -w^5 + 8*w^3 - w^2 - 13*w + 4]', '[1933, 1933, 2*w^5 - 14*w^3 + 2*w^2 + 23*w - 7]', '[1933, 1933, -4*w^5 + 22*w^3 - 3*w^2 - 26*w + 7]', '[1933, 1933, -2*w^5 - w^4 + 8*w^3 + 2*w^2 - 4*w + 3]', '[1933, 1933, 2*w^5 - w^4 - 9*w^3 + 6*w^2 + 7*w - 7]', '[1973, 1973, 4*w^5 - w^4 - 22*w^3 + 8*w^2 + 28*w - 9]', '[1973, 1973, -w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 16*w + 1]', '[1973, 1973, 5*w^5 - 2*w^4 - 30*w^3 + 12*w^2 + 42*w - 17]', '[1973, 1973, -3*w^5 - w^4 + 13*w^3 + 3*w^2 - 7*w - 2]', '[1973, 1973, -5*w^5 + 27*w^3 - 4*w^2 - 34*w + 9]', '[1973, 1973, -3*w^5 + w^4 + 19*w^3 - 8*w^2 - 28*w + 10]', '[2009, 287, -2*w^5 - 2*w^4 + 12*w^3 + 5*w^2 - 17*w + 4]', '[2009, 287, w^5 + w^4 - 2*w^3 - 5*w^2 - 5*w + 5]', '[2009, 287, -2*w^5 + 2*w^4 + 13*w^3 - 9*w^2 - 18*w + 7]', '[2009, 287, 4*w^5 - w^4 - 22*w^3 + 7*w^2 + 28*w - 10]', '[2009, 287, -w^4 + w^3 + 6*w^2 - 2*w - 6]', '[2009, 287, -w^5 - w^4 + 4*w^3 + 2*w^2 + 2]', '[2017, 2017, w^2 - 6]', '[2017, 2017, w^5 - 6*w^3 + w^2 + 9*w + 1]', '[2017, 2017, w^4 - 4*w^2 - 2]', '[2017, 2017, -w^5 + 5*w^3 - 5*w + 4]', '[2017, 2017, -w^4 - w^3 + 4*w^2 + 3*w - 6]', '[2017, 2017, w - 4]', '[2051, 2051, -3*w^5 + w^4 + 23*w^3 - 6*w^2 - 43*w + 10]', '[2051, 2051, -5*w^5 + 2*w^4 + 31*w^3 - 11*w^2 - 44*w + 12]', '[2051, 2051, w^5 + 3*w^4 - 8*w^3 - 13*w^2 + 17*w + 6]', '[2051, 2051, -w^5 + w^4 + 3*w^3 - 4*w^2 + 4*w + 2]', '[2051, 2051, -w^5 + w^4 + 4*w^3 - 5*w^2 - w + 6]', '[2051, 2051, 3*w^5 - 2*w^4 - 18*w^3 + 9*w^2 + 26*w - 3]', '[2099, 2099, w^5 + w^4 - 5*w^3 - 2*w^2 + 6*w - 6]', '[2099, 2099, -w^5 + w^4 + 7*w^3 - 6*w^2 - 12*w + 4]', '[2099, 2099, w^5 + w^4 - 5*w^3 - 4*w^2 + 4*w + 5]', '[2099, 2099, -w^5 + w^4 + 5*w^3 - 4*w^2 - 4*w + 5]', '[2099, 2099, -w^5 + w^4 + 5*w^3 - 4*w^2 - 6*w - 1]', '[2099, 2099, w^5 - w^4 - 7*w^3 + 4*w^2 + 12*w - 6]', '[2107, 301, 2*w^4 + 3*w^3 - 8*w^2 - 10*w + 6]', '[2107, 301, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 5]', '[2107, 301, -3*w^5 + w^4 + 16*w^3 - 5*w^2 - 18*w + 6]', '[2107, 301, -w^5 + 6*w^3 - 6*w - 1]', '[2107, 301, -w^5 - w^4 + 5*w^3 + w^2 - 5*w + 6]', '[2107, 301, -2*w^5 + 13*w^3 - 3*w^2 - 21*w + 7]', '[2141, 2141, w^5 + w^4 - 2*w^3 - 4*w^2 - 4*w + 3]', '[2141, 2141, 2*w^5 - 10*w^3 + 3*w^2 + 9*w - 7]', '[2141, 2141, 2*w^5 - w^4 - 13*w^3 + 6*w^2 + 18*w - 7]', '[2141, 2141, -w^4 + 2*w^3 + 5*w^2 - 6*w - 3]', '[2141, 2141, 3*w^5 + w^4 - 18*w^3 - w^2 + 25*w - 6]', '[2141, 2141, 4*w^5 - 21*w^3 + 3*w^2 + 24*w - 8]', '[2143, 2143, 2*w^5 + w^4 - 8*w^3 - 4*w^2 + 4*w + 3]', '[2143, 2143, 2*w^5 + 2*w^4 - 12*w^3 - 6*w^2 + 17*w - 1]', '[2143, 2143, -w^5 + 2*w^4 + 8*w^3 - 9*w^2 - 13*w + 6]', '[2143, 2143, -w^4 + w^3 + 6*w^2 - 3*w - 5]', '[2143, 2143, w^5 - 5*w^3 + 2*w^2 + 3*w - 5]', '[2143, 2143, -4*w^5 + 22*w^3 - 3*w^2 - 28*w + 9]', '[2241, 249, w^5 + 3*w^4 - 8*w^3 - 10*w^2 + 17*w - 1]', '[2241, 249, 5*w^5 - 27*w^3 + 2*w^2 + 32*w - 3]', '[2241, 249, -3*w^5 + 14*w^3 - w^2 - 13*w + 1]', '[2241, 249, -2*w^5 + w^4 + 6*w^3 - 5*w^2 + 5*w + 1]', '[2241, 249, w^5 + 2*w^4 - w^3 - 6*w^2 - 7*w]', '[2241, 249, 2*w^5 - 2*w^4 - 12*w^3 + 8*w^2 + 15*w - 5]', '[2267, 2267, -w^5 + w^3 + w^2 + 7*w - 5]', '[2267, 2267, 4*w^4 + w^3 - 16*w^2 - 2*w + 8]', '[2267, 2267, -w^5 + 2*w^4 + 9*w^3 - 10*w^2 - 18*w + 10]', '[2267, 2267, 2*w^5 + 2*w^4 - 13*w^3 - 5*w^2 + 21*w - 4]', '[2267, 2267, 5*w^5 - 26*w^3 + 5*w^2 + 30*w - 14]', '[2267, 2267, -3*w^5 + w^4 + 15*w^3 - 5*w^2 - 16*w + 5]', '[2269, 2269, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 14*w - 2]', '[2269, 2269, -w^4 + 5*w^2 - 2*w - 5]', '[2269, 2269, -3*w^5 - w^4 + 16*w^3 + 2*w^2 - 20*w + 5]', '[2269, 2269, -w^5 - w^4 + 6*w^3 + 5*w^2 - 9*w - 2]', '[2269, 2269, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 8*w + 3]', '[2269, 2269, 2*w^4 + 2*w^3 - 9*w^2 - 5*w + 5]', '[2309, 2309, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 3*w - 6]', '[2309, 2309, -3*w^4 - 2*w^3 + 12*w^2 + 7*w - 6]', '[2309, 2309, 2*w^5 + 2*w^4 - 10*w^3 - 8*w^2 + 11*w + 3]', '[2309, 2309, w^5 - 6*w^3 + 2*w^2 + 11*w - 5]', '[2309, 2309, w^5 - 3*w^4 - 7*w^3 + 13*w^2 + 12*w - 9]', '[2309, 2309, -w^5 + 7*w^3 - 2*w^2 - 14*w + 6]', '[2311, 2311, -5*w^5 - 2*w^4 + 28*w^3 + 5*w^2 - 36*w + 4]', '[2311, 2311, -3*w^5 - 2*w^4 + 17*w^3 + 4*w^2 - 21*w + 9]', '[2311, 2311, 5*w^5 - 26*w^3 + 3*w^2 + 28*w - 5]', '[2311, 2311, -w^5 + w^4 + 7*w^3 - 4*w^2 - 14*w + 1]', '[2311, 2311, 4*w^5 - 25*w^3 + 4*w^2 + 37*w - 14]', '[2311, 2311, w^5 - 3*w^4 - 7*w^3 + 12*w^2 + 10*w - 4]', '[2351, 2351, -w^5 - w^4 + 3*w^3 + 6*w^2 - w - 5]', '[2351, 2351, -2*w^5 + w^4 + 9*w^3 - 4*w^2 - 7*w - 2]', '[2351, 2351, w^5 + 3*w^4 - 2*w^3 - 12*w^2 - 4*w + 10]', '[2351, 2351, -3*w^5 - w^4 + 18*w^3 + w^2 - 27*w + 3]', '[2351, 2351, -2*w^5 + w^4 + 11*w^3 - 8*w^2 - 12*w + 8]', '[2351, 2351, -w^4 - w^3 + 4*w^2 + 2]', '[2359, 2359, 2*w^5 - 2*w^4 - 12*w^3 + 7*w^2 + 16*w + 1]', '[2359, 2359, 2*w^5 - 11*w^3 - w^2 + 12*w + 4]', '[2359, 2359, 4*w^5 - w^4 - 21*w^3 + 7*w^2 + 23*w - 7]', '[2359, 2359, -2*w^5 + 3*w^4 + 13*w^3 - 14*w^2 - 19*w + 10]', '[2359, 2359, -2*w^5 + 15*w^3 - 2*w^2 - 27*w + 9]', '[2359, 2359, 4*w^5 - 24*w^3 + 3*w^2 + 35*w - 9]', '[2393, 2393, -5*w^5 + 29*w^3 - 5*w^2 - 40*w + 12]', '[2393, 2393, 2*w^5 + 2*w^4 - 10*w^3 - 4*w^2 + 9*w - 3]', '[2393, 2393, -2*w^5 + 13*w^3 - w^2 - 23*w + 4]', '[2393, 2393, 5*w^5 + 2*w^4 - 25*w^3 - 7*w^2 + 23*w - 1]', '[2393, 2393, -4*w^5 - 2*w^4 + 19*w^3 + 6*w^2 - 16*w]', '[2393, 2393, -2*w^4 + 10*w^2 - 2*w - 7]', '[2401, 7, -2*w^5 + 13*w^3 - 2*w^2 - 19*w + 8]', '[2437, 2437, -w^5 + 8*w^3 - 2*w^2 - 16*w + 4]', '[2437, 2437, -2*w^5 + 2*w^4 + 11*w^3 - 10*w^2 - 14*w + 7]', '[2437, 2437, w^5 + w^4 - 6*w^3 - w^2 + 8*w - 7]', '[2437, 2437, 3*w^5 - w^4 - 17*w^3 + 5*w^2 + 21*w - 7]', '[2437, 2437, w^3 + w^2 - w - 4]', '[2437, 2437, w^5 + 2*w^4 - 3*w^3 - 7*w^2 - 2*w + 4]', '[2477, 2477, -3*w^5 + w^4 + 15*w^3 - 6*w^2 - 16*w + 7]', '[2477, 2477, w^5 - w^4 - 9*w^3 + 6*w^2 + 18*w - 8]', '[2477, 2477, 3*w^5 + w^4 - 17*w^3 + 22*w - 8]', '[2477, 2477, w^5 + w^4 - 3*w^3 - 2*w^2 - 2*w - 2]', '[2477, 2477, 3*w^5 - w^4 - 17*w^3 + 6*w^2 + 20*w - 7]', '[2477, 2477, -w^5 - w^4 + 7*w^3 + 4*w^2 - 10*w - 1]', '[2521, 2521, 4*w^5 - 24*w^3 + 4*w^2 + 33*w - 14]', '[2521, 2521, -5*w^5 - w^4 + 26*w^3 + w^2 - 27*w + 5]', '[2521, 2521, -2*w^5 + w^4 + 11*w^3 - 7*w^2 - 14*w + 14]', '[2521, 2521, -5*w^5 + w^4 + 29*w^3 - 8*w^2 - 40*w + 13]', '[2521, 2521, -w^5 - 3*w^4 + 7*w^3 + 10*w^2 - 12*w]', '[2521, 2521, -3*w^5 - w^4 + 13*w^3 + 4*w^2 - 8*w - 2]', '[2624, 82, 2*w^5 - 12*w^3 + 2*w^2 + 14*w - 4]', '[2624, 82, -2*w^4 + 2*w^3 + 8*w^2 - 6*w - 2]', '[2624, 82, 4*w^5 - 24*w^3 + 4*w^2 + 34*w - 10]', '[2624, 82, -2*w^5 + 10*w^3 - 4*w^2 - 10*w + 10]', '[2624, 82, 2*w^4 + 4*w^3 - 8*w^2 - 12*w + 6]', '[2624, 82, 4*w^5 - 20*w^3 + 2*w^2 + 20*w - 6]', '[2647, 2647, w^5 + 2*w^4 - 4*w^3 - 7*w^2 + w - 3]', '[2647, 2647, 5*w^5 + 3*w^4 - 27*w^3 - 9*w^2 + 30*w - 6]', '[2647, 2647, 2*w^5 - w^4 - 9*w^3 + 7*w^2 + 6*w - 11]', '[2647, 2647, -3*w^5 - w^4 + 14*w^3 + 3*w^2 - 12*w - 1]', '[2647, 2647, 4*w^5 + w^4 - 19*w^3 - w^2 + 18*w - 8]', '[2647, 2647, -5*w^5 - w^4 + 28*w^3 - 35*w + 6]', '[2653, 2653, -5*w^5 + 4*w^4 + 29*w^3 - 18*w^2 - 36*w + 9]', '[2653, 2653, -w^5 + 3*w^4 + 9*w^3 - 13*w^2 - 18*w + 7]', '[2653, 2653, 7*w^5 - w^4 - 43*w^3 + 9*w^2 + 62*w - 17]', '[2653, 2653, 2*w^5 + 2*w^4 - 14*w^3 - 6*w^2 + 27*w - 2]', '[2653, 2653, w^5 - w^4 - 9*w^3 + 5*w^2 + 17*w - 9]', '[2653, 2653, 3*w^5 + w^4 - 19*w^3 + w^2 + 31*w - 15]', '[2687, 2687, -w^5 - w^4 + 5*w^3 + 6*w^2 - 7*w - 6]', '[2687, 2687, 4*w^5 + w^4 - 21*w^3 - 3*w^2 + 25*w - 2]', '[2687, 2687, 3*w^5 + w^4 - 19*w^3 - 3*w^2 + 28*w - 1]', '[2687, 2687, 3*w^5 + w^4 - 17*w^3 - 2*w^2 + 22*w - 8]', '[2687, 2687, 3*w^5 - 19*w^3 + 4*w^2 + 31*w - 11]', '[2687, 2687, -2*w^4 - 2*w^3 + 9*w^2 + 6*w - 2]', '[2689, 2689, -6*w^5 + 34*w^3 - 5*w^2 - 44*w + 12]', '[2689, 2689, 4*w^5 + w^4 - 18*w^3 - 2*w^2 + 14*w - 4]', '[2689, 2689, 3*w^4 - 13*w^2 - w + 6]', '[2689, 2689, w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 19*w - 9]', '[2689, 2689, -3*w^5 - w^4 + 18*w^3 - 27*w + 7]', '[2689, 2689, w^5 - 3*w^4 - 9*w^3 + 14*w^2 + 18*w - 9]', '[2729, 2729, 4*w^5 + 3*w^4 - 21*w^3 - 8*w^2 + 25*w - 5]', '[2729, 2729, 2*w^5 - 3*w^4 - 12*w^3 + 14*w^2 + 14*w - 11]', '[2729, 2729, -3*w^5 - 2*w^4 + 17*w^3 + 8*w^2 - 21*w - 3]', '[2729, 2729, -3*w^5 + 19*w^3 - 2*w^2 - 31*w + 7]', '[2729, 2729, -6*w^5 - w^4 + 32*w^3 - 38*w + 8]', '[2729, 2729, w^5 - w^4 - 8*w^3 + 5*w^2 + 17*w - 5]', '[2731, 2731, -2*w^4 - 4*w^3 + 9*w^2 + 12*w - 4]', '[2731, 2731, 4*w^5 + w^4 - 23*w^3 + 31*w - 12]', '[2731, 2731, w^5 - w^4 - 6*w^3 + 8*w^2 + 8*w - 8]', '[2731, 2731, 2*w^5 + w^4 - 12*w^3 - 2*w^2 + 20*w - 2]', '[2731, 2731, 4*w^5 - 2*w^4 - 24*w^3 + 10*w^2 + 33*w - 11]', '[2731, 2731, -4*w^5 + 2*w^4 + 23*w^3 - 13*w^2 - 29*w + 16]', '[2752, 86, 2*w^5 - 2*w^4 - 12*w^3 + 10*w^2 + 18*w - 8]', '[2752, 86, 2*w^4 + 2*w^3 - 8*w^2 - 8*w + 6]', '[2752, 86, 2*w^4 - 6*w^2 - 2]', '[2752, 86, 2*w^3 - 2*w^2 - 8*w + 4]', '[2752, 86, 2*w^5 - 2*w^4 - 12*w^3 + 8*w^2 + 16*w - 6]', '[2752, 86, 2*w^2 + 2*w - 6]', '[2857, 2857, -3*w^5 - 2*w^4 + 18*w^3 + 5*w^2 - 27*w + 7]', '[2857, 2857, 5*w^5 + 3*w^4 - 26*w^3 - 9*w^2 + 29*w - 6]', '[2857, 2857, -4*w^5 + 21*w^3 - 3*w^2 - 23*w + 6]', '[2857, 2857, -5*w^5 + 27*w^3 - 2*w^2 - 30*w + 7]', '[2857, 2857, -2*w^5 - 2*w^4 + 7*w^3 + 7*w^2 + 2*w - 2]', '[2857, 2857, -5*w^5 + 27*w^3 - 2*w^2 - 33*w + 4]', '[2897, 2897, -3*w^5 - w^4 + 17*w^3 + 3*w^2 - 20*w - 2]', '[2897, 2897, -3*w^5 + 2*w^4 + 16*w^3 - 10*w^2 - 17*w + 12]', '[2897, 2897, -2*w^5 + w^4 + 14*w^3 - 8*w^2 - 23*w + 9]', '[2897, 2897, -w^5 + w^4 + 9*w^3 - 4*w^2 - 19*w + 7]', '[2897, 2897, -2*w^5 + w^4 + 9*w^3 - 5*w^2 - 9*w + 1]', '[2897, 2897, 3*w^5 + 2*w^4 - 15*w^3 - 4*w^2 + 16*w - 9]', '[2933, 2933, -2*w^5 - 3*w^4 + 12*w^3 + 12*w^2 - 18*w - 3]', '[2933, 2933, -2*w^5 + w^4 + 7*w^3 - 4*w^2 + 2*w - 4]', '[2933, 2933, -2*w^5 + 2*w^4 + 17*w^3 - 9*w^2 - 33*w + 10]', '[2933, 2933, -8*w^5 + 3*w^4 + 47*w^3 - 17*w^2 - 64*w + 17]', '[2933, 2933, w^4 - 8*w^2 - w + 13]', '[2933, 2933, -2*w^5 + 2*w^4 + 11*w^3 - 8*w^2 - 14*w + 1]', '[2939, 2939, -5*w^5 + 29*w^3 - 2*w^2 - 38*w + 8]', '[2939, 2939, 3*w^5 + w^4 - 18*w^3 + w^2 + 24*w - 9]', '[2939, 2939, w^5 - 3*w^4 - 6*w^3 + 11*w^2 + 10*w - 4]', '[2939, 2939, -w^5 + w^4 + 7*w^3 - 4*w^2 - 13*w + 7]', '[2939, 2939, -2*w^5 + 2*w^4 + 13*w^3 - 12*w^2 - 22*w + 14]', '[2939, 2939, 4*w^4 + 3*w^3 - 16*w^2 - 8*w + 10]', '[2947, 2947, 5*w^5 - 2*w^4 - 32*w^3 + 13*w^2 + 49*w - 17]', '[2947, 2947, 4*w^4 - 16*w^2 + 2*w + 7]', '[2947, 2947, 3*w^5 - 21*w^3 + 4*w^2 + 38*w - 12]', '[2947, 2947, -4*w^5 + 2*w^4 + 23*w^3 - 10*w^2 - 30*w + 4]', '[2947, 2947, -w^5 - 2*w^4 + 7*w^3 + 7*w^2 - 15*w]', '[2947, 2947, -5*w^5 + 2*w^4 + 30*w^3 - 11*w^2 - 41*w + 14]', '[3023, 3023, w^5 + 3*w^4 - 3*w^3 - 10*w^2 - 1]', '[3023, 3023, -w^5 + w^4 + 7*w^3 - 8*w^2 - 12*w + 9]', '[3023, 3023, 3*w^5 + w^4 - 15*w^3 - 4*w^2 + 14*w + 4]', '[3023, 3023, -4*w^5 + 21*w^3 - 2*w^2 - 23*w + 2]', '[3023, 3023, -2*w^5 + 11*w^3 - 4*w^2 - 13*w + 6]', '[3023, 3023, 3*w^5 - 2*w^4 - 21*w^3 + 11*w^2 + 34*w - 12]', '[3067, 3067, -3*w^5 + w^4 + 17*w^3 - 6*w^2 - 24*w + 11]', '[3067, 3067, 4*w^5 - 3*w^4 - 24*w^3 + 15*w^2 + 34*w - 13]', '[3067, 3067, -w^5 - w^4 + 5*w^3 + 6*w^2 - 4*w - 3]', '[3067, 3067, -2*w^5 + 2*w^4 + 13*w^3 - 7*w^2 - 18*w + 4]', '[3067, 3067, -w^5 - 3*w^4 + 5*w^3 + 10*w^2 - 6*w - 4]', '[3067, 3067, 2*w^5 - w^4 - 7*w^3 + 4*w^2 - 2]', '[3109, 3109, -w^5 + 3*w^4 + 5*w^3 - 13*w^2 - 5*w + 5]', '[3109, 3109, -w^5 + w^4 + 10*w^3 - 4*w^2 - 20*w + 5]', '[3109, 3109, -4*w^5 + 21*w^3 - 4*w^2 - 24*w + 6]', '[3109, 3109, 3*w^5 - 18*w^3 + 2*w^2 + 28*w - 8]', '[3109, 3109, 3*w^5 - 3*w^4 - 17*w^3 + 12*w^2 + 21*w - 6]', '[3109, 3109, -2*w^5 + 3*w^4 + 12*w^3 - 14*w^2 - 19*w + 12]', '[3136, 14, 2*w^5 - 14*w^3 + 2*w^2 + 22*w - 6]', '[3191, 3191, 3*w^5 - 16*w^3 + w^2 + 20*w + 1]', '[3191, 3191, 3*w^5 + 3*w^4 - 15*w^3 - 10*w^2 + 17*w]', '[3191, 3191, 2*w^4 + w^3 - 8*w^2 - w + 8]', '[3191, 3191, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 15*w - 6]', '[3191, 3191, 3*w^5 + 2*w^4 - 18*w^3 - 5*w^2 + 25*w - 5]', '[3191, 3191, w^5 + 2*w^4 - 3*w^3 - 9*w^2 - w + 2]', '[3227, 3227, -7*w^5 + 2*w^4 + 41*w^3 - 13*w^2 - 56*w + 17]', '[3227, 3227, -4*w^4 + 17*w^2 - 2*w - 8]', '[3227, 3227, -3*w^5 + w^4 + 23*w^3 - 6*w^2 - 42*w + 11]', '[3227, 3227, 5*w^5 - 2*w^4 - 26*w^3 + 11*w^2 + 27*w - 10]', '[3227, 3227, w^5 - 5*w^3 - 3*w^2 + 3*w + 9]', '[3227, 3227, -4*w^5 + w^4 + 20*w^3 - 6*w^2 - 19*w + 2]', '[3241, 3241, -2*w^5 + 4*w^4 + 14*w^3 - 17*w^2 - 21*w + 11]', '[3241, 3241, -6*w^5 + 2*w^4 + 33*w^3 - 9*w^2 - 39*w + 2]', '[3241, 3241, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 8*w + 4]', '[3241, 3241, 2*w^5 - 2*w^4 - 12*w^3 + 8*w^2 + 17*w + 1]', '[3241, 3241, w^4 + 3*w^3 - 7*w^2 - 10*w + 13]', '[3241, 3241, -6*w^5 + 33*w^3 - 2*w^2 - 40*w + 3]', '[3319, 3319, 3*w^5 - 3*w^4 - 17*w^3 + 14*w^2 + 22*w - 14]', '[3319, 3319, -3*w^5 + w^4 + 17*w^3 - 4*w^2 - 20*w]', '[3319, 3319, w^4 + 4*w^3 - 3*w^2 - 14*w + 3]', '[3319, 3319, 4*w^5 + 2*w^4 - 21*w^3 - 3*w^2 + 24*w - 10]', '[3319, 3319, w^5 - w^4 - 5*w^3 + 6*w^2 + 8*w - 4]', '[3319, 3319, -w^5 - 3*w^4 + 3*w^3 + 10*w^2 + 2*w + 1]', '[3359, 3359, -2*w^5 + w^4 + 12*w^3 - 7*w^2 - 17*w + 7]', '[3359, 3359, -w^5 + w^4 + 4*w^3 - 4*w^2 - w + 4]', '[3359, 3359, 2*w^5 - w^4 - 13*w^3 + 5*w^2 + 20*w - 8]', '[3359, 3359, w^5 + w^4 - 4*w^3 - 2*w^2 + 3*w - 5]', '[3359, 3359, -2*w^5 - w^4 + 10*w^3 + 3*w^2 - 9*w - 2]', '[3359, 3359, w^4 - w^3 - 3*w^2 + 2*w - 3]', '[3361, 3361, -w^5 - 4*w^4 + 4*w^3 + 16*w^2 - 2*w - 8]', '[3361, 3361, -3*w^5 - w^4 + 17*w^3 + w^2 - 25*w + 7]', '[3361, 3361, 3*w^5 - 15*w^3 - w^2 + 16*w + 2]', '[3361, 3361, 4*w^4 + 3*w^3 - 17*w^2 - 9*w + 10]', '[3361, 3361, w^5 + w^4 - 6*w^3 - 3*w^2 + 12*w - 1]', '[3361, 3361, -2*w^5 + 11*w^3 + 2*w^2 - 14*w - 3]', '[3375, 15, w^5 - 8*w^3 + 2*w^2 + 17*w - 4]', '[3375, 15, -w^5 + 2*w^3 + w^2 + 7*w - 2]', '[3403, 3403, -w^5 + 3*w^4 + 8*w^3 - 12*w^2 - 15*w + 10]', '[3403, 3403, 2*w^5 - 12*w^3 + 15*w + 1]', '[3403, 3403, 4*w^5 - 3*w^4 - 27*w^3 + 16*w^2 + 42*w - 19]', '[3403, 3403, -3*w^2 + 3*w + 2]', '[3403, 3403, -2*w^5 + 14*w^3 - 2*w^2 - 23*w + 8]', '[3403, 3403, -2*w^5 - w^4 + 7*w^3 + w^2 - 3*w + 4]', '[3403, 3403, -2*w^5 + 4*w^4 + 14*w^3 - 21*w^2 - 21*w + 25]', '[3403, 3403, -2*w^5 + 4*w^4 + 8*w^3 - 15*w^2 - 2*w + 4]', '[3403, 3403, -5*w^5 + 28*w^3 - 7*w^2 - 38*w + 16]', '[3403, 3403, 5*w^5 + w^4 - 30*w^3 - 3*w^2 + 43*w + 2]', '[3403, 3403, -2*w^5 + 8*w^3 + w^2 - 5*w - 2]', '[3403, 3403, 2*w^5 - 9*w^3 - w^2 + 8*w + 5]', '[3403, 3403, 4*w^5 - 4*w^4 - 27*w^3 + 20*w^2 + 43*w - 21]', '[3403, 3403, 2*w^5 - 3*w^4 - 14*w^3 + 15*w^2 + 21*w - 14]', '[3403, 3403, -w^5 + 5*w^3 - 8*w - 1]', '[3403, 3403, 3*w^5 - 2*w^4 - 17*w^3 + 10*w^2 + 21*w - 11]', '[3403, 3403, w^4 + 4*w^3 - w^2 - 12*w - 5]', '[3403, 3403, -w^5 + w^4 + 4*w^3 - 5*w^2 + w + 3]', '[3403, 3403, 2*w^5 - w^4 - 10*w^3 + 6*w^2 + 12*w - 5]', '[3403, 3403, w^5 + 2*w^4 - 5*w^3 - 4*w^2 + 7*w - 6]', '[3403, 3403, -2*w^5 + 4*w^4 + 8*w^3 - 17*w^2 - 2*w + 5]', '[3403, 3403, 3*w^5 + w^4 - 15*w^3 - 4*w^2 + 15*w + 3]', '[3403, 3403, -w^5 + 2*w^4 + 9*w^3 - 5*w^2 - 17*w - 3]', '[3403, 3403, 3*w^4 - 2*w^3 - 11*w^2 + 7*w + 3]', '[3403, 3403, -w^4 + w^2 - w + 8]', '[3403, 3403, -6*w^5 + 33*w^3 - 7*w^2 - 42*w + 16]', '[3403, 3403, 5*w^5 - 2*w^4 - 28*w^3 + 14*w^2 + 35*w - 19]', '[3403, 3403, -w^4 + 3*w^3 + 2*w^2 - 5*w - 1]', '[3403, 3403, 5*w^5 + 3*w^4 - 24*w^3 - 8*w^2 + 26*w + 1]', '[3403, 3403, w^4 - 4*w^3 - 2*w^2 + 11*w - 4]', '[3403, 3403, -2*w^5 - w^4 + 8*w^3 + 4*w^2 - 4*w - 6]', '[3403, 3403, 3*w^5 - 17*w^3 + 4*w^2 + 21*w - 8]', '[3403, 3403, -3*w^4 + 12*w^2 - w - 7]', '[3403, 3403, 2*w^5 + w^4 - 8*w^3 - 2*w^2 + 4*w - 4]', '[3403, 3403, -2*w^5 - 2*w^4 + 12*w^3 + 6*w^2 - 17*w - 2]', '[3403, 3403, -3*w^5 + w^4 + 13*w^3 - 6*w^2 - 7*w + 6]', '[3429, 381, -3*w^5 - w^4 + 14*w^3 + 2*w^2 - 11*w]', '[3429, 381, 2*w^5 + 2*w^4 - 12*w^3 - 7*w^2 + 19*w - 1]', '[3429, 381, -3*w^4 - w^3 + 11*w^2 + 2*w + 1]', '[3429, 381, -3*w^5 + 17*w^3 - w^2 - 19*w + 4]', '[3429, 381, 4*w^5 - 20*w^3 + 2*w^2 + 20*w - 1]', '[3429, 381, -3*w^5 - 2*w^4 + 19*w^3 + 7*w^2 - 28*w + 3]', '[3521, 3521, -w^5 + 11*w^3 - w^2 - 26*w + 6]', '[3521, 3521, -w^5 + 2*w^4 + 4*w^3 - 11*w^2 - 2*w + 10]', '[3521, 3521, -2*w^5 + w^4 + 17*w^3 - 7*w^2 - 34*w + 15]', '[3521, 3521, 4*w^5 - 26*w^3 + 4*w^2 + 43*w - 11]', '[3521, 3521, 3*w^5 - 2*w^4 - 18*w^3 + 10*w^2 + 25*w - 5]', '[3521, 3521, -3*w^4 - w^3 + 14*w^2 + 2*w - 10]', '[3527, 3527, -3*w^5 + w^4 + 18*w^3 - 8*w^2 - 24*w + 9]', '[3527, 3527, 3*w^5 - 2*w^4 - 18*w^3 + 11*w^2 + 27*w - 13]', '[3527, 3527, 2*w^4 + 2*w^3 - 8*w^2 - 9*w + 4]', '[3527, 3527, -w^5 + 3*w^4 + 6*w^3 - 12*w^2 - 9*w + 6]', '[3527, 3527, 2*w^5 - 3*w^4 - 13*w^3 + 12*w^2 + 19*w - 6]', '[3527, 3527, -3*w^4 + w^3 + 11*w^2 - 4*w - 6]', '[3529, 3529, -4*w^5 + 20*w^3 - 3*w^2 - 18*w + 6]', '[3529, 3529, -5*w^5 + 27*w^3 - 6*w^2 - 33*w + 14]', '[3529, 3529, -3*w^5 + 18*w^3 - 5*w^2 - 26*w + 11]', '[3529, 3529, -4*w^5 + 2*w^4 + 26*w^3 - 12*w^2 - 39*w + 16]', '[3529, 3529, 5*w^5 + w^4 - 27*w^3 - w^2 + 34*w - 6]', '[3529, 3529, 2*w^5 - w^4 - 9*w^3 + 6*w^2 + 10*w - 6]', '[3569, 3569, 2*w^5 - 12*w^3 - w^2 + 18*w + 6]', '[3569, 3569, 2*w^4 - w^3 - 8*w^2 + 5*w + 5]', '[3569, 3569, -w^4 - w^3 + w^2 + w + 3]', '[3569, 3569, -3*w^5 + 2*w^4 + 18*w^3 - 12*w^2 - 27*w + 16]', '[3569, 3569, -w^5 + w^4 + 9*w^3 - 5*w^2 - 19*w + 10]', '[3569, 3569, -w^4 + w^3 + 4*w^2 - 5*w - 4]', '[3569, 3569, -w^5 - w^4 + 3*w^3 + 5*w^2 + 3*w - 8]', '[3569, 3569, -3*w^4 - 3*w^3 + 14*w^2 + 9*w - 16]', '[3569, 3569, -w^4 + 5*w^3 + 2*w^2 - 16*w + 5]', '[3569, 3569, 2*w^4 - 4*w^2 - 3]', '[3569, 3569, -w^5 + 4*w^3 + w^2 - 3*w - 5]', '[3569, 3569, 2*w^4 - w^3 - 8*w^2 + 4*w + 6]', '[3569, 3569, -2*w^5 + 14*w^3 - 4*w^2 - 26*w + 13]', '[3569, 3569, -3*w^5 - 2*w^4 + 16*w^3 + 5*w^2 - 21*w - 1]', '[3569, 3569, -w^5 - w^4 + 6*w^3 - 6*w + 5]', '[3569, 3569, 3*w^5 - 4*w^4 - 20*w^3 + 19*w^2 + 31*w - 18]', '[3569, 3569, -2*w^5 - 2*w^4 + 14*w^3 + 5*w^2 - 25*w + 7]', '[3569, 3569, -w^5 + w^4 + 2*w^3 - 3*w^2 + 4*w - 4]', '[3569, 3569, 2*w^5 - w^4 - 13*w^3 + 2*w^2 + 19*w + 3]', '[3569, 3569, 2*w^5 + 2*w^4 - 10*w^3 - 7*w^2 + 10*w + 4]', '[3569, 3569, 2*w^4 - w^3 - 10*w^2 + 3*w + 8]', '[3569, 3569, 2*w^4 + 4*w^3 - 9*w^2 - 12*w + 9]', '[3569, 3569, w^5 - 2*w^4 - 8*w^3 + 9*w^2 + 12*w - 7]', '[3569, 3569, w^5 - 4*w^3 + 3*w^2 + w - 8]', '[3569, 3569, w^5 - 3*w^4 - 5*w^3 + 10*w^2 + 6*w - 3]', '[3569, 3569, -w^5 + w^4 + 3*w^3 - 2*w^2 + 4*w - 5]', '[3569, 3569, 4*w^5 - 22*w^3 + 5*w^2 + 30*w - 11]', '[3569, 3569, -w^5 + 4*w^3 + w^2 - 4*w - 4]', '[3569, 3569, 4*w^5 + w^4 - 23*w^3 + 31*w - 7]', '[3569, 3569, -w^5 + w^4 + 2*w^3 - 5*w^2 + 3*w + 4]', '[3569, 3569, -4*w^5 + 3*w^4 + 25*w^3 - 15*w^2 - 35*w + 15]', '[3569, 3569, 5*w^5 - w^4 - 27*w^3 + 9*w^2 + 34*w - 14]', '[3569, 3569, -3*w^5 + 3*w^4 + 19*w^3 - 13*w^2 - 28*w + 8]', '[3569, 3569, -w^5 + 8*w^3 + 2*w^2 - 13*w - 4]', '[3569, 3569, 2*w^4 - w^3 - 6*w^2 + 4*w + 2]', '[3569, 3569, w^5 - 5*w^3 + w^2 + 8*w - 7]', '[3571, 3571, -6*w^5 + 34*w^3 - 5*w^2 - 44*w + 15]', '[3571, 3571, w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 19*w - 6]', '[3571, 3571, -4*w^5 - w^4 + 18*w^3 + 2*w^2 - 14*w + 1]', '[3571, 3571, 4*w^5 + w^4 - 25*w^3 - w^2 + 36*w - 7]', '[3571, 3571, 3*w^5 - 2*w^4 - 17*w^3 + 9*w^2 + 22*w - 9]', '[3571, 3571, 2*w^5 - w^4 - 9*w^3 + 8*w^2 + 7*w - 9]', '[3613, 3613, -w^5 + 4*w^4 + 9*w^3 - 18*w^2 - 17*w + 14]', '[3613, 3613, 3*w^4 - 12*w^2 - w + 4]', '[3613, 3613, 4*w^5 - 3*w^4 - 24*w^3 + 15*w^2 + 32*w - 15]', '[3613, 3613, w^5 + w^4 - 2*w^3 - 3*w^2 - 7*w + 2]', '[3613, 3613, -w^4 + w^3 + 4*w^2 - 7*w]', '[3613, 3613, -4*w^3 + 3*w^2 + 13*w - 7]', '[3697, 3697, -w^5 - 2*w^4 + 4*w^3 + 8*w^2 - w + 1]', '[3697, 3697, -2*w^5 - 2*w^4 + 13*w^3 + 7*w^2 - 19*w - 3]', '[3697, 3697, 3*w^5 - 2*w^4 - 18*w^3 + 10*w^2 + 27*w - 8]', '[3697, 3697, -w^4 - w^3 + 7*w^2 + 5*w - 11]', '[3697, 3697, -2*w^5 - 3*w^4 + 11*w^3 + 10*w^2 - 12*w - 2]', '[3697, 3697, -2*w^5 + 3*w^4 + 15*w^3 - 13*w^2 - 26*w + 12]', '[3739, 3739, -5*w^5 - 2*w^4 + 25*w^3 + 4*w^2 - 25*w + 5]', '[3739, 3739, -4*w^5 - w^4 + 23*w^3 - w^2 - 29*w + 9]', '[3739, 3739, 4*w^5 - 2*w^4 - 22*w^3 + 13*w^2 + 26*w - 15]', '[3739, 3739, 5*w^5 - 30*w^3 + 3*w^2 + 41*w - 10]', '[3739, 3739, -2*w^5 - w^4 + 12*w^3 + 3*w^2 - 14*w]', '[3739, 3739, -4*w^5 + w^4 + 21*w^3 - 6*w^2 - 22*w + 8]', '[3779, 3779, 3*w^5 - w^4 - 16*w^3 + 6*w^2 + 16*w - 7]', '[3779, 3779, 4*w^5 + w^4 - 22*w^3 + w^2 + 28*w - 11]', '[3779, 3779, 2*w^5 - 2*w^4 - 15*w^3 + 11*w^2 + 26*w - 12]', '[3779, 3779, 5*w^5 - w^4 - 29*w^3 + 8*w^2 + 38*w - 16]', '[3779, 3779, -w^5 + w^4 + 6*w^3 - 6*w^2 - 8*w + 3]', '[3779, 3779, 3*w^5 - w^4 - 14*w^3 + 5*w^2 + 13*w - 4]', '[3821, 3821, -2*w^5 + w^4 + 8*w^3 - 6*w^2 - 6*w + 6]', '[3821, 3821, -4*w^5 + 24*w^3 - 2*w^2 - 31*w + 6]', '[3821, 3821, 4*w^5 + 2*w^4 - 20*w^3 - 3*w^2 + 20*w - 8]', '[3821, 3821, 3*w^5 - 20*w^3 + 5*w^2 + 31*w - 13]', '[3821, 3821, 5*w^5 - 2*w^4 - 27*w^3 + 12*w^2 + 31*w - 14]', '[3821, 3821, w^4 + 5*w^3 - 4*w^2 - 17*w + 4]', '[3823, 3823, -2*w^5 - w^4 + 8*w^3 + 4*w^2 - 5*w - 6]', '[3823, 3823, 3*w^5 - w^4 - 20*w^3 + 7*w^2 + 29*w - 11]', '[3823, 3823, -4*w^5 - w^4 + 25*w^3 - 36*w + 10]', '[3823, 3823, -2*w^4 + 10*w^2 - w - 5]', '[3823, 3823, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 13*w + 5]', '[3823, 3823, 6*w^5 - 32*w^3 + 5*w^2 + 37*w - 12]', '[3829, 3829, -5*w^5 + 4*w^4 + 29*w^3 - 20*w^2 - 38*w + 16]', '[3829, 3829, -3*w^5 + 2*w^4 + 15*w^3 - 7*w^2 - 12*w - 2]', '[3829, 3829, -2*w^2 - 2*w + 7]', '[3829, 3829, 5*w^3 - 18*w + 1]', '[3829, 3829, -w^4 + 3*w^3 + 2*w^2 - 12*w + 4]', '[3829, 3829, 4*w^5 + 2*w^4 - 25*w^3 - 7*w^2 + 39*w + 2]', '[3863, 3863, 4*w^5 + w^4 - 22*w^3 + 2*w^2 + 28*w - 13]', '[3863, 3863, -3*w^5 + 2*w^4 + 16*w^3 - 10*w^2 - 16*w + 8]', '[3863, 3863, -4*w^5 + w^4 + 21*w^3 - 6*w^2 - 21*w + 7]', '[3863, 3863, 3*w^5 - 2*w^4 - 21*w^3 + 12*w^2 + 35*w - 15]', '[3863, 3863, 3*w^5 - 2*w^4 - 14*w^3 + 9*w^2 + 13*w - 6]', '[3863, 3863, -3*w^5 + 3*w^4 + 19*w^3 - 14*w^2 - 26*w + 13]', '[3907, 3907, 5*w^5 + w^4 - 26*w^3 - 2*w^2 + 30*w - 3]', '[3907, 3907, -4*w^5 - 2*w^4 + 23*w^3 + 5*w^2 - 32*w + 6]', '[3907, 3907, 2*w^5 + 3*w^4 - 7*w^3 - 12*w^2 + 2*w + 5]', '[3907, 3907, -w^5 - 3*w^4 + 6*w^3 + 13*w^2 - 9*w - 8]', '[3907, 3907, -3*w^5 + 19*w^3 - 3*w^2 - 28*w + 11]', '[3907, 3907, -5*w^5 + w^4 + 30*w^3 - 9*w^2 - 43*w + 17]', '[3947, 3947, -4*w^5 + 2*w^4 + 21*w^3 - 11*w^2 - 23*w + 11]', '[3947, 3947, 4*w^5 + w^4 - 24*w^3 + w^2 + 32*w - 12]', '[3947, 3947, 3*w^5 + 2*w^4 - 14*w^3 - 4*w^2 + 12*w - 5]', '[3947, 3947, -3*w^5 - w^4 + 16*w^3 + 3*w^2 - 19*w - 3]', '[3947, 3947, 4*w^5 - 23*w^3 + 2*w^2 + 28*w - 6]', '[3947, 3947, 2*w^5 + w^4 - 12*w^3 - 3*w^2 + 18*w - 6]', '[3989, 3989, 3*w^5 - 15*w^3 + 4*w^2 + 16*w - 13]', '[3989, 3989, w^5 - w^4 - 5*w^3 + 6*w^2 + 5*w - 2]', '[3989, 3989, 2*w^5 + w^4 - 11*w^3 + 11*w - 7]', '[3989, 3989, -6*w^5 + w^4 + 34*w^3 - 8*w^2 - 44*w + 13]', '[3989, 3989, -2*w^5 - w^4 + 14*w^3 + 4*w^2 - 23*w + 1]', '[3989, 3989, -2*w^5 + w^4 + 9*w^3 - 7*w^2 - 5*w + 9]', '[4067, 581, w^5 - 2*w^4 - 4*w^3 + 5*w^2 + 2*w + 3]', '[4067, 581, 3*w^5 - 20*w^3 + 31*w]', '[4067, 581, -w^4 + 4*w^3 + 3*w^2 - 10*w - 1]', '[4067, 581, w^5 - w^4 - 4*w^3 + 3*w^2 + 2*w + 4]', '[4067, 581, -3*w^5 + 16*w^3 - w^2 - 21*w]', '[4067, 581, 4*w^5 - 24*w^3 + 5*w^2 + 34*w - 12]', '[4073, 4073, 3*w^5 + 2*w^4 - 16*w^3 - 7*w^2 + 20*w + 2]', '[4073, 4073, w^5 - w^4 - 9*w^3 + 3*w^2 + 18*w - 4]', '[4073, 4073, -3*w^5 - 2*w^4 + 17*w^3 + 6*w^2 - 20*w - 1]', '[4073, 4073, 2*w^5 + 2*w^4 - 11*w^3 - 8*w^2 + 15*w + 1]', '[4073, 4073, -3*w^5 + w^4 + 15*w^3 - 6*w^2 - 13*w + 9]', '[4073, 4073, -3*w^5 + 2*w^4 + 20*w^3 - 12*w^2 - 31*w + 12]', '[4096, 4, -4]', '[4109, 4109, -5*w^5 + 3*w^4 + 26*w^3 - 16*w^2 - 27*w + 14]', '[4109, 4109, -2*w^5 - w^4 + 11*w^3 + 5*w^2 - 13*w - 8]', '[4109, 4109, 3*w^5 - 2*w^4 - 22*w^3 + 10*w^2 + 39*w - 9]', '[4109, 4109, -4*w^5 - 2*w^4 + 26*w^3 + 6*w^2 - 43*w + 3]', '[4109, 4109, w^3 - w^2 - 2*w + 7]', '[4109, 4109, 2*w^5 - w^4 - 13*w^3 + 6*w^2 + 22*w - 8]', '[4157, 4157, -4*w^5 + w^4 + 23*w^3 - 7*w^2 - 28*w + 8]', '[4157, 4157, -2*w^5 + w^4 + 14*w^3 - 4*w^2 - 22*w + 6]', '[4157, 4157, -2*w^5 - w^4 + 10*w^3 + 6*w^2 - 10*w - 6]', '[4157, 4157, -4*w^4 - 2*w^3 + 16*w^2 + 5*w - 8]', '[4157, 4157, 4*w^4 + 2*w^3 - 17*w^2 - 7*w + 10]', '[4157, 4157, 4*w^5 - 2*w^4 - 24*w^3 + 12*w^2 + 33*w - 12]', '[4159, 4159, -5*w^5 + w^4 + 28*w^3 - 6*w^2 - 35*w + 9]', '[4159, 4159, 2*w^5 + w^4 - 14*w^3 - w^2 + 25*w - 6]', '[4159, 4159, 2*w^5 - 3*w^4 - 11*w^3 + 15*w^2 + 14*w - 12]', '[4159, 4159, 3*w^5 - 2*w^4 - 17*w^3 + 10*w^2 + 21*w - 12]', '[4159, 4159, -w^5 + w^4 + 5*w^3 - 8*w^2 - 5*w + 11]', '[4159, 4159, -2*w^5 - 3*w^4 + 7*w^3 + 11*w^2 - 5]', '[4201, 4201, 4*w^5 + w^4 - 24*w^3 - w^2 + 32*w - 7]', '[4201, 4201, 4*w^3 + w^2 - 13*w - 1]', '[4201, 4201, -w^5 - 3*w^4 + 3*w^3 + 12*w^2 - w - 5]', '[4201, 4201, -4*w^5 + w^4 + 21*w^3 - 8*w^2 - 22*w + 11]', '[4201, 4201, 3*w^5 - w^4 - 20*w^3 + 8*w^2 + 30*w - 13]', '[4201, 4201, -3*w^5 - w^4 + 17*w^3 - 20*w + 6]', '[4241, 4241, 2*w^3 - 3*w^2 - 5*w + 9]', '[4241, 4241, -2*w^5 + 3*w^4 + 12*w^3 - 15*w^2 - 16*w + 11]', '[4241, 4241, 2*w^5 + w^4 - 9*w^3 - 2*w^2 + 10*w - 5]', '[4241, 4241, w^5 - w^4 - 8*w^3 + 7*w^2 + 15*w - 6]', '[4241, 4241, 4*w^5 - 23*w^3 + w^2 + 30*w - 6]', '[4241, 4241, w^5 + w^4 - 8*w^3 - 3*w^2 + 17*w]', '[4243, 4243, -3*w^5 + 18*w^3 - 5*w^2 - 26*w + 10]', '[4243, 4243, w^5 + 2*w^4 - 3*w^3 - 5*w^2 - w - 5]', '[4243, 4243, 3*w^5 - 2*w^4 - 15*w^3 + 9*w^2 + 15*w - 9]', '[4243, 4243, -2*w^4 + w^3 + 8*w^2 - w - 1]', '[4243, 4243, -3*w^5 + 16*w^3 - w^2 - 16*w]', '[4243, 4243, 2*w^5 - 2*w^4 - 15*w^3 + 10*w^2 + 27*w - 13]', '[4283, 4283, -4*w^5 + w^4 + 20*w^3 - 8*w^2 - 21*w + 11]', '[4283, 4283, 3*w^5 + w^4 - 18*w^3 - 3*w^2 + 26*w - 5]', '[4283, 4283, -2*w^5 + 2*w^4 + 12*w^3 - 11*w^2 - 16*w + 9]', '[4283, 4283, -w^5 + 2*w^4 + 7*w^3 - 11*w^2 - 10*w + 8]', '[4283, 4283, -4*w^5 - 2*w^4 + 21*w^3 + 6*w^2 - 24*w - 1]', '[4283, 4283, 2*w^4 - w^3 - 9*w^2 + 5*w + 8]', '[4327, 4327, -2*w^5 - w^4 + 13*w^3 + 2*w^2 - 19*w + 7]', '[4327, 4327, 4*w^5 - 21*w^3 + 4*w^2 + 24*w - 7]', '[4327, 4327, -w^5 + 3*w^3 - 2*w^2 + w + 7]', '[4327, 4327, -4*w^5 + 22*w^3 - 4*w^2 - 27*w + 7]', '[4327, 4327, -2*w^5 + 11*w^3 + w^2 - 11*w - 2]', '[4327, 4327, -4*w^5 + w^4 + 24*w^3 - 8*w^2 - 35*w + 15]', '[4409, 4409, -w^4 - 2*w^3 + 2*w^2 + 8*w + 3]', '[4409, 4409, 2*w^5 - 2*w^4 - 12*w^3 + 9*w^2 + 14*w - 5]', '[4409, 4409, -4*w^5 + w^4 + 21*w^3 - 6*w^2 - 25*w + 9]', '[4409, 4409, -3*w^5 - 2*w^4 + 17*w^3 + 4*w^2 - 23*w + 5]', '[4409, 4409, -w^5 - 2*w^4 + 6*w^3 + 9*w^2 - 7*w - 4]', '[4409, 4409, 2*w^4 + 4*w^3 - 10*w^2 - 13*w + 11]', '[4417, 4417, -4*w^5 + w^4 + 25*w^3 - 8*w^2 - 38*w + 11]', '[4417, 4417, 4*w^5 - 4*w^4 - 23*w^3 + 18*w^2 + 28*w - 12]', '[4417, 4417, 5*w^5 - 3*w^4 - 30*w^3 + 16*w^2 + 41*w - 18]', '[4417, 4417, -3*w^5 + 19*w^3 - 4*w^2 - 31*w + 10]', '[4417, 4417, -w^5 - w^4 + 8*w^3 + 3*w^2 - 18*w + 1]', '[4417, 4417, -4*w^3 - 2*w^2 + 14*w + 5]', '[4451, 4451, -4*w^5 - w^4 + 24*w^3 - 33*w + 10]', '[4451, 4451, -2*w^5 - 3*w^4 + 9*w^3 + 12*w^2 - 8*w - 6]', '[4451, 4451, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 16*w - 1]', '[4451, 4451, -w^5 - 3*w^4 + 4*w^3 + 13*w^2 - 3*w - 7]', '[4451, 4451, -2*w^5 - 2*w^4 + 10*w^3 + 7*w^2 - 13*w]', '[4451, 4451, -3*w^5 - w^4 + 16*w^3 + 4*w^2 - 20*w]', '[4493, 4493, -2*w^5 + 11*w^3 - w^2 - 17*w + 4]', '[4493, 4493, -2*w^5 - 3*w^4 + 10*w^3 + 11*w^2 - 12*w - 2]', '[4493, 4493, -2*w^5 + 3*w^4 + 13*w^3 - 12*w^2 - 21*w + 7]', '[4493, 4493, -2*w^5 + 3*w^4 + 12*w^3 - 12*w^2 - 18*w + 7]', '[4493, 4493, -2*w^5 - 2*w^4 + 10*w^3 + 9*w^2 - 11*w - 6]', '[4493, 4493, 2*w^4 - 5*w^2 + 2*w - 3]', '[4509, 501, 6*w^5 + w^4 - 32*w^3 + w^2 + 38*w - 9]', '[4509, 501, -2*w^5 - w^4 + 11*w^3 + 3*w^2 - 10*w]', '[4509, 501, -2*w^5 + 5*w^4 + 9*w^3 - 20*w^2 - 3*w + 2]', '[4509, 501, -3*w^5 - w^4 + 14*w^3 + 5*w^2 - 8*w]', '[4509, 501, -4*w^3 + 2*w^2 + 14*w - 5]', '[4509, 501, -w^5 - w^4 + 12*w^3 + 2*w^2 - 32*w + 5]', '[4563, 39, 3*w^5 + w^4 - 18*w^3 - 3*w^2 + 25*w - 5]', '[4563, 39, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 6*w]', '[4563, 39, 2*w^5 + w^4 - 7*w^3 - 2*w^2 - w - 1]', '[4621, 4621, 2*w^5 + w^4 - 7*w^3 - 3*w^2 + 2*w - 2]', '[4621, 4621, -w^4 + 7*w^2 - w - 8]', '[4621, 4621, 4*w^5 + w^4 - 20*w^3 - 3*w^2 + 21*w - 1]', '[4621, 4621, -3*w^5 + 2*w^4 + 16*w^3 - 9*w^2 - 19*w + 10]', '[4621, 4621, 4*w^5 - w^4 - 22*w^3 + 6*w^2 + 25*w - 9]', '[4621, 4621, w^5 + 3*w^4 - 2*w^3 - 12*w^2 - 3*w + 6]', '[4663, 4663, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 7*w - 7]', '[4663, 4663, -2*w^5 - w^4 + 12*w^3 - 17*w + 11]', '[4663, 4663, 3*w^5 + w^4 - 13*w^3 - 4*w^2 + 10*w + 1]', '[4663, 4663, -3*w^5 + 2*w^4 + 16*w^3 - 10*w^2 - 19*w + 6]', '[4663, 4663, -3*w^5 - 3*w^4 + 16*w^3 + 10*w^2 - 19*w]', '[4663, 4663, 3*w^5 - w^4 - 17*w^3 + 5*w^2 + 20*w - 8]', '[4703, 4703, -4*w^5 + 20*w^3 - 3*w^2 - 21*w + 8]', '[4703, 4703, -4*w^5 - w^4 + 23*w^3 - 30*w + 8]', '[4703, 4703, 2*w^5 + w^4 - 11*w^3 - w^2 + 15*w - 9]', '[4703, 4703, 4*w^5 - w^4 - 24*w^3 + 6*w^2 + 34*w - 10]', '[4703, 4703, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 15*w + 6]', '[4703, 4703, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 4*w + 7]', '[4711, 4711, w^5 - 7*w^3 - 2*w^2 + 10*w + 6]', '[4711, 4711, -w^5 + w^4 + 3*w^3 - 7*w^2 + 2*w + 10]', '[4711, 4711, -5*w^5 + 32*w^3 - 5*w^2 - 51*w + 16]', '[4711, 4711, 4*w^5 - 4*w^4 - 24*w^3 + 18*w^2 + 32*w - 9]', '[4711, 4711, -4*w^5 + 2*w^4 + 21*w^3 - 12*w^2 - 22*w + 12]', '[4711, 4711, -5*w^5 + w^4 + 32*w^3 - 7*w^2 - 48*w + 13]', '[4787, 4787, w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 21*w - 6]', '[4787, 4787, w^4 - 2*w^3 - 5*w^2 + 7*w + 7]', '[4787, 4787, -w^5 + w^4 + 8*w^3 - 6*w^2 - 13*w + 11]', '[4787, 4787, 3*w^5 + w^4 - 18*w^3 - 2*w^2 + 25*w - 8]', '[4787, 4787, 2*w^5 - w^4 - 11*w^3 + 7*w^2 + 12*w - 5]', '[4787, 4787, 2*w^5 + w^4 - 8*w^3 - 3*w^2 + 5*w - 4]', '[4789, 4789, 2*w^4 + 3*w^3 - 7*w^2 - 10*w + 6]', '[4789, 4789, 2*w^5 - w^4 - 15*w^3 + 7*w^2 + 25*w - 11]', '[4789, 4789, 2*w^5 + 2*w^4 - 7*w^3 - 7*w^2 - w + 3]', '[4789, 4789, -w^5 + 3*w^4 + 7*w^3 - 14*w^2 - 10*w + 9]', '[4789, 4789, -2*w^5 + w^4 + 14*w^3 - 7*w^2 - 24*w + 7]', '[4789, 4789, -2*w^5 + 3*w^4 + 10*w^3 - 13*w^2 - 11*w + 8]', '[4831, 4831, w^5 + w^4 - 8*w^3 - 3*w^2 + 13*w - 4]', '[4831, 4831, 4*w^5 - 23*w^3 + 5*w^2 + 30*w - 10]', '[4831, 4831, 3*w^5 - w^4 - 14*w^3 + 6*w^2 + 12*w - 9]', '[4831, 4831, -4*w^5 + 22*w^3 - 3*w^2 - 25*w + 5]', '[4831, 4831, 2*w^5 - w^4 - 15*w^3 + 6*w^2 + 26*w - 11]', '[4831, 4831, 2*w^5 + w^4 - 8*w^3 - w^2 + 4*w - 7]', '[4871, 4871, w^5 - 3*w^3 + 2*w^2 - 3*w - 2]', '[4871, 4871, 2*w^5 + w^4 - 10*w^3 - 2*w^2 + 9*w + 1]', '[4871, 4871, -4*w^5 + 20*w^3 - 3*w^2 - 22*w + 6]', '[4871, 4871, -w^5 + 7*w^3 + w^2 - 11*w + 3]', '[4871, 4871, -3*w^5 + w^4 + 17*w^3 - 7*w^2 - 22*w + 6]', '[4871, 4871, -4*w^5 - 2*w^4 + 22*w^3 + 4*w^2 - 27*w + 8]', '[4913, 17, -2*w^5 + 10*w^3 - 4*w^2 - 9*w + 7]', '[4913, 17, 5*w^5 - 26*w^3 + 3*w^2 + 29*w - 6]', '[4957, 4957, 3*w^5 - 2*w^4 - 18*w^3 + 11*w^2 + 27*w - 10]', '[4957, 4957, 2*w^5 - 3*w^4 - 13*w^3 + 12*w^2 + 19*w - 9]', '[4957, 4957, 2*w^4 + 2*w^3 - 8*w^2 - 9*w + 7]', '[4957, 4957, 5*w^5 + w^4 - 27*w^3 + 32*w - 6]', '[4957, 4957, -3*w^5 + w^4 + 17*w^3 - 8*w^2 - 20*w + 9]', '[4957, 4957, 3*w^4 - 10*w^2 - 1]', '[4999, 4999, -4*w^5 + 23*w^3 - 5*w^2 - 29*w + 12]', '[4999, 4999, 4*w^5 + w^4 - 21*w^3 + 23*w - 7]', '[4999, 4999, -4*w^5 + w^4 + 22*w^3 - 8*w^2 - 26*w + 11]', '[4999, 4999, -3*w^5 - w^4 + 15*w^3 + 4*w^2 - 17*w - 3]', '[4999, 4999, 3*w^5 - 19*w^3 + 2*w^2 + 27*w - 7]', '[4999, 4999, -2*w^5 - 3*w^4 + 10*w^3 + 12*w^2 - 11*w - 7]', '[5039, 5039, 4*w^5 - 23*w^3 + 3*w^2 + 28*w - 9]', '[5039, 5039, -4*w^5 + 24*w^3 - 5*w^2 - 33*w + 14]', '[5039, 5039, -w^4 + 3*w^3 + 5*w^2 - 9*w - 1]', '[5039, 5039, 3*w^5 + w^4 - 14*w^3 + 12*w - 6]', '[5039, 5039, -w^4 + 3*w^3 + 4*w^2 - 8*w - 2]', '[5039, 5039, -3*w^5 + 15*w^3 - 4*w^2 - 14*w + 11]', '[5041, 71, 3*w^5 - 19*w^3 + 3*w^2 + 27*w - 9]', '[5041, 71, -4*w^5 + 23*w^3 - 4*w^2 - 29*w + 9]', '[5041, 71, 4*w^5 - 21*w^3 + 4*w^2 + 23*w - 9]', '[5081, 5081, -4*w^5 - w^4 + 24*w^3 - 35*w + 8]', '[5081, 5081, w^5 + 3*w^4 - w^3 - 12*w^2 - 7*w + 8]', '[5081, 5081, -3*w^4 + w^3 + 13*w^2 - 3*w - 6]', '[5081, 5081, -5*w^5 + 26*w^3 - 2*w^2 - 29*w + 7]', '[5081, 5081, -w^5 - 3*w^4 + w^3 + 12*w^2 + 8*w - 6]', '[5081, 5081, w^5 - 2*w^4 - 10*w^3 + 11*w^2 + 22*w - 12]', '[5103, 21, -3*w^5 + 15*w^3 - 15*w - 3]', '[5125, 205, -2*w^4 - 2*w^3 + 7*w^2 + 8*w - 4]', '[5125, 205, -w^5 - 2*w^4 + 4*w^3 + 6*w^2 + w - 2]', '[5125, 205, w^5 + 3*w^4 - 7*w^3 - 9*w^2 + 12*w - 4]', '[5125, 205, w^5 + 2*w^4 - 6*w^3 - 5*w^2 + 9*w - 5]', '[5125, 205, 5*w^5 - 2*w^4 - 29*w^3 + 12*w^2 + 40*w - 13]', '[5125, 205, 3*w^5 - 2*w^4 - 17*w^3 + 10*w^2 + 23*w - 8]', '[5125, 205, -w^5 + w^4 + 5*w^3 - 8*w^2 - 7*w + 13]', '[5125, 205, w^4 - 6*w^2 - 2*w + 8]', '[5125, 205, -2*w^5 + 3*w^4 + 14*w^3 - 12*w^2 - 21*w + 9]', '[5125, 205, -2*w^5 + 2*w^4 + 12*w^3 - 8*w^2 - 15*w + 6]', '[5125, 205, -2*w^5 - w^4 + 7*w^3 + 5*w^2 + w - 3]', '[5125, 205, -w^4 - 3*w^3 + 6*w^2 + 11*w - 6]', '[5167, 5167, w^4 + w^3 - 6*w^2 - 6*w + 8]', '[5167, 5167, w^5 - 2*w^4 - 6*w^3 + 10*w^2 + 6*w - 10]', '[5167, 5167, -4*w^5 + 21*w^3 - 3*w^2 - 22*w + 6]', '[5167, 5167, -2*w^5 + 3*w^4 + 12*w^3 - 13*w^2 - 18*w + 8]', '[5167, 5167, -4*w^5 - 2*w^4 + 21*w^3 + 5*w^2 - 25*w + 6]', '[5167, 5167, -3*w^5 - 2*w^4 + 17*w^3 + 7*w^2 - 22*w - 2]', '[5207, 5207, 3*w^3 - w^2 - 13*w + 6]', '[5207, 5207, 2*w^5 + w^4 - 7*w^3 + w^2 + 2*w - 8]', '[5207, 5207, w^5 - 8*w^3 - 2*w^2 + 16*w + 5]', '[5207, 5207, 3*w^5 - 16*w^3 + 4*w^2 + 22*w - 8]', '[5207, 5207, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 6*w + 5]', '[5207, 5207, w^5 - 7*w^3 + 13*w - 6]', '[5207, 5207, -4*w^5 - w^4 + 22*w^3 + w^2 - 24*w + 7]', '[5207, 5207, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 4*w - 7]', '[5207, 5207, -w^5 + 9*w^3 - w^2 - 19*w + 8]', '[5207, 5207, 2*w^4 - 3*w^3 - 7*w^2 + 8*w + 2]', '[5207, 5207, 2*w^5 + 2*w^4 - 9*w^3 - 8*w^2 + 9*w + 2]', '[5207, 5207, 3*w^5 + 2*w^4 - 17*w^3 - 8*w^2 + 24*w + 6]', '[5207, 5207, -3*w^5 + 2*w^4 + 19*w^3 - 9*w^2 - 28*w + 10]', '[5207, 5207, 3*w^5 - 4*w^4 - 19*w^3 + 19*w^2 + 28*w - 18]', '[5207, 5207, -3*w^5 - 2*w^4 + 16*w^3 + 7*w^2 - 20*w + 1]', '[5207, 5207, -3*w^5 + 2*w^4 + 18*w^3 - 12*w^2 - 26*w + 12]', '[5207, 5207, -2*w^4 + w^3 + 6*w^2 - 2*w + 3]', '[5207, 5207, -w^5 + w^4 + 3*w^3 - w^2 + w - 3]', '[5207, 5207, w^5 + w^4 - 4*w^3 - w^2 + 4*w - 7]', '[5207, 5207, 5*w^5 - w^4 - 30*w^3 + 10*w^2 + 42*w - 19]', '[5207, 5207, w^5 + 2*w^4 - 5*w^3 - 9*w^2 + 7*w + 4]', '[5207, 5207, -w^5 + 3*w^4 + 10*w^3 - 15*w^2 - 20*w + 16]', '[5207, 5207, w^5 - w^4 - 5*w^3 + 2*w^2 + 4*w + 3]', '[5207, 5207, -4*w^5 + 19*w^3 - w^2 - 19*w + 5]', '[5207, 5207, -2*w^5 + 2*w^4 + 11*w^3 - 10*w^2 - 10*w + 6]', '[5207, 5207, 3*w^5 - 4*w^4 - 22*w^3 + 20*w^2 + 37*w - 22]', '[5207, 5207, 2*w^5 - 10*w^3 + w^2 + 12*w + 2]', '[5207, 5207, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 13*w + 6]', '[5207, 5207, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 7*w - 11]', '[5207, 5207, -3*w^5 - 3*w^4 + 17*w^3 + 11*w^2 - 21*w]', '[5207, 5207, -2*w^5 - 2*w^4 + 11*w^3 + 8*w^2 - 15*w - 4]', '[5207, 5207, -2*w^5 - 2*w^4 + 10*w^3 + 6*w^2 - 11*w + 6]', '[5207, 5207, -3*w^5 - w^4 + 14*w^3 - w^2 - 13*w + 8]', '[5207, 5207, 4*w^5 - w^4 - 19*w^3 + 6*w^2 + 16*w - 5]', '[5207, 5207, -2*w^5 - 2*w^4 + 9*w^3 + 7*w^2 - 5*w - 4]', '[5207, 5207, -3*w^5 + w^4 + 18*w^3 - 3*w^2 - 24*w - 1]', '[5209, 5209, 2*w^5 - 2*w^4 - 15*w^3 + 10*w^2 + 28*w - 11]', '[5209, 5209, 3*w^5 - 16*w^3 + 16*w]', '[5209, 5209, -2*w^5 + 13*w^3 - 5*w^2 - 21*w + 12]', '[5209, 5209, 3*w^5 - 18*w^3 + 3*w^2 + 27*w - 11]', '[5209, 5209, -w^5 - 3*w^4 + 3*w^3 + 9*w^2 + w + 1]', '[5209, 5209, 3*w^5 - 3*w^4 - 16*w^3 + 13*w^2 + 18*w - 9]', '[5299, 5299, -4*w^5 + 3*w^4 + 22*w^3 - 13*w^2 - 26*w + 2]', '[5299, 5299, -2*w^4 + 2*w^3 + 10*w^2 - 9*w - 8]', '[5299, 5299, -w^4 + w^3 + w^2 - 6*w + 9]', '[5299, 5299, -2*w^5 - 3*w^4 + 10*w^3 + 11*w^2 - 11*w - 4]', '[5299, 5299, 4*w^5 - w^4 - 28*w^3 + 9*w^2 + 49*w - 18]', '[5299, 5299, -2*w^5 + w^4 + 8*w^3 - 7*w^2 - 4*w + 8]', '[5312, 166, -2*w^5 + 12*w^3 - 2*w^2 - 20*w + 8]', '[5312, 166, -4*w^5 + 2*w^4 + 24*w^3 - 12*w^2 - 34*w + 12]', '[5312, 166, 2*w^5 - 12*w^3 + 4*w^2 + 16*w - 6]', '[5312, 166, 2*w^5 - 8*w^3 + 2*w - 2]', '[5312, 166, -4*w^5 + 22*w^3 - 2*w^2 - 26*w + 2]', '[5312, 166, 2*w^5 - 10*w^3 + 4*w^2 + 12*w - 12]', '[5333, 5333, -4*w^5 + 23*w^3 - 2*w^2 - 31*w + 9]', '[5333, 5333, 3*w^5 - 2*w^4 - 19*w^3 + 11*w^2 + 29*w - 9]', '[5333, 5333, -4*w^5 + w^4 + 20*w^3 - 7*w^2 - 21*w + 7]', '[5333, 5333, -w^5 - 2*w^4 + 7*w^3 + 7*w^2 - 13*w - 3]', '[5333, 5333, w^5 - 2*w^4 - 6*w^3 + 11*w^2 + 8*w - 8]', '[5333, 5333, -w^5 + 2*w^4 + 8*w^3 - 7*w^2 - 14*w + 6]', '[5375, 215, 4*w^5 + w^4 - 23*w^3 + 30*w - 9]', '[5375, 215, 5*w^5 - 29*w^3 + 5*w^2 + 39*w - 13]', '[5375, 215, -3*w^5 + w^4 + 18*w^3 - 7*w^2 - 23*w + 10]', '[5375, 215, -3*w^5 + 17*w^3 - 3*w^2 - 19*w + 7]', '[5375, 215, -w^5 - w^4 + 8*w^3 + 4*w^2 - 14*w - 1]', '[5375, 215, -w^5 - 2*w^4 + 8*w^3 + 7*w^2 - 14*w]', '[5375, 215, -4*w^5 + 19*w^3 - 2*w^2 - 17*w + 5]', '[5375, 215, -4*w^5 + 20*w^3 - 3*w^2 - 21*w + 7]', '[5375, 215, -w^4 - 4*w^3 + 5*w^2 + 12*w - 5]', '[5375, 215, w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 20*w - 8]', '[5375, 215, 2*w^5 - 9*w^3 + 4*w^2 + 7*w - 9]', '[5375, 215, 2*w^5 - 9*w^3 + 3*w^2 + 6*w - 6]', '[5417, 5417, -w^5 + 2*w^4 + 3*w^3 - 8*w^2 + 2*w + 5]', '[5417, 5417, -2*w^4 + w^3 + 9*w^2 - w - 5]', '[5417, 5417, 3*w^5 - w^4 - 17*w^3 + 9*w^2 + 22*w - 12]', '[5417, 5417, -3*w^5 - w^4 + 18*w^3 - w^2 - 26*w + 10]', '[5417, 5417, 4*w^5 - w^4 - 25*w^3 + 7*w^2 + 37*w - 13]', '[5417, 5417, w^5 + 2*w^4 - 3*w^3 - 5*w^2 - 2*w - 3]', '[5419, 5419, -3*w^5 + 2*w^4 + 17*w^3 - 8*w^2 - 21*w + 5]', '[5419, 5419, -2*w^4 + 5*w^2 + 3]', '[5419, 5419, -w^5 + 8*w^3 - 3*w^2 - 17*w + 8]', '[5419, 5419, 2*w^4 + 3*w^3 - 9*w^2 - 8*w + 5]', '[5419, 5419, -3*w^4 - 3*w^3 + 12*w^2 + 11*w - 7]', '[5419, 5419, -2*w^5 + 3*w^4 + 12*w^3 - 14*w^2 - 18*w + 11]', '[5461, 5461, w^5 - 9*w^3 + 2*w^2 + 20*w - 5]', '[5461, 5461, w^4 - 6*w^2 + 2*w + 8]', '[5461, 5461, 3*w^4 + 4*w^3 - 13*w^2 - 12*w + 8]', '[5461, 5461, w^5 - 4*w^3 + 2*w^2 + 5*w - 6]', '[5461, 5461, -w^5 - w^4 + 5*w^3 + 3*w^2 - 5*w + 5]', '[5461, 5461, w^5 + w^4 - 5*w^3 - 5*w^2 + 6*w + 9]', '[5461, 5461, w^5 - 6*w^3 + 8*w + 4]', '[5461, 5461, -2*w^5 + w^4 + 15*w^3 - 7*w^2 - 26*w + 13]', '[5461, 5461, 2*w^5 + 2*w^4 - 8*w^3 - 8*w^2 + 5*w + 6]', '[5461, 5461, -w^3 + 4*w - 5]', '[5461, 5461, -2*w^5 - 3*w^4 + 8*w^3 + 10*w^2 - 3*w - 3]', '[5461, 5461, -3*w^5 + 4*w^4 + 19*w^3 - 18*w^2 - 26*w + 15]', '[5461, 5461, -2*w^4 + 8*w^2 - 3*w - 5]', '[5461, 5461, w^5 - w^4 - 6*w^3 + 5*w^2 + 8*w - 9]', '[5461, 5461, -w^5 + w^4 + 8*w^3 - 4*w^2 - 17*w + 6]', '[5461, 5461, -w^3 + w^2 + 3*w + 2]', '[5461, 5461, -3*w^5 - 2*w^4 + 17*w^3 + 6*w^2 - 23*w]', '[5461, 5461, -2*w^5 + 3*w^4 + 13*w^3 - 13*w^2 - 18*w + 7]', '[5461, 5461, w^5 + w^4 - 7*w^3 + 11*w - 9]', '[5461, 5461, 2*w^5 + w^4 - 11*w^3 - 5*w^2 + 12*w + 6]', '[5461, 5461, -w^4 - 3*w^3 + 7*w^2 + 10*w - 7]', '[5461, 5461, 2*w^5 - 3*w^4 - 12*w^3 + 13*w^2 + 15*w - 11]', '[5461, 5461, -w^5 + w^4 + 6*w^3 - 5*w^2 - 5*w + 5]', '[5461, 5461, 2*w^5 - w^4 - 9*w^3 + 7*w^2 + 7*w - 10]', '[5461, 5461, -3*w^5 + 3*w^4 + 17*w^3 - 15*w^2 - 22*w + 12]', '[5461, 5461, w^5 + w^4 - 2*w^3 - 2*w^2 - 5*w - 4]', '[5461, 5461, -2*w^4 - 2*w^3 + 9*w^2 + 4*w - 4]', '[5461, 5461, -w^5 - 2*w^4 + 6*w^3 + 9*w^2 - 9*w - 3]', '[5461, 5461, -w^3 - 3*w^2 + 4*w + 5]', '[5461, 5461, -4*w^5 - w^4 + 22*w^3 - w^2 - 27*w + 8]', '[5461, 5461, -3*w^5 + w^4 + 14*w^3 - 6*w^2 - 13*w + 9]', '[5461, 5461, -4*w^5 + w^4 + 22*w^3 - 7*w^2 - 25*w + 7]', '[5461, 5461, -w^4 - 2*w^3 + w^2 + 4*w + 6]', '[5461, 5461, 4*w^5 + w^4 - 23*w^3 + 32*w - 10]', '[5461, 5461, -2*w^5 - 3*w^4 + 10*w^3 + 9*w^2 - 11*w + 4]', '[5461, 5461, -w^5 - 3*w^4 + 6*w^3 + 12*w^2 - 8*w - 6]', '[5501, 5501, 3*w^5 + 2*w^4 - 15*w^3 - 4*w^2 + 17*w - 8]', '[5501, 5501, -3*w^5 - 2*w^4 + 16*w^3 + 7*w^2 - 17*w - 3]', '[5501, 5501, -2*w^5 - 2*w^4 + 8*w^3 + 7*w^2 - 5*w + 2]', '[5501, 5501, 2*w^4 - w^3 - 9*w^2 + 4*w + 9]', '[5501, 5501, -4*w^5 - w^4 + 21*w^3 + 2*w^2 - 24*w]', '[5501, 5501, -2*w^5 + 2*w^4 + 14*w^3 - 12*w^2 - 23*w + 12]', '[5503, 5503, 2*w^5 - 15*w^3 + 3*w^2 + 25*w - 8]', '[5503, 5503, -3*w^5 + 20*w^3 - 2*w^2 - 30*w + 6]', '[5503, 5503, -3*w^5 + 13*w^3 - 3*w^2 - 10*w + 6]', '[5503, 5503, -5*w^5 + w^4 + 28*w^3 - 9*w^2 - 34*w + 15]', '[5503, 5503, -3*w^5 + 20*w^3 - 2*w^2 - 31*w + 7]', '[5503, 5503, 5*w^5 + w^4 - 27*w^3 + w^2 + 31*w - 11]', '[5579, 5579, 5*w^3 + w^2 - 18*w]', '[5579, 5579, -w^5 + w^4 + 10*w^3 - 5*w^2 - 21*w + 6]', '[5579, 5579, 7*w^5 - 2*w^4 - 40*w^3 + 10*w^2 + 51*w - 4]', '[5579, 5579, -3*w^5 + w^4 + 17*w^3 - 3*w^2 - 22*w - 6]', '[5579, 5579, -4*w^5 + w^4 + 20*w^3 - 7*w^2 - 20*w + 9]', '[5579, 5579, -2*w^5 + 17*w^3 - 3*w^2 - 35*w + 11]', '[5669, 5669, -5*w^5 + w^4 + 27*w^3 - 7*w^2 - 33*w + 12]', '[5669, 5669, 3*w^5 - 2*w^4 - 19*w^3 + 9*w^2 + 26*w - 8]', '[5669, 5669, -2*w^5 - 2*w^4 + 13*w^3 + 4*w^2 - 20*w + 7]', '[5669, 5669, -2*w^5 - 2*w^4 + 9*w^3 + 5*w^2 - 5*w + 2]', '[5669, 5669, w^5 - w^4 - 4*w^3 + 7*w^2 + 4*w - 9]', '[5669, 5669, 5*w^5 - 2*w^4 - 28*w^3 + 12*w^2 + 36*w - 14]', '[5697, 633, -3*w^5 - w^4 + 18*w^3 - 25*w + 8]', '[5697, 633, -3*w^5 - 2*w^4 + 22*w^3 + 7*w^2 - 40*w + 6]', '[5697, 633, 3*w^5 - 8*w^3 + w^2 - 11*w + 2]', '[5697, 633, 4*w^5 + 5*w^4 - 24*w^3 - 17*w^2 + 33*w - 4]', '[5697, 633, 3*w^5 - 22*w^3 + 2*w^2 + 41*w - 5]', '[5697, 633, 5*w^5 + 4*w^4 - 24*w^3 - 13*w^2 + 24*w - 2]', '[5711, 5711, -4*w^5 - w^4 + 21*w^3 + 2*w^2 - 23*w + 1]', '[5711, 5711, w^5 - w^3 - w^2 - 8*w + 3]', '[5711, 5711, 5*w^5 - w^4 - 27*w^3 + 9*w^2 + 33*w - 14]', '[5711, 5711, 3*w^3 + 2*w^2 - 8*w - 4]', '[5711, 5711, -3*w^5 - w^4 + 14*w^3 + w^2 - 10*w + 4]', '[5711, 5711, 4*w^5 - 2*w^4 - 25*w^3 + 11*w^2 + 35*w - 13]', '[5839, 5839, -3*w^5 - 3*w^4 + 16*w^3 + 9*w^2 - 19*w + 1]', '[5839, 5839, -2*w^5 - w^4 + 10*w^3 - 10*w + 10]', '[5839, 5839, -2*w^5 - w^4 + 12*w^3 + 5*w^2 - 16*w - 2]', '[5839, 5839, -4*w^5 + 21*w^3 - 3*w^2 - 26*w + 9]', '[5839, 5839, 2*w^5 - 3*w^4 - 13*w^3 + 14*w^2 + 18*w - 10]', '[5839, 5839, w^5 - 3*w^4 - 9*w^3 + 14*w^2 + 17*w - 11]', '[5873, 5873, -4*w^5 - w^4 + 27*w^3 - 47*w + 12]', '[5873, 5873, -4*w^5 + 26*w^3 - 3*w^2 - 40*w + 13]', '[5873, 5873, -w^5 + 3*w^4 + 10*w^3 - 14*w^2 - 21*w + 13]', '[5873, 5873, 4*w^5 - 2*w^4 - 20*w^3 + 13*w^2 + 19*w - 15]', '[5873, 5873, 6*w^5 - 4*w^4 - 37*w^3 + 20*w^2 + 53*w - 15]', '[5873, 5873, -2*w^5 + 4*w^4 + 13*w^3 - 15*w^2 - 18*w + 4]', '[5879, 5879, -2*w^5 + w^4 + 10*w^3 - 6*w^2 - 9*w + 10]', '[5879, 5879, -4*w^5 + w^4 + 21*w^3 - 6*w^2 - 25*w + 7]', '[5879, 5879, -3*w^5 - 2*w^4 + 17*w^3 + 4*w^2 - 23*w + 7]', '[5879, 5879, -3*w^5 - w^4 + 17*w^3 + 2*w^2 - 21*w]', '[5879, 5879, -2*w^5 + w^4 + 13*w^3 - 7*w^2 - 19*w + 6]', '[5879, 5879, w^5 - 8*w^3 + 15*w - 5]', '[5881, 5881, 5*w^5 - w^4 - 28*w^3 + 7*w^2 + 34*w - 12]', '[5881, 5881, -3*w^5 + 19*w^3 - 4*w^2 - 30*w + 10]', '[5881, 5881, 3*w^5 + w^4 - 17*w^3 + w^2 + 21*w - 12]', '[5881, 5881, 4*w^5 - w^4 - 21*w^3 + 5*w^2 + 23*w - 6]', '[5881, 5881, -2*w^5 + 15*w^3 - 3*w^2 - 27*w + 7]', '[5881, 5881, -3*w^5 + 2*w^4 + 15*w^3 - 11*w^2 - 16*w + 9]', '[5887, 203, -3*w^5 + 2*w^4 + 21*w^3 - 10*w^2 - 36*w + 11]', '[5887, 203, 4*w^5 - 3*w^4 - 24*w^3 + 15*w^2 + 34*w - 12]', '[5887, 203, -3*w^5 + 3*w^4 + 17*w^3 - 15*w^2 - 22*w + 11]', '[5923, 5923, -5*w^5 - w^4 + 28*w^3 - w^2 - 35*w + 9]', '[5923, 5923, 4*w^5 - w^4 - 23*w^3 + 8*w^2 + 28*w - 10]', '[5923, 5923, 4*w^5 - 2*w^4 - 23*w^3 + 10*w^2 + 29*w - 10]', '[5923, 5923, 4*w^5 + 2*w^4 - 20*w^3 - 7*w^2 + 21*w + 2]', '[5923, 5923, 4*w^5 - 19*w^3 + 3*w^2 + 18*w - 9]', '[5923, 5923, -w^5 + 9*w^3 - 3*w^2 - 19*w + 8]', '[6007, 6007, 2*w^5 - 11*w^3 + w^2 + 14*w - 8]', '[6007, 6007, -w^5 + 3*w^4 + 8*w^3 - 13*w^2 - 16*w + 11]', '[6007, 6007, w^5 - 2*w^4 - 8*w^3 + 10*w^2 + 13*w - 7]', '[6007, 6007, 4*w^5 + w^4 - 21*w^3 - w^2 + 25*w - 8]', '[6007, 6007, -w^5 + 3*w^4 + 7*w^3 - 13*w^2 - 13*w + 7]', '[6007, 6007, -w^5 + 2*w^4 + 6*w^3 - 6*w^2 - 8*w - 2]', '[6047, 6047, -4*w^5 - 2*w^4 + 22*w^3 + 3*w^2 - 27*w + 10]', '[6047, 6047, 4*w^5 - 2*w^4 - 23*w^3 + 11*w^2 + 28*w - 13]', '[6047, 6047, -2*w^5 - w^4 + 13*w^3 + 4*w^2 - 18*w - 2]', '[6047, 6047, 4*w^5 - w^4 - 20*w^3 + 7*w^2 + 22*w - 8]', '[6047, 6047, 3*w^4 - w^3 - 13*w^2 + 3*w + 7]', '[6047, 6047, -5*w^5 + 26*w^3 - 2*w^2 - 29*w + 6]', '[6089, 6089, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 10*w + 6]', '[6089, 6089, 2*w^5 - 12*w^3 + w^2 + 18*w - 8]', '[6089, 6089, w^4 + w^3 - 6*w^2 - 3*w + 2]', '[6089, 6089, -w^5 + 5*w^3 - 7*w - 4]', '[6089, 6089, 2*w^4 - 8*w^2 + w + 8]', '[6089, 6089, w^5 + 2*w^4 - 4*w^3 - 7*w^2 + 3*w - 3]', '[6091, 6091, -2*w^5 + 11*w^3 - 2*w^2 - 14*w + 10]', '[6091, 6091, w^4 - 5*w^2 - 3*w + 6]', '[6091, 6091, -4*w^5 + 20*w^3 - 3*w^2 - 19*w + 5]', '[6091, 6091, -3*w^5 - w^4 + 18*w^3 + w^2 - 23*w + 8]', '[6091, 6091, 4*w^5 - 21*w^3 + 5*w^2 + 24*w - 10]', '[6091, 6091, -3*w^5 + w^4 + 16*w^3 - 4*w^2 - 17*w + 4]', '[6125, 35, 2*w^5 - 3*w^4 - 13*w^3 + 12*w^2 + 20*w - 7]', '[6125, 35, w^5 - 3*w^4 - 6*w^3 + 11*w^2 + 9*w - 4]', '[6131, 6131, -5*w^5 + 26*w^3 - 5*w^2 - 30*w + 12]', '[6131, 6131, w^5 - 9*w^3 - w^2 + 17*w + 1]', '[6131, 6131, 3*w^5 - 14*w^3 + 3*w^2 + 10*w - 6]', '[6131, 6131, -5*w^5 - w^4 + 29*w^3 - 39*w + 8]', '[6131, 6131, 4*w^5 + 2*w^4 - 23*w^3 - 4*w^2 + 29*w - 7]', '[6131, 6131, -4*w^5 + 2*w^4 + 25*w^3 - 12*w^2 - 35*w + 15]', '[6133, 6133, w^5 - w^4 - 7*w^3 + 6*w^2 + 12*w - 12]', '[6133, 6133, -5*w^5 + 26*w^3 - 4*w^2 - 28*w + 9]', '[6133, 6133, w^5 + w^4 - 5*w^3 - 2*w^2 + 6*w + 2]', '[6133, 6133, -w^5 - w^4 + 5*w^3 + 4*w^2 - 4*w + 3]', '[6133, 6133, w^5 - w^4 - 5*w^3 + 4*w^2 + 6*w - 7]', '[6133, 6133, w^5 - w^4 - 5*w^3 + 4*w^2 + 4*w + 3]', '[6167, 6167, -2*w^5 + w^4 + 15*w^3 - 7*w^2 - 29*w + 11]', '[6167, 6167, 3*w^5 - w^4 - 15*w^3 + 5*w^2 + 16*w]', '[6167, 6167, -w^5 - w^4 + 2*w^3 + 6*w^2 + 6*w - 12]', '[6167, 6167, -2*w^5 + 4*w^4 + 13*w^3 - 18*w^2 - 19*w + 13]', '[6167, 6167, -6*w^5 + 3*w^4 + 32*w^3 - 15*w^2 - 36*w + 9]', '[6167, 6167, 2*w^4 + 5*w^3 - 9*w^2 - 17*w + 9]', '[6173, 6173, 2*w^4 + 2*w^3 - 6*w^2 - 5*w - 3]', '[6173, 6173, -2*w^5 - w^4 + 9*w^3 + 4*w^2 - 5*w - 5]', '[6173, 6173, -w^5 + 2*w^4 + 4*w^3 - 7*w^2 - w + 4]', '[6173, 6173, 2*w^4 - 7*w^2 - 2*w - 1]', '[6173, 6173, -3*w^5 + 2*w^4 + 19*w^3 - 10*w^2 - 29*w + 13]', '[6173, 6173, 2*w^5 - w^4 - 12*w^3 + 8*w^2 + 18*w - 9]', '[6181, 6181, w^5 + w^4 - 9*w^3 - 4*w^2 + 21*w + 2]', '[6181, 6181, 5*w^5 - 3*w^4 - 33*w^3 + 15*w^2 + 52*w - 16]', '[6181, 6181, -2*w^5 + 14*w^3 - w^2 - 26*w + 1]', '[6181, 6181, -2*w^5 + w^4 + 16*w^3 - 5*w^2 - 32*w + 7]', '[6181, 6181, 4*w^5 - 4*w^4 - 22*w^3 + 19*w^2 + 25*w - 15]', '[6181, 6181, 5*w^5 - 3*w^4 - 30*w^3 + 17*w^2 + 43*w - 17]', '[6217, 6217, 4*w^5 + 2*w^4 - 21*w^3 - 4*w^2 + 26*w - 7]', '[6217, 6217, w^5 - 3*w^4 - 9*w^3 + 15*w^2 + 17*w - 13]', '[6217, 6217, 2*w^5 - 3*w^4 - 14*w^3 + 14*w^2 + 21*w - 11]', '[6217, 6217, 5*w^5 - 27*w^3 + 4*w^2 + 34*w - 11]', '[6217, 6217, -3*w^5 - 3*w^4 + 17*w^3 + 9*w^2 - 22*w + 2]', '[6217, 6217, -w^5 + 2*w^4 + 5*w^3 - 9*w^2 - 2*w + 6]', '[6223, 889, 3*w^2 - w - 4]', '[6223, 889, w^5 - 7*w^3 + 9*w + 3]', '[6223, 889, w^5 - 7*w^3 - w^2 + 14*w + 2]', '[6223, 889, -4*w^5 + 21*w^3 - 2*w^2 - 26*w + 7]', '[6223, 889, w^5 - 8*w^3 - 2*w^2 + 15*w + 3]', '[6223, 889, -4*w^5 + 21*w^3 - w^2 - 24*w + 1]', '[6257, 6257, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 13*w - 5]', '[6257, 6257, -3*w^5 - w^4 + 16*w^3 + w^2 - 20*w + 10]', '[6257, 6257, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 14*w + 5]', '[6257, 6257, w^5 - 7*w^3 - w^2 + 12*w - 3]', '[6257, 6257, -2*w^5 + 9*w^3 - 8*w - 4]', '[6257, 6257, -w^5 + w^4 + 5*w^3 - 5*w^2 - 3*w + 8]', '[6299, 6299, -w^5 + 2*w^4 + 10*w^3 - 10*w^2 - 21*w + 8]', '[6299, 6299, w^5 + w^4 - 3*w^3 - w^2 - 2*w - 2]', '[6299, 6299, 4*w^5 - w^4 - 20*w^3 + 6*w^2 + 21*w - 5]', '[6299, 6299, 4*w^5 + w^4 - 23*w^3 + w^2 + 31*w - 13]', '[6299, 6299, w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 10*w + 5]', '[6299, 6299, 3*w^5 - w^4 - 17*w^3 + 6*w^2 + 19*w - 9]', '[6301, 6301, -5*w^5 + w^4 + 27*w^3 - 8*w^2 - 31*w + 11]', '[6301, 6301, 2*w^5 - w^4 - 8*w^3 + 6*w^2 + 5*w - 7]', '[6301, 6301, 3*w^5 - 19*w^3 + 2*w^2 + 26*w - 7]', '[6301, 6301, w^5 + w^4 - w^3 - 3*w^2 - 8*w]', '[6301, 6301, -4*w^5 - w^4 + 21*w^3 - w^2 - 23*w + 9]', '[6301, 6301, 3*w^5 - 20*w^3 + 4*w^2 + 31*w - 12]', '[6343, 6343, w^3 + 2*w^2 - w - 6]', '[6343, 6343, 3*w^3 - 2*w^2 - 11*w + 4]', '[6343, 6343, -3*w^5 + 2*w^4 + 17*w^3 - 11*w^2 - 23*w + 10]', '[6343, 6343, w^5 + 2*w^4 - 6*w^3 - 5*w^2 + 8*w - 5]', '[6343, 6343, -3*w^5 + 2*w^4 + 18*w^3 - 9*w^2 - 24*w + 9]', '[6343, 6343, -w^5 - 2*w^4 + 3*w^3 + 7*w^2 + 3*w - 4]', '[6427, 6427, -4*w^5 + 20*w^3 - w^2 - 20*w + 1]', '[6427, 6427, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 11*w - 2]', '[6427, 6427, w^5 - 2*w^4 - 9*w^3 + 10*w^2 + 20*w - 12]', '[6427, 6427, 4*w^5 - 24*w^3 + 4*w^2 + 35*w - 13]', '[6427, 6427, -3*w^5 + 3*w^4 + 17*w^3 - 13*w^2 - 22*w + 11]', '[6427, 6427, 3*w^4 + 2*w^3 - 10*w^2 - 7*w]', '[6469, 6469, -3*w^4 + 12*w^2 + 2*w - 5]', '[6469, 6469, -4*w^5 - w^4 + 22*w^3 + w^2 - 28*w + 10]', '[6469, 6469, 2*w^4 + 3*w^3 - 9*w^2 - 8*w + 3]', '[6469, 6469, w^5 - w^4 - 6*w^3 + 6*w^2 + 6*w - 10]', '[6469, 6469, -w^5 - 3*w^4 + 2*w^3 + 11*w^2 + 3*w - 2]', '[6469, 6469, -2*w^5 - 2*w^4 + 12*w^3 + 7*w^2 - 17*w - 4]', '[6551, 6551, -2*w^5 + 13*w^3 - w^2 - 21*w + 7]', '[6551, 6551, -w^5 - w^4 + 8*w^3 + 2*w^2 - 16*w + 1]', '[6551, 6551, 2*w^5 - 2*w^4 - 11*w^3 + 11*w^2 + 14*w - 8]', '[6551, 6551, w^5 - w^4 - 7*w^3 + 7*w^2 + 11*w - 6]', '[6551, 6551, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 4*w - 9]', '[6551, 6551, -4*w^5 + w^4 + 23*w^3 - 6*w^2 - 30*w + 11]', '[6553, 6553, -w^5 + 2*w^4 + 9*w^3 - 11*w^2 - 19*w + 10]', '[6553, 6553, -2*w^5 + 2*w^4 + 11*w^3 - 8*w^2 - 11*w + 6]', '[6553, 6553, -3*w^5 + 2*w^4 + 16*w^3 - 9*w^2 - 20*w + 5]', '[6553, 6553, -w^5 + 2*w^4 + 8*w^3 - 7*w^2 - 16*w + 5]', '[6553, 6553, w^5 + 2*w^4 - 5*w^3 - 9*w^2 + 3*w + 8]', '[6553, 6553, 2*w^5 + 2*w^4 - 11*w^3 - 4*w^2 + 15*w - 8]', '[6637, 6637, -4*w^5 + 22*w^3 - 2*w^2 - 29*w + 7]', '[6637, 6637, 3*w^4 + 2*w^3 - 12*w^2 - 4*w + 5]', '[6637, 6637, 2*w^5 + w^4 - 11*w^3 + 13*w - 10]', '[6637, 6637, -2*w^5 + 14*w^3 - 3*w^2 - 24*w + 6]', '[6637, 6637, -2*w^5 - 2*w^4 + 8*w^3 + 9*w^2 - 4*w - 7]', '[6637, 6637, 2*w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 11*w - 6]', '[6679, 6679, 2*w^5 - 12*w^3 + 4*w^2 + 19*w - 8]', '[6679, 6679, -2*w^5 + 2*w^4 + 10*w^3 - 7*w^2 - 10*w + 4]', '[6679, 6679, 3*w^4 + w^3 - 12*w^2 - 5*w + 4]', '[6679, 6679, -2*w^5 + 3*w^4 + 14*w^3 - 14*w^2 - 24*w + 14]', '[6679, 6679, -w^5 + 4*w^3 + w^2 + w - 5]', '[6679, 6679, w^5 - 2*w^4 - 7*w^3 + 6*w^2 + 11*w + 2]', '[6719, 6719, 3*w^5 - w^4 - 17*w^3 + 6*w^2 + 19*w - 5]', '[6719, 6719, w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 10*w + 1]', '[6719, 6719, -4*w^5 + w^4 + 20*w^3 - 6*w^2 - 21*w + 9]', '[6719, 6719, w^5 + w^4 - 3*w^3 - w^2 - 2*w - 6]', '[6719, 6719, w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 21*w - 12]', '[6719, 6719, 4*w^5 + w^4 - 23*w^3 + w^2 + 31*w - 9]', '[6761, 6761, -5*w^5 + 2*w^4 + 28*w^3 - 11*w^2 - 36*w + 12]', '[6761, 6761, 2*w^5 + w^4 - 9*w^3 + 7*w - 7]', '[6761, 6761, 2*w^5 + 2*w^4 - 13*w^3 - 4*w^2 + 21*w - 7]', '[6761, 6761, 4*w^5 - 24*w^3 + 5*w^2 + 34*w - 13]', '[6761, 6761, -2*w^5 + 2*w^4 + 13*w^3 - 8*w^2 - 17*w + 5]', '[6761, 6761, -2*w^5 - 2*w^4 + 10*w^3 + 6*w^2 - 10*w - 3]', '[6763, 6763, -3*w^5 + 2*w^4 + 16*w^3 - 9*w^2 - 18*w + 8]', '[6763, 6763, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 7*w - 5]', '[6763, 6763, -2*w^5 + 11*w^3 - 11*w - 1]', '[6763, 6763, -2*w^5 + 13*w^3 - 4*w^2 - 21*w + 9]', '[6763, 6763, -w^5 + 2*w^4 + 9*w^3 - 9*w^2 - 19*w + 9]', '[6763, 6763, w^5 + 2*w^4 - 4*w^3 - 5*w^2 + 2*w - 4]', '[6769, 6769, 8*w^5 - w^4 - 46*w^3 + 9*w^2 + 60*w - 14]', '[6769, 6769, -2*w^5 + 3*w^4 + 15*w^3 - 13*w^2 - 27*w + 10]', '[6769, 6769, 2*w^5 - 3*w^4 - 14*w^3 + 13*w^2 + 21*w - 8]', '[6769, 6769, -w^5 + 7*w^3 - 14*w - 1]', '[6769, 6769, -3*w^5 + 5*w^4 + 19*w^3 - 22*w^2 - 26*w + 14]', '[6769, 6769, -3*w^5 + 3*w^4 + 16*w^3 - 16*w^2 - 19*w + 14]', '[6777, 753, -3*w^5 - w^4 + 20*w^3 + 2*w^2 - 35*w + 3]', '[6777, 753, 4*w^5 + w^4 - 25*w^3 + 40*w - 7]', '[6777, 753, 4*w^5 - 16*w^3 + 3*w + 1]', '[6777, 753, 3*w^5 + 2*w^4 - 11*w^3 - 8*w^2 + 1]', '[6777, 753, 4*w^4 + 4*w^3 - 14*w^2 - 10*w + 3]', '[6777, 753, 2*w^5 + 5*w^4 - 9*w^3 - 19*w^2 + 7*w - 1]', '[6803, 6803, -2*w^5 + 13*w^3 - 2*w^2 - 23*w + 5]', '[6803, 6803, 3*w^5 - 16*w^3 - w^2 + 18*w]', '[6803, 6803, 2*w^5 - 11*w^3 + 2*w^2 + 17*w - 7]', '[6803, 6803, w^5 - 4*w^3 - 3*w^2 + 2*w + 8]', '[6803, 6803, w^5 - 4*w^4 - 7*w^3 + 17*w^2 + 11*w - 9]', '[6803, 6803, -w^5 - 4*w^4 + 3*w^3 + 15*w^2 + w - 7]', '[6847, 6847, 3*w^5 - 14*w^3 + 16*w - 6]', '[6847, 6847, -3*w^5 + w^4 + 21*w^3 - 6*w^2 - 37*w + 11]', '[6847, 6847, w^5 - w^2 - 14*w + 3]', '[6847, 6847, 3*w^5 - 2*w^4 - 18*w^3 + 9*w^2 + 24*w - 10]', '[6847, 6847, 5*w^5 - 4*w^4 - 29*w^3 + 20*w^2 + 40*w - 20]', '[6847, 6847, -6*w^5 + 2*w^4 + 32*w^3 - 19*w^2 - 39*w + 34]', '[6847, 6847, -w^5 + 6*w^4 + 13*w^3 - 24*w^2 - 28*w + 18]', '[6847, 6847, w^4 + 4*w^3 - 3*w^2 - 16*w + 3]', '[6847, 6847, -2*w^5 - 3*w^4 + 11*w^3 + 10*w^2 - 9*w - 3]', '[6847, 6847, 2*w^5 - w^4 - 10*w^3 + 7*w^2 + 13*w - 7]', '[6847, 6847, -3*w^5 + w^4 + 18*w^3 - 4*w^2 - 23*w + 1]', '[6847, 6847, -2*w^5 + 4*w^4 + 6*w^3 - 17*w^2 + 9*w + 2]', '[6847, 6847, 4*w^5 - 3*w^4 - 24*w^3 + 12*w^2 + 31*w - 6]', '[6847, 6847, -3*w^5 + w^4 + 10*w^3 - 4*w - 2]', '[6847, 6847, w^5 + 2*w^4 - 9*w^3 - 3*w^2 + 17*w - 10]', '[6847, 6847, -2*w^5 + w^4 + 14*w^3 - 10*w^2 - 23*w + 15]', '[6847, 6847, 9*w^5 - 2*w^4 - 52*w^3 + 17*w^2 + 71*w - 27]', '[6847, 6847, w^4 + 2*w^3 - 5*w^2 - 3*w + 6]', '[6847, 6847, -w^5 + 4*w^4 + 5*w^3 - 17*w^2 - 2*w + 4]', '[6847, 6847, 4*w^5 + 4*w^4 - 21*w^3 - 11*w^2 + 24*w - 6]', '[6847, 6847, -w^4 - 5*w^3 + 8*w^2 + 16*w - 11]', '[6847, 6847, -7*w^5 + 3*w^4 + 41*w^3 - 15*w^2 - 56*w + 10]', '[6847, 6847, -2*w^5 + 4*w^4 + 8*w^3 - 15*w^2 - 4*w + 3]', '[6847, 6847, -5*w^5 - 3*w^4 + 23*w^3 + 12*w^2 - 16*w - 1]', '[6847, 6847, w^5 - 3*w^4 - 5*w^3 + 10*w^2 + 10*w - 7]', '[6847, 6847, -3*w^4 + w^3 + 13*w^2 - 4*w - 9]', '[6847, 6847, w^5 - w^4 - 5*w^3 + 8*w^2 + 6*w - 10]', '[6847, 6847, 3*w^5 + w^4 - 19*w^3 - w^2 + 31*w - 9]', '[6847, 6847, -w^3 + 4*w^2 + 2*w - 7]', '[6847, 6847, -3*w^5 + 4*w^4 + 18*w^3 - 22*w^2 - 27*w + 28]', '[6847, 6847, -4*w^5 - 4*w^4 + 19*w^3 + 12*w^2 - 15*w]', '[6847, 6847, -4*w^5 + 3*w^4 + 23*w^3 - 15*w^2 - 30*w + 16]', '[6847, 6847, w^5 - 5*w^4 - 3*w^3 + 18*w^2 - 4*w + 1]', '[6847, 6847, -w^5 + w^4 + 5*w^3 - 8*w^2 - 9*w + 10]', '[6847, 6847, 6*w^5 - 33*w^3 + 6*w^2 + 40*w - 16]', '[6847, 6847, 3*w^4 + 3*w^3 - 9*w^2 - 5*w + 5]', '[6889, 83, -3*w^5 + 3*w^4 + 17*w^3 - 14*w^2 - 22*w + 9]', '[6889, 83, w^5 + 3*w^4 - 3*w^3 - 10*w^2 - 2*w + 4]', '[6889, 83, w^5 - 4*w^3 + w^2 + 2*w - 7]', '[6889, 83, 5*w^5 - 28*w^3 + 5*w^2 + 34*w - 13]', '[6889, 83, 2*w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 2*w + 6]', '[6889, 83, w^5 - 9*w^3 + 3*w^2 + 20*w - 9]', '[6889, 83, -w^5 - 3*w^4 + 2*w^3 + 11*w^2 + 6*w - 4]', '[6889, 83, 3*w^5 - 3*w^4 - 17*w^3 + 15*w^2 + 23*w - 14]', '[6889, 83, -w^5 + 7*w^3 - w^2 - 11*w + 8]', '[6889, 83, 2*w^5 - w^4 - 12*w^3 + 7*w^2 + 14*w - 11]', '[6889, 83, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 12*w + 7]', '[6889, 83, -2*w^4 - 4*w^3 + 9*w^2 + 11*w - 5]', '[6889, 83, -4*w^5 + 2*w^4 + 23*w^3 - 9*w^2 - 29*w + 7]', '[6889, 83, -4*w^5 - 2*w^4 + 23*w^3 + 5*w^2 - 31*w + 3]', '[6889, 83, -w^5 - 2*w^4 + 7*w^3 + 9*w^2 - 12*w - 3]', '[6889, 6889, w^5 + w^4 - 8*w^3 - w^2 + 17*w - 6]', '[6889, 6889, w^5 + 3*w^4 - 2*w^3 - 12*w^2 - 6*w + 7]', '[6889, 6889, -4*w^5 + 2*w^4 + 23*w^3 - 9*w^2 - 30*w + 8]', '[6889, 6889, -w^5 + w^4 + 4*w^3 - 7*w^2 - 2*w + 6]', '[6889, 6889, 2*w^5 - 11*w^3 + 3*w^2 + 11*w - 9]', '[6889, 6889, -w^5 + 2*w^4 + 9*w^3 - 9*w^2 - 16*w + 5]', '[6929, 533, 3*w^5 + 2*w^4 - 18*w^3 - 4*w^2 + 24*w - 6]', '[6929, 533, w^5 - w^4 - 3*w^3 + 3*w^2 - 2*w - 2]', '[6929, 533, w^5 + w^4 - 3*w^3 - 4*w^2 + w - 2]', '[6929, 533, -2*w^5 - w^4 + 9*w^3 + 3*w^2 - 5*w - 3]', '[6929, 533, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 4*w - 4]', '[6929, 533, -w^5 + w^3 + w^2 + 8*w - 4]', '[6929, 533, -2*w^5 - w^4 + 13*w^3 + 3*w^2 - 21*w - 2]', '[6929, 533, 4*w^5 - 2*w^4 - 25*w^3 + 11*w^2 + 35*w - 12]', '[6929, 533, w^4 + 2*w^3 - 2*w^2 - 5*w - 5]', '[6929, 533, -5*w^5 + w^4 + 27*w^3 - 9*w^2 - 33*w + 15]', '[6929, 533, -3*w^5 + 2*w^4 + 19*w^3 - 10*w^2 - 28*w + 13]', '[6929, 533, -w^5 + w^4 + 7*w^3 - 7*w^2 - 10*w + 13]', '[6929, 533, -3*w^3 - 2*w^2 + 8*w + 3]', '[6929, 533, -3*w^5 + w^4 + 17*w^3 - 8*w^2 - 23*w + 9]', '[6929, 533, 3*w^5 + 2*w^4 - 14*w^3 - 6*w^2 + 13*w + 3]', '[6929, 533, w^5 + 2*w^4 - 6*w^3 - 6*w^2 + 7*w - 4]', '[6929, 533, 4*w^5 + w^4 - 22*w^3 - 2*w^2 + 27*w - 8]', '[6929, 533, 3*w^5 + w^4 - 14*w^3 - w^2 + 10*w - 5]', '[6971, 6971, 5*w^5 + w^4 - 28*w^3 + w^2 + 36*w - 12]', '[6971, 6971, w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 20*w - 9]', '[6971, 6971, -5*w^5 + w^4 + 27*w^3 - 8*w^2 - 33*w + 14]', '[6971, 6971, -5*w^5 + 2*w^4 + 28*w^3 - 12*w^2 - 36*w + 15]', '[6971, 6971, 3*w^5 - w^4 - 17*w^3 + 7*w^2 + 19*w - 10]', '[6971, 6971, 2*w^5 + 2*w^4 - 9*w^3 - 5*w^2 + 5*w - 3]', '[7013, 7013, w^5 - w^4 - 3*w^3 + 6*w^2 - 6]', '[7013, 7013, -w^5 - w^4 + w^3 + 4*w^2 + 8*w - 3]', '[7013, 7013, -3*w^5 + w^4 + 19*w^3 - 6*w^2 - 26*w + 8]', '[7013, 7013, -3*w^5 - w^4 + 15*w^3 - 14*w + 7]', '[7013, 7013, -3*w^5 - w^4 + 19*w^3 - 28*w + 9]', '[7013, 7013, -5*w^5 + w^4 + 27*w^3 - 8*w^2 - 32*w + 12]', '[7057, 7057, -w^5 - w^4 + 4*w^3 + 3*w^2 - w + 5]', '[7057, 7057, w^5 + w^4 - 6*w^3 - 2*w^2 + 8*w + 2]', '[7057, 7057, 4*w^5 - w^4 - 23*w^3 + 8*w^2 + 29*w - 10]', '[7057, 7057, -3*w^5 + w^4 + 19*w^3 - 8*w^2 - 30*w + 11]', '[7057, 7057, -2*w^5 + w^4 + 12*w^3 - 5*w^2 - 16*w]', '[7057, 7057, -w^5 - w^4 + 5*w^3 - 6*w + 9]', '[7063, 7063, 3*w^5 - 5*w^4 - 17*w^3 + 22*w^2 + 19*w - 12]', '[7063, 7063, -2*w^5 + 3*w^4 + 14*w^3 - 13*w^2 - 22*w + 7]', '[7063, 7063, 5*w^5 - w^4 - 30*w^3 + 9*w^2 + 43*w - 18]', '[7063, 7063, -5*w^5 + w^4 + 28*w^3 - 8*w^2 - 35*w + 9]', '[7063, 7063, w^5 - 2*w^4 - 8*w^3 + 6*w^2 + 15*w + 4]', '[7063, 7063, 6*w^5 - 2*w^4 - 33*w^3 + 12*w^2 + 39*w - 12]', '[7181, 7181, 5*w^5 + 2*w^4 - 24*w^3 - 2*w^2 + 23*w - 9]', '[7181, 7181, 3*w^5 - w^4 - 16*w^3 + 12*w^2 + 21*w - 22]', '[7181, 7181, 4*w^5 - w^4 - 20*w^3 + 7*w^2 + 22*w - 11]', '[7181, 7181, -4*w^5 + 2*w^4 + 20*w^3 - 10*w^2 - 21*w + 11]', '[7181, 7181, w^5 + 2*w^4 - 9*w^3 - 7*w^2 + 21*w - 6]', '[7181, 7181, -3*w^4 + 3*w^3 + 11*w^2 - 8*w - 5]', '[7181, 7181, 3*w^5 - 2*w^4 - 14*w^3 + 9*w^2 + 8*w + 1]', '[7181, 7181, -4*w^5 + w^4 + 25*w^3 - 11*w^2 - 33*w + 18]', '[7181, 7181, 5*w^5 - w^4 - 31*w^3 + 11*w^2 + 44*w - 21]', '[7181, 7181, 2*w^5 + 2*w^4 - 15*w^3 - 4*w^2 + 27*w - 9]', '[7181, 7181, -7*w^5 - 3*w^4 + 33*w^3 + 7*w^2 - 30*w + 7]', '[7181, 7181, -4*w^5 + 2*w^4 + 23*w^3 - 11*w^2 - 28*w + 10]', '[7181, 7181, -3*w^5 + w^4 + 17*w^3 - 9*w^2 - 25*w + 13]', '[7181, 7181, -w^5 - 2*w^4 + 7*w^3 + 8*w^2 - 9*w - 1]', '[7181, 7181, -3*w^5 - 2*w^4 + 16*w^3 + 3*w^2 - 16*w + 6]', '[7181, 7181, w^5 + w^4 - 3*w^3 - w^2 - 7]', '[7181, 7181, -4*w^5 - w^4 + 22*w^3 + w^2 - 23*w + 8]', '[7181, 7181, -3*w^3 + 4*w^2 + 7*w - 4]', '[7181, 7181, 6*w^5 + 3*w^4 - 31*w^3 - 6*w^2 + 34*w - 10]', '[7181, 7181, -2*w^5 + 4*w^4 + 16*w^3 - 20*w^2 - 29*w + 20]', '[7181, 7181, -5*w^3 - w^2 + 18*w - 1]', '[7181, 7181, 6*w^5 - 3*w^4 - 36*w^3 + 20*w^2 + 52*w - 25]', '[7181, 7181, -3*w^5 + 2*w^4 + 13*w^3 - 7*w^2 - 11*w + 8]', '[7181, 7181, 3*w^5 - 14*w^3 + 2*w^2 + 14*w - 9]', '[7181, 7181, 2*w^5 - w^4 - 16*w^3 + 9*w^2 + 28*w - 14]', '[7181, 7181, -3*w^5 + 2*w^4 + 17*w^3 - 11*w^2 - 20*w + 7]', '[7181, 7181, 5*w^5 - w^4 - 24*w^3 + 6*w^2 + 21*w - 4]', '[7181, 7181, -3*w^5 - 3*w^4 + 11*w^3 + 10*w^2 - 5*w - 3]', '[7181, 7181, 3*w^5 + 2*w^4 - 22*w^3 - 6*w^2 + 39*w - 5]', '[7181, 7181, 3*w^5 - 4*w^4 - 22*w^3 + 18*w^2 + 35*w - 17]', '[7181, 7181, 4*w^5 - w^4 - 22*w^3 + 6*w^2 + 24*w - 5]', '[7181, 7181, -w^5 - 3*w^4 + 6*w^3 + 9*w^2 - 6*w - 4]', '[7181, 7181, -6*w^5 - w^4 + 36*w^3 - 51*w + 9]', '[7181, 7181, 3*w^5 - 2*w^4 - 17*w^3 + 14*w^2 + 20*w - 19]', '[7181, 7181, w^5 - 2*w^4 - 2*w^3 + 6*w^2 - 6*w + 7]', '[7181, 7181, -2*w^5 + w^4 + 17*w^3 - 5*w^2 - 33*w + 6]', '[7267, 559, -w^5 - w^4 + 6*w^3 + 6*w^2 - 8*w - 5]', '[7267, 559, w^5 - 3*w^4 - 9*w^3 + 13*w^2 + 19*w - 10]', '[7267, 559, -3*w^5 - w^4 + 15*w^3 + 4*w^2 - 16*w - 3]', '[7267, 559, 2*w^5 + w^4 - 8*w^3 - 5*w^2 + 4*w + 5]', '[7267, 559, w^5 + w^4 - 5*w^3 - 6*w^2 + 6*w + 4]', '[7267, 559, -w^5 + 3*w^4 + 6*w^3 - 13*w^2 - 10*w + 8]', '[7267, 559, w^3 + w^2 - 6*w - 2]', '[7267, 559, 3*w^5 + w^4 - 17*w^3 - 2*w^2 + 24*w - 6]', '[7267, 559, 3*w^5 - 2*w^4 - 16*w^3 + 8*w^2 + 18*w - 5]', '[7267, 559, w^5 + 3*w^4 - 3*w^3 - 12*w^2 + 4]', '[7267, 559, w^5 - 5*w^3 - w^2 + 2*w + 3]', '[7267, 559, 2*w^5 + 3*w^4 - 11*w^3 - 10*w^2 + 14*w + 1]', '[7267, 559, -w^5 - w^4 + 5*w^3 + 4*w^2 - 8*w - 3]', '[7267, 559, 4*w^5 - 22*w^3 + 3*w^2 + 29*w - 9]', '[7267, 559, 2*w^4 + w^3 - 5*w^2 - 3*w - 3]', '[7267, 559, 2*w^5 - 13*w^3 + 4*w^2 + 22*w - 10]', '[7267, 559, w^5 - 3*w^4 - 8*w^3 + 13*w^2 + 13*w - 8]', '[7267, 559, -w^5 - 3*w^4 + 5*w^3 + 12*w^2 - 6*w - 7]', '[7307, 7307, 3*w^5 - 15*w^3 - w^2 + 15*w + 2]', '[7307, 7307, 4*w^4 + w^3 - 16*w^2 - 3*w + 8]', '[7307, 7307, 4*w^4 + 3*w^3 - 16*w^2 - 9*w + 8]', '[7307, 7307, -3*w^5 + 18*w^3 - 3*w^2 - 28*w + 9]', '[7307, 7307, -w^5 + 6*w^3 - w^2 - 12*w + 3]', '[7307, 7307, -w^5 + w^4 + 3*w^3 - 4*w^2 + 3*w + 3]', '[7309, 7309, w^4 - w^3 - 6*w^2 + w + 8]', '[7309, 7309, -w^4 - 4*w^3 + 6*w^2 + 14*w - 6]', '[7309, 7309, -3*w^5 - 2*w^4 + 14*w^3 + 8*w^2 - 12*w - 5]', '[7309, 7309, -3*w^5 + 2*w^4 + 18*w^3 - 9*w^2 - 23*w + 9]', '[7309, 7309, w^5 + 2*w^4 - 3*w^3 - 6*w^2 - 3*w + 2]', '[7309, 7309, 4*w^5 - 2*w^4 - 22*w^3 + 11*w^2 + 28*w - 10]', '[7343, 7343, w^5 - 9*w^3 - 2*w^2 + 17*w + 4]', '[7343, 7343, 2*w^5 - w^4 - 9*w^3 + 7*w^2 + 5*w - 8]', '[7343, 7343, 4*w^4 + w^3 - 15*w^2 - 2*w + 3]', '[7343, 7343, -5*w^5 + w^4 + 32*w^3 - 10*w^2 - 51*w + 20]', '[7343, 7343, 7*w^5 - 2*w^4 - 44*w^3 + 12*w^2 + 65*w - 17]', '[7343, 7343, -4*w^5 + 4*w^4 + 22*w^3 - 18*w^2 - 25*w + 7]', '[7349, 7349, 3*w^5 - w^4 - 19*w^3 + 6*w^2 + 28*w - 11]', '[7349, 7349, w^5 + w^4 - 3*w^3 - 2*w^2 - 5]', '[7349, 7349, 3*w^5 + w^4 - 15*w^3 - 2*w^2 + 14*w]', '[7349, 7349, -w^5 + w^4 + 3*w^3 - 4*w^2 + 2*w + 4]', '[7349, 7349, -w^5 - w^4 + 7*w^3 + 2*w^2 - 10*w + 6]', '[7349, 7349, 3*w^5 - w^4 - 17*w^3 + 8*w^2 + 22*w - 9]', '[7351, 7351, -w^4 + w^3 + 5*w^2 - 5]', '[7351, 7351, -w^5 - 3*w^4 + 2*w^3 + 10*w^2 + 5*w - 3]', '[7351, 7351, 4*w^5 - w^4 - 22*w^3 + 5*w^2 + 25*w - 6]', '[7351, 7351, 2*w^5 + w^4 - 12*w^3 + w^2 + 17*w - 11]', '[7351, 7351, -3*w^5 + 3*w^4 + 16*w^3 - 14*w^2 - 19*w + 10]', '[7351, 7351, -2*w^5 + w^4 + 15*w^3 - 7*w^2 - 28*w + 10]', '[7357, 7357, -4*w^5 + 23*w^3 - 4*w^2 - 32*w + 12]', '[7357, 7357, -6*w^5 - w^4 + 35*w^3 - 49*w + 9]', '[7357, 7357, w^5 - 3*w^4 - 9*w^3 + 13*w^2 + 17*w - 8]', '[7357, 7357, 5*w^5 - 27*w^3 + 4*w^2 + 32*w - 8]', '[7357, 7357, 4*w^5 - w^4 - 23*w^3 + 4*w^2 + 28*w - 1]', '[7357, 7357, -2*w^5 + w^4 + 15*w^3 - 7*w^2 - 26*w + 14]', '[7393, 7393, w^5 + 2*w^4 - 6*w^3 - 10*w^2 + 8*w + 7]', '[7393, 7393, 5*w^5 - 27*w^3 + 3*w^2 + 34*w - 9]', '[7393, 7393, w^3 + 2*w^2 - 6*w - 4]', '[7393, 7393, 2*w^5 + 2*w^4 - 7*w^3 - 9*w^2 + w + 7]', '[7393, 7393, -w^5 + 3*w^4 + 8*w^3 - 13*w^2 - 12*w + 8]', '[7393, 7393, 3*w^5 + 3*w^4 - 17*w^3 - 9*w^2 + 23*w - 2]', '[7433, 7433, -2*w^4 + w^3 + 9*w^2 - w - 6]', '[7433, 7433, -w^5 - 2*w^4 + 3*w^3 + 5*w^2 + 2*w + 2]', '[7433, 7433, -3*w^5 + w^4 + 17*w^3 - 5*w^2 - 19*w + 5]', '[7433, 7433, -3*w^5 - w^4 + 18*w^3 - w^2 - 26*w + 11]', '[7433, 7433, 4*w^5 - 2*w^4 - 21*w^3 + 10*w^2 + 24*w - 9]', '[7433, 7433, w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 22*w - 10]', '[7477, 7477, 3*w^5 - 3*w^4 - 18*w^3 + 14*w^2 + 26*w - 10]', '[7477, 7477, -w^5 + w^4 + 6*w^3 - 7*w^2 - 11*w + 11]', '[7477, 7477, -w^5 + 3*w^4 + 8*w^3 - 12*w^2 - 13*w + 4]', '[7477, 7477, 2*w^5 - 2*w^4 - 12*w^3 + 7*w^2 + 15*w - 4]', '[7477, 7477, 4*w^5 - w^4 - 23*w^3 + 7*w^2 + 32*w - 13]', '[7477, 7477, 3*w^4 + 2*w^3 - 11*w^2 - 8*w + 6]', '[7517, 7517, w^4 - 2*w^3 - 5*w^2 + 4*w + 3]', '[7517, 7517, 4*w^5 - 2*w^4 - 21*w^3 + 11*w^2 + 24*w - 12]', '[7517, 7517, 2*w^5 + 2*w^4 - 8*w^3 - 5*w^2 + 3*w - 3]', '[7517, 7517, -4*w^5 + w^4 + 23*w^3 - 6*w^2 - 28*w + 7]', '[7517, 7517, -3*w^5 - w^4 + 18*w^3 - w^2 - 25*w + 10]', '[7517, 7517, -w^5 + w^4 + 10*w^3 - 6*w^2 - 22*w + 9]', '[7559, 7559, 4*w^5 - 19*w^3 + 3*w^2 + 18*w - 6]', '[7559, 7559, 2*w^5 - 2*w^4 - 13*w^3 + 12*w^2 + 20*w - 12]', '[7559, 7559, 3*w^5 + 2*w^4 - 15*w^3 - 7*w^2 + 14*w + 3]', '[7559, 7559, 2*w^5 + 2*w^4 - 9*w^3 - 5*w^2 + 9*w - 5]', '[7559, 7559, 3*w^5 + w^4 - 19*w^3 + 28*w - 8]', '[7559, 7559, 5*w^5 - w^4 - 27*w^3 + 8*w^2 + 32*w - 13]', '[7561, 7561, 2*w^5 - 2*w^4 - 11*w^3 + 9*w^2 + 15*w - 4]', '[7561, 7561, w^5 + w^4 - 5*w^3 - 5*w^2 + 3*w + 7]', '[7561, 7561, 2*w^5 - 2*w^4 - 11*w^3 + 8*w^2 + 12*w - 7]', '[7561, 7561, w^5 + 2*w^4 - 5*w^3 - 5*w^2 + 6*w - 6]', '[7561, 7561, -w^5 + w^4 + 8*w^3 - 7*w^2 - 16*w + 7]', '[7561, 7561, -w^5 + 2*w^4 + 8*w^3 - 8*w^2 - 16*w + 8]', '[7603, 7603, 4*w^5 - 2*w^4 - 22*w^3 + 9*w^2 + 27*w - 8]', '[7603, 7603, -3*w^4 - 4*w^3 + 13*w^2 + 14*w - 10]', '[7603, 7603, -2*w^5 - w^4 + 13*w^3 - 22*w + 8]', '[7603, 7603, 2*w^4 + w^3 - 5*w^2 - 4*w - 3]', '[7603, 7603, w^4 + 3*w^3 - 6*w^2 - 11*w + 5]', '[7603, 7603, -w^5 + 3*w^4 + 6*w^3 - 14*w^2 - 10*w + 10]', '[7637, 7637, -3*w^5 - 2*w^4 + 20*w^3 + 8*w^2 - 34*w - 2]', '[7637, 7637, 5*w^5 - 3*w^4 - 27*w^3 + 12*w^2 + 29*w - 2]', '[7637, 7637, 5*w^5 - 3*w^4 - 26*w^3 + 16*w^2 + 28*w - 13]', '[7637, 7637, 3*w^5 - 2*w^4 - 23*w^3 + 11*w^2 + 43*w - 14]', '[7637, 7637, w^5 - w^4 - 4*w^3 + w^2 + w + 12]', '[7637, 7637, 3*w^5 - w^4 - 22*w^3 + 8*w^2 + 39*w - 15]', '[7643, 7643, -3*w^5 + 15*w^3 - 4*w^2 - 14*w + 10]', '[7643, 7643, 3*w^5 - w^4 - 19*w^3 + 7*w^2 + 26*w - 9]', '[7643, 7643, -5*w^5 + 26*w^3 - 4*w^2 - 29*w + 11]', '[7643, 7643, 2*w^5 + 2*w^4 - 8*w^3 - 8*w^2 + 3*w + 7]', '[7643, 7643, 4*w^5 + w^4 - 24*w^3 + 33*w - 8]', '[7643, 7643, w^5 + w^4 - w^3 - 4*w^2 - 7*w + 4]', '[7651, 7651, -7*w^5 + 3*w^4 + 41*w^3 - 16*w^2 - 56*w + 12]', '[7651, 7651, -w^5 + 12*w^3 - 2*w^2 - 31*w + 10]', '[7651, 7651, 3*w^5 - 2*w^4 - 17*w^3 + 8*w^2 + 19*w - 1]', '[7651, 7651, w^5 - 3*w^4 - 10*w^3 + 13*w^2 + 21*w - 12]', '[7651, 7651, 3*w^5 - 3*w^4 - 15*w^3 + 14*w^2 + 15*w - 8]', '[7651, 7651, 5*w^5 - 4*w^4 - 31*w^3 + 18*w^2 + 43*w - 11]', '[7687, 7687, 2*w^5 + w^4 - 14*w^3 - 2*w^2 + 22*w - 5]', '[7687, 7687, 3*w^5 - 13*w^3 + 2*w^2 + 9*w - 5]', '[7687, 7687, -5*w^5 + 28*w^3 - 5*w^2 - 35*w + 12]', '[7687, 7687, -4*w^5 + 22*w^3 - 4*w^2 - 25*w + 9]', '[7687, 7687, 2*w^5 - w^4 - 15*w^3 + 6*w^2 + 25*w - 9]', '[7687, 7687, -2*w^5 + 8*w^3 - 3*w^2 - 4*w + 7]', '[7727, 7727, w^4 - 4*w^3 - 4*w^2 + 10*w + 4]', '[7727, 7727, -5*w^5 - 4*w^4 + 24*w^3 + 12*w^2 - 25*w + 1]', '[7727, 7727, 4*w^5 - w^4 - 24*w^3 + 8*w^2 + 35*w - 18]', '[7727, 7727, -7*w^5 - 2*w^4 + 39*w^3 + 2*w^2 - 47*w + 12]', '[7727, 7727, -6*w^5 + 2*w^4 + 37*w^3 - 12*w^2 - 54*w + 17]', '[7727, 7727, 3*w^5 + w^4 - 20*w^3 + w^2 + 33*w - 15]', '[7749, 861, w^5 - 3*w^4 - 9*w^3 + 13*w^2 + 16*w - 9]', '[7749, 861, 3*w^5 + w^4 - 13*w^3 - 4*w^2 + 9*w + 2]', '[7749, 861, 5*w^5 - 28*w^3 + 4*w^2 + 37*w - 11]', '[7749, 861, -w^5 + 5*w^3 - 2*w^2 - 2*w + 4]', '[7749, 861, 2*w^5 + 3*w^4 - 12*w^3 - 10*w^2 + 17*w]', '[7749, 861, w^4 - w^3 - 7*w^2 + 3*w + 8]', '[7853, 7853, 4*w^5 - 23*w^3 + 2*w^2 + 30*w - 9]', '[7853, 7853, w^5 + w^4 - 8*w^3 - 3*w^2 + 16*w + 1]', '[7853, 7853, 2*w^5 - w^4 - 10*w^3 + 5*w^2 + 9*w - 8]', '[7853, 7853, -3*w^5 - 2*w^4 + 14*w^3 + 6*w^2 - 12*w - 2]', '[7853, 7853, -2*w^5 + 2*w^4 + 11*w^3 - 11*w^2 - 13*w + 8]', '[7853, 7853, w^5 - 7*w^3 + 3*w^2 + 10*w - 10]', '[7911, 879, -4*w^5 - w^4 + 17*w^3 + 4*w^2 - 6*w]', '[7911, 879, -4*w^4 - 2*w^3 + 16*w^2 + 9*w - 2]', '[7911, 879, w^5 + w^4 + 2*w^3 - 3*w^2 - 20*w + 2]', '[7911, 879, -4*w^5 + 24*w^3 - w^2 - 31*w + 3]', '[7911, 879, 4*w^5 + 3*w^4 - 25*w^3 - 9*w^2 + 39*w - 8]', '[7911, 879, -2*w^5 - w^4 + 7*w^3 + 5*w^2 + w - 2]', '[7937, 7937, -2*w^5 - 3*w^4 + 12*w^3 + 8*w^2 - 18*w]', '[7937, 7937, 4*w^5 - 3*w^4 - 21*w^3 + 16*w^2 + 23*w - 19]', '[7937, 7937, 5*w^5 - 2*w^4 - 28*w^3 + 13*w^2 + 33*w - 17]', '[7937, 7937, 2*w^4 - 9*w^2 - 4*w + 6]', '[7937, 7937, 6*w^5 - 34*w^3 + 3*w^2 + 42*w - 5]', '[7937, 7937, 2*w^5 - 16*w^3 + 2*w^2 + 31*w - 11]', '[8000, 10, 2*w^5 + 2*w^4 - 10*w^3 - 8*w^2 + 12*w + 4]', '[8000, 10, -2*w^5 - 2*w^4 + 10*w^3 + 8*w^2 - 12*w - 2]', '[8127, 903, -w^5 + 2*w^4 + 6*w^3 - 10*w^2 - 8*w + 5]', '[8127, 903, w^5 + w^4 - 7*w^3 - 3*w^2 + 13*w + 2]', '[8127, 903, w^3 - 2*w^2 - 2*w + 8]', '[8127, 903, w^5 + w^4 - 4*w^3 - 3*w^2 + 4*w - 4]', '[8127, 903, 2*w^5 + 2*w^4 - 9*w^3 - 7*w^2 + 7*w + 5]', '[8127, 903, 3*w^5 - 17*w^3 + w^2 + 22*w - 7]', '[8128, 254, 2*w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 12*w - 8]', '[8128, 254, -2*w^5 + 14*w^3 - 4*w^2 - 24*w + 10]', '[8128, 254, -4*w^5 + 2*w^4 + 22*w^3 - 10*w^2 - 26*w + 10]', '[8128, 254, -4*w^3 + 2*w^2 + 14*w - 4]', '[8128, 254, -2*w^5 + 12*w^3 - 14*w]', '[8128, 254, -2*w^4 - 4*w^3 + 8*w^2 + 14*w - 6]', '[8147, 8147, -3*w^5 + w^4 + 20*w^3 - 5*w^2 - 35*w + 6]', '[8147, 8147, 2*w^5 + 3*w^4 - 8*w^3 - 11*w^2 + 8*w + 5]', '[8147, 8147, 5*w^5 - 24*w^3 + 2*w^2 + 24*w - 9]', '[8147, 8147, -2*w^5 - 3*w^4 + 6*w^3 + 12*w^2 + 4*w - 5]', '[8147, 8147, w^5 + w^4 - 9*w^3 - w^2 + 22*w - 8]', '[8147, 8147, 3*w^3 + 3*w^2 - 11*w - 9]', '[8183, 1169, 4*w^5 - 3*w^4 - 26*w^3 + 14*w^2 + 39*w - 15]', '[8183, 1169, -2*w^5 + 7*w^3 + 3*w^2 - 5*w - 3]', '[8183, 1169, -2*w^5 + 14*w^3 - w^2 - 27*w + 7]', '[8183, 1169, -2*w^5 - 4*w^4 + 9*w^3 + 13*w^2 - 7*w - 2]', '[8183, 1169, 3*w^5 - 4*w^4 - 16*w^3 + 16*w^2 + 21*w - 11]', '[8183, 1169, -4*w^5 + 4*w^4 + 24*w^3 - 16*w^2 - 33*w + 6]', '[8191, 8191, -2*w^5 + w^4 + 9*w^3 - 7*w^2 - 7*w + 11]', '[8191, 8191, 3*w^5 - 2*w^4 - 17*w^3 + 11*w^2 + 24*w - 11]', '[8191, 8191, 4*w^5 - 24*w^3 + 3*w^2 + 32*w - 11]', '[8191, 8191, 2*w^4 + 3*w^3 - 8*w^2 - 12*w + 6]', '[8191, 8191, -w^5 + 6*w^3 + 2*w^2 - 6*w - 5]', '[8191, 8191, 3*w^5 - 3*w^4 - 18*w^3 + 13*w^2 + 24*w - 10]', '[8231, 8231, 3*w^3 - 2*w^2 - 9*w + 9]', '[8231, 8231, -3*w^5 - 2*w^4 + 16*w^3 + 5*w^2 - 18*w]', '[8231, 8231, w^5 - 3*w^3 + w^2 - 3*w - 5]', '[8231, 8231, 3*w^5 - 2*w^4 - 18*w^3 + 11*w^2 + 24*w - 8]', '[8231, 8231, 2*w^5 - 13*w^3 + 19*w - 5]', '[8231, 8231, 3*w^5 - 15*w^3 + 3*w^2 + 17*w - 11]', '[8233, 8233, w^5 - 2*w^3 + w^2 - 5*w - 3]', '[8233, 8233, 2*w^5 - 8*w^3 + 2*w^2 + 5*w - 6]', '[8233, 8233, 2*w^5 - 14*w^3 + 3*w^2 + 22*w - 10]', '[8233, 8233, -4*w^5 + w^4 + 22*w^3 - 8*w^2 - 26*w + 10]', '[8233, 8233, 3*w^5 - 19*w^3 + 2*w^2 + 27*w - 8]', '[8233, 8233, 4*w^5 + w^4 - 21*w^3 + 23*w - 6]', '[8273, 8273, -w^5 + 2*w^4 + 4*w^3 - 10*w^2 - 3*w + 9]', '[8273, 8273, 3*w^5 + w^4 - 19*w^3 + 29*w - 10]', '[8273, 8273, 2*w^5 - w^4 - 13*w^3 + 5*w^2 + 17*w - 6]', '[8273, 8273, -w^5 - 2*w^4 + w^3 + 8*w^2 + 8*w - 4]', '[8273, 8273, 2*w^5 + w^4 - 10*w^3 + 9*w - 6]', '[8273, 8273, -5*w^5 + w^4 + 27*w^3 - 7*w^2 - 32*w + 9]', '[8281, 91, -w^5 + 6*w^3 - w^2 - 8*w - 2]', '[8281, 91, 4*w^5 - 23*w^3 + 4*w^2 + 29*w - 8]', '[8281, 91, 4*w^3 - 12*w - 1]', '[8317, 8317, -w^5 + w^4 + 7*w^3 - 5*w^2 - 12*w]', '[8317, 8317, -w^4 + 4*w^2 + w - 7]', '[8317, 8317, w^5 - 5*w^3 + 4*w - 5]', '[8317, 8317, -w^4 - w^3 + 3*w^2 + 3*w - 5]', '[8317, 8317, w^5 - 6*w^3 + 2*w^2 + 9*w - 10]', '[8317, 8317, w^5 - w^4 - 5*w^3 + 4*w^2 + 5*w + 3]', '[8443, 8443, 2*w^5 - 15*w^3 + 3*w^2 + 26*w - 10]', '[8443, 8443, -2*w^5 - w^4 + 7*w^3 + 2*w^2 + 3]', '[8443, 8443, -4*w^5 - w^4 + 22*w^3 - w^2 - 26*w + 9]', '[8443, 8443, -5*w^5 + w^4 + 28*w^3 - 8*w^2 - 34*w + 11]', '[8443, 8443, -3*w^5 + w^4 + 14*w^3 - 7*w^2 - 13*w + 10]', '[8443, 8443, 2*w^5 - 14*w^3 + w^2 + 21*w - 5]', '[8519, 8519, -2*w^5 + 2*w^4 + 10*w^3 - 11*w^2 - 10*w + 7]', '[8519, 8519, -4*w^5 - w^4 + 25*w^3 - w^2 - 39*w + 12]', '[8519, 8519, -4*w^5 + 2*w^4 + 27*w^3 - 11*w^2 - 44*w + 16]', '[8519, 8519, 5*w^5 + 2*w^4 - 32*w^3 - 4*w^2 + 51*w - 9]', '[8519, 8519, -w^5 + w^4 + 6*w^3 - 2*w^2 - 7*w - 8]', '[8519, 8519, 6*w^5 - 4*w^4 - 34*w^3 + 20*w^2 + 41*w - 17]', '[8527, 8527, 2*w^3 - 3*w^2 - 8*w + 5]', '[8527, 8527, -w^5 + 5*w^3 + 2*w^2 - 3*w - 7]', '[8527, 8527, -3*w^4 - w^3 + 10*w^2 + 3*w + 1]', '[8527, 8527, 2*w^5 - 3*w^4 - 12*w^3 + 12*w^2 + 16*w - 9]', '[8527, 8527, -w^5 + 2*w^4 + 8*w^3 - 9*w^2 - 17*w + 10]', '[8527, 8527, 2*w^5 - 2*w^4 - 12*w^3 + 10*w^2 + 19*w - 7]', '[8609, 8609, -2*w^5 + w^4 + 13*w^3 - 8*w^2 - 20*w + 9]', '[8609, 8609, -2*w^5 + w^4 + 14*w^3 - 5*w^2 - 24*w + 9]', '[8609, 8609, -w^5 + w^4 + 4*w^3 - 4*w^2 - 4*w - 1]', '[8609, 8609, -2*w^5 - 2*w^4 + 9*w^3 + 5*w^2 - 8*w + 6]', '[8609, 8609, -2*w^5 + 2*w^4 + 10*w^3 - 9*w^2 - 9*w + 9]', '[8609, 8609, 3*w^5 + w^4 - 16*w^3 - 3*w^2 + 17*w + 2]', '[8651, 8651, 4*w^5 - 2*w^4 - 18*w^3 + 10*w^2 + 10*w - 1]', '[8651, 8651, -5*w^5 + 2*w^4 + 21*w^3 - 8*w^2 - 11*w + 3]', '[8651, 8651, 5*w^5 + 4*w^4 - 23*w^3 - 15*w^2 + 20*w + 1]', '[8651, 8651, -3*w^5 - 2*w^4 + 17*w^3 + 5*w^2 - 20*w + 8]', '[8651, 8651, 4*w^5 + w^4 - 15*w^3 - 3*w^2 + w + 1]', '[8651, 8651, w^5 + 3*w^4 - 8*w^3 - 10*w^2 + 10*w + 1]', '[8651, 8651, -2*w^5 + 4*w^4 + 11*w^3 - 16*w^2 - 12*w + 5]', '[8651, 8651, 5*w^5 - w^4 - 27*w^3 + 8*w^2 + 33*w - 6]', '[8651, 8651, w^5 - 2*w^3 - 9*w + 2]', '[8651, 8651, -w^5 - 5*w^4 + 2*w^3 + 19*w^2 + 4*w - 11]', '[8651, 8651, 2*w^4 - w^3 - 7*w^2 + 2*w - 2]', '[8651, 8651, -4*w^5 - w^4 + 20*w^3 + 2*w^2 - 20*w]', '[8651, 8651, -2*w^3 + w^2 + 10*w - 5]', '[8651, 8651, -6*w^5 + 3*w^4 + 37*w^3 - 14*w^2 - 51*w + 9]', '[8651, 8651, 3*w^5 - w^4 - 15*w^3 + 3*w^2 + 15*w]', '[8651, 8651, -4*w^5 + 2*w^4 + 25*w^3 - 7*w^2 - 35*w + 1]', '[8651, 8651, -2*w^5 - 2*w^4 + 10*w^3 + 8*w^2 - 10*w - 7]', '[8651, 8651, -2*w^5 + 12*w^3 - 2*w^2 - 12*w + 5]', '[8651, 8651, w^5 - 5*w^4 - w^3 + 19*w^2 - 10*w + 2]', '[8651, 8651, 8*w^5 - 2*w^4 - 48*w^3 + 10*w^2 + 68*w - 5]', '[8651, 8651, -4*w^4 - 3*w^3 + 15*w^2 + 8*w - 8]', '[8651, 8651, -3*w^5 - 2*w^4 + 19*w^3 + 7*w^2 - 30*w + 5]', '[8651, 8651, 5*w^5 + 6*w^4 - 28*w^3 - 20*w^2 + 33*w - 3]', '[8651, 8651, w^5 + w^4 - w^3 - 6*w^2 - 7*w + 6]', '[8651, 8651, -3*w^5 - 3*w^4 + 20*w^3 + 8*w^2 - 32*w + 5]', '[8651, 8651, 4*w^5 + 2*w^4 - 19*w^3 - 9*w^2 + 21*w - 2]', '[8651, 8651, -3*w^5 + w^4 + 16*w^3 - 5*w^2 - 20*w + 1]', '[8651, 8651, -2*w^4 - 2*w^3 + 10*w^2 + 6*w - 5]', '[8651, 8651, 5*w^5 + 3*w^4 - 23*w^3 - 6*w^2 + 23*w - 8]', '[8651, 8651, 6*w^5 - 30*w^3 + 4*w^2 + 31*w - 6]', '[8651, 8651, -4*w^3 + 15*w + 1]', '[8651, 8651, w^5 - w^4 - 9*w^3 + 3*w^2 + 20*w - 1]', '[8651, 8651, 2*w^5 + 3*w^4 - 9*w^3 - 10*w^2 + 7*w + 5]', '[8651, 8651, 6*w^5 - 3*w^4 - 37*w^3 + 16*w^2 + 52*w - 17]', '[8651, 8651, 6*w^5 - 2*w^4 - 33*w^3 + 15*w^2 + 41*w - 23]', '[8651, 8651, -3*w^5 + 4*w^4 + 19*w^3 - 16*w^2 - 27*w + 6]', '[8693, 8693, -w^5 + w^4 + 4*w^3 - 2*w^2 - 3*w - 5]', '[8693, 8693, -3*w^5 + w^4 + 18*w^3 - 4*w^2 - 25*w + 6]', '[8693, 8693, -2*w^5 + 3*w^4 + 13*w^3 - 15*w^2 - 20*w + 11]', '[8693, 8693, 2*w^5 + w^4 - 10*w^3 - w^2 + 13*w - 8]', '[8693, 8693, 2*w^5 + 3*w^4 - 9*w^3 - 11*w^2 + 6*w + 6]', '[8693, 8693, w^4 - 2*w^3 - 3*w^2 + 9*w + 1]', '[8737, 8737, -2*w^5 + w^4 + 8*w^3 - 7*w^2 - 6*w + 11]', '[8737, 8737, -7*w^5 + w^4 + 41*w^3 - 9*w^2 - 54*w + 14]', '[8737, 8737, -5*w^5 - 3*w^4 + 23*w^3 + 9*w^2 - 20*w]', '[8737, 8737, -2*w^4 - 5*w^3 + 7*w^2 + 17*w - 4]', '[8737, 8737, 3*w^5 - 17*w^3 + 5*w^2 + 25*w - 9]', '[8737, 8737, -w^4 - 5*w^3 + 3*w^2 + 13*w - 3]', '[8779, 8779, 3*w^5 + 2*w^4 - 13*w^3 - 8*w^2 + 9*w + 4]', '[8779, 8779, -5*w^5 + 28*w^3 - 3*w^2 - 37*w + 9]', '[8779, 8779, 3*w^4 + 3*w^3 - 12*w^2 - 7*w + 6]', '[8779, 8779, 3*w^4 + 3*w^3 - 13*w^2 - 9*w + 6]', '[8779, 8779, -3*w^5 - w^4 + 17*w^3 + w^2 - 24*w + 9]', '[8779, 8779, -2*w^4 + 11*w^2 - 10]', '[8813, 8813, 2*w^5 + 2*w^4 - 15*w^3 - 7*w^2 + 30*w + 1]', '[8813, 8813, 7*w^5 - 3*w^4 - 39*w^3 + 18*w^2 + 48*w - 20]', '[8813, 8813, 3*w^5 - 4*w^4 - 19*w^3 + 17*w^2 + 28*w - 8]', '[8813, 8813, -w^5 - w^4 + 7*w^3 + 2*w^2 - 11*w + 8]', '[8813, 8813, w^5 + w^4 - 8*w^3 - 6*w^2 + 14*w + 5]', '[8813, 8813, 5*w^5 - 2*w^4 - 31*w^3 + 13*w^2 + 47*w - 18]', '[8819, 8819, 4*w^5 + w^4 - 24*w^3 + 34*w - 10]', '[8819, 8819, -2*w^5 + 10*w^3 - 4*w^2 - 9*w + 8]', '[8819, 8819, 5*w^5 - 26*w^3 + 3*w^2 + 29*w - 7]', '[8819, 8819, w^5 + 2*w^4 - w^3 - 8*w^2 - 7*w + 4]', '[8819, 8819, 2*w^5 - w^4 - 13*w^3 + 6*w^2 + 17*w - 8]', '[8819, 8819, 2*w^4 - 2*w^3 - 9*w^2 + 6*w + 6]', '[8821, 8821, -w^5 - w^4 + 6*w^3 + 4*w^2 - 11*w - 3]', '[8821, 8821, -2*w^5 - w^4 + 9*w^3 + 5*w^2 - 8*w - 6]', '[8821, 8821, -3*w^4 - 2*w^3 + 13*w^2 + 5*w - 6]', '[8821, 8821, -2*w^5 - 3*w^4 + 10*w^3 + 11*w^2 - 11*w - 5]', '[8821, 8821, 2*w^5 + w^4 - 11*w^3 - 5*w^2 + 14*w + 1]', '[8821, 8821, -3*w^5 - w^4 + 16*w^3 + 2*w^2 - 21*w + 6]', '[8861, 8861, -w^5 + 3*w^4 + 3*w^3 - 12*w^2 + 4*w + 5]', '[8861, 8861, -5*w^5 - 3*w^4 + 25*w^3 + 10*w^2 - 24*w - 1]', '[8861, 8861, w^4 - w^3 + w^2 + 4*w - 12]', '[8861, 8861, -6*w^5 - 4*w^4 + 27*w^3 + 12*w^2 - 18*w + 3]', '[8861, 8861, -5*w^5 - 3*w^4 + 28*w^3 + 8*w^2 - 35*w + 6]', '[8861, 8861, -2*w^5 - 5*w^4 + 10*w^3 + 18*w^2 - 11*w - 1]', '[8863, 8863, -w^5 + 2*w^4 + 5*w^3 - 10*w^2 - 7*w + 6]', '[8863, 8863, -2*w^5 - w^4 + 13*w^3 - 21*w + 6]', '[8863, 8863, 3*w^5 - 2*w^4 - 15*w^3 + 10*w^2 + 16*w - 6]', '[8863, 8863, -2*w^5 + w^4 + 12*w^3 - 4*w^2 - 14*w]', '[8863, 8863, 4*w^5 - w^4 - 22*w^3 + 6*w^2 + 25*w - 10]', '[8863, 8863, 4*w^5 - 2*w^4 - 22*w^3 + 10*w^2 + 27*w - 12]', '[9029, 9029, 4*w^5 + 2*w^4 - 23*w^3 - 4*w^2 + 30*w - 6]', '[9029, 9029, -w^5 - w^4 + w^3 + 5*w^2 + 7*w - 6]', '[9029, 9029, -4*w^5 + 19*w^3 - 2*w^2 - 18*w + 5]', '[9029, 9029, w^5 - 2*w^4 - 10*w^3 + 10*w^2 + 20*w - 10]', '[9029, 9029, -w^5 - w^4 + 8*w^3 + 5*w^2 - 14*w - 2]', '[9029, 9029, 2*w^5 + 2*w^4 - 13*w^3 - 7*w^2 + 19*w]', '[9073, 9073, -3*w^5 + 2*w^4 + 22*w^3 - 10*w^2 - 39*w + 12]', '[9073, 9073, 2*w^5 + 3*w^4 - 13*w^3 - 9*w^2 + 19*w - 1]', '[9073, 9073, -w^5 + w^4 + 9*w^3 - 5*w^2 - 15*w + 9]', '[9073, 9073, 3*w^5 + 4*w^4 - 20*w^3 - 13*w^2 + 34*w - 4]', '[9073, 9073, w^5 - 6*w^3 + w^2 + 5*w - 5]', '[9073, 9073, -5*w^5 + 33*w^3 - 3*w^2 - 52*w + 10]', '[9073, 9073, 2*w^5 + 3*w^4 - 9*w^3 - 9*w^2 + 5*w + 2]', '[9073, 9073, -2*w^5 + 2*w^4 + 16*w^3 - 8*w^2 - 31*w + 6]', '[9073, 9073, -2*w^5 - w^4 + 14*w^3 + w^2 - 26*w + 5]', '[9073, 9073, 3*w^5 - w^4 - 22*w^3 + 4*w^2 + 38*w - 2]', '[9073, 9073, 3*w^5 + 5*w^4 - 17*w^3 - 16*w^2 + 21*w - 4]', '[9073, 9073, -w^5 - w^4 + 5*w^3 - w^2 - 6*w + 5]', '[9073, 9073, 3*w^5 + 3*w^4 - 19*w^3 - 9*w^2 + 31*w - 3]', '[9073, 9073, -4*w^5 + 3*w^4 + 22*w^3 - 15*w^2 - 26*w + 15]', '[9073, 9073, 2*w^5 + w^4 - 15*w^3 - 3*w^2 + 31*w - 4]', '[9073, 9073, 3*w^5 + 2*w^4 - 14*w^3 - 8*w^2 + 14*w - 4]', '[9073, 9073, -w^5 - 4*w^4 + 4*w^3 + 15*w^2 - 2*w - 8]', '[9073, 9073, 4*w^5 - 2*w^4 - 19*w^3 + 8*w^2 + 13*w - 3]', '[9073, 9073, -2*w^5 + w^4 + 15*w^3 - 8*w^2 - 25*w + 15]', '[9073, 9073, -4*w^5 + 20*w^3 - w^2 - 20*w]', '[9073, 9073, 2*w^5 - 11*w^3 - w^2 + 12*w - 5]', '[9073, 9073, -5*w^5 - w^4 + 29*w^3 + w^2 - 42*w + 7]', '[9073, 9073, 5*w^5 - 25*w^3 + 3*w^2 + 23*w - 5]', '[9073, 9073, -3*w^5 + 17*w^3 - 20*w - 2]', '[9073, 9073, 4*w^5 + 3*w^4 - 22*w^3 - 6*w^2 + 25*w - 9]', '[9073, 9073, -3*w^5 - w^4 + 12*w^3 + 3*w^2 - 5*w + 3]', '[9073, 9073, -5*w^5 - w^4 + 26*w^3 - 28*w + 7]', '[9073, 9073, -3*w^5 - 2*w^4 + 17*w^3 + 6*w^2 - 24*w + 6]', '[9073, 9073, -4*w^4 - w^3 + 15*w^2 - 1]', '[9073, 9073, 2*w^5 - w^4 - 5*w^3 + 2*w^2 - 7*w + 2]', '[9073, 9073, -4*w^5 - w^4 + 25*w^3 + 2*w^2 - 36*w + 7]', '[9073, 9073, 6*w^5 + w^4 - 36*w^3 - 2*w^2 + 51*w - 2]', '[9073, 9073, -2*w^5 + 12*w^3 - 2*w^2 - 13*w + 8]', '[9073, 9073, -w^5 + w^4 + 9*w^3 - 7*w^2 - 20*w + 10]', '[9073, 9073, 2*w^5 - 3*w^4 - 10*w^3 + 12*w^2 + 11*w - 3]', '[9073, 9073, 2*w^4 - 3*w^3 - 7*w^2 + 14*w]', '[9099, 1011, 5*w^5 + w^4 - 24*w^3 - w^2 + 21*w - 2]', '[9099, 1011, 4*w^5 + 2*w^4 - 22*w^3 - 6*w^2 + 29*w - 3]', '[9099, 1011, w^5 - 4*w^4 - 7*w^3 + 15*w^2 + 11*w - 3]', '[9099, 1011, 2*w^5 + 3*w^4 - 9*w^3 - 10*w^2 + 8*w - 3]', '[9099, 1011, -w^5 - 2*w^4 + 9*w^3 + 8*w^2 - 18*w + 1]', '[9099, 1011, 5*w^5 - 27*w^3 + 2*w^2 + 29*w - 6]', '[9107, 9107, w^5 - w^4 - 3*w^3 + 8*w^2 - 2*w - 11]', '[9107, 9107, 7*w^5 - 4*w^4 - 41*w^3 + 21*w^2 + 55*w - 17]', '[9107, 9107, 3*w^5 - 4*w^4 - 21*w^3 + 17*w^2 + 34*w - 11]', '[9107, 9107, 4*w^5 + w^4 - 26*w^3 - 2*w^2 + 41*w - 8]', '[9107, 9107, -2*w^5 + 16*w^3 - 3*w^2 - 33*w + 12]', '[9107, 9107, -2*w^4 + 2*w^3 + 9*w^2 - 6*w - 4]', '[9121, 9121, -3*w^5 + w^4 + 18*w^3 - 5*w^2 - 26*w]', '[9121, 9121, -3*w^5 + 2*w^4 + 17*w^3 - 9*w^2 - 20*w + 8]', '[9121, 9121, -3*w^5 + 22*w^3 - 3*w^2 - 41*w + 9]', '[9121, 9121, w^5 + 3*w^4 - 6*w^3 - 12*w^2 + 10*w + 7]', '[9121, 9121, w^5 + 2*w^4 - 9*w^3 - 9*w^2 + 21*w + 6]', '[9121, 9121, -w^5 + 2*w^4 + 2*w^3 - 10*w^2 + 6*w + 8]', '[9157, 9157, -w^2 + w - 3]', '[9157, 9157, -w^4 - w^3 + 4*w^2 + 2*w - 7]', '[9157, 9157, -w^4 + 5*w^2 - 9]', '[9157, 9157, -2*w^5 + 11*w^3 - w^2 - 14*w - 2]', '[9157, 9157, w^5 + w^4 - 4*w^3 - 4*w^2 + 2*w - 3]', '[9157, 9157, -w^5 - w^4 + 6*w^3 + 3*w^2 - 9*w + 6]', '[9199, 9199, 3*w^5 - w^4 - 16*w^3 + 7*w^2 + 21*w - 7]', '[9199, 9199, w^4 + 3*w^3 - 4*w^2 - 12*w + 6]', '[9199, 9199, -2*w^5 + 12*w^3 + w^2 - 15*w - 4]', '[9199, 9199, -2*w^5 - 3*w^4 + 10*w^3 + 9*w^2 - 10*w + 4]', '[9199, 9199, -3*w^5 + 3*w^4 + 18*w^3 - 14*w^2 - 24*w + 14]', '[9199, 9199, -3*w^3 + 3*w^2 + 10*w - 5]', '[9239, 9239, w^5 + 4*w^4 - 4*w^3 - 15*w^2 + 2*w + 5]', '[9239, 9239, -3*w^5 + 15*w^3 + w^2 - 15*w - 1]', '[9239, 9239, 4*w^4 + w^3 - 16*w^2 - 3*w + 7]', '[9239, 9239, -w^5 + 4*w^4 + 8*w^3 - 17*w^2 - 14*w + 12]', '[9239, 9239, -2*w^5 + 11*w^3 + 2*w^2 - 13*w - 5]', '[9239, 9239, 4*w^4 + 3*w^3 - 16*w^2 - 9*w + 9]', '[9241, 9241, 2*w^5 - 14*w^3 + 3*w^2 + 22*w - 11]', '[9241, 9241, 4*w^5 + w^4 - 21*w^3 + 23*w - 5]', '[9241, 9241, -3*w^5 + 19*w^3 - 2*w^2 - 27*w + 9]', '[9241, 9241, -2*w^5 + 8*w^3 - 2*w^2 - 5*w + 7]', '[9241, 9241, w^5 - 2*w^3 + w^2 - 5*w - 4]', '[9241, 9241, 4*w^5 - w^4 - 22*w^3 + 8*w^2 + 26*w - 9]', '[9261, 21, 2*w^5 + 2*w^4 - 10*w^3 - 8*w^2 + 12*w + 3]', '[9281, 9281, -2*w^5 - 4*w^4 + 10*w^3 + 16*w^2 - 9*w - 1]', '[9281, 9281, -5*w^5 + 2*w^4 + 25*w^3 - 11*w^2 - 25*w + 7]', '[9281, 9281, 5*w^5 - 28*w^3 + 3*w^2 + 32*w - 12]', '[9281, 9281, 3*w^5 + 2*w^4 - 18*w^3 - 7*w^2 + 24*w - 1]', '[9281, 9281, 3*w^5 + 3*w^4 - 12*w^3 - 8*w^2 + 8*w - 4]', '[9281, 9281, 2*w^5 + 3*w^4 - 9*w^3 - 13*w^2 + 8*w + 13]', '[9283, 9283, 2*w^5 + 3*w^4 - 11*w^3 - 10*w^2 + 13*w + 2]', '[9283, 9283, -w^5 + 7*w^3 + 2*w^2 - 11*w - 2]', '[9283, 9283, -2*w^5 + 3*w^4 + 14*w^3 - 14*w^2 - 22*w + 10]', '[9283, 9283, 2*w^5 - 8*w^3 - w^2 + 4*w + 4]', '[9283, 9283, w^5 - 4*w^3 + w^2 - w - 3]', '[9283, 9283, -4*w^5 + 22*w^3 - 4*w^2 - 29*w + 12]', '[9323, 9323, 2*w^5 - 2*w^4 - 13*w^3 + 10*w^2 + 17*w - 8]', '[9323, 9323, -w^5 - 2*w^4 + w^3 + 9*w^2 + 7*w - 8]', '[9323, 9323, 4*w^5 + 2*w^4 - 23*w^3 - 4*w^2 + 31*w - 6]', '[9323, 9323, -w^5 - 2*w^4 + 7*w^3 + 9*w^2 - 11*w - 4]', '[9323, 9323, 5*w^5 - 26*w^3 + 3*w^2 + 30*w - 9]', '[9323, 9323, w^5 - 4*w^3 + 3*w^2 - 7]', '[9409, 97, 2*w^5 - 11*w^3 + 2*w^2 + 13*w - 10]', '[9409, 97, -w^5 + 4*w^3 - w^2 - 2*w - 3]', '[9409, 97, -3*w^5 + 14*w^3 - 3*w^2 - 12*w + 10]', '[9491, 9491, w^4 - 2*w^3 - 3*w^2 + 5*w - 4]', '[9491, 9491, -3*w^5 - w^4 + 16*w^3 + 2*w^2 - 17*w]', '[9491, 9491, -2*w^5 + w^4 + 9*w^3 - 5*w^2 - 6*w + 7]', '[9491, 9491, 3*w^5 - w^4 - 18*w^3 + 8*w^2 + 25*w - 9]', '[9491, 9491, 2*w^5 - w^4 - 14*w^3 + 5*w^2 + 23*w - 9]', '[9491, 9491, -2*w^5 - w^4 + 9*w^3 + w^2 - 8*w + 8]', '[9533, 9533, 2*w^5 + w^4 - 10*w^3 - 2*w^2 + 12*w - 7]', '[9533, 9533, 5*w^5 - w^4 - 26*w^3 + 7*w^2 + 28*w - 10]', '[9533, 9533, -w^5 + 2*w^4 + 3*w^3 - 9*w^2 + 5]', '[9533, 9533, -4*w^5 + 25*w^3 - 5*w^2 - 37*w + 13]', '[9533, 9533, 3*w^5 + w^4 - 15*w^3 + w^2 + 15*w - 10]', '[9533, 9533, 3*w^5 - 18*w^3 + 2*w^2 + 22*w - 5]', '[9619, 9619, 3*w^5 - 20*w^3 + 2*w^2 + 31*w - 8]', '[9619, 9619, 3*w^5 + w^4 - 13*w^3 - w^2 + 10*w - 6]', '[9619, 9619, -4*w^5 + w^4 + 23*w^3 - 9*w^2 - 29*w + 13]', '[9619, 9619, 5*w^5 + w^4 - 27*w^3 + 31*w - 7]', '[9619, 9619, 2*w^5 - w^4 - 8*w^3 + 6*w^2 + 3*w - 7]', '[9619, 9619, -w^5 + 9*w^3 - 2*w^2 - 16*w + 7]', '[9661, 9661, w^2 - 7]', '[9661, 9661, w^5 - 6*w^3 + w^2 + 9*w + 2]', '[9661, 9661, w^4 - 4*w^2 - 3]', '[9661, 9661, -w^5 + 5*w^3 - 5*w + 5]', '[9661, 9661, -w^4 - w^3 + 4*w^2 + 3*w - 7]', '[9661, 9661, w - 5]', '[9743, 9743, 3*w^5 + 3*w^4 - 16*w^3 - 9*w^2 + 16*w + 1]', '[9743, 9743, -2*w^5 - 3*w^4 + 8*w^3 + 8*w^2 - 3*w + 3]', '[9743, 9743, 4*w^4 + 4*w^3 - 17*w^2 - 14*w + 6]', '[9743, 9743, -3*w^4 - w^3 + 11*w^2 + w + 1]', '[9743, 9743, w^5 + w^4 - 7*w^3 + 2*w^2 + 11*w - 11]', '[9743, 9743, -2*w^5 - 5*w^4 + 6*w^3 + 18*w^2 + 3*w - 5]', '[9787, 9787, 2*w^3 + 3*w^2 - 6*w - 5]', '[9787, 9787, 2*w^5 - 10*w^3 + 2*w^2 + 7*w - 5]', '[9787, 9787, 2*w^5 + 3*w^4 - 12*w^3 - 10*w^2 + 16*w + 1]', '[9787, 9787, -2*w^5 + 3*w^4 + 15*w^3 - 14*w^2 - 25*w + 11]', '[9787, 9787, -5*w^5 + 28*w^3 - 5*w^2 - 37*w + 14]', '[9787, 9787, -3*w^5 + 13*w^3 - 9*w - 1]', '[9829, 9829, -w^5 - w^4 + 5*w^3 + 6*w^2 - 6*w - 3]', '[9829, 9829, 3*w^5 + w^4 - 17*w^3 - 2*w^2 + 24*w - 7]', '[9829, 9829, w^5 + 3*w^4 - 5*w^3 - 12*w^2 + 6*w + 8]', '[9829, 9829, w^5 + 3*w^4 - 3*w^3 - 12*w^2 + 3]', '[9829, 9829, -3*w^5 - w^4 + 15*w^3 + 4*w^2 - 16*w - 4]', '[9829, 9829, -w^5 - w^4 + 5*w^3 + 4*w^2 - 8*w - 4]', '[9871, 9871, -4*w^5 + 3*w^4 + 25*w^3 - 15*w^2 - 39*w + 18]', '[9871, 9871, 3*w^5 + 4*w^4 - 12*w^3 - 13*w^2 + 9*w + 1]', '[9871, 9871, -w^4 + 3*w^3 + 4*w^2 - 13*w - 1]', '[9871, 9871, -w^5 + w^4 + 7*w^3 - 9*w^2 - 14*w + 11]', '[9871, 9871, w^5 + 3*w^4 - 5*w^3 - 11*w^2 + 9*w + 5]', '[9871, 9871, -w^5 + 4*w^4 + 8*w^3 - 14*w^2 - 13*w + 1]', '[9989, 9989, -w^5 + 7*w^3 - 3*w^2 - 11*w + 12]', '[9989, 9989, -w^5 - 3*w^4 + 7*w^3 + 14*w^2 - 12*w - 10]', '[9989, 9989, -3*w^5 + 3*w^4 + 19*w^3 - 16*w^2 - 29*w + 14]', '[9989, 9989, -7*w^5 + 2*w^4 + 39*w^3 - 13*w^2 - 48*w + 16]', '[9989, 9989, w^5 - 2*w^4 - 4*w^3 + 5*w^2 - w + 7]', '[9989, 9989, -5*w^5 + w^4 + 32*w^3 - 7*w^2 - 51*w + 10]'], 'label': '6.6.453789.1', 'narrow_class_no': 2, 'primes': ['[7, 7, -w^5 + 5*w^3 - 5*w - 1]', '[27, 3, -2*w^5 + 10*w^3 - w^2 - 10*w + 2]', '[41, 41, -w^5 + 6*w^3 - w^2 - 7*w + 2]', '[41, 41, w^4 - w^3 - 4*w^2 + 3*w + 1]', '[41, 41, -2*w^5 + 12*w^3 - 2*w^2 - 17*w + 5]', '[41, 41, w^5 - 5*w^3 + 2*w^2 + 5*w - 5]', '[41, 41, -w^4 - 2*w^3 + 4*w^2 + 6*w - 3]', '[41, 41, -2*w^5 + 10*w^3 - w^2 - 10*w + 3]', '[43, 43, -w^5 + w^4 + 6*w^3 - 5*w^2 - 9*w + 4]', '[43, 43, -w^4 - w^3 + 4*w^2 + 4*w - 3]', '[43, 43, -w^4 + 3*w^2 + 1]', '[43, 43, -w^3 + w^2 + 4*w - 2]', '[43, 43, -w^5 + w^4 + 6*w^3 - 4*w^2 - 8*w + 3]', '[43, 43, -w^2 - w + 3]', '[64, 2, -2]', '[83, 83, -w^5 + 6*w^3 - w^2 - 10*w + 4]', '[83, 83, -2*w^5 + w^4 + 12*w^3 - 6*w^2 - 17*w + 6]', '[83, 83, w^5 - 6*w^3 + 2*w^2 + 8*w - 3]', '[83, 83, w^5 - 4*w^3 + w - 1]', '[83, 83, -2*w^5 + 11*w^3 - w^2 - 13*w + 1]', '[83, 83, w^5 - 5*w^3 + 2*w^2 + 6*w - 6]', '[125, 5, w^5 + w^4 - 5*w^3 - 4*w^2 + 6*w + 2]', '[125, 5, -w^5 - w^4 + 5*w^3 + 4*w^2 - 6*w - 1]', '[127, 127, w^5 - w^4 - 5*w^3 + 5*w^2 + 6*w - 4]', '[127, 127, -w^5 + 7*w^3 - 2*w^2 - 12*w + 5]', '[127, 127, -2*w^5 + w^4 + 11*w^3 - 5*w^2 - 13*w + 5]', '[127, 127, -2*w^3 + w^2 + 7*w - 2]', '[127, 127, -w^5 + 6*w^3 - 7*w]', '[127, 127, -w^4 - 2*w^3 + 4*w^2 + 7*w - 3]', '[167, 167, -w^5 - w^4 + 4*w^3 + 4*w^2 - 1]', '[167, 167, -2*w^4 + 7*w^2 + w - 3]', '[167, 167, w^5 - w^4 - 4*w^3 + 3*w^2 + w + 2]', '[167, 167, w^5 + w^4 - 4*w^3 - 4*w^2 + 3*w - 1]', '[167, 167, 2*w^5 - 11*w^3 + w^2 + 12*w - 3]', '[167, 167, 3*w^5 + w^4 - 16*w^3 - w^2 + 19*w - 6]', '[169, 13, w^5 - 4*w^3 + w^2 + 2*w - 3]', '[169, 13, -2*w^5 + 11*w^3 - 2*w^2 - 13*w + 4]', '[169, 13, -w^5 + 7*w^3 - w^2 - 11*w + 4]', '[211, 211, 3*w^5 - w^4 - 17*w^3 + 7*w^2 + 23*w - 9]', '[211, 211, -3*w^3 + 10*w - 1]', '[211, 211, w^5 + w^4 - 7*w^3 - 4*w^2 + 12*w - 1]', '[211, 211, 3*w^5 - w^4 - 16*w^3 + 6*w^2 + 18*w - 5]', '[211, 211, -2*w^5 + 12*w^3 - 3*w^2 - 16*w + 6]', '[211, 211, w^3 - 2*w^2 - 4*w + 3]', '[251, 251, 3*w^5 - 18*w^3 + 3*w^2 + 26*w - 8]', '[251, 251, 2*w^5 - 2*w^4 - 13*w^3 + 9*w^2 + 20*w - 7]', '[251, 251, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 6*w + 2]', '[251, 251, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 11*w]', '[251, 251, 2*w^4 - w^3 - 8*w^2 + 3*w + 3]', '[251, 251, w^4 + 3*w^3 - 5*w^2 - 9*w + 3]', '[293, 293, -2*w^5 - 2*w^4 + 10*w^3 + 7*w^2 - 11*w]', '[293, 293, -3*w^5 - w^4 + 16*w^3 + 2*w^2 - 18*w + 2]', '[293, 293, 2*w^5 - 13*w^3 + w^2 + 20*w - 5]', '[293, 293, w^5 - 2*w^4 - 7*w^3 + 8*w^2 + 12*w - 5]', '[293, 293, -2*w^4 - w^3 + 9*w^2 + 2*w - 7]', '[293, 293, -w^5 - w^4 + 4*w^3 + 5*w^2 - 3*w - 3]', '[337, 337, -w^5 + w^4 + 5*w^3 - 5*w^2 - 6*w + 3]', '[337, 337, -w^5 + 7*w^3 - 2*w^2 - 12*w + 4]', '[337, 337, -w^5 + 6*w^3 - 7*w - 1]', '[337, 337, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 13*w - 6]', '[337, 337, -w^4 - 2*w^3 + 4*w^2 + 7*w - 4]', '[337, 337, w^5 + w^4 - 5*w^3 - 2*w^2 + 5*w - 4]', '[379, 379, 2*w^5 - 2*w^4 - 11*w^3 + 8*w^2 + 13*w - 4]', '[379, 379, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 5*w - 4]', '[379, 379, 3*w^5 - 16*w^3 + w^2 + 18*w - 5]', '[379, 379, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 10*w - 7]', '[379, 379, -2*w^5 - 2*w^4 + 11*w^3 + 6*w^2 - 15*w + 1]', '[379, 379, w^5 - 7*w^3 + 3*w^2 + 13*w - 8]', '[419, 419, 2*w^5 - 10*w^3 + 3*w^2 + 11*w - 9]', '[419, 419, -3*w^5 + w^4 + 18*w^3 - 7*w^2 - 25*w + 8]', '[419, 419, -w^4 + 2*w^3 + 3*w^2 - 6*w + 3]', '[419, 419, -2*w^5 + 9*w^3 - w^2 - 6*w + 4]', '[419, 419, -w^5 + w^4 + 8*w^3 - 4*w^2 - 14*w + 5]', '[419, 419, 2*w^5 + w^4 - 11*w^3 - 2*w^2 + 12*w - 1]', '[421, 421, -w^3 - 2*w^2 + 4*w + 3]', '[421, 421, -3*w^5 + w^4 + 17*w^3 - 6*w^2 - 23*w + 9]', '[421, 421, 3*w^5 + w^4 - 17*w^3 - w^2 + 23*w - 7]', '[421, 421, 3*w^5 - 15*w^3 + w^2 + 16*w - 2]', '[421, 421, -2*w^4 - 3*w^3 + 9*w^2 + 9*w - 6]', '[421, 421, w^5 - w^4 - 6*w^3 + 5*w^2 + 6*w - 5]', '[461, 461, 2*w^5 - w^4 - 13*w^3 + 7*w^2 + 20*w - 8]', '[461, 461, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 9*w + 6]', '[461, 461, 2*w^4 + w^3 - 9*w^2 - 3*w + 4]', '[461, 461, w^5 - w^4 - 8*w^3 + 4*w^2 + 15*w - 5]', '[461, 461, 2*w^5 + w^4 - 10*w^3 - w^2 + 11*w - 7]', '[461, 461, w^5 - w^4 - 4*w^3 + 4*w^2 + 3*w]', '[463, 463, w^5 - 2*w^4 - 7*w^3 + 8*w^2 + 10*w - 6]', '[463, 463, w^5 - w^4 - 6*w^3 + 5*w^2 + 9*w - 8]', '[463, 463, w^5 - w^4 - 6*w^3 + 4*w^2 + 8*w + 1]', '[463, 463, -3*w^5 - w^4 + 15*w^3 + 3*w^2 - 15*w]', '[463, 463, -w^4 + 3*w^2 - 3]', '[463, 463, -w^4 - w^3 + 4*w^2 + 4*w + 1]', '[503, 503, w^5 - 7*w^3 + 12*w - 3]', '[503, 503, -3*w^5 - w^4 + 17*w^3 + w^2 - 23*w + 6]', '[503, 503, 2*w^5 - 10*w^3 + 3*w^2 + 10*w - 7]', '[503, 503, -w^5 + w^4 + 8*w^3 - 5*w^2 - 15*w + 8]', '[503, 503, -3*w^5 + 15*w^3 - w^2 - 16*w + 3]', '[503, 503, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 10*w + 7]', '[547, 547, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 14*w - 1]', '[547, 547, 3*w^5 - w^4 - 17*w^3 + 7*w^2 + 21*w - 9]', '[547, 547, -3*w^5 + w^4 + 17*w^3 - 5*w^2 - 21*w + 5]', '[547, 547, 2*w^4 + w^3 - 9*w^2 - 2*w + 4]', '[547, 547, 2*w^5 + w^4 - 10*w^3 - 3*w^2 + 12*w - 3]', '[547, 547, -w^5 - w^4 + 6*w^3 + 4*w^2 - 10*w - 3]', '[587, 587, 3*w^5 - w^4 - 16*w^3 + 7*w^2 + 19*w - 10]', '[587, 587, -2*w^5 - 2*w^4 + 9*w^3 + 7*w^2 - 7*w - 3]', '[587, 587, w^5 - 2*w^4 - 6*w^3 + 10*w^2 + 8*w - 7]', '[587, 587, 2*w^5 + w^4 - 12*w^3 - w^2 + 16*w - 5]', '[587, 587, -3*w^5 + 17*w^3 - w^2 - 22*w + 5]', '[587, 587, w^5 + w^4 - 7*w^3 - 3*w^2 + 13*w]', '[631, 631, -w^5 + 2*w^4 + 8*w^3 - 10*w^2 - 14*w + 9]', '[631, 631, 3*w^5 + w^4 - 16*w^3 - w^2 + 20*w - 6]', '[631, 631, -w^5 + 2*w^4 + 7*w^3 - 9*w^2 - 10*w + 6]', '[631, 631, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 14*w - 1]', '[631, 631, -w^5 - w^4 + 6*w^3 + 5*w^2 - 8*w - 3]', '[631, 631, 3*w^5 - 16*w^3 + 2*w^2 + 20*w - 6]', '[673, 673, -w^5 - w^4 + 5*w^3 + w^2 - 5*w + 5]', '[673, 673, -w^4 + 6*w^2 - 6]', '[673, 673, 2*w^5 - 13*w^3 + 3*w^2 + 21*w - 8]', '[673, 673, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 6]', '[673, 673, -3*w^5 + w^4 + 16*w^3 - 5*w^2 - 18*w + 5]', '[673, 673, -2*w^4 - 3*w^3 + 8*w^2 + 10*w - 5]', '[757, 757, 2*w^4 - w^3 - 8*w^2 + 3*w + 5]', '[757, 757, -3*w^5 + 18*w^3 - 3*w^2 - 26*w + 10]', '[757, 757, -w^5 + 6*w^3 - w^2 - 6*w + 4]', '[757, 757, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 11*w - 4]', '[757, 757, -3*w^5 + 15*w^3 - w^2 - 15*w + 1]', '[757, 757, w^5 + w^4 - 5*w^3 - 4*w^2 + 7*w + 4]', '[797, 797, w^5 - w^4 - 6*w^3 + 3*w^2 + 9*w - 3]', '[797, 797, -w^5 - w^4 + 7*w^3 + 4*w^2 - 11*w]', '[797, 797, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 10*w + 4]', '[797, 797, 3*w^5 + w^4 - 17*w^3 - w^2 + 22*w - 5]', '[797, 797, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 14*w]', '[797, 797, 2*w^5 - 12*w^3 + w^2 + 18*w - 6]', '[839, 839, w^5 + w^4 - 5*w^3 - w^2 + 4*w - 5]', '[839, 839, -4*w^5 + w^4 + 22*w^3 - 6*w^2 - 27*w + 8]', '[839, 839, 2*w^5 + w^4 - 13*w^3 - w^2 + 21*w - 6]', '[839, 839, w^5 - w^4 - 7*w^3 + 4*w^2 + 9*w - 2]', '[839, 839, w^5 + 2*w^4 - 2*w^3 - 8*w^2 - 5*w + 5]', '[839, 839, -w^5 + 2*w^4 + 5*w^3 - 10*w^2 - 6*w + 8]', '[841, 29, 2*w^5 - 13*w^3 + 2*w^2 + 19*w - 6]', '[841, 29, -3*w^5 + 17*w^3 - 3*w^2 - 21*w + 7]', '[841, 29, 3*w^5 - 16*w^3 + 3*w^2 + 18*w - 7]', '[881, 881, 3*w^5 + w^4 - 17*w^3 - w^2 + 22*w - 7]', '[881, 881, 2*w^5 - w^4 - 12*w^3 + 6*w^2 + 15*w - 8]', '[881, 881, -w^5 + 7*w^3 - 2*w^2 - 11*w + 8]', '[881, 881, -2*w^5 - w^4 + 10*w^3 + 2*w^2 - 10*w]', '[881, 881, 2*w^5 - w^4 - 11*w^3 + 6*w^2 + 13*w - 4]', '[881, 881, 2*w^5 - 12*w^3 + w^2 + 16*w - 6]', '[883, 883, 2*w^5 + w^4 - 13*w^3 - 2*w^2 + 19*w - 4]', '[883, 883, -2*w^5 + w^4 + 14*w^3 - 6*w^2 - 22*w + 8]', '[883, 883, w^5 + w^4 - 3*w^3 - 5*w^2 + 5]', '[883, 883, -4*w^5 + 22*w^3 - 4*w^2 - 27*w + 10]', '[883, 883, -4*w^5 + w^4 + 23*w^3 - 8*w^2 - 30*w + 12]', '[883, 883, 3*w^5 + 2*w^4 - 16*w^3 - 6*w^2 + 19*w - 1]', '[967, 967, -w^5 + 2*w^4 + 7*w^3 - 9*w^2 - 13*w + 5]', '[967, 967, -3*w^5 + 16*w^3 - 3*w^2 - 20*w + 9]', '[967, 967, 2*w^5 - 13*w^3 + 2*w^2 + 18*w - 6]', '[967, 967, 2*w^5 - 2*w^4 - 12*w^3 + 9*w^2 + 15*w - 8]', '[967, 967, 3*w^5 - 16*w^3 + 4*w^2 + 18*w - 9]', '[967, 967, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 13*w]']}
-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1, -8, 8, 6, -6, -1, 1], 'conductor': 21, 'degree': 6, 'dirichlet_group': [16, 1, 4, 5, 17, 20], 'disc_abs': 453789, 'disc_rad': 21, 'disc_sign': 1, 'frobs': [[2, [[6, 1]]], [3, [0]], [5, [[3, 2]]], [7, [0]], [11, [[6, 1]]], [13, [[2, 3]]], [17, [[3, 2]]], [19, [[6, 1]]], [23, [[6, 1]]], [29, [[2, 3]]], [31, [[6, 1]]], [37, [[3, 2]]], [41, [[1, 6]]], [43, [[1, 6]]], [47, [[3, 2]]], [53, [[6, 1]]], [59, [[3, 2]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [3, 5], 'galois_label': '6T1', 'galt': 1, 'grd': 8.766151944295878, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '6.6.453789.1', 'local_algs': ['3.6.3.1', '7.6.5.5'], 'monogenic': 1, 'num_ram': 2, 'r2': 0, 'ramps': [3, 7], 'rd': 8.7661519443, 'regulator': {'__RealLiteral__': 0, 'data': '4.39996237517', 'prec': 44}, 'res': {'sex': ['0,1', '-5,-1,1', '1,-2,-1,1']}, 'subfield_mults': [1, 1], 'subfields': ['-5.-1.1', '1.-2.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( a^{5} - 5 a^{3} + a^{2} + 5 a - 2 \\)', '\\( a^{3} - 3 a \\)', '\\( a^{5} - 5 a^{3} + 5 a - 1 \\)', '\\( a^{3} - 4 a + 1 \\)', '\\( a - 1 \\)'], 'used_grh': False, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5']}