/* This code can be loaded, or copied and paste using cpaste, into Sage. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. */ P. = PolynomialRing(QQ) g = P([16, 0, -13, 0, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([20,10,-1/4*w^3 + 13/4*w - 2]) primes_array = [ [4, 2, 1/4*w^3 - 1/2*w^2 - 11/4*w + 5],\ [4, 2, 1/8*w^3 - 1/2*w^2 - 5/8*w + 3/2],\ [5, 5, -3/8*w^3 + 35/8*w - 1/2],\ [5, 5, 3/8*w^3 - 35/8*w - 1/2],\ [9, 3, -1/8*w^3 + 17/8*w + 3/2],\ [41, 41, 1/8*w^3 - 1/8*w + 3/2],\ [41, 41, 3/8*w^3 - 35/8*w + 3/2],\ [41, 41, 3/8*w^3 - 35/8*w - 3/2],\ [41, 41, -1/8*w^3 + 1/8*w + 3/2],\ [49, 7, 1/8*w^3 - 17/8*w + 7/2],\ [59, 59, 5/8*w^3 - 53/8*w - 5/2],\ [59, 59, -7/8*w^3 + 3/2*w^2 + 83/8*w - 35/2],\ [59, 59, -3/4*w^3 + 3/2*w^2 + 33/4*w - 16],\ [59, 59, 5/8*w^3 - 53/8*w + 5/2],\ [79, 79, 3/8*w^3 - w^2 - 35/8*w + 21/2],\ [79, 79, -1/2*w^3 + 3/2*w^2 + 3*w - 5],\ [79, 79, 7/8*w^3 - 79/8*w - 1/2],\ [79, 79, -3/8*w^3 - w^2 + 35/8*w + 21/2],\ [89, 89, 1/8*w^3 - 1/8*w - 5/2],\ [89, 89, 3/8*w^3 - 35/8*w + 5/2],\ [89, 89, 3/8*w^3 - 35/8*w - 5/2],\ [89, 89, -1/8*w^3 + 1/8*w - 5/2],\ [101, 101, -3/8*w^3 + 1/2*w^2 + 31/8*w - 5/2],\ [101, 101, 1/4*w^3 + 1/2*w^2 - 7/4*w - 4],\ [101, 101, -1/4*w^3 + 1/2*w^2 + 7/4*w - 4],\ [101, 101, 3/8*w^3 + 1/2*w^2 - 31/8*w - 5/2],\ [109, 109, 1/8*w^3 - w^2 + 15/8*w - 3/2],\ [109, 109, 1/8*w^3 + 1/2*w^2 - 13/8*w - 15/2],\ [109, 109, -1/8*w^3 + 1/2*w^2 + 13/8*w - 15/2],\ [109, 109, -1/2*w^2 + 1/2*w - 1],\ [121, 11, -1/8*w^3 + 9/8*w - 7/2],\ [121, 11, 3/8*w^3 - 27/8*w + 1/2],\ [131, 131, 1/2*w^3 - 13/2*w + 3],\ [131, 131, 2*w - 3],\ [131, 131, -1/8*w^3 - 1/2*w^2 + 21/8*w - 3/2],\ [131, 131, 1/2*w^3 - 13/2*w - 3],\ [151, 151, 1/8*w^3 - 25/8*w - 5/2],\ [151, 151, 3/8*w^3 - 43/8*w + 5/2],\ [151, 151, -3/8*w^3 + 43/8*w + 5/2],\ [151, 151, -1/8*w^3 + 25/8*w - 5/2],\ [169, 13, -5/8*w^3 + w^2 + 61/8*w - 27/2],\ [169, 13, 1/8*w^3 - w^2 + 7/8*w - 1/2],\ [211, 211, 13/8*w^3 - w^2 - 149/8*w + 23/2],\ [211, 211, -3/4*w^3 + 1/2*w^2 + 37/4*w - 6],\ [211, 211, -5/8*w^3 + 1/2*w^2 + 65/8*w - 7/2],\ [211, 211, -13/8*w^3 - w^2 + 149/8*w + 23/2],\ [251, 251, 1/2*w^3 + 1/2*w^2 - 6*w - 3],\ [251, 251, 1/8*w^3 + 1/2*w^2 + 3/8*w - 7/2],\ [251, 251, -1/8*w^3 + 1/2*w^2 - 3/8*w - 7/2],\ [251, 251, -1/2*w^3 + 1/2*w^2 + 6*w - 3],\ [269, 269, w^2 - w - 9],\ [269, 269, 3/8*w^3 - 2*w^2 + 13/8*w + 3/2],\ [269, 269, -1/4*w^3 + w^2 + 13/4*w - 4],\ [269, 269, 13/8*w^3 - 2*w^2 - 157/8*w + 49/2],\ [289, 17, 1/4*w^3 - 17/4*w - 2],\ [289, 17, -1/4*w^3 + 17/4*w - 2],\ [311, 311, -1/8*w^3 - w^2 + 17/8*w + 21/2],\ [311, 311, 3/2*w^3 - 35/2*w - 1],\ [311, 311, 3/2*w^3 - 35/2*w + 1],\ [311, 311, 1/8*w^3 - w^2 - 17/8*w + 21/2],\ [331, 331, -3/8*w^3 + w^2 - 5/8*w - 3/2],\ [331, 331, 1/4*w^3 - 3/2*w^2 - 11/4*w + 16],\ [331, 331, 7/8*w^3 - 2*w^2 - 31/8*w + 11/2],\ [331, 331, 1/4*w^3 - w^2 + 11/4*w - 2],\ [361, 19, -1/8*w^3 + 9/8*w - 9/2],\ [361, 19, -1/2*w^3 + 9/2*w - 1],\ [379, 379, 3/8*w^3 - 43/8*w + 1/2],\ [379, 379, 1/8*w^3 - 25/8*w - 1/2],\ [379, 379, -1/8*w^3 + 25/8*w - 1/2],\ [379, 379, 3/8*w^3 - 43/8*w - 1/2],\ [419, 419, 5/8*w^3 + w^2 - 45/8*w - 9/2],\ [419, 419, -5/8*w^3 + w^2 + 53/8*w - 13/2],\ [419, 419, 5/8*w^3 - w^2 - 45/8*w + 17/2],\ [419, 419, 3/8*w^3 + w^2 - 19/8*w - 13/2],\ [421, 421, 1/8*w^3 + w^2 - 9/8*w - 17/2],\ [421, 421, -1/8*w^3 + w^2 + 9/8*w - 9/2],\ [421, 421, 1/8*w^3 + w^2 - 9/8*w - 9/2],\ [421, 421, -1/8*w^3 + w^2 + 9/8*w - 17/2],\ [461, 461, -3/4*w^3 - 1/2*w^2 + 29/4*w],\ [461, 461, -5/8*w^3 + 3/2*w^2 + 33/8*w - 9/2],\ [461, 461, -5/8*w^3 + 1/2*w^2 + 41/8*w - 13/2],\ [461, 461, 1/8*w^3 - 1/2*w^2 - 21/8*w + 17/2],\ [479, 479, 5/8*w^3 - 3/2*w^2 - 9/8*w + 7/2],\ [479, 479, -7/4*w^3 + 3/2*w^2 + 81/4*w - 16],\ [479, 479, -13/8*w^3 + w^2 + 157/8*w - 29/2],\ [479, 479, -3/8*w^3 + w^2 - 13/8*w + 3/2],\ [499, 499, 7/8*w^3 - 71/8*w - 7/2],\ [499, 499, 1/2*w^3 - 1/2*w^2 - 3*w + 1],\ [499, 499, -1/2*w^3 - 1/2*w^2 + 3*w + 1],\ [499, 499, 7/8*w^3 + 1/2*w^2 - 75/8*w - 11/2],\ [509, 509, 3/8*w^3 - 11/8*w - 5/2],\ [509, 509, -1/8*w^3 + w^2 + 17/8*w - 23/2],\ [509, 509, 7/8*w^3 - 79/8*w + 5/2],\ [509, 509, -3/8*w^3 + 11/8*w - 5/2],\ [521, 521, -9/8*w^3 + 1/2*w^2 + 109/8*w - 17/2],\ [521, 521, 1/4*w^3 - 1/2*w^2 + 5/4*w - 2],\ [521, 521, -1/8*w^3 - w^2 + 25/8*w - 3/2],\ [521, 521, 3/2*w^3 - 3/2*w^2 - 17*w + 15],\ [529, 23, 9/8*w^3 - w^2 - 97/8*w + 19/2],\ [529, 23, -5/8*w^3 + w^2 + 29/8*w - 7/2],\ [541, 541, -3/8*w^3 - 1/2*w^2 + 39/8*w + 19/2],\ [541, 541, -5/8*w^3 - 1/2*w^2 + 41/8*w + 9/2],\ [541, 541, -5/8*w^3 + 1/2*w^2 + 41/8*w - 9/2],\ [541, 541, -3/8*w^3 + 1/2*w^2 + 39/8*w - 19/2],\ [571, 571, -1/8*w^3 + w^2 + 9/8*w - 15/2],\ [571, 571, -1/8*w^3 + w^2 + 9/8*w - 11/2],\ [571, 571, 1/8*w^3 + w^2 - 9/8*w - 11/2],\ [571, 571, 1/8*w^3 + w^2 - 9/8*w - 15/2],\ [631, 631, 5/8*w^3 - w^2 - 21/8*w + 3/2],\ [631, 631, -3/2*w^3 + 3/2*w^2 + 16*w - 13],\ [631, 631, -11/8*w^3 + w^2 + 123/8*w - 23/2],\ [631, 631, -7/4*w^3 - w^2 + 83/4*w + 12],\ [709, 709, -1/2*w^3 - 3/2*w^2 + 6*w + 15],\ [709, 709, 15/8*w^3 + 1/2*w^2 - 171/8*w - 13/2],\ [709, 709, 15/8*w^3 - 1/2*w^2 - 171/8*w + 13/2],\ [709, 709, 3/8*w^3 + 3/2*w^2 - 39/8*w - 29/2],\ [719, 719, 7/8*w^3 - w^2 - 95/8*w + 33/2],\ [719, 719, 1/8*w^3 + w^2 - 41/8*w + 7/2],\ [719, 719, 3/8*w^3 - w^2 - 27/8*w + 5/2],\ [719, 719, 3/8*w^3 - w^2 - 27/8*w + 21/2],\ [739, 739, w^3 - 1/2*w^2 - 21/2*w + 3],\ [739, 739, -w^2 + 3*w - 3],\ [739, 739, 5/8*w^3 - 1/2*w^2 - 33/8*w + 7/2],\ [739, 739, 3/8*w^3 - 1/2*w^2 - 23/8*w + 23/2],\ [751, 751, -13/8*w^3 + w^2 + 157/8*w - 27/2],\ [751, 751, -3/4*w^3 + 3/2*w^2 + 37/4*w - 20],\ [751, 751, 11/8*w^3 - 2*w^2 - 131/8*w + 51/2],\ [751, 751, -15/8*w^3 + 3/2*w^2 + 179/8*w - 37/2],\ [761, 761, 13/8*w^3 - 1/2*w^2 - 153/8*w + 15/2],\ [761, 761, 1/8*w^3 + 3/2*w^2 - 5/8*w - 31/2],\ [761, 761, 5/8*w^3 - 5/2*w^2 - 17/8*w + 7/2],\ [761, 761, -9/8*w^3 + 2*w^2 + 113/8*w - 53/2],\ [839, 839, 3/8*w^3 + 1/2*w^2 - 15/8*w - 9/2],\ [839, 839, -3/4*w^3 - 1/2*w^2 + 33/4*w + 2],\ [839, 839, -3/4*w^3 + 1/2*w^2 + 33/4*w - 2],\ [839, 839, -3/8*w^3 + 1/2*w^2 + 15/8*w - 9/2],\ [841, 29, -1/8*w^3 + 9/8*w - 11/2],\ [841, 29, -5/8*w^3 + 45/8*w - 3/2],\ [881, 881, -1/2*w^3 + 1/2*w^2 + 5*w + 1],\ [881, 881, -3/8*w^3 + 1/2*w^2 + 23/8*w - 15/2],\ [881, 881, 3/8*w^3 + 1/2*w^2 - 23/8*w - 15/2],\ [881, 881, 1/2*w^3 + 1/2*w^2 - 5*w + 1],\ [919, 919, 5/8*w^3 + 1/2*w^2 - 41/8*w - 5/2],\ [919, 919, 3/4*w^3 + 1/2*w^2 - 29/4*w - 4],\ [919, 919, -3/4*w^3 + 1/2*w^2 + 29/4*w - 4],\ [919, 919, -5/8*w^3 + 1/2*w^2 + 41/8*w - 5/2],\ [929, 929, -5/8*w^3 + w^2 + 45/8*w - 19/2],\ [929, 929, 5/8*w^3 - w^2 - 45/8*w + 7/2],\ [929, 929, -5/8*w^3 - w^2 + 45/8*w + 7/2],\ [929, 929, 5/8*w^3 + w^2 - 45/8*w - 19/2],\ [941, 941, -5/8*w^3 + 61/8*w + 11/2],\ [941, 941, 5/8*w^3 - w^2 - 53/8*w + 11/2],\ [941, 941, -5/8*w^3 - w^2 + 53/8*w + 11/2],\ [941, 941, 1/4*w^3 + w^2 - 21/4*w - 2],\ [961, 31, 5/8*w^3 - 45/8*w + 1/2],\ [961, 31, -1/4*w^3 + 9/4*w - 6],\ [971, 971, -5/8*w^3 + 1/2*w^2 + 33/8*w - 11/2],\ [971, 971, -w^3 - 1/2*w^2 + 21/2*w + 1],\ [971, 971, -3/8*w^3 + w^2 + 43/8*w - 27/2],\ [971, 971, -3/4*w^3 + 2*w^2 + 19/4*w - 6],\ [991, 991, -1/2*w^2 + 1/2*w - 3],\ [991, 991, -1/8*w^3 + 1/2*w^2 + 13/8*w - 19/2],\ [991, 991, 1/8*w^3 + 1/2*w^2 - 13/8*w - 19/2],\ [991, 991, -1/2*w^2 - 1/2*w - 3],\ [1009, 1009, 11/8*w^3 - 123/8*w + 1/2],\ [1009, 1009, 3/2*w^3 - 1/2*w^2 - 18*w + 5],\ [1009, 1009, -3/2*w^3 - 1/2*w^2 + 18*w + 5],\ [1009, 1009, -11/8*w^3 + 123/8*w + 1/2],\ [1049, 1049, -3/8*w^3 + 1/2*w^2 + 7/8*w - 7/2],\ [1049, 1049, 3/8*w^3 + w^2 - 27/8*w - 27/2],\ [1049, 1049, 3/8*w^3 - w^2 - 27/8*w + 27/2],\ [1049, 1049, 17/8*w^3 + 1/2*w^2 - 197/8*w - 9/2],\ [1051, 1051, -w^3 - w^2 + 10*w + 9],\ [1051, 1051, -3/8*w^3 + 43/8*w - 15/2],\ [1051, 1051, -3/4*w^3 - w^2 + 23/4*w + 4],\ [1051, 1051, -w^3 + w^2 + 10*w - 9],\ [1091, 1091, 1/2*w^3 - 3/2*w^2 + w - 1],\ [1091, 1091, -5/4*w^3 + 2*w^2 + 61/4*w - 24],\ [1091, 1091, 7/8*w^3 - 2*w^2 - 71/8*w + 39/2],\ [1091, 1091, -5/8*w^3 + w^2 + 21/8*w - 9/2],\ [1109, 1109, 15/8*w^3 - 175/8*w + 3/2],\ [1109, 1109, -9/8*w^3 + 105/8*w + 5/2],\ [1109, 1109, -9/8*w^3 + 105/8*w - 5/2],\ [1109, 1109, 15/8*w^3 - 175/8*w - 3/2],\ [1129, 1129, -5/8*w^3 + 2*w^2 + 29/8*w - 15/2],\ [1129, 1129, -1/2*w^3 + 3/2*w^2 + 5*w - 13],\ [1129, 1129, 1/2*w^3 + 3/2*w^2 - 5*w - 13],\ [1129, 1129, -3/8*w^3 + 3/2*w^2 + 23/8*w - 13/2],\ [1151, 1151, 7/8*w^3 + w^2 - 71/8*w - 11/2],\ [1151, 1151, 5/8*w^3 + w^2 - 37/8*w - 15/2],\ [1151, 1151, 5/8*w^3 - w^2 - 37/8*w + 15/2],\ [1151, 1151, -7/8*w^3 + w^2 + 71/8*w - 11/2],\ [1171, 1171, 5/8*w^3 - 69/8*w - 5/2],\ [1171, 1171, 3/8*w^3 + 3/2*w^2 - 39/8*w - 17/2],\ [1171, 1171, -3/8*w^3 + 3/2*w^2 + 39/8*w - 17/2],\ [1171, 1171, 3/2*w^2 - 3/2*w - 11],\ [1181, 1181, -w^3 + w^2 + 10*w - 5],\ [1181, 1181, -3/4*w^3 + w^2 + 23/4*w - 8],\ [1181, 1181, -1/4*w^3 + 1/2*w^2 + 23/4*w - 8],\ [1181, 1181, -5/8*w^3 - 1/2*w^2 + 73/8*w - 3/2],\ [1201, 1201, 1/8*w^3 - w^2 - 9/8*w - 3/2],\ [1201, 1201, -1/8*w^3 + w^2 + 9/8*w - 29/2],\ [1201, 1201, 1/8*w^3 + w^2 - 9/8*w - 29/2],\ [1201, 1201, -1/8*w^3 - w^2 + 9/8*w - 3/2],\ [1259, 1259, -1/4*w^3 + 2*w^2 + 9/4*w - 22],\ [1259, 1259, -1/4*w^3 + 2*w^2 + 9/4*w - 4],\ [1259, 1259, -1/4*w^3 - 2*w^2 + 9/4*w + 4],\ [1259, 1259, -25/8*w^3 + 4*w^2 + 297/8*w - 97/2],\ [1301, 1301, w^2 - w - 13],\ [1301, 1301, -w^3 - 3*w^2 + 12*w + 35],\ [1301, 1301, w^3 - 3*w^2 - 12*w + 35],\ [1301, 1301, -w^2 - w + 13],\ [1319, 1319, -3/4*w^3 - 3/2*w^2 + 25/4*w + 6],\ [1319, 1319, -7/8*w^3 + 3/2*w^2 + 67/8*w - 27/2],\ [1319, 1319, 1/4*w^3 - 1/2*w^2 - 19/4*w + 10],\ [1319, 1319, 3/4*w^3 - 3/2*w^2 - 25/4*w + 6],\ [1361, 1361, -5/8*w^3 - 2*w^2 + 53/8*w + 49/2],\ [1361, 1361, -7/8*w^3 + 2*w^2 + 87/8*w - 45/2],\ [1361, 1361, -7/8*w^3 - 2*w^2 + 87/8*w + 45/2],\ [1361, 1361, 5/8*w^3 - 2*w^2 - 53/8*w + 49/2],\ [1369, 37, -7/8*w^3 + 1/2*w^2 + 67/8*w - 13/2],\ [1369, 37, -3/4*w^3 - 1/2*w^2 + 25/4*w],\ [1381, 1381, -5/8*w^3 + 3*w^2 + 5/8*w - 5/2],\ [1381, 1381, -11/8*w^3 + 5/2*w^2 + 135/8*w - 65/2],\ [1381, 1381, 15/8*w^3 - 3*w^2 - 175/8*w + 73/2],\ [1381, 1381, 1/4*w^3 - 5/2*w^2 + 9/4*w],\ [1429, 1429, 5/8*w^3 - 77/8*w - 13/2],\ [1429, 1429, -5/8*w^3 + 2*w^2 + 29/8*w - 17/2],\ [1429, 1429, -3/8*w^3 + 59/8*w + 13/2],\ [1429, 1429, -5/8*w^3 + 77/8*w - 13/2],\ [1471, 1471, -3/4*w^3 - 1/2*w^2 + 41/4*w + 2],\ [1471, 1471, -1/2*w^3 + 5/2*w^2 - 3*w - 1],\ [1471, 1471, -1/8*w^3 + 1/2*w^2 + 37/8*w - 9/2],\ [1471, 1471, -19/8*w^3 + 5/2*w^2 + 231/8*w - 63/2],\ [1511, 1511, -1/2*w^3 + 1/2*w^2 + 4*w - 9],\ [1511, 1511, 3/8*w^3 + w^2 - 43/8*w - 7/2],\ [1511, 1511, 5/8*w^3 - 1/2*w^2 - 49/8*w - 5/2],\ [1511, 1511, -1/8*w^3 + w^2 + 25/8*w - 19/2],\ [1549, 1549, 21/8*w^3 + 1/2*w^2 - 241/8*w - 11/2],\ [1549, 1549, -1/4*w^3 - 3/2*w^2 + 11/4*w + 14],\ [1549, 1549, -1/4*w^3 + 3/2*w^2 + 11/4*w - 14],\ [1549, 1549, -21/8*w^3 + 1/2*w^2 + 241/8*w - 11/2],\ [1559, 1559, -1/8*w^3 + 1/2*w^2 + 29/8*w - 15/2],\ [1559, 1559, -1/2*w^3 - 1/2*w^2 + 7*w - 1],\ [1559, 1559, -1/2*w^3 + 1/2*w^2 + 7*w + 1],\ [1559, 1559, 1/8*w^3 + 1/2*w^2 - 29/8*w - 15/2],\ [1571, 1571, 1/8*w^3 + 15/8*w - 9/2],\ [1571, 1571, -1/8*w^3 + 3/2*w^2 - 3/8*w - 25/2],\ [1571, 1571, 1/8*w^3 + 3/2*w^2 + 3/8*w - 25/2],\ [1571, 1571, 1/2*w^3 + 3/2*w^2 - 6*w - 7],\ [1579, 1579, -5/8*w^3 - w^2 + 53/8*w + 31/2],\ [1579, 1579, -3/8*w^3 - 3*w^2 + 35/8*w + 67/2],\ [1579, 1579, 3/8*w^3 - 3*w^2 - 35/8*w + 67/2],\ [1579, 1579, -5/8*w^3 + w^2 + 53/8*w - 31/2],\ [1601, 1601, -1/8*w^3 + w^2 + 1/8*w - 21/2],\ [1601, 1601, 3/8*w^3 + w^2 - 35/8*w - 5/2],\ [1601, 1601, -3/8*w^3 + w^2 + 35/8*w - 5/2],\ [1601, 1601, 1/8*w^3 + w^2 - 1/8*w - 21/2],\ [1621, 1621, 19/8*w^3 - 2*w^2 - 211/8*w + 39/2],\ [1621, 1621, 1/4*w^3 - 2*w^2 - 9/4*w + 20],\ [1621, 1621, 23/8*w^3 - 4*w^2 - 263/8*w + 87/2],\ [1621, 1621, 5/2*w^3 - 2*w^2 - 57/2*w + 23],\ [1721, 1721, 7/4*w^3 - 3*w^2 - 75/4*w + 30],\ [1721, 1721, 17/8*w^3 - 3/2*w^2 - 197/8*w + 31/2],\ [1721, 1721, w^3 - 3*w^2 - 6*w + 9],\ [1721, 1721, 7/8*w^3 - 2*w^2 - 87/8*w + 47/2],\ [1759, 1759, -5/8*w^3 + 69/8*w - 1/2],\ [1759, 1759, -1/8*w^3 + 33/8*w - 1/2],\ [1759, 1759, 1/8*w^3 - 33/8*w - 1/2],\ [1759, 1759, 5/8*w^3 - 69/8*w - 1/2],\ [1789, 1789, -3/4*w^3 + 1/2*w^2 + 25/4*w - 4],\ [1789, 1789, 7/8*w^3 + 1/2*w^2 - 67/8*w - 5/2],\ [1789, 1789, -7/8*w^3 + 1/2*w^2 + 67/8*w - 5/2],\ [1789, 1789, 3/4*w^3 + 1/2*w^2 - 25/4*w - 4],\ [1801, 1801, -9/8*w^3 + w^2 + 81/8*w - 21/2],\ [1801, 1801, 9/8*w^3 + w^2 - 81/8*w - 5/2],\ [1801, 1801, 1/4*w^3 - 1/4*w + 10],\ [1801, 1801, -1/8*w^3 + w^2 - 15/8*w + 7/2],\ [1811, 1811, 19/8*w^3 - 3/2*w^2 - 223/8*w + 39/2],\ [1811, 1811, -3/2*w^3 + 1/2*w^2 + 18*w - 9],\ [1811, 1811, 19/8*w^3 - 5/2*w^2 - 215/8*w + 51/2],\ [1811, 1811, -11/4*w^3 + 5/2*w^2 + 125/4*w - 26],\ [1831, 1831, -1/2*w^3 - 1/2*w^2 + 8*w + 7],\ [1831, 1831, -1/2*w^3 + 3/2*w^2 + 5*w - 11],\ [1831, 1831, 1/2*w^3 + 3/2*w^2 - 5*w - 11],\ [1831, 1831, 1/2*w^3 - 1/2*w^2 - 8*w + 7],\ [1849, 43, -3/8*w^3 + 51/8*w - 19/2],\ [1849, 43, 7/8*w^3 - w^2 - 55/8*w + 5/2],\ [1889, 1889, -9/4*w^3 + 3*w^2 + 101/4*w - 34],\ [1889, 1889, w^3 - 3*w^2 - 4*w + 5],\ [1889, 1889, -3/8*w^3 - w^2 + 43/8*w - 7/2],\ [1889, 1889, 13/8*w^3 - 3/2*w^2 - 145/8*w + 27/2],\ [1931, 1931, -3/2*w^2 + 9/2*w - 1],\ [1931, 1931, 9/8*w^3 - 3/2*w^2 - 117/8*w + 41/2],\ [1931, 1931, -1/2*w^3 + 3/2*w^2 + 4*w - 13],\ [1931, 1931, 5/8*w^3 - 3/2*w^2 - 49/8*w + 13/2],\ [1949, 1949, -1/8*w^3 + 1/2*w^2 - 3/8*w - 19/2],\ [1949, 1949, -1/2*w^3 - 1/2*w^2 + 6*w - 3],\ [1949, 1949, 1/2*w^3 - 1/2*w^2 - 6*w - 3],\ [1949, 1949, 1/8*w^3 + 1/2*w^2 + 3/8*w - 19/2],\ [1979, 1979, 15/8*w^3 + w^2 - 175/8*w - 19/2],\ [1979, 1979, -1/2*w^3 - 2*w^2 + 13/2*w + 23],\ [1979, 1979, -1/2*w^3 + 2*w^2 + 13/2*w - 23],\ [1979, 1979, 1/4*w^3 + 2*w^2 - 9/4*w - 24],\ [1999, 1999, -1/8*w^3 + 3/2*w^2 + 13/8*w - 13/2],\ [1999, 1999, 3/2*w^2 - 1/2*w - 13],\ [1999, 1999, 3/2*w^2 + 1/2*w - 13],\ [1999, 1999, 1/8*w^3 + 3/2*w^2 - 13/8*w - 13/2],\ [2011, 2011, -3/4*w^3 - 1/2*w^2 + 25/4*w + 2],\ [2011, 2011, 7/8*w^3 + 1/2*w^2 - 67/8*w - 9/2],\ [2011, 2011, -7/8*w^3 + 1/2*w^2 + 67/8*w - 9/2],\ [2011, 2011, -3/8*w^3 + 35/8*w - 15/2],\ [2099, 2099, -3/8*w^3 + w^2 + 35/8*w - 3/2],\ [2099, 2099, 1/8*w^3 + w^2 - 1/8*w - 23/2],\ [2099, 2099, -1/8*w^3 + w^2 + 1/8*w - 23/2],\ [2099, 2099, 3/8*w^3 + w^2 - 35/8*w - 3/2],\ [2141, 2141, -1/4*w^3 + w^2 + 5/4*w - 10],\ [2141, 2141, -1/2*w^3 + w^2 + 11/2*w - 3],\ [2141, 2141, 1/2*w^3 + w^2 - 11/2*w - 3],\ [2141, 2141, 1/4*w^3 + w^2 - 5/4*w - 10],\ [2179, 2179, -3/8*w^3 + 3/2*w^2 - 17/8*w - 3/2],\ [2179, 2179, 9/8*w^3 + 1/2*w^2 - 117/8*w - 3/2],\ [2179, 2179, -15/8*w^3 + 3*w^2 + 167/8*w - 61/2],\ [2179, 2179, -1/2*w^2 + 11/2*w - 5],\ [2209, 47, -1/8*w^3 + 3/2*w^2 + 21/8*w - 19/2],\ [2209, 47, -1/4*w^3 + 3/2*w^2 + 15/4*w - 10],\ [2221, 2221, 17/8*w^3 - 193/8*w + 1/2],\ [2221, 2221, -3/8*w^3 - 2*w^2 + 35/8*w + 41/2],\ [2221, 2221, 3/8*w^3 - 2*w^2 - 35/8*w + 41/2],\ [2221, 2221, -w^3 + 5/2*w^2 + 23/2*w - 31],\ [2251, 2251, -11/8*w^3 + w^2 + 139/8*w - 29/2],\ [2251, 2251, 5/8*w^3 - 2*w^2 - 53/8*w + 21/2],\ [2251, 2251, -5/8*w^3 + 2*w^2 + 45/8*w - 19/2],\ [2251, 2251, -3/8*w^3 + 2*w^2 + 19/8*w - 31/2],\ [2269, 2269, -1/8*w^3 - 23/8*w - 3/2],\ [2269, 2269, 9/8*w^3 - 113/8*w - 3/2],\ [2269, 2269, -9/8*w^3 + 113/8*w - 3/2],\ [2269, 2269, 1/8*w^3 + 23/8*w - 3/2],\ [2309, 2309, -11/4*w^3 + 5/2*w^2 + 129/4*w - 32],\ [2309, 2309, -13/8*w^3 + 3*w^2 + 157/8*w - 73/2],\ [2309, 2309, -2*w^3 + 7/2*w^2 + 45/2*w - 39],\ [2309, 2309, -13/8*w^3 + w^2 + 141/8*w - 13/2],\ [2311, 2311, -3/8*w^3 + w^2 + 43/8*w - 33/2],\ [2311, 2311, -1/8*w^3 - w^2 + 25/8*w - 7/2],\ [2311, 2311, 3/8*w^3 - 2*w^2 + 13/8*w - 3/2],\ [2311, 2311, 13/8*w^3 - 3/2*w^2 - 137/8*w + 25/2],\ [2351, 2351, -5/8*w^3 + 2*w^2 + 29/8*w - 7/2],\ [2351, 2351, 9/8*w^3 - 2*w^2 - 97/8*w + 45/2],\ [2351, 2351, w^3 - 3/2*w^2 - 27/2*w + 23],\ [2351, 2351, 1/8*w^3 + 3/2*w^2 - 45/8*w + 7/2],\ [2389, 2389, -3/8*w^3 + 3/2*w^2 + 31/8*w - 23/2],\ [2389, 2389, 1/4*w^3 + 3/2*w^2 - 7/4*w - 8],\ [2389, 2389, -1/4*w^3 + 3/2*w^2 + 7/4*w - 8],\ [2389, 2389, 3/8*w^3 + 3/2*w^2 - 31/8*w - 23/2],\ [2399, 2399, 9/8*w^3 - 2*w^2 - 41/8*w + 15/2],\ [2399, 2399, 21/8*w^3 - 2*w^2 - 245/8*w + 51/2],\ [2399, 2399, -19/8*w^3 + 2*w^2 + 211/8*w - 37/2],\ [2399, 2399, -7/8*w^3 + 2*w^2 + 7/8*w - 1/2],\ [2411, 2411, 1/4*w^3 + 3/2*w^2 - 3/4*w - 12],\ [2411, 2411, 5/8*w^3 - 3/2*w^2 - 57/8*w + 15/2],\ [2411, 2411, 5/8*w^3 + 3/2*w^2 - 57/8*w - 15/2],\ [2411, 2411, -1/4*w^3 + 3/2*w^2 + 3/4*w - 12],\ [2441, 2441, -3/8*w^3 + w^2 + 35/8*w - 1/2],\ [2441, 2441, 1/8*w^3 + w^2 - 1/8*w - 25/2],\ [2441, 2441, -1/8*w^3 + w^2 + 1/8*w - 25/2],\ [2441, 2441, -3/8*w^3 - w^2 + 35/8*w + 1/2],\ [2521, 2521, -2*w^3 + 1/2*w^2 + 45/2*w - 7],\ [2521, 2521, -7/8*w^3 - 5/2*w^2 + 83/8*w + 53/2],\ [2521, 2521, 7/8*w^3 - 5/2*w^2 - 83/8*w + 53/2],\ [2521, 2521, 2*w^3 + 1/2*w^2 - 45/2*w - 7],\ [2579, 2579, 1/4*w^3 - 5/2*w^2 + 21/4*w - 2],\ [2579, 2579, -1/4*w^3 + 3/2*w^2 + 7/4*w - 16],\ [2579, 2579, -9/8*w^3 + w^2 + 113/8*w - 13/2],\ [2579, 2579, 3/8*w^3 - 3/2*w^2 - 31/8*w + 7/2],\ [2609, 2609, -3/4*w^3 + w^2 + 31/4*w - 4],\ [2609, 2609, 1/2*w^3 + w^2 - 7/2*w - 9],\ [2609, 2609, -1/2*w^3 + w^2 + 7/2*w - 9],\ [2609, 2609, 3/4*w^3 + w^2 - 31/4*w - 4],\ [2621, 2621, 5/8*w^3 - w^2 - 61/8*w + 9/2],\ [2621, 2621, 1/8*w^3 + w^2 + 7/8*w - 17/2],\ [2621, 2621, -5/8*w^3 - 1/2*w^2 + 57/8*w - 3/2],\ [2621, 2621, -1/4*w^3 + 1/2*w^2 + 3/4*w - 8],\ [2671, 2671, 3/2*w^3 - w^2 - 37/2*w + 13],\ [2671, 2671, 1/8*w^3 + w^2 - 49/8*w - 15/2],\ [2671, 2671, 1/8*w^3 - w^2 - 49/8*w + 15/2],\ [2671, 2671, 3/8*w^3 + 2*w^2 - 27/8*w - 37/2],\ [2689, 2689, 23/8*w^3 - 271/8*w - 1/2],\ [2689, 2689, -3/8*w^3 - w^2 + 35/8*w + 31/2],\ [2689, 2689, 3/8*w^3 - w^2 - 35/8*w + 31/2],\ [2689, 2689, 23/8*w^3 - 271/8*w + 1/2],\ [2729, 2729, -9/8*w^3 + 1/2*w^2 + 101/8*w - 3/2],\ [2729, 2729, -1/2*w^3 + 1/2*w^2 + 2*w - 5],\ [2729, 2729, 1/2*w^3 + 1/2*w^2 - 2*w - 5],\ [2729, 2729, -9/8*w^3 - 1/2*w^2 + 101/8*w + 3/2],\ [2731, 2731, 1/2*w^3 - 7/2*w^2 - 6*w + 39],\ [2731, 2731, 11/8*w^3 - 1/2*w^2 - 119/8*w + 13/2],\ [2731, 2731, -1/8*w^3 + w^2 + 9/8*w - 31/2],\ [2731, 2731, 1/2*w^3 + 7/2*w^2 - 6*w - 39],\ [2789, 2789, 17/8*w^3 - 201/8*w - 5/2],\ [2789, 2789, 15/8*w^3 - w^2 - 175/8*w + 29/2],\ [2789, 2789, -19/8*w^3 + 5/2*w^2 + 207/8*w - 45/2],\ [2789, 2789, 5/8*w^3 - w^2 - 5/8*w - 3/2],\ [2809, 53, -7/8*w^3 + 2*w^2 + 71/8*w - 33/2],\ [2809, 53, -5/8*w^3 + 2*w^2 + 37/8*w - 19/2],\ [2819, 2819, -5/8*w^3 + w^2 + 45/8*w - 1/2],\ [2819, 2819, 5/8*w^3 + w^2 - 45/8*w - 25/2],\ [2819, 2819, -5/8*w^3 + w^2 + 45/8*w - 25/2],\ [2819, 2819, 5/8*w^3 + w^2 - 45/8*w - 1/2],\ [2851, 2851, -3/8*w^3 - 1/2*w^2 + 31/8*w - 11/2],\ [2851, 2851, -1/4*w^3 - 1/2*w^2 + 7/4*w + 12],\ [2851, 2851, -1/4*w^3 + 1/2*w^2 + 7/4*w - 12],\ [2851, 2851, -3/4*w^3 - 1/2*w^2 + 21/4*w + 2],\ [2861, 2861, 5/8*w^3 - 2*w^2 + 11/8*w - 3/2],\ [2861, 2861, -3/8*w^3 + w^2 + 19/8*w - 35/2],\ [2861, 2861, 3/8*w^3 + w^2 - 19/8*w - 35/2],\ [2861, 2861, 3/4*w^3 - w^2 - 15/4*w + 6],\ [2939, 2939, -7/8*w^3 - 1/2*w^2 + 75/8*w - 1/2],\ [2939, 2939, 1/2*w^3 + 1/2*w^2 - 3*w - 7],\ [2939, 2939, -1/2*w^3 + 1/2*w^2 + 3*w - 7],\ [2939, 2939, 7/8*w^3 - 1/2*w^2 - 75/8*w - 1/2],\ [2999, 2999, 3/4*w^3 - 3/2*w^2 - 17/4*w + 8],\ [2999, 2999, -11/8*w^3 + 3/2*w^2 + 119/8*w - 23/2],\ [2999, 2999, 11/8*w^3 + 3/2*w^2 - 119/8*w - 23/2],\ [2999, 2999, 1/8*w^3 - 1/2*w^2 + 27/8*w - 11/2],\ [3019, 3019, 5/8*w^3 - 5/2*w^2 - 57/8*w + 53/2],\ [3019, 3019, -2*w^3 + 1/2*w^2 + 45/2*w - 5],\ [3019, 3019, 2*w^3 + 1/2*w^2 - 45/2*w - 5],\ [3019, 3019, -5/8*w^3 - 5/2*w^2 + 57/8*w + 53/2],\ [3041, 3041, -w^3 + 3*w^2 - 1],\ [3041, 3041, 9/8*w^3 - 3*w^2 - 17/8*w + 13/2],\ [3041, 3041, -1/2*w^3 + w^2 - 5/2*w + 3],\ [3041, 3041, -25/8*w^3 + 3*w^2 + 289/8*w - 65/2],\ [3049, 3049, -5/8*w^3 - 3*w^2 + 61/8*w + 65/2],\ [3049, 3049, -15/8*w^3 - w^2 + 167/8*w + 25/2],\ [3049, 3049, -15/8*w^3 + w^2 + 167/8*w - 25/2],\ [3049, 3049, 5/8*w^3 - 3*w^2 - 61/8*w + 65/2],\ [3061, 3061, 1/8*w^3 + 3/2*w^2 - 13/8*w - 17/2],\ [3061, 3061, -5/8*w^3 - 1/2*w^2 + 73/8*w + 9/2],\ [3061, 3061, -5/8*w^3 + 1/2*w^2 + 73/8*w - 9/2],\ [3061, 3061, -1/8*w^3 + 3/2*w^2 + 13/8*w - 17/2],\ [3109, 3109, 7/4*w^3 - 3/2*w^2 - 89/4*w + 22],\ [3109, 3109, 1/8*w^3 - 41/8*w + 7/2],\ [3109, 3109, 1/8*w^3 - 3/2*w^2 + 43/8*w - 5/2],\ [3109, 3109, 2*w^2 - 2*w - 15],\ [3191, 3191, -w^3 + 5/2*w^2 + 1/2*w - 1],\ [3191, 3191, 25/8*w^3 - 5/2*w^2 - 293/8*w + 63/2],\ [3191, 3191, -21/8*w^3 + 2*w^2 + 237/8*w - 39/2],\ [3191, 3191, 23/8*w^3 - 3*w^2 - 263/8*w + 63/2],\ [3209, 3209, -1/4*w^3 + 1/2*w^2 - 1/4*w - 6],\ [3209, 3209, -7/8*w^3 + 1/2*w^2 + 83/8*w - 1/2],\ [3209, 3209, -7/8*w^3 - 1/2*w^2 + 83/8*w + 1/2],\ [3209, 3209, 1/4*w^3 + 1/2*w^2 + 1/4*w - 6],\ [3229, 3229, -15/8*w^3 - w^2 + 167/8*w + 21/2],\ [3229, 3229, -7/8*w^3 + 3*w^2 + 79/8*w - 65/2],\ [3229, 3229, -7/8*w^3 - 3*w^2 + 79/8*w + 65/2],\ [3229, 3229, -15/8*w^3 + w^2 + 167/8*w - 21/2],\ [3251, 3251, 7/8*w^3 - 87/8*w + 19/2],\ [3251, 3251, 9/8*w^3 - 3/2*w^2 - 93/8*w + 19/2],\ [3251, 3251, -7/8*w^3 + 95/8*w - 17/2],\ [3251, 3251, -7/8*w^3 + 87/8*w + 19/2],\ [3259, 3259, 1/2*w^3 - 1/2*w^2 - 8*w + 3],\ [3259, 3259, 3/2*w^2 + 1/2*w - 9],\ [3259, 3259, 3/2*w^2 - 1/2*w - 9],\ [3259, 3259, -1/8*w^3 + 3/2*w^2 + 13/8*w - 21/2],\ [3271, 3271, 11/8*w^3 - 139/8*w + 7/2],\ [3271, 3271, -3/4*w^3 + 3*w^2 - 9/4*w - 2],\ [3271, 3271, -1/2*w^3 + 5/2*w^2 + 2*w - 7],\ [3271, 3271, -3*w^3 + 3*w^2 + 36*w - 37],\ [3301, 3301, 3/4*w^3 - 2*w^2 - 27/4*w + 14],\ [3301, 3301, -5/8*w^3 + 2*w^2 + 37/8*w - 21/2],\ [3301, 3301, 5/8*w^3 + 2*w^2 - 37/8*w - 21/2],\ [3301, 3301, -7/8*w^3 + 2*w^2 + 71/8*w - 31/2],\ [3319, 3319, -11/8*w^3 - w^2 + 115/8*w + 17/2],\ [3319, 3319, -9/8*w^3 + 2*w^2 + 57/8*w - 15/2],\ [3319, 3319, 7/8*w^3 - w^2 - 47/8*w + 9/2],\ [3319, 3319, -11/8*w^3 + w^2 + 115/8*w - 17/2],\ [3359, 3359, -3/8*w^3 + 2*w^2 + 43/8*w - 51/2],\ [3359, 3359, -13/8*w^3 + 3*w^2 + 157/8*w - 71/2],\ [3359, 3359, -15/8*w^3 + 7/2*w^2 + 163/8*w - 73/2],\ [3359, 3359, 19/8*w^3 + 2*w^2 - 219/8*w - 41/2],\ [3361, 3361, -1/4*w^3 + 1/2*w^2 + 15/4*w - 12],\ [3361, 3361, -1/8*w^3 - 1/2*w^2 + 21/8*w - 11/2],\ [3361, 3361, 1/8*w^3 - 1/2*w^2 - 21/8*w - 11/2],\ [3361, 3361, 1/4*w^3 + 1/2*w^2 - 15/4*w - 12],\ [3449, 3449, -23/8*w^3 + 2*w^2 + 263/8*w - 41/2],\ [3449, 3449, -17/8*w^3 + 2*w^2 + 193/8*w - 39/2],\ [3449, 3449, -9/8*w^3 + 3*w^2 + 1/8*w - 3/2],\ [3449, 3449, 29/8*w^3 - 3*w^2 - 341/8*w + 75/2],\ [3461, 3461, 1/8*w^3 - w^2 + 47/8*w - 13/2],\ [3461, 3461, -7/4*w^3 + 3/2*w^2 + 81/4*w - 14],\ [3461, 3461, 15/8*w^3 - w^2 - 191/8*w + 39/2],\ [3461, 3461, -5/8*w^3 + 3/2*w^2 + 9/8*w - 11/2],\ [3469, 3469, -3/4*w^3 + 2*w^2 + 35/4*w - 26],\ [3469, 3469, -9/8*w^3 - 3*w^2 + 105/8*w + 65/2],\ [3469, 3469, -9/8*w^3 + 3*w^2 + 105/8*w - 65/2],\ [3469, 3469, 15/8*w^3 - 167/8*w + 3/2],\ [3491, 3491, 1/8*w^3 + w^2 - 33/8*w - 19/2],\ [3491, 3491, -3/8*w^3 + w^2 + 19/8*w - 21/2],\ [3491, 3491, -5/8*w^3 + w^2 + 69/8*w - 7/2],\ [3491, 3491, -1/8*w^3 + w^2 + 33/8*w - 19/2],\ [3511, 3511, 15/8*w^3 - w^2 - 167/8*w + 23/2],\ [3511, 3511, 1/8*w^3 - 3*w^2 - 9/8*w + 65/2],\ [3511, 3511, -1/8*w^3 - 3*w^2 + 9/8*w + 65/2],\ [3511, 3511, -15/8*w^3 - w^2 + 167/8*w + 23/2],\ [3529, 3529, 15/8*w^3 - 1/2*w^2 - 187/8*w + 21/2],\ [3529, 3529, -7/8*w^3 + 3*w^2 - 9/8*w - 7/2],\ [3529, 3529, -1/4*w^3 + 1/2*w^2 - 17/4*w + 4],\ [3529, 3529, 25/8*w^3 - 3*w^2 - 297/8*w + 71/2],\ [3571, 3571, -23/8*w^3 + w^2 + 263/8*w - 23/2],\ [3571, 3571, 1/8*w^3 + 2*w^2 - 9/8*w - 39/2],\ [3571, 3571, -1/8*w^3 + 2*w^2 + 9/8*w - 39/2],\ [3571, 3571, -23/8*w^3 - w^2 + 263/8*w + 23/2],\ [3659, 3659, 7/8*w^3 - 87/8*w + 15/2],\ [3659, 3659, 7/8*w^3 - 3/2*w^2 - 75/8*w + 17/2],\ [3659, 3659, -7/8*w^3 - 3/2*w^2 + 75/8*w + 17/2],\ [3659, 3659, 7/8*w^3 - 87/8*w - 15/2],\ [3671, 3671, 11/8*w^3 - 123/8*w + 9/2],\ [3671, 3671, 7/2*w^2 + 1/2*w - 41],\ [3671, 3671, -7/2*w^2 + 1/2*w + 41],\ [3671, 3671, 11/8*w^3 - 123/8*w - 9/2],\ [3691, 3691, -5/4*w^3 + 1/2*w^2 + 51/4*w - 2],\ [3691, 3691, 7/8*w^3 - 1/2*w^2 - 51/8*w + 9/2],\ [3691, 3691, -11/8*w^3 + 3*w^2 + 59/8*w - 17/2],\ [3691, 3691, 5/8*w^3 + w^2 - 61/8*w - 33/2],\ [3701, 3701, 3/4*w^3 - 3/2*w^2 - 25/4*w + 4],\ [3701, 3701, 1/8*w^3 + 2*w^2 + 15/8*w - 27/2],\ [3701, 3701, -7/8*w^3 + 3/2*w^2 + 67/8*w - 31/2],\ [3701, 3701, 7/8*w^3 + 2*w^2 - 87/8*w - 25/2],\ [3721, 61, 3/8*w^3 - 27/8*w - 17/2],\ [3721, 61, -3/8*w^3 + 27/8*w - 17/2],\ [3739, 3739, -7/8*w^3 - 1/2*w^2 + 59/8*w + 3/2],\ [3739, 3739, w^3 + 1/2*w^2 - 19/2*w - 5],\ [3739, 3739, w^3 - 1/2*w^2 - 19/2*w + 5],\ [3739, 3739, -3/8*w^3 + 35/8*w - 17/2],\ [3779, 3779, 1/2*w^2 - 5/2*w - 9],\ [3779, 3779, -5/8*w^3 - 1/2*w^2 + 65/8*w - 5/2],\ [3779, 3779, 5/8*w^3 - 1/2*w^2 - 65/8*w - 5/2],\ [3779, 3779, 1/2*w^2 + 5/2*w - 9],\ [3821, 3821, -3/8*w^3 - 7/2*w^2 + 39/8*w + 81/2],\ [3821, 3821, 11/8*w^3 + w^2 - 131/8*w - 15/2],\ [3821, 3821, 11/8*w^3 - w^2 - 131/8*w + 15/2],\ [3821, 3821, -3/8*w^3 + 7/2*w^2 + 39/8*w - 81/2],\ [3881, 3881, 1/8*w^3 - w^2 - 25/8*w + 29/2],\ [3881, 3881, -5/4*w^3 + 3*w^2 + 33/4*w - 10],\ [3881, 3881, 3/8*w^3 + w^2 - 43/8*w + 3/2],\ [3881, 3881, -2*w^3 + 3*w^2 + 21*w - 29],\ [3889, 3889, 5/8*w^3 + 2*w^2 - 61/8*w - 37/2],\ [3889, 3889, -1/8*w^3 + 2*w^2 + 25/8*w - 17/2],\ [3889, 3889, 1/8*w^3 + 2*w^2 - 25/8*w - 17/2],\ [3889, 3889, -3/8*w^3 - 2*w^2 + 43/8*w + 35/2],\ [3911, 3911, 1/8*w^3 + w^2 - 25/8*w - 27/2],\ [3911, 3911, -3/8*w^3 - w^2 + 43/8*w - 1/2],\ [3911, 3911, -3/8*w^3 + w^2 + 43/8*w + 1/2],\ [3911, 3911, -1/8*w^3 + w^2 + 25/8*w - 27/2],\ [3931, 3931, -13/8*w^3 + 141/8*w + 5/2],\ [3931, 3931, 21/8*w^3 - 1/2*w^2 - 249/8*w + 13/2],\ [3931, 3931, -21/8*w^3 - 1/2*w^2 + 249/8*w + 13/2],\ [3931, 3931, -13/8*w^3 + 141/8*w - 5/2],\ [3989, 3989, -3/8*w^3 + w^2 + 59/8*w - 23/2],\ [3989, 3989, -5/8*w^3 + w^2 + 77/8*w - 3/2],\ [3989, 3989, -5/8*w^3 + 3/2*w^2 + 41/8*w - 27/2],\ [3989, 3989, 3/8*w^3 + w^2 - 59/8*w - 23/2]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^3 + 3*x^2 - 5*x - 13 K. = NumberField(heckePol) hecke_eigenvalues_array = [e, 1, e + 1, 1, -e^2 - e + 4, -e^2 + 13, -e^2 + 13, -2*e - 2, -e^2 + e + 8, 2*e^2 + 2*e - 10, 6, e^2 - 2*e - 9, 3*e^2 + e - 20, -2*e^2 - 2*e + 12, 5*e + 1, e^2 + 2*e - 9, -3*e^2 - 4*e + 13, 4*e^2 + e - 25, e^2 + 4*e - 9, 4*e^2 + 2*e - 20, -3*e^2 - 2*e + 13, -5*e^2 - 5*e + 24, -2*e + 4, -2*e^2 - 3*e + 5, -e^2 + 2*e + 9, 2*e^2 + 2*e - 12, -4*e^2 - 4*e + 14, -2*e^2 - 4*e + 18, e - 3, -e^2 + 2*e + 17, -e^2 - 4*e + 5, 3*e^2 + 2*e - 17, 2*e + 14, 4*e + 4, -5*e - 5, 3*e^2 + 2*e - 7, 2*e^2 + 2*e - 16, -3*e^2 - e + 16, e^2 - 5*e - 10, -2*e^2 - 4*e + 6, -e^2 + 3*e + 18, 2*e^2 + 4*e - 8, -2*e + 6, -4*e^2 - 6*e + 18, 2*e^2 + 2*e - 10, -6*e^2 - 7*e + 19, 2*e + 26, 2*e^2 + 10*e - 10, -4*e^2 + 28, -5*e^2 - 5*e + 24, -3*e^2 - 8*e + 7, 6*e^2 + 8*e - 28, 5*e^2 + 2*e - 27, e^2 - 5*e, -4*e^2 + 12, -4*e^2 - 3*e + 27, -e^2 + 13, -3*e^2 - 3*e + 24, 4*e^2 + 4*e - 24, -8*e^2 - 4*e + 46, 3*e^2 + 3*e - 28, -2*e^2 - e + 9, 4*e^2 - 2*e - 28, 3*e^2 + 11*e - 14, -5*e^2 - 4*e + 21, 2*e^2 + 2*e - 22, -7*e - 17, -7*e^2 + 3*e + 54, 6*e^2 + 10*e - 36, 4*e^2 - e - 39, -3*e^2 + 5*e + 38, 6*e^2 - 2*e - 44, -8*e^2 - 5*e + 51, -e^2 - 8*e - 1, -e^2 - 7*e - 4, -e^2 - 8*e + 1, 3*e^2 - 4*e - 11, 2*e^2 + 4*e - 26, -5*e^2 - e + 52, e^2 + e, 7*e^2 + 8*e - 23, 5*e^2 - 2*e - 31, 7*e^2 + 14*e - 35, -7*e^2 - 4*e + 27, 2*e^2 - e + 3, e^2 - 3*e - 16, 3*e^2 + 3*e - 22, 6*e - 16, -6*e^2 - 8*e + 42, -6*e^2 + 56, 2*e^2 + 10*e - 22, -4*e^2 - 8*e + 2, -2*e^2 - 11*e + 21, -e^2 - 2*e + 5, -8*e^2 - 12*e + 26, 6*e^2 + 5*e - 31, 7*e^2 + 12*e - 37, -4*e^2 - 7*e + 9, 3*e^2 - 4*e - 11, e^2 + 4*e - 1, 8*e^2 - 5*e - 65, -4*e^2 - 6*e + 24, -4*e + 22, 3*e - 13, -6*e^2 - 8*e + 6, 11*e^2 - 81, e^2 + 10*e + 11, -3*e^2 - 2*e + 9, 9*e^2 + 11*e - 26, 6*e^2 + 14*e - 20, 2*e^2 - 6*e - 36, 7*e^2 + 11*e - 30, 2*e^2 + 2*e + 2, 10*e^2 + 6*e - 56, -2*e^2 - 7*e - 15, 4*e^2 - 2*e - 28, 6*e^2 - 24, -12*e^2 - 5*e + 73, e^2 - 10*e - 11, -3*e^2 - 10*e + 35, -8*e^2 - 12*e + 28, -e^2 - 6*e - 15, 2*e^2 + 12*e - 18, 3*e^2 + 8*e - 23, -5*e^2 + 4*e + 47, -2*e^2 - e - 3, -2*e^2 - 8*e + 32, -3*e^2 + 4*e - 3, 6*e^2 + 8*e - 22, 4*e^2 + 4*e - 6, -7*e^2 - 8*e + 59, 3*e^2 - 15, 3*e^2 + 16*e - 17, 8*e^2 + 8*e - 48, -2*e^2 - 4*e + 46, -3*e^2 - 11*e - 2, -2*e^2 - 15*e - 5, -8*e^2 - e + 75, -4*e^2 + 10, 7*e^2 + 2*e - 59, 2*e^2 - 13*e - 21, -2*e^2 - 10*e + 10, 8*e^2 - 4*e - 70, -5*e^2 - 20*e + 11, -6*e - 22, 4*e^2 + 6*e - 20, -2*e^2 + 8, -4*e^2 - 14*e + 20, 4*e^2 - 2*e - 24, 4*e^2 - 2*e - 24, -6*e^2 - 2*e + 76, 8*e^2 + 4*e - 34, 10*e^2 + 18*e - 46, -6*e^2 - 6*e + 42, -7*e^2 - 7*e + 38, 10*e^2 - 2*e - 88, -10*e^2 - 3*e + 49, 9*e^2 + 5*e - 34, 10*e^2 + 6*e - 64, 4*e^2 + 4*e - 12, -11*e^2 - 6*e + 55, -12*e^2 - 22*e + 52, 4*e^2 - 7*e - 45, 9*e^2 + 2*e - 53, -7*e^2 - 14*e + 13, -6*e^2 + 4*e + 60, -10*e^2 - 2*e + 82, -5*e^2 - 6*e + 31, 14*e^2 + 14*e - 72, -6*e^2 + 12, 2*e^2 + 5*e + 3, -2*e - 20, -10*e^2 - 11*e + 61, 10*e^2 + 10*e - 58, 4*e^2 - 4*e, 6*e^2 + 20*e - 8, -5*e^2 - 16*e + 1, -5*e^2 - 14*e + 45, -7*e^2 - 23*e + 32, -6*e^2 - 8*e + 40, 11*e^2 + 8*e - 69, -6*e^2 + 5*e + 47, -8*e^2 - 4*e + 34, -10*e^2 + 2*e + 54, -12*e^2 - 19*e + 67, 14*e^2 + 11*e - 85, -8*e + 36, 12*e^2 + 14*e - 50, -3*e^2 + 6*e + 63, 6*e^2 - 6*e - 48, -8*e^2 - 8*e + 42, 4*e^2 + 10*e - 24, -2*e^2 - 10*e - 24, -6*e^2 - 2*e + 36, 6*e^2 + 16*e - 30, -13*e^2 - 10*e + 89, 2*e^2 + 8*e + 12, -4*e^2 - 6*e + 16, -10*e^2 - 26*e + 50, 6*e^2 + 6*e - 24, 4*e^2 + 4*e + 2, -e^2 - 14*e + 1, 4*e^2 + 2*e + 12, -2*e^2 - 8*e - 4, 3*e^2 - 57, 2*e + 62, 16*e^2 + 14*e - 74, -11*e^2 - 19*e + 64, -5*e^2 - 12*e + 29, 5*e^2 + 16*e - 37, -4*e^2 - 12*e + 58, -5*e^2 - 25*e + 40, 5*e^2 + 2*e - 3, -6*e^2 - 18*e + 48, 2*e^2 + 18*e - 8, -8*e^2 - 7*e + 43, e^2 - 13*e - 2, 11*e^2 + 22*e - 49, 5*e^2 + 5*e - 30, 13*e^2 + 14*e - 59, 6*e^2 + 20*e - 14, 6*e^2 + e - 81, -4*e^2 - 2*e + 34, 3*e^2 + 6*e + 35, 4*e^2 - 2*e - 4, 5*e^2 - 11*e - 38, -6*e^2 + 3*e + 53, -12*e^2 - 12*e + 62, e^2 + 1, -4*e^2 + 18, 9*e^2 + 4*e - 15, 16*e^2 + 19*e - 49, -12*e^2 - 26*e + 66, -15*e^2 - 20*e + 57, 9*e^2 + 8*e - 49, -5*e^2 + 3*e + 2, 12*e^2 + 18*e - 66, -10*e^2 - 26*e + 56, -4*e^2 + 2*e + 20, -15*e^2 - 15*e + 56, 7*e^2 + 13*e - 40, -3*e^2 + 59, 16*e^2 + 7*e - 117, -5*e^2 + 3*e + 50, -7*e^2 - 12*e + 13, 20*e^2 + 16*e - 100, -11*e^2 + 3*e + 104, 16*e^2 + 14*e - 86, 6*e^2 + 15*e - 57, -15*e^2 - 18*e + 39, -4*e^2 - 4*e + 80, -8*e^2 - 7*e + 33, 8*e^2 + e - 83, e^2 - 5*e - 40, -12*e^2 - 12*e + 72, -18, 11*e^2 + 8*e - 63, 12*e^2 + 12*e - 54, -9*e^2 - 13*e + 22, 17*e^2 + 24*e - 57, 8*e^2 - 4*e - 70, -4*e + 22, 12*e^2 + 12*e - 42, 8*e^2 - 10*e - 48, 12*e^2 + 20*e - 82, -18*e - 24, -12*e^2 + 4*e + 96, 9*e^2 + 3*e - 100, 8*e - 8, 2*e^2 - 18*e - 36, -12*e^2 - 12*e + 98, 2*e^2 + 14*e - 4, -12*e^2 + e + 87, 13*e^2 + 20*e - 39, 8*e^2 + 10*e - 14, 7*e^2 + 13*e - 58, -10*e^2 - 6*e + 30, -7*e^2 - 11*e + 34, -6*e^2 + 14*e + 56, -e^2 - 4*e - 33, 6*e^2 + 4*e - 86, -14*e^2 - 10*e + 52, 6*e^2 - 3*e - 85, -18*e^2 - 18*e + 104, -e^2 + 6*e + 45, 2*e^2 + 6*e - 30, -11*e^2 - 6*e + 49, -13*e^2 - 4*e + 89, -5*e^2 - 6*e - 7, 14*e^2 + 16*e - 52, 3*e^2 - 12*e - 69, 6*e^2 + 2*e - 52, 4*e^2 - 4, -7*e^2 - 18*e + 37, 8*e^2 + 8*e + 18, -3*e^2 - 12*e + 69, -14*e - 32, -8*e^2 - 12*e - 4, 11*e^2 + 20*e - 45, 6, -6*e^2 - 30*e + 12, 20*e^2 + 16*e - 112, 22*e^2 + 24*e - 94, -7*e^2 - 18*e + 31, 8*e^2 - 16*e - 64, -5*e^2 - 13*e - 24, 6*e^2 + 10*e - 36, -21*e^2 - 16*e + 121, -11*e^2 + 2*e + 63, 10*e + 18, 21*e^2 + 32*e - 77, 13*e^2 - 2*e - 85, 14*e^2 + 19*e - 19, -8*e^2 - 2*e + 96, 8*e^2 + 26*e - 66, -2*e^2 - 18*e - 28, 10*e^2 + 16*e - 24, -8*e^2 + 14*e + 58, -6*e^2 - 14*e - 14, -16*e^2 - 4*e + 78, 8*e^2 - e - 67, 18*e^2 + 14*e - 68, 9*e^2 + 7*e - 78, 4*e^2 + 27*e + 1, 8*e^2 + 2*e - 52, -2*e^2 - 20*e - 16, 11*e^2 + 32*e - 49, -10*e^2 - 23*e + 49, 12*e^2 - 5*e - 105, 4*e^2 - 6*e - 8, -6*e^2 - 2*e + 36, 2*e^2 + 4*e + 22, 4*e^2 + 11*e - 63, -12*e^2 - 12*e + 74, 22*e^2 + 12*e - 122, 3*e^2 + 20*e - 11, 16*e^2 + 8*e - 114, -10*e^2 - 24*e + 48, -4*e^2 - 14*e - 4, 9*e^2 + 24*e - 33, -7*e^2 - 9*e - 8, e^2 + 8*e + 31, -5*e^2 + 8*e + 75, 8*e^2 + 8*e - 88, 14*e^2 + 21*e - 87, -9*e^2 - 16*e + 79, -20*e^2 - 16*e + 124, -6*e^2 + 5*e + 101, 8*e^2 + 16*e + 20, 13*e^2 + 22*e - 81, 7*e^2 + e - 4, -e^2 - 15, 12*e^2 + 22*e - 72, 9*e^2 + 17*e - 80, 14*e^2 + 4*e - 76, 10*e^2 + 10*e - 60, -24*e^2 - 27*e + 111, -19*e^2 - 34*e + 75, -10*e^2 - 18*e + 52, -14*e^2 - 26*e + 84, -7*e + 17, -17*e^2 - 9*e + 74, 6*e^2 + 25*e + 7, 18*e^2 + 13*e - 125, 20*e^2 + 6*e - 140, -4*e^2 + 12*e - 2, -e^2 + 10*e - 41, 15*e^2 + 22*e - 69, -6*e^2 + 22*e + 78, 7*e^2 + 4*e + 5, 16*e^2 - 13*e - 131, -5*e^2 + 7*e + 78, 9*e^2 + 16*e - 47, 9*e^2 + 16*e + 7, -16*e^2 - 16*e + 66, 18*e^2 - 4*e - 142, 11*e^2 - 6*e - 65, -e^2 + 8*e - 51, 2*e^2 + 22*e + 32, 5*e^2 - 10*e - 45, 12*e^2 + 27*e - 81, 2*e^2 + 8*e - 60, 20*e^2 + 6*e - 126, 10*e^2 + 12*e - 14, -16*e^2 - 2*e + 112, -5*e^2 + 4*e + 77, -4*e^2 - 24*e - 6, 23*e^2 + 2*e - 163, -10*e^2 - 2*e + 34, -e^2 + 8*e + 83, -14*e^2 + 10*e + 114, 6*e^2 + 6*e - 96, -19*e^2 - 20*e + 119, 25*e^2 + 29*e - 92, -9*e^2 - 21*e + 38, -10*e^2 - e + 71, -6*e^2 - 8*e + 6, 15*e^2 + 13*e - 84, -12*e^2 - 30*e + 54, 11*e^2 + 24*e - 89, -18*e^2 - 8*e + 94, -5*e^2 - 2*e + 9, -4*e^2 - 14*e + 64, 19*e^2 + 2*e - 105, -18*e^2 - 2*e + 94, 14*e^2 + 41*e - 57, -11*e^2 - 14*e + 33, 3*e^2 - 18*e - 27, 16*e^2 - 4*e - 120, -8*e^2 + 2*e + 126, 20*e^2 + 28*e - 56, -e^2 + 10*e + 73, -8*e^2 - 14*e, -18*e^2 - 4*e + 92, -12*e - 48, 17*e + 23, 18*e^2 + 20*e - 94, -4*e^2 + 16*e + 44, 8*e^2 - 11*e - 67, 3*e^2 + 2*e - 7, 3*e^2 - 18*e - 63, 2*e^2 - 16*e + 6, -8*e^2 + 10*e + 72, -7*e^2 - 41*e + 32, 8*e^2 + 14*e - 58, e^2 - 4*e - 9, e^2 + 4*e - 49, 21*e^2 - 151, -16*e^2 - 18*e + 76, 15*e^2 - 2*e - 77, 3*e^2 + 3*e + 36, 12*e^2 + 6*e - 96, 2*e^2 + 7*e - 5, 8*e^2 - 12*e - 60, -2*e^2 + 29*e + 39, -4*e^2 + 16*e - 8, 18*e + 56, -2*e^2 + 7*e - 1, -6*e^2 - 17*e + 57, -20*e^2 - 20*e + 98, 2*e^2 + 16*e - 44, -16*e^2 - 11*e + 55, 8*e^2 - 8*e - 20, 24*e^2 + 24*e - 94, 4*e^2 + 22*e - 42, -7*e^2 - 6*e + 103, -18*e^2 - 14*e + 40, 2*e^2 - 5*e + 35, 9*e^2 + 40*e - 23, 6*e^2 - 14*e - 56, 3*e^2 + 14*e - 67, 4*e^2 - 12*e - 16, -14*e^2 - 2*e + 80, -24*e^2 - 4*e + 178, 9*e^2 - 4*e - 53, 12*e^2 + 42*e - 34, -13*e^2 + 10*e + 125, 4*e^2 + 2*e - 44, -4*e^2 + 12*e + 52, -e^2 + e + 86, 6*e^2 + 42*e - 16, -15*e^2 - 24*e + 29, 11*e^2 - 2*e - 83, 8*e^2 + 32*e - 16, 12*e^2 + 8*e - 38, e^2 + 2*e + 51, -25*e^2 - 30*e + 105, -12*e^2 + 3*e + 155, -6*e^2 - 24*e + 62, 10*e^2 + 38*e - 54, -15*e^2 - 18*e + 41, 5*e^2 + 5*e - 34, -2*e^2 + 18*e + 40, -2*e^2 - 2*e - 22, 17*e^2 + 9*e - 66, 12*e^2 + 18*e + 14, -5*e^2 + 8*e + 43, -3*e^2 + 14*e + 17, 24*e^2 + 19*e - 89, -5*e^2 - e - 20, 13*e^2 + 8*e - 81, -5*e^2 + 2*e + 75, -4*e^2 - 26*e + 28, -27*e^2 - 28*e + 127, 2*e^2 + 12*e - 8, -11*e^2 - 26*e + 21, 18*e^2 + 20*e - 124, -13*e^2 - 18*e + 31, 13*e^2 + 26*e - 71, 17*e^2 + 25*e - 112, -9*e^2 - 20*e + 61, 5*e^2 + 13*e - 22, 15*e^2 + 16*e - 63, 2*e^2 - 4*e - 70, 6*e^2 + 28*e - 60, -5*e^2 - 8*e + 17, 14*e^2 + 8*e - 138, -11*e^2 - 42*e + 35, -15*e^2 + e + 136, -4*e^2 + 13*e + 17, -19*e^2 - 30*e + 87, 16*e^2 + 22*e - 76, -2*e^2 - 5*e + 23, -21*e^2 - 16*e + 67, -7*e^2 - 26*e + 55, -12*e + 26, -15*e^2 - 8*e + 57, -18*e^2 + 12*e + 140, -6*e^2 + 16*e + 78, -12*e^2 + 14*e + 76, 14*e^2 + 11*e - 73, -12*e^2 - 42*e + 32, 26*e^2 + 25*e - 139, 3*e^2 + 12*e + 15, e^2 + 23*e + 64, 3*e^2 + 4*e + 1, -e^2 - 15*e - 8, -4*e^2 + 18*e + 10, -2*e^2 - 11*e - 57, -7*e^2 - 22*e + 15, 9*e^2 + 36*e - 7, -26*e^2 - 34*e + 84, 19*e^2 + 24*e - 35, 9*e^2 - 10*e - 101, 16*e^2 + 10*e - 96, 5*e^2 + 31*e + 20, -17*e^2 - 44*e + 81, 4*e^2 + 22*e - 72, -10*e^2 + 9*e + 39, 4*e^2 - 13*e - 39, -10*e^2 + 102, 12*e^2 + 6*e - 46, -2*e^2 - 22*e + 12, 5*e^2 + 14*e - 73, -4*e^2 - 44*e - 4, 18*e^2 + 22*e - 128, 30*e^2 + 30*e - 144, 2*e^2 - 12*e + 10, 6*e^2 - 2*e + 10, 2*e^2 + 5*e - 87, 8*e^2 + 2*e - 60, 18*e^2 + 18*e - 66, -15*e^2 - 30*e + 33, 13*e^2 + 38*e - 35, 7*e^2 + 43*e - 18, 19*e^2 + e - 108, -19*e^2 - 36*e + 63, 9*e^2 - 6*e - 31, 3*e^2 + 28*e - 51, 11*e^2 + 34*e - 65, -6*e^2 + 19*e + 25, -15*e^2 + 2*e + 119, 11*e^2 + 9*e - 80, -2*e^2 + 20*e + 82, -11*e^2 - 10*e - 9, -14*e^2 - 2*e + 80, 32*e^2 + 28*e - 140, -13*e^2 - 36*e + 63, 7*e^2 + 5*e - 98, -6*e^2 - 8*e + 76, -9*e^2 + 29*e + 74, -17*e^2 + 4*e + 129] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([4,2,1/8*w^3 + 1/2*w^2 - 5/8*w - 3/2])] = -1 AL_eigenvalues[ZF.ideal([5,5,-1/8*w^3 + 1/8*w - 1/2])] = -1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]