Magma V2.13-11 Sun Nov 11 2007 03:15:14 on amd19 [Seed = 3919109501] Type ? for help. Type -D to quit. Loading file "do-89" Loading "../data/M.89.1.plus" Loading "do_generic" Loading "padic.magma" Loading "integrals.magma" Loading "tate.magma" Loading "stark-heegner.magma" ------------------------------------------------------------------- You are now set up to perform Stark-Heegner point calculations on E = Elliptic Curve defined by y^2 + x*y + y = x^3 + x^2 - x over Rational Field working over Qp = the 89-adic field mod 89^10 ------------------------------------------------------------------- /* D = 3 (mod 89 ) [* 92, 1, (0 : 0 : 1)*] [* 181, -1, (0 : -1 : 1)*] [* 537, 0, (0 : 1 : 0)*] [* 893, 1, (0 : 0 : 1)*] [* 1160, -2, (-1 : 1 : 1)*] [* 1249, 0, (0 : 1 : 0)*] [* 1516, 1, (0 : 0 : 1)*] [* 1605, 2, (-1 : -1 : 1)*] [* 1961, 0, (0 : 1 : 0)*] [* 2317, -4, (3/4 : -15/8 : 1)*] [* 2584, 1, (0 : 0 : 1)*] [* 3029, 6, (15/49 : -393/343 : 1)*] [* 3385, -2, (-1 : 1 : 1)*] [* 3741, -3, (2 : 2 : 1)*] [* 4008, -2, (-1 : 1 : 1)*] [* 4097, -3, (2 : 2 : 1)*] [* 4364, 5, (-14/9 : 22/27 : 1)*] [* 4453, 1, (0 : 0 : 1)*] [* 4809, 0, (0 : 1 : 0)*] [* 5165, -6, (15/49 : -55/343 : 1)*] [* 5432, -2, (-1 : 1 : 1)*] [* 5521, 2, (-1 : -1 : 1)*] [* 5788, 5, (-14/9 : 22/27 : 1)*] [* 6233, -1, (0 : -1 : 1)*] [* 6589, 1, (0 : 0 : 1)*] [* 6856, -2, (-1 : 1 : 1)*] [* 6945, 1, (0 : 0 : 1)*] [* 7212, 3, (2 : -5 : 1)*] [* 7657, 3, (2 : -5 : 1)*] [* 8013, 9, (-2784/6889 : -609632/571787 : 1)*] [* 8369, 1, (0 : 0 : 1)*] [* 8636, -5, (-14/9 : -7/27 : 1)*] [* 9437, -4, (3/4 : -15/8 : 1)*] [* 9704, -2, (-1 : 1 : 1)*] [* 9793, 0, (0 : 1 : 0)*] /* D = 6 (mod 89 ) [* 184, 1, (0 : 0 : 1)*] [* 273, 0, (0 : 1 : 0)*] [* 629, 2, (-1 : -1 : 1)*] [* 985, -3, (2 : 2 : 1)*] [* 1608, -4, (3/4 : -15/8 : 1)*] [* 1697, 3, (2 : -5 : 1)*] [* 1964, 1, (0 : 0 : 1)*] [* 2053, -3, (2 : 2 : 1)*] [* 2409, 1, (0 : 0 : 1)*] [* 2765, -2, (-1 : 1 : 1)*] [* 3032, 1, (0 : 0 : 1)*] [* 3121, -3, (2 : 2 : 1)*] [* 3477, 5, (-14/9 : 22/27 : 1)*] [* 3833, -1, (0 : -1 : 1)*] [* 4189, 2, (-1 : -1 : 1)*] [* 4456, 2, (-1 : -1 : 1)*] [* 4812, -2, (-1 : 1 : 1)*] [* 5257, 2, (-1 : -1 : 1)*] [* 5613, -5, (-14/9 : -7/27 : 1)*] [* 5969, 1, (0 : 0 : 1)*] [* 6236, 0, (0 : 1 : 0)*] [* 6681, 1, (0 : 0 : 1)*] [* 7037, 1, (0 : 0 : 1)*] [* 7304, -8, (-415/1024 : -34943/32768 : 1)*] [* 7393, -1, (0 : -1 : 1)*] [* 7660, -5, (-14/9 : -7/27 : 1)*] [* 8105, 3, (2 : -5 : 1)*] [* 8461, 4, (3/4 : 1/8 : 1)*] [* 8728, 3, (2 : -5 : 1)*] [* 8817, -4, (3/4 : -15/8 : 1)*] [* 9084, 7, (224/25 : 2947/125 : 1)*] [* 9173, -5, (-14/9 : -7/27 : 1)*] [* 9529, 1, (0 : 0 : 1)*] [* 9885, 0, (0 : 1 : 0)*] /* D = 7 (mod 89 ) [* 185, -2, (-1 : 1 : 1)*] [* 541, 0, (0 : 1 : 0)*] [* 808, 0, (0 : 1 : 0)*] [* 897, 1, (0 : 0 : 1)*] [* 1164, -1, (0 : -1 : 1)*] [* 1253, 4, (3/4 : 1/8 : 1)*] [* 1609, -2, (-1 : 1 : 1)*] [* 1965, 3, (2 : -5 : 1)*] [* 2321, 2, (-1 : -1 : 1)*] [* 2588, 2, (-1 : -1 : 1)*] [* 2677, -5, (-14/9 : -7/27 : 1)*] [* 3389, -3, (2 : 2 : 1)*] [* 3656, 2, (-1 : -1 : 1)*] [* 3745, -2, (-1 : 1 : 1)*] [* 4012, -2, (-1 : 1 : 1)*] [* 4101, 1, (0 : 0 : 1)*] [* 4457, 4, (3/4 : 1/8 : 1)*] [* 4813, -1, (0 : -1 : 1)*] [* 5080, 3, (2 : -5 : 1)*] [* 5169, -1, (0 : -1 : 1)*] [* 5881, 1, (0 : 0 : 1)*] [* 6504, 0, (0 : 1 : 0)*] [* 6593, 1, (0 : 0 : 1)*] [* 6949, 5, (-14/9 : 22/27 : 1)*] [* 7305, 2, (-1 : -1 : 1)*] [* 7661, -3, (2 : 2 : 1)*] [* 7928, -1, (0 : -1 : 1)*] [* 8017, -1, (0 : -1 : 1)*] [* 8284, 1, (0 : 0 : 1)*] [* 8373, 3, (2 : -5 : 1)*] [* 8729, 2, (-1 : -1 : 1)*] [* 9085, 6, (15/49 : -393/343 : 1)*] [* 9352, -4, (3/4 : -15/8 : 1)*] [* 9708, 11, (205842/674041 : -88757313/553387661 : 1)*] [* 9797, 1, (0 : 0 : 1)*] /* D = 12 (mod 89 ) [* 12, 1, (0 : 0 : 1)*] [* 101, -1, (0 : -1 : 1)*] [* 457, 0, (0 : 1 : 0)*] [* 813, -1, (0 : -1 : 1)*] [* 1169, 2, (-1 : -1 : 1)*] [* 1436, 0, (0 : 1 : 0)*] [* 2237, 1, (0 : 0 : 1)*] [* 2504, 2, (-1 : -1 : 1)*] [* 2593, -1, (0 : -1 : 1)*] [* 2860, 0, (0 : 1 : 0)*] [* 2949, 2, (-1 : -1 : 1)*] [* 3305, 0, (0 : 1 : 0)*] [* 3661, 0, (0 : 1 : 0)*] [* 3928, -3, (2 : 2 : 1)*] [* 4017, -3, (2 : 2 : 1)*] [* 4373, -6, (15/49 : -55/343 : 1)*] [* 4729, -2, (-1 : 1 : 1)*] [* 5352, 6, (15/49 : -393/343 : 1)*] [* 5441, -1, (0 : -1 : 1)*] [* 5708, -4, (3/4 : -15/8 : 1)*] [* 5797, 1, (0 : 0 : 1)*] [* 6153, 2, (-1 : -1 : 1)*] [* 6509, 6, (15/49 : -393/343 : 1)*] [* 6865, 2, (-1 : -1 : 1)*] [* 7132, 1, (0 : 0 : 1)*] [* 7221, 0, (0 : 1 : 0)*] [* 7577, 3, (2 : -5 : 1)*] [* 7933, 2, (-1 : -1 : 1)*] [* 8556, -1, (0 : -1 : 1)*] [* 8645, 2, (-1 : -1 : 1)*] [* 9001, 1, (0 : 0 : 1)*] [* 9357, 1, (0 : 0 : 1)*] [* 9624, -2, (-1 : 1 : 1)*] [* 9713, -1, (0 : -1 : 1)*] [* 9980, 2, (-1 : -1 : 1)*] /* D = 13 (mod 89 ) [* 13, 1, (0 : 0 : 1)*] [* 280, 2, (-1 : -1 : 1)*] [* 636, 1, (0 : 0 : 1)*] [* 1081, -1, (0 : -1 : 1)*] [* 1437, 3, (2 : -5 : 1)*] [* 1704, -6, (15/49 : -55/343 : 1)*] [* 1793, -1, (0 : -1 : 1)*] [* 2060, 1, (0 : 0 : 1)*] [* 2149, 0, (0 : 1 : 0)*] [* 2505, 0, (0 : 1 : 0)*] [* 2861, 0, (0 : 1 : 0)*] [* 3128, 3, (2 : -5 : 1)*] [* 3217, 0, (0 : 1 : 0)*] [* 3484, 2, (-1 : -1 : 1)*] [* 3929, -1, (0 : -1 : 1)*] [* 4285, -2, (-1 : 1 : 1)*] [* 4552, -2, (-1 : 1 : 1)*] [* 4641, 2, (-1 : -1 : 1)*] [* 4908, 0, (0 : 1 : 0)*] [* 4997, 6, (15/49 : -393/343 : 1)*] [* 5353, 1, (0 : 0 : 1)*] [* 5709, 1, (0 : 0 : 1)*] [* 6065, 1, (0 : 0 : 1)*] [* 6332, -3, (2 : 2 : 1)*] [* 6421, -3, (2 : 2 : 1)*] [* 7133, -2, (-1 : 1 : 1)*] [* 7489, 1, (0 : 0 : 1)*] [* 7756, -4, (3/4 : -15/8 : 1)*] [* 7845, -5, (-14/9 : -7/27 : 1)*] [* 8201, 2, (-1 : -1 : 1)*] [* 8557, 1, (0 : 0 : 1)*] [* 8824, 0, (0 : 1 : 0)*] [* 8913, -1, (0 : -1 : 1)*] [* 9269, -3, (2 : 2 : 1)*] /* D = 14 (mod 89 ) [* 281, 0, (0 : 1 : 0)*] [* 904, 0, (0 : 1 : 0)*] [* 993, 1, (0 : 0 : 1)*] [* 1349, 4, (3/4 : 1/8 : 1)*] [* 1705, -1, (0 : -1 : 1)*] [* 2328, 3, (2 : -5 : 1)*] [* 2417, 3, (2 : -5 : 1)*] [* 2684, 2, (-1 : -1 : 1)*] [* 2773, 0, (0 : 1 : 0)*] [* 3129, 2, (-1 : -1 : 1)*] [* 3485, -5, (-14/9 : -7/27 : 1)*] [* 3752, -4, (3/4 : -15/8 : 1)*] [* 3841, -2, (-1 : 1 : 1)*] [* 4108, 2, (-1 : -1 : 1)*] [* 4197, -1, (0 : -1 : 1)*] [* 4553, -2, (-1 : 1 : 1)*] [* 4909, -1, (0 : -1 : 1)*] [* 5176, -2, (-1 : 1 : 1)*] [* 5532, -2, (-1 : 1 : 1)*] [* 5621, 0, (0 : 1 : 0)*] [* 5977, 2, (-1 : -1 : 1)*] [* 6333, 8, (-415/1024 : 15455/32768 : 1)*] [* 6689, -2, (-1 : 1 : 1)*] [* 6956, 4, (3/4 : 1/8 : 1)*] [* 7045, 2, (-1 : -1 : 1)*] [* 7401, -2, (-1 : 1 : 1)*] [* 7757, 2, (-1 : -1 : 1)*] [* 8024, 0, (0 : 1 : 0)*] [* 8113, 0, (0 : 1 : 0)*] [* 8380, 1, (0 : 0 : 1)*] [* 9181, 3, (2 : -5 : 1)*] [* 9448, 6, (15/49 : -393/343 : 1)*] [* 9804, 1, (0 : 0 : 1)*] [* 9893, 1, (0 : 0 : 1)*] /* D = 15 (mod 89 ) [* 104, -2, (-1 : 1 : 1)*] [* 193, 1, (0 : 0 : 1)*] [* 460, 1, (0 : 0 : 1)*] [* 905, -1, (0 : -1 : 1)*] [* 1261, 1, (0 : 0 : 1)*] [* 1528, 1, (0 : 0 : 1)*] [* 1884, 0, (0 : 1 : 0)*] [* 1973, -2, (-1 : 1 : 1)*] [* 2329, 2, (-1 : -1 : 1)*] [* 2685, 2, (-1 : -1 : 1)*] [* 3041, -4, (3/4 : -15/8 : 1)*] [* 3308, -3, (2 : 2 : 1)*] [* 3397, -2, (-1 : 1 : 1)*] [* 4109, 2, (-1 : -1 : 1)*] [* 4376, -2, (-1 : 1 : 1)*] [* 4465, 1, (0 : 0 : 1)*] [* 4821, 2, (-1 : -1 : 1)*] [* 5177, 2, (-1 : -1 : 1)*] [* 5533, 0, (0 : 1 : 0)*] [* 5889, -2, (-1 : 1 : 1)*] [* 6245, 0, (0 : 1 : 0)*] [* 6601, 0, (0 : 1 : 0)*] [* 7224, 6, (15/49 : -393/343 : 1)*] [* 7313, -2, (-1 : 1 : 1)*] [* 7580, 9, (-2784/6889 : -609632/571787 : 1)*] [* 7669, -2, (-1 : 1 : 1)*] [* 8648, 10, (68143/7569 : -22227815/658503 : 1)*] [* 8737, 0, (0 : 1 : 0)*] [* 9004, -1, (0 : -1 : 1)*] [* 9093, 2, (-1 : -1 : 1)*] [* 9449, 0, (0 : 1 : 0)*] [* 9805, -2, (-1 : 1 : 1)*] /* D = 19 (mod 89 ) [* 197, 1, (0 : 0 : 1)*] [* 553, -2, (-1 : 1 : 1)*] [* 1265, 1, (0 : 0 : 1)*] [* 1532, -5, (-14/9 : -7/27 : 1)*] [* 1621, 1, (0 : 0 : 1)*] [* 1977, 2, (-1 : -1 : 1)*] [* 2333, -3, (2 : 2 : 1)*] [* 2689, -2, (-1 : 1 : 1)*] [* 2956, 3, (2 : -5 : 1)*] [* 3045, 2, (-1 : -1 : 1)*] [* 3401, -2, (-1 : 1 : 1)*] [* 4024, 0, (0 : 1 : 0)*] [* 4380, 3, (2 : -5 : 1)*] [* 4469, -3, (2 : 2 : 1)*] [* 5181, 0, (0 : 1 : 0)*] [* 5448, -2, (-1 : 1 : 1)*] [* 5804, 0, (0 : 1 : 0)*] [* 5893, 0, (0 : 1 : 0)*] [* 6249, 2, (-1 : -1 : 1)*] [* 6605, -1, (0 : -1 : 1)*] [* 6872, -6, (15/49 : -55/343 : 1)*] [* 6961, 0, (0 : 1 : 0)*] [* 7228, -2, (-1 : 1 : 1)*] [* 7673, 1, (0 : 0 : 1)*] [* 8029, -2, (-1 : 1 : 1)*] [* 8296, -2, (-1 : 1 : 1)*] [* 8385, -5, (-14/9 : -7/27 : 1)*] [* 8652, -4, (3/4 : -15/8 : 1)*] [* 8741, 5, (-14/9 : 22/27 : 1)*] [* 9097, 3, (2 : -5 : 1)*] [* 9453, -4, (3/4 : -15/8 : 1)*] [* 9809, 1, (0 : 0 : 1)*] /* D = 23 (mod 89 ) [* 201, 1, (0 : 0 : 1)*] [* 557, -1, (0 : -1 : 1)*] [* 824, -1, (0 : -1 : 1)*] [* 913, 0, (0 : 1 : 0)*] [* 1180, 2, (-1 : -1 : 1)*] [* 1981, 0, (0 : 1 : 0)*] [* 2248, 2, (-1 : -1 : 1)*] [* 2337, 1, (0 : 0 : 1)*] [* 2604, 0, (0 : 1 : 0)*] [* 2693, -4, (3/4 : -15/8 : 1)*] [* 3049, -2, (-1 : 1 : 1)*] [* 3405, 5, (-14/9 : 22/27 : 1)*] [* 3761, 2, (-1 : -1 : 1)*] [* 4028, -7, (224/25 : -4192/125 : 1)*] [* 4117, 0, (0 : 1 : 0)*] [* 4829, 3, (2 : -5 : 1)*] [* 5185, -1, (0 : -1 : 1)*] [* 5452, 2, (-1 : -1 : 1)*] [* 5541, -3, (2 : 2 : 1)*] [* 5897, -3, (2 : 2 : 1)*] [* 6520, 1, (0 : 0 : 1)*] [* 6609, -3, (2 : 2 : 1)*] [* 6965, 4, (3/4 : 1/8 : 1)*] [* 7321, 0, (0 : 1 : 0)*] [* 7944, 4, (3/4 : 1/8 : 1)*] [* 8033, 1, (0 : 0 : 1)*] [* 8389, 3, (2 : -5 : 1)*] [* 8745, -1, (0 : -1 : 1)*] [* 9101, -1, (0 : -1 : 1)*] [* 9368, -6, (15/49 : -55/343 : 1)*] [* 9724, -4, (3/4 : -15/8 : 1)*] [* 9813, -4, (3/4 : -15/8 : 1)*] /* D = 24 (mod 89 ) [* 24, -1, (0 : -1 : 1)*] [* 113, 1, (0 : 0 : 1)*] [* 380, -1, (0 : -1 : 1)*] [* 469, -2, (-1 : 1 : 1)*] [* 1181, -1, (0 : -1 : 1)*] [* 1448, 2, (-1 : -1 : 1)*] [* 1537, 1, (0 : 0 : 1)*] [* 1804, 2, (-1 : -1 : 1)*] [* 1893, 3, (2 : -5 : 1)*] [* 2249, 1, (0 : 0 : 1)*] [* 2605, -1, (0 : -1 : 1)*] [* 2872, 0, (0 : 1 : 0)*] [* 3228, 1, (0 : 0 : 1)*] [* 3317, 0, (0 : 1 : 0)*] [* 3673, -4, (3/4 : -15/8 : 1)*] [* 4029, -2, (-1 : 1 : 1)*] [* 4296, -4, (3/4 : -15/8 : 1)*] [* 4385, 1, (0 : 0 : 1)*] [* 4652, -3, (2 : 2 : 1)*] [* 4741, 3, (2 : -5 : 1)*] [* 5097, 1, (0 : 0 : 1)*] [* 5453, 2, (-1 : -1 : 1)*] [* 5720, 0, (0 : 1 : 0)*] [* 5809, -2, (-1 : 1 : 1)*] [* 6521, -1, (0 : -1 : 1)*] [* 7144, 0, (0 : 1 : 0)*] [* 7233, -1, (0 : -1 : 1)*] [* 7589, -2, (-1 : 1 : 1)*] [* 7945, 0, (0 : 1 : 0)*] [* 8301, 4, (3/4 : 1/8 : 1)*] [* 8657, -5, (-14/9 : -7/27 : 1)*] [* 8924, 3, (2 : -5 : 1)*] [* 9013, 0, (0 : 1 : 0)*] [* 9992, -6, (15/49 : -55/343 : 1)*] /* D = 26 (mod 89 ) [* 204, 1, (0 : 0 : 1)*] [* 293, 2, (-1 : -1 : 1)*] [* 649, 2, (-1 : -1 : 1)*] [* 1005, -3, (2 : 2 : 1)*] [* 1272, 1, (0 : 0 : 1)*] [* 1361, -4, (3/4 : -15/8 : 1)*] [* 1628, 2, (-1 : -1 : 1)*] [* 1717, -1, (0 : -1 : 1)*] [* 2073, -1, (0 : -1 : 1)*] [* 2429, 0, (0 : 1 : 0)*] [* 2696, 0, (0 : 1 : 0)*] [* 2785, 1, (0 : 0 : 1)*] [* 3052, -4, (3/4 : -15/8 : 1)*] [* 3497, -1, (0 : -1 : 1)*] [* 3853, 3, (2 : -5 : 1)*] [* 4120, 1, (0 : 0 : 1)*] [* 4209, 1, (0 : 0 : 1)*] [* 4476, 1, (0 : 0 : 1)*] [* 4565, 2, (-1 : -1 : 1)*] [* 4921, 2, (-1 : -1 : 1)*] [* 5277, -3, (2 : 2 : 1)*] [* 5633, 3, (2 : -5 : 1)*] [* 5989, -1, (0 : -1 : 1)*] [* 6701, -2, (-1 : 1 : 1)*] [* 6968, 2, (-1 : -1 : 1)*] [* 7057, 2, (-1 : -1 : 1)*] [* 7324, 0, (0 : 1 : 0)*] [* 7413, 0, (0 : 1 : 0)*] [* 7769, -2, (-1 : 1 : 1)*] [* 8392, 2, (-1 : -1 : 1)*] [* 8481, 1, (0 : 0 : 1)*] [* 8837, -8, (-415/1024 : -34943/32768 : 1)*] [* 9193, 3, (2 : -5 : 1)*] [* 9816, -4, (3/4 : -15/8 : 1)*] [* 9905, 0, (0 : 1 : 0)*] /* D = 27 (mod 89 ) [* 205, -1, (0 : -1 : 1)*] [* 472, 0, (0 : 1 : 0)*] [* 561, -1, (0 : -1 : 1)*] [* 917, 0, (0 : 1 : 0)*] [* 1273, 3, (2 : -5 : 1)*] [* 1896, 2, (-1 : -1 : 1)*] [* 1985, -1, (0 : -1 : 1)*] [* 2252, -5, (-14/9 : -7/27 : 1)*] [* 2341, 2, (-1 : -1 : 1)*] [* 2697, -1, (0 : -1 : 1)*] [* 3053, 2, (-1 : -1 : 1)*] [* 3320, 4, (3/4 : 1/8 : 1)*] [* 3409, -2, (-1 : 1 : 1)*] [* 3676, -1, (0 : -1 : 1)*] [* 3765, -5, (-14/9 : -7/27 : 1)*] [* 4121, -3, (2 : 2 : 1)*] [* 4744, -6, (15/49 : -55/343 : 1)*] [* 5189, -2, (-1 : 1 : 1)*] [* 5545, 0, (0 : 1 : 0)*] [* 5901, 2, (-1 : -1 : 1)*] [* 6168, 1, (0 : 0 : 1)*] [* 6257, 6, (15/49 : -393/343 : 1)*] [* 6524, 4, (3/4 : 1/8 : 1)*] [* 6613, -2, (-1 : 1 : 1)*] [* 6969, 3, (2 : -5 : 1)*] [* 7592, -2, (-1 : 1 : 1)*] [* 7681, 1, (0 : 0 : 1)*] [* 7948, 3, (2 : -5 : 1)*] [* 8393, -2, (-1 : 1 : 1)*] [* 8749, 1, (0 : 0 : 1)*] [* 9105, 0, (0 : 1 : 0)*] [* 9372, -2, (-1 : 1 : 1)*] [* 9461, 4, (3/4 : 1/8 : 1)*] [* 9817, -2, (-1 : 1 : 1)*] /* D = 28 (mod 89 ) [* 28, 0, (0 : 1 : 0)*] [* 473, -1, (0 : -1 : 1)*] [* 829, 4, (3/4 : 1/8 : 1)*] [* 1096, 2, (-1 : -1 : 1)*] [* 1185, 0, (0 : 1 : 0)*] [* 1541, -1, (0 : -1 : 1)*] [* 1897, 2, (-1 : -1 : 1)*] [* 2253, 4, (3/4 : 1/8 : 1)*] [* 2609, -1, (0 : -1 : 1)*] [* 2876, 1, (0 : 0 : 1)*] [* 2965, 0, (0 : 1 : 0)*] [* 3677, -3, (2 : 2 : 1)*] [* 3944, 0, (0 : 1 : 0)*] [* 4033, 0, (0 : 1 : 0)*] [* 4389, -2, (-1 : 1 : 1)*] [* 4745, -1, (0 : -1 : 1)*] [* 5101, -3, (2 : 2 : 1)*] [* 5368, 2, (-1 : -1 : 1)*] [* 5457, -2, (-1 : 1 : 1)*] [* 5813, 0, (0 : 1 : 0)*] [* 6169, 1, (0 : 0 : 1)*] [* 6792, -2, (-1 : 1 : 1)*] [* 6881, 6, (15/49 : -393/343 : 1)*] [* 7148, 1, (0 : 0 : 1)*] [* 7237, -2, (-1 : 1 : 1)*] [* 7593, 8, (-415/1024 : 15455/32768 : 1)*] [* 7949, 2, (-1 : -1 : 1)*] [* 8216, -6, (15/49 : -55/343 : 1)*] [* 8305, -4, (3/4 : -15/8 : 1)*] [* 8572, -1, (0 : -1 : 1)*] [* 8661, 4, (3/4 : 1/8 : 1)*] [* 9017, 2, (-1 : -1 : 1)*] [* 9373, 4, (3/4 : 1/8 : 1)*] [* 9640, 0, (0 : 1 : 0)*] /* D = 29 (mod 89 ) [* 29, 1, (0 : 0 : 1)*] [* 296, 0, (0 : 1 : 0)*] [* 385, 0, (0 : 1 : 0)*] [* 652, -1, (0 : -1 : 1)*] [* 741, 1, (0 : 0 : 1)*] [* 1097, -4, (3/4 : -15/8 : 1)*] [* 1453, 1, (0 : 0 : 1)*] [* 1720, 3, (2 : -5 : 1)*] [* 2076, -1, (0 : -1 : 1)*] [* 2165, -1, (0 : -1 : 1)*] [* 2521, 1, (0 : 0 : 1)*] [* 2877, 0, (0 : 1 : 0)*] [* 3144, -2, (-1 : 1 : 1)*] [* 3233, 3, (2 : -5 : 1)*] [* 3589, -4, (3/4 : -15/8 : 1)*] [* 3945, 4, (3/4 : 1/8 : 1)*] [* 4301, 3, (2 : -5 : 1)*] [* 4568, -3, (2 : 2 : 1)*] [* 4657, 0, (0 : 1 : 0)*] [* 4924, -5, (-14/9 : -7/27 : 1)*] [* 5369, 0, (0 : 1 : 0)*] [* 5992, 4, (3/4 : 1/8 : 1)*] [* 6081, -2, (-1 : 1 : 1)*] [* 6437, -2, (-1 : 1 : 1)*] [* 6793, 2, (-1 : -1 : 1)*] [* 7149, -2, (-1 : 1 : 1)*] [* 7505, 0, (0 : 1 : 0)*] [* 7772, 4, (3/4 : 1/8 : 1)*] [* 7861, -2, (-1 : 1 : 1)*] [* 8573, 1, (0 : 0 : 1)*] [* 8840, -4, (3/4 : -15/8 : 1)*] [* 8929, 1, (0 : 0 : 1)*] [* 9285, -1, (0 : -1 : 1)*] [* 9641, -3, (2 : 2 : 1)*] [* 9997, -5, (-14/9 : -7/27 : 1)*] /* D = 30 (mod 89 ) [* 653, 0, (0 : 1 : 0)*] [* 920, 5, (-14/9 : 22/27 : 1)*] [* 1009, 0, (0 : 1 : 0)*] [* 1276, -2, (-1 : 1 : 1)*] [* 1365, -2, (-1 : 1 : 1)*] [* 1721, -1, (0 : -1 : 1)*] [* 2077, 1, (0 : 0 : 1)*] [* 2344, -2, (-1 : 1 : 1)*] [* 2433, -3, (2 : 2 : 1)*] [* 2789, 3, (2 : -5 : 1)*] [* 3145, 0, (0 : 1 : 0)*] [* 3768, 2, (-1 : -1 : 1)*] [* 3857, 4, (3/4 : 1/8 : 1)*] [* 4124, 0, (0 : 1 : 0)*] [* 4213, -3, (2 : 2 : 1)*] [* 4569, 1, (0 : 0 : 1)*] [* 5192, -4, (3/4 : -15/8 : 1)*] [* 5281, 1, (0 : 0 : 1)*] [* 5548, 1, (0 : 0 : 1)*] [* 5637, 6, (15/49 : -393/343 : 1)*] [* 5993, -2, (-1 : 1 : 1)*] [* 6349, 0, (0 : 1 : 0)*] [* 6616, 1, (0 : 0 : 1)*] [* 6972, -4, (3/4 : -15/8 : 1)*] [* 7061, 0, (0 : 1 : 0)*] [* 7417, 0, (0 : 1 : 0)*] [* 7773, -9, (-2784/6889 : 268917/571787 : 1)*] [* 8040, 6, (15/49 : -393/343 : 1)*] [* 8129, -1, (0 : -1 : 1)*] [* 8396, 5, (-14/9 : 22/27 : 1)*] [* 8485, 1, (0 : 0 : 1)*] [* 8841, 2, (-1 : -1 : 1)*] [* 9197, -2, (-1 : 1 : 1)*] [* 9553, 2, (-1 : -1 : 1)*] [* 9820, 3, (2 : -5 : 1)*] /* D = 31 (mod 89 ) [* 120, 1, (0 : 0 : 1)*] [* 209, -1, (0 : -1 : 1)*] [* 476, -2, (-1 : 1 : 1)*] [* 565, 1, (0 : 0 : 1)*] [* 921, 0, (0 : 1 : 0)*] [* 1277, -1, (0 : -1 : 1)*] [* 1544, 0, (0 : 1 : 0)*] [* 1633, 2, (-1 : -1 : 1)*] [* 2345, 0, (0 : 1 : 0)*] [* 2701, 2, (-1 : -1 : 1)*] [* 2968, 0, (0 : 1 : 0)*] [* 3057, 0, (0 : 1 : 0)*] [* 3324, 5, (-14/9 : 22/27 : 1)*] [* 3413, -4, (3/4 : -15/8 : 1)*] [* 3769, 0, (0 : 1 : 0)*] [* 4481, 0, (0 : 1 : 0)*] [* 4748, 0, (0 : 1 : 0)*] [* 4837, -2, (-1 : 1 : 1)*] [* 5549, 2, (-1 : -1 : 1)*] [* 5816, 5, (-14/9 : 22/27 : 1)*] [* 5905, -1, (0 : -1 : 1)*] [* 6172, -6, (15/49 : -55/343 : 1)*] [* 6261, -5, (-14/9 : -7/27 : 1)*] [* 6617, 3, (2 : -5 : 1)*] [* 6973, 2, (-1 : -1 : 1)*] [* 7240, -4, (3/4 : -15/8 : 1)*] [* 7329, 4, (3/4 : 1/8 : 1)*] [* 7685, 7, (224/25 : 2947/125 : 1)*] [* 8041, 1, (0 : 0 : 1)*] [* 8753, -8, (-415/1024 : -34943/32768 : 1)*] [* 9020, 2, (-1 : -1 : 1)*] [* 9109, -5, (-14/9 : -7/27 : 1)*] [* 9465, -3, (2 : 2 : 1)*] [* 9821, 2, (-1 : -1 : 1)*] /* D = 33 (mod 89 ) [* 33, -1, (0 : -1 : 1)*] [* 389, -2, (-1 : 1 : 1)*] [* 745, 2, (-1 : -1 : 1)*] [* 1101, 2, (-1 : -1 : 1)*] [* 1457, 1, (0 : 0 : 1)*] [* 1724, -1, (0 : -1 : 1)*] [* 2792, 6, (15/49 : -393/343 : 1)*] [* 2881, -1, (0 : -1 : 1)*] [* 3148, -5, (-14/9 : -7/27 : 1)*] [* 3237, -6, (15/49 : -55/343 : 1)*] [* 3593, 0, (0 : 1 : 0)*] [* 3949, -2, (-1 : 1 : 1)*] [* 4216, -1, (0 : -1 : 1)*] [* 4305, 0, (0 : 1 : 0)*] [* 4661, 2, (-1 : -1 : 1)*] [* 5017, -5, (-14/9 : -7/27 : 1)*] [* 5640, -2, (-1 : 1 : 1)*] [* 5729, 0, (0 : 1 : 0)*] [* 5996, 2, (-1 : -1 : 1)*] [* 6085, 1, (0 : 0 : 1)*] [* 6441, -3, (2 : 2 : 1)*] [* 6797, 2, (-1 : -1 : 1)*] [* 7064, -5, (-14/9 : -7/27 : 1)*] [* 7153, 3, (2 : -5 : 1)*] [* 7420, 2, (-1 : -1 : 1)*] [* 7509, 0, (0 : 1 : 0)*] [* 8221, 2, (-1 : -1 : 1)*] [* 8488, 2, (-1 : -1 : 1)*] [* 8844, -4, (3/4 : -15/8 : 1)*] [* 8933, 5, (-14/9 : 22/27 : 1)*] [* 9289, 0, (0 : 1 : 0)*] [* 9645, 8, (-415/1024 : 15455/32768 : 1)*] [* 9912, 0, (0 : 1 : 0)*] /* D = 35 (mod 89 ) [* 124, -1, (0 : -1 : 1)*] [* 213, 0, (0 : 1 : 0)*] [* 569, 1, (0 : 0 : 1)*] [* 1192, 0, (0 : 1 : 0)*] [* 1281, 0, (0 : 1 : 0)*] [* 1637, -3, (2 : 2 : 1)*] [* 1993, -1, (0 : -1 : 1)*] [* 2616, -3, (2 : 2 : 1)*] [* 2705, -2, (-1 : 1 : 1)*] [* 2972, -3, (2 : 2 : 1)*] [* 3061, -2, (-1 : 1 : 1)*] [* 3417, 1, (0 : 0 : 1)*] [* 4040, -2, (-1 : 1 : 1)*] [* 4129, 2, (-1 : -1 : 1)*] [* 4396, 0, (0 : 1 : 0)*] [* 4485, -5, (-14/9 : -7/27 : 1)*] [* 4841, 1, (0 : 0 : 1)*] [* 5197, -2, (-1 : 1 : 1)*] [* 5464, 1, (0 : 0 : 1)*] [* 5820, -1, (0 : -1 : 1)*] [* 5909, 1, (0 : 0 : 1)*] [* 6265, -4, (3/4 : -15/8 : 1)*] [* 6621, 0, (0 : 1 : 0)*] [* 6888, 4, (3/4 : 1/8 : 1)*] [* 6977, 2, (-1 : -1 : 1)*] [* 7244, 2, (-1 : -1 : 1)*] [* 7333, 1, (0 : 0 : 1)*] [* 7689, -2, (-1 : 1 : 1)*] [* 8045, -2, (-1 : 1 : 1)*] [* 8312, 4, (3/4 : 1/8 : 1)*] [* 8401, -1, (0 : -1 : 1)*] [* 8668, 2, (-1 : -1 : 1)*] [* 9113, 1, (0 : 0 : 1)*] [* 9469, -3, (2 : 2 : 1)*] [* 9736, -2, (-1 : 1 : 1)*] /* D = 37 (mod 89 ) [* 37, 0, (0 : 1 : 0)*] [* 393, 1, (0 : 0 : 1)*] [* 749, 2, (-1 : -1 : 1)*] [* 1016, -1, (0 : -1 : 1)*] [* 1105, -1, (0 : -1 : 1)*] [* 1461, -4, (3/4 : -15/8 : 1)*] [* 1817, 0, (0 : 1 : 0)*] [* 2173, -3, (2 : 2 : 1)*] [* 2440, -4, (3/4 : -15/8 : 1)*] [* 2796, 2, (-1 : -1 : 1)*] [* 2885, 1, (0 : 0 : 1)*] [* 3241, 2, (-1 : -1 : 1)*] [* 3597, 3, (2 : -5 : 1)*] [* 3864, -2, (-1 : 1 : 1)*] [* 3953, 2, (-1 : -1 : 1)*] [* 4220, 4, (3/4 : 1/8 : 1)*] [* 4309, 0, (0 : 1 : 0)*] [* 4665, -1, (0 : -1 : 1)*] [* 5021, 2, (-1 : -1 : 1)*] [* 5288, 6, (15/49 : -393/343 : 1)*] [* 5377, 0, (0 : 1 : 0)*] [* 5644, 0, (0 : 1 : 0)*] [* 6089, -3, (2 : 2 : 1)*] [* 6445, -1, (0 : -1 : 1)*] [* 6712, -1, (0 : -1 : 1)*] [* 6801, -1, (0 : -1 : 1)*] [* 7068, -7, (224/25 : -4192/125 : 1)*] [* 7157, -10, (68143/7569 : 15640871/658503 : 1)*] [* 7513, -3, (2 : 2 : 1)*] [* 7869, 1, (0 : 0 : 1)*] [* 8492, 0, (0 : 1 : 0)*] [* 8581, 3, (2 : -5 : 1)*] [* 9293, 6, (15/49 : -393/343 : 1)*] [* 9560, -5, (-14/9 : -7/27 : 1)*] [* 9649, 1, (0 : 0 : 1)*] [* 9916, 4, (3/4 : 1/8 : 1)*] /* D = 38 (mod 89 ) [* 305, -1, (0 : -1 : 1)*] [* 572, 0, (0 : 1 : 0)*] [* 661, 2, (-1 : -1 : 1)*] [* 1373, -2, (-1 : 1 : 1)*] [* 1640, 0, (0 : 1 : 0)*] [* 1729, 0, (0 : 1 : 0)*] [* 1996, -2, (-1 : 1 : 1)*] [* 2085, 0, (0 : 1 : 0)*] [* 2441, 2, (-1 : -1 : 1)*] [* 2797, 2, (-1 : -1 : 1)*] [* 3064, 3, (2 : -5 : 1)*] [* 3153, -2, (-1 : 1 : 1)*] [* 3865, 0, (0 : 1 : 0)*] [* 4488, 4, (3/4 : 1/8 : 1)*] [* 4577, 3, (2 : -5 : 1)*] [* 4844, -2, (-1 : 1 : 1)*] [* 4933, 3, (2 : -5 : 1)*] [* 5289, 1, (0 : 0 : 1)*] [* 5645, -6, (15/49 : -55/343 : 1)*] [* 5912, -3, (2 : 2 : 1)*] [* 6001, 0, (0 : 1 : 0)*] [* 6268, -5, (-14/9 : -7/27 : 1)*] [* 6357, 3, (2 : -5 : 1)*] [* 7069, 2, (-1 : -1 : 1)*] [* 7336, 4, (3/4 : 1/8 : 1)*] [* 7692, -1, (0 : -1 : 1)*] [* 7781, 1, (0 : 0 : 1)*] [* 8137, -4, (3/4 : -15/8 : 1)*] [* 8493, 0, (0 : 1 : 0)*] [* 8760, -1, (0 : -1 : 1)*] [* 8849, 0, (0 : 1 : 0)*] [* 9116, 1, (0 : 0 : 1)*] [* 9205, 0, (0 : 1 : 0)*] [* 9561, -5, (-14/9 : -7/27 : 1)*] [* 9917, 4, (3/4 : 1/8 : 1)*] /* D = 41 (mod 89 ) [* 41, 1, (0 : 0 : 1)*] [* 397, 1, (0 : 0 : 1)*] [* 664, -2, (-1 : 1 : 1)*] [* 753, -1, (0 : -1 : 1)*] [* 1020, 3, (2 : -5 : 1)*] [* 1109, -2, (-1 : 1 : 1)*] [* 1465, 0, (0 : 1 : 0)*] [* 1821, -4, (3/4 : -15/8 : 1)*] [* 2177, 2, (-1 : -1 : 1)*] [* 2444, 0, (0 : 1 : 0)*] [* 2533, 2, (-1 : -1 : 1)*] [* 3245, -2, (-1 : 1 : 1)*] [* 3512, 1, (0 : 0 : 1)*] [* 3601, -1, (0 : -1 : 1)*] [* 3868, 1, (0 : 0 : 1)*] [* 3957, 2, (-1 : -1 : 1)*] [* 4313, 1, (0 : 0 : 1)*] [* 4669, 2, (-1 : -1 : 1)*] [* 4936, 0, (0 : 1 : 0)*] [* 5381, 5, (-14/9 : 22/27 : 1)*] [* 5737, -1, (0 : -1 : 1)*] [* 6360, 3, (2 : -5 : 1)*] [* 6449, 0, (0 : 1 : 0)*] [* 6716, 3, (2 : -5 : 1)*] [* 6805, 2, (-1 : -1 : 1)*] [* 7161, -2, (-1 : 1 : 1)*] [* 7517, -6, (15/49 : -55/343 : 1)*] [* 7784, -4, (3/4 : -15/8 : 1)*] [* 7873, -2, (-1 : 1 : 1)*] [* 8140, 2, (-1 : -1 : 1)*] [* 8229, 2, (-1 : -1 : 1)*] [* 8585, -5, (-14/9 : -7/27 : 1)*] [* 8941, 1, (0 : 0 : 1)*] [* 9208, 5, (-14/9 : 22/27 : 1)*] [* 9564, 0, (0 : 1 : 0)*] /* D = 43 (mod 89 ) [* 221, -1, (0 : -1 : 1)*] [* 488, 2, (-1 : -1 : 1)*] [* 577, -1, (0 : -1 : 1)*] [* 844, 0, (0 : 1 : 0)*] [* 933, 3, (2 : -5 : 1)*] [* 1289, -1, (0 : -1 : 1)*] [* 1645, 2, (-1 : -1 : 1)*] [* 1912, 3, (2 : -5 : 1)*] [* 2001, 1, (0 : 0 : 1)*] [* 2357, -2, (-1 : 1 : 1)*] [* 2713, -1, (0 : -1 : 1)*] [* 3336, 0, (0 : 1 : 0)*] [* 3692, -2, (-1 : 1 : 1)*] [* 3781, 1, (0 : 0 : 1)*] [* 4137, -2, (-1 : 1 : 1)*] [* 4493, -1, (0 : -1 : 1)*] [* 4760, -4, (3/4 : -15/8 : 1)*] [* 4849, 1, (0 : 0 : 1)*] [* 5116, 1, (0 : 0 : 1)*] [* 5205, -3, (2 : 2 : 1)*] [* 5561, 6, (15/49 : -393/343 : 1)*] [* 5917, -1, (0 : -1 : 1)*] [* 6184, 2, (-1 : -1 : 1)*] [* 6540, -3, (2 : 2 : 1)*] [* 6629, -2, (-1 : 1 : 1)*] [* 6985, -5, (-14/9 : -7/27 : 1)*] [* 7341, -5, (-14/9 : -7/27 : 1)*] [* 7608, 3, (2 : -5 : 1)*] [* 7697, 0, (0 : 1 : 0)*] [* 7964, 0, (0 : 1 : 0)*] [* 8053, 6, (15/49 : -393/343 : 1)*] [* 8409, 2, (-1 : -1 : 1)*] [* 8765, -2, (-1 : 1 : 1)*] [* 9032, 2, (-1 : -1 : 1)*] [* 9121, 0, (0 : 1 : 0)*] [* 9388, 0, (0 : 1 : 0)*] [* 9833, 7, (224/25 : 2947/125 : 1)*] /* D = 46 (mod 89 ) [* 313, -1, (0 : -1 : 1)*] [* 669, 1, (0 : 0 : 1)*] [* 1292, 3, (2 : -5 : 1)*] [* 1381, -2, (-1 : 1 : 1)*] [* 2093, 2, (-1 : -1 : 1)*] [* 2360, 0, (0 : 1 : 0)*] [* 2449, 0, (0 : 1 : 0)*] [* 2716, 2, (-1 : -1 : 1)*] [* 2805, 1, (0 : 0 : 1)*] [* 3161, -1, (0 : -1 : 1)*] [* 3517, -1, (0 : -1 : 1)*] [* 3784, 0, (0 : 1 : 0)*] [* 3873, 3, (2 : -5 : 1)*] [* 4229, 1, (0 : 0 : 1)*] [* 4585, 2, (-1 : -1 : 1)*] [* 5208, -4, (3/4 : -15/8 : 1)*] [* 5297, -7, (224/25 : -4192/125 : 1)*] [* 5564, 2, (-1 : -1 : 1)*] [* 5653, -6, (15/49 : -55/343 : 1)*] [* 6009, 4, (3/4 : 1/8 : 1)*] [* 6365, 1, (0 : 0 : 1)*] [* 6632, 4, (3/4 : 1/8 : 1)*] [* 6721, 0, (0 : 1 : 0)*] [* 6988, -2, (-1 : 1 : 1)*] [* 7077, 2, (-1 : -1 : 1)*] [* 7433, 2, (-1 : -1 : 1)*] [* 7789, 0, (0 : 1 : 0)*] [* 8056, -7, (224/25 : -4192/125 : 1)*] [* 8412, 7, (224/25 : 2947/125 : 1)*] [* 8501, 6, (15/49 : -393/343 : 1)*] [* 8857, 3, (2 : -5 : 1)*] [* 9213, -4, (3/4 : -15/8 : 1)*] [* 9480, -2, (-1 : 1 : 1)*] [* 9569, -2, (-1 : 1 : 1)*] [* 9836, -1, (0 : -1 : 1)*] /* D = 48 (mod 89 ) [* 137, 0, (0 : 1 : 0)*] [* 493, 3, (2 : -5 : 1)*] [* 760, -1, (0 : -1 : 1)*] [* 849, -2, (-1 : 1 : 1)*] [* 1205, -3, (2 : 2 : 1)*] [* 1561, 0, (0 : 1 : 0)*] [* 2184, 4, (3/4 : 1/8 : 1)*] [* 2273, -1, (0 : -1 : 1)*] [* 2540, -3, (2 : 2 : 1)*] [* 2629, 1, (0 : 0 : 1)*] [* 2985, 3, (2 : -5 : 1)*] [* 3341, 1, (0 : 0 : 1)*] [* 3608, -2, (-1 : 1 : 1)*] [* 3697, 1, (0 : 0 : 1)*] [* 3964, 3, (2 : -5 : 1)*] [* 4053, -4, (3/4 : -15/8 : 1)*] [* 4409, 2, (-1 : -1 : 1)*] [* 4765, -2, (-1 : 1 : 1)*] [* 5032, 0, (0 : 1 : 0)*] [* 5388, 3, (2 : -5 : 1)*] [* 5477, 2, (-1 : -1 : 1)*] [* 5833, 0, (0 : 1 : 0)*] [* 6189, 3, (2 : -5 : 1)*] [* 6456, -3, (2 : 2 : 1)*] [* 6545, 2, (-1 : -1 : 1)*] [* 6812, 0, (0 : 1 : 0)*] [* 6901, -1, (0 : -1 : 1)*] [* 7257, -8, (-415/1024 : -34943/32768 : 1)*] [* 7613, 3, (2 : -5 : 1)*] [* 7880, -4, (3/4 : -15/8 : 1)*] [* 7969, 1, (0 : 0 : 1)*] [* 8236, 0, (0 : 1 : 0)*] [* 8681, -1, (0 : -1 : 1)*] [* 9037, -4, (3/4 : -15/8 : 1)*] [* 9304, -1, (0 : -1 : 1)*] [* 9393, 7, (224/25 : 2947/125 : 1)*] [* 9660, 0, (0 : 1 : 0)*] [* 9749, -5, (-14/9 : -7/27 : 1)*] /* D = 51 (mod 89 ) [* 140, -2, (-1 : 1 : 1)*] [* 229, 0, (0 : 1 : 0)*] [* 941, 0, (0 : 1 : 0)*] [* 1208, 2, (-1 : -1 : 1)*] [* 1297, 1, (0 : 0 : 1)*] [* 1564, 3, (2 : -5 : 1)*] [* 1653, 1, (0 : 0 : 1)*] [* 2365, -3, (2 : 2 : 1)*] [* 2632, 0, (0 : 1 : 0)*] [* 2721, 1, (0 : 0 : 1)*] [* 3077, 1, (0 : 0 : 1)*] [* 3433, 4, (3/4 : 1/8 : 1)*] [* 4145, 0, (0 : 1 : 0)*] [* 4412, 0, (0 : 1 : 0)*] [* 4501, 0, (0 : 1 : 0)*] [* 4857, 1, (0 : 0 : 1)*] [* 5213, 0, (0 : 1 : 0)*] [* 5480, -2, (-1 : 1 : 1)*] [* 5569, -1, (0 : -1 : 1)*] [* 5836, 1, (0 : 0 : 1)*] [* 6281, -3, (2 : 2 : 1)*] [* 6637, -2, (-1 : 1 : 1)*] [* 6904, -1, (0 : -1 : 1)*] [* 7349, 4, (3/4 : 1/8 : 1)*] [* 7705, 1, (0 : 0 : 1)*] [* 8061, 1, (0 : 0 : 1)*] [* 8328, 6, (15/49 : -393/343 : 1)*] [* 8417, -5, (-14/9 : -7/27 : 1)*] [* 8684, 0, (0 : 1 : 0)*] [* 8773, 0, (0 : 1 : 0)*] [* 9129, 0, (0 : 1 : 0)*] [* 9485, 0, (0 : 1 : 0)*] [* 9752, -3, (2 : 2 : 1)*] [* 9841, 3, (2 : -5 : 1)*] /* D = 52 (mod 89 ) [* 141, 1, (0 : 0 : 1)*] [* 408, -1, (0 : -1 : 1)*] [* 497, 0, (0 : 1 : 0)*] [* 764, 1, (0 : 0 : 1)*] [* 853, -1, (0 : -1 : 1)*] [* 1209, -1, (0 : -1 : 1)*] [* 1565, 1, (0 : 0 : 1)*] [* 1832, 6, (15/49 : -393/343 : 1)*] [* 1921, -3, (2 : 2 : 1)*] [* 2188, 0, (0 : 1 : 0)*] [* 2633, 0, (0 : 1 : 0)*] [* 3256, -2, (-1 : 1 : 1)*] [* 3345, 3, (2 : -5 : 1)*] [* 3612, -2, (-1 : 1 : 1)*] [* 3701, 6, (15/49 : -393/343 : 1)*] [* 4057, -2, (-1 : 1 : 1)*] [* 4413, -2, (-1 : 1 : 1)*] [* 4769, 1, (0 : 0 : 1)*] [* 5036, -3, (2 : 2 : 1)*] [* 5837, -5, (-14/9 : -7/27 : 1)*] [* 6104, 0, (0 : 1 : 0)*] [* 6193, 3, (2 : -5 : 1)*] [* 6460, 3, (2 : -5 : 1)*] [* 6549, -2, (-1 : 1 : 1)*] [* 6905, 4, (3/4 : 1/8 : 1)*] [* 7261, -2, (-1 : 1 : 1)*] [* 7528, 0, (0 : 1 : 0)*] [* 7617, -2, (-1 : 1 : 1)*] [* 7973, -4, (3/4 : -15/8 : 1)*] [* 8329, 4, (3/4 : 1/8 : 1)*] [* 8952, 1, (0 : 0 : 1)*] [* 9041, -1, (0 : -1 : 1)*] [* 9308, -8, (-415/1024 : -34943/32768 : 1)*] [* 9397, 4, (3/4 : 1/8 : 1)*] [* 9753, 0, (0 : 1 : 0)*] /* D = 54 (mod 89 ) [* 232, 0, (0 : 1 : 0)*] [* 321, -2, (-1 : 1 : 1)*] [* 677, 2, (-1 : -1 : 1)*] [* 1033, 0, (0 : 1 : 0)*] [* 1389, 1, (0 : 0 : 1)*] [* 1745, 0, (0 : 1 : 0)*] [* 2012, -4, (3/4 : -15/8 : 1)*] [* 2101, 3, (2 : -5 : 1)*] [* 2813, -5, (-14/9 : -7/27 : 1)*] [* 3080, 4, (3/4 : 1/8 : 1)*] [* 3169, 0, (0 : 1 : 0)*] [* 3436, 4, (3/4 : 1/8 : 1)*] [* 3881, 0, (0 : 1 : 0)*] [* 4237, 1, (0 : 0 : 1)*] [* 4504, -1, (0 : -1 : 1)*] [* 4593, 2, (-1 : -1 : 1)*] [* 5305, 1, (0 : 0 : 1)*] [* 5928, -6, (15/49 : -55/343 : 1)*] [* 6017, 2, (-1 : -1 : 1)*] [* 6284, -1, (0 : -1 : 1)*] [* 6373, 5, (-14/9 : 22/27 : 1)*] [* 6729, 0, (0 : 1 : 0)*] [* 7085, -5, (-14/9 : -7/27 : 1)*] [* 7352, -3, (2 : 2 : 1)*] [* 7441, -2, (-1 : 1 : 1)*] [* 7708, 0, (0 : 1 : 0)*] [* 7797, -1, (0 : -1 : 1)*] [* 8153, 0, (0 : 1 : 0)*] [* 8509, -1, (0 : -1 : 1)*] [* 8776, 0, (0 : 1 : 0)*] [* 9132, -1, (0 : -1 : 1)*] [* 9221, 1, (0 : 0 : 1)*] [* 9577, 0, (0 : 1 : 0)*] [* 9933, 0, (0 : 1 : 0)*] /* D = 56 (mod 89 ) [* 56, 0, (0 : 1 : 0)*] [* 145, 1, (0 : 0 : 1)*] [* 412, -1, (0 : -1 : 1)*] [* 501, -2, (-1 : 1 : 1)*] [* 857, 2, (-1 : -1 : 1)*] [* 1213, -1, (0 : -1 : 1)*] [* 1480, -4, (3/4 : -15/8 : 1)*] [* 1569, -1, (0 : -1 : 1)*] [* 2281, 1, (0 : 0 : 1)*] [* 2993, 1, (0 : 0 : 1)*] [* 3260, 3, (2 : -5 : 1)*] [* 3349, -1, (0 : -1 : 1)*] [* 3705, -3, (2 : 2 : 1)*] [* 4061, 3, (2 : -5 : 1)*] [* 4328, 4, (3/4 : 1/8 : 1)*] [* 4417, -4, (3/4 : -15/8 : 1)*] [* 4684, 0, (0 : 1 : 0)*] [* 4773, 6, (15/49 : -393/343 : 1)*] [* 5129, -3, (2 : 2 : 1)*] [* 5485, 2, (-1 : -1 : 1)*] [* 5752, -5, (-14/9 : -7/27 : 1)*] [* 6108, -3, (2 : 2 : 1)*] [* 6197, 1, (0 : 0 : 1)*] [* 6553, 2, (-1 : -1 : 1)*] [* 7176, 4, (3/4 : 1/8 : 1)*] [* 7265, -3, (2 : 2 : 1)*] [* 7532, 2, (-1 : -1 : 1)*] [* 7621, -3, (2 : 2 : 1)*] [* 7977, 1, (0 : 0 : 1)*] [* 8333, -1, (0 : -1 : 1)*] [* 8689, -1, (0 : -1 : 1)*] [* 8956, -2, (-1 : 1 : 1)*] [* 9401, -2, (-1 : 1 : 1)*] [* 9757, 5, (-14/9 : 22/27 : 1)*] /* D = 58 (mod 89 ) [* 236, 2, (-1 : -1 : 1)*] [* 681, 1, (0 : 0 : 1)*] [* 1037, -1, (0 : -1 : 1)*] [* 1304, -3, (2 : 2 : 1)*] [* 1393, 2, (-1 : -1 : 1)*] [* 1660, -2, (-1 : 1 : 1)*] [* 1749, -3, (2 : 2 : 1)*] [* 2105, 0, (0 : 1 : 0)*] [* 2461, 0, (0 : 1 : 0)*] [* 2728, 2, (-1 : -1 : 1)*] [* 3084, 3, (2 : -5 : 1)*] [* 3173, 2, (-1 : -1 : 1)*] [* 3529, -1, (0 : -1 : 1)*] [* 3885, 2, (-1 : -1 : 1)*] [* 4152, 3, (2 : -5 : 1)*] [* 4241, -2, (-1 : 1 : 1)*] [* 4597, 3, (2 : -5 : 1)*] [* 4953, 1, (0 : 0 : 1)*] [* 5309, 1, (0 : 0 : 1)*] [* 5576, -2, (-1 : 1 : 1)*] [* 5665, 1, (0 : 0 : 1)*] [* 5932, 1, (0 : 0 : 1)*] [* 6377, -2, (-1 : 1 : 1)*] [* 6733, -2, (-1 : 1 : 1)*] [* 7089, 0, (0 : 1 : 0)*] [* 7356, -3, (2 : 2 : 1)*] [* 7445, -3, (2 : 2 : 1)*] [* 7801, 1, (0 : 0 : 1)*] [* 8157, -1, (0 : -1 : 1)*] [* 8513, 1, (0 : 0 : 1)*] [* 8780, -1, (0 : -1 : 1)*] [* 9581, 2, (-1 : -1 : 1)*] [* 9848, 1, (0 : 0 : 1)*] [* 9937, -3, (2 : 2 : 1)*] /* D = 59 (mod 89 ) [* 237, 2, (-1 : -1 : 1)*] [* 593, -2, (-1 : 1 : 1)*] [* 860, 1, (0 : 0 : 1)*] [* 949, 1, (0 : 0 : 1)*] [* 1661, 0, (0 : 1 : 0)*] [* 1928, -2, (-1 : 1 : 1)*] [* 2017, 1, (0 : 0 : 1)*] [* 2284, -1, (0 : -1 : 1)*] [* 2373, -4, (3/4 : -15/8 : 1)*] [* 2729, 1, (0 : 0 : 1)*] [* 3085, -2, (-1 : 1 : 1)*] [* 3352, -1, (0 : -1 : 1)*] [* 3441, 2, (-1 : -1 : 1)*] [* 3797, 6, (15/49 : -393/343 : 1)*] [* 4153, 1, (0 : 0 : 1)*] [* 4776, 0, (0 : 1 : 0)*] [* 4865, -2, (-1 : 1 : 1)*] [* 5132, -2, (-1 : 1 : 1)*] [* 5221, -5, (-14/9 : -7/27 : 1)*] [* 5933, -2, (-1 : 1 : 1)*] [* 6289, 5, (-14/9 : 22/27 : 1)*] [* 6556, 0, (0 : 1 : 0)*] [* 6645, 1, (0 : 0 : 1)*] [* 7001, -2, (-1 : 1 : 1)*] [* 7357, -2, (-1 : 1 : 1)*] [* 7624, 2, (-1 : -1 : 1)*] [* 7980, 2, (-1 : -1 : 1)*] [* 8069, -2, (-1 : 1 : 1)*] [* 8781, -4, (3/4 : -15/8 : 1)*] [* 9048, -6, (15/49 : -55/343 : 1)*] [* 9137, -4, (3/4 : -15/8 : 1)*] [* 9404, -1, (0 : -1 : 1)*] [* 9493, -1, (0 : -1 : 1)*] /* D = 60 (mod 89 ) [* 60, -1, (0 : -1 : 1)*] [* 149, 0, (0 : 1 : 0)*] [* 505, -1, (0 : -1 : 1)*] [* 861, 2, (-1 : -1 : 1)*] [* 1128, 0, (0 : 1 : 0)*] [* 1217, -1, (0 : -1 : 1)*] [* 1484, 4, (3/4 : 1/8 : 1)*] [* 1929, 0, (0 : 1 : 0)*] [* 2285, 2, (-1 : -1 : 1)*] [* 2552, 2, (-1 : -1 : 1)*] [* 2641, 0, (0 : 1 : 0)*] [* 2908, -3, (2 : 2 : 1)*] [* 3353, 0, (0 : 1 : 0)*] [* 3709, -1, (0 : -1 : 1)*] [* 3976, 0, (0 : 1 : 0)*] [* 4065, 1, (0 : 0 : 1)*] [* 4421, -1, (0 : -1 : 1)*] [* 4777, 2, (-1 : -1 : 1)*] [* 5133, -2, (-1 : 1 : 1)*] [* 5489, 0, (0 : 1 : 0)*] [* 5756, -2, (-1 : 1 : 1)*] [* 5845, -2, (-1 : 1 : 1)*] [* 6557, 0, (0 : 1 : 0)*] [* 6824, 4, (3/4 : 1/8 : 1)*] [* 6913, 1, (0 : 0 : 1)*] [* 7180, -4, (3/4 : -15/8 : 1)*] [* 7269, -1, (0 : -1 : 1)*] [* 7981, -1, (0 : -1 : 1)*] [* 8248, 0, (0 : 1 : 0)*] [* 8337, 0, (0 : 1 : 0)*] [* 8693, 0, (0 : 1 : 0)*] [* 9049, -1, (0 : -1 : 1)*] [* 9672, 0, (0 : 1 : 0)*] [* 9761, 3, (2 : -5 : 1)*] /* D = 61 (mod 89 ) [* 61, 1, (0 : 0 : 1)*] [* 328, 2, (-1 : -1 : 1)*] [* 417, 2, (-1 : -1 : 1)*] [* 773, -4, (3/4 : -15/8 : 1)*] [* 1129, 0, (0 : 1 : 0)*] [* 1752, -1, (0 : -1 : 1)*] [* 1841, 0, (0 : 1 : 0)*] [* 2108, -3, (2 : 2 : 1)*] [* 2553, -2, (-1 : 1 : 1)*] [* 2909, 1, (0 : 0 : 1)*] [* 3176, 0, (0 : 1 : 0)*] [* 3265, -2, (-1 : 1 : 1)*] [* 3532, -1, (0 : -1 : 1)*] [* 3621, 0, (0 : 1 : 0)*] [* 3977, 3, (2 : -5 : 1)*] [* 4333, 2, (-1 : -1 : 1)*] [* 4956, 0, (0 : 1 : 0)*] [* 5045, 2, (-1 : -1 : 1)*] [* 5401, -1, (0 : -1 : 1)*] [* 5757, 3, (2 : -5 : 1)*] [* 6024, 0, (0 : 1 : 0)*] [* 6113, -1, (0 : -1 : 1)*] [* 6380, 6, (15/49 : -393/343 : 1)*] [* 6469, -1, (0 : -1 : 1)*] [* 7181, 0, (0 : 1 : 0)*] [* 7537, -2, (-1 : 1 : 1)*] [* 7804, 0, (0 : 1 : 0)*] [* 8249, -1, (0 : -1 : 1)*] [* 8605, -1, (0 : -1 : 1)*] [* 8872, 2, (-1 : -1 : 1)*] [* 8961, -1, (0 : -1 : 1)*] [* 9228, 3, (2 : -5 : 1)*] [* 9673, 1, (0 : 0 : 1)*] /* D = 62 (mod 89 ) [* 329, 0, (0 : 1 : 0)*] [* 685, -2, (-1 : 1 : 1)*] [* 952, 2, (-1 : -1 : 1)*] [* 1041, 3, (2 : -5 : 1)*] [* 1308, -5, (-14/9 : -7/27 : 1)*] [* 1397, 1, (0 : 0 : 1)*] [* 1753, 0, (0 : 1 : 0)*] [* 2109, -2, (-1 : 1 : 1)*] [* 2465, -1, (0 : -1 : 1)*] [* 2732, 1, (0 : 0 : 1)*] [* 2821, 0, (0 : 1 : 0)*] [* 3533, -3, (2 : 2 : 1)*] [* 3889, 1, (0 : 0 : 1)*] [* 4156, 4, (3/4 : 1/8 : 1)*] [* 4245, 8, (-415/1024 : 15455/32768 : 1)*] [* 4601, -2, (-1 : 1 : 1)*] [* 4957, 0, (0 : 1 : 0)*] [* 5224, -2, (-1 : 1 : 1)*] [* 5313, -4, (3/4 : -15/8 : 1)*] [* 5669, -1, (0 : -1 : 1)*] [* 6648, 5, (-14/9 : 22/27 : 1)*] [* 6737, -2, (-1 : 1 : 1)*] [* 7004, -1, (0 : -1 : 1)*] [* 7093, 3, (2 : -5 : 1)*] [* 7449, -1, (0 : -1 : 1)*] [* 7805, 6, (15/49 : -393/343 : 1)*] [* 8072, -2, (-1 : 1 : 1)*] [* 8161, 0, (0 : 1 : 0)*] [* 8517, -4, (3/4 : -15/8 : 1)*] [* 8873, 0, (0 : 1 : 0)*] [* 9229, 1, (0 : 0 : 1)*] [* 9496, -2, (-1 : 1 : 1)*] [* 9852, 4, (3/4 : 1/8 : 1)*] [* 9941, 1, (0 : 0 : 1)*] /* D = 63 (mod 89 ) [* 152, 1, (0 : 0 : 1)*] [* 241, -1, (0 : -1 : 1)*] [* 508, -3, (2 : 2 : 1)*] [* 597, -1, (0 : -1 : 1)*] [* 953, 2, (-1 : -1 : 1)*] [* 1309, 0, (0 : 1 : 0)*] [* 1576, -2, (-1 : 1 : 1)*] [* 1932, 2, (-1 : -1 : 1)*] [* 2021, 3, (2 : -5 : 1)*] [* 2377, 1, (0 : 0 : 1)*] [* 2733, -1, (0 : -1 : 1)*] [* 3089, 0, (0 : 1 : 0)*] [* 3356, 3, (2 : -5 : 1)*] [* 3445, 1, (0 : 0 : 1)*] [* 3801, -2, (-1 : 1 : 1)*] [* 4157, -7, (224/25 : -4192/125 : 1)*] [* 4424, -4, (3/4 : -15/8 : 1)*] [* 4513, -1, (0 : -1 : 1)*] [* 4780, -5, (-14/9 : -7/27 : 1)*] [* 5581, 0, (0 : 1 : 0)*] [* 5848, 7, (224/25 : 2947/125 : 1)*] [* 5937, 0, (0 : 1 : 0)*] [* 6204, 0, (0 : 1 : 0)*] [* 6293, 0, (0 : 1 : 0)*] [* 6649, -5, (-14/9 : -7/27 : 1)*] [* 7005, 6, (15/49 : -393/343 : 1)*] [* 7361, 5, (-14/9 : 22/27 : 1)*] [* 7628, -3, (2 : 2 : 1)*] [* 7717, 7, (224/25 : 2947/125 : 1)*] [* 8429, -1, (0 : -1 : 1)*] [* 8696, 2, (-1 : -1 : 1)*] [* 8785, -2, (-1 : 1 : 1)*] [* 9052, 5, (-14/9 : 22/27 : 1)*] [* 9141, -3, (2 : 2 : 1)*] [* 9497, -1, (0 : -1 : 1)*] [* 9853, 0, (0 : 1 : 0)*] /* D = 65 (mod 89 ) [* 65, -1, (0 : -1 : 1)*] [* 332, 0, (0 : 1 : 0)*] [* 421, 0, (0 : 1 : 0)*] [* 777, -2, (-1 : 1 : 1)*] [* 1133, 3, (2 : -5 : 1)*] [* 1489, 1, (0 : 0 : 1)*] [* 1756, 1, (0 : 0 : 1)*] [* 2201, 2, (-1 : -1 : 1)*] [* 2557, 0, (0 : 1 : 0)*] [* 2824, -6, (15/49 : -55/343 : 1)*] [* 2913, -1, (0 : -1 : 1)*] [* 3180, 1, (0 : 0 : 1)*] [* 3269, -2, (-1 : 1 : 1)*] [* 3981, -6, (15/49 : -55/343 : 1)*] [* 4337, -1, (0 : -1 : 1)*] [* 4604, 1, (0 : 0 : 1)*] [* 5405, 1, (0 : 0 : 1)*] [* 5672, 0, (0 : 1 : 0)*] [* 5761, 0, (0 : 1 : 0)*] [* 6028, 0, (0 : 1 : 0)*] [* 6117, 2, (-1 : -1 : 1)*] [* 6473, -1, (0 : -1 : 1)*] [* 6829, 2, (-1 : -1 : 1)*] [* 7096, 3, (2 : -5 : 1)*] [* 7185, 5, (-14/9 : 22/27 : 1)*] [* 7541, 0, (0 : 1 : 0)*] [* 7897, 0, (0 : 1 : 0)*] [* 8520, -2, (-1 : 1 : 1)*] [* 8609, 2, (-1 : -1 : 1)*] [* 8876, 4, (3/4 : 1/8 : 1)*] [* 8965, -1, (0 : -1 : 1)*] [* 9321, 3, (2 : -5 : 1)*] [* 9677, 3, (2 : -5 : 1)*] [* 9944, 0, (0 : 1 : 0)*] /* D = 66 (mod 89 ) [* 689, -1, (0 : -1 : 1)*] [* 956, 1, (0 : 0 : 1)*] [* 1045, 1, (0 : 0 : 1)*] [* 1401, 0, (0 : 1 : 0)*] [* 1757, 4, (3/4 : 1/8 : 1)*] [* 2024, -2, (-1 : 1 : 1)*] [* 2113, -2, (-1 : 1 : 1)*] [* 2380, 0, (0 : 1 : 0)*] [* 2469, -4, (3/4 : -15/8 : 1)*] [* 3181, 0, (0 : 1 : 0)*] [* 3448, 1, (0 : 0 : 1)*] [* 3804, 5, (-14/9 : 22/27 : 1)*] [* 3893, -2, (-1 : 1 : 1)*] [* 4249, 0, (0 : 1 : 0)*] [* 4605, 6, (15/49 : -393/343 : 1)*] [* 4872, -4, (3/4 : -15/8 : 1)*] [* 5228, 3, (2 : -5 : 1)*] [* 5317, -2, (-1 : 1 : 1)*] [* 5673, -3, (2 : 2 : 1)*] [* 6029, 0, (0 : 1 : 0)*] [* 6296, -1, (0 : -1 : 1)*] [* 6385, 1, (0 : 0 : 1)*] [* 6652, -3, (2 : 2 : 1)*] [* 7097, 8, (-415/1024 : 15455/32768 : 1)*] [* 7453, -7, (224/25 : -4192/125 : 1)*] [* 7720, 2, (-1 : -1 : 1)*] [* 7809, 2, (-1 : -1 : 1)*] [* 8076, -7, (224/25 : -4192/125 : 1)*] [* 8165, -6, (15/49 : -55/343 : 1)*] [* 8521, 0, (0 : 1 : 0)*] [* 8877, -1, (0 : -1 : 1)*] [* 9233, 0, (0 : 1 : 0)*] [* 9589, 3, (2 : -5 : 1)*] /* D = 70 (mod 89 ) [* 248, -3, (2 : 2 : 1)*] [* 337, 0, (0 : 1 : 0)*] [* 604, 2, (-1 : -1 : 1)*] [* 1049, -1, (0 : -1 : 1)*] [* 1405, 4, (3/4 : 1/8 : 1)*] [* 1672, 4, (3/4 : 1/8 : 1)*] [* 1761, -1, (0 : -1 : 1)*] [* 2117, -5, (-14/9 : -7/27 : 1)*] [* 2473, -2, (-1 : 1 : 1)*] [* 2829, 1, (0 : 0 : 1)*] [* 3452, 1, (0 : 0 : 1)*] [* 3541, 2, (-1 : -1 : 1)*] [* 4253, -2, (-1 : 1 : 1)*] [* 4520, -6, (15/49 : -55/343 : 1)*] [* 4609, -3, (2 : 2 : 1)*] [* 4876, 1, (0 : 0 : 1)*] [* 4965, 1, (0 : 0 : 1)*] [* 5321, 1, (0 : 0 : 1)*] [* 5677, 0, (0 : 1 : 0)*] [* 5944, -1, (0 : -1 : 1)*] [* 6033, 1, (0 : 0 : 1)*] [* 6389, -6, (15/49 : -55/343 : 1)*] [* 6745, 0, (0 : 1 : 0)*] [* 7368, -4, (3/4 : -15/8 : 1)*] [* 7457, -1, (0 : -1 : 1)*] [* 7724, 5, (-14/9 : 22/27 : 1)*] [* 7813, -1, (0 : -1 : 1)*] [* 8169, 0, (0 : 1 : 0)*] [* 8792, 4, (3/4 : 1/8 : 1)*] [* 8881, -4, (3/4 : -15/8 : 1)*] [* 9148, 1, (0 : 0 : 1)*] [* 9237, 1, (0 : 0 : 1)*] [* 9593, 1, (0 : 0 : 1)*] [* 9949, 2, (-1 : -1 : 1)*] /* D = 74 (mod 89 ) [* 341, 3, (2 : -5 : 1)*] [* 697, -1, (0 : -1 : 1)*] [* 1320, 2, (-1 : -1 : 1)*] [* 1409, -2, (-1 : 1 : 1)*] [* 1676, 1, (0 : 0 : 1)*] [* 1765, -2, (-1 : 1 : 1)*] [* 2121, -2, (-1 : 1 : 1)*] [* 2477, -2, (-1 : 1 : 1)*] [* 2833, 2, (-1 : -1 : 1)*] [* 3189, 1, (0 : 0 : 1)*] [* 3545, 5, (-14/9 : 22/27 : 1)*] [* 3901, 2, (-1 : -1 : 1)*] [* 4168, 0, (0 : 1 : 0)*] [* 4524, 2, (-1 : -1 : 1)*] [* 4613, 2, (-1 : -1 : 1)*] [* 4969, 2, (-1 : -1 : 1)*] [* 5592, 2, (-1 : -1 : 1)*] [* 5681, 1, (0 : 0 : 1)*] [* 5948, -3, (2 : 2 : 1)*] [* 6037, 0, (0 : 1 : 0)*] [* 6393, 1, (0 : 0 : 1)*] [* 6749, -3, (2 : 2 : 1)*] [* 7016, 0, (0 : 1 : 0)*] [* 7372, 3, (2 : -5 : 1)*] [* 7817, -4, (3/4 : -15/8 : 1)*] [* 8173, -1, (0 : -1 : 1)*] [* 8440, -2, (-1 : 1 : 1)*] [* 8529, 0, (0 : 1 : 0)*] [* 8796, -3, (2 : 2 : 1)*] [* 8885, 3, (2 : -5 : 1)*] [* 9241, -1, (0 : -1 : 1)*] [* 9597, 4, (3/4 : 1/8 : 1)*] [* 9953, 0, (0 : 1 : 0)*] /* D = 75 (mod 89 ) [* 253, 1, (0 : 0 : 1)*] [* 520, 0, (0 : 1 : 0)*] [* 609, 0, (0 : 1 : 0)*] [* 876, -1, (0 : -1 : 1)*] [* 965, -3, (2 : 2 : 1)*] [* 1321, 1, (0 : 0 : 1)*] [* 1677, 1, (0 : 0 : 1)*] [* 2033, 0, (0 : 1 : 0)*] [* 2389, 0, (0 : 1 : 0)*] [* 3101, 2, (-1 : -1 : 1)*] [* 3368, 2, (-1 : -1 : 1)*] [* 3457, 2, (-1 : -1 : 1)*] [* 3813, -5, (-14/9 : -7/27 : 1)*] [* 4169, -3, (2 : 2 : 1)*] [* 4792, 3, (2 : -5 : 1)*] [* 4881, 1, (0 : 0 : 1)*] [* 5237, 5, (-14/9 : 22/27 : 1)*] [* 5593, 2, (-1 : -1 : 1)*] [* 6216, 0, (0 : 1 : 0)*] [* 6305, -3, (2 : 2 : 1)*] [* 6572, -5, (-14/9 : -7/27 : 1)*] [* 6661, -2, (-1 : 1 : 1)*] [* 7017, -1, (0 : -1 : 1)*] [* 7373, 3, (2 : -5 : 1)*] [* 7640, 1, (0 : 0 : 1)*] [* 7729, -2, (-1 : 1 : 1)*] [* 7996, -1, (0 : -1 : 1)*] [* 8441, 0, (0 : 1 : 0)*] [* 8797, -3, (2 : 2 : 1)*] [* 9064, -6, (15/49 : -55/343 : 1)*] *** Warning: The precision was insufficient to recognize P( 9420 ) as a global point [* 9420, Infinity, 0*] [* 9509, 0, (0 : 1 : 0)*] [* 9865, 0, (0 : 1 : 0)*] /* D = 76 (mod 89 ) [* 76, 1, (0 : 0 : 1)*] [* 165, 1, (0 : 0 : 1)*] [* 521, -1, (0 : -1 : 1)*] [* 877, 1, (0 : 0 : 1)*] [* 1144, 0, (0 : 1 : 0)*] [* 1589, -2, (-1 : 1 : 1)*] [* 1945, -2, (-1 : 1 : 1)*] [* 2301, 0, (0 : 1 : 0)*] [* 2568, 2, (-1 : -1 : 1)*] [* 2657, -1, (0 : -1 : 1)*] [* 2924, -3, (2 : 2 : 1)*] [* 3013, 5, (-14/9 : 22/27 : 1)*] [* 3369, 1, (0 : 0 : 1)*] [* 3992, 0, (0 : 1 : 0)*] [* 4081, 2, (-1 : -1 : 1)*] [* 4348, 2, (-1 : -1 : 1)*] [* 4793, 3, (2 : -5 : 1)*] [* 5149, 1, (0 : 0 : 1)*] [* 5416, -2, (-1 : 1 : 1)*] [* 5505, -2, (-1 : 1 : 1)*] [* 5772, -2, (-1 : 1 : 1)*] [* 5861, -1, (0 : -1 : 1)*] [* 6217, -1, (0 : -1 : 1)*] [* 6573, 6, (15/49 : -393/343 : 1)*] [* 7196, 2, (-1 : -1 : 1)*] [* 7285, -5, (-14/9 : -7/27 : 1)*] [* 7997, -7, (224/25 : -4192/125 : 1)*] [* 8264, 2, (-1 : -1 : 1)*] [* 8353, -2, (-1 : 1 : 1)*] [* 8620, -7, (224/25 : -4192/125 : 1)*] [* 8709, -1, (0 : -1 : 1)*] [* 9421, 1, (0 : 0 : 1)*] [* 9688, -2, (-1 : 1 : 1)*] [* 9777, 1, (0 : 0 : 1)*] /* D = 77 (mod 89 ) [* 77, -2, (-1 : 1 : 1)*] [* 344, -1, (0 : -1 : 1)*] [* 433, 1, (0 : 0 : 1)*] [* 789, 0, (0 : 1 : 0)*] [* 1145, 2, (-1 : -1 : 1)*] [* 1501, 2, (-1 : -1 : 1)*] [* 1768, -2, (-1 : 1 : 1)*] [* 1857, -1, (0 : -1 : 1)*] [* 2213, -1, (0 : -1 : 1)*] [* 2569, 2, (-1 : -1 : 1)*] [* 3192, 4, (3/4 : 1/8 : 1)*] [* 3281, -3, (2 : 2 : 1)*] [* 3548, -7, (224/25 : -4192/125 : 1)*] [* 3637, 1, (0 : 0 : 1)*] [* 4349, 0, (0 : 1 : 0)*] [* 4616, -2, (-1 : 1 : 1)*] [* 4705, 2, (-1 : -1 : 1)*] [* 4972, 4, (3/4 : 1/8 : 1)*] [* 5061, -2, (-1 : 1 : 1)*] [* 5417, -5, (-14/9 : -7/27 : 1)*] [* 5773, -3, (2 : 2 : 1)*] [* 6040, 2, (-1 : -1 : 1)*] [* 6396, 0, (0 : 1 : 0)*] [* 6485, 7, (224/25 : 2947/125 : 1)*] [* 6841, -1, (0 : -1 : 1)*] [* 7197, 1, (0 : 0 : 1)*] [* 7464, -2, (-1 : 1 : 1)*] [* 7553, 0, (0 : 1 : 0)*] [* 7820, -1, (0 : -1 : 1)*] [* 7909, 1, (0 : 0 : 1)*] [* 8265, 5, (-14/9 : 22/27 : 1)*] [* 8621, 4, (3/4 : 1/8 : 1)*] [* 8888, 8, (-415/1024 : 15455/32768 : 1)*] [* 8977, 1, (0 : 0 : 1)*] [* 9244, 2, (-1 : -1 : 1)*] [* 9689, -1, (0 : -1 : 1)*] /* D = 82 (mod 89 ) [* 349, -2, (-1 : 1 : 1)*] [* 616, 0, (0 : 1 : 0)*] [* 705, 3, (2 : -5 : 1)*] [* 1061, 1, (0 : 0 : 1)*] [* 1417, -1, (0 : -1 : 1)*] [* 2040, -5, (-14/9 : -7/27 : 1)*] [* 2129, 0, (0 : 1 : 0)*] [* 2396, -1, (0 : -1 : 1)*] [* 2485, -4, (3/4 : -15/8 : 1)*] [* 2841, 0, (0 : 1 : 0)*] [* 3197, 2, (-1 : -1 : 1)*] [* 3464, 6, (15/49 : -393/343 : 1)*] [* 3553, 1, (0 : 0 : 1)*] [* 3820, -1, (0 : -1 : 1)*] [* 3909, 2, (-1 : -1 : 1)*] [* 4265, -1, (0 : -1 : 1)*] [* 4621, 0, (0 : 1 : 0)*] [* 4888, 4, (3/4 : 1/8 : 1)*] [* 5244, 1, (0 : 0 : 1)*] [* 5333, 5, (-14/9 : 22/27 : 1)*] [* 5689, -1, (0 : -1 : 1)*] [* 6045, -1, (0 : -1 : 1)*] [* 6312, 4, (3/4 : 1/8 : 1)*] [* 6401, -2, (-1 : 1 : 1)*] [* 6668, -6, (15/49 : -55/343 : 1)*] [* 6757, 0, (0 : 1 : 0)*] [* 7113, 0, (0 : 1 : 0)*] [* 7469, 0, (0 : 1 : 0)*] [* 7736, -5, (-14/9 : -7/27 : 1)*] [* 8537, 3, (2 : -5 : 1)*] [* 8893, 1, (0 : 0 : 1)*] [* 9160, -2, (-1 : 1 : 1)*] [* 9249, -1, (0 : -1 : 1)*] [* 9516, 4, (3/4 : 1/8 : 1)*] [* 9605, -1, (0 : -1 : 1)*] [* 9961, 4, (3/4 : 1/8 : 1)*] /* D = 83 (mod 89 ) [* 172, -1, (0 : -1 : 1)*] [* 617, 0, (0 : 1 : 0)*] [* 973, -2, (-1 : 1 : 1)*] [* 1240, -1, (0 : -1 : 1)*] [* 1329, -3, (2 : 2 : 1)*] [* 1596, 4, (3/4 : 1/8 : 1)*] [* 1685, 8, (-415/1024 : 15455/32768 : 1)*] [* 2041, 2, (-1 : -1 : 1)*] [* 2397, -1, (0 : -1 : 1)*] [* 2753, -2, (-1 : 1 : 1)*] [* 3020, 2, (-1 : -1 : 1)*] [* 3109, -1, (0 : -1 : 1)*] [* 3821, -5, (-14/9 : -7/27 : 1)*] [* 4088, -6, (15/49 : -55/343 : 1)*] [* 4177, 3, (2 : -5 : 1)*] [* 4444, -4, (3/4 : -15/8 : 1)*] [* 4533, 0, (0 : 1 : 0)*] [* 4889, -3, (2 : 2 : 1)*] [* 5245, 1, (0 : 0 : 1)*] [* 5512, 4, (3/4 : 1/8 : 1)*] [* 5601, 3, (2 : -5 : 1)*] [* 5957, -2, (-1 : 1 : 1)*] [* 6313, 0, (0 : 1 : 0)*] [* 7292, 3, (2 : -5 : 1)*] [* 7737, 2, (-1 : -1 : 1)*] [* 8093, -1, (0 : -1 : 1)*] [* 8360, 6, (15/49 : -393/343 : 1)*] [* 8449, 4, (3/4 : 1/8 : 1)*] [* 8716, 1, (0 : 0 : 1)*] [* 8805, -5, (-14/9 : -7/27 : 1)*] [* 9161, 1, (0 : 0 : 1)*] [* 9517, -2, (-1 : 1 : 1)*] [* 9784, -1, (0 : -1 : 1)*] /* D = 86 (mod 89 ) [* 264, 0, (0 : 1 : 0)*] [* 353, 2, (-1 : -1 : 1)*] [* 620, -1, (0 : -1 : 1)*] [* 709, 1, (0 : 0 : 1)*] [* 1065, 0, (0 : 1 : 0)*] [* 1688, -2, (-1 : 1 : 1)*] [* 1777, -3, (2 : 2 : 1)*] [* 2044, 2, (-1 : -1 : 1)*] [* 2489, 1, (0 : 0 : 1)*] [* 2845, 3, (2 : -5 : 1)*] [* 3112, -2, (-1 : 1 : 1)*] [* 3201, 1, (0 : 0 : 1)*] [* 3557, 3, (2 : -5 : 1)*] [* 3913, -2, (-1 : 1 : 1)*] [* 4269, 6, (15/49 : -393/343 : 1)*] [* 4892, 7, (224/25 : 2947/125 : 1)*] [* 4981, 4, (3/4 : 1/8 : 1)*] [* 5693, -6, (15/49 : -55/343 : 1)*] [* 5960, -4, (3/4 : -15/8 : 1)*] [* 6049, -2, (-1 : 1 : 1)*] [* 6316, 2, (-1 : -1 : 1)*] [* 6405, -2, (-1 : 1 : 1)*] [* 6761, -1, (0 : -1 : 1)*] [* 7117, 0, (0 : 1 : 0)*] [* 7384, -2, (-1 : 1 : 1)*] [* 7473, -1, (0 : -1 : 1)*] [* 7829, -4, (3/4 : -15/8 : 1)*] [* 8185, 1, (0 : 0 : 1)*] [* 8808, -2, (-1 : 1 : 1)*] [* 8897, -2, (-1 : 1 : 1)*] [* 9164, 2, (-1 : -1 : 1)*] [* 9253, 2, (-1 : -1 : 1)*] [* 9609, 1, (0 : 0 : 1)*] [* 9965, 1, (0 : 0 : 1)*] Total time: 19487.959 seconds, Total memory usage: 50.75MB