Magma V2.13-11 Sun Nov 18 2007 15:53:14 on amd17 [Seed = 117448627] Type ? for help. Type -D to quit. Loading file "do-229" Loading "../data/M.229.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 = x^3 - 2*x - 1 over Rational Field working over Qp = the 229-adic field mod 229^20 ------------------------------------------------------------------- /* D = 2 (mod 229 ) [* 460, -2, (2 : 1 : 1)*] [* 689, 0, (0 : 1 : 0)*] [* 1605, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 2521, 2, (2 : -3 : 1)*] [* 3208, 3, (-5/9 : 4/27 : 1)*] [* 3437, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 4124, 2, (2 : -3 : 1)*] [* 4353, 2, (2 : -3 : 1)*] [* 5269, 2, (2 : -3 : 1)*] [* 6185, -1, (-1 : 0 : 1)*] [* 6872, 1, (-1 : 1 : 1)*] [* 7788, -4, (53/16 : -465/64 : 1)*] [* 8017, 2, (2 : -3 : 1)*] [* 8933, 2, (2 : -3 : 1)*] /* D = 6 (mod 229 ) [* 1609, 1, (-1 : 1 : 1)*] [* 2296, 2, (2 : -3 : 1)*] [* 3212, 2, (2 : -3 : 1)*] [* 3441, -2, (2 : 1 : 1)*] [* 4357, 2, (2 : -3 : 1)*] [* 5273, -4, (53/16 : -465/64 : 1)*] [* 5960, 3, (-5/9 : 4/27 : 1)*] [* 6189, 1, (-1 : 1 : 1)*] [* 8021, -2, (2 : 1 : 1)*] [* 9624, 3, (-5/9 : 4/27 : 1)*] [* 9853, 11, (-56549239686277/46431454567969 : 196104430337406772524/316386856607778548047 : 1)*] /* D = 7 (mod 229 ) [* 236, 0, (0 : 1 : 0)*] [* 465, -1, (-1 : 0 : 1)*] [* 1381, 2, (2 : -3 : 1)*] [* 2297, -1, (-1 : 0 : 1)*] [* 2984, -1, (-1 : 0 : 1)*] [* 4129, -2, (2 : 1 : 1)*] [* 5045, -1, (-1 : 0 : 1)*] [* 5961, 1, (-1 : 1 : 1)*] [* 6648, 1, (-1 : 1 : 1)*] [* 7564, 4, (53/16 : 253/64 : 1)*] [* 7793, 2, (2 : -3 : 1)*] [* 8709, -2, (2 : 1 : 1)*] /* D = 8 (mod 229 ) [* 8, -1, (-1 : 0 : 1)*] [* 237, 0, (0 : 1 : 0)*] [* 924, 2, (2 : -3 : 1)*] [* 1153, 0, (0 : 1 : 0)*] [* 2069, -3, (-5/9 : 11/27 : 1)*] [* 2985, 3, (-5/9 : 4/27 : 1)*] [* 3901, 2, (2 : -3 : 1)*] [* 4588, 4, (53/16 : 253/64 : 1)*] [* 4817, 1, (-1 : 1 : 1)*] [* 6649, -2, (2 : 1 : 1)*] [* 7336, 2, (2 : -3 : 1)*] [* 7565, 0, (0 : 1 : 0)*] [* 8252, -4, (53/16 : -465/64 : 1)*] [* 8481, 0, (0 : 1 : 0)*] [* 9397, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] /* D = 10 (mod 229 ) [* 697, -3, (-5/9 : 11/27 : 1)*] [* 1384, 2, (2 : -3 : 1)*] [* 1613, -1, (-1 : 0 : 1)*] [* 3445, -6, (12370/441 : 1250257/9261 : 1)*] [* 5048, 1, (-1 : 1 : 1)*] [* 5277, 4, (53/16 : 253/64 : 1)*] [* 5964, 0, (0 : 1 : 0)*] [* 6193, 6, (12370/441 : -1510027/9261 : 1)*] [* 7109, -4, (53/16 : -465/64 : 1)*] [* 8941, 1, (-1 : 1 : 1)*] [* 9628, 2, (2 : -3 : 1)*] [* 9857, 3, (-5/9 : 4/27 : 1)*] /* D = 13 (mod 229 ) [* 13, -1, (-1 : 0 : 1)*] [* 929, 1, (-1 : 1 : 1)*] [* 2761, 2, (2 : -3 : 1)*] [* 3448, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 3677, -1, (-1 : 0 : 1)*] [* 4364, 2, (2 : -3 : 1)*] [* 4593, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 5509, 1, (-1 : 1 : 1)*] [* 7112, -2, (2 : 1 : 1)*] [* 7341, 5, (-613/529 : 3255/12167 : 1)*] *** Warning: The precision was insufficient to recognize P( 8257 ) as a global point [* 8257, Infinity, 0*] [* 9173, 0, (0 : 1 : 0)*] /* D = 18 (mod 229 ) [* 476, 2, (2 : -3 : 1)*] [* 705, 0, (0 : 1 : 0)*] [* 1621, -3, (-5/9 : 11/27 : 1)*] [* 2537, 3, (-5/9 : 4/27 : 1)*] [* 3224, -2, (2 : 1 : 1)*] [* 3453, -6, (12370/441 : 1250257/9261 : 1)*] [* 4369, 0, (0 : 1 : 0)*] [* 5285, 3, (-5/9 : 4/27 : 1)*] [* 6888, -6, (12370/441 : 1250257/9261 : 1)*] [* 7117, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 7804, 0, (0 : 1 : 0)*] [* 8033, -2, (2 : 1 : 1)*] [* 8949, 5, (-613/529 : 3255/12167 : 1)*] [* 9865, 1, (-1 : 1 : 1)*] /* D = 21 (mod 229 ) [* 21, -1, (-1 : 0 : 1)*] [* 937, 1, (-1 : 1 : 1)*] [* 1624, -2, (2 : 1 : 1)*] [* 1853, -2, (2 : 1 : 1)*] [* 2540, 4, (53/16 : 253/64 : 1)*] [* 2769, 1, (-1 : 1 : 1)*] [* 3685, 1, (-1 : 1 : 1)*] [* 4601, -2, (2 : 1 : 1)*] [* 5288, -1, (-1 : 0 : 1)*] [* 6204, 0, (0 : 1 : 0)*] [* 6433, -1, (-1 : 0 : 1)*] [* 7349, 1, (-1 : 1 : 1)*] [* 8265, 0, (0 : 1 : 0)*] [* 8952, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 9181, 5, (-613/529 : 3255/12167 : 1)*] [* 9868, 4, (53/16 : 253/64 : 1)*] /* D = 22 (mod 229 ) [* 709, 3, (-5/9 : 4/27 : 1)*] [* 3228, -4, (53/16 : -465/64 : 1)*] [* 3457, 0, (0 : 1 : 0)*] [* 4373, 3, (-5/9 : 4/27 : 1)*] [* 5289, 3, (-5/9 : 4/27 : 1)*] [* 6205, -2, (2 : 1 : 1)*] *** Warning: The precision was insufficient to recognize P( 6892 ) as a global point [* 6892, Infinity, 0*] [* 7121, 1, (-1 : 1 : 1)*] [* 8953, -5, (-613/529 : 10844/12167 : 1)*] [* 9640, 4, (53/16 : 253/64 : 1)*] [* 9869, 2, (2 : -3 : 1)*] /* D = 23 (mod 229 ) [* 481, 0, (0 : 1 : 0)*] [* 1397, -4, (53/16 : -465/64 : 1)*] [* 3229, -4, (53/16 : -465/64 : 1)*] [* 3916, 0, (0 : 1 : 0)*] [* 4145, -4, (53/16 : -465/64 : 1)*] [* 5061, 2, (2 : -3 : 1)*] [* 5977, 6, (12370/441 : -1510027/9261 : 1)*] [* 6893, -1, (-1 : 0 : 1)*] [* 7580, -2, (2 : 1 : 1)*] [* 7809, 3, (-5/9 : 4/27 : 1)*] [* 9641, 1, (-1 : 1 : 1)*] /* D = 24 (mod 229 ) [* 24, -1, (-1 : 0 : 1)*] [* 253, 4, (53/16 : 253/64 : 1)*] [* 940, 4, (53/16 : 253/64 : 1)*] [* 1169, 1, (-1 : 1 : 1)*] [* 2085, 6, (12370/441 : -1510027/9261 : 1)*] [* 3001, -2, (2 : 1 : 1)*] [* 3688, 0, (0 : 1 : 0)*] [* 3917, -3, (-5/9 : 11/27 : 1)*] [* 4604, -4, (53/16 : -465/64 : 1)*] [* 5749, -5, (-613/529 : 10844/12167 : 1)*] [* 6665, -1, (-1 : 0 : 1)*] [* 7352, -3, (-5/9 : 11/27 : 1)*] [* 8268, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 8497, -4, (53/16 : -465/64 : 1)*] [* 9413, 2, (2 : -3 : 1)*] /* D = 28 (mod 229 ) [* 28, -2, (2 : 1 : 1)*] [* 257, 0, (0 : 1 : 0)*] [* 1173, 4, (53/16 : 253/64 : 1)*] [* 2089, 1, (-1 : 1 : 1)*] [* 2776, -6, (12370/441 : 1250257/9261 : 1)*] [* 3005, -2, (2 : 1 : 1)*] [* 3692, -4, (53/16 : -465/64 : 1)*] [* 3921, -2, (2 : 1 : 1)*] [* 4837, -4, (53/16 : -465/64 : 1)*] [* 5753, -1, (-1 : 0 : 1)*] [* 6440, 4, (53/16 : 253/64 : 1)*] [* 7356, -4, (53/16 : -465/64 : 1)*] [* 7585, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 8501, -1, (-1 : 0 : 1)*] [* 9417, -2, (2 : 1 : 1)*] /* D = 29 (mod 229 ) [* 29, 0, (0 : 1 : 0)*] [* 716, 0, (0 : 1 : 0)*] [* 1861, 0, (0 : 1 : 0)*] [* 2777, 3, (-5/9 : 4/27 : 1)*] [* 3464, 1, (-1 : 1 : 1)*] [* 3693, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 4380, 2, (2 : -3 : 1)*] [* 4609, 4, (53/16 : 253/64 : 1)*] [* 6441, -5, (-613/529 : 10844/12167 : 1)*] [* 7357, 0, (0 : 1 : 0)*] [* 8044, -2, (2 : 1 : 1)*] [* 8273, 4, (53/16 : 253/64 : 1)*] /* D = 30 (mod 229 ) [* 488, 3, (-5/9 : 4/27 : 1)*] [* 717, 4, (53/16 : 253/64 : 1)*] [* 1633, -2, (2 : 1 : 1)*] [* 2549, 0, (0 : 1 : 0)*] [* 4152, -4, (53/16 : -465/64 : 1)*] [* 4381, 1, (-1 : 1 : 1)*] [* 5068, 0, (0 : 1 : 0)*] [* 5297, 5, (-613/529 : 3255/12167 : 1)*] [* 6213, -4, (53/16 : -465/64 : 1)*] [* 7129, -2, (2 : 1 : 1)*] [* 7816, -2, (2 : 1 : 1)*] [* 8045, -3, (-5/9 : 11/27 : 1)*] [* 8732, 4, (53/16 : 253/64 : 1)*] [* 8961, -2, (2 : 1 : 1)*] [* 9877, -1, (-1 : 0 : 1)*] /* D = 31 (mod 229 ) [* 489, -1, (-1 : 0 : 1)*] [* 1405, 5, (-613/529 : 3255/12167 : 1)*] [* 2092, 0, (0 : 1 : 0)*] [* 2321, -1, (-1 : 0 : 1)*] [* 3237, 5, (-613/529 : 3255/12167 : 1)*] [* 4153, -10, (227411559026/30466655209 : -128033274252441645/5317863266765323 : 1)*] [* 5069, -2, (2 : 1 : 1)*] [* 5756, -2, (2 : 1 : 1)*] [* 6901, 3, (-5/9 : 4/27 : 1)*] [* 7817, 1, (-1 : 1 : 1)*] [* 8504, 0, (0 : 1 : 0)*] [* 8733, 5, (-613/529 : 3255/12167 : 1)*] [* 9420, -2, (2 : 1 : 1)*] [* 9649, -2, (2 : 1 : 1)*] /* D = 32 (mod 229 ) [* 1177, 2, (2 : -3 : 1)*] [* 1864, 1, (-1 : 1 : 1)*] [* 2093, -2, (2 : 1 : 1)*] [* 2780, 2, (2 : -3 : 1)*] [* 3009, -1, (-1 : 0 : 1)*] [* 4841, 2, (2 : -3 : 1)*] [* 5528, 2, (2 : -3 : 1)*] [* 5757, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 6673, -1, (-1 : 0 : 1)*] [* 7589, -1, (-1 : 0 : 1)*] [* 9192, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9421, 4, (53/16 : 253/64 : 1)*] /* D = 34 (mod 229 ) [* 492, 2, (2 : -3 : 1)*] [* 721, 1, (-1 : 1 : 1)*] [* 1637, 0, (0 : 1 : 0)*] [* 2553, 0, (0 : 1 : 0)*] [* 3469, -1, (-1 : 0 : 1)*] [* 4156, 0, (0 : 1 : 0)*] [* 4385, 2, (2 : -3 : 1)*] [* 6217, 6, (12370/441 : -1510027/9261 : 1)*] [* 6904, 5, (-613/529 : 3255/12167 : 1)*] [* 7133, 0, (0 : 1 : 0)*] [* 7820, 2, (2 : -3 : 1)*] [* 8049, -1, (-1 : 0 : 1)*] [* 8965, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 9881, 0, (0 : 1 : 0)*] /* D = 35 (mod 229 ) [* 264, -1, (-1 : 0 : 1)*] [* 493, 0, (0 : 1 : 0)*] [* 1180, 2, (2 : -3 : 1)*] [* 1409, 1, (-1 : 1 : 1)*] [* 3241, 1, (-1 : 1 : 1)*] [* 3928, 5, (-613/529 : 3255/12167 : 1)*] [* 4157, 2, (2 : -3 : 1)*] [* 4844, 4, (53/16 : 253/64 : 1)*] [* 5073, 0, (0 : 1 : 0)*] [* 5989, 2, (2 : -3 : 1)*] [* 6905, 2, (2 : -3 : 1)*] [* 7592, -2, (2 : 1 : 1)*] [* 8508, -6, (12370/441 : 1250257/9261 : 1)*] [* 8737, 0, (0 : 1 : 0)*] /* D = 38 (mod 229 ) [* 1641, -1, (-1 : 0 : 1)*] [* 2328, 1, (-1 : 1 : 1)*] [* 2557, -5, (-613/529 : 10844/12167 : 1)*] [* 3244, -2, (2 : 1 : 1)*] [* 3473, -4, (53/16 : -465/64 : 1)*] [* 4389, 5, (-613/529 : 3255/12167 : 1)*] [* 5305, 2, (2 : -3 : 1)*] [* 5992, -2, (2 : 1 : 1)*] [* 6221, 1, (-1 : 1 : 1)*] [* 6908, 4, (53/16 : 253/64 : 1)*] [* 8053, -4, (53/16 : -465/64 : 1)*] [* 8969, 0, (0 : 1 : 0)*] [* 9656, 1, (-1 : 1 : 1)*] [* 9885, -1, (-1 : 0 : 1)*] /* D = 39 (mod 229 ) [* 268, 2, (2 : -3 : 1)*] [* 497, 1, (-1 : 1 : 1)*] [* 2329, -3, (-5/9 : 11/27 : 1)*] [* 3016, -2, (2 : 1 : 1)*] [* 3245, -1, (-1 : 0 : 1)*] [* 3932, -6, (12370/441 : 1250257/9261 : 1)*] [* 4161, 2, (2 : -3 : 1)*] [* 5077, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 5993, -4, (53/16 : -465/64 : 1)*] [* 6680, 1, (-1 : 1 : 1)*] [* 8741, 1, (-1 : 1 : 1)*] /* D = 40 (mod 229 ) [* 40, 1, (-1 : 1 : 1)*] [* 269, 1, (-1 : 1 : 1)*] [* 956, 2, (2 : -3 : 1)*] [* 1185, -6, (12370/441 : 1250257/9261 : 1)*] [* 2101, 6, (12370/441 : -1510027/9261 : 1)*] [* 3017, 1, (-1 : 1 : 1)*] [* 3704, 1, (-1 : 1 : 1)*] [* 4620, 0, (0 : 1 : 0)*] [* 4849, 1, (-1 : 1 : 1)*] [* 5765, -2, (2 : 1 : 1)*] [* 6681, -1, (-1 : 0 : 1)*] [* 7368, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 7597, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 8284, -2, (2 : 1 : 1)*] [* 8513, 4, (53/16 : 253/64 : 1)*] [* 9429, -2, (2 : 1 : 1)*] /* D = 41 (mod 229 ) [* 41, -1, (-1 : 0 : 1)*] [* 728, -4, (53/16 : -465/64 : 1)*] [* 957, 6, (12370/441 : -1510027/9261 : 1)*] [* 1644, 0, (0 : 1 : 0)*] [* 1873, -1, (-1 : 0 : 1)*] [* 2789, 3, (-5/9 : 4/27 : 1)*] [* 3705, 1, (-1 : 1 : 1)*] [* 4621, 0, (0 : 1 : 0)*] [* 5308, 4, (53/16 : 253/64 : 1)*] [* 7369, -3, (-5/9 : 11/27 : 1)*] [* 8056, -2, (2 : 1 : 1)*] [* 8285, -5, (-613/529 : 10844/12167 : 1)*] [* 8972, 6, (12370/441 : -1510027/9261 : 1)*] [* 9201, 0, (0 : 1 : 0)*] /* D = 47 (mod 229 ) [* 505, -3, (-5/9 : 11/27 : 1)*] [* 1192, -3, (-5/9 : 11/27 : 1)*] [* 2108, 2, (2 : -3 : 1)*] [* 2337, 1, (-1 : 1 : 1)*] [* 3253, -5, (-613/529 : 10844/12167 : 1)*] [* 4169, -1, (-1 : 0 : 1)*] [* 4856, -4, (53/16 : -465/64 : 1)*] [* 5772, 0, (0 : 1 : 0)*] [* 6001, 6, (12370/441 : -1510027/9261 : 1)*] [* 6917, 1, (-1 : 1 : 1)*] [* 7833, 5, (-613/529 : 3255/12167 : 1)*] [* 8520, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 8749, -5, (-613/529 : 10844/12167 : 1)*] [* 9436, -2, (2 : 1 : 1)*] [* 9665, -2, (2 : 1 : 1)*] /* D = 50 (mod 229 ) [* 508, -4, (53/16 : -465/64 : 1)*] [* 737, 3, (-5/9 : 4/27 : 1)*] [* 1653, 0, (0 : 1 : 0)*] [* 2569, -1, (-1 : 0 : 1)*] [* 3256, -6, (12370/441 : 1250257/9261 : 1)*] [* 3485, -1, (-1 : 0 : 1)*] [* 4172, 4, (53/16 : 253/64 : 1)*] [* 5317, 1, (-1 : 1 : 1)*] [* 6233, -2, (2 : 1 : 1)*] [* 6920, 4, (53/16 : 253/64 : 1)*] [* 7149, -1, (-1 : 0 : 1)*] [* 7836, 0, (0 : 1 : 0)*] [* 8065, 1, (-1 : 1 : 1)*] [* 8981, -1, (-1 : 0 : 1)*] [* 9897, -6, (12370/441 : 1250257/9261 : 1)*] /* D = 52 (mod 229 ) [* 281, -1, (-1 : 0 : 1)*] [* 1884, 0, (0 : 1 : 0)*] [* 2113, -5, (-613/529 : 10844/12167 : 1)*] [* 3029, -1, (-1 : 0 : 1)*] [* 3945, 4, (53/16 : 253/64 : 1)*] [* 4632, 4, (53/16 : 253/64 : 1)*] [* 4861, 2, (2 : -3 : 1)*] [* 5548, -6, (12370/441 : 1250257/9261 : 1)*] [* 5777, 0, (0 : 1 : 0)*] [* 6693, -2, (2 : 1 : 1)*] [* 7609, 1, (-1 : 1 : 1)*] [* 8296, -3, (-5/9 : 11/27 : 1)*] /* D = 54 (mod 229 ) [* 741, 1, (-1 : 1 : 1)*] [* 1657, -1, (-1 : 0 : 1)*] [* 2344, -1, (-1 : 0 : 1)*] [* 2573, -5, (-613/529 : 10844/12167 : 1)*] [* 3260, -4, (53/16 : -465/64 : 1)*] [* 3489, -2, (2 : 1 : 1)*] [* 4405, -6, (12370/441 : 1250257/9261 : 1)*] [* 5321, 3, (-5/9 : 4/27 : 1)*] [* 6008, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] [* 6924, 6, (12370/441 : -1510027/9261 : 1)*] [* 7153, -4, (53/16 : -465/64 : 1)*] [* 8069, 1, (-1 : 1 : 1)*] [* 8985, 5, (-613/529 : 3255/12167 : 1)*] [* 9672, 6, (12370/441 : -1510027/9261 : 1)*] [* 9901, 1, (-1 : 1 : 1)*] /* D = 59 (mod 229 ) [* 517, 0, (0 : 1 : 0)*] [* 1433, 1, (-1 : 1 : 1)*] [* 2120, -2, (2 : 1 : 1)*] [* 3036, 2, (2 : -3 : 1)*] [* 3265, 4, (53/16 : 253/64 : 1)*] [* 4181, 0, (0 : 1 : 0)*] [* 5097, 2, (2 : -3 : 1)*] [* 5784, 0, (0 : 1 : 0)*] [* 6013, 3, (-5/9 : 4/27 : 1)*] [* 7845, -1, (-1 : 0 : 1)*] [* 8761, 1, (-1 : 1 : 1)*] [* 9448, -1, (-1 : 0 : 1)*] [* 9677, -3, (-5/9 : 11/27 : 1)*] /* D = 63 (mod 229 ) [* 521, 1, (-1 : 1 : 1)*] [* 1208, -1, (-1 : 0 : 1)*] [* 1437, 6, (12370/441 : -1510027/9261 : 1)*] [* 2353, -3, (-5/9 : 11/27 : 1)*] [* 3269, -3, (-5/9 : 11/27 : 1)*] [* 4872, -6, (12370/441 : 1250257/9261 : 1)*] [* 5101, 5, (-613/529 : 3255/12167 : 1)*] [* 5788, -2, (2 : 1 : 1)*] [* 6017, -3, (-5/9 : 11/27 : 1)*] [* 6933, 3, (-5/9 : 4/27 : 1)*] [* 7849, -4, (53/16 : -465/64 : 1)*] [* 8536, -3, (-5/9 : 11/27 : 1)*] [* 8765, -3, (-5/9 : 11/27 : 1)*] [* 9452, 2, (2 : -3 : 1)*] [* 9681, 0, (0 : 1 : 0)*] /* D = 65 (mod 229 ) [* 65, -1, (-1 : 0 : 1)*] [* 1897, -1, (-1 : 0 : 1)*] [* 2584, 1, (-1 : 1 : 1)*] [* 2813, -2, (2 : 1 : 1)*] [* 3729, -5, (-613/529 : 10844/12167 : 1)*] [* 4645, 1, (-1 : 1 : 1)*] [* 5561, 1, (-1 : 1 : 1)*] [* 6248, -1, (-1 : 0 : 1)*] [* 6477, 2, (2 : -3 : 1)*] [* 7393, -2, (2 : 1 : 1)*] [* 8309, 5, (-613/529 : 3255/12167 : 1)*] [* 9912, 4, (53/16 : 253/64 : 1)*] /* D = 66 (mod 229 ) [* 524, -2, (2 : 1 : 1)*] [* 753, 2, (2 : -3 : 1)*] [* 1669, 1, (-1 : 1 : 1)*] [* 2585, -2, (2 : 1 : 1)*] [* 3272, -1, (-1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 4188 ) as a global point [* 4188, Infinity, 0*] [* 4417, 1, (-1 : 1 : 1)*] [* 5333, -1, (-1 : 0 : 1)*] [* 6249, 3, (-5/9 : 4/27 : 1)*] [* 7165, 3, (-5/9 : 4/27 : 1)*] [* 7852, -4, (53/16 : -465/64 : 1)*] [* 8081, -3, (-5/9 : 11/27 : 1)*] [* 8997, -5, (-613/529 : 10844/12167 : 1)*] [* 9913, -4, (53/16 : -465/64 : 1)*] /* D = 67 (mod 229 ) [* 296, -2, (2 : 1 : 1)*] [* 1212, 0, (0 : 1 : 0)*] [* 1441, -1, (-1 : 0 : 1)*] [* 2357, 5, (-613/529 : 3255/12167 : 1)*] [* 3273, 2, (2 : -3 : 1)*] [* 4189, -1, (-1 : 0 : 1)*] [* 4876, 0, (0 : 1 : 0)*] [* 5105, 0, (0 : 1 : 0)*] [* 6937, -3, (-5/9 : 11/27 : 1)*] [* 7624, 3, (-5/9 : 4/27 : 1)*] [* 7853, 2, (2 : -3 : 1)*] [* 8540, 2, (2 : -3 : 1)*] [* 8769, 0, (0 : 1 : 0)*] [* 9685, -3, (-5/9 : 11/27 : 1)*] /* D = 69 (mod 229 ) [* 69, 0, (0 : 1 : 0)*] [* 985, -2, (2 : 1 : 1)*] [* 1672, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 1901, -1, (-1 : 0 : 1)*] [* 2588, 0, (0 : 1 : 0)*] [* 3733, 11, (-56549239686277/46431454567969 : 196104430337406772524/316386856607778548047 : 1)*] [* 4649, -2, (2 : 1 : 1)*] [* 5336, -4, (53/16 : -465/64 : 1)*] [* 5565, 2, (2 : -3 : 1)*] [* 6252, -6, (12370/441 : 1250257/9261 : 1)*] [* 6481, 1, (-1 : 1 : 1)*] [* 7397, 1, (-1 : 1 : 1)*] [* 8313, 1, (-1 : 1 : 1)*] [* 9229, -2, (2 : 1 : 1)*] [* 9916, 4, (53/16 : 253/64 : 1)*] /* D = 72 (mod 229 ) [* 301, 1, (-1 : 1 : 1)*] [* 988, -2, (2 : 1 : 1)*] [* 1217, 3, (-5/9 : 4/27 : 1)*] [* 3049, -3, (-5/9 : 11/27 : 1)*] [* 3736, -5, (-613/529 : 10844/12167 : 1)*] [* 3965, -1, (-1 : 0 : 1)*] [* 4652, -10, (227411559026/30466655209 : -128033274252441645/5317863266765323 : 1)*] [* 4881, 2, (2 : -3 : 1)*] [* 5797, -11, (-56549239686277/46431454567969 : 189225651486984940927/316386856607778548047 : 1)*] [* 7629, 3, (-5/9 : 4/27 : 1)*] [* 8545, 3, (-5/9 : 4/27 : 1)*] [* 9461, 1, (-1 : 1 : 1)*] /* D = 73 (mod 229 ) [* 73, 2, (2 : -3 : 1)*] [* 760, 3, (-5/9 : 4/27 : 1)*] [* 989, 4, (53/16 : 253/64 : 1)*] [* 1676, -2, (2 : 1 : 1)*] [* 1905, 2, (2 : -3 : 1)*] [* 2821, 2, (2 : -3 : 1)*] [* 3737, -2, (2 : 1 : 1)*] [* 4424, 2, (2 : -3 : 1)*] [* 5340, 0, (0 : 1 : 0)*] [* 5569, -5, (-613/529 : 10844/12167 : 1)*] [* 6485, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 7401, 3, (-5/9 : 4/27 : 1)*] [* 8088, 5, (-613/529 : 3255/12167 : 1)*] [* 8317, -2, (2 : 1 : 1)*] [* 9004, 4, (53/16 : 253/64 : 1)*] [* 9233, 3, (-5/9 : 4/27 : 1)*] /* D = 74 (mod 229 ) [* 761, -1, (-1 : 0 : 1)*] [* 1448, -1, (-1 : 0 : 1)*] [* 1677, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 2364, 0, (0 : 1 : 0)*] [* 2593, -2, (2 : 1 : 1)*] [* 6028, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 6257, -2, (2 : 1 : 1)*] [* 8089, 0, (0 : 1 : 0)*] [* 8776, 2, (2 : -3 : 1)*] [* 9005, -5, (-613/529 : 10844/12167 : 1)*] [* 9692, -4, (53/16 : -465/64 : 1)*] [* 9921, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] /* D = 77 (mod 229 ) [* 77, -1, (-1 : 0 : 1)*] [* 764, 0, (0 : 1 : 0)*] [* 993, 4, (53/16 : 253/64 : 1)*] [* 1909, -2, (2 : 1 : 1)*] [* 3512, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 3741, -2, (2 : 1 : 1)*] [* 4657, -1, (-1 : 0 : 1)*] [* 5573, -3, (-5/9 : 11/27 : 1)*] [* 7176, 2, (2 : -3 : 1)*] [* 7405, 5, (-613/529 : 3255/12167 : 1)*] [* 8321, 0, (0 : 1 : 0)*] [* 9237, 0, (0 : 1 : 0)*] /* D = 79 (mod 229 ) [* 537, -1, (-1 : 0 : 1)*] [* 1453, -2, (2 : 1 : 1)*] [* 2140, -4, (53/16 : -465/64 : 1)*] [* 2369, 0, (0 : 1 : 0)*] [* 4201, -3, (-5/9 : 11/27 : 1)*] [* 4888, 2, (2 : -3 : 1)*] [* 5117, 5, (-613/529 : 3255/12167 : 1)*] [* 5804, 6, (12370/441 : -1510027/9261 : 1)*] [* 6033, 1, (-1 : 1 : 1)*] [* 6949, -3, (-5/9 : 11/27 : 1)*] [* 8552, -5, (-613/529 : 10844/12167 : 1)*] [* 8781, -3, (-5/9 : 11/27 : 1)*] [* 9697, -4, (53/16 : -465/64 : 1)*] /* D = 84 (mod 229 ) [* 313, 1, (-1 : 1 : 1)*] [* 1229, 0, (0 : 1 : 0)*] [* 1916, 4, (53/16 : 253/64 : 1)*] [* 2145, 1, (-1 : 1 : 1)*] [* 3061, 1, (-1 : 1 : 1)*] [* 3977, -1, (-1 : 0 : 1)*] [* 4664, -4, (53/16 : -465/64 : 1)*] [* 4893, -1, (-1 : 0 : 1)*] [* 5809, 0, (0 : 1 : 0)*] [* 8328, 6, (12370/441 : -1510027/9261 : 1)*] [* 8557, -3, (-5/9 : 11/27 : 1)*] [* 9244, 0, (0 : 1 : 0)*] [* 9473, 2, (2 : -3 : 1)*] /* D = 86 (mod 229 ) [* 773, -3, (-5/9 : 11/27 : 1)*] [* 1689, -2, (2 : 1 : 1)*] [* 2605, 3, (-5/9 : 4/27 : 1)*] [* 3292, 2, (2 : -3 : 1)*] [* 3521, 2, (2 : -3 : 1)*] [* 5353, 0, (0 : 1 : 0)*] [* 6040, -1, (-1 : 0 : 1)*] [* 6269, -1, (-1 : 0 : 1)*] [* 6956, 0, (0 : 1 : 0)*] [* 7185, 2, (2 : -3 : 1)*] [* 8101, 5, (-613/529 : 3255/12167 : 1)*] [* 9017, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9704, -3, (-5/9 : 11/27 : 1)*] [* 9933, 3, (-5/9 : 4/27 : 1)*] /* D = 87 (mod 229 ) [* 316, -2, (2 : 1 : 1)*] [* 545, 0, (0 : 1 : 0)*] [* 1461, -2, (2 : 1 : 1)*] [* 2377, 5, (-613/529 : 3255/12167 : 1)*] [* 3064, 0, (0 : 1 : 0)*] [* 3293, 2, (2 : -3 : 1)*] [* 3980, 6, (12370/441 : -1510027/9261 : 1)*] [* 4209, 2, (2 : -3 : 1)*] [* 6041, 1, (-1 : 1 : 1)*] [* 7873, 3, (-5/9 : 4/27 : 1)*] [* 8789, -4, (53/16 : -465/64 : 1)*] [* 9705, 2, (2 : -3 : 1)*] /* D = 88 (mod 229 ) [* 88, -1, (-1 : 0 : 1)*] [* 317, -4, (53/16 : -465/64 : 1)*] [* 1004, 0, (0 : 1 : 0)*] [* 2149, -3, (-5/9 : 11/27 : 1)*] [* 3065, 0, (0 : 1 : 0)*] [* 3752, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 3981, -1, (-1 : 0 : 1)*] [* 4668, 0, (0 : 1 : 0)*] [* 4897, 3, (-5/9 : 4/27 : 1)*] [* 5813, 0, (0 : 1 : 0)*] [* 6729, 4, (53/16 : 253/64 : 1)*] [* 7645, -4, (53/16 : -465/64 : 1)*] [* 8332, 0, (0 : 1 : 0)*] [* 8561, 1, (-1 : 1 : 1)*] /* D = 89 (mod 229 ) [* 89, 0, (0 : 1 : 0)*] [* 776, 1, (-1 : 1 : 1)*] [* 1005, -3, (-5/9 : 11/27 : 1)*] [* 1921, -1, (-1 : 0 : 1)*] [* 2837, -2, (2 : 1 : 1)*] [* 4440, -4, (53/16 : -465/64 : 1)*] [* 4669, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 5356, -4, (53/16 : -465/64 : 1)*] [* 5585, 1, (-1 : 1 : 1)*] [* 6501, 0, (0 : 1 : 0)*] [* 7417, -2, (2 : 1 : 1)*] [* 8104, 3, (-5/9 : 4/27 : 1)*] [* 8333, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 9020, -4, (53/16 : -465/64 : 1)*] [* 9249, 0, (0 : 1 : 0)*] /* D = 90 (mod 229 ) [* 777, -4, (53/16 : -465/64 : 1)*] [* 1464, 1, (-1 : 1 : 1)*] [* 1693, -4, (53/16 : -465/64 : 1)*] [* 2380, -4, (53/16 : -465/64 : 1)*] [* 2609, 0, (0 : 1 : 0)*] [* 4441, -2, (2 : 1 : 1)*] [* 5128, 1, (-1 : 1 : 1)*] [* 5357, -2, (2 : 1 : 1)*] [* 6044, 0, (0 : 1 : 0)*] [* 7189, 2, (2 : -3 : 1)*] [* 8105, -1, (-1 : 0 : 1)*] [* 8792, -2, (2 : 1 : 1)*] [* 9021, 1, (-1 : 1 : 1)*] [* 9708, 2, (2 : -3 : 1)*] [* 9937, 1, (-1 : 1 : 1)*] /* D = 92 (mod 229 ) [* 92, -2, (2 : 1 : 1)*] [* 321, 0, (0 : 1 : 0)*] [* 1237, -3, (-5/9 : 11/27 : 1)*] [* 2153, 4, (53/16 : 253/64 : 1)*] [* 2840, -3, (-5/9 : 11/27 : 1)*] [* 3756, -2, (2 : 1 : 1)*] [* 3985, 5, (-613/529 : 3255/12167 : 1)*] [* 5817, 5, (-613/529 : 3255/12167 : 1)*] [* 6504, -1, (-1 : 0 : 1)*] [* 6733, -2, (2 : 1 : 1)*] [* 7420, 4, (53/16 : 253/64 : 1)*] [* 7649, 1, (-1 : 1 : 1)*] [* 8565, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9481, -3, (-5/9 : 11/27 : 1)*] /* D = 93 (mod 229 ) [* 93, 1, (-1 : 1 : 1)*] [* 780, 4, (53/16 : 253/64 : 1)*] [* 1009, 3, (-5/9 : 4/27 : 1)*] [* 2841, 1, (-1 : 1 : 1)*] [* 4444, 4, (53/16 : 253/64 : 1)*] [* 4673, 0, (0 : 1 : 0)*] [* 6505, -2, (2 : 1 : 1)*] [* 7192, 2, (2 : -3 : 1)*] [* 7421, 3, (-5/9 : 4/27 : 1)*] [* 8108, -2, (2 : 1 : 1)*] [* 8337, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 9253, -6, (12370/441 : 1250257/9261 : 1)*] /* D = 96 (mod 229 ) [* 1241, 0, (0 : 1 : 0)*] [* 1928, 0, (0 : 1 : 0)*] [* 2157, 2, (2 : -3 : 1)*] [* 3073, -2, (2 : 1 : 1)*] [* 3989, -1, (-1 : 0 : 1)*] [* 5592, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 5821, 6, (12370/441 : -1510027/9261 : 1)*] [* 6508, 6, (12370/441 : -1510027/9261 : 1)*] [* 6737, -1, (-1 : 0 : 1)*] [* 7653, -1, (-1 : 0 : 1)*] [* 8569, -3, (-5/9 : 11/27 : 1)*] [* 9256, -2, (2 : 1 : 1)*] [* 9485, -5, (-613/529 : 10844/12167 : 1)*] /* D = 98 (mod 229 ) [* 556, -2, (2 : 1 : 1)*] [* 785, 1, (-1 : 1 : 1)*] [* 2617, 1, (-1 : 1 : 1)*] [* 3304, -4, (53/16 : -465/64 : 1)*] [* 3533, -5, (-613/529 : 10844/12167 : 1)*] [* 4220, 4, (53/16 : 253/64 : 1)*] [* 4449, 0, (0 : 1 : 0)*] [* 5365, -6, (12370/441 : 1250257/9261 : 1)*] [* 6281, -2, (2 : 1 : 1)*] [* 6968, 0, (0 : 1 : 0)*] [* 7197, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] [* 8113, -1, (-1 : 0 : 1)*] [* 9029, -4, (53/16 : -465/64 : 1)*] /* D = 101 (mod 229 ) [* 101, 1, (-1 : 1 : 1)*] [* 1704, -1, (-1 : 0 : 1)*] [* 1933, 0, (0 : 1 : 0)*] [* 2620, 4, (53/16 : 253/64 : 1)*] [* 2849, 0, (0 : 1 : 0)*] [* 3765, -6, (12370/441 : 1250257/9261 : 1)*] [* 4681, 3, (-5/9 : 4/27 : 1)*] [* 5368, -1, (-1 : 0 : 1)*] [* 5597, -4, (53/16 : -465/64 : 1)*] [* 6284, 4, (53/16 : 253/64 : 1)*] [* 6513, 1, (-1 : 1 : 1)*] [* 7429, 0, (0 : 1 : 0)*] [* 8345, -1, (-1 : 0 : 1)*] [* 9032, 5, (-613/529 : 3255/12167 : 1)*] [* 9948, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] /* D = 102 (mod 229 ) [* 789, 0, (0 : 1 : 0)*] [* 1705, 3, (-5/9 : 4/27 : 1)*] [* 2392, 2, (2 : -3 : 1)*] [* 2621, -2, (2 : 1 : 1)*] [* 3308, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 4453, -6, (12370/441 : 1250257/9261 : 1)*] [* 5369, -2, (2 : 1 : 1)*] [* 6056, -1, (-1 : 0 : 1)*] [* 6285, -4, (53/16 : -465/64 : 1)*] [* 6972, 6, (12370/441 : -1510027/9261 : 1)*] [* 7201, 3, (-5/9 : 4/27 : 1)*] [* 8117, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 9033, -2, (2 : 1 : 1)*] [* 9949, 1, (-1 : 1 : 1)*] /* D = 105 (mod 229 ) [* 105, -1, (-1 : 0 : 1)*] [* 1021, -2, (2 : 1 : 1)*] [* 1708, 4, (53/16 : 253/64 : 1)*] [* 1937, -1, (-1 : 0 : 1)*] [* 3769, -1, (-1 : 0 : 1)*] [* 4456, -1, (-1 : 0 : 1)*] [* 4685, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 5372, 6, (12370/441 : -1510027/9261 : 1)*] [* 5601, 2, (2 : -3 : 1)*] [* 7433, 1, (-1 : 1 : 1)*] [* 8120, -6, (12370/441 : 1250257/9261 : 1)*] [* 9265, 0, (0 : 1 : 0)*] /* D = 106 (mod 229 ) [* 793, -3, (-5/9 : 11/27 : 1)*] [* 1480, 0, (0 : 1 : 0)*] [* 1709, -1, (-1 : 0 : 1)*] [* 2396, -2, (2 : 1 : 1)*] [* 3541, 6, (12370/441 : -1510027/9261 : 1)*] [* 4457, 2, (2 : -3 : 1)*] [* 5144, 2, (2 : -3 : 1)*] [* 6060, 2, (2 : -3 : 1)*] [* 6289, 0, (0 : 1 : 0)*] [* 7205, 1, (-1 : 1 : 1)*] [* 8121, 2, (2 : -3 : 1)*] [* 8808, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] [* 9037, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9724, -6, (12370/441 : 1250257/9261 : 1)*] [* 9953, -4, (53/16 : -465/64 : 1)*] /* D = 107 (mod 229 ) [* 565, -1, (-1 : 0 : 1)*] [* 1481, 1, (-1 : 1 : 1)*] [* 2168, -1, (-1 : 0 : 1)*] [* 2397, -2, (2 : 1 : 1)*] [* 3084, -4, (53/16 : -465/64 : 1)*] [* 3313, -1, (-1 : 0 : 1)*] [* 4229, -2, (2 : 1 : 1)*] [* 6061, 2, (2 : -3 : 1)*] [* 6748, -4, (53/16 : -465/64 : 1)*] [* 6977, 3, (-5/9 : 4/27 : 1)*] [* 8809, 0, (0 : 1 : 0)*] [* 9496, -7, (-249937/310249 : -16904139/172808693 : 1)*] /* D = 109 (mod 229 ) [* 109, -2, (2 : 1 : 1)*] [* 796, 0, (0 : 1 : 0)*] [* 1941, 2, (2 : -3 : 1)*] [* 2857, -3, (-5/9 : 11/27 : 1)*] [* 3544, -4, (53/16 : -465/64 : 1)*] [* 4460, 2, (2 : -3 : 1)*] [* 5605, 3, (-5/9 : 4/27 : 1)*] [* 6521, 0, (0 : 1 : 0)*] [* 7208, 0, (0 : 1 : 0)*] [* 7437, 2, (2 : -3 : 1)*] [* 8124, -2, (2 : 1 : 1)*] [* 8353, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 9269, -2, (2 : 1 : 1)*] /* D = 110 (mod 229 ) [* 568, -5, (-613/529 : 10844/12167 : 1)*] [* 797, -1, (-1 : 0 : 1)*] [* 1484, -4, (53/16 : -465/64 : 1)*] [* 1713, 2, (2 : -3 : 1)*] [* 2629, 0, (0 : 1 : 0)*] [* 3545, 1, (-1 : 1 : 1)*] [* 4461, 1, (-1 : 1 : 1)*] [* 5377, -5, (-613/529 : 10844/12167 : 1)*] [* 6293, 0, (0 : 1 : 0)*] [* 7896, 2, (2 : -3 : 1)*] [* 8812, -6, (12370/441 : 1250257/9261 : 1)*] [* 9041, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 9957, 7, (-249937/310249 : 156119048/172808693 : 1)*] /* D = 112 (mod 229 ) [* 341, 1, (-1 : 1 : 1)*] [* 1257, 0, (0 : 1 : 0)*] [* 2173, 6, (12370/441 : -1510027/9261 : 1)*] [* 2860, 0, (0 : 1 : 0)*] [* 3089, -4, (53/16 : -465/64 : 1)*] [* 4921, 2, (2 : -3 : 1)*] [* 5608, 5, (-613/529 : 3255/12167 : 1)*] [* 5837, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 6524, -2, (2 : 1 : 1)*] [* 6753, 3, (-5/9 : 4/27 : 1)*] [* 7669, 3, (-5/9 : 4/27 : 1)*] [* 8585, -3, (-5/9 : 11/27 : 1)*] [* 9272, -5, (-613/529 : 10844/12167 : 1)*] [* 9501, 1, (-1 : 1 : 1)*] /* D = 113 (mod 229 ) [* 113, 1, (-1 : 1 : 1)*] [* 1945, 5, (-613/529 : 3255/12167 : 1)*] [* 2632, 6, (12370/441 : -1510027/9261 : 1)*] [* 2861, -1, (-1 : 0 : 1)*] [* 3548, 2, (2 : -3 : 1)*] [* 3777, 6, (12370/441 : -1510027/9261 : 1)*] [* 5609, -2, (2 : 1 : 1)*] [* 6296, -1, (-1 : 0 : 1)*] [* 7212, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] [* 7441, -4, (53/16 : -465/64 : 1)*] [* 8357, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 9273, -3, (-5/9 : 11/27 : 1)*] [* 9960, 1, (-1 : 1 : 1)*] /* D = 114 (mod 229 ) [* 572, -2, (2 : 1 : 1)*] [* 1717, 1, (-1 : 1 : 1)*] [* 2633, 3, (-5/9 : 4/27 : 1)*] [* 3320, -5, (-613/529 : 10844/12167 : 1)*] [* 4236, 0, (0 : 1 : 0)*] [* 4465, 4, (53/16 : 253/64 : 1)*] [* 5381, -4, (53/16 : -465/64 : 1)*] [* 6297, 1, (-1 : 1 : 1)*] [* 7213, -4, (53/16 : -465/64 : 1)*] [* 8129, -1, (-1 : 0 : 1)*] [* 9961, -1, (-1 : 0 : 1)*] /* D = 115 (mod 229 ) [* 344, -1, (-1 : 0 : 1)*] [* 573, 0, (0 : 1 : 0)*] [* 1489, 0, (0 : 1 : 0)*] [* 2405, 2, (2 : -3 : 1)*] [* 4008, 1, (-1 : 1 : 1)*] [* 4237, 6, (12370/441 : -1510027/9261 : 1)*] [* 4924, 2, (2 : -3 : 1)*] [* 5153, -5, (-613/529 : 10844/12167 : 1)*] [* 6985, 0, (0 : 1 : 0)*] [* 7672, 6, (12370/441 : -1510027/9261 : 1)*] [* 7901, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8588 ) as a global point [* 8588, Infinity, 0*] [* 8817, 4, (53/16 : 253/64 : 1)*] [* 9733, -6, (12370/441 : 1250257/9261 : 1)*] /* D = 116 (mod 229 ) [* 345, -2, (2 : 1 : 1)*] [* 1032, 5, (-613/529 : 3255/12167 : 1)*] [* 1261, 5, (-613/529 : 3255/12167 : 1)*] [* 1948, 2, (2 : -3 : 1)*] [* 2177, -3, (-5/9 : 11/27 : 1)*] [* 3093, -1, (-1 : 0 : 1)*] [* 4009, -3, (-5/9 : 11/27 : 1)*] [* 4696, -1, (-1 : 0 : 1)*] [* 5612, 2, (2 : -3 : 1)*] [* 6757, 4, (53/16 : 253/64 : 1)*] [* 7673, 3, (-5/9 : 4/27 : 1)*] [* 8360, 3, (-5/9 : 4/27 : 1)*] [* 8589, -1, (-1 : 0 : 1)*] [* 9276, -6, (12370/441 : 1250257/9261 : 1)*] [* 9505, -3, (-5/9 : 11/27 : 1)*] /* D = 117 (mod 229 ) [* 1033, 6, (12370/441 : -1510027/9261 : 1)*] [* 1720, 3, (-5/9 : 4/27 : 1)*] [* 1949, 0, (0 : 1 : 0)*] [* 2636, -2, (2 : 1 : 1)*] [* 2865, 0, (0 : 1 : 0)*] [* 3781, 3, (-5/9 : 4/27 : 1)*] [* 4697, -1, (-1 : 0 : 1)*] [* 5384, 1, (-1 : 1 : 1)*] [* 5613, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 6529, 0, (0 : 1 : 0)*] [* 7445, 4, (53/16 : 253/64 : 1)*] [* 9048, -2, (2 : 1 : 1)*] [* 9277, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9964, 0, (0 : 1 : 0)*] /* D = 119 (mod 229 ) [* 348, -2, (2 : 1 : 1)*] [* 577, 0, (0 : 1 : 0)*] [* 1493, -5, (-613/529 : 10844/12167 : 1)*] [* 2409, 2, (2 : -3 : 1)*] [* 4012, 0, (0 : 1 : 0)*] [* 4241, 0, (0 : 1 : 0)*] [* 6073, 2, (2 : -3 : 1)*] [* 6989, 2, (2 : -3 : 1)*] [* 7676, 0, (0 : 1 : 0)*] [* 7905, 1, (-1 : 1 : 1)*] [* 8821, 3, (-5/9 : 4/27 : 1)*] [* 9737, -4, (53/16 : -465/64 : 1)*] /* D = 120 (mod 229 ) [* 120, 1, (-1 : 1 : 1)*] [* 349, 1, (-1 : 1 : 1)*] [* 1036, 0, (0 : 1 : 0)*] [* 1265, 2, (2 : -3 : 1)*] [* 2181, 2, (2 : -3 : 1)*] [* 3097, 3, (-5/9 : 4/27 : 1)*] [* 3784, 5, (-613/529 : 3255/12167 : 1)*] [* 4013, 0, (0 : 1 : 0)*] [* 4929, 0, (0 : 1 : 0)*] [* 5845, -1, (-1 : 0 : 1)*] [* 6761, -3, (-5/9 : 11/27 : 1)*] [* 8364, -2, (2 : 1 : 1)*] [* 8593, -1, (-1 : 0 : 1)*] [* 9509, -2, (2 : 1 : 1)*] /* D = 122 (mod 229 ) [* 809, -2, (2 : 1 : 1)*] [* 1496, -1, (-1 : 0 : 1)*] [* 2641, 2, (2 : -3 : 1)*] [* 3557, 1, (-1 : 1 : 1)*] [* 5160, 3, (-5/9 : 4/27 : 1)*] [* 5389, 0, (0 : 1 : 0)*] [* 6305, 3, (-5/9 : 4/27 : 1)*] [* 7221, 2, (2 : -3 : 1)*] [* 8137, 6, (12370/441 : -1510027/9261 : 1)*] [* 8824, 5, (-613/529 : 3255/12167 : 1)*] [* 9053, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 9740, -2, (2 : 1 : 1)*] [* 9969, 1, (-1 : 1 : 1)*] /* D = 123 (mod 229 ) [* 581, -1, (-1 : 0 : 1)*] [* 1497, -3, (-5/9 : 11/27 : 1)*] [* 2184, 0, (0 : 1 : 0)*] [* 2413, 0, (0 : 1 : 0)*] [* 3329, 1, (-1 : 1 : 1)*] [* 4245, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 5161, -3, (-5/9 : 11/27 : 1)*] [* 5848, 5, (-613/529 : 3255/12167 : 1)*] [* 6077, 5, (-613/529 : 3255/12167 : 1)*] [* 6764, 0, (0 : 1 : 0)*] [* 7909, 6, (12370/441 : -1510027/9261 : 1)*] [* 9512, 2, (2 : -3 : 1)*] [* 9741, 2, (2 : -3 : 1)*] /* D = 124 (mod 229 ) [* 124, 2, (2 : -3 : 1)*] [* 353, 2, (2 : -3 : 1)*] [* 2185, 2, (2 : -3 : 1)*] [* 2872, 0, (0 : 1 : 0)*] [* 3101, -2, (2 : 1 : 1)*] [* 3788, 2, (2 : -3 : 1)*] [* 4017, -3, (-5/9 : 11/27 : 1)*] [* 4933, 1, (-1 : 1 : 1)*] [* 5849, 0, (0 : 1 : 0)*] [* 6536, -1, (-1 : 0 : 1)*] [* 6765, 1, (-1 : 1 : 1)*] [* 7681, -4, (53/16 : -465/64 : 1)*] [* 8597, 0, (0 : 1 : 0)*] /* D = 127 (mod 229 ) [* 1272, -6, (12370/441 : 1250257/9261 : 1)*] [* 1501, -2, (2 : 1 : 1)*] [* 2188, 6, (12370/441 : -1510027/9261 : 1)*] [* 2417, 5, (-613/529 : 3255/12167 : 1)*] [* 3333, -3, (-5/9 : 11/27 : 1)*] [* 4249, 2, (2 : -3 : 1)*] [* 4936, 2, (2 : -3 : 1)*] [* 5165, 0, (0 : 1 : 0)*] [* 5852, -2, (2 : 1 : 1)*] [* 6081, -3, (-5/9 : 11/27 : 1)*] [* 6997, 2, (2 : -3 : 1)*] [* 7913, -2, (2 : 1 : 1)*] [* 9516, 0, (0 : 1 : 0)*] [* 9745, 0, (0 : 1 : 0)*] /* D = 128 (mod 229 ) [* 357, -3, (-5/9 : 11/27 : 1)*] [* 1273, 3, (-5/9 : 4/27 : 1)*] [* 2189, 3, (-5/9 : 4/27 : 1)*] [* 2876, -2, (2 : 1 : 1)*] [* 4021, -1, (-1 : 0 : 1)*] [* 4937, 0, (0 : 1 : 0)*] [* 5624, 4, (53/16 : 253/64 : 1)*] [* 5853, -6, (12370/441 : 1250257/9261 : 1)*] [* 6540, -6, (12370/441 : 1250257/9261 : 1)*] [* 6769, 2, (2 : -3 : 1)*] [* 7685, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 8601, 0, (0 : 1 : 0)*] [* 9517, -5, (-613/529 : 10844/12167 : 1)*] /* D = 131 (mod 229 ) [* 589, 1, (-1 : 1 : 1)*] [* 1276, -2, (2 : 1 : 1)*] [* 1505, -1, (-1 : 0 : 1)*] [* 3337, -4, (53/16 : -465/64 : 1)*] [* 4024, -2, (2 : 1 : 1)*] [* 4253, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 4940, -4, (53/16 : -465/64 : 1)*] [* 5169, -3, (-5/9 : 11/27 : 1)*] [* 6085, 1, (-1 : 1 : 1)*] [* 7001, 3, (-5/9 : 4/27 : 1)*] [* 7917, -4, (53/16 : -465/64 : 1)*] [* 9749, -1, (-1 : 0 : 1)*] /* D = 133 (mod 229 ) [* 133, -3, (-5/9 : 11/27 : 1)*] [* 1049, -1, (-1 : 0 : 1)*] [* 1736, 0, (0 : 1 : 0)*] [* 1965, -3, (-5/9 : 11/27 : 1)*] [* 2652, -2, (2 : 1 : 1)*] [* 2881, 5, (-613/529 : 3255/12167 : 1)*] [* 3797, -6, (12370/441 : 1250257/9261 : 1)*] [* 4713, 3, (-5/9 : 4/27 : 1)*] [* 5629, -3, (-5/9 : 11/27 : 1)*] [* 6316, 2, (2 : -3 : 1)*] [* 6545, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 8377, 1, (-1 : 1 : 1)*] [* 9064, -1, (-1 : 0 : 1)*] [* 9293, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 9980, -2, (2 : 1 : 1)*] /* D = 136 (mod 229 ) [* 136, -1, (-1 : 0 : 1)*] [* 365, 0, (0 : 1 : 0)*] [* 1052, 2, (2 : -3 : 1)*] [* 1281, 1, (-1 : 1 : 1)*] [* 3113, -1, (-1 : 0 : 1)*] [* 4029, 2, (2 : -3 : 1)*] [* 4945, -2, (2 : 1 : 1)*] [* 5861, 4, (53/16 : 253/64 : 1)*] [* 7464, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 8380, 2, (2 : -3 : 1)*] [* 8609, 0, (0 : 1 : 0)*] /* D = 137 (mod 229 ) [* 137, 1, (-1 : 1 : 1)*] [* 824, 1, (-1 : 1 : 1)*] [* 1740, -6, (12370/441 : 1250257/9261 : 1)*] [* 1969, 3, (-5/9 : 4/27 : 1)*] [* 2885, -4, (53/16 : -465/64 : 1)*] [* 3801, -3, (-5/9 : 11/27 : 1)*] [* 4488, -5, (-613/529 : 10844/12167 : 1)*] [* 4717, -10, (227411559026/30466655209 : -128033274252441645/5317863266765323 : 1)*] [* 5404, 0, (0 : 1 : 0)*] [* 5633, 1, (-1 : 1 : 1)*] [* 6549, -2, (2 : 1 : 1)*] [* 7465, -3, (-5/9 : 11/27 : 1)*] [* 8152, -6, (12370/441 : 1250257/9261 : 1)*] [* 9068, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] /* D = 139 (mod 229 ) [* 597, 3, (-5/9 : 4/27 : 1)*] [* 1513, 2, (2 : -3 : 1)*] [* 2429, -2, (2 : 1 : 1)*] [* 3116, -2, (2 : 1 : 1)*] [* 3345, 0, (0 : 1 : 0)*] [* 4261, 2, (2 : -3 : 1)*] [* 5177, -1, (-1 : 0 : 1)*] [* 5864, -1, (-1 : 0 : 1)*] [* 6780, -2, (2 : 1 : 1)*] [* 7009, 3, (-5/9 : 4/27 : 1)*] [* 8841, -1, (-1 : 0 : 1)*] [* 9528, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 9757, 7, (-249937/310249 : 156119048/172808693 : 1)*] /* D = 140 (mod 229 ) [* 140, 0, (0 : 1 : 0)*] [* 1285, -4, (53/16 : -465/64 : 1)*] [* 2201, -1, (-1 : 0 : 1)*] [* 3117, -2, (2 : 1 : 1)*] [* 3804, -4, (53/16 : -465/64 : 1)*] [* 4033, 2, (2 : -3 : 1)*] [* 5865, -2, (2 : 1 : 1)*] [* 6781, 1, (-1 : 1 : 1)*] [* 7468, -4, (53/16 : -465/64 : 1)*] [* 7697, 1, (-1 : 1 : 1)*] [* 9529, -1, (-1 : 0 : 1)*] /* D = 141 (mod 229 ) [* 141, 2, (2 : -3 : 1)*] [* 1057, 3, (-5/9 : 4/27 : 1)*] [* 1973, -3, (-5/9 : 11/27 : 1)*] [* 3576, 3, (-5/9 : 4/27 : 1)*] [* 3805, -3, (-5/9 : 11/27 : 1)*] [* 4492, -4, (53/16 : -465/64 : 1)*] [* 4721, 2, (2 : -3 : 1)*] [* 5637, -5, (-613/529 : 10844/12167 : 1)*] [* 6553, 4, (53/16 : 253/64 : 1)*] [* 7240, 5, (-613/529 : 3255/12167 : 1)*] [* 7469, -3, (-5/9 : 11/27 : 1)*] [* 8156, 0, (0 : 1 : 0)*] [* 8385, -1, (-1 : 0 : 1)*] [* 9301, -1, (-1 : 0 : 1)*] /* D = 142 (mod 229 ) [* 829, 0, (0 : 1 : 0)*] [* 1516, -4, (53/16 : -465/64 : 1)*] [* 1745, -3, (-5/9 : 11/27 : 1)*] [* 2661, -1, (-1 : 0 : 1)*] [* 4264, 4, (53/16 : 253/64 : 1)*] [* 4493, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 5180, 4, (53/16 : 253/64 : 1)*] [* 7241, 1, (-1 : 1 : 1)*] [* 7928, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] *** Warning: The precision was insufficient to recognize P( 8157 ) as a global point [* 8157, Infinity, 0*] [* 8844, 2, (2 : -3 : 1)*] [* 9073, 1, (-1 : 1 : 1)*] [* 9989, 1, (-1 : 1 : 1)*] /* D = 143 (mod 229 ) [* 601, 0, (0 : 1 : 0)*] [* 1288, 0, (0 : 1 : 0)*] [* 1517, -2, (2 : 1 : 1)*] [* 2204, 2, (2 : -3 : 1)*] [* 2433, -4, (53/16 : -465/64 : 1)*] [* 3349, -2, (2 : 1 : 1)*] [* 4265, 2, (2 : -3 : 1)*] [* 4952, -2, (2 : 1 : 1)*] [* 5181, 1, (-1 : 1 : 1)*] [* 6097, 0, (0 : 1 : 0)*] [* 7013, 2, (2 : -3 : 1)*] [* 8616, 0, (0 : 1 : 0)*] [* 8845, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 9532, 4, (53/16 : 253/64 : 1)*] [* 9761, 0, (0 : 1 : 0)*] /* D = 145 (mod 229 ) [* 145, 0, (0 : 1 : 0)*] [* 1061, 4, (53/16 : 253/64 : 1)*] [* 1977, -3, (-5/9 : 11/27 : 1)*] [* 2893, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 3580, -2, (2 : 1 : 1)*] [* 3809, 1, (-1 : 1 : 1)*] [* 5641, -3, (-5/9 : 11/27 : 1)*] [* 6328, -6, (12370/441 : 1250257/9261 : 1)*] [* 6557, -4, (53/16 : -465/64 : 1)*] [* 7244, 2, (2 : -3 : 1)*] [* 7473, -6, (12370/441 : 1250257/9261 : 1)*] [* 8389, 1, (-1 : 1 : 1)*] [* 9305, 2, (2 : -3 : 1)*] [* 9992, 4, (53/16 : 253/64 : 1)*] /* D = 150 (mod 229 ) [* 1753, -1, (-1 : 0 : 1)*] [* 2440, 1, (-1 : 1 : 1)*] [* 2669, 1, (-1 : 1 : 1)*] [* 3356, -2, (2 : 1 : 1)*] [* 3585, 2, (2 : -3 : 1)*] [* 4501, 2, (2 : -3 : 1)*] [* 5417, 4, (53/16 : 253/64 : 1)*] [* 6104, 4, (53/16 : 253/64 : 1)*] [* 6333, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 7249, 1, (-1 : 1 : 1)*] [* 8165, 0, (0 : 1 : 0)*] [* 9768, -10, (227411559026/30466655209 : -128033274252441645/5317863266765323 : 1)*] [* 9997, 1, (-1 : 1 : 1)*] /* D = 152 (mod 229 ) [* 152, 1, (-1 : 1 : 1)*] [* 381, 2, (2 : -3 : 1)*] [* 1068, 4, (53/16 : 253/64 : 1)*] [* 1297, 1, (-1 : 1 : 1)*] [* 2213, -4, (53/16 : -465/64 : 1)*] [* 3129, -1, (-1 : 0 : 1)*] [* 4045, 0, (0 : 1 : 0)*] [* 6793, 1, (-1 : 1 : 1)*] [* 7480, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 7709, 0, (0 : 1 : 0)*] [* 8396, -2, (2 : 1 : 1)*] [* 9541, 0, (0 : 1 : 0)*] /* D = 155 (mod 229 ) [* 613, -2, (2 : 1 : 1)*] [* 1529, 0, (0 : 1 : 0)*] [* 2216, 3, (-5/9 : 4/27 : 1)*] [* 2445, -1, (-1 : 0 : 1)*] [* 3361, 1, (-1 : 1 : 1)*] [* 4277, 0, (0 : 1 : 0)*] [* 6109, -1, (-1 : 0 : 1)*] [* 6796, 0, (0 : 1 : 0)*] [* 7941, 0, (0 : 1 : 0)*] [* 8857, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 9544, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 9773, -4, (53/16 : -465/64 : 1)*] /* D = 156 (mod 229 ) [* 156, 2, (2 : -3 : 1)*] [* 385, 3, (-5/9 : 4/27 : 1)*] [* 1301, 0, (0 : 1 : 0)*] [* 2217, 1, (-1 : 1 : 1)*] [* 3133, -2, (2 : 1 : 1)*] [* 3820, -4, (53/16 : -465/64 : 1)*] [* 4049, 1, (-1 : 1 : 1)*] [* 4965, 4, (53/16 : 253/64 : 1)*] [* 5881, -2, (2 : 1 : 1)*] [* 6568, -5, (-613/529 : 10844/12167 : 1)*] [* 6797, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] [* 7484, -2, (2 : 1 : 1)*] [* 8629, 1, (-1 : 1 : 1)*] [* 9545, 4, (53/16 : 253/64 : 1)*] /* D = 157 (mod 229 ) [* 157, -1, (-1 : 0 : 1)*] [* 844, -2, (2 : 1 : 1)*] [* 1073, 2, (2 : -3 : 1)*] [* 2905, 1, (-1 : 1 : 1)*] [* 3592, -4, (53/16 : -465/64 : 1)*] [* 3821, 2, (2 : -3 : 1)*] [* 4737, -4, (53/16 : -465/64 : 1)*] [* 5653, -3, (-5/9 : 11/27 : 1)*] [* 6569, 0, (0 : 1 : 0)*] [* 7256, -2, (2 : 1 : 1)*] [* 7485, 3, (-5/9 : 4/27 : 1)*] [* 8401, -3, (-5/9 : 11/27 : 1)*] /* D = 160 (mod 229 ) [* 389, -1, (-1 : 0 : 1)*] [* 1992, 1, (-1 : 1 : 1)*] [* 2221, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 2908, 0, (0 : 1 : 0)*] [* 3137, 0, (0 : 1 : 0)*] [* 4053, 4, (53/16 : 253/64 : 1)*] [* 4969, 1, (-1 : 1 : 1)*] [* 5656, -4, (53/16 : -465/64 : 1)*] [* 5885, 2, (2 : -3 : 1)*] [* 6572, 4, (53/16 : 253/64 : 1)*] [* 6801, 0, (0 : 1 : 0)*] [* 7717, -2, (2 : 1 : 1)*] [* 8633, -4, (53/16 : -465/64 : 1)*] [* 9320, -1, (-1 : 0 : 1)*] /* D = 162 (mod 229 ) [* 620, 0, (0 : 1 : 0)*] [* 849, 1, (-1 : 1 : 1)*] [* 1765, -2, (2 : 1 : 1)*] [* 2681, 0, (0 : 1 : 0)*] [* 3368, -3, (-5/9 : 11/27 : 1)*] [* 3597, 6, (12370/441 : -1510027/9261 : 1)*] [* 4513, -5, (-613/529 : 10844/12167 : 1)*] [* 5429, 4, (53/16 : 253/64 : 1)*] [* 7032, 1, (-1 : 1 : 1)*] [* 7261, 2, (2 : -3 : 1)*] *** Warning: The precision was insufficient to recognize P( 7948 ) as a global point [* 7948, Infinity, 0*] [* 8177, 2, (2 : -3 : 1)*] [* 9093, -11, (-56549239686277/46431454567969 : 189225651486984940927/316386856607778548047 : 1)*] /* D = 163 (mod 229 ) [* 1308, -2, (2 : 1 : 1)*] [* 1537, -4, (53/16 : -465/64 : 1)*] [* 2453, 4, (53/16 : 253/64 : 1)*] [* 3369, -2, (2 : 1 : 1)*] [* 4285, -4, (53/16 : -465/64 : 1)*] [* 4972, 0, (0 : 1 : 0)*] [* 5201, -1, (-1 : 0 : 1)*] [* 6117, -11, (-56549239686277/46431454567969 : 189225651486984940927/316386856607778548047 : 1)*] [* 7033, 2, (2 : -3 : 1)*] [* 7720, -6, (12370/441 : 1250257/9261 : 1)*] [* 7949, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 8636, 0, (0 : 1 : 0)*] [* 9781, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] /* D = 164 (mod 229 ) [* 393, 1, (-1 : 1 : 1)*] [* 1309, -1, (-1 : 0 : 1)*] [* 1996, -4, (53/16 : -465/64 : 1)*] [* 4057, 4, (53/16 : 253/64 : 1)*] [* 4744, 2, (2 : -3 : 1)*] [* 4973, 0, (0 : 1 : 0)*] [* 5660, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 5889, 1, (-1 : 1 : 1)*] *** Warning: The precision was insufficient to recognize P( 6805 ) as a global point [* 6805, Infinity, 0*] [* 7721, 1, (-1 : 1 : 1)*] [* 8408, 4, (53/16 : 253/64 : 1)*] [* 8637, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 9553, 3, (-5/9 : 4/27 : 1)*] /* D = 166 (mod 229 ) [* 853, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 1769, 0, (0 : 1 : 0)*] [* 2456, -1, (-1 : 0 : 1)*] [* 2685, 5, (-613/529 : 3255/12167 : 1)*] [* 3372, 6, (12370/441 : -1510027/9261 : 1)*] [* 3601, -1, (-1 : 0 : 1)*] [* 4517, 3, (-5/9 : 4/27 : 1)*] [* 5433, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 6349, -4, (53/16 : -465/64 : 1)*] [* 7036, 0, (0 : 1 : 0)*] [* 7265, -4, (53/16 : -465/64 : 1)*] [* 9097, 0, (0 : 1 : 0)*] [* 9784, 1, (-1 : 1 : 1)*] /* D = 170 (mod 229 ) [* 857, 2, (2 : -3 : 1)*] [* 1544, 0, (0 : 1 : 0)*] [* 2460, -4, (53/16 : -465/64 : 1)*] [* 2689, -2, (2 : 1 : 1)*] [* 3605, -1, (-1 : 0 : 1)*] [* 4521, -1, (-1 : 0 : 1)*] [* 5208, -4, (53/16 : -465/64 : 1)*] [* 5437, 3, (-5/9 : 4/27 : 1)*] [* 6124, 0, (0 : 1 : 0)*] [* 6353, 1, (-1 : 1 : 1)*] [* 7269, -3, (-5/9 : 11/27 : 1)*] [* 8185, -2, (2 : 1 : 1)*] [* 8872, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] [* 9101, 0, (0 : 1 : 0)*] [* 9788, -2, (2 : 1 : 1)*] /* D = 175 (mod 229 ) [* 633, 1, (-1 : 1 : 1)*] [* 1320, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 1549, -3, (-5/9 : 11/27 : 1)*] [* 2236, -2, (2 : 1 : 1)*] [* 2465, -4, (53/16 : -465/64 : 1)*] [* 4297, 0, (0 : 1 : 0)*] [* 4984, -4, (53/16 : -465/64 : 1)*] [* 5213, -1, (-1 : 0 : 1)*] [* 7045, 1, (-1 : 1 : 1)*] [* 7961, 4, (53/16 : 253/64 : 1)*] [* 8648, -2, (2 : 1 : 1)*] [* 8877, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 9564, -2, (2 : 1 : 1)*] [* 9793, 2, (2 : -3 : 1)*] /* D = 177 (mod 229 ) [* 177, 3, (-5/9 : 4/27 : 1)*] [* 1093, 0, (0 : 1 : 0)*] [* 2696, -1, (-1 : 0 : 1)*] [* 3612, -2, (2 : 1 : 1)*] [* 3841, -2, (2 : 1 : 1)*] [* 4757, 1, (-1 : 1 : 1)*] [* 5673, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] [* 6360, 4, (53/16 : 253/64 : 1)*] [* 6589, -3, (-5/9 : 11/27 : 1)*] [* 7276, 0, (0 : 1 : 0)*] [* 7505, 0, (0 : 1 : 0)*] [* 8421, 3, (-5/9 : 4/27 : 1)*] [* 9337, 1, (-1 : 1 : 1)*] /* D = 179 (mod 229 ) [* 408, -5, (-613/529 : 10844/12167 : 1)*] [* 1324, -2, (2 : 1 : 1)*] [* 1553, -1, (-1 : 0 : 1)*] [* 2469, -1, (-1 : 0 : 1)*] [* 3385, 5, (-613/529 : 3255/12167 : 1)*] [* 4072, 2, (2 : -3 : 1)*] [* 4301, 4, (53/16 : 253/64 : 1)*] [* 4988, -2, (2 : 1 : 1)*] [* 5217, -2, (2 : 1 : 1)*] [* 6133, -1, (-1 : 0 : 1)*] [* 7049, 0, (0 : 1 : 0)*] [* 7736, 0, (0 : 1 : 0)*] [* 8652, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 8881, 2, (2 : -3 : 1)*] *** Warning: The precision was insufficient to recognize P( 9797 ) as a global point [* 9797, Infinity, 0*] /* D = 182 (mod 229 ) [* 869, 0, (0 : 1 : 0)*] [* 1785, 1, (-1 : 1 : 1)*] [* 2472, -5, (-613/529 : 10844/12167 : 1)*] [* 2701, 2, (2 : -3 : 1)*] [* 3617, -2, (2 : 1 : 1)*] [* 4533, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 5449, -1, (-1 : 0 : 1)*] [* 6136, 2, (2 : -3 : 1)*] [* 6365, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 7052, 2, (2 : -3 : 1)*] [* 8197, -5, (-613/529 : 10844/12167 : 1)*] [* 9113, 1, (-1 : 1 : 1)*] /* D = 188 (mod 229 ) [* 188, 0, (0 : 1 : 0)*] [* 417, -2, (2 : 1 : 1)*] [* 1333, 3, (-5/9 : 4/27 : 1)*] [* 2249, 0, (0 : 1 : 0)*] [* 2936, 1, (-1 : 1 : 1)*] [* 3165, 1, (-1 : 1 : 1)*] [* 4081, 2, (2 : -3 : 1)*] [* 4997, 2, (2 : -3 : 1)*] [* 6829, -4, (53/16 : -465/64 : 1)*] [* 7516, 0, (0 : 1 : 0)*] [* 7745, 1, (-1 : 1 : 1)*] [* 8661, 0, (0 : 1 : 0)*] [* 9577, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] /* D = 189 (mod 229 ) [* 876, -2, (2 : 1 : 1)*] [* 1105, -1, (-1 : 0 : 1)*] [* 2021, 2, (2 : -3 : 1)*] [* 2937, -2, (2 : 1 : 1)*] [* 3624, 3, (-5/9 : 4/27 : 1)*] [* 3853, 1, (-1 : 1 : 1)*] [* 4540, 2, (2 : -3 : 1)*] [* 4769, 0, (0 : 1 : 0)*] [* 5685, -5, (-613/529 : 10844/12167 : 1)*] [* 6601, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 7288 ) as a global point [* 7288, Infinity, 0*] [* 7517, 1, (-1 : 1 : 1)*] [* 8204, 4, (53/16 : 253/64 : 1)*] [* 9349, -4, (53/16 : -465/64 : 1)*] /* D = 190 (mod 229 ) [* 877, 6, (12370/441 : -1510027/9261 : 1)*] [* 1564, 2, (2 : -3 : 1)*] [* 1793, 1, (-1 : 1 : 1)*] [* 4541, 0, (0 : 1 : 0)*] [* 5228, 4, (53/16 : 253/64 : 1)*] [* 5457, -2, (2 : 1 : 1)*] [* 6373, 0, (0 : 1 : 0)*] [* 7289, -2, (2 : 1 : 1)*] [* 7976, -1, (-1 : 0 : 1)*] [* 8205, -11, (-56549239686277/46431454567969 : 189225651486984940927/316386856607778548047 : 1)*] [* 9121, 4, (53/16 : 253/64 : 1)*] /* D = 191 (mod 229 ) [* 649, 1, (-1 : 1 : 1)*] [* 1336, 1, (-1 : 1 : 1)*] [* 1565, -1, (-1 : 0 : 1)*] [* 2252, 0, (0 : 1 : 0)*] [* 2481, 0, (0 : 1 : 0)*] [* 3397, -4, (53/16 : -465/64 : 1)*] [* 4313, 4, (53/16 : 253/64 : 1)*] [* 5916, 2, (2 : -3 : 1)*] [* 6145, 4, (53/16 : 253/64 : 1)*] [* 7061, 0, (0 : 1 : 0)*] [* 7977, 2, (2 : -3 : 1)*] [* 8893, -1, (-1 : 0 : 1)*] [* 9580, 0, (0 : 1 : 0)*] [* 9809, 2, (2 : -3 : 1)*] /* D = 194 (mod 229 ) [* 652, 6, (12370/441 : -1510027/9261 : 1)*] [* 881, 0, (0 : 1 : 0)*] [* 1797, 3, (-5/9 : 4/27 : 1)*] [* 2713, -1, (-1 : 0 : 1)*] [* 3629, 2, (2 : -3 : 1)*] [* 4316, -2, (2 : 1 : 1)*] [* 5461, 0, (0 : 1 : 0)*] [* 6377, 1, (-1 : 1 : 1)*] [* 7064, 3, (-5/9 : 4/27 : 1)*] [* 7293, -5, (-613/529 : 10844/12167 : 1)*] [* 7980, -4, (53/16 : -465/64 : 1)*] [* 8209, 0, (0 : 1 : 0)*] /* D = 195 (mod 229 ) [* 424, 0, (0 : 1 : 0)*] [* 653, 2, (2 : -3 : 1)*] [* 1340, 0, (0 : 1 : 0)*] [* 1569, -3, (-5/9 : 11/27 : 1)*] [* 2485, -1, (-1 : 0 : 1)*] [* 3401, 1, (-1 : 1 : 1)*] [* 4088, 2, (2 : -3 : 1)*] [* 4317, -1, (-1 : 0 : 1)*] [* 5233, -10, (227411559026/30466655209 : -128033274252441645/5317863266765323 : 1)*] [* 6149, -3, (-5/9 : 11/27 : 1)*] [* 7752, 5, (-613/529 : 3255/12167 : 1)*] [* 7981, 2, (2 : -3 : 1)*] [* 8668, 0, (0 : 1 : 0)*] [* 8897, 4, (53/16 : 253/64 : 1)*] [* 9813, 6, (12370/441 : -1510027/9261 : 1)*] /* D = 197 (mod 229 ) [* 197, 4, (53/16 : 253/64 : 1)*] [* 1113, -4, (53/16 : -465/64 : 1)*] [* 2029, -1, (-1 : 0 : 1)*] [* 2716, -2, (2 : 1 : 1)*] [* 2945, -1, (-1 : 0 : 1)*] [* 4777, -5, (-613/529 : 10844/12167 : 1)*] [* 5464, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 5693, -5, (-613/529 : 10844/12167 : 1)*] [* 6380, 6, (12370/441 : -1510027/9261 : 1)*] [* 6609, -3, (-5/9 : 11/27 : 1)*] [* 8441, 0, (0 : 1 : 0)*] [* 9128, -2, (2 : 1 : 1)*] [* 9357, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] /* D = 198 (mod 229 ) [* 885, 1, (-1 : 1 : 1)*] [* 1801, -1, (-1 : 0 : 1)*] [* 2488, -3, (-5/9 : 11/27 : 1)*] [* 2717, 1, (-1 : 1 : 1)*] [* 3404, 0, (0 : 1 : 0)*] [* 3633, -4, (53/16 : -465/64 : 1)*] [* 4549, -1, (-1 : 0 : 1)*] [* 5465, 0, (0 : 1 : 0)*] [* 6152, 1, (-1 : 1 : 1)*] [* 7068, -6, (12370/441 : 1250257/9261 : 1)*] [* 7297, 0, (0 : 1 : 0)*] [* 8213, 2, (2 : -3 : 1)*] [* 9129, -1, (-1 : 0 : 1)*] [* 9816, -3, (-5/9 : 11/27 : 1)*] /* D = 199 (mod 229 ) [* 428, 0, (0 : 1 : 0)*] [* 2489, 3, (-5/9 : 4/27 : 1)*] [* 3176, 1, (-1 : 1 : 1)*] [* 3405, -4, (53/16 : -465/64 : 1)*] [* 4092, -6, (12370/441 : 1250257/9261 : 1)*] [* 4321, 0, (0 : 1 : 0)*] [* 5237, -5, (-613/529 : 10844/12167 : 1)*] [* 6153, -3, (-5/9 : 11/27 : 1)*] [* 7069, 0, (0 : 1 : 0)*] [* 7756, -4, (53/16 : -465/64 : 1)*] [* 7985, -2, (2 : 1 : 1)*] [* 9817, 6, (12370/441 : -1510027/9261 : 1)*] /* D = 200 (mod 229 ) [* 429, -1, (-1 : 0 : 1)*] [* 1345, 1, (-1 : 1 : 1)*] [* 2261, 1, (-1 : 1 : 1)*] [* 3864, 0, (0 : 1 : 0)*] [* 4093, -3, (-5/9 : 11/27 : 1)*] [* 4780, 2, (2 : -3 : 1)*] [* 5009, 0, (0 : 1 : 0)*] [* 6841, 1, (-1 : 1 : 1)*] [* 7528, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 7757, 5, (-613/529 : 3255/12167 : 1)*] [* 8444, 2, (2 : -3 : 1)*] [* 9589, -4, (53/16 : -465/64 : 1)*] /* D = 201 (mod 229 ) [* 201, -1, (-1 : 0 : 1)*] [* 888, 2, (2 : -3 : 1)*] [* 1117, 5, (-613/529 : 3255/12167 : 1)*] [* 1804, 2, (2 : -3 : 1)*] [* 2033, -4, (53/16 : -465/64 : 1)*] [* 2949, 2, (2 : -3 : 1)*] [* 3865, 1, (-1 : 1 : 1)*] [* 4552, 3, (-5/9 : 4/27 : 1)*] [* 4781, 1, (-1 : 1 : 1)*] [* 5468, 0, (0 : 1 : 0)*] [* 6613, -1, (-1 : 0 : 1)*] [* 7529, 1, (-1 : 1 : 1)*] [* 8216, 0, (0 : 1 : 0)*] [* 8445, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 9132 ) as a global point [* 9132, Infinity, 0*] [* 9361, 0, (0 : 1 : 0)*] /* D = 205 (mod 229 ) [* 205, 1, (-1 : 1 : 1)*] [* 892, 2, (2 : -3 : 1)*] [* 1121, -1, (-1 : 0 : 1)*] [* 2037, 1, (-1 : 1 : 1)*] [* 2953, 2, (2 : -3 : 1)*] [* 3640, 0, (0 : 1 : 0)*] [* 3869, 2, (2 : -3 : 1)*] [* 4556, 2, (2 : -3 : 1)*] [* 4785, -2, (2 : 1 : 1)*] [* 5701, 7, (-249937/310249 : 156119048/172808693 : 1)*] [* 6617, -6, (12370/441 : 1250257/9261 : 1)*] [* 7304, -1, (-1 : 0 : 1)*] [* 8220, -6, (12370/441 : 1250257/9261 : 1)*] [* 8449, -1, (-1 : 0 : 1)*] [* 9365, 1, (-1 : 1 : 1)*] /* D = 206 (mod 229 ) [* 664, 1, (-1 : 1 : 1)*] [* 893, -2, (2 : 1 : 1)*] [* 1580, -2, (2 : 1 : 1)*] [* 3641, 0, (0 : 1 : 0)*] [* 4328, 2, (2 : -3 : 1)*] [* 5244, 6, (12370/441 : -1510027/9261 : 1)*] [* 5473, 3, (-5/9 : 4/27 : 1)*] [* 6389, 3, (-5/9 : 4/27 : 1)*] [* 7305, -2, (2 : 1 : 1)*] [* 8221, 3, (-5/9 : 4/27 : 1)*] [* 8908, -2, (2 : 1 : 1)*] [* 9137, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] /* D = 207 (mod 229 ) [* 665, -1, (-1 : 0 : 1)*] [* 1581, 3, (-5/9 : 4/27 : 1)*] [* 2497, 0, (0 : 1 : 0)*] [* 3413, 2, (2 : -3 : 1)*] [* 5016, 5, (-613/529 : 3255/12167 : 1)*] [* 5245, -9, (-930945041/1432244025 : 37233348174712/54203275126125 : 1)*] [* 5932, 0, (0 : 1 : 0)*] [* 6161, 1, (-1 : 1 : 1)*] [* 7077, 11, (-56549239686277/46431454567969 : 196104430337406772524/316386856607778548047 : 1)*] [* 7993, 9, (-930945041/1432244025 : -2001733098067/54203275126125 : 1)*] [* 8680, -4, (53/16 : -465/64 : 1)*] [* 8909, -1, (-1 : 0 : 1)*] [* 9596, -4, (53/16 : -465/64 : 1)*] /* D = 208 (mod 229 ) [* 437, 0, (0 : 1 : 0)*] [* 1353, -1, (-1 : 0 : 1)*] [* 2040, 3, (-5/9 : 4/27 : 1)*] [* 2269, 0, (0 : 1 : 0)*] [* 2956, 6, (12370/441 : -1510027/9261 : 1)*] [* 4101, 3, (-5/9 : 4/27 : 1)*] [* 5017, 2, (2 : -3 : 1)*] [* 5704, 0, (0 : 1 : 0)*] [* 5933, 1, (-1 : 1 : 1)*] [* 6620, 2, (2 : -3 : 1)*] [* 7765, 1, (-1 : 1 : 1)*] [* 8681, -1, (-1 : 0 : 1)*] [* 9368, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 9597, -5, (-613/529 : 10844/12167 : 1)*] /* D = 211 (mod 229 ) [* 440, -1, (-1 : 0 : 1)*] [* 669, -4, (53/16 : -465/64 : 1)*] [* 1356, 0, (0 : 1 : 0)*] [* 1585, 0, (0 : 1 : 0)*] [* 2501, 1, (-1 : 1 : 1)*] [* 3417, -3, (-5/9 : 11/27 : 1)*] [* 4333, 2, (2 : -3 : 1)*] [* 5020, 4, (53/16 : 253/64 : 1)*] [* 5249, -2, (2 : 1 : 1)*] [* 7081, 0, (0 : 1 : 0)*] [* 7768, 5, (-613/529 : 3255/12167 : 1)*] [* 7997, 0, (0 : 1 : 0)*] [* 8684, -4, (53/16 : -465/64 : 1)*] [* 8913, 6, (12370/441 : -1510027/9261 : 1)*] [* 9829, -4, (53/16 : -465/64 : 1)*] /* D = 216 (mod 229 ) [* 445, -2, (2 : 1 : 1)*] [* 1132, -2, (2 : 1 : 1)*] [* 1361, 0, (0 : 1 : 0)*] [* 3193, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 3880, -5, (-613/529 : 10844/12167 : 1)*] [* 4109, 3, (-5/9 : 4/27 : 1)*] [* 4796, 2, (2 : -3 : 1)*] [* 5941, 1, (-1 : 1 : 1)*] [* 6857, -4, (53/16 : -465/64 : 1)*] [* 7544, 0, (0 : 1 : 0)*] [* 7773, -1, (-1 : 0 : 1)*] [* 8689, -5, (-613/529 : 10844/12167 : 1)*] [* 9605, 5, (-613/529 : 3255/12167 : 1)*] /* D = 219 (mod 229 ) [* 677, -3, (-5/9 : 11/27 : 1)*] [* 2280, -1, (-1 : 0 : 1)*] [* 2509, -2, (2 : 1 : 1)*] [* 3196, 0, (0 : 1 : 0)*] [* 4341, 4, (53/16 : 253/64 : 1)*] [* 5257, -5, (-613/529 : 10844/12167 : 1)*] [* 5944, 3, (-5/9 : 4/27 : 1)*] [* 6173, 4, (53/16 : 253/64 : 1)*] [* 7089, 0, (0 : 1 : 0)*] [* 8005, -2, (2 : 1 : 1)*] [* 8921, 0, (0 : 1 : 0)*] [* 9608, -1, (-1 : 0 : 1)*] /* D = 221 (mod 229 ) [* 221, -1, (-1 : 0 : 1)*] [* 908, 2, (2 : -3 : 1)*] [* 1137, -1, (-1 : 0 : 1)*] [* 2053, -4, (53/16 : -465/64 : 1)*] [* 2969, 0, (0 : 1 : 0)*] [* 3656, -1, (-1 : 0 : 1)*] [* 3885, -2, (2 : 1 : 1)*] [* 4801, -2, (2 : 1 : 1)*] [* 5717, -3, (-5/9 : 11/27 : 1)*] [* 7320, -3, (-5/9 : 11/27 : 1)*] [* 7549, 2, (2 : -3 : 1)*] [* 8236, 6, (12370/441 : -1510027/9261 : 1)*] [* 8465, 2, (2 : -3 : 1)*] [* 9381, 4, (53/16 : 253/64 : 1)*] /* D = 222 (mod 229 ) [* 680, -1, (-1 : 0 : 1)*] [* 1596, 2, (2 : -3 : 1)*] [* 2741, 1, (-1 : 1 : 1)*] [* 3657, 0, (0 : 1 : 0)*] [* 4344, -3, (-5/9 : 11/27 : 1)*] [* 4573, 3, (-5/9 : 4/27 : 1)*] [* 5260, -2, (2 : 1 : 1)*] [* 5489, -3, (-5/9 : 11/27 : 1)*] [* 6405, 1, (-1 : 1 : 1)*] [* 7321, -6, (12370/441 : 1250257/9261 : 1)*] [* 8008, 8, (12831281/8248384 : -30463673355/23689358848 : 1)*] [* 8237, -1, (-1 : 0 : 1)*] [* 8924, 2, (2 : -3 : 1)*] /* D = 223 (mod 229 ) [* 681, -2, (2 : 1 : 1)*] [* 1597, 2, (2 : -3 : 1)*] [* 2284, 0, (0 : 1 : 0)*] [* 2513, -4, (53/16 : -465/64 : 1)*] [* 4345, -2, (2 : 1 : 1)*] [* 5032, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 5261, -1, (-1 : 0 : 1)*] [* 5948, -8, (12831281/8248384 : -6387765677/23689358848 : 1)*] [* 6177, -6, (12370/441 : 1250257/9261 : 1)*] [* 7093, 10, (227411559026/30466655209 : 88339268859130423/5317863266765323 : 1)*] [* 8009, 0, (0 : 1 : 0)*] [* 8696, -1, (-1 : 0 : 1)*] [* 9841, 3, (-5/9 : 4/27 : 1)*] /* D = 227 (mod 229 ) [* 456, 1, (-1 : 1 : 1)*] [* 685, -3, (-5/9 : 11/27 : 1)*] [* 1601, 2, (2 : -3 : 1)*] [* 2517, -4, (53/16 : -465/64 : 1)*] [* 3433, 2, (2 : -3 : 1)*] [* 4120, -7, (-249937/310249 : -16904139/172808693 : 1)*] [* 4349, -5, (-613/529 : 10844/12167 : 1)*] [* 5036, -2, (2 : 1 : 1)*] [* 6181, 1, (-1 : 1 : 1)*] [* 7097, 2, (2 : -3 : 1)*] [* 7784, 0, (0 : 1 : 0)*] [* 8013, 4, (53/16 : 253/64 : 1)*] [* 8929, 4, (53/16 : 253/64 : 1)*] [* 9845, 3, (-5/9 : 4/27 : 1)*] Total time: 124920.800 seconds, Total memory usage: 53.60MB