Magma V2.13-11 Sun Nov 18 2007 15:54:38 on amd18 [Seed = 875762516] Type ? for help. Type -D to quit. Loading file "do-269" Loading "../data/M.269.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 + y = x^3 - 2*x - 1 over Rational Field working over Qp = the 269-adic field mod 269^20 ------------------------------------------------------------------- /* D = 2 (mod 269 ) [* 809, 0, (0 : 1 : 0)*] [* 1885, -2, (3 : 4 : 1)*] [* 3768, 2, (3 : -5 : 1)*] [* 4037, 2, (3 : -5 : 1)*] [* 4844, 1, (-1 : 0 : 1)*] [* 5113, -2, (3 : 4 : 1)*] [* 6189, -4, (139/81 : -1045/729 : 1)*] [* 7265, 2, (3 : -5 : 1)*] [* 8072, -4, (139/81 : -1045/729 : 1)*] [* 8341, -4, (139/81 : -1045/729 : 1)*] [* 9148, -4, (139/81 : -1045/729 : 1)*] [* 9417, 0, (0 : 1 : 0)*] /* D = 3 (mod 269 ) [* 541, 0, (0 : 1 : 0)*] [* 2424, 0, (0 : 1 : 0)*] [* 2693, 3, (-7/16 : -19/64 : 1)*] [* 3769, 1, (-1 : 0 : 1)*] [* 4845, 0, (0 : 1 : 0)*] [* 5921, 2, (3 : -5 : 1)*] [* 6997, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7804, 5, (-2089/3025 : -174591/166375 : 1)*] [* 9149, 0, (0 : 1 : 0)*] /* D = 7 (mod 269 ) [* 545, 1, (-1 : 0 : 1)*] [* 1621, -3, (-7/16 : -45/64 : 1)*] [* 2428, -4, (139/81 : -1045/729 : 1)*] [* 2697, -2, (3 : 4 : 1)*] [* 4849, -2, (3 : 4 : 1)*] [* 5656, 2, (3 : -5 : 1)*] [* 7001, 1, (-1 : 0 : 1)*] [* 8077, 0, (0 : 1 : 0)*] [* 9960, 6, (142689/10816 : 53017745/1124864 : 1)*] /* D = 8 (mod 269 ) [* 8, 0, (0 : 1 : 0)*] [* 277, -1, (-1 : -1 : 1)*] [* 1084, 5, (-2089/3025 : -174591/166375 : 1)*] [* 1353, -1, (-1 : -1 : 1)*] [* 2429, 2, (3 : -5 : 1)*] [* 3505, 2, (3 : -5 : 1)*] [* 5388, -1, (-1 : -1 : 1)*] [* 5657, 1, (-1 : 0 : 1)*] [* 6733, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7809, 0, (0 : 1 : 0)*] [* 8616, 0, (0 : 1 : 0)*] [* 8885, 1, (-1 : 0 : 1)*] [* 9692, -3, (-7/16 : -45/64 : 1)*] [* 9961, -2, (3 : 4 : 1)*] /* D = 10 (mod 269 ) [* 817, 0, (0 : 1 : 0)*] [* 1624, 4, (139/81 : 316/729 : 1)*] [* 1893, -2, (3 : 4 : 1)*] [* 2969, -1, (-1 : -1 : 1)*] [* 4045, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 5928, 4, (139/81 : 316/729 : 1)*] [* 6197, 1, (-1 : 0 : 1)*] [* 7004, -1, (-1 : -1 : 1)*] [* 7273, 3, (-7/16 : -19/64 : 1)*] /* D = 12 (mod 269 ) [* 12, 1, (-1 : 0 : 1)*] [* 281, 0, (0 : 1 : 0)*] [* 1357, -4, (139/81 : -1045/729 : 1)*] [* 2433, 1, (-1 : 0 : 1)*] [* 4316, 0, (0 : 1 : 0)*] [* 4585, 0, (0 : 1 : 0)*] [* 6737, -4, (139/81 : -1045/729 : 1)*] [* 7544, 2, (3 : -5 : 1)*] [* 7813, 0, (0 : 1 : 0)*] [* 8620, -2, (3 : 4 : 1)*] [* 8889, 5, (-2089/3025 : -174591/166375 : 1)*] [* 9965, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 15 (mod 269 ) [* 284, 0, (0 : 1 : 0)*] [* 553, 0, (0 : 1 : 0)*] [* 2705, -2, (3 : 4 : 1)*] [* 3512, -2, (3 : 4 : 1)*] [* 3781, 0, (0 : 1 : 0)*] [* 4588, 2, (3 : -5 : 1)*] [* 4857, -4, (139/81 : -1045/729 : 1)*] [* 5933, 1, (-1 : 0 : 1)*] [* 7009, -1, (-1 : -1 : 1)*] [* 7816, 2, (3 : -5 : 1)*] [* 9161, 3, (-7/16 : -19/64 : 1)*] /* D = 17 (mod 269 ) [* 17, 1, (-1 : 0 : 1)*] [* 824, 4, (139/81 : 316/729 : 1)*] [* 1093, 0, (0 : 1 : 0)*] [* 3245, 0, (0 : 1 : 0)*] [* 4321, 0, (0 : 1 : 0)*] [* 5128, 2, (3 : -5 : 1)*] [* 5397, 2, (3 : -5 : 1)*] [* 6204, -3, (-7/16 : -45/64 : 1)*] [* 6473, -3, (-7/16 : -45/64 : 1)*] [* 7549, -4, (139/81 : -1045/729 : 1)*] [* 9701, 1, (-1 : 0 : 1)*] /* D = 18 (mod 269 ) [* 556, -5, (-2089/3025 : 8216/166375 : 1)*] [* 1901, 0, (0 : 1 : 0)*] [* 2977, 0, (0 : 1 : 0)*] [* 3784, -2, (3 : 4 : 1)*] [* 4053, 2, (3 : -5 : 1)*] [* 5129, -1, (-1 : -1 : 1)*] [* 6205, -2, (3 : 4 : 1)*] [* 8088, 4, (139/81 : 316/729 : 1)*] [* 8357, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 9164, -2, (3 : 4 : 1)*] [* 9433, 0, (0 : 1 : 0)*] /* D = 19 (mod 269 ) [* 557, -1, (-1 : -1 : 1)*] [* 1633, 0, (0 : 1 : 0)*] [* 2440, 0, (0 : 1 : 0)*] [* 3516, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 3785, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 4861, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5937, 5, (-2089/3025 : -174591/166375 : 1)*] [* 6744, 4, (139/81 : 316/729 : 1)*] [* 7013, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7820, 1, (-1 : 0 : 1)*] [* 8089, 0, (0 : 1 : 0)*] [* 9165, -2, (3 : 4 : 1)*] /* D = 22 (mod 269 ) [* 829, -1, (-1 : -1 : 1)*] [* 1905, -1, (-1 : -1 : 1)*] [* 2712, -4, (139/81 : -1045/729 : 1)*] [* 2981, 3, (-7/16 : -19/64 : 1)*] [* 3788, -1, (-1 : -1 : 1)*] [* 4057, -3, (-7/16 : -45/64 : 1)*] [* 5133, -2, (3 : 4 : 1)*] [* 6209, -2, (3 : 4 : 1)*] [* 7016, 0, (0 : 1 : 0)*] [* 7285, 2, (3 : -5 : 1)*] [* 9437, 1, (-1 : 0 : 1)*] /* D = 26 (mod 269 ) [* 1640, -2, (3 : 4 : 1)*] [* 1909, -3, (-7/16 : -45/64 : 1)*] [* 2716, -1, (-1 : -1 : 1)*] [* 2985, 3, (-7/16 : -19/64 : 1)*] [* 4061, -2, (3 : 4 : 1)*] [* 5137, 0, (0 : 1 : 0)*] [* 5944, -4, (139/81 : -1045/729 : 1)*] [* 6213, 0, (0 : 1 : 0)*] [* 7289, -2, (3 : 4 : 1)*] [* 8365, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 27 (mod 269 ) [* 296, 0, (0 : 1 : 0)*] [* 565, 1, (-1 : 0 : 1)*] [* 1641, -2, (3 : 4 : 1)*] [* 2717, 2, (3 : -5 : 1)*] [* 3793, 3, (-7/16 : -19/64 : 1)*] [* 5676, -1, (-1 : -1 : 1)*] [* 5945, -1, (-1 : -1 : 1)*] [* 7021, 0, (0 : 1 : 0)*] [* 8097, -3, (-7/16 : -45/64 : 1)*] [* 8904, -2, (3 : 4 : 1)*] [* 9173, 2, (3 : -5 : 1)*] [* 9980, 4, (139/81 : 316/729 : 1)*] /* D = 28 (mod 269 ) [* 28, -1, (-1 : -1 : 1)*] [* 1373, -1, (-1 : -1 : 1)*] [* 2449, 2, (3 : -5 : 1)*] [* 3256, 0, (0 : 1 : 0)*] [* 4601, 3, (-7/16 : -19/64 : 1)*] [* 5677, -3, (-7/16 : -45/64 : 1)*] [* 6753, 2, (3 : -5 : 1)*] [* 7829, -1, (-1 : -1 : 1)*] [* 8636, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8905, -4, (139/81 : -1045/729 : 1)*] /* D = 29 (mod 269 ) [* 29, 1, (-1 : 0 : 1)*] [* 1105, 2, (3 : -5 : 1)*] [* 1912, -2, (3 : 4 : 1)*] [* 2181, 3, (-7/16 : -19/64 : 1)*] [* 3257, -1, (-1 : -1 : 1)*] [* 4333, -3, (-7/16 : -45/64 : 1)*] [* 6216, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 6485, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7292, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7561, 0, (0 : 1 : 0)*] [* 8637, 2, (3 : -5 : 1)*] [* 9713, -3, (-7/16 : -45/64 : 1)*] /* D = 31 (mod 269 ) [* 569, 0, (0 : 1 : 0)*] [* 1645, 3, (-7/16 : -19/64 : 1)*] [* 2721, 4, (139/81 : 316/729 : 1)*] [* 3797, -4, (139/81 : -1045/729 : 1)*] [* 4604, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 4873, 0, (0 : 1 : 0)*] [* 7832, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 8101, 0, (0 : 1 : 0)*] [* 8908, 0, (0 : 1 : 0)*] [* 9177, -2, (3 : 4 : 1)*] /* D = 32 (mod 269 ) [* 301, -1, (-1 : -1 : 1)*] [* 2184, 4, (139/81 : 316/729 : 1)*] [* 2453, 3, (-7/16 : -19/64 : 1)*] [* 3260, 5, (-2089/3025 : -174591/166375 : 1)*] [* 3529, 0, (0 : 1 : 0)*] [* 4605, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 5681, 2, (3 : -5 : 1)*] [* 6488, 0, (0 : 1 : 0)*] [* 6757, 0, (0 : 1 : 0)*] [* 7564, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7833, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 8909, 0, (0 : 1 : 0)*] [* 9985, 2, (3 : -5 : 1)*] /* D = 33 (mod 269 ) [* 33, -1, (-1 : -1 : 1)*] [* 840, -2, (3 : 4 : 1)*] [* 1109, 4, (139/81 : 316/729 : 1)*] [* 1916, 4, (139/81 : 316/729 : 1)*] [* 2185, 2, (3 : -5 : 1)*] [* 3261, 0, (0 : 1 : 0)*] [* 4337, 2, (3 : -5 : 1)*] [* 5144, 0, (0 : 1 : 0)*] [* 5413, 0, (0 : 1 : 0)*] [* 6220, 1, (-1 : 0 : 1)*] [* 7565, -3, (-7/16 : -45/64 : 1)*] [* 8641, -4, (139/81 : -1045/729 : 1)*] [* 9448, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 9717, -4, (139/81 : -1045/729 : 1)*] /* D = 35 (mod 269 ) [* 573, 1, (-1 : 0 : 1)*] [* 1649, 3, (-7/16 : -19/64 : 1)*] [* 2456, 4, (139/81 : 316/729 : 1)*] [* 3532, 1, (-1 : 0 : 1)*] [* 3801, 2, (3 : -5 : 1)*] [* 4877, -3, (-7/16 : -45/64 : 1)*] [* 5953, 2, (3 : -5 : 1)*] [* 7836, -1, (-1 : -1 : 1)*] [* 8105, 1, (-1 : 0 : 1)*] [* 9181, -1, (-1 : -1 : 1)*] /* D = 39 (mod 269 ) [* 577, -2, (3 : 4 : 1)*] [* 1384, 2, (3 : -5 : 1)*] [* 1653, 0, (0 : 1 : 0)*] [* 2460, -1, (-1 : -1 : 1)*] [* 2729, 1, (-1 : 0 : 1)*] [* 3805, -3, (-7/16 : -45/64 : 1)*] [* 4881, -3, (-7/16 : -45/64 : 1)*] [* 5957, 1, (-1 : 0 : 1)*] [* 6764, 4, (139/81 : 316/729 : 1)*] [* 7033, -2, (3 : 4 : 1)*] [* 9185, 2, (3 : -5 : 1)*] [* 9992, 0, (0 : 1 : 0)*] /* D = 40 (mod 269 ) [* 40, -2, (3 : 4 : 1)*] [* 309, 1, (-1 : 0 : 1)*] [* 1385, 3, (-7/16 : -19/64 : 1)*] [* 2461, 1, (-1 : 0 : 1)*] [* 4344, 0, (0 : 1 : 0)*] [* 4613, -2, (3 : 4 : 1)*] [* 5420, 5, (-2089/3025 : -174591/166375 : 1)*] [* 5689, -1, (-1 : -1 : 1)*] [* 6765, -1, (-1 : -1 : 1)*] [* 7841, 3, (-7/16 : -19/64 : 1)*] [* 8648, -2, (3 : 4 : 1)*] [* 8917, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9724, 2, (3 : -5 : 1)*] [* 9993, -4, (139/81 : -1045/729 : 1)*] /* D = 42 (mod 269 ) [* 849, 0, (0 : 1 : 0)*] [* 2732, 0, (0 : 1 : 0)*] [* 3001, -1, (-1 : -1 : 1)*] [* 5153, 0, (0 : 1 : 0)*] [* 5960, 0, (0 : 1 : 0)*] [* 6229, 2, (3 : -5 : 1)*] [* 7036, -3, (-7/16 : -45/64 : 1)*] [* 7305, 1, (-1 : 0 : 1)*] /* D = 46 (mod 269 ) [* 584, -4, (139/81 : -1045/729 : 1)*] [* 853, 0, (0 : 1 : 0)*] [* 1660, -3, (-7/16 : -45/64 : 1)*] [* 1929, 1, (-1 : 0 : 1)*] [* 3005, -1, (-1 : -1 : 1)*] [* 4081, 3, (-7/16 : -19/64 : 1)*] [* 4888, 2, (3 : -5 : 1)*] [* 5964, 4, (139/81 : 316/729 : 1)*] [* 6233, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7309, -3, (-7/16 : -45/64 : 1)*] [* 8385, 4, (139/81 : 316/729 : 1)*] [* 9192, -2, (3 : 4 : 1)*] [* 9461, -3, (-7/16 : -45/64 : 1)*] /* D = 48 (mod 269 ) [* 317, 1, (-1 : 0 : 1)*] [* 1393, -3, (-7/16 : -45/64 : 1)*] [* 2469, 2, (3 : -5 : 1)*] [* 3545, -2, (3 : 4 : 1)*] [* 4621, -1, (-1 : -1 : 1)*] [* 6504, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 6773, -2, (3 : 4 : 1)*] [* 7580, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7849, 4, (139/81 : 316/729 : 1)*] /* D = 50 (mod 269 ) [* 857, 1, (-1 : 0 : 1)*] [* 1933, -2, (3 : 4 : 1)*] [* 3009, -2, (3 : 4 : 1)*] [* 4085, 0, (0 : 1 : 0)*] [* 4892, 2, (3 : -5 : 1)*] [* 5161, 4, (139/81 : 316/729 : 1)*] [* 7313, 0, (0 : 1 : 0)*] [* 8120, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 8389, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 9465, -2, (3 : 4 : 1)*] /* D = 59 (mod 269 ) [* 328, 0, (0 : 1 : 0)*] [* 597, -1, (-1 : -1 : 1)*] [* 1673, -1, (-1 : -1 : 1)*] [* 2749, -4, (139/81 : -1045/729 : 1)*] [* 4632, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 5708, -4, (139/81 : -1045/729 : 1)*] [* 5977, 3, (-7/16 : -19/64 : 1)*] [* 7053, -3, (-7/16 : -45/64 : 1)*] [* 8129, -2, (3 : 4 : 1)*] [* 8936, 2, (3 : -5 : 1)*] [* 9205, 3, (-7/16 : -19/64 : 1)*] /* D = 60 (mod 269 ) [* 60, 1, (-1 : 0 : 1)*] [* 329, 3, (-7/16 : -19/64 : 1)*] [* 1405, 0, (0 : 1 : 0)*] [* 2481, 3, (-7/16 : -19/64 : 1)*] [* 3288, 4, (139/81 : 316/729 : 1)*] [* 3557, 0, (0 : 1 : 0)*] [* 4364, -5, (-2089/3025 : 8216/166375 : 1)*] [* 4633, 1, (-1 : 0 : 1)*] [* 5709, -5, (-2089/3025 : 8216/166375 : 1)*] [* 6785, -2, (3 : 4 : 1)*] [* 7592, 0, (0 : 1 : 0)*] [* 7861, -1, (-1 : -1 : 1)*] [* 8668, 4, (139/81 : 316/729 : 1)*] /* D = 63 (mod 269 ) [* 332, 3, (-7/16 : -19/64 : 1)*] [* 601, -1, (-1 : -1 : 1)*] [* 1677, 2, (3 : -5 : 1)*] [* 2753, 0, (0 : 1 : 0)*] [* 3560, 4, (139/81 : 316/729 : 1)*] [* 3829, 0, (0 : 1 : 0)*] [* 4636, 0, (0 : 1 : 0)*] [* 5981, -2, (3 : 4 : 1)*] [* 7057, -1, (-1 : -1 : 1)*] *** Warning: The precision was insufficient to recognize P( 7864 ) as a global point [* 7864, Infinity, 0*] [* 8133, 3, (-7/16 : -19/64 : 1)*] [* 8940, 2, (3 : -5 : 1)*] [* 9209, -2, (3 : 4 : 1)*] /* D = 68 (mod 269 ) [* 337, 1, (-1 : 0 : 1)*] [* 1144, -2, (3 : 4 : 1)*] [* 2220, 1, (-1 : 0 : 1)*] [* 2489, 0, (0 : 1 : 0)*] [* 3565, 0, (0 : 1 : 0)*] [* 4641, 0, (0 : 1 : 0)*] [* 5448, 0, (0 : 1 : 0)*] [* 5717, -4, (139/81 : -1045/729 : 1)*] [* 6524, 0, (0 : 1 : 0)*] [* 6793, -3, (-7/16 : -45/64 : 1)*] [* 7869, -1, (-1 : -1 : 1)*] *** Warning: The precision was insufficient to recognize P( 8945 ) as a global point [* 8945, Infinity, 0*] [* 9752, -2, (3 : 4 : 1)*] /* D = 69 (mod 269 ) [* 69, -1, (-1 : -1 : 1)*] [* 876, -2, (3 : 4 : 1)*] [* 1145, 0, (0 : 1 : 0)*] [* 2221, 0, (0 : 1 : 0)*] [* 3297, -2, (3 : 4 : 1)*] [* 4373, 0, (0 : 1 : 0)*] [* 5180, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5449, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7601, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 8408, -2, (3 : 4 : 1)*] [* 8677, -2, (3 : 4 : 1)*] [* 9484, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 9753, -5, (-2089/3025 : 8216/166375 : 1)*] /* D = 71 (mod 269 ) [* 609, 2, (3 : -5 : 1)*] [* 1416, 4, (139/81 : 316/729 : 1)*] [* 1685, 3, (-7/16 : -19/64 : 1)*] [* 2492, -3, (-7/16 : -45/64 : 1)*] [* 2761, -2, (3 : 4 : 1)*] [* 3837, 2, (3 : -5 : 1)*] [* 5720, 2, (3 : -5 : 1)*] [* 5989, 1, (-1 : 0 : 1)*] [* 6796, -2, (3 : 4 : 1)*] [* 8141, 3, (-7/16 : -19/64 : 1)*] [* 9217, -4, (139/81 : -1045/729 : 1)*] /* D = 72 (mod 269 ) [* 341, 0, (0 : 1 : 0)*] [* 1148, 1, (-1 : 0 : 1)*] [* 1417, 2, (3 : -5 : 1)*] [* 3569, -3, (-7/16 : -45/64 : 1)*] [* 4376, 0, (0 : 1 : 0)*] [* 4645, -1, (-1 : -1 : 1)*] [* 5452, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 5721, 1, (-1 : 0 : 1)*] [* 6797, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7873, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8680, 2, (3 : -5 : 1)*] [* 8949, 4, (139/81 : 316/729 : 1)*] /* D = 74 (mod 269 ) [* 881, 4, (139/81 : 316/729 : 1)*] [* 1688, 0, (0 : 1 : 0)*] [* 1957, 0, (0 : 1 : 0)*] [* 2764, -3, (-7/16 : -45/64 : 1)*] [* 4109, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5185, 1, (-1 : 0 : 1)*] [* 5992, 2, (3 : -5 : 1)*] [* 6261, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7068, 2, (3 : -5 : 1)*] [* 7337, 1, (-1 : 0 : 1)*] [* 8413, 1, (-1 : 0 : 1)*] [* 9489, -1, (-1 : -1 : 1)*] /* D = 75 (mod 269 ) [* 344, 2, (3 : -5 : 1)*] [* 613, -1, (-1 : -1 : 1)*] [* 1420, 4, (139/81 : 316/729 : 1)*] [* 1689, 1, (-1 : 0 : 1)*] [* 2765, -4, (139/81 : -1045/729 : 1)*] [* 3841, 2, (3 : -5 : 1)*] [* 4648, -4, (139/81 : -1045/729 : 1)*] [* 4917, 0, (0 : 1 : 0)*] [* 5993, 2, (3 : -5 : 1)*] [* 7069, 4, (139/81 : 316/729 : 1)*] [* 8952, 4, (139/81 : 316/729 : 1)*] [* 9221, -1, (-1 : -1 : 1)*] /* D = 76 (mod 269 ) [* 76, 0, (0 : 1 : 0)*] [* 345, -1, (-1 : -1 : 1)*] [* 2497, 0, (0 : 1 : 0)*] [* 3304, 0, (0 : 1 : 0)*] [* 4380, -4, (139/81 : -1045/729 : 1)*] [* 4649, 3, (-7/16 : -19/64 : 1)*] [* 6801, 3, (-7/16 : -19/64 : 1)*] [* 7608, -2, (3 : 4 : 1)*] [* 7877, -1, (-1 : -1 : 1)*] [* 8684, 4, (139/81 : 316/729 : 1)*] [* 8953, 2, (3 : -5 : 1)*] /* D = 77 (mod 269 ) [* 77, 1, (-1 : 0 : 1)*] [* 1153, -3, (-7/16 : -45/64 : 1)*] [* 2229, 4, (139/81 : 316/729 : 1)*] [* 3036, -1, (-1 : -1 : 1)*] [* 3305, -4, (139/81 : -1045/729 : 1)*] [* 4381, -4, (139/81 : -1045/729 : 1)*] [* 5457, 2, (3 : -5 : 1)*] [* 6533, 1, (-1 : 0 : 1)*] [* 7340, 0, (0 : 1 : 0)*] [* 7609, 0, (0 : 1 : 0)*] [* 9761, -2, (3 : 4 : 1)*] /* D = 82 (mod 269 ) [* 620, 0, (0 : 1 : 0)*] [* 889, -1, (-1 : -1 : 1)*] [* 1965, 0, (0 : 1 : 0)*] [* 3041, -1, (-1 : -1 : 1)*] [* 3848, 2, (3 : -5 : 1)*] [* 4117, -1, (-1 : -1 : 1)*] [* 4924, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] [* 6269, -3, (-7/16 : -45/64 : 1)*] [* 7345, 0, (0 : 1 : 0)*] [* 8152, 0, (0 : 1 : 0)*] [* 8421, 0, (0 : 1 : 0)*] [* 9228, 1, (-1 : 0 : 1)*] [* 9497, -1, (-1 : -1 : 1)*] /* D = 83 (mod 269 ) [* 1697, -2, (3 : 4 : 1)*] [* 2504, -2, (3 : 4 : 1)*] [* 2773, 0, (0 : 1 : 0)*] [* 3580, -1, (-1 : -1 : 1)*] [* 3849, -7, (-9063577/7789681 : -11807533791/21740999671 : 1)*] [* 6001, -1, (-1 : -1 : 1)*] [* 6808, 2, (3 : -5 : 1)*] [* 7077, 0, (0 : 1 : 0)*] [* 8153, 2, (3 : -5 : 1)*] [* 9229, 4, (139/81 : 316/729 : 1)*] /* D = 85 (mod 269 ) [* 85, -1, (-1 : -1 : 1)*] [* 892, -1, (-1 : -1 : 1)*] [* 2237, -2, (3 : 4 : 1)*] [* 3313, -1, (-1 : -1 : 1)*] [* 4120, -2, (3 : 4 : 1)*] [* 4389, -2, (3 : 4 : 1)*] [* 5196, 3, (-7/16 : -19/64 : 1)*] [* 5465, 4, (139/81 : 316/729 : 1)*] [* 6541, -4, (139/81 : -1045/729 : 1)*] [* 7617, 1, (-1 : 0 : 1)*] [* 8693, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 9769, -2, (3 : 4 : 1)*] /* D = 86 (mod 269 ) [* 893, -2, (3 : 4 : 1)*] [* 1969, -1, (-1 : -1 : 1)*] [* 2776, 0, (0 : 1 : 0)*] [* 3045, 2, (3 : -5 : 1)*] [* 4121, 4, (139/81 : 316/729 : 1)*] [* 5197, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7080, 0, (0 : 1 : 0)*] [* 7349, 2, (3 : -5 : 1)*] [* 8156, -1, (-1 : -1 : 1)*] [* 9501, 3, (-7/16 : -19/64 : 1)*] /* D = 88 (mod 269 ) [* 88, 0, (0 : 1 : 0)*] [* 357, 0, (0 : 1 : 0)*] [* 1164, -1, (-1 : -1 : 1)*] [* 1433, 1, (-1 : 0 : 1)*] [* 2509, 4, (139/81 : 316/729 : 1)*] [* 3585, -3, (-7/16 : -45/64 : 1)*] [* 4661, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 5468, -1, (-1 : -1 : 1)*] [* 5737, -2, (3 : 4 : 1)*] [* 8696, -2, (3 : 4 : 1)*] [* 8965, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9772, 1, (-1 : 0 : 1)*] /* D = 90 (mod 269 ) [* 897, -2, (3 : 4 : 1)*] [* 1704, -2, (3 : 4 : 1)*] [* 1973, 3, (-7/16 : -19/64 : 1)*] [* 2780, -3, (-7/16 : -45/64 : 1)*] [* 3049, 3, (-7/16 : -19/64 : 1)*] [* 5201, -2, (3 : 4 : 1)*] [* 6008, 0, (0 : 1 : 0)*] [* 6277, -1, (-1 : -1 : 1)*] [* 7084, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8429, -3, (-7/16 : -45/64 : 1)*] [* 9505, -2, (3 : 4 : 1)*] /* D = 91 (mod 269 ) [* 629, -1, (-1 : -1 : 1)*] [* 1436, 0, (0 : 1 : 0)*] [* 1705, -2, (3 : 4 : 1)*] [* 3857, 2, (3 : -5 : 1)*] [* 4664, 4, (139/81 : 316/729 : 1)*] [* 4933, 1, (-1 : 0 : 1)*] [* 5740, -1, (-1 : -1 : 1)*] [* 6009, 3, (-7/16 : -19/64 : 1)*] [* 7085, 0, (0 : 1 : 0)*] [* 8161, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] [* 8968, 0, (0 : 1 : 0)*] [* 9237, 2, (3 : -5 : 1)*] /* D = 94 (mod 269 ) [* 632, 0, (0 : 1 : 0)*] [* 901, -3, (-7/16 : -45/64 : 1)*] [* 1708, 1, (-1 : 0 : 1)*] [* 1977, -2, (3 : 4 : 1)*] [* 3053, 2, (3 : -5 : 1)*] [* 4129, -2, (3 : 4 : 1)*] [* 4936, -2, (3 : 4 : 1)*] [* 5205, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 6281, -1, (-1 : -1 : 1)*] [* 7357, 0, (0 : 1 : 0)*] [* 9240, -2, (3 : 4 : 1)*] [* 9509, -3, (-7/16 : -45/64 : 1)*] /* D = 95 (mod 269 ) [* 364, 0, (0 : 1 : 0)*] [* 633, 3, (-7/16 : -19/64 : 1)*] [* 1709, 0, (0 : 1 : 0)*] [* 2785, -3, (-7/16 : -45/64 : 1)*] [* 3592, -4, (139/81 : -1045/729 : 1)*] [* 4668, 3, (-7/16 : -19/64 : 1)*] [* 4937, -2, (3 : 4 : 1)*] [* 6013, -1, (-1 : -1 : 1)*] [* 7089, 2, (3 : -5 : 1)*] [* 7896, 2, (3 : -5 : 1)*] [* 8165, -4, (139/81 : -1045/729 : 1)*] [* 8972, 1, (-1 : 0 : 1)*] [* 9241, -4, (139/81 : -1045/729 : 1)*] /* D = 98 (mod 269 ) [* 636, -1, (-1 : -1 : 1)*] [* 905, 1, (-1 : 0 : 1)*] [* 1981, 0, (0 : 1 : 0)*] [* 3057, 2, (3 : -5 : 1)*] [* 3864, 2, (3 : -5 : 1)*] [* 4133, -4, (139/81 : -1045/729 : 1)*] [* 4940, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 5209, 4, (139/81 : 316/729 : 1)*] [* 6285, -3, (-7/16 : -45/64 : 1)*] [* 7361, 1, (-1 : 0 : 1)*] [* 8168, -2, (3 : 4 : 1)*] [* 8437, 2, (3 : -5 : 1)*] [* 9244, 1, (-1 : 0 : 1)*] /* D = 101 (mod 269 ) [* 101, 1, (-1 : 0 : 1)*] [* 908, 2, (3 : -5 : 1)*] [* 1177, -1, (-1 : -1 : 1)*] [* 2253, 3, (-7/16 : -19/64 : 1)*] [* 3329, -5, (-2089/3025 : 8216/166375 : 1)*] [* 4136, -4, (139/81 : -1045/729 : 1)*] [* 4405, -2, (3 : 4 : 1)*] [* 5212, 1, (-1 : 0 : 1)*] [* 6557, -2, (3 : 4 : 1)*] [* 7633, 3, (-7/16 : -19/64 : 1)*] [* 8440, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 8709, -1, (-1 : -1 : 1)*] [* 9516, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 9785, 4, (139/81 : 316/729 : 1)*] /* D = 102 (mod 269 ) [* 1985, -1, (-1 : -1 : 1)*] [* 2792, 0, (0 : 1 : 0)*] [* 3061, 0, (0 : 1 : 0)*] [* 3868, -1, (-1 : -1 : 1)*] [* 4137, 0, (0 : 1 : 0)*] [* 5213, 2, (3 : -5 : 1)*] [* 6289, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] [* 7096, -2, (3 : 4 : 1)*] [* 7365, 1, (-1 : 0 : 1)*] [* 8441, 0, (0 : 1 : 0)*] [* 9517, 0, (0 : 1 : 0)*] /* D = 104 (mod 269 ) [* 104, 2, (3 : -5 : 1)*] [* 373, 0, (0 : 1 : 0)*] [* 1180, 2, (3 : -5 : 1)*] [* 3601, 0, (0 : 1 : 0)*] [* 4408, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 4677, -1, (-1 : -1 : 1)*] [* 5484, -2, (3 : 4 : 1)*] [* 5753, -3, (-7/16 : -45/64 : 1)*] [* 6829, 1, (-1 : 0 : 1)*] [* 7905, -4, (139/81 : -1045/729 : 1)*] [* 8981, 5, (-2089/3025 : -174591/166375 : 1)*] [* 9788, 0, (0 : 1 : 0)*] /* D = 106 (mod 269 ) [* 913, -3, (-7/16 : -45/64 : 1)*] [* 1720, -4, (139/81 : -1045/729 : 1)*] [* 2796, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 3065, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 4141, -1, (-1 : -1 : 1)*] [* 5217, 3, (-7/16 : -19/64 : 1)*] [* 6024, -2, (3 : 4 : 1)*] [* 6293, 0, (0 : 1 : 0)*] [* 7369, -4, (139/81 : -1045/729 : 1)*] [* 8445, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9521, 3, (-7/16 : -19/64 : 1)*] /* D = 107 (mod 269 ) [* 376, 0, (0 : 1 : 0)*] [* 645, -1, (-1 : -1 : 1)*] [* 1721, 3, (-7/16 : -19/64 : 1)*] [* 2797, 1, (-1 : 0 : 1)*] [* 3873, 1, (-1 : 0 : 1)*] [* 5756, -1, (-1 : -1 : 1)*] [* 8177, -2, (3 : 4 : 1)*] [* 8984, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 9253, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] /* D = 108 (mod 269 ) [* 377, 0, (0 : 1 : 0)*] [* 1453, -2, (3 : 4 : 1)*] [* 3336, 2, (3 : -5 : 1)*] [* 3605, 3, (-7/16 : -19/64 : 1)*] [* 4412, 2, (3 : -5 : 1)*] [* 4681, -4, (139/81 : -1045/729 : 1)*] [* 5757, 2, (3 : -5 : 1)*] [* 6833, 1, (-1 : 0 : 1)*] [* 7640, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7909, 4, (139/81 : 316/729 : 1)*] [* 8716, -2, (3 : 4 : 1)*] [* 8985, -1, (-1 : -1 : 1)*] /* D = 109 (mod 269 ) [* 109, -1, (-1 : -1 : 1)*] [* 1185, -2, (3 : 4 : 1)*] [* 1992, -2, (3 : 4 : 1)*] [* 2261, -2, (3 : 4 : 1)*] [* 3068, 2, (3 : -5 : 1)*] [* 3337, 0, (0 : 1 : 0)*] [* 4413, -3, (-7/16 : -45/64 : 1)*] [* 5489, 2, (3 : -5 : 1)*] [* 6296, 2, (3 : -5 : 1)*] [* 6565, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7372, 0, (0 : 1 : 0)*] [* 8717, -3, (-7/16 : -45/64 : 1)*] [* 9793, 1, (-1 : 0 : 1)*] /* D = 110 (mod 269 ) [* 917, 0, (0 : 1 : 0)*] [* 1724, -2, (3 : 4 : 1)*] [* 1993, -3, (-7/16 : -45/64 : 1)*] [* 4145, -1, (-1 : -1 : 1)*] [* 4952, -4, (139/81 : -1045/729 : 1)*] [* 5221, -2, (3 : 4 : 1)*] [* 6028, -2, (3 : 4 : 1)*] [* 6297, 0, (0 : 1 : 0)*] [* 7373, 0, (0 : 1 : 0)*] [* 8449, 0, (0 : 1 : 0)*] [* 9256, 2, (3 : -5 : 1)*] /* D = 111 (mod 269 ) [* 380, 0, (0 : 1 : 0)*] [* 649, 2, (3 : -5 : 1)*] [* 2801, 0, (0 : 1 : 0)*] [* 3608, -4, (139/81 : -1045/729 : 1)*] [* 3877, 0, (0 : 1 : 0)*] [* 4684, -1, (-1 : -1 : 1)*] [* 4953, -2, (3 : 4 : 1)*] [* 6029, -1, (-1 : -1 : 1)*] [* 7912, 0, (0 : 1 : 0)*] [* 8988, -4, (139/81 : -1045/729 : 1)*] [* 9257, 3, (-7/16 : -19/64 : 1)*] /* D = 112 (mod 269 ) [* 381, -3, (-7/16 : -45/64 : 1)*] [* 1457, 0, (0 : 1 : 0)*] [* 2264, -4, (139/81 : -1045/729 : 1)*] [* 2533, -2, (3 : 4 : 1)*] [* 3340, 2, (3 : -5 : 1)*] [* 4685, 1, (-1 : 0 : 1)*] [* 5761, 2, (3 : -5 : 1)*] [* 6568, 2, (3 : -5 : 1)*] [* 6837, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 7913, -3, (-7/16 : -45/64 : 1)*] [* 8989, 1, (-1 : 0 : 1)*] /* D = 113 (mod 269 ) [* 113, 1, (-1 : 0 : 1)*] [* 920, 4, (139/81 : 316/729 : 1)*] [* 1189, 3, (-7/16 : -19/64 : 1)*] [* 1996, 2, (3 : -5 : 1)*] [* 2265, -1, (-1 : -1 : 1)*] [* 3341, 0, (0 : 1 : 0)*] [* 4417, -2, (3 : 4 : 1)*] [* 5224, 0, (0 : 1 : 0)*] [* 5493, 3, (-7/16 : -19/64 : 1)*] [* 6569, -3, (-7/16 : -45/64 : 1)*] [* 7645, 1, (-1 : 0 : 1)*] [* 9528, 4, (139/81 : 316/729 : 1)*] [* 9797, -3, (-7/16 : -45/64 : 1)*] /* D = 114 (mod 269 ) [* 652, 1, (-1 : 0 : 1)*] [* 921, -2, (3 : 4 : 1)*] [* 1997, -2, (3 : 4 : 1)*] [* 3073, 1, (-1 : 0 : 1)*] [* 3880, 0, (0 : 1 : 0)*] [* 4956, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 6301, 0, (0 : 1 : 0)*] [* 7377, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 8184, -2, (3 : 4 : 1)*] [* 8453, 2, (3 : -5 : 1)*] [* 9260, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 9529, 2, (3 : -5 : 1)*] /* D = 116 (mod 269 ) [* 385, -1, (-1 : -1 : 1)*] [* 1192, 0, (0 : 1 : 0)*] [* 1461, -1, (-1 : -1 : 1)*] [* 2537, -2, (3 : 4 : 1)*] [* 3613, 3, (-7/16 : -19/64 : 1)*] [* 5496, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 5765, 1, (-1 : 0 : 1)*] [* 6572, -4, (139/81 : -1045/729 : 1)*] [* 6841, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 7917, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] /* D = 122 (mod 269 ) [* 929, 1, (-1 : 0 : 1)*] [* 1736, -2, (3 : 4 : 1)*] [* 2005, -5, (-2089/3025 : 8216/166375 : 1)*] [* 2812, -2, (3 : 4 : 1)*] [* 3081, 4, (139/81 : 316/729 : 1)*] [* 4157, 0, (0 : 1 : 0)*] [* 5233, 0, (0 : 1 : 0)*] [* 6040, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7116, 1, (-1 : 0 : 1)*] [* 7385, -1, (-1 : -1 : 1)*] [* 8461, -1, (-1 : -1 : 1)*] /* D = 123 (mod 269 ) [* 661, -2, (3 : 4 : 1)*] [* 1468, 4, (139/81 : 316/729 : 1)*] [* 2813, -1, (-1 : -1 : 1)*] [* 3889, 3, (-7/16 : -19/64 : 1)*] [* 4696, 0, (0 : 1 : 0)*] [* 4965, 2, (3 : -5 : 1)*] [* 5772, -4, (139/81 : -1045/729 : 1)*] [* 6041, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7117, 1, (-1 : 0 : 1)*] [* 8193, -1, (-1 : -1 : 1)*] [* 9269, 0, (0 : 1 : 0)*] /* D = 124 (mod 269 ) [* 124, 2, (3 : -5 : 1)*] [* 393, 0, (0 : 1 : 0)*] [* 1469, 2, (3 : -5 : 1)*] [* 2545, -1, (-1 : -1 : 1)*] [* 3352, 2, (3 : -5 : 1)*] [* 3621, 0, (0 : 1 : 0)*] [* 4697, -1, (-1 : -1 : 1)*] [* 5773, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7656, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 8732, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 9001, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] /* D = 128 (mod 269 ) [* 397, 1, (-1 : 0 : 1)*] [* 1473, -3, (-7/16 : -45/64 : 1)*] [* 2280, 2, (3 : -5 : 1)*] [* 2549, 0, (0 : 1 : 0)*] [* 3356, -4, (139/81 : -1045/729 : 1)*] [* 4701, -1, (-1 : -1 : 1)*] [* 5777, 1, (-1 : 0 : 1)*] [* 6584, 0, (0 : 1 : 0)*] [* 6853, -1, (-1 : -1 : 1)*] [* 7660, -4, (139/81 : -1045/729 : 1)*] [* 9005, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 129 (mod 269 ) [* 129, 1, (-1 : 0 : 1)*] [* 1205, -3, (-7/16 : -45/64 : 1)*] [* 2012, -1, (-1 : -1 : 1)*] [* 2281, -1, (-1 : -1 : 1)*] [* 4433, 4, (139/81 : 316/729 : 1)*] [* 5240, 0, (0 : 1 : 0)*] [* 5509, -4, (139/81 : -1045/729 : 1)*] [* 6316, -5, (-2089/3025 : 8216/166375 : 1)*] *** Warning: The precision was insufficient to recognize P( 6585 ) as a global point [* 6585, Infinity, 0*] [* 7661, 1, (-1 : 0 : 1)*] [* 8737, -2, (3 : 4 : 1)*] [* 9544, 2, (3 : -5 : 1)*] [* 9813, -2, (3 : 4 : 1)*] /* D = 130 (mod 269 ) [* 668, 0, (0 : 1 : 0)*] [* 937, -1, (-1 : -1 : 1)*] [* 2013, -3, (-7/16 : -45/64 : 1)*] [* 3089, -2, (3 : 4 : 1)*] [* 3896, -4, (139/81 : -1045/729 : 1)*] [* 4972, -1, (-1 : -1 : 1)*] [* 5241, 3, (-7/16 : -19/64 : 1)*] [* 6317, -4, (139/81 : -1045/729 : 1)*] [* 7393, -3, (-7/16 : -45/64 : 1)*] [* 9276, 0, (0 : 1 : 0)*] [* 9545, 1, (-1 : 0 : 1)*] /* D = 132 (mod 269 ) [* 401, -1, (-1 : -1 : 1)*] [* 1208, 0, (0 : 1 : 0)*] [* 1477, 1, (-1 : 0 : 1)*] [* 2284, 3, (-7/16 : -19/64 : 1)*] [* 2553, -3, (-7/16 : -45/64 : 1)*] [* 3629, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 4705, 2, (3 : -5 : 1)*] [* 5512, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 5781, 5, (-2089/3025 : -174591/166375 : 1)*] [* 6857, -3, (-7/16 : -45/64 : 1)*] [* 7933, -2, (3 : 4 : 1)*] [* 9816, 2, (3 : -5 : 1)*] /* D = 134 (mod 269 ) [* 941, -4, (139/81 : -1045/729 : 1)*] [* 2017, -1, (-1 : -1 : 1)*] [* 2824, 2, (3 : -5 : 1)*] [* 3093, 3, (-7/16 : -19/64 : 1)*] [* 4169, -1, (-1 : -1 : 1)*] [* 5245, 0, (0 : 1 : 0)*] [* 7397, 0, (0 : 1 : 0)*] [* 8204, -2, (3 : 4 : 1)*] [* 8473, 2, (3 : -5 : 1)*] /* D = 135 (mod 269 ) [* 673, 0, (0 : 1 : 0)*] [* 1480, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 1749, -1, (-1 : -1 : 1)*] [* 3901, -1, (-1 : -1 : 1)*] [* 5784, 0, (0 : 1 : 0)*] [* 6053, -2, (3 : 4 : 1)*] [* 7129, -2, (3 : 4 : 1)*] [* 8205, -4, (139/81 : -1045/729 : 1)*] [* 9281, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 137 (mod 269 ) [* 137, 0, (0 : 1 : 0)*] [* 1213, -1, (-1 : -1 : 1)*] [* 2289, 4, (139/81 : 316/729 : 1)*] [* 3365, -2, (3 : 4 : 1)*] [* 4172, 4, (139/81 : 316/729 : 1)*] [* 4441, 0, (0 : 1 : 0)*] [* 6593, 0, (0 : 1 : 0)*] [* 7669, 2, (3 : -5 : 1)*] [* 8476, 2, (3 : -5 : 1)*] [* 8745, 3, (-7/16 : -19/64 : 1)*] [* 9821, -1, (-1 : -1 : 1)*] /* D = 139 (mod 269 ) [* 408, 2, (3 : -5 : 1)*] [* 677, 4, (139/81 : 316/729 : 1)*] [* 1484, 1, (-1 : 0 : 1)*] [* 1753, -2, (3 : 4 : 1)*] [* 2829, -1, (-1 : -1 : 1)*] [* 3905, 2, (3 : -5 : 1)*] [* 4712, 0, (0 : 1 : 0)*] [* 4981, -4, (139/81 : -1045/729 : 1)*] [* 5788, 2, (3 : -5 : 1)*] [* 7133, 0, (0 : 1 : 0)*] [* 8209, -1, (-1 : -1 : 1)*] [* 9285, -5, (-2089/3025 : 8216/166375 : 1)*] /* D = 140 (mod 269 ) [* 140, -1, (-1 : -1 : 1)*] [* 409, -2, (3 : 4 : 1)*] [* 2561, -2, (3 : 4 : 1)*] [* 3368, -4, (139/81 : -1045/729 : 1)*] [* 3637, 1, (-1 : 0 : 1)*] [* 4444, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 4713, -1, (-1 : -1 : 1)*] [* 5789, 3, (-7/16 : -19/64 : 1)*] [* 6865, -3, (-7/16 : -45/64 : 1)*] [* 7672, -4, (139/81 : -1045/729 : 1)*] [* 7941, 0, (0 : 1 : 0)*] [* 9017, 0, (0 : 1 : 0)*] /* D = 141 (mod 269 ) [* 141, -1, (-1 : -1 : 1)*] [* 1217, -1, (-1 : -1 : 1)*] [* 2024, 2, (3 : -5 : 1)*] [* 2293, 0, (0 : 1 : 0)*] [* 3369, 1, (-1 : 0 : 1)*] [* 4445, -1, (-1 : -1 : 1)*] [* 5521, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 6328, 2, (3 : -5 : 1)*] [* 7404, 1, (-1 : 0 : 1)*] [* 7673, 1, (-1 : 0 : 1)*] [* 8749, 6, (142689/10816 : 53017745/1124864 : 1)*] /* D = 145 (mod 269 ) [* 145, -1, (-1 : -1 : 1)*] [* 952, 0, (0 : 1 : 0)*] [* 1221, -7, (-9063577/7789681 : -11807533791/21740999671 : 1)*] [* 2297, 2, (3 : -5 : 1)*] [* 3373, -1, (-1 : -1 : 1)*] [* 4449, 3, (-7/16 : -19/64 : 1)*] [* 6332, 3, (-7/16 : -19/64 : 1)*] [* 6601, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8753, 5, (-2089/3025 : -174591/166375 : 1)*] [* 9560, -4, (139/81 : -1045/729 : 1)*] [* 9829, 1, (-1 : 0 : 1)*] /* D = 146 (mod 269 ) [* 953, -2, (3 : 4 : 1)*] [* 2029, 2, (3 : -5 : 1)*] [* 3912, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 4181, 1, (-1 : 0 : 1)*] [* 4988, 1, (-1 : 0 : 1)*] [* 5257, -3, (-7/16 : -45/64 : 1)*] [* 6333, 2, (3 : -5 : 1)*] [* 7409, 2, (3 : -5 : 1)*] [* 8216, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 8485, -2, (3 : 4 : 1)*] [* 9292, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9561, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] /* D = 147 (mod 269 ) [* 685, 2, (3 : -5 : 1)*] [* 1761, 1, (-1 : 0 : 1)*] [* 2568, -4, (139/81 : -1045/729 : 1)*] [* 2837, 0, (0 : 1 : 0)*] [* 3644, -3, (-7/16 : -45/64 : 1)*] [* 3913, -4, (139/81 : -1045/729 : 1)*] [* 4989, -5, (-2089/3025 : 8216/166375 : 1)*] [* 6065, -1, (-1 : -1 : 1)*] [* 6872, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 7141, 1, (-1 : 0 : 1)*] [* 7948, 2, (3 : -5 : 1)*] [* 9293, 2, (3 : -5 : 1)*] /* D = 153 (mod 269 ) [* 1229, 0, (0 : 1 : 0)*] [* 2305, -5, (-2089/3025 : 8216/166375 : 1)*] [* 3112, 0, (0 : 1 : 0)*] [* 4188, 3, (-7/16 : -19/64 : 1)*] [* 4457, 0, (0 : 1 : 0)*] [* 5533, -1, (-1 : -1 : 1)*] [* 6609, 2, (3 : -5 : 1)*] [* 7685, 3, (-7/16 : -19/64 : 1)*] [* 8492, -1, (-1 : -1 : 1)*] [* 8761, -4, (139/81 : -1045/729 : 1)*] /* D = 155 (mod 269 ) [* 424, 0, (0 : 1 : 0)*] [* 1769, -3, (-7/16 : -45/64 : 1)*] [* 2845, 0, (0 : 1 : 0)*] [* 3921, 2, (3 : -5 : 1)*] [* 4728, -2, (3 : 4 : 1)*] [* 4997, 0, (0 : 1 : 0)*] [* 5804, 2, (3 : -5 : 1)*] [* 6073, 0, (0 : 1 : 0)*] [* 7149, 1, (-1 : 0 : 1)*] [* 9032, -2, (3 : 4 : 1)*] [* 9301, 2, (3 : -5 : 1)*] /* D = 156 (mod 269 ) [* 156, -2, (3 : 4 : 1)*] [* 1501, 4, (139/81 : 316/729 : 1)*] [* 2577, 1, (-1 : 0 : 1)*] [* 3653, -4, (139/81 : -1045/729 : 1)*] [* 4460, 3, (-7/16 : -19/64 : 1)*] [* 4729, -3, (-7/16 : -45/64 : 1)*] [* 6881, -1, (-1 : -1 : 1)*] [* 7957, 2, (3 : -5 : 1)*] [* 8764, 5, (-2089/3025 : -174591/166375 : 1)*] [* 9033, -1, (-1 : -1 : 1)*] /* D = 157 (mod 269 ) [* 157, 1, (-1 : 0 : 1)*] [* 2040, -2, (3 : 4 : 1)*] [* 2309, 4, (139/81 : 316/729 : 1)*] [* 3116, 4, (139/81 : 316/729 : 1)*] [* 3385, -2, (3 : 4 : 1)*] [* 4461, 2, (3 : -5 : 1)*] [* 6344, 2, (3 : -5 : 1)*] [* 6613, -3, (-7/16 : -45/64 : 1)*] [* 7420, -1, (-1 : -1 : 1)*] [* 7689, -4, (139/81 : -1045/729 : 1)*] [* 8765, 4, (139/81 : 316/729 : 1)*] [* 9841, 0, (0 : 1 : 0)*] /* D = 158 (mod 269 ) [* 696, -2, (3 : 4 : 1)*] [* 965, -1, (-1 : -1 : 1)*] [* 1772, 0, (0 : 1 : 0)*] [* 2041, 2, (3 : -5 : 1)*] [* 3117, 1, (-1 : 0 : 1)*] [* 4193, 1, (-1 : 0 : 1)*] [* 5269, 2, (3 : -5 : 1)*] [* 7421, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8497, -2, (3 : 4 : 1)*] [* 9304, -2, (3 : 4 : 1)*] [* 9573, -3, (-7/16 : -45/64 : 1)*] /* D = 159 (mod 269 ) [* 428, 1, (-1 : 0 : 1)*] [* 697, -1, (-1 : -1 : 1)*] [* 2849, -3, (-7/16 : -45/64 : 1)*] [* 3656, 2, (3 : -5 : 1)*] [* 5001, -4, (139/81 : -1045/729 : 1)*] [* 6077, 2, (3 : -5 : 1)*] [* 7153, 1, (-1 : 0 : 1)*] [* 7960, 4, (139/81 : 316/729 : 1)*] [* 8229, 2, (3 : -5 : 1)*] [* 9305, -1, (-1 : -1 : 1)*] /* D = 160 (mod 269 ) [* 429, 0, (0 : 1 : 0)*] [* 1505, 1, (-1 : 0 : 1)*] [* 2581, -5, (-2089/3025 : 8216/166375 : 1)*] [* 3657, -3, (-7/16 : -45/64 : 1)*] [* 4733, -1, (-1 : -1 : 1)*] [* 5809, 1, (-1 : 0 : 1)*] [* 6616, -4, (139/81 : -1045/729 : 1)*] [* 7692, 4, (139/81 : 316/729 : 1)*] [* 7961, -2, (3 : 4 : 1)*] [* 9037, -1, (-1 : -1 : 1)*] /* D = 161 (mod 269 ) [* 161, 1, (-1 : 0 : 1)*] [* 1237, 0, (0 : 1 : 0)*] [* 2044, -4, (139/81 : -1045/729 : 1)*] [* 3389, -1, (-1 : -1 : 1)*] [* 4465, -2, (3 : 4 : 1)*] [* 5272, -2, (3 : 4 : 1)*] [* 5541, 2, (3 : -5 : 1)*] [* 6617, 0, (0 : 1 : 0)*] [* 8769, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 9845, -5, (-2089/3025 : 8216/166375 : 1)*] /* D = 162 (mod 269 ) [* 969, 0, (0 : 1 : 0)*] [* 2045, -2, (3 : 4 : 1)*] [* 3121, 4, (139/81 : 316/729 : 1)*] [* 3928, 0, (0 : 1 : 0)*] [* 4197, -1, (-1 : -1 : 1)*] [* 5273, 2, (3 : -5 : 1)*] [* 6349, 2, (3 : -5 : 1)*] [* 8501, 4, (139/81 : 316/729 : 1)*] [* 9308, 2, (3 : -5 : 1)*] [* 9577, -3, (-7/16 : -45/64 : 1)*] /* D = 163 (mod 269 ) [* 701, -2, (3 : 4 : 1)*] [* 1777, 1, (-1 : 0 : 1)*] [* 2584, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 3660, 3, (-7/16 : -19/64 : 1)*] [* 3929, -4, (139/81 : -1045/729 : 1)*] [* 5005, 0, (0 : 1 : 0)*] [* 6081, -1, (-1 : -1 : 1)*] [* 6888, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7157, 3, (-7/16 : -19/64 : 1)*] [* 7964, 3, (-7/16 : -19/64 : 1)*] [* 8233, 2, (3 : -5 : 1)*] [* 9309, 2, (3 : -5 : 1)*] /* D = 165 (mod 269 ) [* 165, 1, (-1 : 0 : 1)*] [* 1241, 0, (0 : 1 : 0)*] [* 2317, 4, (139/81 : 316/729 : 1)*] [* 4469, -1, (-1 : -1 : 1)*] [* 5276, -2, (3 : 4 : 1)*] [* 5545, 2, (3 : -5 : 1)*] [* 6621, 3, (-7/16 : -19/64 : 1)*] [* 7697, 1, (-1 : 0 : 1)*] [* 8504, 0, (0 : 1 : 0)*] [* 8773, -2, (3 : 4 : 1)*] [* 9580, 6, (142689/10816 : 53017745/1124864 : 1)*] /* D = 167 (mod 269 ) [* 705, 1, (-1 : 0 : 1)*] [* 1781, 0, (0 : 1 : 0)*] [* 2588, 3, (-7/16 : -19/64 : 1)*] [* 2857, -1, (-1 : -1 : 1)*] [* 5009, -2, (3 : 4 : 1)*] [* 5816, -2, (3 : 4 : 1)*] [* 6085, 1, (-1 : 0 : 1)*] [* 6892, 2, (3 : -5 : 1)*] [* 7161, -2, (3 : 4 : 1)*] [* 8237, 2, (3 : -5 : 1)*] [* 9313, 1, (-1 : 0 : 1)*] /* D = 168 (mod 269 ) [* 168, -2, (3 : 4 : 1)*] [* 437, -2, (3 : 4 : 1)*] [* 1244, -1, (-1 : -1 : 1)*] [* 1513, 1, (-1 : 0 : 1)*] [* 2589, -1, (-1 : -1 : 1)*] [* 3665, -3, (-7/16 : -45/64 : 1)*] [* 4472, 2, (3 : -5 : 1)*] [* 4741, 0, (0 : 1 : 0)*] [* 5548, 0, (0 : 1 : 0)*] [* 5817, 0, (0 : 1 : 0)*] [* 6893, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7969, -4, (139/81 : -1045/729 : 1)*] [* 8776, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 9852, 4, (139/81 : 316/729 : 1)*] /* D = 171 (mod 269 ) [* 440, 2, (3 : -5 : 1)*] [* 709, 0, (0 : 1 : 0)*] [* 1516, 1, (-1 : 0 : 1)*] [* 1785, 0, (0 : 1 : 0)*] [* 2861, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 3937, 4, (139/81 : 316/729 : 1)*] [* 4744, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 5820 ) as a global point [* 5820, Infinity, 0*] [* 6089, 2, (3 : -5 : 1)*] [* 7165, 3, (-7/16 : -19/64 : 1)*] [* 8241, 1, (-1 : 0 : 1)*] [* 9048, 0, (0 : 1 : 0)*] /* D = 174 (mod 269 ) [* 712, 2, (3 : -5 : 1)*] [* 1788, -2, (3 : 4 : 1)*] [* 3133, 2, (3 : -5 : 1)*] [* 4209, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5016, -2, (3 : 4 : 1)*] [* 5285, 3, (-7/16 : -19/64 : 1)*] [* 6092, 1, (-1 : 0 : 1)*] [* 6361, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7437, 1, (-1 : 0 : 1)*] [* 8513, 1, (-1 : 0 : 1)*] [* 9320, 2, (3 : -5 : 1)*] [* 9589, -7, (-9063577/7789681 : -11807533791/21740999671 : 1)*] /* D = 175 (mod 269 ) [* 444, 1, (-1 : 0 : 1)*] [* 713, 2, (3 : -5 : 1)*] [* 1789, -1, (-1 : -1 : 1)*] [* 2865, -1, (-1 : -1 : 1)*] [* 3941, -1, (-1 : -1 : 1)*] [* 4748, 3, (-7/16 : -19/64 : 1)*] [* 5017, 1, (-1 : 0 : 1)*] [* 7169, -3, (-7/16 : -45/64 : 1)*] [* 7976, -4, (139/81 : -1045/729 : 1)*] [* 8245, -1, (-1 : -1 : 1)*] [* 9052, 0, (0 : 1 : 0)*] [* 9321, -4, (139/81 : -1045/729 : 1)*] /* D = 178 (mod 269 ) [* 716, 1, (-1 : 0 : 1)*] [* 985, 4, (139/81 : 316/729 : 1)*] [* 3137, 3, (-7/16 : -19/64 : 1)*] [* 3944, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] [* 4213, -2, (3 : 4 : 1)*] [* 5020, 4, (139/81 : 316/729 : 1)*] [* 5289, -1, (-1 : -1 : 1)*] [* 6365, -2, (3 : 4 : 1)*] [* 7441, -3, (-7/16 : -45/64 : 1)*] [* 8248, 2, (3 : -5 : 1)*] [* 8517, -2, (3 : 4 : 1)*] [* 9593, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] /* D = 179 (mod 269 ) [* 717, -1, (-1 : -1 : 1)*] [* 1793, -1, (-1 : -1 : 1)*] [* 2869, 4, (139/81 : 316/729 : 1)*] [* 3676, 3, (-7/16 : -19/64 : 1)*] [* 3945, -1, (-1 : -1 : 1)*] [* 5021, 3, (-7/16 : -19/64 : 1)*] [* 6097, 2, (3 : -5 : 1)*] [* 6904, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7980, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 8249, 0, (0 : 1 : 0)*] /* D = 181 (mod 269 ) [* 181, 1, (-1 : 0 : 1)*] [* 988, -2, (3 : 4 : 1)*] [* 1257, 1, (-1 : 0 : 1)*] [* 2333, -1, (-1 : -1 : 1)*] [* 3409, -1, (-1 : -1 : 1)*] [* 4216, 2, (3 : -5 : 1)*] [* 4485, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 5561, -3, (-7/16 : -45/64 : 1)*] [* 6637, -3, (-7/16 : -45/64 : 1)*] [* 8520, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 8789, -3, (-7/16 : -45/64 : 1)*] [* 9596, 3, (-7/16 : -19/64 : 1)*] [* 9865, -3, (-7/16 : -45/64 : 1)*] /* D = 183 (mod 269 ) [* 721, -1, (-1 : -1 : 1)*] [* 1528, 0, (0 : 1 : 0)*] [* 1797, -1, (-1 : -1 : 1)*] [* 2604, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 3949, 4, (139/81 : 316/729 : 1)*] [* 6101, -4, (139/81 : -1045/729 : 1)*] [* 6908, 5, (-2089/3025 : -174591/166375 : 1)*] [* 7177, -1, (-1 : -1 : 1)*] [* 9329, -4, (139/81 : -1045/729 : 1)*] /* D = 184 (mod 269 ) [* 184, 2, (3 : -5 : 1)*] [* 453, 3, (-7/16 : -19/64 : 1)*] [* 1529, 1, (-1 : 0 : 1)*] [* 2605, 0, (0 : 1 : 0)*] [* 4488, 2, (3 : -5 : 1)*] [* 4757, 0, (0 : 1 : 0)*] [* 5564, -4, (139/81 : -1045/729 : 1)*] [* 5833, 0, (0 : 1 : 0)*] [* 7985, 0, (0 : 1 : 0)*] [* 8792, 0, (0 : 1 : 0)*] [* 9061, 2, (3 : -5 : 1)*] [* 9868, -4, (139/81 : -1045/729 : 1)*] /* D = 186 (mod 269 ) [* 993, 2, (3 : -5 : 1)*] [* 2069, 0, (0 : 1 : 0)*] [* 2876, 0, (0 : 1 : 0)*] [* 3145, -1, (-1 : -1 : 1)*] [* 5297, 4, (139/81 : 316/729 : 1)*] [* 6104, 4, (139/81 : 316/729 : 1)*] [* 6373, -4, (139/81 : -1045/729 : 1)*] [* 7180, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7449, -2, (3 : 4 : 1)*] [* 9601, -1, (-1 : -1 : 1)*] /* D = 187 (mod 269 ) [* 456, 2, (3 : -5 : 1)*] [* 1532, 0, (0 : 1 : 0)*] [* 1801, 1, (-1 : 0 : 1)*] [* 2877, 0, (0 : 1 : 0)*] [* 3953, 0, (0 : 1 : 0)*] [* 4760, 0, (0 : 1 : 0)*] [* 5029, -3, (-7/16 : -45/64 : 1)*] [* 5836, -4, (139/81 : -1045/729 : 1)*] [* 6105, 1, (-1 : 0 : 1)*] [* 7181, 0, (0 : 1 : 0)*] [* 8257, -2, (3 : 4 : 1)*] [* 9064, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] /* D = 192 (mod 269 ) [* 461, 3, (-7/16 : -19/64 : 1)*] [* 1537, 1, (-1 : 0 : 1)*] [* 2344, 0, (0 : 1 : 0)*] [* 2613, 0, (0 : 1 : 0)*] [* 3689, -2, (3 : 4 : 1)*] [* 4765, 0, (0 : 1 : 0)*] [* 6648, 2, (3 : -5 : 1)*] [* 6917, -1, (-1 : -1 : 1)*] [* 7724, 4, (139/81 : 316/729 : 1)*] [* 7993, -9, (-224571057991/347727219856 : -209520807566275315/205049177913565504 : 1)*] [* 9069, 1, (-1 : 0 : 1)*] /* D = 193 (mod 269 ) [* 193, 1, (-1 : 0 : 1)*] [* 2076, -1, (-1 : -1 : 1)*] [* 2345, -1, (-1 : -1 : 1)*] [* 3421, -3, (-7/16 : -45/64 : 1)*] [* 4497, -1, (-1 : -1 : 1)*] [* 5304, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 5573, 1, (-1 : 0 : 1)*] [* 6380, 1, (-1 : 0 : 1)*] [* 6649, -3, (-7/16 : -45/64 : 1)*] [* 8801, 2, (3 : -5 : 1)*] [* 9608, 4, (139/81 : 316/729 : 1)*] [* 9877, -2, (3 : 4 : 1)*] /* D = 194 (mod 269 ) [* 732, -1, (-1 : -1 : 1)*] [* 1001, -2, (3 : 4 : 1)*] [* 2077, -2, (3 : 4 : 1)*] [* 3153, 2, (3 : -5 : 1)*] [* 4229, 2, (3 : -5 : 1)*] [* 5036, -1, (-1 : -1 : 1)*] [* 5305, -2, (3 : 4 : 1)*] [* 7457, -2, (3 : 4 : 1)*] [* 8264, -4, (139/81 : -1045/729 : 1)*] [* 8533, -1, (-1 : -1 : 1)*] [* 9340, 2, (3 : -5 : 1)*] [* 9609, 2, (3 : -5 : 1)*] /* D = 195 (mod 269 ) [* 733, -1, (-1 : -1 : 1)*] [* 2616, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 2885, -2, (3 : 4 : 1)*] [* 3692, -2, (3 : 4 : 1)*] [* 3961, 2, (3 : -5 : 1)*] [* 5037, -2, (3 : 4 : 1)*] [* 6113, -2, (3 : 4 : 1)*] [* 6920, -4, (139/81 : -1045/729 : 1)*] [* 7189, 4, (139/81 : 316/729 : 1)*] [* 7996, 4, (139/81 : 316/729 : 1)*] [* 8265, 0, (0 : 1 : 0)*] [* 9341, -1, (-1 : -1 : 1)*] /* D = 197 (mod 269 ) [* 197, 2, (3 : -5 : 1)*] [* 1004, 0, (0 : 1 : 0)*] [* 1273, -2, (3 : 4 : 1)*] [* 4501, -3, (-7/16 : -45/64 : 1)*] [* 5308, -2, (3 : 4 : 1)*] [* 6653, 0, (0 : 1 : 0)*] [* 7729, -2, (3 : 4 : 1)*] [* 8536, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 8805, 1, (-1 : 0 : 1)*] [* 9881, -1, (-1 : -1 : 1)*] /* D = 198 (mod 269 ) [* 1005, 1, (-1 : 0 : 1)*] [* 2081, -1, (-1 : -1 : 1)*] [* 3157, 1, (-1 : 0 : 1)*] [* 3964, -3, (-7/16 : -45/64 : 1)*] [* 4233, 2, (3 : -5 : 1)*] [* 5309, 2, (3 : -5 : 1)*] [* 6385, -4, (139/81 : -1045/729 : 1)*] [* 7192, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 8268, -2, (3 : 4 : 1)*] [* 8537, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 9613, 0, (0 : 1 : 0)*] /* D = 200 (mod 269 ) [* 469, -1, (-1 : -1 : 1)*] [* 1276, -1, (-1 : -1 : 1)*] [* 1545, -1, (-1 : -1 : 1)*] [* 2621, -1, (-1 : -1 : 1)*] [* 3697, -2, (3 : 4 : 1)*] [* 4504, -4, (139/81 : -1045/729 : 1)*] [* 4773, 3, (-7/16 : -19/64 : 1)*] [* 5849, 0, (0 : 1 : 0)*] [* 8808, 2, (3 : -5 : 1)*] [* 9077, 1, (-1 : 0 : 1)*] [* 9884, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 201 (mod 269 ) [* 201, -3, (-7/16 : -45/64 : 1)*] [* 1277, 0, (0 : 1 : 0)*] [* 2353, -2, (3 : 4 : 1)*] [* 3160, 0, (0 : 1 : 0)*] [* 4236, -1, (-1 : -1 : 1)*] [* 4505, 1, (-1 : 0 : 1)*] [* 5581, 3, (-7/16 : -19/64 : 1)*] [* 6657, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7464, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 7733, 4, (139/81 : 316/729 : 1)*] [* 8540, -1, (-1 : -1 : 1)*] [* 8809, -4, (139/81 : -1045/729 : 1)*] [* 9885, -2, (3 : 4 : 1)*] /* D = 206 (mod 269 ) [* 744, -2, (3 : 4 : 1)*] [* 1013, 1, (-1 : 0 : 1)*] [* 1820, -2, (3 : 4 : 1)*] [* 2089, -5, (-2089/3025 : 8216/166375 : 1)*] [* 3165, 3, (-7/16 : -19/64 : 1)*] [* 4241, 3, (-7/16 : -19/64 : 1)*] [* 5048, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 5317, 0, (0 : 1 : 0)*] [* 6124, -4, (139/81 : -1045/729 : 1)*] [* 6393, 1, (-1 : 0 : 1)*] [* 7469, -3, (-7/16 : -45/64 : 1)*] [* 8545, -2, (3 : 4 : 1)*] [* 9352, -6, (142689/10816 : -54142609/1124864 : 1)*] /* D = 209 (mod 269 ) [* 209, -2, (3 : 4 : 1)*] [* 1016, -2, (3 : 4 : 1)*] [* 1285, 1, (-1 : 0 : 1)*] [* 2092, -1, (-1 : -1 : 1)*] [* 2361, 0, (0 : 1 : 0)*] [* 3437, 3, (-7/16 : -19/64 : 1)*] [* 4513, 2, (3 : -5 : 1)*] [* 5320, 2, (3 : -5 : 1)*] [* 6396, 4, (139/81 : 316/729 : 1)*] [* 6665, 0, (0 : 1 : 0)*] [* 7741, 0, (0 : 1 : 0)*] [* 8817, 4, (139/81 : 316/729 : 1)*] [* 9624, -2, (3 : 4 : 1)*] [* 9893, 0, (0 : 1 : 0)*] /* D = 210 (mod 269 ) [* 748, 3, (-7/16 : -19/64 : 1)*] [* 2093, 0, (0 : 1 : 0)*] [* 3169, -1, (-1 : -1 : 1)*] [* 3976, -2, (3 : 4 : 1)*] [* 4245, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 5052, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5321, 1, (-1 : 0 : 1)*] [* 6397, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 7473, -1, (-1 : -1 : 1)*] [* 8549, 1, (-1 : 0 : 1)*] [* 9356, 3, (-7/16 : -19/64 : 1)*] /* D = 219 (mod 269 ) [* 488, 2, (3 : -5 : 1)*] [* 757, 0, (0 : 1 : 0)*] [* 1564, 3, (-7/16 : -19/64 : 1)*] [* 1833, 4, (139/81 : 316/729 : 1)*] [* 2909, -1, (-1 : -1 : 1)*] [* 3985, 1, (-1 : 0 : 1)*] [* 4792, -2, (3 : 4 : 1)*] [* 5061, -2, (3 : 4 : 1)*] [* 7213, -4, (139/81 : -1045/729 : 1)*] [* 9096, -4, (139/81 : -1045/729 : 1)*] [* 9365, 4, (139/81 : 316/729 : 1)*] /* D = 221 (mod 269 ) [* 221, 0, (0 : 1 : 0)*] [* 1297, 2, (3 : -5 : 1)*] [* 2104, 0, (0 : 1 : 0)*] [* 2373, -4, (139/81 : -1045/729 : 1)*] [* 3180, -3, (-7/16 : -45/64 : 1)*] [* 3449, -1, (-1 : -1 : 1)*] [* 5601, -1, (-1 : -1 : 1)*] [* 6677, 0, (0 : 1 : 0)*] [* 7484, 3, (-7/16 : -19/64 : 1)*] [* 7753, -1, (-1 : -1 : 1)*] [* 9905, -2, (3 : 4 : 1)*] /* D = 223 (mod 269 ) [* 492, -1, (-1 : -1 : 1)*] [* 761, 3, (-7/16 : -19/64 : 1)*] [* 1837, 0, (0 : 1 : 0)*] [* 2913, -3, (-7/16 : -45/64 : 1)*] [* 3720, -2, (3 : 4 : 1)*] [* 3989, -4, (139/81 : -1045/729 : 1)*] [* 4796, -3, (-7/16 : -45/64 : 1)*] [* 5065, 1, (-1 : 0 : 1)*] [* 6141, -5, (-2089/3025 : 8216/166375 : 1)*] [* 7217, 1, (-1 : 0 : 1)*] [* 8024, 0, (0 : 1 : 0)*] [* 8293, 2, (3 : -5 : 1)*] /* D = 227 (mod 269 ) [* 1841, -3, (-7/16 : -45/64 : 1)*] [* 2648, 2, (3 : -5 : 1)*] [* 2917, -1, (-1 : -1 : 1)*] [* 5069, 0, (0 : 1 : 0)*] [* 6145, -2, (3 : 4 : 1)*] [* 6952, 0, (0 : 1 : 0)*] [* 7221, -4, (139/81 : -1045/729 : 1)*] [* 8297, 0, (0 : 1 : 0)*] [* 9373, 4, (139/81 : 316/729 : 1)*] /* D = 229 (mod 269 ) [* 229, -2, (3 : 4 : 1)*] [* 1036, -1, (-1 : -1 : 1)*] [* 2381, -2, (3 : 4 : 1)*] [* 3457, 1, (-1 : 0 : 1)*] [* 4264, -2, (3 : 4 : 1)*] [* 4533, 3, (-7/16 : -19/64 : 1)*] [* 5340, 5, (-2089/3025 : -174591/166375 : 1)*] [* 5609, -2, (3 : 4 : 1)*] [* 6685, 1, (-1 : 0 : 1)*] [* 7761, -2, (3 : 4 : 1)*] [* 8837, 1, (-1 : 0 : 1)*] [* 9644, -10, (166760826865491/101090657728225 : 165821143791709297211/1016404392702799516625 : 1)*] [* 9913, 4, (139/81 : 316/729 : 1)*] /* D = 230 (mod 269 ) [* 1037, 1, (-1 : 0 : 1)*] [* 2113, 2, (3 : -5 : 1)*] [* 2920, 0, (0 : 1 : 0)*] [* 3189, -3, (-7/16 : -45/64 : 1)*] [* 4265, -4, (139/81 : -1045/729 : 1)*] [* 7224, -2, (3 : 4 : 1)*] [* 7493, -2, (3 : 4 : 1)*] [* 8569, 2, (3 : -5 : 1)*] [* 9645, 5, (-2089/3025 : -174591/166375 : 1)*] /* D = 234 (mod 269 ) [* 1041, 4, (139/81 : 316/729 : 1)*] [* 1848, -2, (3 : 4 : 1)*] [* 2117, 0, (0 : 1 : 0)*] [* 2924, 5, (-2089/3025 : -174591/166375 : 1)*] [* 3193, 2, (3 : -5 : 1)*] [* 4269, 2, (3 : -5 : 1)*] [* 5345, 2, (3 : -5 : 1)*] [* 6152, 4, (139/81 : 316/729 : 1)*] [* 6421, -4, (139/81 : -1045/729 : 1)*] [* 7228, 2, (3 : -5 : 1)*] [* 8573, -7, (-9063577/7789681 : -11807533791/21740999671 : 1)*] [* 9649, -3, (-7/16 : -45/64 : 1)*] /* D = 236 (mod 269 ) [* 236, 0, (0 : 1 : 0)*] [* 505, 1, (-1 : 0 : 1)*] [* 1581, 4, (139/81 : 316/729 : 1)*] [* 2657, -3, (-7/16 : -45/64 : 1)*] [* 3464, 0, (0 : 1 : 0)*] [* 3733, 2, (3 : -5 : 1)*] [* 4540, 0, (0 : 1 : 0)*] [* 4809, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 5885, 5, (-2089/3025 : -174591/166375 : 1)*] [* 6961, -2, (3 : 4 : 1)*] [* 7768, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 8844, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9113, 2, (3 : -5 : 1)*] /* D = 237 (mod 269 ) [* 237, -2, (3 : 4 : 1)*] [* 1313, 0, (0 : 1 : 0)*] [* 2120, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 2389, -3, (-7/16 : -45/64 : 1)*] [* 3196, -1, (-1 : -1 : 1)*] [* 4541, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 5617, 4, (139/81 : 316/729 : 1)*] [* 6424, 4, (139/81 : 316/729 : 1)*] [* 6693, -3, (-7/16 : -45/64 : 1)*] [* 7769, 4, (139/81 : 316/729 : 1)*] [* 8845, 1, (-1 : 0 : 1)*] [* 9921, 1, (-1 : 0 : 1)*] /* D = 238 (mod 269 ) [* 776, 2, (3 : -5 : 1)*] [* 1045, 2, (3 : -5 : 1)*] [* 1852, 0, (0 : 1 : 0)*] [* 2121, 0, (0 : 1 : 0)*] [* 3197, 1, (-1 : 0 : 1)*] [* 4273, -4, (139/81 : -1045/729 : 1)*] [* 5080, 4, (139/81 : 316/729 : 1)*] [* 5349, 0, (0 : 1 : 0)*] [* 7501, 4, (139/81 : 316/729 : 1)*] [* 9384, 2, (3 : -5 : 1)*] /* D = 240 (mod 269 ) [* 509, -1, (-1 : -1 : 1)*] [* 1585, -1, (-1 : -1 : 1)*] [* 2392, 2, (3 : -5 : 1)*] [* 2661, 4, (139/81 : 316/729 : 1)*] [* 3737, 5, (-2089/3025 : -174591/166375 : 1)*] [* 4813, 4, (139/81 : 316/729 : 1)*] [* 5889, 0, (0 : 1 : 0)*] [* 6965, -3, (-7/16 : -45/64 : 1)*] [* 7772, 3, (-7/16 : -19/64 : 1)*] [* 8041, -7, (-9063577/7789681 : -11807533791/21740999671 : 1)*] /* D = 241 (mod 269 ) [* 241, 3, (-7/16 : -19/64 : 1)*] [* 1048, 0, (0 : 1 : 0)*] [* 1317, 1, (-1 : 0 : 1)*] [* 2393, 3, (-7/16 : -19/64 : 1)*] [* 3469, -1, (-1 : -1 : 1)*] [* 5352, 0, (0 : 1 : 0)*] [* 5621, -2, (3 : 4 : 1)*] [* 6428, -1, (-1 : -1 : 1)*] [* 6697, -1, (-1 : -1 : 1)*] [* 7773, 1, (-1 : 0 : 1)*] [* 8849, -2, (3 : 4 : 1)*] [* 9656, -2, (3 : 4 : 1)*] /* D = 242 (mod 269 ) [* 780, 4, (139/81 : 316/729 : 1)*] [* 1049, 4, (139/81 : 316/729 : 1)*] [* 3201, 1, (-1 : 0 : 1)*] [* 4008, -2, (3 : 4 : 1)*] [* 4277, -2, (3 : 4 : 1)*] [* 5084, -2, (3 : 4 : 1)*] [* 5353, -5, (-2089/3025 : 8216/166375 : 1)*] [* 6429, 3, (-7/16 : -19/64 : 1)*] [* 7505, 0, (0 : 1 : 0)*] [* 8312, -4, (139/81 : -1045/729 : 1)*] [* 8581, -3, (-7/16 : -45/64 : 1)*] [* 9388, 3, (-7/16 : -19/64 : 1)*] /* D = 243 (mod 269 ) [* 781, -2, (3 : 4 : 1)*] [* 1857, -1, (-1 : -1 : 1)*] [* 2933, -1, (-1 : -1 : 1)*] [* 3740, 3, (-7/16 : -19/64 : 1)*] [* 4009, -2, (3 : 4 : 1)*] [* 6161, 1, (-1 : 0 : 1)*] [* 6968, 2, (3 : -5 : 1)*] [* 7237, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 8044, -3, (-7/16 : -45/64 : 1)*] [* 8313, -4, (139/81 : -1045/729 : 1)*] [* 9389, -2, (3 : 4 : 1)*] /* D = 247 (mod 269 ) [* 785, -1, (-1 : -1 : 1)*] [* 1592, -2, (3 : 4 : 1)*] [* 1861, 1, (-1 : 0 : 1)*] [* 2668, -1, (-1 : -1 : 1)*] [* 2937, 1, (-1 : 0 : 1)*] [* 4013, 0, (0 : 1 : 0)*] [* 5089, -5, (-2089/3025 : 8216/166375 : 1)*] [* 5896, -2, (3 : 4 : 1)*] [* 6972, 4, (139/81 : 316/729 : 1)*] [* 7241, 2, (3 : -5 : 1)*] [* 8317, -2, (3 : 4 : 1)*] [* 9393, 0, (0 : 1 : 0)*] /* D = 250 (mod 269 ) [* 1057, 3, (-7/16 : -19/64 : 1)*] [* 1864, 2, (3 : -5 : 1)*] [* 3209, -3, (-7/16 : -45/64 : 1)*] [* 4285, 1, (-1 : 0 : 1)*] [* 5361, 3, (-7/16 : -19/64 : 1)*] [* 6168, -4, (139/81 : -1045/729 : 1)*] [* 6437, 1, (-1 : 0 : 1)*] [* 7244, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 7513, -2, (3 : 4 : 1)*] [* 8589, 0, (0 : 1 : 0)*] [* 9665, -2, (3 : 4 : 1)*] /* D = 251 (mod 269 ) [* 520, -2, (3 : 4 : 1)*] [* 789, 5, (-2089/3025 : -174591/166375 : 1)*] [* 1596, 2, (3 : -5 : 1)*] [* 1865, -4, (139/81 : -1045/729 : 1)*] [* 2941, 1, (-1 : 0 : 1)*] [* 4017, 2, (3 : -5 : 1)*] [* 5093, 2, (3 : -5 : 1)*] [* 6169, 0, (0 : 1 : 0)*] [* 8321, -5, (-2089/3025 : 8216/166375 : 1)*] [* 9128, 0, (0 : 1 : 0)*] [* 9397, -3, (-7/16 : -45/64 : 1)*] /* D = 252 (mod 269 ) [* 521, 0, (0 : 1 : 0)*] [* 1597, 2, (3 : -5 : 1)*] [* 3480, 2, (3 : -5 : 1)*] [* 3749, -1, (-1 : -1 : 1)*] [* 4556, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 5901, 2, (3 : -5 : 1)*] [* 6977, -3, (-7/16 : -45/64 : 1)*] [* 7784, 0, (0 : 1 : 0)*] [* 8053, -2, (3 : 4 : 1)*] [* 8860, 2, (3 : -5 : 1)*] [* 9129, 4, (139/81 : 316/729 : 1)*] /* D = 254 (mod 269 ) [* 1061, 2, (3 : -5 : 1)*] [* 1868, 2, (3 : -5 : 1)*] [* 2137, 2, (3 : -5 : 1)*] [* 4289, -2, (3 : 4 : 1)*] [* 5365, -3, (-7/16 : -45/64 : 1)*] [* 6172, 3, (-7/16 : -19/64 : 1)*] [* 6441, -4, (139/81 : -1045/729 : 1)*] [* 7517, 5, (-2089/3025 : -174591/166375 : 1)*] [* 8593, 2, (3 : -5 : 1)*] [* 9669, 0, (0 : 1 : 0)*] /* D = 257 (mod 269 ) [* 257, -1, (-1 : -1 : 1)*] [* 1064, -2, (3 : 4 : 1)*] [* 1333, 2, (3 : -5 : 1)*] [* 2140, -3, (-7/16 : -45/64 : 1)*] [* 2409, 4, (139/81 : 316/729 : 1)*] [* 3485, 3, (-7/16 : -19/64 : 1)*] [* 4561, -1, (-1 : -1 : 1)*] [* 5368, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 5637, -1, (-1 : -1 : 1)*] [* 7789, -1, (-1 : -1 : 1)*] [* 9672, 0, (0 : 1 : 0)*] [* 9941, 0, (0 : 1 : 0)*] /* D = 259 (mod 269 ) [* 797, -1, (-1 : -1 : 1)*] [* 1873, 2, (3 : -5 : 1)*] [* 2680, 4, (139/81 : 316/729 : 1)*] [* 2949, 1, (-1 : 0 : 1)*] [* 3756, 3, (-7/16 : -19/64 : 1)*] [* 5101, 0, (0 : 1 : 0)*] [* 6177, -4, (139/81 : -1045/729 : 1)*] [* 7253, -1, (-1 : -1 : 1)*] [* 8060, 4, (139/81 : 316/729 : 1)*] [* 8329, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] /* D = 261 (mod 269 ) [* 1068, -1, (-1 : -1 : 1)*] [* 1337, -1, (-1 : -1 : 1)*] [* 2413, 0, (0 : 1 : 0)*] [* 3489, 7, (-9063577/7789681 : -9933465880/21740999671 : 1)*] [* 4296, 8, (1495770043/150038001 : -58160949070229/1837815474249 : 1)*] [* 4565, 1, (-1 : 0 : 1)*] [* 5372, 2, (3 : -5 : 1)*] [* 5641, 0, (0 : 1 : 0)*] [* 6717, -1, (-1 : -1 : 1)*] [* 7793, 0, (0 : 1 : 0)*] [* 9676, -2, (3 : 4 : 1)*] /* D = 262 (mod 269 ) [* 1069, 4, (139/81 : 316/729 : 1)*] [* 2145, -6, (142689/10816 : -54142609/1124864 : 1)*] [* 3221, -1, (-1 : -1 : 1)*] [* 4028, -8, (1495770043/150038001 : 56323133595980/1837815474249 : 1)*] [* 4297, 0, (0 : 1 : 0)*] [* 6449, 0, (0 : 1 : 0)*] [* 7256, 2, (3 : -5 : 1)*] [* 8332, 4, (139/81 : 316/729 : 1)*] [* 8601, -1, (-1 : -1 : 1)*] [* 9677, 0, (0 : 1 : 0)*] /* D = 266 (mod 269 ) [* 1073, 1, (-1 : 0 : 1)*] [* 1880, 2, (3 : -5 : 1)*] [* 2149, 0, (0 : 1 : 0)*] [* 2956, -4, (139/81 : -1045/729 : 1)*] [* 4301, 1, (-1 : 0 : 1)*] [* 5377, -2, (3 : 4 : 1)*] [* 6184, 0, (0 : 1 : 0)*] [* 7529, 0, (0 : 1 : 0)*] [* 8605, -3, (-7/16 : -45/64 : 1)*] [* 9681, -2, (3 : 4 : 1)*] /* D = 267 (mod 269 ) [* 536, 2, (3 : -5 : 1)*] [* 805, 3, (-7/16 : -19/64 : 1)*] [* 1612, 0, (0 : 1 : 0)*] [* 2957, 0, (0 : 1 : 0)*] [* 4033, -1, (-1 : -1 : 1)*] [* 5109, -4, (139/81 : -1045/729 : 1)*] [* 5916, -2, (3 : 4 : 1)*] [* 6185, 0, (0 : 1 : 0)*] [* 7261, -4, (139/81 : -1045/729 : 1)*] [* 8337, 6, (142689/10816 : 53017745/1124864 : 1)*] [* 9413, 0, (0 : 1 : 0)*] Total time: 143916.309 seconds, Total memory usage: 52.44MB