Magma V2.13-11 Sun Nov 18 2007 15:54:09 on amd19 [Seed = 1263299639] Type ? for help. Type -D to quit. Loading file "do-277" Loading "../data/M.277.1.plus" Loading "do_generic" Loading "padic.magma" Loading "integrals.magma" Loading "tate.magma" Loading "stark-heegner.magma" ------------------------------------------------------------------- You are now set up to perform Stark-Heegner point calculations on E = Elliptic Curve defined by y^2 + x*y + y = x^3 - 1 over Rational Field working over Qp = the 277-adic field mod 277^20 ------------------------------------------------------------------- /* D = 2 (mod 277 ) [* 556, 2, (7/4 : -31/8 : 1)*] [* 1941, 0, (0 : 1 : 0)*] [* 3049, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 3880, 2, (7/4 : -31/8 : 1)*] [* 4157, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 4988, -1, (1 : -2 : 1)*] [* 6373, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 7481 ) as a global point [* 7481, Infinity, 0*] [* 8312, -4, (4561/6400 : -596449/512000 : 1)*] [* 8589, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9420 ) as a global point [* 9420, Infinity, 0*] [* 9697, 0, (0 : 1 : 0)*] /* D = 5 (mod 277 ) [* 5, 1, (1 : 0 : 1)*] [* 1113, 0, (0 : 1 : 0)*] [* 2221, -1, (1 : -2 : 1)*] [* 3052, -2, (7/4 : 9/8 : 1)*] [* 3329, -1, (1 : -2 : 1)*] [* 5545, 0, (0 : 1 : 0)*] [* 6376, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6653, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7484, 3, (169/9 : 1946/27 : 1)*] [* 7761, -2, (7/4 : 9/8 : 1)*] [* 9977, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 6 (mod 277 ) [* 1945, -3, (169/9 : -2480/27 : 1)*] [* 2776, -2, (7/4 : 9/8 : 1)*] [* 3053, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 3884 ) as a global point [* 3884, Infinity, 0*] [* 4161, -2, (7/4 : 9/8 : 1)*] [* 5269, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6377 ) as a global point [* 6377, Infinity, 0*] [* 7208, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 7485, -4, (4561/6400 : -596449/512000 : 1)*] [* 8593, -3, (169/9 : -2480/27 : 1)*] [* 9701, -5, (1438009/375769 : 1241187606/230346397 : 1)*] /* D = 8 (mod 277 ) [* 8, -1, (1 : -2 : 1)*] [* 285, -2, (7/4 : 9/8 : 1)*] [* 1393, 2, (7/4 : -31/8 : 1)*] [* 2501, 1, (1 : 0 : 1)*] [* 4440, 4, (4561/6400 : -280431/512000 : 1)*] [* 4717, 3, (169/9 : 1946/27 : 1)*] [* 5548, 2, (7/4 : -31/8 : 1)*] [* 6933, 2, (7/4 : -31/8 : 1)*] [* 8041, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 8872 ) as a global point [* 8872, Infinity, 0*] [* 9149, 2, (7/4 : -31/8 : 1)*] [* 9980, 2, (7/4 : -31/8 : 1)*] /* D = 11 (mod 277 ) [* 565, -1, (1 : -2 : 1)*] [* 1673, -1, (1 : -2 : 1)*] [* 2504, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 3612, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3889, -5, (1438009/375769 : 1241187606/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 4997 ) as a global point [* 4997, Infinity, 0*] [* 6105, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 7213, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 8044, -1, (1 : -2 : 1)*] [* 8321, -1, (1 : -2 : 1)*] [* 9429, 0, (0 : 1 : 0)*] /* D = 14 (mod 277 ) [* 568, 0, (0 : 1 : 0)*] [* 1676, 1, (1 : 0 : 1)*] [* 3061, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4169, -3, (169/9 : -2480/27 : 1)*] [* 5277, -4, (4561/6400 : -596449/512000 : 1)*] [* 6108, 0, (0 : 1 : 0)*] [* 6385, -2, (7/4 : 9/8 : 1)*] [* 7493, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 8601, 0, (0 : 1 : 0)*] [* 9709, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 15 (mod 277 ) [* 569, -1, (1 : -2 : 1)*] [* 1677, 0, (0 : 1 : 0)*] [* 2508, 0, (0 : 1 : 0)*] [* 2785, -1, (1 : -2 : 1)*] [* 3893, -1, (1 : -2 : 1)*] [* 5001, -2, (7/4 : 9/8 : 1)*] [* 6109, -2, (7/4 : 9/8 : 1)*] [* 6940, -4, (4561/6400 : -596449/512000 : 1)*] [* 7217, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 9433, 2, (7/4 : -31/8 : 1)*] /* D = 17 (mod 277 ) [* 17, -1, (1 : -2 : 1)*] [* 2233, -1, (1 : -2 : 1)*] [* 3064, 2, (7/4 : -31/8 : 1)*] [* 3341, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 4172, 0, (0 : 1 : 0)*] [* 4449, 4, (4561/6400 : -280431/512000 : 1)*] [* 5557, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 6665 ) as a global point [* 6665, Infinity, 0*] [* 7496, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7773, 0, (0 : 1 : 0)*] [* 8881, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 9989, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 18 (mod 277 ) [* 572, -1, (1 : -2 : 1)*] [* 849, -4, (4561/6400 : -596449/512000 : 1)*] [* 1957, -1, (1 : -2 : 1)*] [* 3065, -3, (169/9 : -2480/27 : 1)*] [* 3896, 0, (0 : 1 : 0)*] [* 4173, -2, (7/4 : 9/8 : 1)*] [* 5281, 0, (0 : 1 : 0)*] [* 6389, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8328 ) as a global point [* 8328, Infinity, 0*] [* 8605, -2, (7/4 : 9/8 : 1)*] [* 9436, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9713 ) as a global point [* 9713, Infinity, 0*] /* D = 20 (mod 277 ) [* 1128, 0, (0 : 1 : 0)*] [* 1405, 0, (0 : 1 : 0)*] [* 2236, 1, (1 : 0 : 1)*] [* 2513, 0, (0 : 1 : 0)*] [* 3621, 2, (7/4 : -31/8 : 1)*] [* 4729, 0, (0 : 1 : 0)*] [* 5560, 4, (4561/6400 : -280431/512000 : 1)*] [* 5837, -3, (169/9 : -2480/27 : 1)*] [* 6668, 0, (0 : 1 : 0)*] [* 6945, 4, (4561/6400 : -280431/512000 : 1)*] [* 8053, 0, (0 : 1 : 0)*] [* 9161, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] *** Warning: The precision was insufficient to recognize P( 9992 ) as a global point [* 9992, Infinity, 0*] /* D = 24 (mod 277 ) [* 24, -2, (7/4 : 9/8 : 1)*] [* 301, -1, (1 : -2 : 1)*] [* 1132, 0, (0 : 1 : 0)*] [* 1409, -4, (4561/6400 : -596449/512000 : 1)*] [* 2517, -2, (7/4 : 9/8 : 1)*] [* 4456, 1, (1 : 0 : 1)*] [* 4733, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 5564 ) as a global point [* 5564, Infinity, 0*] [* 6949, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 8057, -2, (7/4 : 9/8 : 1)*] [* 8888, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 9165, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 26 (mod 277 ) [* 857, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 1688, 4, (4561/6400 : -280431/512000 : 1)*] [* 1965, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2796, 0, (0 : 1 : 0)*] [* 3073, -1, (1 : -2 : 1)*] [* 4181, 4, (4561/6400 : -280431/512000 : 1)*] [* 5289, -4, (4561/6400 : -596449/512000 : 1)*] [* 6397, -3, (169/9 : -2480/27 : 1)*] [* 7228, -2, (7/4 : 9/8 : 1)*] [* 7505, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9721, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 31 (mod 277 ) [* 1416, -2, (7/4 : 9/8 : 1)*] [* 1693, -1, (1 : -2 : 1)*] [* 2524, -3, (169/9 : -2480/27 : 1)*] [* 2801, 3, (169/9 : 1946/27 : 1)*] [* 3909, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 5017, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5848, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 6956 ) as a global point [* 6956, Infinity, 0*] [* 7233, 2, (7/4 : -31/8 : 1)*] [* 8341, 1, (1 : 0 : 1)*] [* 9449, 1, (1 : 0 : 1)*] /* D = 32 (mod 277 ) [* 309, 0, (0 : 1 : 0)*] [* 1417, -1, (1 : -2 : 1)*] [* 2248, 0, (0 : 1 : 0)*] [* 3356, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 3633, -2, (7/4 : 9/8 : 1)*] [* 4741, 2, (7/4 : -31/8 : 1)*] [* 5849, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 6680, 0, (0 : 1 : 0)*] [* 7788, 2, (7/4 : -31/8 : 1)*] [* 8065, 3, (169/9 : 1946/27 : 1)*] [* 9173, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 33 (mod 277 ) [* 33, 2, (7/4 : -31/8 : 1)*] [* 1141, 0, (0 : 1 : 0)*] [* 2249, -2, (7/4 : 9/8 : 1)*] [* 3080, -2, (7/4 : 9/8 : 1)*] [* 4188, 2, (7/4 : -31/8 : 1)*] [* 4465, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 5573, -1, (1 : -2 : 1)*] [* 6681, 4, (4561/6400 : -280431/512000 : 1)*] [* 7512, 4, (4561/6400 : -280431/512000 : 1)*] [* 7789, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 8620, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8897, -3, (169/9 : -2480/27 : 1)*] /* D = 35 (mod 277 ) [* 312, -2, (7/4 : 9/8 : 1)*] [* 589, 1, (1 : 0 : 1)*] [* 1420, 4, (4561/6400 : -280431/512000 : 1)*] [* 1697, 4, (4561/6400 : -280431/512000 : 1)*] [* 2805, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 3913, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4744, -3, (169/9 : -2480/27 : 1)*] [* 5021, -3, (169/9 : -2480/27 : 1)*] [* 5852, 4, (4561/6400 : -280431/512000 : 1)*] [* 7237, 2, (7/4 : -31/8 : 1)*] [* 8345, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 9176 ) as a global point [* 9176, Infinity, 0*] [* 9453, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] /* D = 37 (mod 277 ) [* 37, 0, (0 : 1 : 0)*] [* 1145, -1, (1 : -2 : 1)*] [* 1976, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 2253, -4, (4561/6400 : -596449/512000 : 1)*] [* 3084, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3361, 2, (7/4 : -31/8 : 1)*] [* 4469, 3, (169/9 : 1946/27 : 1)*] [* 6685, 2, (7/4 : -31/8 : 1)*] [* 7516, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 7793, 3, (169/9 : 1946/27 : 1)*] /* D = 38 (mod 277 ) [* 869, 4, (4561/6400 : -280431/512000 : 1)*] [* 1977, -2, (7/4 : 9/8 : 1)*] [* 3085, 1, (1 : 0 : 1)*] [* 3916, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 4193, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6409, -1, (1 : -2 : 1)*] [* 7240, 0, (0 : 1 : 0)*] [* 7517, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 8348, 4, (4561/6400 : -280431/512000 : 1)*] [* 9733, -1, (1 : -2 : 1)*] /* D = 42 (mod 277 ) [* 1704, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 1981, 0, (0 : 1 : 0)*] [* 2812, -4, (4561/6400 : -596449/512000 : 1)*] [* 3089, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 4197, 2, (7/4 : -31/8 : 1)*] [* 5305, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6136, -2, (7/4 : 9/8 : 1)*] [* 7244, -1, (1 : -2 : 1)*] [* 7521, 4, (4561/6400 : -280431/512000 : 1)*] [* 8629, -4, (4561/6400 : -596449/512000 : 1)*] [* 9737, -1, (1 : -2 : 1)*] /* D = 43 (mod 277 ) [* 597, 2, (7/4 : -31/8 : 1)*] [* 1705, 3, (169/9 : 1946/27 : 1)*] [* 2536, -1, (1 : -2 : 1)*] [* 2813, 2, (7/4 : -31/8 : 1)*] [* 3644, 1, (1 : 0 : 1)*] [* 3921, 0, (0 : 1 : 0)*] [* 5029, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 6968 ) as a global point [* 6968, Infinity, 0*] [* 8076, -4, (4561/6400 : -596449/512000 : 1)*] [* 8353, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9461 ) as a global point [* 9461, Infinity, 0*] /* D = 44 (mod 277 ) [* 44, -1, (1 : -2 : 1)*] [* 321, 4, (4561/6400 : -280431/512000 : 1)*] [* 1429, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 2537 ) as a global point [* 2537, Infinity, 0*] [* 3368, 0, (0 : 1 : 0)*] [* 4476, 2, (7/4 : -31/8 : 1)*] [* 5861, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6969, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8077, 0, (0 : 1 : 0)*] [* 8908, 0, (0 : 1 : 0)*] [* 9185, 3, (169/9 : 1946/27 : 1)*] /* D = 45 (mod 277 ) [* 876, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 1153, -2, (7/4 : 9/8 : 1)*] [* 2261, 4, (4561/6400 : -280431/512000 : 1)*] [* 3369, -2, (7/4 : 9/8 : 1)*] [* 5308, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 5585 ) as a global point [* 5585, Infinity, 0*] [* 6693, -2, (7/4 : 9/8 : 1)*] [* 7801, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 8632, 0, (0 : 1 : 0)*] [* 8909, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] *** Warning: The precision was insufficient to recognize P( 9740 ) as a global point [* 9740, Infinity, 0*] /* D = 46 (mod 277 ) [* 877, 2, (7/4 : -31/8 : 1)*] [* 1708, 0, (0 : 1 : 0)*] [* 1985, 3, (169/9 : 1946/27 : 1)*] [* 3093, 4, (4561/6400 : -280431/512000 : 1)*] [* 4201, 3, (169/9 : 1946/27 : 1)*] [* 5032, 2, (7/4 : -31/8 : 1)*] [* 5309, -2, (7/4 : 9/8 : 1)*] [* 6140, 2, (7/4 : -31/8 : 1)*] [* 8633, -2, (7/4 : 9/8 : 1)*] [* 9741, 0, (0 : 1 : 0)*] /* D = 50 (mod 277 ) [* 604, 0, (0 : 1 : 0)*] [* 881, -3, (169/9 : -2480/27 : 1)*] [* 3097, 0, (0 : 1 : 0)*] [* 3928, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 5036 ) as a global point [* 5036, Infinity, 0*] [* 5313, -2, (7/4 : 9/8 : 1)*] [* 6421, -2, (7/4 : 9/8 : 1)*] [* 7529, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 8360, -2, (7/4 : 9/8 : 1)*] [* 8637, -4, (4561/6400 : -596449/512000 : 1)*] [* 9745, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 51 (mod 277 ) [* 328, 1, (1 : 0 : 1)*] [* 1436, 2, (7/4 : -31/8 : 1)*] [* 1713, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 2821, -3, (169/9 : -2480/27 : 1)*] [* 3929, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 4760 ) as a global point [* 4760, Infinity, 0*] [* 5037, -2, (7/4 : 9/8 : 1)*] [* 6145, 2, (7/4 : -31/8 : 1)*] [* 7253, -1, (1 : -2 : 1)*] [* 9192, 2, (7/4 : -31/8 : 1)*] [* 9469, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] /* D = 53 (mod 277 ) [* 53, 1, (1 : 0 : 1)*] [* 1992, -2, (7/4 : 9/8 : 1)*] [* 2269, -3, (169/9 : -2480/27 : 1)*] [* 3377, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4485, -2, (7/4 : 9/8 : 1)*] [* 5593, 4, (4561/6400 : -280431/512000 : 1)*] [* 6424, -4, (4561/6400 : -596449/512000 : 1)*] [* 6701, 0, (0 : 1 : 0)*] [* 7532, 2, (7/4 : -31/8 : 1)*] [* 7809, 0, (0 : 1 : 0)*] [* 8917, -2, (7/4 : 9/8 : 1)*] /* D = 54 (mod 277 ) [* 885, 0, (0 : 1 : 0)*] [* 1993, -2, (7/4 : 9/8 : 1)*] [* 2824, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 3101, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 3932 ) as a global point [* 3932, Infinity, 0*] [* 4209, -2, (7/4 : 9/8 : 1)*] [* 5317, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 7256 ) as a global point [* 7256, Infinity, 0*] *** Warning: The precision was insufficient to recognize P( 8364 ) as a global point [* 8364, Infinity, 0*] [* 8641, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 9749 ) as a global point [* 9749, Infinity, 0*] /* D = 56 (mod 277 ) [* 56, -2, (7/4 : 9/8 : 1)*] [* 1164, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 1441, -1, (1 : -2 : 1)*] [* 2549, 2, (7/4 : -31/8 : 1)*] [* 3657, 2, (7/4 : -31/8 : 1)*] [* 4488, 0, (0 : 1 : 0)*] [* 4765, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5596, 3, (169/9 : 1946/27 : 1)*] [* 5873, 3, (169/9 : 1946/27 : 1)*] [* 6981, -2, (7/4 : 9/8 : 1)*] [* 8089, 2, (7/4 : -31/8 : 1)*] [* 8920, 0, (0 : 1 : 0)*] [* 9197, 3, (169/9 : 1946/27 : 1)*] /* D = 58 (mod 277 ) [* 889, -3, (169/9 : -2480/27 : 1)*] [* 1720, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 1997, 4, (4561/6400 : -280431/512000 : 1)*] [* 2828, 4, (4561/6400 : -280431/512000 : 1)*] [* 4213, -2, (7/4 : 9/8 : 1)*] [* 5321, -4, (4561/6400 : -596449/512000 : 1)*] [* 6152, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 6429, -2, (7/4 : 9/8 : 1)*] [* 7537, 3, (169/9 : 1946/27 : 1)*] [* 8645, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 9753, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 60 (mod 277 ) [* 60, -2, (7/4 : 9/8 : 1)*] [* 337, -1, (1 : -2 : 1)*] [* 2553, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3661, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 4492, 3, (169/9 : 1946/27 : 1)*] [* 4769, -4, (4561/6400 : -596449/512000 : 1)*] [* 6985, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 7816, -3, (169/9 : -2480/27 : 1)*] [* 8093, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 8924 ) as a global point [* 8924, Infinity, 0*] [* 9201, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] /* D = 61 (mod 277 ) [* 61, 1, (1 : 0 : 1)*] [* 892, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 1169 ) as a global point [* 1169, Infinity, 0*] [* 3385, 4, (4561/6400 : -280431/512000 : 1)*] [* 4216, 0, (0 : 1 : 0)*] [* 4493, -3, (169/9 : -2480/27 : 1)*] [* 5601, 0, (0 : 1 : 0)*] [* 6709, 1, (1 : 0 : 1)*] [* 7817, 5, (1438009/375769 : -2353033520/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 8648 ) as a global point [* 8648, Infinity, 0*] /* D = 65 (mod 277 ) [* 65, 1, (1 : 0 : 1)*] [* 1173, 0, (0 : 1 : 0)*] [* 2281, 4, (4561/6400 : -280431/512000 : 1)*] [* 3112, 1, (1 : 0 : 1)*] [* 3389, -2, (7/4 : 9/8 : 1)*] [* 4220, 4, (4561/6400 : -280431/512000 : 1)*] [* 4497, 0, (0 : 1 : 0)*] [* 5605, 0, (0 : 1 : 0)*] [* 7544, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8652, -2, (7/4 : 9/8 : 1)*] [* 8929, -5, (1438009/375769 : 1241187606/230346397 : 1)*] /* D = 68 (mod 277 ) [* 345, -2, (7/4 : 9/8 : 1)*] [* 1453, 0, (0 : 1 : 0)*] [* 2284, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 2561 ) as a global point [* 2561, Infinity, 0*] [* 3669, 2, (7/4 : -31/8 : 1)*] [* 4777, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 5608, 1, (1 : 0 : 1)*] [* 5885, 3, (169/9 : 1946/27 : 1)*] [* 6716, -2, (7/4 : 9/8 : 1)*] [* 8101, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 9209 ) as a global point [* 9209, Infinity, 0*] /* D = 72 (mod 277 ) [* 349, -2, (7/4 : 9/8 : 1)*] [* 1180, 2, (7/4 : -31/8 : 1)*] [* 1457, -2, (7/4 : 9/8 : 1)*] [* 3673, 4, (4561/6400 : -280431/512000 : 1)*] [* 4504, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 4781, -2, (7/4 : 9/8 : 1)*] [* 5612, 0, (0 : 1 : 0)*] [* 5889, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6997, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 8105 ) as a global point [* 8105, Infinity, 0*] [* 8936, 4, (4561/6400 : -280431/512000 : 1)*] [* 9213, 2, (7/4 : -31/8 : 1)*] /* D = 73 (mod 277 ) [* 73, 0, (0 : 1 : 0)*] [* 904, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 1181 ) as a global point [* 1181, Infinity, 0*] [* 2012, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2289, -2, (7/4 : 9/8 : 1)*] [* 3397, 0, (0 : 1 : 0)*] [* 4505, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5336, -4, (4561/6400 : -596449/512000 : 1)*] [* 5613, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6721, 2, (7/4 : -31/8 : 1)*] [* 7829, 0, (0 : 1 : 0)*] [* 9768, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 77 (mod 277 ) [* 77, 1, (1 : 0 : 1)*] [* 908, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 1185, 2, (7/4 : -31/8 : 1)*] [* 2293, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 3401 ) as a global point [* 3401, Infinity, 0*] [* 5340, 2, (7/4 : -31/8 : 1)*] [* 5617, 0, (0 : 1 : 0)*] [* 7833, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 8941, -2, (7/4 : 9/8 : 1)*] [* 9772, -2, (7/4 : 9/8 : 1)*] /* D = 78 (mod 277 ) [* 632, 2, (7/4 : -31/8 : 1)*] [* 1740, 2, (7/4 : -31/8 : 1)*] [* 2017, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 4233 ) as a global point [* 4233, Infinity, 0*] [* 5064, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6172, -2, (7/4 : 9/8 : 1)*] [* 6449, 1, (1 : 0 : 1)*] [* 7557, 0, (0 : 1 : 0)*] [* 8665, -4, (4561/6400 : -596449/512000 : 1)*] [* 9496, -2, (7/4 : 9/8 : 1)*] [* 9773, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 80 (mod 277 ) [* 357, -2, (7/4 : 9/8 : 1)*] [* 1465, 0, (0 : 1 : 0)*] [* 2296, 2, (7/4 : -31/8 : 1)*] [* 2573, -1, (1 : -2 : 1)*] [* 3404, -2, (7/4 : 9/8 : 1)*] [* 4789, -1, (1 : -2 : 1)*] [* 5897, -3, (169/9 : -2480/27 : 1)*] [* 7005, -2, (7/4 : 9/8 : 1)*] [* 7836, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8113, 0, (0 : 1 : 0)*] [* 9221, -3, (169/9 : -2480/27 : 1)*] /* D = 82 (mod 277 ) [* 636, 2, (7/4 : -31/8 : 1)*] [* 913, -1, (1 : -2 : 1)*] [* 2021, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3129, -4, (4561/6400 : -596449/512000 : 1)*] [* 4237, 0, (0 : 1 : 0)*] [* 5068, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 5345, -3, (169/9 : -2480/27 : 1)*] [* 7561, -4, (4561/6400 : -596449/512000 : 1)*] [* 8392, 3, (169/9 : 1946/27 : 1)*] [* 8669, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9777, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 93 (mod 277 ) [* 93, 0, (0 : 1 : 0)*] [* 924, 2, (7/4 : -31/8 : 1)*] [* 1201, 1, (1 : 0 : 1)*] [* 2309, 1, (1 : 0 : 1)*] [* 3417, -4, (4561/6400 : -596449/512000 : 1)*] [* 5356, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 5633 ) as a global point [* 5633, Infinity, 0*] [* 7849, -4, (4561/6400 : -596449/512000 : 1)*] [* 8680, 2, (7/4 : -31/8 : 1)*] [* 9788, -2, (7/4 : 9/8 : 1)*] /* D = 94 (mod 277 ) [* 1756, -3, (169/9 : -2480/27 : 1)*] [* 2033, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 4249, 3, (169/9 : 1946/27 : 1)*] [* 5080, -4, (4561/6400 : -596449/512000 : 1)*] [* 5357, -2, (7/4 : 9/8 : 1)*] [* 6188, 2, (7/4 : -31/8 : 1)*] [* 6465, 2, (7/4 : -31/8 : 1)*] [* 7573, -2, (7/4 : 9/8 : 1)*] [* 8681, -2, (7/4 : 9/8 : 1)*] [* 9512, 1, (1 : 0 : 1)*] [* 9789, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 95 (mod 277 ) [* 649, -1, (1 : -2 : 1)*] [* 1480, -4, (4561/6400 : -596449/512000 : 1)*] [* 1757, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 2588 ) as a global point [* 2588, Infinity, 0*] [* 2865, -4, (4561/6400 : -596449/512000 : 1)*] [* 3973, 0, (0 : 1 : 0)*] [* 5081, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5912, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6189, 4, (4561/6400 : -280431/512000 : 1)*] [* 7297, 2, (7/4 : -31/8 : 1)*] /* D = 96 (mod 277 ) [* 373, 0, (0 : 1 : 0)*] [* 1481, 2, (7/4 : -31/8 : 1)*] [* 2589, 2, (7/4 : -31/8 : 1)*] [* 3697, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6744 ) as a global point [* 6744, Infinity, 0*] [* 7021, 0, (0 : 1 : 0)*] [* 7852, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8129, 3, (169/9 : 1946/27 : 1)*] [* 9237, 0, (0 : 1 : 0)*] /* D = 97 (mod 277 ) [* 97, -2, (7/4 : 9/8 : 1)*] [* 1205, 3, (169/9 : 1946/27 : 1)*] [* 3144, 4, (4561/6400 : -280431/512000 : 1)*] [* 3421, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 4252, 0, (0 : 1 : 0)*] [* 4529, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 5637, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6745, -2, (7/4 : 9/8 : 1)*] [* 7576, 4, (4561/6400 : -280431/512000 : 1)*] [* 7853, 1, (1 : 0 : 1)*] [* 8684, -3, (169/9 : -2480/27 : 1)*] [* 8961, 0, (0 : 1 : 0)*] /* D = 98 (mod 277 ) [* 652, 2, (7/4 : -31/8 : 1)*] [* 929, -1, (1 : -2 : 1)*] [* 2037, -2, (7/4 : 9/8 : 1)*] [* 3145, -2, (7/4 : 9/8 : 1)*] [* 3976, 2, (7/4 : -31/8 : 1)*] [* 4253, 4, (4561/6400 : -280431/512000 : 1)*] [* 5084, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 5361 ) as a global point [* 5361, Infinity, 0*] [* 6469, 1, (1 : 0 : 1)*] [* 7577, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 8408, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9516 ) as a global point [* 9516, Infinity, 0*] [* 9793, 3, (169/9 : 1946/27 : 1)*] /* D = 99 (mod 277 ) [* 376, 2, (7/4 : -31/8 : 1)*] [* 653, -1, (1 : -2 : 1)*] [* 1484, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 1761, -2, (7/4 : 9/8 : 1)*] [* 2869, 2, (7/4 : -31/8 : 1)*] [* 3977, 0, (0 : 1 : 0)*] [* 4808, 0, (0 : 1 : 0)*] [* 5916, 0, (0 : 1 : 0)*] [* 6193, -2, (7/4 : 9/8 : 1)*] [* 8409, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9240, 4, (4561/6400 : -280431/512000 : 1)*] [* 9517, -1, (1 : -2 : 1)*] /* D = 101 (mod 277 ) [* 101, 0, (0 : 1 : 0)*] [* 1209, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2040, 4, (4561/6400 : -280431/512000 : 1)*] [* 2317, 3, (169/9 : 1946/27 : 1)*] [* 3148, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4533, 0, (0 : 1 : 0)*] [* 5641, -2, (7/4 : 9/8 : 1)*] [* 6472, 3, (169/9 : 1946/27 : 1)*] [* 6749, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] *** Warning: The precision was insufficient to recognize P( 7580 ) as a global point [* 7580, Infinity, 0*] [* 8965, -2, (7/4 : 9/8 : 1)*] /* D = 103 (mod 277 ) [* 380, -2, (7/4 : 9/8 : 1)*] [* 1765, 1, (1 : 0 : 1)*] [* 3704, 0, (0 : 1 : 0)*] [* 3981, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 4812, -2, (7/4 : 9/8 : 1)*] [* 5089, 3, (169/9 : 1946/27 : 1)*] [* 6197, 0, (0 : 1 : 0)*] [* 7305, 2, (7/4 : -31/8 : 1)*] [* 8413, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9244, -3, (169/9 : -2480/27 : 1)*] [* 9521, 3, (169/9 : 1946/27 : 1)*] /* D = 104 (mod 277 ) [* 104, -3, (169/9 : -2480/27 : 1)*] [* 381, -2, (7/4 : 9/8 : 1)*] [* 1212, -2, (7/4 : 9/8 : 1)*] [* 1489, 0, (0 : 1 : 0)*] [* 3705, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 4813, 0, (0 : 1 : 0)*] [* 5644, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 5921 ) as a global point [* 5921, Infinity, 0*] [* 8137, -2, (7/4 : 9/8 : 1)*] [* 8968, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 105 (mod 277 ) [* 105, 0, (0 : 1 : 0)*] [* 1213, -1, (1 : -2 : 1)*] [* 2044, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 2321 ) as a global point [* 2321, Infinity, 0*] [* 4537, -2, (7/4 : 9/8 : 1)*] [* 5368, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5645, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6476 ) as a global point [* 6476, Infinity, 0*] [* 6753, 0, (0 : 1 : 0)*] [* 7861, 1, (1 : 0 : 1)*] [* 8969, -2, (7/4 : 9/8 : 1)*] /* D = 107 (mod 277 ) [* 661, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 1769, -3, (169/9 : -2480/27 : 1)*] [* 2877, 4, (4561/6400 : -280431/512000 : 1)*] [* 3985, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 5093, 0, (0 : 1 : 0)*] [* 7032, 0, (0 : 1 : 0)*] [* 7309, 1, (1 : 0 : 1)*] [* 8140, 4, (4561/6400 : -280431/512000 : 1)*] [* 8417, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] /* D = 109 (mod 277 ) [* 109, 1, (1 : 0 : 1)*] [* 940, 0, (0 : 1 : 0)*] [* 1217, -4, (4561/6400 : -596449/512000 : 1)*] [* 3433, 0, (0 : 1 : 0)*] [* 4264, -1, (1 : -2 : 1)*] [* 4541, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 5372 ) as a global point [* 5372, Infinity, 0*] [* 5649, -4, (4561/6400 : -596449/512000 : 1)*] [* 6757, -1, (1 : -2 : 1)*] [* 8696, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9804, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 110 (mod 277 ) [* 664, 2, (7/4 : -31/8 : 1)*] [* 941, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 1772, 3, (169/9 : 1946/27 : 1)*] [* 2049, -4, (4561/6400 : -596449/512000 : 1)*] [* 3157, 1, (1 : 0 : 1)*] [* 4265, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6204, 0, (0 : 1 : 0)*] [* 6481, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 7589, 4, (4561/6400 : -280431/512000 : 1)*] [* 8697, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 9528, -2, (7/4 : 9/8 : 1)*] [* 9805, 0, (0 : 1 : 0)*] /* D = 111 (mod 277 ) [* 665, 0, (0 : 1 : 0)*] [* 1496, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2604, -2, (7/4 : 9/8 : 1)*] [* 2881, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 3989 ) as a global point [* 3989, Infinity, 0*] [* 5097, 4, (4561/6400 : -280431/512000 : 1)*] [* 5928, 0, (0 : 1 : 0)*] [* 6205, 0, (0 : 1 : 0)*] [* 7036, 1, (1 : 0 : 1)*] [* 7313, 3, (169/9 : 1946/27 : 1)*] [* 8421, -4, (4561/6400 : -596449/512000 : 1)*] [* 9529, -3, (169/9 : -2480/27 : 1)*] /* D = 114 (mod 277 ) [* 668, -3, (169/9 : -2480/27 : 1)*] [* 2053, -1, (1 : -2 : 1)*] [* 3161, 1, (1 : 0 : 1)*] [* 3992, 0, (0 : 1 : 0)*] [* 4269, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 5377, 2, (7/4 : -31/8 : 1)*] [* 6485, -1, (1 : -2 : 1)*] [* 7593, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 8701, 1, (1 : 0 : 1)*] [* 9532, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 9809 ) as a global point [* 9809, Infinity, 0*] /* D = 115 (mod 277 ) [* 669, 0, (0 : 1 : 0)*] [* 1777, -1, (1 : -2 : 1)*] [* 2885, 1, (1 : 0 : 1)*] [* 5101, 2, (7/4 : -31/8 : 1)*] [* 5932, 3, (169/9 : 1946/27 : 1)*] [* 6209, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 9256, -1, (1 : -2 : 1)*] [* 9533, -2, (7/4 : 9/8 : 1)*] /* D = 118 (mod 277 ) [* 949, -2, (7/4 : 9/8 : 1)*] [* 3165, -2, (7/4 : 9/8 : 1)*] [* 4273, -4, (4561/6400 : -596449/512000 : 1)*] [* 5381, -4, (4561/6400 : -596449/512000 : 1)*] [* 7320, 0, (0 : 1 : 0)*] [* 7597, 1, (1 : 0 : 1)*] [* 8705, 1, (1 : 0 : 1)*] [* 9813, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] /* D = 119 (mod 277 ) [* 673, 1, (1 : 0 : 1)*] [* 1781, -2, (7/4 : 9/8 : 1)*] [* 3720, -2, (7/4 : 9/8 : 1)*] [* 3997, 1, (1 : 0 : 1)*] [* 4828, 0, (0 : 1 : 0)*] [* 5105, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 6213, 0, (0 : 1 : 0)*] [* 7321, -4, (4561/6400 : -596449/512000 : 1)*] [* 8152, 2, (7/4 : -31/8 : 1)*] [* 8429, 0, (0 : 1 : 0)*] [* 9260, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 124 (mod 277 ) [* 124, -3, (169/9 : -2480/27 : 1)*] [* 401, -1, (1 : -2 : 1)*] [* 1509, -4, (4561/6400 : -596449/512000 : 1)*] [* 2617, -2, (7/4 : 9/8 : 1)*] [* 3448, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 4556 ) as a global point [* 4556, Infinity, 0*] [* 5941, 1, (1 : 0 : 1)*] [* 7049, -2, (7/4 : 9/8 : 1)*] [* 7880, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 8157, 2, (7/4 : -31/8 : 1)*] [* 8988, 2, (7/4 : -31/8 : 1)*] [* 9265, -2, (7/4 : 9/8 : 1)*] /* D = 125 (mod 277 ) [* 956, -3, (169/9 : -2480/27 : 1)*] [* 2341, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 3449 ) as a global point [* 3449, Infinity, 0*] [* 4280, 2, (7/4 : -31/8 : 1)*] [* 5388, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5665, -1, (1 : -2 : 1)*] [* 6773, 3, (169/9 : 1946/27 : 1)*] [* 7881, -2, (7/4 : 9/8 : 1)*] [* 8989, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9820, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] /* D = 126 (mod 277 ) [* 680, 2, (7/4 : -31/8 : 1)*] [* 957, 2, (7/4 : -31/8 : 1)*] [* 1788, 4, (4561/6400 : -280431/512000 : 1)*] [* 2065, -2, (7/4 : 9/8 : 1)*] [* 3173, 1, (1 : 0 : 1)*] [* 4281, 0, (0 : 1 : 0)*] [* 5389, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6220, 0, (0 : 1 : 0)*] [* 6497, 0, (0 : 1 : 0)*] [* 8713, 0, (0 : 1 : 0)*] [* 9544, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 9821, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] /* D = 127 (mod 277 ) [* 681, 0, (0 : 1 : 0)*] [* 1789, -2, (7/4 : 9/8 : 1)*] [* 2620, 0, (0 : 1 : 0)*] [* 2897, 1, (1 : 0 : 1)*] [* 5113, 3, (169/9 : 1946/27 : 1)*] [* 5944, 2, (7/4 : -31/8 : 1)*] [* 6221, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 7052 ) as a global point [* 7052, Infinity, 0*] [* 7329, -2, (7/4 : 9/8 : 1)*] [* 8437, -1, (1 : -2 : 1)*] [* 9545, 0, (0 : 1 : 0)*] /* D = 128 (mod 277 ) [* 1513, -1, (1 : -2 : 1)*] [* 2344, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2621, -2, (7/4 : 9/8 : 1)*] [* 3452, 3, (169/9 : 1946/27 : 1)*] [* 3729, -4, (4561/6400 : -596449/512000 : 1)*] [* 4837, -1, (1 : -2 : 1)*] [* 5945, 3, (169/9 : 1946/27 : 1)*] [* 7053, 0, (0 : 1 : 0)*] [* 8161, -1, (1 : -2 : 1)*] [* 9269, 1, (1 : 0 : 1)*] /* D = 129 (mod 277 ) [* 129, 2, (7/4 : -31/8 : 1)*] [* 1237, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 2345 ) as a global point [* 2345, Infinity, 0*] [* 3176, -1, (1 : -2 : 1)*] [* 3453, 2, (7/4 : -31/8 : 1)*] [* 4561, -3, (169/9 : -2480/27 : 1)*] [* 5669, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 7608 ) as a global point [* 7608, Infinity, 0*] [* 7885, -2, (7/4 : 9/8 : 1)*] [* 8716, 1, (1 : 0 : 1)*] /* D = 132 (mod 277 ) [* 409, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 1240, 0, (0 : 1 : 0)*] [* 1517, -2, (7/4 : 9/8 : 1)*] [* 2348, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 3733, 0, (0 : 1 : 0)*] [* 4841, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 5672, 3, (169/9 : 1946/27 : 1)*] [* 6780, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 7057, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 8165, 2, (7/4 : -31/8 : 1)*] [* 9273, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] /* D = 134 (mod 277 ) [* 965, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 2073, 2, (7/4 : -31/8 : 1)*] [* 3181, -4, (4561/6400 : -596449/512000 : 1)*] [* 4012, 4, (4561/6400 : -280431/512000 : 1)*] [* 4289, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 5397, 0, (0 : 1 : 0)*] [* 6505, 2, (7/4 : -31/8 : 1)*] [* 7336, 0, (0 : 1 : 0)*] [* 7613, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 8444 ) as a global point [* 8444, Infinity, 0*] [* 9829, 1, (1 : 0 : 1)*] /* D = 135 (mod 277 ) [* 412, 3, (169/9 : 1946/27 : 1)*] [* 689, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 1797, -2, (7/4 : 9/8 : 1)*] [* 2905, 2, (7/4 : -31/8 : 1)*] [* 3736, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 4013, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 4844 ) as a global point [* 4844, Infinity, 0*] [* 6229, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 7337 ) as a global point [* 7337, Infinity, 0*] [* 8168, -1, (1 : -2 : 1)*] [* 8445, 2, (7/4 : -31/8 : 1)*] [* 9276, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9553, -5, (1438009/375769 : 1241187606/230346397 : 1)*] /* D = 137 (mod 277 ) [* 137, -2, (7/4 : 9/8 : 1)*] [* 1245, 0, (0 : 1 : 0)*] [* 2076, -2, (7/4 : 9/8 : 1)*] [* 2353, 1, (1 : 0 : 1)*] [* 3461, -5, (1438009/375769 : 1241187606/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 4569 ) as a global point [* 4569, Infinity, 0*] [* 5677, 3, (169/9 : 1946/27 : 1)*] [* 6508, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6785 ) as a global point [* 6785, Infinity, 0*] *** Warning: The precision was insufficient to recognize P( 9001 ) as a global point [* 9001, Infinity, 0*] [* 9832, 0, (0 : 1 : 0)*] /* D = 138 (mod 277 ) [* 969, 0, (0 : 1 : 0)*] [* 2077, 1, (1 : 0 : 1)*] [* 2908, -1, (1 : -2 : 1)*] [* 5401, -4, (4561/6400 : -596449/512000 : 1)*] [* 6232, 0, (0 : 1 : 0)*] [* 6509, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 7340, 2, (7/4 : -31/8 : 1)*] [* 7617, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 9833 ) as a global point [* 9833, Infinity, 0*] /* D = 139 (mod 277 ) [* 1801, -3, (169/9 : -2480/27 : 1)*] [* 2632, -2, (7/4 : 9/8 : 1)*] [* 2909, -1, (1 : -2 : 1)*] [* 3740, -2, (7/4 : 9/8 : 1)*] [* 4017, -2, (7/4 : 9/8 : 1)*] [* 6233, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7064, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 7341, -4, (4561/6400 : -596449/512000 : 1)*] [* 8449, -4, (4561/6400 : -596449/512000 : 1)*] [* 9557, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 140 (mod 277 ) [* 140, 2, (7/4 : -31/8 : 1)*] [* 417, 2, (7/4 : -31/8 : 1)*] [* 2633, 0, (0 : 1 : 0)*] [* 3464, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 3741, -2, (7/4 : 9/8 : 1)*] [* 4849, -2, (7/4 : 9/8 : 1)*] [* 5957, -4, (4561/6400 : -596449/512000 : 1)*] [* 7896, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 8173, 2, (7/4 : -31/8 : 1)*] [* 9004, -2, (7/4 : 9/8 : 1)*] [* 9281, -3, (169/9 : -2480/27 : 1)*] /* D = 142 (mod 277 ) [* 696, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 973, 2, (7/4 : -31/8 : 1)*] [* 1804, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 2081, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3189, 4, (4561/6400 : -280431/512000 : 1)*] [* 4297, 2, (7/4 : -31/8 : 1)*] [* 5128, 1, (1 : 0 : 1)*] [* 5405, -2, (7/4 : 9/8 : 1)*] [* 6236, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6513, 4, (4561/6400 : -280431/512000 : 1)*] [* 7621, -5, (1438009/375769 : 1241187606/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 8729 ) as a global point [* 8729, Infinity, 0*] [* 9560, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 143 (mod 277 ) [* 697, 3, (169/9 : 1946/27 : 1)*] [* 1528, 0, (0 : 1 : 0)*] [* 2636, 3, (169/9 : 1946/27 : 1)*] [* 2913, 4, (4561/6400 : -280431/512000 : 1)*] [* 4021, -4, (4561/6400 : -596449/512000 : 1)*] [* 5129, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 5960 ) as a global point [* 5960, Infinity, 0*] [* 7068, -4, (4561/6400 : -596449/512000 : 1)*] [* 7345, 1, (1 : 0 : 1)*] [* 8453, 0, (0 : 1 : 0)*] [* 9561, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] /* D = 145 (mod 277 ) [* 145, 3, (169/9 : 1946/27 : 1)*] [* 1253, 2, (7/4 : -31/8 : 1)*] [* 2361, 0, (0 : 1 : 0)*] [* 3192, -4, (4561/6400 : -596449/512000 : 1)*] [* 3469, 0, (0 : 1 : 0)*] [* 4577, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5685, 0, (0 : 1 : 0)*] [* 6793, 3, (169/9 : 1946/27 : 1)*] [* 7624, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 7901, 0, (0 : 1 : 0)*] [* 8732, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] /* D = 148 (mod 277 ) *** Warning: The precision was insufficient to recognize P( 1256 ) as a global point [* 1256, Infinity, 0*] [* 1533, -2, (7/4 : 9/8 : 1)*] [* 2364, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2641, 4, (4561/6400 : -280431/512000 : 1)*] [* 3749, -4, (4561/6400 : -596449/512000 : 1)*] [* 4857, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 5965, -1, (1 : -2 : 1)*] [* 6796, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7073, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 9289, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 149 (mod 277 ) [* 149, 0, (0 : 1 : 0)*] [* 1257, 2, (7/4 : -31/8 : 1)*] [* 2365, 1, (1 : 0 : 1)*] [* 3196, -2, (7/4 : 9/8 : 1)*] [* 3473, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 5689 ) as a global point [* 5689, Infinity, 0*] [* 6520, 4, (4561/6400 : -280431/512000 : 1)*] [* 6797, 3, (169/9 : 1946/27 : 1)*] [* 7628, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7905, 2, (7/4 : -31/8 : 1)*] [* 9013, -1, (1 : -2 : 1)*] /* D = 150 (mod 277 ) [* 2089, 0, (0 : 1 : 0)*] [* 2920, -4, (4561/6400 : -596449/512000 : 1)*] [* 3197, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 4028, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 4305, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 5413, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6521 ) as a global point [* 6521, Infinity, 0*] [* 7352, 0, (0 : 1 : 0)*] [* 7629, 0, (0 : 1 : 0)*] [* 8737, 2, (7/4 : -31/8 : 1)*] [* 9845, 0, (0 : 1 : 0)*] /* D = 151 (mod 277 ) [* 428, 1, (1 : 0 : 1)*] [* 705, 4, (4561/6400 : -280431/512000 : 1)*] [* 2921, -3, (169/9 : -2480/27 : 1)*] [* 3752, -4, (4561/6400 : -596449/512000 : 1)*] [* 4029, -2, (7/4 : 9/8 : 1)*] [* 5137, -3, (169/9 : -2480/27 : 1)*] [* 6245, -3, (169/9 : -2480/27 : 1)*] [* 8184, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 8461, 1, (1 : 0 : 1)*] [* 9292, -4, (4561/6400 : -596449/512000 : 1)*] [* 9569, -3, (169/9 : -2480/27 : 1)*] /* D = 152 (mod 277 ) [* 152, 0, (0 : 1 : 0)*] [* 429, 0, (0 : 1 : 0)*] [* 1537, -1, (1 : -2 : 1)*] [* 4584, 4, (4561/6400 : -280431/512000 : 1)*] [* 4861, 4, (4561/6400 : -280431/512000 : 1)*] [* 5692, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 5969 ) as a global point [* 5969, Infinity, 0*] [* 7077, 0, (0 : 1 : 0)*] [* 8185, 0, (0 : 1 : 0)*] [* 9293, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 153 (mod 277 ) [* 984, 2, (7/4 : -31/8 : 1)*] [* 1261, 0, (0 : 1 : 0)*] [* 2092, 3, (169/9 : 1946/27 : 1)*] [* 2369, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 3477, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 4585, -2, (7/4 : 9/8 : 1)*] [* 5416, -2, (7/4 : 9/8 : 1)*] [* 5693, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 6524 ) as a global point [* 6524, Infinity, 0*] *** Warning: The precision was insufficient to recognize P( 6801 ) as a global point [* 6801, Infinity, 0*] [* 7909, -3, (169/9 : -2480/27 : 1)*] [* 9017, -1, (1 : -2 : 1)*] [* 9848, 2, (7/4 : -31/8 : 1)*] /* D = 158 (mod 277 ) [* 712, -1, (1 : -2 : 1)*] [* 989, 1, (1 : 0 : 1)*] [* 1820, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3205, -1, (1 : -2 : 1)*] [* 4313, 3, (169/9 : 1946/27 : 1)*] [* 5144, 0, (0 : 1 : 0)*] [* 5421, 2, (7/4 : -31/8 : 1)*] [* 6252, 0, (0 : 1 : 0)*] [* 6529, 4, (4561/6400 : -280431/512000 : 1)*] [* 7637, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 8745, 0, (0 : 1 : 0)*] [* 9853, -1, (1 : -2 : 1)*] /* D = 159 (mod 277 ) [* 713, 3, (169/9 : 1946/27 : 1)*] [* 1544, 1, (1 : 0 : 1)*] [* 1821, 0, (0 : 1 : 0)*] [* 2652, 0, (0 : 1 : 0)*] [* 2929, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 4037, -3, (169/9 : -2480/27 : 1)*] [* 7084, -2, (7/4 : 9/8 : 1)*] [* 7361, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 9577, 1, (1 : 0 : 1)*] /* D = 162 (mod 277 ) [* 716, -4, (4561/6400 : -596449/512000 : 1)*] [* 993, -2, (7/4 : 9/8 : 1)*] [* 2101, 0, (0 : 1 : 0)*] [* 3209, -2, (7/4 : 9/8 : 1)*] [* 4040, 4, (4561/6400 : -280431/512000 : 1)*] [* 4317, 0, (0 : 1 : 0)*] [* 6533, 0, (0 : 1 : 0)*] [* 8472, 2, (7/4 : -31/8 : 1)*] [* 8749, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 9580, 2, (7/4 : -31/8 : 1)*] [* 9857, 2, (7/4 : -31/8 : 1)*] /* D = 163 (mod 277 ) [* 440, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 717, 4, (4561/6400 : -280431/512000 : 1)*] [* 2933, 1, (1 : 0 : 1)*] [* 4872, 2, (7/4 : -31/8 : 1)*] [* 5149, -1, (1 : -2 : 1)*] [* 5980, -4, (4561/6400 : -596449/512000 : 1)*] [* 6257, -2, (7/4 : 9/8 : 1)*] [* 7365, 0, (0 : 1 : 0)*] [* 8473, -4, (4561/6400 : -596449/512000 : 1)*] [* 9304, 2, (7/4 : -31/8 : 1)*] [* 9581, -3, (169/9 : -2480/27 : 1)*] /* D = 166 (mod 277 ) [* 997, -1, (1 : -2 : 1)*] [* 2105, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 2936, -2, (7/4 : 9/8 : 1)*] [* 4044, 2, (7/4 : -31/8 : 1)*] [* 4321, 4, (4561/6400 : -280431/512000 : 1)*] [* 5429, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 6537, -4, (4561/6400 : -596449/512000 : 1)*] [* 7368, 2, (7/4 : -31/8 : 1)*] [* 7645, 0, (0 : 1 : 0)*] [* 8476, 4, (4561/6400 : -280431/512000 : 1)*] [* 8753, -2, (7/4 : 9/8 : 1)*] [* 9861, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 167 (mod 277 ) [* 444, 2, (7/4 : -31/8 : 1)*] [* 721, 1, (1 : 0 : 1)*] [* 1829, 1, (1 : 0 : 1)*] [* 2937, 0, (0 : 1 : 0)*] [* 3768, -2, (7/4 : 9/8 : 1)*] [* 4045, 3, (169/9 : 1946/27 : 1)*] [* 4876, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5153, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6261, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 7369, 2, (7/4 : -31/8 : 1)*] [* 9308, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 168 (mod 277 ) [* 168, 2, (7/4 : -31/8 : 1)*] [* 445, 1, (1 : 0 : 1)*] [* 1276, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 1553, 1, (1 : 0 : 1)*] [* 2661, -4, (4561/6400 : -596449/512000 : 1)*] [* 3769, -4, (4561/6400 : -596449/512000 : 1)*] [* 4877, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 5708, 4, (4561/6400 : -280431/512000 : 1)*] [* 7093, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8201 ) as a global point [* 8201, Infinity, 0*] [* 9032, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 9309, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 170 (mod 277 ) [* 1001, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 1832, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 2109, -2, (7/4 : 9/8 : 1)*] [* 3217, -2, (7/4 : 9/8 : 1)*] [* 5433, 0, (0 : 1 : 0)*] [* 6541, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 7372, 0, (0 : 1 : 0)*] [* 7649, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 9865, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 172 (mod 277 ) [* 172, 1, (1 : 0 : 1)*] [* 449, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 2665, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 3496, 2, (7/4 : -31/8 : 1)*] [* 4604, 4, (4561/6400 : -280431/512000 : 1)*] [* 4881, -4, (4561/6400 : -596449/512000 : 1)*] [* 5989, -1, (1 : -2 : 1)*] [* 7097, 0, (0 : 1 : 0)*] [* 7928, 4, (4561/6400 : -280431/512000 : 1)*] [* 8205, -4, (4561/6400 : -596449/512000 : 1)*] [* 9313, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] /* D = 173 (mod 277 ) [* 173, 0, (0 : 1 : 0)*] [* 1004, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 1281, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 2389, 0, (0 : 1 : 0)*] [* 3497, 2, (7/4 : -31/8 : 1)*] [* 4328, 1, (1 : 0 : 1)*] [* 4605, 0, (0 : 1 : 0)*] [* 5713, 0, (0 : 1 : 0)*] [* 6821, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 8760 ) as a global point [* 8760, Infinity, 0*] [* 9037, 1, (1 : 0 : 1)*] [* 9868, -1, (1 : -2 : 1)*] /* D = 174 (mod 277 ) [* 728, 0, (0 : 1 : 0)*] [* 1005, 2, (7/4 : -31/8 : 1)*] [* 2113, 3, (169/9 : 1946/27 : 1)*] [* 3221, 1, (1 : 0 : 1)*] [* 5160, -2, (7/4 : 9/8 : 1)*] [* 5437, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6268 ) as a global point [* 6268, Infinity, 0*] [* 6545, -2, (7/4 : 9/8 : 1)*] [* 7653, -2, (7/4 : 9/8 : 1)*] [* 8761, -3, (169/9 : -2480/27 : 1)*] [* 9592, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 9869 ) as a global point [* 9869, Infinity, 0*] /* D = 176 (mod 277 ) [* 453, -2, (7/4 : 9/8 : 1)*] [* 1561, -4, (4561/6400 : -596449/512000 : 1)*] [* 2392, 0, (0 : 1 : 0)*] [* 2669, -1, (1 : -2 : 1)*] [* 3777, 4, (4561/6400 : -280431/512000 : 1)*] [* 4885, -3, (169/9 : -2480/27 : 1)*] [* 5993, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 6824 ) as a global point [* 6824, Infinity, 0*] [* 7932, 2, (7/4 : -31/8 : 1)*] [* 8209, -3, (169/9 : -2480/27 : 1)*] /* D = 178 (mod 277 ) [* 732, -2, (7/4 : 9/8 : 1)*] [* 1009, 4, (4561/6400 : -280431/512000 : 1)*] [* 2117, -4, (4561/6400 : -596449/512000 : 1)*] [* 4333, 0, (0 : 1 : 0)*] [* 5164, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 5441, 0, (0 : 1 : 0)*] [* 6549, -2, (7/4 : 9/8 : 1)*] [* 7657, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 8488, -4, (4561/6400 : -596449/512000 : 1)*] [* 8765, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 9596, -5, (1438009/375769 : 1241187606/230346397 : 1)*] /* D = 179 (mod 277 ) [* 456, 0, (0 : 1 : 0)*] [* 733, 1, (1 : 0 : 1)*] [* 1564, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 1841 ) as a global point [* 1841, Infinity, 0*] [* 2949, 2, (7/4 : -31/8 : 1)*] [* 4057, -3, (169/9 : -2480/27 : 1)*] [* 4888, -2, (7/4 : 9/8 : 1)*] [* 5165, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 5996, 1, (1 : 0 : 1)*] [* 8489, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 9320, -4, (4561/6400 : -596449/512000 : 1)*] [* 9597, -2, (7/4 : 9/8 : 1)*] /* D = 180 (mod 277 ) [* 457, -1, (1 : -2 : 1)*] [* 1288, -2, (7/4 : 9/8 : 1)*] [* 1565, -2, (7/4 : 9/8 : 1)*] [* 2396, -3, (169/9 : -2480/27 : 1)*] [* 3781, 2, (7/4 : -31/8 : 1)*] [* 4889, -1, (1 : -2 : 1)*] [* 5720, -4, (4561/6400 : -596449/512000 : 1)*] [* 5997, 0, (0 : 1 : 0)*] [* 6828, 0, (0 : 1 : 0)*] [* 8213, -2, (7/4 : 9/8 : 1)*] [* 9321, 2, (7/4 : -31/8 : 1)*] /* D = 181 (mod 277 ) [* 181, -1, (1 : -2 : 1)*] [* 1289, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 2120, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2397, -4, (4561/6400 : -596449/512000 : 1)*] [* 3228, 0, (0 : 1 : 0)*] [* 3505, 3, (169/9 : 1946/27 : 1)*] [* 4613, -3, (169/9 : -2480/27 : 1)*] [* 5721, 4, (4561/6400 : -280431/512000 : 1)*] [* 6829, 0, (0 : 1 : 0)*] [* 7660, -2, (7/4 : 9/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 7937 ) as a global point [* 7937, Infinity, 0*] /* D = 182 (mod 277 ) [* 1013, 2, (7/4 : -31/8 : 1)*] [* 2121, -2, (7/4 : 9/8 : 1)*] [* 3229, -3, (169/9 : -2480/27 : 1)*] [* 4060, 2, (7/4 : -31/8 : 1)*] [* 4337, 4, (4561/6400 : -280431/512000 : 1)*] [* 6553, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 7384 ) as a global point [* 7384, Infinity, 0*] [* 7661, 4, (4561/6400 : -280431/512000 : 1)*] [* 8492, -1, (1 : -2 : 1)*] [* 8769, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 9877, 0, (0 : 1 : 0)*] /* D = 183 (mod 277 ) [* 460, -4, (4561/6400 : -596449/512000 : 1)*] [* 737, -3, (169/9 : -2480/27 : 1)*] [* 2953, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3784, 3, (169/9 : 1946/27 : 1)*] [* 4061, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4892, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 5169, -2, (7/4 : 9/8 : 1)*] [* 6277, 1, (1 : 0 : 1)*] [* 7385, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 8216 ) as a global point [* 8216, Infinity, 0*] [* 8493, 0, (0 : 1 : 0)*] [* 9601, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 184 (mod 277 ) [* 184, -2, (7/4 : 9/8 : 1)*] [* 461, -4, (4561/6400 : -596449/512000 : 1)*] [* 1292, -2, (7/4 : 9/8 : 1)*] [* 1569, 2, (7/4 : -31/8 : 1)*] [* 2677, -3, (169/9 : -2480/27 : 1)*] [* 3785, 5, (1438009/375769 : -2353033520/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 4616 ) as a global point [* 4616, Infinity, 0*] [* 4893, -2, (7/4 : 9/8 : 1)*] [* 6001, 3, (169/9 : 1946/27 : 1)*] [* 7109, -3, (169/9 : -2480/27 : 1)*] [* 9048, 2, (7/4 : -31/8 : 1)*] /* D = 195 (mod 277 ) [* 472, 0, (0 : 1 : 0)*] [* 749, 3, (169/9 : 1946/27 : 1)*] [* 1580, 0, (0 : 1 : 0)*] [* 1857, 2, (7/4 : -31/8 : 1)*] [* 2965, 1, (1 : 0 : 1)*] [* 4073, -4, (4561/6400 : -596449/512000 : 1)*] [* 4904, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 5181, -4, (4561/6400 : -596449/512000 : 1)*] [* 6289, -3, (169/9 : -2480/27 : 1)*] [* 7397, -1, (1 : -2 : 1)*] [* 9336, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9613, -2, (7/4 : 9/8 : 1)*] /* D = 197 (mod 277 ) [* 197, 2, (7/4 : -31/8 : 1)*] [* 2136, 2, (7/4 : -31/8 : 1)*] [* 2413, 3, (169/9 : 1946/27 : 1)*] [* 3244, -1, (1 : -2 : 1)*] [* 3521, -2, (7/4 : 9/8 : 1)*] [* 4629, 0, (0 : 1 : 0)*] [* 5737, -1, (1 : -2 : 1)*] [* 6568, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 7676 ) as a global point [* 7676, Infinity, 0*] [* 7953, 0, (0 : 1 : 0)*] [* 9061, -3, (169/9 : -2480/27 : 1)*] /* D = 199 (mod 277 ) [* 476, -2, (7/4 : 9/8 : 1)*] [* 753, 0, (0 : 1 : 0)*] [* 1861, -4, (4561/6400 : -596449/512000 : 1)*] [* 2969, 3, (169/9 : 1946/27 : 1)*] [* 4908, -2, (7/4 : 9/8 : 1)*] [* 5185, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6293, -3, (169/9 : -2480/27 : 1)*] [* 7401, -2, (7/4 : 9/8 : 1)*] [* 8509, -3, (169/9 : -2480/27 : 1)*] [* 9340, -4, (4561/6400 : -596449/512000 : 1)*] [* 9617, 0, (0 : 1 : 0)*] /* D = 200 (mod 277 ) [* 1308, -4, (4561/6400 : -596449/512000 : 1)*] [* 1585, -3, (169/9 : -2480/27 : 1)*] [* 2693, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 3801, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 4632, -2, (7/4 : 9/8 : 1)*] [* 4909, 2, (7/4 : -31/8 : 1)*] [* 5740, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6017, 4, (4561/6400 : -280431/512000 : 1)*] [* 8233, 0, (0 : 1 : 0)*] [* 9064, -1, (1 : -2 : 1)*] [* 9341, 0, (0 : 1 : 0)*] /* D = 204 (mod 277 ) [* 204, 0, (0 : 1 : 0)*] [* 481, -2, (7/4 : 9/8 : 1)*] [* 1589, -1, (1 : -2 : 1)*] [* 2697, -4, (4561/6400 : -596449/512000 : 1)*] [* 3805, 0, (0 : 1 : 0)*] [* 4636, -4, (4561/6400 : -596449/512000 : 1)*] [* 7129, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 7960, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8237 ) as a global point [* 8237, Infinity, 0*] [* 9068, 1, (1 : 0 : 1)*] [* 9345, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 205 (mod 277 ) [* 205, -1, (1 : -2 : 1)*] [* 1036, -2, (7/4 : 9/8 : 1)*] [* 1313, 0, (0 : 1 : 0)*] [* 3529, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 4360, 0, (0 : 1 : 0)*] [* 4637, 1, (1 : 0 : 1)*] [* 5468, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 5745, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6853, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 7961, -1, (1 : -2 : 1)*] [* 8792, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 9069, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] /* D = 209 (mod 277 ) [* 209, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 1317, 0, (0 : 1 : 0)*] [* 3256, 2, (7/4 : -31/8 : 1)*] [* 3533, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4364, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] *** Warning: The precision was insufficient to recognize P( 4641 ) as a global point [* 4641, Infinity, 0*] [* 5749, 2, (7/4 : -31/8 : 1)*] [* 6857, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8796, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9073, 0, (0 : 1 : 0)*] /* D = 212 (mod 277 ) [* 489, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 1320, 2, (7/4 : -31/8 : 1)*] [* 1597, -1, (1 : -2 : 1)*] [* 2428, 1, (1 : 0 : 1)*] [* 2705, -1, (1 : -2 : 1)*] [* 3813, -2, (7/4 : 9/8 : 1)*] [* 4921, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5752, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6029, -1, (1 : -2 : 1)*] [* 8245, 0, (0 : 1 : 0)*] [* 9353, 2, (7/4 : -31/8 : 1)*] /* D = 216 (mod 277 ) [* 493, 1, (1 : 0 : 1)*] [* 1324, 3, (169/9 : 1946/27 : 1)*] [* 1601, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 3817, 0, (0 : 1 : 0)*] [* 4648, 0, (0 : 1 : 0)*] [* 5756, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6033, 4, (4561/6400 : -280431/512000 : 1)*] [* 7141, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 8249 ) as a global point [* 8249, Infinity, 0*] [* 9080, -2, (7/4 : 9/8 : 1)*] [* 9357, 2, (7/4 : -31/8 : 1)*] /* D = 217 (mod 277 ) [* 217, 1, (1 : 0 : 1)*] [* 1048, 0, (0 : 1 : 0)*] [* 2433, 0, (0 : 1 : 0)*] [* 3541, 0, (0 : 1 : 0)*] [* 4649, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 5480 ) as a global point [* 5480, Infinity, 0*] [* 5757, -2, (7/4 : 9/8 : 1)*] [* 6865, 1, (1 : 0 : 1)*] [* 7973, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9912 ) as a global point [* 9912, Infinity, 0*] /* D = 219 (mod 277 ) [* 773, -2, (7/4 : 9/8 : 1)*] [* 2712, 2, (7/4 : -31/8 : 1)*] [* 3820, -2, (7/4 : 9/8 : 1)*] [* 4097, -1, (1 : -2 : 1)*] [* 5205, 2, (7/4 : -31/8 : 1)*] [* 6313, 3, (169/9 : 1946/27 : 1)*] [* 7144, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 7421, 3, (169/9 : 1946/27 : 1)*] [* 8252, -1, (1 : -2 : 1)*] [* 8529, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 9637, 1, (1 : 0 : 1)*] /* D = 221 (mod 277 ) [* 221, -3, (169/9 : -2480/27 : 1)*] [* 1052, 1, (1 : 0 : 1)*] [* 1329, -2, (7/4 : 9/8 : 1)*] [* 2437, -1, (1 : -2 : 1)*] [* 3545, 3, (169/9 : 1946/27 : 1)*] [* 4376, -4, (4561/6400 : -596449/512000 : 1)*] [* 5484, 4, (4561/6400 : -280431/512000 : 1)*] [* 5761, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6869, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 7977, 4, (4561/6400 : -280431/512000 : 1)*] [* 8808, 0, (0 : 1 : 0)*] [* 9085, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9916, 2, (7/4 : -31/8 : 1)*] /* D = 223 (mod 277 ) [* 777, 2, (7/4 : -31/8 : 1)*] [* 1608, 4, (4561/6400 : -280431/512000 : 1)*] [* 1885, 1, (1 : 0 : 1)*] [* 2716, 4, (4561/6400 : -280431/512000 : 1)*] [* 2993, -4, (4561/6400 : -596449/512000 : 1)*] [* 4101, 0, (0 : 1 : 0)*] [* 5209, -4, (4561/6400 : -596449/512000 : 1)*] [* 6040, 4, (4561/6400 : -280431/512000 : 1)*] [* 6317, 1, (1 : 0 : 1)*] [* 7148, 3, (169/9 : 1946/27 : 1)*] [* 8533, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 9641 ) as a global point [* 9641, Infinity, 0*] /* D = 224 (mod 277 ) [* 501, -2, (7/4 : 9/8 : 1)*] [* 1609, 1, (1 : 0 : 1)*] [* 2440, -4, (4561/6400 : -596449/512000 : 1)*] [* 2717, 1, (1 : 0 : 1)*] [* 3548, 1, (1 : 0 : 1)*] [* 4933, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6041, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 6872 ) as a global point [* 6872, Infinity, 0*] [* 7149, 4, (4561/6400 : -280431/512000 : 1)*] [* 7980, 4, (4561/6400 : -280431/512000 : 1)*] [* 8257, -2, (7/4 : 9/8 : 1)*] [* 9365, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] /* D = 226 (mod 277 ) [* 780, 2, (7/4 : -31/8 : 1)*] [* 1057, 2, (7/4 : -31/8 : 1)*] [* 2165, -3, (169/9 : -2480/27 : 1)*] [* 3273, 0, (0 : 1 : 0)*] [* 4381, -1, (1 : -2 : 1)*] [* 5212, -1, (1 : -2 : 1)*] [* 5489, 0, (0 : 1 : 0)*] [* 7705, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8536, 0, (0 : 1 : 0)*] [* 8813, 2, (7/4 : -31/8 : 1)*] [* 9644, -3, (169/9 : -2480/27 : 1)*] [* 9921, 2, (7/4 : -31/8 : 1)*] /* D = 227 (mod 277 ) [* 781, -1, (1 : -2 : 1)*] [* 1612, -1, (1 : -2 : 1)*] [* 1889, -2, (7/4 : 9/8 : 1)*] [* 4105, -3, (169/9 : -2480/27 : 1)*] [* 4936, -3, (169/9 : -2480/27 : 1)*] [* 5213, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 6044, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 7429, 4, (4561/6400 : -280431/512000 : 1)*] [* 8537, -2, (7/4 : 9/8 : 1)*] [* 9368, 4, (4561/6400 : -280431/512000 : 1)*] [* 9645, 4, (4561/6400 : -280431/512000 : 1)*] /* D = 231 (mod 277 ) [* 508, 1, (1 : 0 : 1)*] [* 785, -1, (1 : -2 : 1)*] [* 1893, 2, (7/4 : -31/8 : 1)*] [* 3001, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 3832, 2, (7/4 : -31/8 : 1)*] [* 4109, -3, (169/9 : -2480/27 : 1)*] [* 4940, 2, (7/4 : -31/8 : 1)*] [* 5217, 4, (4561/6400 : -280431/512000 : 1)*] [* 7433, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 8264, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 9372, 2, (7/4 : -31/8 : 1)*] [* 9649, 2, (7/4 : -31/8 : 1)*] /* D = 232 (mod 277 ) [* 232, 1, (1 : 0 : 1)*] [* 509, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 1340, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 3833 ) as a global point [* 3833, Infinity, 0*] [* 4664, 0, (0 : 1 : 0)*] [* 5772, -2, (7/4 : 9/8 : 1)*] [* 6049, 1, (1 : 0 : 1)*] [* 7157, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 8265, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9096, 2, (7/4 : -31/8 : 1)*] [* 9373, 1, (1 : 0 : 1)*] /* D = 233 (mod 277 ) [* 233, -1, (1 : -2 : 1)*] [* 1064, 0, (0 : 1 : 0)*] [* 2172, 0, (0 : 1 : 0)*] [* 2449, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 3557, 4, (4561/6400 : -280431/512000 : 1)*] [* 4665, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5496, -2, (7/4 : 9/8 : 1)*] [* 5773, 2, (7/4 : -31/8 : 1)*] [* 6604, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6881, 3, (169/9 : 1946/27 : 1)*] [* 7989, 2, (7/4 : -31/8 : 1)*] [* 9097, -3, (169/9 : -2480/27 : 1)*] [* 9928, 0, (0 : 1 : 0)*] /* D = 234 (mod 277 ) [* 1065, 4, (4561/6400 : -280431/512000 : 1)*] [* 1896, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 2173, 1, (1 : 0 : 1)*] [* 3004, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 3281 ) as a global point [* 3281, Infinity, 0*] [* 4389, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 5497, -1, (1 : -2 : 1)*] [* 6328, 2, (7/4 : -31/8 : 1)*] [* 6605, -3, (169/9 : -2480/27 : 1)*] [* 8821, -1, (1 : -2 : 1)*] [* 9929, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 235 (mod 277 ) [* 789, -4, (4561/6400 : -596449/512000 : 1)*] [* 1897, -1, (1 : -2 : 1)*] [* 2728, -3, (169/9 : -2480/27 : 1)*] [* 3005, -2, (7/4 : 9/8 : 1)*] [* 3836, -4, (4561/6400 : -596449/512000 : 1)*] [* 5221, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 6329 ) as a global point [* 6329, Infinity, 0*] [* 7160, -4, (4561/6400 : -596449/512000 : 1)*] [* 7437, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8268, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8545, -5, (1438009/375769 : 1241187606/230346397 : 1)*] /* D = 239 (mod 277 ) [* 793, -1, (1 : -2 : 1)*] [* 1624, 0, (0 : 1 : 0)*] [* 1901, 0, (0 : 1 : 0)*] [* 2732, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 3009 ) as a global point [* 3009, Infinity, 0*] [* 4117, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 6056 ) as a global point [* 6056, Infinity, 0*] [* 6333, 2, (7/4 : -31/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 7441 ) as a global point [* 7441, Infinity, 0*] [* 8549, -3, (169/9 : -2480/27 : 1)*] /* D = 240 (mod 277 ) [* 517, 2, (7/4 : -31/8 : 1)*] [* 2456, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 2733, 0, (0 : 1 : 0)*] [* 3841, -1, (1 : -2 : 1)*] *** Warning: The precision was insufficient to recognize P( 6888 ) as a global point [* 6888, Infinity, 0*] [* 7165, 0, (0 : 1 : 0)*] [* 7996, -2, (7/4 : 9/8 : 1)*] [* 8273, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 9381, 0, (0 : 1 : 0)*] /* D = 242 (mod 277 ) [* 796, 2, (7/4 : -31/8 : 1)*] [* 1073, 0, (0 : 1 : 0)*] [* 2181, 0, (0 : 1 : 0)*] [* 3289, 5, (1438009/375769 : -2353033520/230346397 : 1)*] [* 4120, 0, (0 : 1 : 0)*] [* 4397, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 5228 ) as a global point [* 5228, Infinity, 0*] [* 5505, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 6613, -3, (169/9 : -2480/27 : 1)*] [* 7721, 1, (1 : 0 : 1)*] [* 8552, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 9660, 4, (4561/6400 : -280431/512000 : 1)*] [* 9937, 1, (1 : 0 : 1)*] /* D = 244 (mod 277 ) [* 521, 7, (747059423281/1082746383601 : -1184157313387809102/1126652832202404151 : 1)*] [* 2460, 2, (7/4 : -31/8 : 1)*] [* 2737, 0, (0 : 1 : 0)*] [* 3845, -1, (1 : -2 : 1)*] [* 4953, 4, (4561/6400 : -280431/512000 : 1)*] [* 5784, -2, (7/4 : 9/8 : 1)*] [* 6061, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6892, -1, (1 : -2 : 1)*] [* 7169, 3, (169/9 : 1946/27 : 1)*] [* 8277, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9385, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] /* D = 245 (mod 277 ) [* 1353, 0, (0 : 1 : 0)*] [* 2184, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 2461, -3, (169/9 : -2480/27 : 1)*] [* 3292, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 3569 ) as a global point [* 3569, Infinity, 0*] [* 4677, 0, (0 : 1 : 0)*] [* 5785, 3, (169/9 : 1946/27 : 1)*] [* 6616, -4, (4561/6400 : -596449/512000 : 1)*] [* 6893, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] *** Warning: The precision was insufficient to recognize P( 7724 ) as a global point [* 7724, Infinity, 0*] [* 9109, 0, (0 : 1 : 0)*] /* D = 246 (mod 277 ) [* 1077, 2, (7/4 : -31/8 : 1)*] [* 2185, 0, (0 : 1 : 0)*] [* 3016, 3, (169/9 : 1946/27 : 1)*] [* 3293, 0, (0 : 1 : 0)*] [* 4124, 1, (1 : 0 : 1)*] [* 5509, 1, (1 : 0 : 1)*] [* 6617, 3, (169/9 : 1946/27 : 1)*] [* 8556, 0, (0 : 1 : 0)*] [* 9941, -1, (1 : -2 : 1)*] /* D = 251 (mod 277 ) [* 805, 0, (0 : 1 : 0)*] [* 1913, 2, (7/4 : -31/8 : 1)*] [* 3021, 2, (7/4 : -31/8 : 1)*] [* 4129, -2, (7/4 : 9/8 : 1)*] [* 5237, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 7176, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 7453, 1, (1 : 0 : 1)*] [* 8284, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] *** Warning: The precision was insufficient to recognize P( 8561 ) as a global point [* 8561, Infinity, 0*] [* 9669, -2, (7/4 : 9/8 : 1)*] /* D = 253 (mod 277 ) [* 253, -1, (1 : -2 : 1)*] [* 1084, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 1361, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 2469, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 4408, -2, (7/4 : 9/8 : 1)*] [* 4685, 1, (1 : 0 : 1)*] [* 5516, 0, (0 : 1 : 0)*] [* 5793, 0, (0 : 1 : 0)*] [* 6901, -3, (169/9 : -2480/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 8009 ) as a global point [* 8009, Infinity, 0*] [* 8840, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 9948, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 257 (mod 277 ) [* 257, 1, (1 : 0 : 1)*] [* 1365, 0, (0 : 1 : 0)*] [* 2473, -1, (1 : -2 : 1)*] [* 3304, -2, (7/4 : 9/8 : 1)*] [* 3581, -1, (1 : -2 : 1)*] [* 4412, 1, (1 : 0 : 1)*] [* 5797, 1, (1 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 6905 ) as a global point [* 6905, Infinity, 0*] [* 7736, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8013, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 8844, 0, (0 : 1 : 0)*] [* 9121, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 259 (mod 277 ) [* 536, -2, (7/4 : 9/8 : 1)*] [* 813, 2, (7/4 : -31/8 : 1)*] [* 1644, -8, (8432228052843841/639151208473600 : 667916734834151954387919/16158662927952809984000 : 1)*] [* 1921, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 3029, -3, (169/9 : -2480/27 : 1)*] [* 4137, -2, (7/4 : 9/8 : 1)*] [* 5245, -1, (1 : -2 : 1)*] [* 6353, 0, (0 : 1 : 0)*] [* 8569, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 9677, 5, (1438009/375769 : -2353033520/230346397 : 1)*] /* D = 260 (mod 277 ) [* 537, -2, (7/4 : 9/8 : 1)*] [* 1645, -2, (7/4 : 9/8 : 1)*] [* 2476, 0, (0 : 1 : 0)*] [* 2753, 0, (0 : 1 : 0)*] [* 4969, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6077, -1, (1 : -2 : 1)*] [* 6908, -5, (1438009/375769 : 1241187606/230346397 : 1)*] *** Warning: The precision was insufficient to recognize P( 7185 ) as a global point [* 7185, Infinity, 0*] [* 8293, -4, (4561/6400 : -596449/512000 : 1)*] [* 9401, -2, (7/4 : 9/8 : 1)*] /* D = 262 (mod 277 ) [* 1093, -1, (1 : -2 : 1)*] [* 2201, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 3032, 2, (7/4 : -31/8 : 1)*] [* 3309, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 4417, -3, (169/9 : -2480/27 : 1)*] [* 7464, 0, (0 : 1 : 0)*] [* 7741, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 8572, -1, (1 : -2 : 1)*] [* 8849, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9957, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 263 (mod 277 ) [* 817, 3, (169/9 : 1946/27 : 1)*] [* 3864, 4, (4561/6400 : -280431/512000 : 1)*] [* 4141, 2, (7/4 : -31/8 : 1)*] [* 4972, 3, (169/9 : 1946/27 : 1)*] [* 5249, -5, (1438009/375769 : 1241187606/230346397 : 1)*] [* 6357, 4, (4561/6400 : -280431/512000 : 1)*] [* 7465, -1, (1 : -2 : 1)*] [* 8296, -4, (4561/6400 : -596449/512000 : 1)*] [* 8573, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 9404, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 9681 ) as a global point [* 9681, Infinity, 0*] /* D = 266 (mod 277 ) *** Warning: The precision was insufficient to recognize P( 1097 ) as a global point [* 1097, Infinity, 0*] [* 1928, 3, (169/9 : 1946/27 : 1)*] *** Warning: The precision was insufficient to recognize P( 3036 ) as a global point [* 3036, Infinity, 0*] [* 3313, 3, (169/9 : 1946/27 : 1)*] [* 4421, -2, (7/4 : 9/8 : 1)*] [* 5529, -6, (814163047/176305284 : -30605642278369/2340981560952 : 1)*] [* 6360, 0, (0 : 1 : 0)*] [* 6637, -3, (169/9 : -2480/27 : 1)*] [* 7468, -1, (1 : -2 : 1)*] [* 7745, 4, (4561/6400 : -280431/512000 : 1)*] [* 8853, -2, (7/4 : 9/8 : 1)*] [* 9961, -1, (1 : -2 : 1)*] /* D = 269 (mod 277 ) [* 269, -2, (7/4 : 9/8 : 1)*] [* 2485, 0, (0 : 1 : 0)*] [* 3593, 0, (0 : 1 : 0)*] [* 4424, -2, (7/4 : 9/8 : 1)*] [* 4701, 2, (7/4 : -31/8 : 1)*] [* 5532, -4, (4561/6400 : -596449/512000 : 1)*] [* 5809, 8, (8432228052843841/639151208473600 : -897254265346393159982959/16158662927952809984000 : 1)*] [* 6917, 0, (0 : 1 : 0)*] [* 9133, -4, (4561/6400 : -596449/512000 : 1)*] [* 9964, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 271 (mod 277 ) [* 1933, 0, (0 : 1 : 0)*] [* 2764, -1, (1 : -2 : 1)*] [* 3041, 4, (4561/6400 : -280431/512000 : 1)*] [* 5257, 4, (4561/6400 : -280431/512000 : 1)*] [* 6088, 2, (7/4 : -31/8 : 1)*] [* 6365, 4, (4561/6400 : -280431/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 7196 ) as a global point [* 7196, Infinity, 0*] [* 7473, 4, (4561/6400 : -280431/512000 : 1)*] [* 8581, -7, (747059423281/1082746383601 : -719848948769062880/1126652832202404151 : 1)*] [* 9689, -3, (169/9 : -2480/27 : 1)*] /* D = 272 (mod 277 ) [* 1657, -4, (4561/6400 : -596449/512000 : 1)*] [* 2488, -4, (4561/6400 : -596449/512000 : 1)*] [* 2765, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] *** Warning: The precision was insufficient to recognize P( 3596 ) as a global point [* 3596, Infinity, 0*] [* 3873, 2, (7/4 : -31/8 : 1)*] [* 4981, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 6089 ) as a global point [* 6089, Infinity, 0*] [* 6920, -4, (4561/6400 : -596449/512000 : 1)*] [* 7197, -4, (4561/6400 : -596449/512000 : 1)*] *** Warning: The precision was insufficient to recognize P( 8305 ) as a global point [* 8305, Infinity, 0*] [* 9413, -4, (4561/6400 : -596449/512000 : 1)*] /* D = 275 (mod 277 ) [* 552, 0, (0 : 1 : 0)*] [* 829, 4, (4561/6400 : -280431/512000 : 1)*] [* 1660, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 1937 ) as a global point [* 1937, Infinity, 0*] [* 3045, 4, (4561/6400 : -280431/512000 : 1)*] [* 4153, -1, (1 : -2 : 1)*] [* 4984, 6, (814163047/176305284 : 17454203779351/2340981560952 : 1)*] [* 5261, -1, (1 : -2 : 1)*] [* 6092, 3, (169/9 : 1946/27 : 1)*] [* 6369, 0, (0 : 1 : 0)*] [* 7477, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8585 ) as a global point [* 8585, Infinity, 0*] [* 9416, 3, (169/9 : 1946/27 : 1)*] Total time: 153862.600 seconds, Total memory usage: 51.40MB