Magma V2.13-11    Sun Nov 11 2007 03:15:14 on amd19    [Seed = 3919109501]
Type ? for help.  Type <Ctrl>-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 ]
[ 181, -1 ]
[ 537, 0 ]
[ 893, 1 ]
[ 1160, -2 ]
[ 1249, 0 ]
[ 1516, 1 ]
[ 1605, 2 ]
[ 1961, 0 ]
[ 2317, -4 ]
[ 2584, 1 ]
[ 3029, 6 ]
[ 3385, -2 ]
[ 3741, -3 ]
[ 4008, -2 ]
[ 4097, -3 ]
[ 4364, 5 ]
[ 4453, 1 ]
[ 4809, 0 ]
[ 5165, -6 ]
[ 5432, -2 ]
[ 5521, 2 ]
[ 5788, 5 ]
[ 6233, -1 ]
[ 6589, 1 ]
[ 6856, -2 ]
[ 6945, 1 ]
[ 7212, 3 ]
[ 7657, 3 ]
[ 8013, 9 ]
[ 8369, 1 ]
[ 8636, -5 ]
[ 9437, -4 ]
[ 9704, -2 ]
[ 9793, 0 ]

/* D =  6  (mod  89 )
[ 184, 1 ]
[ 273, 0 ]
[ 629, 2 ]
[ 985, -3 ]
[ 1608, -4 ]
[ 1697, 3 ]
[ 1964, 1 ]
[ 2053, -3 ]
[ 2409, 1 ]
[ 2765, -2 ]
[ 3032, 1 ]
[ 3121, -3 ]
[ 3477, 5 ]
[ 3833, -1 ]
[ 4189, 2 ]
[ 4456, 2 ]
[ 4812, -2 ]
[ 5257, 2 ]
[ 5613, -5 ]
[ 5969, 1 ]
[ 6236, 0 ]
[ 6681, 1 ]
[ 7037, 1 ]
[ 7304, -8 ]
[ 7393, -1 ]
[ 7660, -5 ]
[ 8105, 3 ]
[ 8461, 4 ]
[ 8728, 3 ]
[ 8817, -4 ]
[ 9084, 7 ]
[ 9173, -5 ]
[ 9529, 1 ]
[ 9885, 0 ]

/* D =  7  (mod  89 )
[ 185, -2 ]
[ 541, 0 ]
[ 808, 0 ]
[ 897, 1 ]
[ 1164, -1 ]
[ 1253, 4 ]
[ 1609, -2 ]
[ 1965, 3 ]
[ 2321, 2 ]
[ 2588, 2 ]
[ 2677, -5 ]
[ 3389, -3 ]
[ 3656, 2 ]
[ 3745, -2 ]
[ 4012, -2 ]
[ 4101, 1 ]
[ 4457, 4 ]
[ 4813, -1 ]
[ 5080, 3 ]
[ 5169, -1 ]
[ 5881, 1 ]
[ 6504, 0 ]
[ 6593, 1 ]
[ 6949, 5 ]
[ 7305, 2 ]
[ 7661, -3 ]
[ 7928, -1 ]
[ 8017, -1 ]
[ 8284, 1 ]
[ 8373, 3 ]
[ 8729, 2 ]
[ 9085, 6 ]
[ 9352, -4 ]
[ 9708, 11 ]
[ 9797, 1 ]

/* D =  12  (mod  89 )
[ 12, 1 ]
[ 101, -1 ]
[ 457, 0 ]
[ 813, -1 ]
[ 1169, 2 ]
[ 1436, 0 ]
[ 2237, 1 ]
[ 2504, 2 ]
[ 2593, -1 ]
[ 2860, 0 ]
[ 2949, 2 ]
[ 3305, 0 ]
[ 3661, 0 ]
[ 3928, -3 ]
[ 4017, -3 ]
[ 4373, -6 ]
[ 4729, -2 ]
[ 5352, 6 ]
[ 5441, -1 ]
[ 5708, -4 ]
[ 5797, 1 ]
[ 6153, 2 ]
[ 6509, 6 ]
[ 6865, 2 ]
[ 7132, 1 ]
[ 7221, 0 ]
[ 7577, 3 ]
[ 7933, 2 ]
[ 8556, -1 ]
[ 8645, 2 ]
[ 9001, 1 ]
[ 9357, 1 ]
[ 9624, -2 ]
[ 9713, -1 ]
[ 9980, 2 ]

/* D =  13  (mod  89 )
[ 13, 1 ]
[ 280, 2 ]
[ 636, 1 ]
[ 1081, -1 ]
[ 1437, 3 ]
[ 1704, -6 ]
[ 1793, -1 ]
[ 2060, 1 ]
[ 2149, 0 ]
[ 2505, 0 ]
[ 2861, 0 ]
[ 3128, 3 ]
[ 3217, 0 ]
[ 3484, 2 ]
[ 3929, -1 ]
[ 4285, -2 ]
[ 4552, -2 ]
[ 4641, 2 ]
[ 4908, 0 ]
[ 4997, 6 ]
[ 5353, 1 ]
[ 5709, 1 ]
[ 6065, 1 ]
[ 6332, -3 ]
[ 6421, -3 ]
[ 7133, -2 ]
[ 7489, 1 ]
[ 7756, -4 ]
[ 7845, -5 ]
[ 8201, 2 ]
[ 8557, 1 ]
[ 8824, 0 ]
[ 8913, -1 ]
[ 9269, -3 ]

/* D =  14  (mod  89 )
[ 281, 0 ]
[ 904, 0 ]
[ 993, 1 ]
[ 1349, 4 ]
[ 1705, -1 ]
[ 2328, 3 ]
[ 2417, 3 ]
[ 2684, 2 ]
[ 2773, 0 ]
[ 3129, 2 ]
[ 3485, -5 ]
[ 3752, -4 ]
[ 3841, -2 ]
[ 4108, 2 ]
[ 4197, -1 ]
[ 4553, -2 ]
[ 4909, -1 ]
[ 5176, -2 ]
[ 5532, -2 ]
[ 5621, 0 ]
[ 5977, 2 ]
[ 6333, 8 ]
[ 6689, -2 ]
[ 6956, 4 ]
[ 7045, 2 ]
[ 7401, -2 ]
[ 7757, 2 ]
[ 8024, 0 ]
[ 8113, 0 ]
[ 8380, 1 ]
[ 9181, 3 ]
[ 9448, 6 ]
[ 9804, 1 ]
[ 9893, 1 ]

/* D =  15  (mod  89 )
[ 104, -2 ]
[ 193, 1 ]
[ 460, 1 ]
[ 905, -1 ]
[ 1261, 1 ]
[ 1528, 1 ]
[ 1884, 0 ]
[ 1973, -2 ]
[ 2329, 2 ]
[ 2685, 2 ]
[ 3041, -4 ]
[ 3308, -3 ]
[ 3397, -2 ]
[ 4109, 2 ]
[ 4376, -2 ]
[ 4465, 1 ]
[ 4821, 2 ]
[ 5177, 2 ]
[ 5533, 0 ]
[ 5889, -2 ]
[ 6245, 0 ]
[ 6601, 0 ]
[ 7224, 6 ]
[ 7313, -2 ]
[ 7580, 9 ]
[ 7669, -2 ]
[ 8648, 10 ]
[ 8737, 0 ]
[ 9004, -1 ]
[ 9093, 2 ]
[ 9449, 0 ]
[ 9805, -2 ]

/* D =  19  (mod  89 )
[ 197, 1 ]
[ 553, -2 ]
[ 1265, 1 ]
[ 1532, -5 ]
[ 1621, 1 ]
[ 1977, 2 ]
[ 2333, -3 ]
[ 2689, -2 ]
[ 2956, 3 ]
[ 3045, 2 ]
[ 3401, -2 ]
[ 4024, 0 ]
[ 4380, 3 ]
[ 4469, -3 ]
[ 5181, 0 ]
[ 5448, -2 ]
[ 5804, 0 ]
[ 5893, 0 ]
[ 6249, 2 ]
[ 6605, -1 ]
[ 6872, -6 ]
[ 6961, 0 ]
[ 7228, -2 ]
[ 7673, 1 ]
[ 8029, -2 ]
[ 8296, -2 ]
[ 8385, -5 ]
[ 8652, -4 ]
[ 8741, 5 ]
[ 9097, 3 ]
[ 9453, -4 ]
[ 9809, 1 ]

/* D =  23  (mod  89 )
[ 201, 1 ]
[ 557, -1 ]
[ 824, -1 ]
[ 913, 0 ]
[ 1180, 2 ]
[ 1981, 0 ]
[ 2248, 2 ]
[ 2337, 1 ]
[ 2604, 0 ]
[ 2693, -4 ]
[ 3049, -2 ]
[ 3405, 5 ]
[ 3761, 2 ]
[ 4028, -7 ]
[ 4117, 0 ]
[ 4829, 3 ]
[ 5185, -1 ]
[ 5452, 2 ]
[ 5541, -3 ]
[ 5897, -3 ]
[ 6520, 1 ]
[ 6609, -3 ]
[ 6965, 4 ]
[ 7321, 0 ]
[ 7944, 4 ]
[ 8033, 1 ]
[ 8389, 3 ]
[ 8745, -1 ]
[ 9101, -1 ]
[ 9368, -6 ]
[ 9724, -4 ]
[ 9813, -4 ]

/* D =  24  (mod  89 )
[ 24, -1 ]
[ 113, 1 ]
[ 380, -1 ]
[ 469, -2 ]
[ 1181, -1 ]
[ 1448, 2 ]
[ 1537, 1 ]
[ 1804, 2 ]
[ 1893, 3 ]
[ 2249, 1 ]
[ 2605, -1 ]
[ 2872, 0 ]
[ 3228, 1 ]
[ 3317, 0 ]
[ 3673, -4 ]
[ 4029, -2 ]
[ 4296, -4 ]
[ 4385, 1 ]
[ 4652, -3 ]
[ 4741, 3 ]
[ 5097, 1 ]
[ 5453, 2 ]
[ 5720, 0 ]
[ 5809, -2 ]
[ 6521, -1 ]
[ 7144, 0 ]
[ 7233, -1 ]
[ 7589, -2 ]
[ 7945, 0 ]
[ 8301, 4 ]
[ 8657, -5 ]
[ 8924, 3 ]
[ 9013, 0 ]
[ 9992, -6 ]

/* D =  26  (mod  89 )
[ 204, 1 ]
[ 293, 2 ]
[ 649, 2 ]
[ 1005, -3 ]
[ 1272, 1 ]
[ 1361, -4 ]
[ 1628, 2 ]
[ 1717, -1 ]
[ 2073, -1 ]
[ 2429, 0 ]
[ 2696, 0 ]
[ 2785, 1 ]
[ 3052, -4 ]
[ 3497, -1 ]
[ 3853, 3 ]
[ 4120, 1 ]
[ 4209, 1 ]
[ 4476, 1 ]
[ 4565, 2 ]
[ 4921, 2 ]
[ 5277, -3 ]
[ 5633, 3 ]
[ 5989, -1 ]
[ 6701, -2 ]
[ 6968, 2 ]
[ 7057, 2 ]
[ 7324, 0 ]
[ 7413, 0 ]
[ 7769, -2 ]
[ 8392, 2 ]
[ 8481, 1 ]
[ 8837, -8 ]
[ 9193, 3 ]
[ 9816, -4 ]
[ 9905, 0 ]

/* D =  27  (mod  89 )
[ 205, -1 ]
[ 472, 0 ]
[ 561, -1 ]
[ 917, 0 ]
[ 1273, 3 ]
[ 1896, 2 ]
[ 1985, -1 ]
[ 2252, -5 ]
[ 2341, 2 ]
[ 2697, -1 ]
[ 3053, 2 ]
[ 3320, 4 ]
[ 3409, -2 ]
[ 3676, -1 ]
[ 3765, -5 ]
[ 4121, -3 ]
[ 4744, -6 ]
[ 5189, -2 ]
[ 5545, 0 ]
[ 5901, 2 ]
[ 6168, 1 ]
[ 6257, 6 ]
[ 6524, 4 ]
[ 6613, -2 ]
[ 6969, 3 ]
[ 7592, -2 ]
[ 7681, 1 ]
[ 7948, 3 ]
[ 8393, -2 ]
[ 8749, 1 ]
[ 9105, 0 ]
[ 9372, -2 ]
[ 9461, 4 ]
[ 9817, -2 ]

/* D =  28  (mod  89 )
[ 28, 0 ]
[ 473, -1 ]
[ 829, 4 ]
[ 1096, 2 ]
[ 1185, 0 ]
[ 1541, -1 ]
[ 1897, 2 ]
[ 2253, 4 ]
[ 2609, -1 ]
[ 2876, 1 ]
[ 2965, 0 ]
[ 3677, -3 ]
[ 3944, 0 ]
[ 4033, 0 ]
[ 4389, -2 ]
[ 4745, -1 ]
[ 5101, -3 ]
[ 5368, 2 ]
[ 5457, -2 ]
[ 5813, 0 ]
[ 6169, 1 ]
[ 6792, -2 ]
[ 6881, 6 ]
[ 7148, 1 ]
[ 7237, -2 ]
[ 7593, 8 ]
[ 7949, 2 ]
[ 8216, -6 ]
[ 8305, -4 ]
[ 8572, -1 ]
[ 8661, 4 ]
[ 9017, 2 ]
[ 9373, 4 ]
[ 9640, 0 ]

/* D =  29  (mod  89 )
[ 29, 1 ]
[ 296, 0 ]
[ 385, 0 ]
[ 652, -1 ]
[ 741, 1 ]
[ 1097, -4 ]
[ 1453, 1 ]
[ 1720, 3 ]
[ 2076, -1 ]
[ 2165, -1 ]
[ 2521, 1 ]
[ 2877, 0 ]
[ 3144, -2 ]
[ 3233, 3 ]
[ 3589, -4 ]
[ 3945, 4 ]
[ 4301, 3 ]
[ 4568, -3 ]
[ 4657, 0 ]
[ 4924, -5 ]
[ 5369, 0 ]
[ 5992, 4 ]
[ 6081, -2 ]
[ 6437, -2 ]
[ 6793, 2 ]
[ 7149, -2 ]
[ 7505, 0 ]
[ 7772, 4 ]
[ 7861, -2 ]
[ 8573, 1 ]
[ 8840, -4 ]
[ 8929, 1 ]
[ 9285, -1 ]
[ 9641, -3 ]
[ 9997, -5 ]

/* D =  30  (mod  89 )
[ 653, 0 ]
[ 920, 5 ]
[ 1009, 0 ]
[ 1276, -2 ]
[ 1365, -2 ]
[ 1721, -1 ]
[ 2077, 1 ]
[ 2344, -2 ]
[ 2433, -3 ]
[ 2789, 3 ]
[ 3145, 0 ]
[ 3768, 2 ]
[ 3857, 4 ]
[ 4124, 0 ]
[ 4213, -3 ]
[ 4569, 1 ]
[ 5192, -4 ]
[ 5281, 1 ]
[ 5548, 1 ]
[ 5637, 6 ]
[ 5993, -2 ]
[ 6349, 0 ]
[ 6616, 1 ]
[ 6972, -4 ]
[ 7061, 0 ]
[ 7417, 0 ]
[ 7773, -9 ]
[ 8040, 6 ]
[ 8129, -1 ]
[ 8396, 5 ]
[ 8485, 1 ]
[ 8841, 2 ]
[ 9197, -2 ]
[ 9553, 2 ]
[ 9820, 3 ]

/* D =  31  (mod  89 )
[ 120, 1 ]
[ 209, -1 ]
[ 476, -2 ]
[ 565, 1 ]
[ 921, 0 ]
[ 1277, -1 ]
[ 1544, 0 ]
[ 1633, 2 ]
[ 2345, 0 ]
[ 2701, 2 ]
[ 2968, 0 ]
[ 3057, 0 ]
[ 3324, 5 ]
[ 3413, -4 ]
[ 3769, 0 ]
[ 4481, 0 ]
[ 4748, 0 ]
[ 4837, -2 ]
[ 5549, 2 ]
[ 5816, 5 ]
[ 5905, -1 ]
[ 6172, -6 ]
[ 6261, -5 ]
[ 6617, 3 ]
[ 6973, 2 ]
[ 7240, -4 ]
[ 7329, 4 ]
[ 7685, 7 ]
[ 8041, 1 ]
[ 8753, -8 ]
[ 9020, 2 ]
[ 9109, -5 ]
[ 9465, -3 ]
[ 9821, 2 ]

/* D =  33  (mod  89 )
[ 33, -1 ]
[ 389, -2 ]
[ 745, 2 ]
[ 1101, 2 ]
[ 1457, 1 ]
[ 1724, -1 ]
[ 2792, 6 ]
[ 2881, -1 ]
[ 3148, -5 ]
[ 3237, -6 ]
[ 3593, 0 ]
[ 3949, -2 ]
[ 4216, -1 ]
[ 4305, 0 ]
[ 4661, 2 ]
[ 5017, -5 ]
[ 5640, -2 ]
[ 5729, 0 ]
[ 5996, 2 ]
[ 6085, 1 ]
[ 6441, -3 ]
[ 6797, 2 ]
[ 7064, -5 ]
[ 7153, 3 ]
[ 7420, 2 ]
[ 7509, 0 ]
[ 8221, 2 ]
[ 8488, 2 ]
[ 8844, -4 ]
[ 8933, 5 ]
[ 9289, 0 ]
[ 9645, 8 ]
[ 9912, 0 ]

/* D =  35  (mod  89 )
[ 124, -1 ]
[ 213, 0 ]
[ 569, 1 ]
[ 1192, 0 ]
[ 1281, 0 ]
[ 1637, -3 ]
[ 1993, -1 ]
[ 2616, -3 ]
[ 2705, -2 ]
[ 2972, -3 ]
[ 3061, -2 ]
[ 3417, 1 ]
[ 4040, -2 ]
[ 4129, 2 ]
[ 4396, 0 ]
[ 4485, -5 ]
[ 4841, 1 ]
[ 5197, -2 ]
[ 5464, 1 ]
[ 5820, -1 ]
[ 5909, 1 ]
[ 6265, -4 ]
[ 6621, 0 ]
[ 6888, 4 ]
[ 6977, 2 ]
[ 7244, 2 ]
[ 7333, 1 ]
[ 7689, -2 ]
[ 8045, -2 ]
[ 8312, 4 ]
[ 8401, -1 ]
[ 8668, 2 ]
[ 9113, 1 ]
[ 9469, -3 ]
[ 9736, -2 ]

/* D =  37  (mod  89 )
[ 37, 0 ]
[ 393, 1 ]
[ 749, 2 ]
[ 1016, -1 ]
[ 1105, -1 ]
[ 1461, -4 ]
[ 1817, 0 ]
[ 2173, -3 ]
[ 2440, -4 ]
[ 2796, 2 ]
[ 2885, 1 ]
[ 3241, 2 ]
[ 3597, 3 ]
[ 3864, -2 ]
[ 3953, 2 ]
[ 4220, 4 ]
[ 4309, 0 ]
[ 4665, -1 ]
[ 5021, 2 ]
[ 5288, 6 ]
[ 5377, 0 ]
[ 5644, 0 ]
[ 6089, -3 ]
[ 6445, -1 ]
[ 6712, -1 ]
[ 6801, -1 ]
[ 7068, -7 ]
[ 7157, -10 ]
[ 7513, -3 ]
[ 7869, 1 ]
[ 8492, 0 ]
[ 8581, 3 ]
[ 9293, 6 ]
[ 9560, -5 ]
[ 9649, 1 ]
[ 9916, 4 ]

/* D =  38  (mod  89 )
[ 305, -1 ]
[ 572, 0 ]
[ 661, 2 ]
[ 1373, -2 ]
[ 1640, 0 ]
[ 1729, 0 ]
[ 1996, -2 ]
[ 2085, 0 ]
[ 2441, 2 ]
[ 2797, 2 ]
[ 3064, 3 ]
[ 3153, -2 ]
[ 3865, 0 ]
[ 4488, 4 ]
[ 4577, 3 ]
[ 4844, -2 ]
[ 4933, 3 ]
[ 5289, 1 ]
[ 5645, -6 ]
[ 5912, -3 ]
[ 6001, 0 ]
[ 6268, -5 ]
[ 6357, 3 ]
[ 7069, 2 ]
[ 7336, 4 ]
[ 7692, -1 ]
[ 7781, 1 ]
[ 8137, -4 ]
[ 8493, 0 ]
[ 8760, -1 ]
[ 8849, 0 ]
[ 9116, 1 ]
[ 9205, 0 ]
[ 9561, -5 ]
[ 9917, 4 ]

/* D =  41  (mod  89 )
[ 41, 1 ]
[ 397, 1 ]
[ 664, -2 ]
[ 753, -1 ]
[ 1020, 3 ]
[ 1109, -2 ]
[ 1465, 0 ]
[ 1821, -4 ]
[ 2177, 2 ]
[ 2444, 0 ]
[ 2533, 2 ]
[ 3245, -2 ]
[ 3512, 1 ]
[ 3601, -1 ]
[ 3868, 1 ]
[ 3957, 2 ]
[ 4313, 1 ]
[ 4669, 2 ]
[ 4936, 0 ]
[ 5381, 5 ]
[ 5737, -1 ]
[ 6360, 3 ]
[ 6449, 0 ]
[ 6716, 3 ]
[ 6805, 2 ]
[ 7161, -2 ]
[ 7517, -6 ]
[ 7784, -4 ]
[ 7873, -2 ]
[ 8140, 2 ]
[ 8229, 2 ]
[ 8585, -5 ]
[ 8941, 1 ]
[ 9208, 5 ]
[ 9564, 0 ]

/* D =  43  (mod  89 )
[ 221, -1 ]
[ 488, 2 ]
[ 577, -1 ]
[ 844, 0 ]
[ 933, 3 ]
[ 1289, -1 ]
[ 1645, 2 ]
[ 1912, 3 ]
[ 2001, 1 ]
[ 2357, -2 ]
[ 2713, -1 ]
[ 3336, 0 ]
[ 3692, -2 ]
[ 3781, 1 ]
[ 4137, -2 ]
[ 4493, -1 ]
[ 4760, -4 ]
[ 4849, 1 ]
[ 5116, 1 ]
[ 5205, -3 ]
[ 5561, 6 ]
[ 5917, -1 ]
[ 6184, 2 ]
[ 6540, -3 ]
[ 6629, -2 ]
[ 6985, -5 ]
[ 7341, -5 ]
[ 7608, 3 ]
[ 7697, 0 ]
[ 7964, 0 ]
[ 8053, 6 ]
[ 8409, 2 ]
[ 8765, -2 ]
[ 9032, 2 ]
[ 9121, 0 ]
[ 9388, 0 ]
[ 9833, 7 ]

/* D =  46  (mod  89 )
[ 313, -1 ]
[ 669, 1 ]
[ 1292, 3 ]
[ 1381, -2 ]
[ 2093, 2 ]
[ 2360, 0 ]
[ 2449, 0 ]
[ 2716, 2 ]
[ 2805, 1 ]
[ 3161, -1 ]
[ 3517, -1 ]
[ 3784, 0 ]
[ 3873, 3 ]
[ 4229, 1 ]
[ 4585, 2 ]
[ 5208, -4 ]
[ 5297, -7 ]
[ 5564, 2 ]
[ 5653, -6 ]
[ 6009, 4 ]
[ 6365, 1 ]
[ 6632, 4 ]
[ 6721, 0 ]
[ 6988, -2 ]
[ 7077, 2 ]
[ 7433, 2 ]
[ 7789, 0 ]
[ 8056, -7 ]
[ 8412, 7 ]
[ 8501, 6 ]
[ 8857, 3 ]
[ 9213, -4 ]
[ 9480, -2 ]
[ 9569, -2 ]
[ 9836, -1 ]

/* D =  48  (mod  89 )
[ 137, 0 ]
[ 493, 3 ]
[ 760, -1 ]
[ 849, -2 ]
[ 1205, -3 ]
[ 1561, 0 ]
[ 2184, 4 ]
[ 2273, -1 ]
[ 2540, -3 ]
[ 2629, 1 ]
[ 2985, 3 ]
[ 3341, 1 ]
[ 3608, -2 ]
[ 3697, 1 ]
[ 3964, 3 ]
[ 4053, -4 ]
[ 4409, 2 ]
[ 4765, -2 ]
[ 5032, 0 ]
[ 5388, 3 ]
[ 5477, 2 ]
[ 5833, 0 ]
[ 6189, 3 ]
[ 6456, -3 ]
[ 6545, 2 ]
[ 6812, 0 ]
[ 6901, -1 ]
[ 7257, -8 ]
[ 7613, 3 ]
[ 7880, -4 ]
[ 7969, 1 ]
[ 8236, 0 ]
[ 8681, -1 ]
[ 9037, -4 ]
[ 9304, -1 ]
[ 9393, 7 ]
[ 9660, 0 ]
[ 9749, -5 ]

/* D =  51  (mod  89 )
[ 140, -2 ]
[ 229, 0 ]
[ 941, 0 ]
[ 1208, 2 ]
[ 1297, 1 ]
[ 1564, 3 ]
[ 1653, 1 ]
[ 2365, -3 ]
[ 2632, 0 ]
[ 2721, 1 ]
[ 3077, 1 ]
[ 3433, 4 ]
[ 4145, 0 ]
[ 4412, 0 ]
[ 4501, 0 ]
[ 4857, 1 ]
[ 5213, 0 ]
[ 5480, -2 ]
[ 5569, -1 ]
[ 5836, 1 ]
[ 6281, -3 ]
[ 6637, -2 ]
[ 6904, -1 ]
[ 7349, 4 ]
[ 7705, 1 ]
[ 8061, 1 ]
[ 8328, 6 ]
[ 8417, -5 ]
[ 8684, 0 ]
[ 8773, 0 ]
[ 9129, 0 ]
[ 9485, 0 ]
[ 9752, -3 ]
[ 9841, 3 ]

/* D =  52  (mod  89 )
[ 141, 1 ]
[ 408, -1 ]
[ 497, 0 ]
[ 764, 1 ]
[ 853, -1 ]
[ 1209, -1 ]
[ 1565, 1 ]
[ 1832, 6 ]
[ 1921, -3 ]
[ 2188, 0 ]
[ 2633, 0 ]
[ 3256, -2 ]
[ 3345, 3 ]
[ 3612, -2 ]
[ 3701, 6 ]
[ 4057, -2 ]
[ 4413, -2 ]
[ 4769, 1 ]
[ 5036, -3 ]
[ 5837, -5 ]
[ 6104, 0 ]
[ 6193, 3 ]
[ 6460, 3 ]
[ 6549, -2 ]
[ 6905, 4 ]
[ 7261, -2 ]
[ 7528, 0 ]
[ 7617, -2 ]
[ 7973, -4 ]
[ 8329, 4 ]
[ 8952, 1 ]
[ 9041, -1 ]
[ 9308, -8 ]
[ 9397, 4 ]
[ 9753, 0 ]

/* D =  54  (mod  89 )
[ 232, 0 ]
[ 321, -2 ]
[ 677, 2 ]
[ 1033, 0 ]
[ 1389, 1 ]
[ 1745, 0 ]
[ 2012, -4 ]
[ 2101, 3 ]
[ 2813, -5 ]
[ 3080, 4 ]
[ 3169, 0 ]
[ 3436, 4 ]
[ 3881, 0 ]
[ 4237, 1 ]
[ 4504, -1 ]
[ 4593, 2 ]
[ 5305, 1 ]
[ 5928, -6 ]
[ 6017, 2 ]
[ 6284, -1 ]
[ 6373, 5 ]
[ 6729, 0 ]
[ 7085, -5 ]
[ 7352, -3 ]
[ 7441, -2 ]
[ 7708, 0 ]
[ 7797, -1 ]
[ 8153, 0 ]
[ 8509, -1 ]
[ 8776, 0 ]
[ 9132, -1 ]
[ 9221, 1 ]
[ 9577, 0 ]
[ 9933, 0 ]

/* D =  56  (mod  89 )
[ 56, 0 ]
[ 145, 1 ]
[ 412, -1 ]
[ 501, -2 ]
[ 857, 2 ]
[ 1213, -1 ]
[ 1480, -4 ]
[ 1569, -1 ]
[ 2281, 1 ]
[ 2993, 1 ]
[ 3260, 3 ]
[ 3349, -1 ]
[ 3705, -3 ]
[ 4061, 3 ]
[ 4328, 4 ]
[ 4417, -4 ]
[ 4684, 0 ]
[ 4773, 6 ]
[ 5129, -3 ]
[ 5485, 2 ]
[ 5752, -5 ]
[ 6108, -3 ]
[ 6197, 1 ]
[ 6553, 2 ]
[ 7176, 4 ]
[ 7265, -3 ]
[ 7532, 2 ]
[ 7621, -3 ]
[ 7977, 1 ]
[ 8333, -1 ]
[ 8689, -1 ]
[ 8956, -2 ]
[ 9401, -2 ]
[ 9757, 5 ]

/* D =  58  (mod  89 )
[ 236, 2 ]
[ 681, 1 ]
[ 1037, -1 ]
[ 1304, -3 ]
[ 1393, 2 ]
[ 1660, -2 ]
[ 1749, -3 ]
[ 2105, 0 ]
[ 2461, 0 ]
[ 2728, 2 ]
[ 3084, 3 ]
[ 3173, 2 ]
[ 3529, -1 ]
[ 3885, 2 ]
[ 4152, 3 ]
[ 4241, -2 ]
[ 4597, 3 ]
[ 4953, 1 ]
[ 5309, 1 ]
[ 5576, -2 ]
[ 5665, 1 ]
[ 5932, 1 ]
[ 6377, -2 ]
[ 6733, -2 ]
[ 7089, 0 ]
[ 7356, -3 ]
[ 7445, -3 ]
[ 7801, 1 ]
[ 8157, -1 ]
[ 8513, 1 ]
[ 8780, -1 ]
[ 9581, 2 ]
[ 9848, 1 ]
[ 9937, -3 ]

/* D =  59  (mod  89 )
[ 237, 2 ]
[ 593, -2 ]
[ 860, 1 ]
[ 949, 1 ]
[ 1661, 0 ]
[ 1928, -2 ]
[ 2017, 1 ]
[ 2284, -1 ]
[ 2373, -4 ]
[ 2729, 1 ]
[ 3085, -2 ]
[ 3352, -1 ]
[ 3441, 2 ]
[ 3797, 6 ]
[ 4153, 1 ]
[ 4776, 0 ]
[ 4865, -2 ]
[ 5132, -2 ]
[ 5221, -5 ]
[ 5933, -2 ]
[ 6289, 5 ]
[ 6556, 0 ]
[ 6645, 1 ]
[ 7001, -2 ]
[ 7357, -2 ]
[ 7624, 2 ]
[ 7980, 2 ]
[ 8069, -2 ]
[ 8781, -4 ]
[ 9048, -6 ]
[ 9137, -4 ]
[ 9404, -1 ]
[ 9493, -1 ]

/* D =  60  (mod  89 )
[ 60, -1 ]
[ 149, 0 ]
[ 505, -1 ]
[ 861, 2 ]
[ 1128, 0 ]
[ 1217, -1 ]
[ 1484, 4 ]
[ 1929, 0 ]
[ 2285, 2 ]
[ 2552, 2 ]
[ 2641, 0 ]
[ 2908, -3 ]
[ 3353, 0 ]
[ 3709, -1 ]
[ 3976, 0 ]
[ 4065, 1 ]
[ 4421, -1 ]
[ 4777, 2 ]
[ 5133, -2 ]
[ 5489, 0 ]
[ 5756, -2 ]
[ 5845, -2 ]
[ 6557, 0 ]
[ 6824, 4 ]
[ 6913, 1 ]
[ 7180, -4 ]
[ 7269, -1 ]
[ 7981, -1 ]
[ 8248, 0 ]
[ 8337, 0 ]
[ 8693, 0 ]
[ 9049, -1 ]
[ 9672, 0 ]
[ 9761, 3 ]

/* D =  61  (mod  89 )
[ 61, 1 ]
[ 328, 2 ]
[ 417, 2 ]
[ 773, -4 ]
[ 1129, 0 ]
[ 1752, -1 ]
[ 1841, 0 ]
[ 2108, -3 ]
[ 2553, -2 ]
[ 2909, 1 ]
[ 3176, 0 ]
[ 3265, -2 ]
[ 3532, -1 ]
[ 3621, 0 ]
[ 3977, 3 ]
[ 4333, 2 ]
[ 4956, 0 ]
[ 5045, 2 ]
[ 5401, -1 ]
[ 5757, 3 ]
[ 6024, 0 ]
[ 6113, -1 ]
[ 6380, 6 ]
[ 6469, -1 ]
[ 7181, 0 ]
[ 7537, -2 ]
[ 7804, 0 ]
[ 8249, -1 ]
[ 8605, -1 ]
[ 8872, 2 ]
[ 8961, -1 ]
[ 9228, 3 ]
[ 9673, 1 ]

/* D =  62  (mod  89 )
[ 329, 0 ]
[ 685, -2 ]
[ 952, 2 ]
[ 1041, 3 ]
[ 1308, -5 ]
[ 1397, 1 ]
[ 1753, 0 ]
[ 2109, -2 ]
[ 2465, -1 ]
[ 2732, 1 ]
[ 2821, 0 ]
[ 3533, -3 ]
[ 3889, 1 ]
[ 4156, 4 ]
[ 4245, 8 ]
[ 4601, -2 ]
[ 4957, 0 ]
[ 5224, -2 ]
[ 5313, -4 ]
[ 5669, -1 ]
[ 6648, 5 ]
[ 6737, -2 ]
[ 7004, -1 ]
[ 7093, 3 ]
[ 7449, -1 ]
[ 7805, 6 ]
[ 8072, -2 ]
[ 8161, 0 ]
[ 8517, -4 ]
[ 8873, 0 ]
[ 9229, 1 ]
[ 9496, -2 ]
[ 9852, 4 ]
[ 9941, 1 ]

/* D =  63  (mod  89 )
[ 152, 1 ]
[ 241, -1 ]
[ 508, -3 ]
[ 597, -1 ]
[ 953, 2 ]
[ 1309, 0 ]
[ 1576, -2 ]
[ 1932, 2 ]
[ 2021, 3 ]
[ 2377, 1 ]
[ 2733, -1 ]
[ 3089, 0 ]
[ 3356, 3 ]
[ 3445, 1 ]
[ 3801, -2 ]
[ 4157, -7 ]
[ 4424, -4 ]
[ 4513, -1 ]
[ 4780, -5 ]
[ 5581, 0 ]
[ 5848, 7 ]
[ 5937, 0 ]
[ 6204, 0 ]
[ 6293, 0 ]
[ 6649, -5 ]
[ 7005, 6 ]
[ 7361, 5 ]
[ 7628, -3 ]
[ 7717, 7 ]
[ 8429, -1 ]
[ 8696, 2 ]
[ 8785, -2 ]
[ 9052, 5 ]
[ 9141, -3 ]
[ 9497, -1 ]
[ 9853, 0 ]

/* D =  65  (mod  89 )
[ 65, -1 ]
[ 332, 0 ]
[ 421, 0 ]
[ 777, -2 ]
[ 1133, 3 ]
[ 1489, 1 ]
[ 1756, 1 ]
[ 2201, 2 ]
[ 2557, 0 ]
[ 2824, -6 ]
[ 2913, -1 ]
[ 3180, 1 ]
[ 3269, -2 ]
[ 3981, -6 ]
[ 4337, -1 ]
[ 4604, 1 ]
[ 5405, 1 ]
[ 5672, 0 ]
[ 5761, 0 ]
[ 6028, 0 ]
[ 6117, 2 ]
[ 6473, -1 ]
[ 6829, 2 ]
[ 7096, 3 ]
[ 7185, 5 ]
[ 7541, 0 ]
[ 7897, 0 ]
[ 8520, -2 ]
[ 8609, 2 ]
[ 8876, 4 ]
[ 8965, -1 ]
[ 9321, 3 ]
[ 9677, 3 ]
[ 9944, 0 ]

/* D =  66  (mod  89 )
[ 689, -1 ]
[ 956, 1 ]
[ 1045, 1 ]
[ 1401, 0 ]
[ 1757, 4 ]
[ 2024, -2 ]
[ 2113, -2 ]
[ 2380, 0 ]
[ 2469, -4 ]
[ 3181, 0 ]
[ 3448, 1 ]
[ 3804, 5 ]
[ 3893, -2 ]
[ 4249, 0 ]
[ 4605, 6 ]
[ 4872, -4 ]
[ 5228, 3 ]
[ 5317, -2 ]
[ 5673, -3 ]
[ 6029, 0 ]
[ 6296, -1 ]
[ 6385, 1 ]
[ 6652, -3 ]
[ 7097, 8 ]
[ 7453, -7 ]
[ 7720, 2 ]
[ 7809, 2 ]
[ 8076, -7 ]
[ 8165, -6 ]
[ 8521, 0 ]
[ 8877, -1 ]
[ 9233, 0 ]
[ 9589, 3 ]

/* D =  70  (mod  89 )
[ 248, -3 ]
[ 337, 0 ]
[ 604, 2 ]
[ 1049, -1 ]
[ 1405, 4 ]
[ 1672, 4 ]
[ 1761, -1 ]
[ 2117, -5 ]
[ 2473, -2 ]
[ 2829, 1 ]
[ 3452, 1 ]
[ 3541, 2 ]
[ 4253, -2 ]
[ 4520, -6 ]
[ 4609, -3 ]
[ 4876, 1 ]
[ 4965, 1 ]
[ 5321, 1 ]
[ 5677, 0 ]
[ 5944, -1 ]
[ 6033, 1 ]
[ 6389, -6 ]
[ 6745, 0 ]
[ 7368, -4 ]
[ 7457, -1 ]
[ 7724, 5 ]
[ 7813, -1 ]
[ 8169, 0 ]
[ 8792, 4 ]
[ 8881, -4 ]
[ 9148, 1 ]
[ 9237, 1 ]
[ 9593, 1 ]
[ 9949, 2 ]

/* D =  74  (mod  89 )
[ 341, 3 ]
[ 697, -1 ]
[ 1320, 2 ]
[ 1409, -2 ]
[ 1676, 1 ]
[ 1765, -2 ]
[ 2121, -2 ]
[ 2477, -2 ]
[ 2833, 2 ]
[ 3189, 1 ]
[ 3545, 5 ]
[ 3901, 2 ]
[ 4168, 0 ]
[ 4524, 2 ]
[ 4613, 2 ]
[ 4969, 2 ]
[ 5592, 2 ]
[ 5681, 1 ]
[ 5948, -3 ]
[ 6037, 0 ]
[ 6393, 1 ]
[ 6749, -3 ]
[ 7016, 0 ]
[ 7372, 3 ]
[ 7817, -4 ]
[ 8173, -1 ]
[ 8440, -2 ]
[ 8529, 0 ]
[ 8796, -3 ]
[ 8885, 3 ]
[ 9241, -1 ]
[ 9597, 4 ]
[ 9953, 0 ]

/* D =  75  (mod  89 )
[ 253, 1 ]
[ 520, 0 ]
[ 609, 0 ]
[ 876, -1 ]
[ 965, -3 ]
[ 1321, 1 ]
[ 1677, 1 ]
[ 2033, 0 ]
[ 2389, 0 ]
[ 3101, 2 ]
[ 3368, 2 ]
[ 3457, 2 ]
[ 3813, -5 ]
[ 4169, -3 ]
[ 4792, 3 ]
[ 4881, 1 ]
[ 5237, 5 ]
[ 5593, 2 ]
[ 6216, 0 ]
[ 6305, -3 ]
[ 6572, -5 ]
[ 6661, -2 ]
[ 7017, -1 ]
[ 7373, 3 ]
[ 7640, 1 ]
[ 7729, -2 ]
[ 7996, -1 ]
[ 8441, 0 ]
[ 8797, -3 ]
[ 9064, -6 ]
*** Warning: The precision was insufficient to recognize P( 9420 ) as a global point
[ 9420, Infinity ]
[ 9509, 0 ]
[ 9865, 0 ]

/* D =  76  (mod  89 )
[ 76, 1 ]
[ 165, 1 ]
[ 521, -1 ]
[ 877, 1 ]
[ 1144, 0 ]
[ 1589, -2 ]
[ 1945, -2 ]
[ 2301, 0 ]
[ 2568, 2 ]
[ 2657, -1 ]
[ 2924, -3 ]
[ 3013, 5 ]
[ 3369, 1 ]
[ 3992, 0 ]
[ 4081, 2 ]
[ 4348, 2 ]
[ 4793, 3 ]
[ 5149, 1 ]
[ 5416, -2 ]
[ 5505, -2 ]
[ 5772, -2 ]
[ 5861, -1 ]
[ 6217, -1 ]
[ 6573, 6 ]
[ 7196, 2 ]
[ 7285, -5 ]
[ 7997, -7 ]
[ 8264, 2 ]
[ 8353, -2 ]
[ 8620, -7 ]
[ 8709, -1 ]
[ 9421, 1 ]
[ 9688, -2 ]
[ 9777, 1 ]

/* D =  77  (mod  89 )
[ 77, -2 ]
[ 344, -1 ]
[ 433, 1 ]
[ 789, 0 ]
[ 1145, 2 ]
[ 1501, 2 ]
[ 1768, -2 ]
[ 1857, -1 ]
[ 2213, -1 ]
[ 2569, 2 ]
[ 3192, 4 ]
[ 3281, -3 ]
[ 3548, -7 ]
[ 3637, 1 ]
[ 4349, 0 ]
[ 4616, -2 ]
[ 4705, 2 ]
[ 4972, 4 ]
[ 5061, -2 ]
[ 5417, -5 ]
[ 5773, -3 ]
[ 6040, 2 ]
[ 6396, 0 ]
[ 6485, 7 ]
[ 6841, -1 ]
[ 7197, 1 ]
[ 7464, -2 ]
[ 7553, 0 ]
[ 7820, -1 ]
[ 7909, 1 ]
[ 8265, 5 ]
[ 8621, 4 ]
[ 8888, 8 ]
[ 8977, 1 ]
[ 9244, 2 ]
[ 9689, -1 ]

/* D =  82  (mod  89 )
[ 349, -2 ]
[ 616, 0 ]
[ 705, 3 ]
[ 1061, 1 ]
[ 1417, -1 ]
[ 2040, -5 ]
[ 2129, 0 ]
[ 2396, -1 ]
[ 2485, -4 ]
[ 2841, 0 ]
[ 3197, 2 ]
[ 3464, 6 ]
[ 3553, 1 ]
[ 3820, -1 ]
[ 3909, 2 ]
[ 4265, -1 ]
[ 4621, 0 ]
[ 4888, 4 ]
[ 5244, 1 ]
[ 5333, 5 ]
[ 5689, -1 ]
[ 6045, -1 ]
[ 6312, 4 ]
[ 6401, -2 ]
[ 6668, -6 ]
[ 6757, 0 ]
[ 7113, 0 ]
[ 7469, 0 ]
[ 7736, -5 ]
[ 8537, 3 ]
[ 8893, 1 ]
[ 9160, -2 ]
[ 9249, -1 ]
[ 9516, 4 ]
[ 9605, -1 ]
[ 9961, 4 ]

/* D =  83  (mod  89 )
[ 172, -1 ]
[ 617, 0 ]
[ 973, -2 ]
[ 1240, -1 ]
[ 1329, -3 ]
[ 1596, 4 ]
[ 1685, 8 ]
[ 2041, 2 ]
[ 2397, -1 ]
[ 2753, -2 ]
[ 3020, 2 ]
[ 3109, -1 ]
[ 3821, -5 ]
[ 4088, -6 ]
[ 4177, 3 ]
[ 4444, -4 ]
[ 4533, 0 ]
[ 4889, -3 ]
[ 5245, 1 ]
[ 5512, 4 ]
[ 5601, 3 ]
[ 5957, -2 ]
[ 6313, 0 ]
[ 7292, 3 ]
[ 7737, 2 ]
[ 8093, -1 ]
[ 8360, 6 ]
[ 8449, 4 ]
[ 8716, 1 ]
[ 8805, -5 ]
[ 9161, 1 ]
[ 9517, -2 ]
[ 9784, -1 ]

/* D =  86  (mod  89 )
[ 264, 0 ]
[ 353, 2 ]
[ 620, -1 ]
[ 709, 1 ]
[ 1065, 0 ]
[ 1688, -2 ]
[ 1777, -3 ]
[ 2044, 2 ]
[ 2489, 1 ]
[ 2845, 3 ]
[ 3112, -2 ]
[ 3201, 1 ]
[ 3557, 3 ]
[ 3913, -2 ]
[ 4269, 6 ]
[ 4892, 7 ]
[ 4981, 4 ]
[ 5693, -6 ]
[ 5960, -4 ]
[ 6049, -2 ]
[ 6316, 2 ]
[ 6405, -2 ]
[ 6761, -1 ]
[ 7117, 0 ]
[ 7384, -2 ]
[ 7473, -1 ]
[ 7829, -4 ]
[ 8185, 1 ]
[ 8808, -2 ]
[ 8897, -2 ]
[ 9164, 2 ]
[ 9253, 2 ]
[ 9609, 1 ]
[ 9965, 1 ]

Total time: 19487.959 seconds, Total memory usage: 50.75MB