Magma V2.13-11 Sat Nov 10 2007 23:24:20 on amd21 [Seed = 91521000] Type ? for help. Type -D to quit. Loading file "do-131" Loading "../data/M.131.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 - x^2 + x over Rational Field working over Qp = the 131-adic field mod 131^10 ------------------------------------------------------------------- /* D = 2 (mod 131 ) [* 133, -1, (0 : -1 : 1)*] [* 264, 0, (0 : 1 : 0)*] [* 1181, 0, (0 : 1 : 0)*] [* 1705, 0, (0 : 1 : 0)*] [* 2229, 0, (0 : 1 : 0)*] [* 2360, 0, (0 : 1 : 0)*] [* 2753, 3, (5/4 : 7/8 : 1)*] [* 3277, 2, (2 : -3 : 1)*] [* 3801, -1, (0 : -1 : 1)*] [* 3932, 3, (5/4 : 7/8 : 1)*] [* 4456, 1, (0 : 0 : 1)*] [* 4849, 0, (0 : 1 : 0)*] [* 5897, -2, (2 : 2 : 1)*] [* 6028, 2, (2 : -3 : 1)*] [* 6421, -1, (0 : -1 : 1)*] [* 6945, -4, (6/25 : 21/125 : 1)*] [* 7469, 2, (2 : -3 : 1)*] [* 7993, -3, (5/4 : -15/8 : 1)*] [* 8124, 1, (0 : 0 : 1)*] [* 8517, 2, (2 : -3 : 1)*] [* 8648, 2, (2 : -3 : 1)*] [* 9041, 5, (220/9 : 3185/27 : 1)*] [* 9565, 2, (2 : -3 : 1)*] /* D = 6 (mod 131 ) [* 137, 1, (0 : 0 : 1)*] [* 268, 0, (0 : 1 : 0)*] [* 661, 2, (2 : -3 : 1)*] [* 1185, -2, (2 : 2 : 1)*] [* 1709, 1, (0 : 0 : 1)*] [* 2233, -2, (2 : 2 : 1)*] [* 2364, 3, (5/4 : 7/8 : 1)*] [* 2757, 1, (0 : 0 : 1)*] [* 3281, -2, (2 : 2 : 1)*] [* 3805, 0, (0 : 1 : 0)*] [* 4460, -6, (-303/1936 : -64337/85184 : 1)*] [* 4853, 0, (0 : 1 : 0)*] [* 4984, -1, (0 : -1 : 1)*] [* 5377, 1, (0 : 0 : 1)*] [* 5901, 1, (0 : 0 : 1)*] [* 6556, -2, (2 : 2 : 1)*] [* 6949, 2, (2 : -3 : 1)*] [* 7080, -6, (-303/1936 : -64337/85184 : 1)*] [* 7473, -5, (220/9 : -3212/27 : 1)*] [* 7997, 2, (2 : -3 : 1)*] [* 8521, -3, (5/4 : -15/8 : 1)*] [* 8652, -5, (220/9 : -3212/27 : 1)*] [* 9176, 0, (0 : 1 : 0)*] [* 9569, 5, (220/9 : 3185/27 : 1)*] /* D = 8 (mod 131 ) [* 8, -1, (0 : -1 : 1)*] [* 401, 1, (0 : 0 : 1)*] [* 1580, 2, (2 : -3 : 1)*] [* 1973, 2, (2 : -3 : 1)*] [* 2104, -1, (0 : -1 : 1)*] [* 2497, 0, (0 : 1 : 0)*] [* 3021, -3, (5/4 : -15/8 : 1)*] [* 3545, 2, (2 : -3 : 1)*] [* 3676, -1, (0 : -1 : 1)*] [* 4069, 0, (0 : 1 : 0)*] [* 4593, -4, (6/25 : 21/125 : 1)*] [* 5117, 3, (5/4 : 7/8 : 1)*] [* 5641, -1, (0 : -1 : 1)*] [* 5772, -3, (5/4 : -15/8 : 1)*] [* 6296, 0, (0 : 1 : 0)*] [* 6689, -3, (5/4 : -15/8 : 1)*] [* 7213, 3, (5/4 : 7/8 : 1)*] [* 7737, 5, (220/9 : 3185/27 : 1)*] [* 7868, -1, (0 : -1 : 1)*] [* 8261, 4, (6/25 : -146/125 : 1)*] [* 8392, 6, (-303/1936 : -20847/85184 : 1)*] [* 8785, 2, (2 : -3 : 1)*] [* 9309, -4, (6/25 : 21/125 : 1)*] [* 9833, 0, (0 : 1 : 0)*] [* 9964, -3, (5/4 : -15/8 : 1)*] /* D = 10 (mod 131 ) [* 141, -1, (0 : -1 : 1)*] [* 665, 2, (2 : -3 : 1)*] [* 796, 0, (0 : 1 : 0)*] [* 1189, 0, (0 : 1 : 0)*] [* 1320, 0, (0 : 1 : 0)*] [* 1713, 4, (6/25 : -146/125 : 1)*] [* 2237, -1, (0 : -1 : 1)*] [* 2761, 0, (0 : 1 : 0)*] [* 2892, -5, (220/9 : -3212/27 : 1)*] [* 3416, -3, (5/4 : -15/8 : 1)*] [* 3809, 1, (0 : 0 : 1)*] [* 4333, -4, (6/25 : 21/125 : 1)*] [* 4857, -2, (2 : 2 : 1)*] [* 4988, 0, (0 : 1 : 0)*] [* 5381, -2, (2 : 2 : 1)*] *** Warning: The precision was insufficient to recognize P( 5512 ) as a global point [* 5512, Infinity, 0*] [* 5905, -2, (2 : 2 : 1)*] [* 6429, -3, (5/4 : -15/8 : 1)*] [* 6953, -4, (6/25 : 21/125 : 1)*] [* 7084, 0, (0 : 1 : 0)*] [* 7477, 1, (0 : 0 : 1)*] [* 7608, 3, (5/4 : 7/8 : 1)*] [* 9049, 3, (5/4 : 7/8 : 1)*] [* 9573, -5, (220/9 : -3212/27 : 1)*] [* 9704, 2, (2 : -3 : 1)*] /* D = 14 (mod 131 ) [* 145, -2, (2 : 2 : 1)*] [* 669, 0, (0 : 1 : 0)*] [* 1193, -2, (2 : 2 : 1)*] [* 1324, -2, (2 : 2 : 1)*] [* 1717, 1, (0 : 0 : 1)*] [* 1848, -2, (2 : 2 : 1)*] [* 2765, 2, (2 : -3 : 1)*] [* 3289, 0, (0 : 1 : 0)*] [* 3813, 5, (220/9 : 3185/27 : 1)*] [* 3944, -2, (2 : 2 : 1)*] [* 4337, -3, (5/4 : -15/8 : 1)*] [* 4861, 1, (0 : 0 : 1)*] [* 5385, 2, (2 : -3 : 1)*] [* 5516, 1, (0 : 0 : 1)*] [* 5909, -3, (5/4 : -15/8 : 1)*] [* 6040, 4, (6/25 : -146/125 : 1)*] [* 6433, 3, (5/4 : 7/8 : 1)*] [* 7481, 1, (0 : 0 : 1)*] [* 7612, -4, (6/25 : 21/125 : 1)*] [* 8005, -2, (2 : 2 : 1)*] [* 8529, 0, (0 : 1 : 0)*] [* 9053, 0, (0 : 1 : 0)*] [* 9577, 1, (0 : 0 : 1)*] [* 9708, 3, (5/4 : 7/8 : 1)*] /* D = 17 (mod 131 ) [* 17, -1, (0 : -1 : 1)*] [* 541, 1, (0 : 0 : 1)*] [* 1065, -2, (2 : 2 : 1)*] [* 1196, -3, (5/4 : -15/8 : 1)*] [* 1589, 2, (2 : -3 : 1)*] [* 1720, 2, (2 : -3 : 1)*] [* 2113, -1, (0 : -1 : 1)*] [* 3161, -4, (6/25 : 21/125 : 1)*] [* 3292, 1, (0 : 0 : 1)*] [* 3685, 4, (6/25 : -146/125 : 1)*] [* 4209, 3, (5/4 : 7/8 : 1)*] [* 4733, -1, (0 : -1 : 1)*] [* 5257, -2, (2 : 2 : 1)*] [* 5388, 4, (6/25 : -146/125 : 1)*] [* 5781, -1, (0 : -1 : 1)*] [* 5912, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 6305, 2, (2 : -3 : 1)*] [* 6829, 1, (0 : 0 : 1)*] [* 7484, 2, (2 : -3 : 1)*] [* 7877, 0, (0 : 1 : 0)*] [* 8008, 4, (6/25 : -146/125 : 1)*] [* 8401, -1, (0 : -1 : 1)*] [* 9449, -4, (6/25 : 21/125 : 1)*] [* 9580, 0, (0 : 1 : 0)*] [* 9973, -1, (0 : -1 : 1)*] /* D = 18 (mod 131 ) [* 149, 0, (0 : 1 : 0)*] [* 280, -2, (2 : 2 : 1)*] [* 673, -1, (0 : -1 : 1)*] [* 1721, -2, (2 : 2 : 1)*] [* 1852, 4, (6/25 : -146/125 : 1)*] [* 2245, -2, (2 : 2 : 1)*] [* 2769, 2, (2 : -3 : 1)*] [* 3293, 1, (0 : 0 : 1)*] [* 3817, 2, (2 : -3 : 1)*] [* 3948, -5, (220/9 : -3212/27 : 1)*] [* 4341, 0, (0 : 1 : 0)*] [* 4472, 3, (5/4 : 7/8 : 1)*] [* 4865, -4, (6/25 : 21/125 : 1)*] [* 5389, -1, (0 : -1 : 1)*] [* 6044, 4, (6/25 : -146/125 : 1)*] [* 6437, 1, (0 : 0 : 1)*] [* 6568, -1, (0 : -1 : 1)*] [* 6961, 2, (2 : -3 : 1)*] [* 7485, -2, (2 : 2 : 1)*] [* 8009, 6, (-303/1936 : -20847/85184 : 1)*] [* 8140, -4, (6/25 : 21/125 : 1)*] [* 8533, 3, (5/4 : 7/8 : 1)*] [* 9057, 0, (0 : 1 : 0)*] [* 9581, 2, (2 : -3 : 1)*] /* D = 19 (mod 131 ) [* 281, 1, (0 : 0 : 1)*] [* 412, 3, (5/4 : 7/8 : 1)*] [* 805, 0, (0 : 1 : 0)*] [* 1329, -1, (0 : -1 : 1)*] [* 1853, 1, (0 : 0 : 1)*] [* 2377, 1, (0 : 0 : 1)*] [* 2508, -4, (6/25 : 21/125 : 1)*] [* 2901, 1, (0 : 0 : 1)*] [* 3032, 2, (2 : -3 : 1)*] [* 3949, 0, (0 : 1 : 0)*] [* 4604, 3, (5/4 : 7/8 : 1)*] [* 4997, 1, (0 : 0 : 1)*] [* 5128, -1, (0 : -1 : 1)*] [* 5521, -3, (5/4 : -15/8 : 1)*] [* 6045, -4, (6/25 : 21/125 : 1)*] [* 6569, -1, (0 : -1 : 1)*] [* 7093, 2, (2 : -3 : 1)*] [* 7224, 1, (0 : 0 : 1)*] [* 7617, -3, (5/4 : -15/8 : 1)*] [* 8141, -1, (0 : -1 : 1)*] [* 8665, 2, (2 : -3 : 1)*] [* 8796, 2, (2 : -3 : 1)*] [* 9320, 2, (2 : -3 : 1)*] [* 9713, -2, (2 : 2 : 1)*] /* D = 22 (mod 131 ) [* 284, -2, (2 : 2 : 1)*] [* 677, -1, (0 : -1 : 1)*] [* 808, -3, (5/4 : -15/8 : 1)*] [* 1201, -1, (0 : -1 : 1)*] [* 2249, 0, (0 : 1 : 0)*] [* 2380, 2, (2 : -3 : 1)*] [* 2773, -1, (0 : -1 : 1)*] [* 3297, 5, (220/9 : 3185/27 : 1)*] [* 3821, 1, (0 : 0 : 1)*] [* 4345, 0, (0 : 1 : 0)*] [* 4476, 2, (2 : -3 : 1)*] [* 5393, 3, (5/4 : 7/8 : 1)*] [* 5917, 3, (5/4 : 7/8 : 1)*] [* 6441, 2, (2 : -3 : 1)*] [* 6572, 5, (220/9 : 3185/27 : 1)*] [* 6965, 2, (2 : -3 : 1)*] [* 7096, 2, (2 : -3 : 1)*] [* 7489, 0, (0 : 1 : 0)*] [* 8013, 2, (2 : -3 : 1)*] [* 8537, -2, (2 : 2 : 1)*] [* 8668, -2, (2 : 2 : 1)*] [* 9061, 3, (5/4 : 7/8 : 1)*] [* 9192, 3, (5/4 : 7/8 : 1)*] /* D = 23 (mod 131 ) [* 285, 2, (2 : -3 : 1)*] [* 809, -1, (0 : -1 : 1)*] [* 940, 2, (2 : -3 : 1)*] [* 1333, 3, (5/4 : 7/8 : 1)*] [* 1464, 1, (0 : 0 : 1)*] [* 1857, 2, (2 : -3 : 1)*] [* 2381, -2, (2 : 2 : 1)*] [* 2905, -2, (2 : 2 : 1)*] [* 3036, -2, (2 : 2 : 1)*] [* 3560, -4, (6/25 : 21/125 : 1)*] [* 3953, -6, (-303/1936 : -64337/85184 : 1)*] [* 5001, 1, (0 : 0 : 1)*] [* 5132, -5, (220/9 : -3212/27 : 1)*] [* 5656, -3, (5/4 : -15/8 : 1)*] [* 6049, -1, (0 : -1 : 1)*] [* 6573, 2, (2 : -3 : 1)*] [* 7097, -1, (0 : -1 : 1)*] [* 7228, -5, (220/9 : -3212/27 : 1)*] [* 7621, 1, (0 : 0 : 1)*] [* 7752, 4, (6/25 : -146/125 : 1)*] [* 8669, -1, (0 : -1 : 1)*] [* 9193, 0, (0 : 1 : 0)*] [* 9717, 2, (2 : -3 : 1)*] [* 9848, -8, (550046/697225 : -845703894/582182875 : 1)*] /* D = 24 (mod 131 ) [* 24, 1, (0 : 0 : 1)*] [* 417, -1, (0 : -1 : 1)*] [* 941, 3, (5/4 : 7/8 : 1)*] [* 1465, 2, (2 : -3 : 1)*] [* 1596, 1, (0 : 0 : 1)*] [* 2120, 2, (2 : -3 : 1)*] [* 2513, 0, (0 : 1 : 0)*] [* 3037, 0, (0 : 1 : 0)*] [* 3561, -2, (2 : 2 : 1)*] [* 3692, -6, (-303/1936 : -64337/85184 : 1)*] [* 4085, 2, (2 : -3 : 1)*] [* 4216, 0, (0 : 1 : 0)*] [* 4609, -4, (6/25 : 21/125 : 1)*] [* 5133, -4, (6/25 : 21/125 : 1)*] [* 5657, -1, (0 : -1 : 1)*] [* 5788, 6, (-303/1936 : -20847/85184 : 1)*] [* 6181, -1, (0 : -1 : 1)*] [* 6312, -1, (0 : -1 : 1)*] [* 7229, -1, (0 : -1 : 1)*] [* 7753, 0, (0 : 1 : 0)*] [* 8277, -1, (0 : -1 : 1)*] [* 8408, 1, (0 : 0 : 1)*] [* 8801, -1, (0 : -1 : 1)*] [* 9980, 8, (550046/697225 : 263521019/582182875 : 1)*] /* D = 26 (mod 131 ) [* 157, -1, (0 : -1 : 1)*] [* 681, -2, (2 : 2 : 1)*] [* 812, -4, (6/25 : 21/125 : 1)*] [* 1205, 0, (0 : 1 : 0)*] [* 1336, 0, (0 : 1 : 0)*] [* 1729, 1, (0 : 0 : 1)*] [* 2253, 2, (2 : -3 : 1)*] [* 2777, -4, (6/25 : 21/125 : 1)*] [* 2908, -1, (0 : -1 : 1)*] [* 3301, 1, (0 : 0 : 1)*] [* 3432, 2, (2 : -3 : 1)*] [* 4349, 3, (5/4 : 7/8 : 1)*] [* 4873, 4, (6/25 : -146/125 : 1)*] [* 5397, -1, (0 : -1 : 1)*] [* 5528, -3, (5/4 : -15/8 : 1)*] [* 5921, 1, (0 : 0 : 1)*] [* 6445, 2, (2 : -3 : 1)*] [* 6969, -1, (0 : -1 : 1)*] [* 7493, 3, (5/4 : 7/8 : 1)*] [* 7624, -2, (2 : 2 : 1)*] [* 8017, -1, (0 : -1 : 1)*] [* 9589, -4, (6/25 : 21/125 : 1)*] /* D = 29 (mod 131 ) [* 29, 0, (0 : 1 : 0)*] [* 553, 0, (0 : 1 : 0)*] [* 1077, 2, (2 : -3 : 1)*] [* 1208, -1, (0 : -1 : 1)*] [* 1601, 0, (0 : 1 : 0)*] [* 2649, 1, (0 : 0 : 1)*] [* 2780, -2, (2 : 2 : 1)*] [* 3173, 2, (2 : -3 : 1)*] [* 3304, 1, (0 : 0 : 1)*] [* 3697, -4, (6/25 : 21/125 : 1)*] [* 4745, -4, (6/25 : 21/125 : 1)*] [* 4876, -3, (5/4 : -15/8 : 1)*] [* 5269, 2, (2 : -3 : 1)*] [* 5793, -5, (220/9 : -3212/27 : 1)*] [* 6317, 0, (0 : 1 : 0)*] [* 6841, 1, (0 : 0 : 1)*] [* 6972, 4, (6/25 : -146/125 : 1)*] [* 7365, 0, (0 : 1 : 0)*] [* 7496, -3, (5/4 : -15/8 : 1)*] [* 8413, 3, (5/4 : 7/8 : 1)*] [* 9068, 3, (5/4 : 7/8 : 1)*] [* 9461, -5, (220/9 : -3212/27 : 1)*] [* 9592, 2, (2 : -3 : 1)*] [* 9985, -2, (2 : 2 : 1)*] /* D = 30 (mod 131 ) [* 161, 1, (0 : 0 : 1)*] [* 685, 2, (2 : -3 : 1)*] [* 1209, -1, (0 : -1 : 1)*] [* 1340, 4, (6/25 : -146/125 : 1)*] [* 1733, 3, (5/4 : 7/8 : 1)*] [* 1864, 1, (0 : 0 : 1)*] [* 2257, -3, (5/4 : -15/8 : 1)*] [* 3305, 0, (0 : 1 : 0)*] [* 3436, -1, (0 : -1 : 1)*] [* 3829, -2, (2 : 2 : 1)*] [* 4353, -2, (2 : 2 : 1)*] [* 4877, 2, (2 : -3 : 1)*] [* 5401, -2, (2 : 2 : 1)*] [* 5532, 2, (2 : -3 : 1)*] [* 6056, 1, (0 : 0 : 1)*] [* 6449, -2, (2 : 2 : 1)*] [* 6973, 3, (5/4 : 7/8 : 1)*] [* 7628, -4, (6/25 : 21/125 : 1)*] [* 8021, 0, (0 : 1 : 0)*] [* 8152, 5, (220/9 : 3185/27 : 1)*] [* 8545, -2, (2 : 2 : 1)*] [* 9069, 2, (2 : -3 : 1)*] [* 9593, 1, (0 : 0 : 1)*] [* 9724, 4, (6/25 : -146/125 : 1)*] /* D = 31 (mod 131 ) [* 293, 1, (0 : 0 : 1)*] [* 424, -1, (0 : -1 : 1)*] [* 817, -3, (5/4 : -15/8 : 1)*] [* 1865, 0, (0 : 1 : 0)*] [* 1996, 1, (0 : 0 : 1)*] [* 2389, -2, (2 : 2 : 1)*] [* 2913, -1, (0 : -1 : 1)*] [* 3437, 0, (0 : 1 : 0)*] [* 3961, 1, (0 : 0 : 1)*] [* 4092, 2, (2 : -3 : 1)*] [* 4485, 2, (2 : -3 : 1)*] [* 4616, 3, (5/4 : 7/8 : 1)*] [* 5009, 2, (2 : -3 : 1)*] [* 5533, 6, (-303/1936 : -20847/85184 : 1)*] [* 6188, 1, (0 : 0 : 1)*] [* 6581, 3, (5/4 : 7/8 : 1)*] [* 6712, 1, (0 : 0 : 1)*] [* 7629, -4, (6/25 : 21/125 : 1)*] [* 8153, 1, (0 : 0 : 1)*] [* 8284, -3, (5/4 : -15/8 : 1)*] [* 8677, 1, (0 : 0 : 1)*] [* 8808, -3, (5/4 : -15/8 : 1)*] [* 9201, -2, (2 : 2 : 1)*] /* D = 32 (mod 131 ) [* 556, -1, (0 : -1 : 1)*] [* 949, 0, (0 : 1 : 0)*] [* 1473, -2, (2 : 2 : 1)*] [* 1997, -2, (2 : 2 : 1)*] [* 2521, 0, (0 : 1 : 0)*] [* 2652, -3, (5/4 : -15/8 : 1)*] [* 3045, -2, (2 : 2 : 1)*] [* 3176, 3, (5/4 : 7/8 : 1)*] [* 3569, 0, (0 : 1 : 0)*] [* 4093, 3, (5/4 : 7/8 : 1)*] [* 4748, 4, (6/25 : -146/125 : 1)*] [* 5141, 3, (5/4 : 7/8 : 1)*] [* 5272, 0, (0 : 1 : 0)*] [* 5665, 0, (0 : 1 : 0)*] [* 6189, 4, (6/25 : -146/125 : 1)*] [* 6844, -2, (2 : 2 : 1)*] [* 7237, 0, (0 : 1 : 0)*] [* 7368, -5, (220/9 : -3212/27 : 1)*] [* 7761, -2, (2 : 2 : 1)*] [* 8285, 2, (2 : -3 : 1)*] [* 8809, 1, (0 : 0 : 1)*] [* 8940, 0, (0 : 1 : 0)*] [* 9857, -2, (2 : 2 : 1)*] /* D = 37 (mod 131 ) [* 37, 1, (0 : 0 : 1)*] [* 168, 1, (0 : 0 : 1)*] [* 561, 2, (2 : -3 : 1)*] [* 1085, 2, (2 : -3 : 1)*] [* 1609, -1, (0 : -1 : 1)*] [* 1740, -2, (2 : 2 : 1)*] [* 2264, 1, (0 : 0 : 1)*] [* 2657, -2, (2 : 2 : 1)*] [* 3181, 0, (0 : 1 : 0)*] [* 3705, -4, (6/25 : 21/125 : 1)*] [* 3836, -1, (0 : -1 : 1)*] [* 4229, 1, (0 : 0 : 1)*] [* 4360, -4, (6/25 : 21/125 : 1)*] [* 5277, 0, (0 : 1 : 0)*] [* 5801, 0, (0 : 1 : 0)*] [* 5932, -3, (5/4 : -15/8 : 1)*] [* 6456, -3, (5/4 : -15/8 : 1)*] [* 7373, 2, (2 : -3 : 1)*] [* 7897, -4, (6/25 : 21/125 : 1)*] [* 8421, -3, (5/4 : -15/8 : 1)*] [* 8552, -8, (550046/697225 : -845703894/582182875 : 1)*] [* 8945, 2, (2 : -3 : 1)*] [* 9469, 1, (0 : 0 : 1)*] [* 9993, -1, (0 : -1 : 1)*] /* D = 40 (mod 131 ) [* 40, 0, (0 : 1 : 0)*] [* 433, 1, (0 : 0 : 1)*] [* 957, 2, (2 : -3 : 1)*] [* 1481, -1, (0 : -1 : 1)*] [* 1612, 3, (5/4 : 7/8 : 1)*] [* 2005, 2, (2 : -3 : 1)*] [* 2136, -3, (5/4 : -15/8 : 1)*] [* 3053, 0, (0 : 1 : 0)*] [* 4101, -1, (0 : -1 : 1)*] [* 5149, -3, (5/4 : -15/8 : 1)*] [* 5673, -5, (220/9 : -3212/27 : 1)*] [* 5804, -2, (2 : 2 : 1)*] [* 6197, 3, (5/4 : 7/8 : 1)*] [* 6328, -2, (2 : 2 : 1)*] [* 6721, -2, (2 : 2 : 1)*] [* 7769, -3, (5/4 : -15/8 : 1)*] [* 8293, 0, (0 : 1 : 0)*] [* 8817, 1, (0 : 0 : 1)*] [* 9341, 6, (-303/1936 : -20847/85184 : 1)*] [* 9865, 0, (0 : 1 : 0)*] /* D = 42 (mod 131 ) [* 173, 0, (0 : 1 : 0)*] [* 697, 3, (5/4 : 7/8 : 1)*] [* 1221, 0, (0 : 1 : 0)*] [* 1745, 0, (0 : 1 : 0)*] [* 2269, -2, (2 : 2 : 1)*] [* 2924, 1, (0 : 0 : 1)*] [* 3317, -5, (220/9 : -3212/27 : 1)*] [* 3448, 4, (6/25 : -146/125 : 1)*] [* 3841, 0, (0 : 1 : 0)*] [* 4889, -1, (0 : -1 : 1)*] [* 5020, 0, (0 : 1 : 0)*] [* 5413, -1, (0 : -1 : 1)*] [* 5937, -1, (0 : -1 : 1)*] [* 6461, 2, (2 : -3 : 1)*] *** Warning: The precision was insufficient to recognize P( 6985 ) as a global point [* 6985, Infinity, 0*] [* 7116, 4, (6/25 : -146/125 : 1)*] [* 7509, -2, (2 : 2 : 1)*] [* 7640, 4, (6/25 : -146/125 : 1)*] [* 8033, -2, (2 : 2 : 1)*] [* 8557, -2, (2 : 2 : 1)*] [* 9605, 8, (550046/697225 : 263521019/582182875 : 1)*] [* 9736, 2, (2 : -3 : 1)*] /* D = 47 (mod 131 ) [* 309, 1, (0 : 0 : 1)*] [* 440, 0, (0 : 1 : 0)*] [* 1357, 1, (0 : 0 : 1)*] [* 2012, 1, (0 : 0 : 1)*] [* 2405, 4, (6/25 : -146/125 : 1)*] [* 2536, -1, (0 : -1 : 1)*] [* 2929, -2, (2 : 2 : 1)*] [* 3453, -3, (5/4 : -15/8 : 1)*] [* 3977, -3, (5/4 : -15/8 : 1)*] [* 4108, -2, (2 : 2 : 1)*] [* 4501, -2, (2 : 2 : 1)*] [* 4632, -4, (6/25 : 21/125 : 1)*] [* 5549, -1, (0 : -1 : 1)*] [* 6073, 1, (0 : 0 : 1)*] [* 6204, -4, (6/25 : 21/125 : 1)*] [* 7121, 2, (2 : -3 : 1)*] [* 7645, 0, (0 : 1 : 0)*] [* 8169, -2, (2 : 2 : 1)*] [* 8693, -3, (5/4 : -15/8 : 1)*] [* 8824, -1, (0 : -1 : 1)*] [* 9217, 4, (6/25 : -146/125 : 1)*] [* 9741, 1, (0 : 0 : 1)*] /* D = 50 (mod 131 ) [* 181, -1, (0 : -1 : 1)*] [* 312, -1, (0 : -1 : 1)*] [* 705, 0, (0 : 1 : 0)*] [* 1229, -1, (0 : -1 : 1)*] [* 1753, -1, (0 : -1 : 1)*] [* 1884, -1, (0 : -1 : 1)*] [* 2408, 1, (0 : 0 : 1)*] [* 2801, -1, (0 : -1 : 1)*] [* 3849, 1, (0 : 0 : 1)*] [* 3980, -2, (2 : 2 : 1)*] [* 4373, -4, (6/25 : 21/125 : 1)*] [* 4504, -1, (0 : -1 : 1)*] [* 4897, -2, (2 : 2 : 1)*] [* 5421, 5, (220/9 : 3185/27 : 1)*] [* 5945, 2, (2 : -3 : 1)*] [* 6469, 1, (0 : 0 : 1)*] [* 7517, -5, (220/9 : -3212/27 : 1)*] [* 8041, 0, (0 : 1 : 0)*] [* 8565, 0, (0 : 1 : 0)*] [* 8696, -3, (5/4 : -15/8 : 1)*] [* 9089, 4, (6/25 : -146/125 : 1)*] [* 9613, 3, (5/4 : 7/8 : 1)*] /* D = 51 (mod 131 ) [* 313, 2, (2 : -3 : 1)*] [* 444, 3, (5/4 : 7/8 : 1)*] [* 1361, -1, (0 : -1 : 1)*] [* 1885, -2, (2 : 2 : 1)*] [* 2409, 2, (2 : -3 : 1)*] [* 2540, -4, (6/25 : 21/125 : 1)*] [* 2933, -1, (0 : -1 : 1)*] [* 3064, -1, (0 : -1 : 1)*] [* 3457, 2, (2 : -3 : 1)*] [* 3981, 0, (0 : 1 : 0)*] [* 4505, -2, (2 : 2 : 1)*] [* 4636, -1, (0 : -1 : 1)*] [* 5029, -1, (0 : -1 : 1)*] [* 5160, 0, (0 : 1 : 0)*] [* 6077, -5, (220/9 : -3212/27 : 1)*] [* 6601, 1, (0 : 0 : 1)*] [* 7256, -3, (5/4 : -15/8 : 1)*] [* 7649, -1, (0 : -1 : 1)*] [* 8173, -2, (2 : 2 : 1)*] [* 8697, 8, (550046/697225 : 263521019/582182875 : 1)*] [* 8828, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 9221, -1, (0 : -1 : 1)*] [* 9352, 4, (6/25 : -146/125 : 1)*] [* 9745, -4, (6/25 : 21/125 : 1)*] /* D = 54 (mod 131 ) [* 185, 2, (2 : -3 : 1)*] [* 316, 2, (2 : -3 : 1)*] [* 709, 0, (0 : 1 : 0)*] [* 840, 0, (0 : 1 : 0)*] [* 1757, 1, (0 : 0 : 1)*] [* 2281, 2, (2 : -3 : 1)*] [* 2805, -4, (6/25 : 21/125 : 1)*] [* 2936, -3, (5/4 : -15/8 : 1)*] [* 3329, 0, (0 : 1 : 0)*] [* 3853, -2, (2 : 2 : 1)*] [* 4377, 2, (2 : -3 : 1)*] [* 5032, 2, (2 : -3 : 1)*] [* 6473, -2, (2 : 2 : 1)*] [* 6604, -5, (220/9 : -3212/27 : 1)*] [* 6997, 0, (0 : 1 : 0)*] [* 7521, -3, (5/4 : -15/8 : 1)*] [* 8045, 2, (2 : -3 : 1)*] [* 8569, -2, (2 : 2 : 1)*] [* 9093, -1, (0 : -1 : 1)*] [* 9224, -3, (5/4 : -15/8 : 1)*] [* 9617, 2, (2 : -3 : 1)*] /* D = 56 (mod 131 ) [* 56, -1, (0 : -1 : 1)*] [* 449, 0, (0 : 1 : 0)*] [* 973, -3, (5/4 : -15/8 : 1)*] [* 1497, 3, (5/4 : 7/8 : 1)*] [* 1628, 4, (6/25 : -146/125 : 1)*] [* 2021, -3, (5/4 : -15/8 : 1)*] [* 2152, 3, (5/4 : 7/8 : 1)*] [* 2545, 2, (2 : -3 : 1)*] [* 3593, -3, (5/4 : -15/8 : 1)*] [* 4117, 1, (0 : 0 : 1)*] [* 4641, 3, (5/4 : 7/8 : 1)*] [* 5165, 0, (0 : 1 : 0)*] [* 5689, 0, (0 : 1 : 0)*] [* 5820, 2, (2 : -3 : 1)*] [* 6213, 1, (0 : 0 : 1)*] [* 6344, 1, (0 : 0 : 1)*] [* 6737, 2, (2 : -3 : 1)*] [* 7261, 1, (0 : 0 : 1)*] [* 7916, 1, (0 : 0 : 1)*] [* 8309, -2, (2 : 2 : 1)*] [* 8440, 0, (0 : 1 : 0)*] [* 9357, 5, (220/9 : 3185/27 : 1)*] [* 9881, 1, (0 : 0 : 1)*] /* D = 57 (mod 131 ) [* 57, -1, (0 : -1 : 1)*] [* 188, -1, (0 : -1 : 1)*] [* 581, -2, (2 : 2 : 1)*] [* 712, -1, (0 : -1 : 1)*] [* 1105, -2, (2 : 2 : 1)*] [* 2153, 2, (2 : -3 : 1)*] [* 2284, 0, (0 : 1 : 0)*] [* 2677, 1, (0 : 0 : 1)*] [* 3201, 0, (0 : 1 : 0)*] [* 4249, 0, (0 : 1 : 0)*] [* 4380, 4, (6/25 : -146/125 : 1)*] [* 4773, 3, (5/4 : 7/8 : 1)*] [* 4904, 4, (6/25 : -146/125 : 1)*] [* 5297, -3, (5/4 : -15/8 : 1)*] [* 5821, 1, (0 : 0 : 1)*] [* 6476, 0, (0 : 1 : 0)*] [* 6869, 5, (220/9 : 3185/27 : 1)*] [* 7393, 2, (2 : -3 : 1)*] [* 7917, 0, (0 : 1 : 0)*] [* 8441, -3, (5/4 : -15/8 : 1)*] [* 8572, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 8965, 0, (0 : 1 : 0)*] [* 9096, 4, (6/25 : -146/125 : 1)*] [* 9489, 2, (2 : -3 : 1)*] /* D = 66 (mod 131 ) [* 197, -1, (0 : -1 : 1)*] [* 328, 1, (0 : 0 : 1)*] [* 721, -1, (0 : -1 : 1)*] [* 1245, 2, (2 : -3 : 1)*] [* 1769, 2, (2 : -3 : 1)*] [* 2293, 3, (5/4 : 7/8 : 1)*] [* 2424, 1, (0 : 0 : 1)*] [* 3341, -1, (0 : -1 : 1)*] [* 3865, 0, (0 : 1 : 0)*] [* 4389, -2, (2 : 2 : 1)*] [* 4520, 4, (6/25 : -146/125 : 1)*] [* 5437, -2, (2 : 2 : 1)*] [* 5961, 0, (0 : 1 : 0)*] [* 6092, 4, (6/25 : -146/125 : 1)*] [* 6485, -4, (6/25 : 21/125 : 1)*] [* 6616, 1, (0 : 0 : 1)*] [* 7009, 0, (0 : 1 : 0)*] [* 8057, 1, (0 : 0 : 1)*] [* 8188, -1, (0 : -1 : 1)*] [* 8581, 2, (2 : -3 : 1)*] [* 9105, -2, (2 : 2 : 1)*] [* 9629, 0, (0 : 1 : 0)*] /* D = 67 (mod 131 ) [* 329, 1, (0 : 0 : 1)*] [* 460, 2, (2 : -3 : 1)*] [* 853, 0, (0 : 1 : 0)*] [* 984, 3, (5/4 : 7/8 : 1)*] [* 1901, 0, (0 : 1 : 0)*] [* 2949, -1, (0 : -1 : 1)*] [* 3080, -4, (6/25 : 21/125 : 1)*] [* 3473, 3, (5/4 : 7/8 : 1)*] [* 3997, -2, (2 : 2 : 1)*] [* 4521, -2, (2 : 2 : 1)*] [* 4652, 1, (0 : 0 : 1)*] [* 5045, -6, (-303/1936 : -64337/85184 : 1)*] [* 5176, -4, (6/25 : 21/125 : 1)*] [* 5569, 2, (2 : -3 : 1)*] [* 6617, -6, (-303/1936 : -64337/85184 : 1)*] [* 6748, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 7141, 0, (0 : 1 : 0)*] [* 7665, 0, (0 : 1 : 0)*] [* 8189, -2, (2 : 2 : 1)*] [* 8713, 3, (5/4 : 7/8 : 1)*] [* 8844, 2, (2 : -3 : 1)*] [* 9237, 3, (5/4 : 7/8 : 1)*] [* 9368, -3, (5/4 : -15/8 : 1)*] [* 9761, -2, (2 : 2 : 1)*] /* D = 68 (mod 131 ) [* 461, -2, (2 : 2 : 1)*] [* 985, 0, (0 : 1 : 0)*] [* 1509, -1, (0 : -1 : 1)*] [* 1640, 4, (6/25 : -146/125 : 1)*] [* 2033, 3, (5/4 : 7/8 : 1)*] [* 2557, -2, (2 : 2 : 1)*] [* 3081, -2, (2 : 2 : 1)*] [* 3212, 6, (-303/1936 : -20847/85184 : 1)*] [* 3605, 0, (0 : 1 : 0)*] [* 3736, 2, (2 : -3 : 1)*] [* 4129, 2, (2 : -3 : 1)*] [* 5177, 2, (2 : -3 : 1)*] [* 5308, 2, (2 : -3 : 1)*] [* 5701, 3, (5/4 : 7/8 : 1)*] [* 6749, 5, (220/9 : 3185/27 : 1)*] [* 7273, -2, (2 : 2 : 1)*] [* 7404, 4, (6/25 : -146/125 : 1)*] [* 7797, 2, (2 : -3 : 1)*] [* 7928, 5, (220/9 : 3185/27 : 1)*] [* 8321, 3, (5/4 : 7/8 : 1)*] [* 8845, 2, (2 : -3 : 1)*] [* 9893, -7, (36740/10201 : 5802415/1030301 : 1)*] /* D = 69 (mod 131 ) [* 69, 1, (0 : 0 : 1)*] [* 593, 2, (2 : -3 : 1)*] [* 1117, -1, (0 : -1 : 1)*] [* 1641, 2, (2 : -3 : 1)*] [* 1772, 1, (0 : 0 : 1)*] [* 2165, -4, (6/25 : 21/125 : 1)*] [* 2296, -1, (0 : -1 : 1)*] [* 2689, 0, (0 : 1 : 0)*] [* 3737, -3, (5/4 : -15/8 : 1)*] [* 3868, -3, (5/4 : -15/8 : 1)*] [* 4261, -2, (2 : 2 : 1)*] [* 4785, 0, (0 : 1 : 0)*] [* 5309, -2, (2 : 2 : 1)*] [* 5833, 1, (0 : 0 : 1)*] [* 5964, 2, (2 : -3 : 1)*] [* 6357, 4, (6/25 : -146/125 : 1)*] [* 6488, -5, (220/9 : -3212/27 : 1)*] [* 6881, -1, (0 : -1 : 1)*] [* 7405, -4, (6/25 : 21/125 : 1)*] [* 8060, -6, (-303/1936 : -64337/85184 : 1)*] [* 8453, -2, (2 : 2 : 1)*] [* 8584, 2, (2 : -3 : 1)*] [* 8977, 1, (0 : 0 : 1)*] [* 9501, 0, (0 : 1 : 0)*] /* D = 70 (mod 131 ) [* 201, 0, (0 : 1 : 0)*] [* 332, 2, (2 : -3 : 1)*] [* 856, -1, (0 : -1 : 1)*] [* 1249, -1, (0 : -1 : 1)*] [* 2297, 2, (2 : -3 : 1)*] [* 2428, -2, (2 : 2 : 1)*] [* 2821, 1, (0 : 0 : 1)*] [* 3345, -2, (2 : 2 : 1)*] [* 3869, 2, (2 : -3 : 1)*] [* 4393, 1, (0 : 0 : 1)*] [* 4524, 0, (0 : 1 : 0)*] [* 4917, 2, (2 : -3 : 1)*] [* 5048, 3, (5/4 : 7/8 : 1)*] [* 5441, -3, (5/4 : -15/8 : 1)*] [* 5965, -2, (2 : 2 : 1)*] [* 6620, -2, (2 : 2 : 1)*] [* 7013, -8, (550046/697225 : -845703894/582182875 : 1)*] [* 7144, 4, (6/25 : -146/125 : 1)*] [* 7537, -2, (2 : 2 : 1)*] [* 8061, 1, (0 : 0 : 1)*] [* 8585, 4, (6/25 : -146/125 : 1)*] [* 8716, -2, (2 : 2 : 1)*] [* 9109, 0, (0 : 1 : 0)*] [* 9240, -8, (550046/697225 : -845703894/582182875 : 1)*] /* D = 71 (mod 131 ) [* 857, -1, (0 : -1 : 1)*] [* 988, -1, (0 : -1 : 1)*] [* 1381, 1, (0 : 0 : 1)*] [* 1905, -2, (2 : 2 : 1)*] [* 2429, 5, (220/9 : 3185/27 : 1)*] [* 2953, 0, (0 : 1 : 0)*] [* 3084, 1, (0 : 0 : 1)*] [* 3477, -1, (0 : -1 : 1)*] [* 3608, 2, (2 : -3 : 1)*] [* 4001, -1, (0 : -1 : 1)*] [* 5180, 0, (0 : 1 : 0)*] [* 5573, 5, (220/9 : 3185/27 : 1)*] [* 5704, 2, (2 : -3 : 1)*] [* 6097, 0, (0 : 1 : 0)*] [* 6621, -3, (5/4 : -15/8 : 1)*] [* 7145, 2, (2 : -3 : 1)*] [* 7276, 5, (220/9 : 3185/27 : 1)*] [* 7669, -1, (0 : -1 : 1)*] [* 8193, 0, (0 : 1 : 0)*] [* 8717, 2, (2 : -3 : 1)*] [* 9241, -2, (2 : 2 : 1)*] [* 9372, -4, (6/25 : 21/125 : 1)*] [* 9896, 1, (0 : 0 : 1)*] /* D = 72 (mod 131 ) [* 465, 2, (2 : -3 : 1)*] [* 989, 1, (0 : 0 : 1)*] [* 1513, 1, (0 : 0 : 1)*] [* 1644, 1, (0 : 0 : 1)*] [* 2037, -3, (5/4 : -15/8 : 1)*] [* 2168, 3, (5/4 : 7/8 : 1)*] [* 2561, -1, (0 : -1 : 1)*] [* 3085, -2, (2 : 2 : 1)*] [* 3740, 0, (0 : 1 : 0)*] [* 4133, 1, (0 : 0 : 1)*] [* 4264, 1, (0 : 0 : 1)*] [* 4657, -3, (5/4 : -15/8 : 1)*] [* 5181, 0, (0 : 1 : 0)*] [* 5705, 6, (-303/1936 : -20847/85184 : 1)*] [* 5836, -2, (2 : 2 : 1)*] [* 6229, -2, (2 : 2 : 1)*] [* 6360, 0, (0 : 1 : 0)*] [* 6753, -5, (220/9 : -3212/27 : 1)*] [* 7277, 3, (5/4 : 7/8 : 1)*] [* 7801, 0, (0 : 1 : 0)*] [* 7932, -2, (2 : 2 : 1)*] [* 8456, -3, (5/4 : -15/8 : 1)*] [* 8849, -2, (2 : 2 : 1)*] [* 9373, 1, (0 : 0 : 1)*] [* 9897, -1, (0 : -1 : 1)*] /* D = 73 (mod 131 ) [* 73, 0, (0 : 1 : 0)*] [* 204, 1, (0 : 0 : 1)*] [* 597, 2, (2 : -3 : 1)*] [* 728, 1, (0 : 0 : 1)*] [* 1121, -1, (0 : -1 : 1)*] [* 1645, 4, (6/25 : -146/125 : 1)*] [* 2693, -1, (0 : -1 : 1)*] [* 2824, -2, (2 : 2 : 1)*] [* 3217, -1, (0 : -1 : 1)*] [* 3741, 2, (2 : -3 : 1)*] [* 4265, 2, (2 : -3 : 1)*] [* 4396, -1, (0 : -1 : 1)*] [* 4789, -2, (2 : 2 : 1)*] [* 4920, -2, (2 : 2 : 1)*] *** Warning: The precision was insufficient to recognize P( 5313 ) as a global point [* 5313, Infinity, 0*] [* 5837, -2, (2 : 2 : 1)*] [* 6361, -2, (2 : 2 : 1)*] [* 6492, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 7016, -1, (0 : -1 : 1)*] [* 7409, 2, (2 : -3 : 1)*] [* 7933, -2, (2 : 2 : 1)*] [* 8457, 4, (6/25 : -146/125 : 1)*] [* 8588, 4, (6/25 : -146/125 : 1)*] [* 8981, 1, (0 : 0 : 1)*] [* 9112, -2, (2 : 2 : 1)*] [* 9505, 0, (0 : 1 : 0)*] /* D = 76 (mod 131 ) [* 76, -1, (0 : -1 : 1)*] [* 469, 0, (0 : 1 : 0)*] [* 993, -4, (6/25 : 21/125 : 1)*] [* 1517, 3, (5/4 : 7/8 : 1)*] [* 2041, -3, (5/4 : -15/8 : 1)*] [* 2172, 1, (0 : 0 : 1)*] [* 2696, 1, (0 : 0 : 1)*] [* 3089, 3, (5/4 : 7/8 : 1)*] [* 3613, 0, (0 : 1 : 0)*] [* 4137, 3, (5/4 : 7/8 : 1)*] [* 4268, 4, (6/25 : -146/125 : 1)*] [* 4661, 2, (2 : -3 : 1)*] [* 4792, 1, (0 : 0 : 1)*] [* 5185, 0, (0 : 1 : 0)*] [* 5709, 0, (0 : 1 : 0)*] [* 6233, -1, (0 : -1 : 1)*] [* 6364, -1, (0 : -1 : 1)*] [* 6757, 4, (6/25 : -146/125 : 1)*] [* 6888, 5, (220/9 : 3185/27 : 1)*] [* 7805, 6, (-303/1936 : -20847/85184 : 1)*] [* 8329, 3, (5/4 : 7/8 : 1)*] [* 8853, -4, (6/25 : 21/125 : 1)*] [* 8984, 2, (2 : -3 : 1)*] [* 9377, 0, (0 : 1 : 0)*] [* 9901, -2, (2 : 2 : 1)*] /* D = 78 (mod 131 ) [* 209, 0, (0 : 1 : 0)*] [* 733, 0, (0 : 1 : 0)*] [* 1257, 3, (5/4 : 7/8 : 1)*] [* 1388, 1, (0 : 0 : 1)*] [* 1781, -3, (5/4 : -15/8 : 1)*] [* 1912, 2, (2 : -3 : 1)*] [* 2305, 0, (0 : 1 : 0)*] [* 2829, 3, (5/4 : 7/8 : 1)*] [* 3353, -6, (-303/1936 : -64337/85184 : 1)*] [* 3484, 4, (6/25 : -146/125 : 1)*] [* 3877, 2, (2 : -3 : 1)*] [* 4008, 4, (6/25 : -146/125 : 1)*] [* 5449, 0, (0 : 1 : 0)*] [* 5973, -2, (2 : 2 : 1)*] [* 6104, 1, (0 : 0 : 1)*] [* 6497, -4, (6/25 : 21/125 : 1)*] [* 7021, -3, (5/4 : -15/8 : 1)*] [* 7545, 2, (2 : -3 : 1)*] [* 7676, 3, (5/4 : 7/8 : 1)*] [* 8069, 2, (2 : -3 : 1)*] [* 8593, 2, (2 : -3 : 1)*] [* 9641, 1, (0 : 0 : 1)*] [* 9772, -1, (0 : -1 : 1)*] /* D = 79 (mod 131 ) [* 341, -2, (2 : 2 : 1)*] [* 472, -1, (0 : -1 : 1)*] [* 865, -2, (2 : 2 : 1)*] [* 1389, 0, (0 : 1 : 0)*] [* 1913, 3, (5/4 : 7/8 : 1)*] [* 2044, 0, (0 : 1 : 0)*] [* 2437, 1, (0 : 0 : 1)*] [* 2568, -5, (220/9 : -3212/27 : 1)*] [* 3485, 0, (0 : 1 : 0)*] [* 4009, 4, (6/25 : -146/125 : 1)*] [* 4533, -2, (2 : 2 : 1)*] [* 4664, 4, (6/25 : -146/125 : 1)*] [* 5057, 2, (2 : -3 : 1)*] [* 5581, 0, (0 : 1 : 0)*] [* 6105, -4, (6/25 : 21/125 : 1)*] [* 6236, -2, (2 : 2 : 1)*] [* 6629, 3, (5/4 : 7/8 : 1)*] [* 7153, -3, (5/4 : -15/8 : 1)*] [* 8201, 3, (5/4 : 7/8 : 1)*] [* 8332, 2, (2 : -3 : 1)*] [* 9249, 0, (0 : 1 : 0)*] [* 9773, 2, (2 : -3 : 1)*] /* D = 82 (mod 131 ) [* 213, 2, (2 : -3 : 1)*] [* 344, -1, (0 : -1 : 1)*] [* 737, -2, (2 : 2 : 1)*] [* 1261, 1, (0 : 0 : 1)*] [* 1785, 0, (0 : 1 : 0)*] [* 1916, 0, (0 : 1 : 0)*] [* 2309, -3, (5/4 : -15/8 : 1)*] [* 2440, 0, (0 : 1 : 0)*] [* 2833, -3, (5/4 : -15/8 : 1)*] [* 3881, -2, (2 : 2 : 1)*] [* 4012, 3, (5/4 : 7/8 : 1)*] [* 4405, 2, (2 : -3 : 1)*] [* 4929, 1, (0 : 0 : 1)*] [* 5453, 1, (0 : 0 : 1)*] [* 5977, 1, (0 : 0 : 1)*] [* 6108, -2, (2 : 2 : 1)*] [* 6501, 2, (2 : -3 : 1)*] [* 6632, -3, (5/4 : -15/8 : 1)*] [* 7549, 0, (0 : 1 : 0)*] [* 8204, -1, (0 : -1 : 1)*] [* 8597, 0, (0 : 1 : 0)*] [* 8728, 1, (0 : 0 : 1)*] [* 9121, 4, (6/25 : -146/125 : 1)*] [* 9645, -2, (2 : 2 : 1)*] /* D = 83 (mod 131 ) [* 345, 0, (0 : 1 : 0)*] [* 476, 1, (0 : 0 : 1)*] [* 869, 0, (0 : 1 : 0)*] [* 1393, 0, (0 : 1 : 0)*] [* 2441, 2, (2 : -3 : 1)*] [* 2572, 2, (2 : -3 : 1)*] [* 2965, 0, (0 : 1 : 0)*] [* 3489, 3, (5/4 : 7/8 : 1)*] [* 4013, -2, (2 : 2 : 1)*] [* 4537, 5, (220/9 : 3185/27 : 1)*] [* 4668, 2, (2 : -3 : 1)*] [* 5061, -3, (5/4 : -15/8 : 1)*] [* 5192, 4, (6/25 : -146/125 : 1)*] [* 5585, -4, (6/25 : 21/125 : 1)*] [* 6109, -2, (2 : 2 : 1)*] [* 6764, 1, (0 : 0 : 1)*] [* 7157, 4, (6/25 : -146/125 : 1)*] [* 7288, 3, (5/4 : 7/8 : 1)*] [* 7681, -3, (5/4 : -15/8 : 1)*] [* 8205, -6, (-303/1936 : -64337/85184 : 1)*] [* 8729, 4, (6/25 : -146/125 : 1)*] [* 8860, -2, (2 : 2 : 1)*] [* 9253, -2, (2 : 2 : 1)*] [* 9384, 4, (6/25 : -146/125 : 1)*] [* 9777, 4, (6/25 : -146/125 : 1)*] /* D = 85 (mod 131 ) [* 85, 0, (0 : 1 : 0)*] [* 609, -2, (2 : 2 : 1)*] [* 1133, 4, (6/25 : -146/125 : 1)*] [* 1657, -1, (0 : -1 : 1)*] [* 1788, -2, (2 : 2 : 1)*] [* 2181, 1, (0 : 0 : 1)*] [* 2705, -2, (2 : 2 : 1)*] [* 3229, 1, (0 : 0 : 1)*] [* 3884, -1, (0 : -1 : 1)*] [* 4277, -1, (0 : -1 : 1)*] [* 4408, -4, (6/25 : 21/125 : 1)*] [* 4801, -2, (2 : 2 : 1)*] [* 5849, -1, (0 : -1 : 1)*] [* 5980, 0, (0 : 1 : 0)*] [* 6373, 2, (2 : -3 : 1)*] [* 6504, -5, (220/9 : -3212/27 : 1)*] [* 7421, 1, (0 : 0 : 1)*] [* 7945, 2, (2 : -3 : 1)*] [* 8076, -1, (0 : -1 : 1)*] [* 9517, -1, (0 : -1 : 1)*] /* D = 86 (mod 131 ) [* 217, 1, (0 : 0 : 1)*] [* 348, 2, (2 : -3 : 1)*] [* 741, 1, (0 : 0 : 1)*] [* 872, 3, (5/4 : 7/8 : 1)*] [* 1265, 0, (0 : 1 : 0)*] [* 1789, 1, (0 : 0 : 1)*] [* 2444, 3, (5/4 : 7/8 : 1)*] [* 2837, 3, (5/4 : 7/8 : 1)*] [* 2968, -1, (0 : -1 : 1)*] [* 3361, -3, (5/4 : -15/8 : 1)*] [* 3885, -2, (2 : 2 : 1)*] [* 4409, -1, (0 : -1 : 1)*] [* 4540, -2, (2 : 2 : 1)*] [* 4933, -1, (0 : -1 : 1)*] [* 5064, 0, (0 : 1 : 0)*] [* 5457, -3, (5/4 : -15/8 : 1)*] [* 5981, 1, (0 : 0 : 1)*] [* 6505, -2, (2 : 2 : 1)*] [* 6636, 0, (0 : 1 : 0)*] [* 7160, 4, (6/25 : -146/125 : 1)*] [* 7553, -4, (6/25 : 21/125 : 1)*] [* 8077, -1, (0 : -1 : 1)*] [* 8601, 1, (0 : 0 : 1)*] [* 8732, -1, (0 : -1 : 1)*] [* 9256, 1, (0 : 0 : 1)*] [* 9649, -1, (0 : -1 : 1)*] /* D = 87 (mod 131 ) [* 349, 1, (0 : 0 : 1)*] [* 1004, 3, (5/4 : 7/8 : 1)*] [* 1397, 4, (6/25 : -146/125 : 1)*] [* 1528, 1, (0 : 0 : 1)*] [* 1921, 0, (0 : 1 : 0)*] [* 2445, 2, (2 : -3 : 1)*] [* 2969, 0, (0 : 1 : 0)*] [* 3493, -3, (5/4 : -15/8 : 1)*] [* 3624, -1, (0 : -1 : 1)*] [* 4017, -1, (0 : -1 : 1)*] [* 4541, 0, (0 : 1 : 0)*] [* 5065, -4, (6/25 : 21/125 : 1)*] [* 5196, 1, (0 : 0 : 1)*] [* 5720, -4, (6/25 : 21/125 : 1)*] [* 6113, -2, (2 : 2 : 1)*] [* 6637, 1, (0 : 0 : 1)*] [* 7161, -4, (6/25 : 21/125 : 1)*] [* 7292, 0, (0 : 1 : 0)*] [* 7685, 2, (2 : -3 : 1)*] [* 7816, 2, (2 : -3 : 1)*] [* 8209, 3, (5/4 : 7/8 : 1)*] [* 8733, -2, (2 : 2 : 1)*] [* 9257, 4, (6/25 : -146/125 : 1)*] [* 9388, 4, (6/25 : -146/125 : 1)*] [* 9781, 1, (0 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 9912 ) as a global point [* 9912, Infinity, 0*] /* D = 88 (mod 131 ) [* 88, 0, (0 : 1 : 0)*] [* 481, 1, (0 : 0 : 1)*] [* 1005, 0, (0 : 1 : 0)*] [* 1529, 2, (2 : -3 : 1)*] [* 1660, -2, (2 : 2 : 1)*] [* 2053, -3, (5/4 : -15/8 : 1)*] [* 2184, 3, (5/4 : 7/8 : 1)*] [* 2577, -1, (0 : -1 : 1)*] [* 3101, -3, (5/4 : -15/8 : 1)*] [* 3756, 2, (2 : -3 : 1)*] [* 4280, -2, (2 : 2 : 1)*] [* 4673, -1, (0 : -1 : 1)*] [* 5197, -4, (6/25 : 21/125 : 1)*] [* 5721, 4, (6/25 : -146/125 : 1)*] *** Warning: The precision was insufficient to recognize P( 5852 ) as a global point [* 5852, Infinity, 0*] [* 6245, 2, (2 : -3 : 1)*] [* 6376, -3, (5/4 : -15/8 : 1)*] [* 6769, -1, (0 : -1 : 1)*] [* 7293, 4, (6/25 : -146/125 : 1)*] [* 7817, -1, (0 : -1 : 1)*] [* 7948, 8, (550046/697225 : 263521019/582182875 : 1)*] [* 8341, -1, (0 : -1 : 1)*] [* 8472, -4, (6/25 : 21/125 : 1)*] [* 9389, -1, (0 : -1 : 1)*] [* 9913, -2, (2 : 2 : 1)*] /* D = 90 (mod 131 ) [* 221, 1, (0 : 0 : 1)*] [* 745, 0, (0 : 1 : 0)*] [* 876, -2, (2 : 2 : 1)*] [* 1793, 2, (2 : -3 : 1)*] [* 2317, -2, (2 : 2 : 1)*] [* 2841, -5, (220/9 : -3212/27 : 1)*] [* 2972, 2, (2 : -3 : 1)*] [* 3365, -2, (2 : 2 : 1)*] [* 3496, -2, (2 : 2 : 1)*] [* 3889, 2, (2 : -3 : 1)*] [* 4413, 3, (5/4 : 7/8 : 1)*] [* 4937, -1, (0 : -1 : 1)*] [* 5068, -5, (220/9 : -3212/27 : 1)*] [* 5461, -1, (0 : -1 : 1)*] [* 5592, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 6509, 1, (0 : 0 : 1)*] [* 7033, 1, (0 : 0 : 1)*] [* 7557, 0, (0 : 1 : 0)*] [* 8081, 2, (2 : -3 : 1)*] [* 8605, 0, (0 : 1 : 0)*] [* 9129, -1, (0 : -1 : 1)*] [* 9260, 0, (0 : 1 : 0)*] [* 9784, -1, (0 : -1 : 1)*] /* D = 92 (mod 131 ) [* 92, 1, (0 : 0 : 1)*] [* 485, 0, (0 : 1 : 0)*] [* 616, 2, (2 : -3 : 1)*] [* 1009, -1, (0 : -1 : 1)*] [* 1533, 2, (2 : -3 : 1)*] [* 2188, 0, (0 : 1 : 0)*] [* 2581, 2, (2 : -3 : 1)*] [* 2712, 0, (0 : 1 : 0)*] [* 3629, -1, (0 : -1 : 1)*] [* 4153, -2, (2 : 2 : 1)*] [* 4677, 2, (2 : -3 : 1)*] [* 4808, 3, (5/4 : 7/8 : 1)*] [* 5201, 0, (0 : 1 : 0)*] [* 6249, -2, (2 : 2 : 1)*] [* 6380, 4, (6/25 : -146/125 : 1)*] [* 6773, -1, (0 : -1 : 1)*] [* 6904, 0, (0 : 1 : 0)*] [* 7297, -4, (6/25 : 21/125 : 1)*] [* 8345, 0, (0 : 1 : 0)*] [* 8476, 2, (2 : -3 : 1)*] [* 9393, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 9917, -2, (2 : 2 : 1)*] /* D = 93 (mod 131 ) [* 93, -1, (0 : -1 : 1)*] [* 617, 0, (0 : 1 : 0)*] [* 748, -2, (2 : 2 : 1)*] [* 1141, -2, (2 : 2 : 1)*] [* 1272, -3, (5/4 : -15/8 : 1)*] [* 2189, -2, (2 : 2 : 1)*] [* 2713, 2, (2 : -3 : 1)*] [* 3237, -2, (2 : 2 : 1)*] [* 3368, 2, (2 : -3 : 1)*] [* 3761, 4, (6/25 : -146/125 : 1)*] [* 4285, 2, (2 : -3 : 1)*] [* 4809, 1, (0 : 0 : 1)*] [* 4940, 2, (2 : -3 : 1)*] [* 5333, 4, (6/25 : -146/125 : 1)*] [* 5464, -1, (0 : -1 : 1)*] [* 5857, -1, (0 : -1 : 1)*] [* 6905, 4, (6/25 : -146/125 : 1)*] [* 7036, 0, (0 : 1 : 0)*] [* 7429, 2, (2 : -3 : 1)*] [* 7953, -6, (-303/1936 : -64337/85184 : 1)*] [* 9001, 1, (0 : 0 : 1)*] [* 9132, -5, (220/9 : -3212/27 : 1)*] [* 9656, -2, (2 : 2 : 1)*] /* D = 95 (mod 131 ) [* 357, -3, (5/4 : -15/8 : 1)*] [* 488, -3, (5/4 : -15/8 : 1)*] [* 881, -1, (0 : -1 : 1)*] [* 1405, -2, (2 : 2 : 1)*] [* 1929, 4, (6/25 : -146/125 : 1)*] [* 2060, -2, (2 : 2 : 1)*] [* 2453, 2, (2 : -3 : 1)*] [* 2584, 0, (0 : 1 : 0)*] [* 2977, 3, (5/4 : 7/8 : 1)*] [* 4156, 0, (0 : 1 : 0)*] [* 4549, -1, (0 : -1 : 1)*] [* 5073, 1, (0 : 0 : 1)*] [* 5597, 4, (6/25 : -146/125 : 1)*] [* 6121, 4, (6/25 : -146/125 : 1)*] [* 6252, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 6645, -4, (6/25 : 21/125 : 1)*] [* 7169, -4, (6/25 : 21/125 : 1)*] [* 8348, -3, (5/4 : -15/8 : 1)*] [* 8741, -1, (0 : -1 : 1)*] [* 8872, 1, (0 : 0 : 1)*] [* 9265, 0, (0 : 1 : 0)*] [* 9789, 1, (0 : 0 : 1)*] /* D = 96 (mod 131 ) [* 489, -2, (2 : 2 : 1)*] [* 620, 0, (0 : 1 : 0)*] [* 1013, -2, (2 : 2 : 1)*] [* 1144, -2, (2 : 2 : 1)*] [* 1537, 0, (0 : 1 : 0)*] [* 2585, -4, (6/25 : 21/125 : 1)*] [* 2716, 1, (0 : 0 : 1)*] [* 3109, 3, (5/4 : 7/8 : 1)*] [* 3633, 4, (6/25 : -146/125 : 1)*] [* 4157, 4, (6/25 : -146/125 : 1)*] [* 4681, 1, (0 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 4812 ) as a global point [* 4812, Infinity, 0*] [* 5205, 2, (2 : -3 : 1)*] [* 5336, 6, (-303/1936 : -20847/85184 : 1)*] [* 5729, -3, (5/4 : -15/8 : 1)*] [* 6908, -4, (6/25 : 21/125 : 1)*] [* 7432, 3, (5/4 : 7/8 : 1)*] [* 8873, 0, (0 : 1 : 0)*] [* 9004, 1, (0 : 0 : 1)*] [* 9397, 2, (2 : -3 : 1)*] [* 9528, -1, (0 : -1 : 1)*] [* 9921, 1, (0 : 0 : 1)*] /* D = 97 (mod 131 ) [* 97, 1, (0 : 0 : 1)*] [* 1145, 2, (2 : -3 : 1)*] [* 1276, 2, (2 : -3 : 1)*] [* 1669, -1, (0 : -1 : 1)*] [* 2193, 1, (0 : 0 : 1)*] [* 2717, -2, (2 : 2 : 1)*] [* 3241, 2, (2 : -3 : 1)*] [* 3372, 1, (0 : 0 : 1)*] [* 3765, -6, (-303/1936 : -64337/85184 : 1)*] [* 3896, -2, (2 : 2 : 1)*] [* 4289, 1, (0 : 0 : 1)*] [* 4813, -1, (0 : -1 : 1)*] [* 5468, -1, (0 : -1 : 1)*] [* 5861, 4, (6/25 : -146/125 : 1)*] [* 5992, 3, (5/4 : 7/8 : 1)*] [* 6385, 0, (0 : 1 : 0)*] [* 7433, -3, (5/4 : -15/8 : 1)*] [* 7564, -3, (5/4 : -15/8 : 1)*] [* 7957, 2, (2 : -3 : 1)*] [* 8088, -1, (0 : -1 : 1)*] [* 8481, -4, (6/25 : 21/125 : 1)*] [* 9005, 2, (2 : -3 : 1)*] [* 9529, 0, (0 : 1 : 0)*] [* 9660, -2, (2 : 2 : 1)*] /* D = 98 (mod 131 ) [* 229, -1, (0 : -1 : 1)*] [* 753, -1, (0 : -1 : 1)*] [* 1277, 1, (0 : 0 : 1)*] [* 1801, -2, (2 : 2 : 1)*] [* 1932, -5, (220/9 : -3212/27 : 1)*] [* 2456, 3, (5/4 : 7/8 : 1)*] [* 2849, 2, (2 : -3 : 1)*] [* 3373, -2, (2 : 2 : 1)*] [* 4028, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 4421, 5, (220/9 : 3185/27 : 1)*] [* 4552, -1, (0 : -1 : 1)*] [* 4945, 4, (6/25 : -146/125 : 1)*] [* 5469, -2, (2 : 2 : 1)*] [* 5993, 0, (0 : 1 : 0)*] [* 6124, 0, (0 : 1 : 0)*] [* 6648, 0, (0 : 1 : 0)*] [* 7041, 0, (0 : 1 : 0)*] [* 7565, 4, (6/25 : -146/125 : 1)*] [* 8089, 0, (0 : 1 : 0)*] [* 8220, 4, (6/25 : -146/125 : 1)*] [* 8744, -1, (0 : -1 : 1)*] [* 9137, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 9661, 0, (0 : 1 : 0)*] /* D = 103 (mod 131 ) [* 365, 0, (0 : 1 : 0)*] [* 889, -1, (0 : -1 : 1)*] [* 1020, 2, (2 : -3 : 1)*] [* 1544, 0, (0 : 1 : 0)*] [* 1937, 0, (0 : 1 : 0)*] [* 2461, 3, (5/4 : 7/8 : 1)*] [* 2985, -2, (2 : 2 : 1)*] [* 3116, -1, (0 : -1 : 1)*] [* 3640, -4, (6/25 : 21/125 : 1)*] [* 4033, -1, (0 : -1 : 1)*] [* 5081, -5, (220/9 : -3212/27 : 1)*] [* 5212, 2, (2 : -3 : 1)*] [* 5605, 0, (0 : 1 : 0)*] [* 5736, 2, (2 : -3 : 1)*] [* 6653, -5, (220/9 : -3212/27 : 1)*] [* 7177, -2, (2 : 2 : 1)*] [* 7701, 1, (0 : 0 : 1)*] [* 7832, 4, (6/25 : -146/125 : 1)*] [* 8749, 1, (0 : 0 : 1)*] [* 9273, 4, (6/25 : -146/125 : 1)*] [* 9404, -6, (-303/1936 : -64337/85184 : 1)*] [* 9797, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 9928, -2, (2 : 2 : 1)*] /* D = 104 (mod 131 ) [* 104, 1, (0 : 0 : 1)*] [* 497, 2, (2 : -3 : 1)*] [* 1021, 0, (0 : 1 : 0)*] [* 1545, 0, (0 : 1 : 0)*] [* 1676, 1, (0 : 0 : 1)*] [* 2069, -2, (2 : 2 : 1)*] [* 2593, 4, (6/25 : -146/125 : 1)*] [* 3117, -2, (2 : 2 : 1)*] [* 3641, 0, (0 : 1 : 0)*] [* 3772, -1, (0 : -1 : 1)*] [* 4296, -3, (5/4 : -15/8 : 1)*] [* 5213, -5, (220/9 : -3212/27 : 1)*] [* 5737, -3, (5/4 : -15/8 : 1)*] [* 6261, 1, (0 : 0 : 1)*] [* 6392, 2, (2 : -3 : 1)*] [* 6785, 2, (2 : -3 : 1)*] [* 7309, 0, (0 : 1 : 0)*] [* 7833, -2, (2 : 2 : 1)*] [* 7964, 2, (2 : -3 : 1)*] [* 8357, -1, (0 : -1 : 1)*] [* 8488, -1, (0 : -1 : 1)*] [* 8881, -2, (2 : 2 : 1)*] [* 9929, 3, (5/4 : 7/8 : 1)*] /* D = 106 (mod 131 ) [* 237, 2, (2 : -3 : 1)*] [* 761, -1, (0 : -1 : 1)*] [* 892, 2, (2 : -3 : 1)*] [* 1285, 0, (0 : 1 : 0)*] [* 1416, -1, (0 : -1 : 1)*] [* 2333, -1, (0 : -1 : 1)*] [* 2857, 0, (0 : 1 : 0)*] [* 3512, 1, (0 : 0 : 1)*] [* 3905, 0, (0 : 1 : 0)*] [* 4429, 1, (0 : 0 : 1)*] [* 4953, -3, (5/4 : -15/8 : 1)*] [* 5084, 3, (5/4 : 7/8 : 1)*] [* 5477, -1, (0 : -1 : 1)*] [* 5608, 1, (0 : 0 : 1)*] [* 6001, 2, (2 : -3 : 1)*] [* 7049, 1, (0 : 0 : 1)*] [* 7180, -2, (2 : 2 : 1)*] [* 7573, -1, (0 : -1 : 1)*] [* 8097, 3, (5/4 : 7/8 : 1)*] [* 8621, -5, (220/9 : -3212/27 : 1)*] [* 9145, -4, (6/25 : 21/125 : 1)*] [* 9276, -2, (2 : 2 : 1)*] [* 9669, 2, (2 : -3 : 1)*] /* D = 110 (mod 131 ) [* 241, 1, (0 : 0 : 1)*] [* 1289, 0, (0 : 1 : 0)*] [* 1420, -2, (2 : 2 : 1)*] [* 2337, 3, (5/4 : 7/8 : 1)*] [* 2861, 0, (0 : 1 : 0)*] [* 3385, -2, (2 : 2 : 1)*] [* 3516, 1, (0 : 0 : 1)*] [* 3909, -4, (6/25 : 21/125 : 1)*] [* 4040, 0, (0 : 1 : 0)*] [* 4433, 4, (6/25 : -146/125 : 1)*] [* 4957, 0, (0 : 1 : 0)*] [* 5612, -1, (0 : -1 : 1)*] [* 6005, 2, (2 : -3 : 1)*] [* 6136, -3, (5/4 : -15/8 : 1)*] [* 6529, 0, (0 : 1 : 0)*] [* 7053, -6, (-303/1936 : -64337/85184 : 1)*] [* 7577, -4, (6/25 : 21/125 : 1)*] [* 7708, -1, (0 : -1 : 1)*] [* 8101, 0, (0 : 1 : 0)*] [* 9149, 0, (0 : 1 : 0)*] [* 9673, 3, (5/4 : 7/8 : 1)*] [* 9804, -5, (220/9 : -3212/27 : 1)*] /* D = 111 (mod 131 ) [* 373, -2, (2 : 2 : 1)*] [* 897, -1, (0 : -1 : 1)*] [* 1945, -2, (2 : 2 : 1)*] [* 2076, 0, (0 : 1 : 0)*] [* 2469, 1, (0 : 0 : 1)*] [* 2993, 2, (2 : -3 : 1)*] [* 3517, 4, (6/25 : -146/125 : 1)*] [* 4172, 2, (2 : -3 : 1)*] [* 4565, 4, (6/25 : -146/125 : 1)*] [* 4696, 1, (0 : 0 : 1)*] [* 5089, 1, (0 : 0 : 1)*] [* 5613, 0, (0 : 1 : 0)*] [* 6268, 3, (5/4 : 7/8 : 1)*] [* 6661, -2, (2 : 2 : 1)*] [* 6792, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 7185, 0, (0 : 1 : 0)*] [* 7709, -2, (2 : 2 : 1)*] [* 8233, -2, (2 : 2 : 1)*] [* 8364, -3, (5/4 : -15/8 : 1)*] [* 8888, -2, (2 : 2 : 1)*] [* 9281, 1, (0 : 0 : 1)*] [* 9805, 0, (0 : 1 : 0)*] /* D = 115 (mod 131 ) [* 377, -2, (2 : 2 : 1)*] [* 508, -1, (0 : -1 : 1)*] [* 901, -1, (0 : -1 : 1)*] [* 1032, -1, (0 : -1 : 1)*] [* 1949, 0, (0 : 1 : 0)*] [* 2473, 2, (2 : -3 : 1)*] [* 2604, 1, (0 : 0 : 1)*] [* 3128, 4, (6/25 : -146/125 : 1)*] [* 3521, -3, (5/4 : -15/8 : 1)*] [* 4045, 0, (0 : 1 : 0)*] [* 4569, 6, (-303/1936 : -20847/85184 : 1)*] [* 5093, 0, (0 : 1 : 0)*] [* 5224, 3, (5/4 : 7/8 : 1)*] [* 5617, 1, (0 : 0 : 1)*] [* 6141, 3, (5/4 : 7/8 : 1)*] [* 6665, 2, (2 : -3 : 1)*] [* 6796, 3, (5/4 : 7/8 : 1)*] [* 7189, 0, (0 : 1 : 0)*] [* 7320, 2, (2 : -3 : 1)*] [* 8237, -5, (220/9 : -3212/27 : 1)*] [* 8761, -1, (0 : -1 : 1)*] [* 9285, 0, (0 : 1 : 0)*] [* 9416, -2, (2 : 2 : 1)*] [* 9809, 1, (0 : 0 : 1)*] /* D = 116 (mod 131 ) [* 509, 2, (2 : -3 : 1)*] [* 1033, 1, (0 : 0 : 1)*] [* 1164, 3, (5/4 : 7/8 : 1)*] [* 1688, 2, (2 : -3 : 1)*] [* 2081, 2, (2 : -3 : 1)*] [* 2605, 0, (0 : 1 : 0)*] [* 3129, -4, (6/25 : 21/125 : 1)*] [* 3260, -2, (2 : 2 : 1)*] [* 3653, -1, (0 : -1 : 1)*] [* 3784, -2, (2 : 2 : 1)*] [* 4177, -2, (2 : 2 : 1)*] [* 4701, -1, (0 : -1 : 1)*] [* 5356, -1, (0 : -1 : 1)*] [* 5749, 1, (0 : 0 : 1)*] [* 6797, 3, (5/4 : 7/8 : 1)*] [* 7321, -4, (6/25 : 21/125 : 1)*] [* 7845, -2, (2 : 2 : 1)*] [* 7976, 1, (0 : 0 : 1)*] [* 8369, 1, (0 : 0 : 1)*] [* 8893, 2, (2 : -3 : 1)*] [* 9417, 6, (-303/1936 : -20847/85184 : 1)*] [* 9548, 4, (6/25 : -146/125 : 1)*] [* 9941, 4, (6/25 : -146/125 : 1)*] /* D = 118 (mod 131 ) [* 249, 0, (0 : 1 : 0)*] [* 380, 0, (0 : 1 : 0)*] [* 773, -4, (6/25 : 21/125 : 1)*] [* 904, -2, (2 : 2 : 1)*] [* 1297, 2, (2 : -3 : 1)*] [* 1821, 0, (0 : 1 : 0)*] [* 2345, 4, (6/25 : -146/125 : 1)*] [* 2476, -2, (2 : 2 : 1)*] [* 2869, -1, (0 : -1 : 1)*] [* 3917, 0, (0 : 1 : 0)*] [* 4441, 0, (0 : 1 : 0)*] [* 4965, 2, (2 : -3 : 1)*] [* 5489, -2, (2 : 2 : 1)*] [* 6013, -3, (5/4 : -15/8 : 1)*] [* 6537, 6, (-303/1936 : -20847/85184 : 1)*] [* 6668, -5, (220/9 : -3212/27 : 1)*] [* 7061, -3, (5/4 : -15/8 : 1)*] [* 7192, 2, (2 : -3 : 1)*] [* 7585, -2, (2 : 2 : 1)*] [* 8633, -3, (5/4 : -15/8 : 1)*] [* 8764, -2, (2 : 2 : 1)*] [* 9157, 5, (220/9 : 3185/27 : 1)*] [* 9681, 0, (0 : 1 : 0)*] /* D = 119 (mod 131 ) [* 381, -1, (0 : -1 : 1)*] [* 905, -4, (6/25 : 21/125 : 1)*] [* 1036, -1, (0 : -1 : 1)*] [* 1429, 1, (0 : 0 : 1)*] [* 1560, -4, (6/25 : 21/125 : 1)*] [* 2477, 4, (6/25 : -146/125 : 1)*] [* 3001, 0, (0 : 1 : 0)*] [* 3656, 1, (0 : 0 : 1)*] [* 4049, 4, (6/25 : -146/125 : 1)*] [* 4573, -3, (5/4 : -15/8 : 1)*] [* 5097, 1, (0 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 5228 ) as a global point [* 5228, Infinity, 0*] [* 5621, 2, (2 : -3 : 1)*] [* 5752, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 6145, 2, (2 : -3 : 1)*] [* 7193, -1, (0 : -1 : 1)*] [* 7324, -1, (0 : -1 : 1)*] [* 7717, 2, (2 : -3 : 1)*] [* 8241, -2, (2 : 2 : 1)*] [* 8765, 2, (2 : -3 : 1)*] [* 9289, -2, (2 : 2 : 1)*] [* 9420, -4, (6/25 : 21/125 : 1)*] *** Warning: The precision was insufficient to recognize P( 9813 ) as a global point [* 9813, Infinity, 0*] [* 9944, 4, (6/25 : -146/125 : 1)*] /* D = 120 (mod 131 ) [* 120, 2, (2 : -3 : 1)*] [* 1037, 1, (0 : 0 : 1)*] [* 1561, 0, (0 : 1 : 0)*] [* 2085, 4, (6/25 : -146/125 : 1)*] [* 2216, 0, (0 : 1 : 0)*] [* 2609, -4, (6/25 : 21/125 : 1)*] [* 3133, 1, (0 : 0 : 1)*] [* 3657, -1, (0 : -1 : 1)*] [* 3788, -1, (0 : -1 : 1)*] [* 4181, 0, (0 : 1 : 0)*] [* 4705, -2, (2 : 2 : 1)*] [* 5753, -2, (2 : 2 : 1)*] [* 5884, -1, (0 : -1 : 1)*] [* 6277, -4, (6/25 : 21/125 : 1)*] [* 6801, 1, (0 : 0 : 1)*] [* 7849, 0, (0 : 1 : 0)*] [* 7980, 8, (550046/697225 : 263521019/582182875 : 1)*] [* 8373, -1, (0 : -1 : 1)*] [* 8504, -4, (6/25 : 21/125 : 1)*] [* 8897, -7, (36740/10201 : 5802415/1030301 : 1)*] [* 9421, 0, (0 : 1 : 0)*] /* D = 122 (mod 131 ) [* 253, -2, (2 : 2 : 1)*] [* 777, -1, (0 : -1 : 1)*] [* 908, 2, (2 : -3 : 1)*] [* 1301, 0, (0 : 1 : 0)*] [* 1432, -1, (0 : -1 : 1)*] [* 3004, 0, (0 : 1 : 0)*] [* 3397, 2, (2 : -3 : 1)*] [* 3921, 0, (0 : 1 : 0)*] [* 4445, -2, (2 : 2 : 1)*] [* 4969, 3, (5/4 : 7/8 : 1)*] [* 5493, -3, (5/4 : -15/8 : 1)*] [* 5624, 6, (-303/1936 : -20847/85184 : 1)*] [* 6017, 4, (6/25 : -146/125 : 1)*] [* 6541, -4, (6/25 : 21/125 : 1)*] [* 7196, 7, (36740/10201 : -6832716/1030301 : 1)*] [* 7589, -2, (2 : 2 : 1)*] [* 7720, 0, (0 : 1 : 0)*] [* 8113, -3, (5/4 : -15/8 : 1)*] [* 8637, 4, (6/25 : -146/125 : 1)*] [* 9161, 6, (-303/1936 : -20847/85184 : 1)*] [* 9292, 3, (5/4 : 7/8 : 1)*] [* 9685, 0, (0 : 1 : 0)*] [* 9816, 0, (0 : 1 : 0)*] /* D = 124 (mod 131 ) [* 124, 1, (0 : 0 : 1)*] [* 517, 0, (0 : 1 : 0)*] [* 1041, 1, (0 : 0 : 1)*] [* 1565, 4, (6/25 : -146/125 : 1)*] [* 2089, 2, (2 : -3 : 1)*] [* 2220, 0, (0 : 1 : 0)*] [* 2613, -4, (6/25 : 21/125 : 1)*] [* 3137, 2, (2 : -3 : 1)*] [* 3661, -3, (5/4 : -15/8 : 1)*] [* 4316, 0, (0 : 1 : 0)*] [* 4709, -2, (2 : 2 : 1)*] [* 5233, 2, (2 : -3 : 1)*] [* 5757, -5, (220/9 : -3212/27 : 1)*] [* 6281, 0, (0 : 1 : 0)*] [* 6412, -1, (0 : -1 : 1)*] [* 6805, 0, (0 : 1 : 0)*] [* 7329, -3, (5/4 : -15/8 : 1)*] [* 7853, -1, (0 : -1 : 1)*] [* 8377, -4, (6/25 : 21/125 : 1)*] [* 8508, 6, (-303/1936 : -20847/85184 : 1)*] [* 9032, 1, (0 : 0 : 1)*] [* 9949, -1, (0 : -1 : 1)*] /* D = 126 (mod 131 ) [* 257, -1, (0 : -1 : 1)*] [* 781, 0, (0 : 1 : 0)*] [* 1436, -2, (2 : 2 : 1)*] [* 1829, 1, (0 : 0 : 1)*] [* 2353, -1, (0 : -1 : 1)*] [* 2877, 1, (0 : 0 : 1)*] [* 3401, -3, (5/4 : -15/8 : 1)*] [* 3532, -5, (220/9 : -3212/27 : 1)*] [* 4449, -1, (0 : -1 : 1)*] [* 4973, -3, (5/4 : -15/8 : 1)*] [* 5497, -2, (2 : 2 : 1)*] [* 5628, 0, (0 : 1 : 0)*] [* 6152, -6, (-303/1936 : -64337/85184 : 1)*] [* 6545, 0, (0 : 1 : 0)*] [* 7069, 0, (0 : 1 : 0)*] [* 7593, 1, (0 : 0 : 1)*] [* 7724, 1, (0 : 0 : 1)*] [* 8117, -4, (6/25 : 21/125 : 1)*] [* 8248, 2, (2 : -3 : 1)*] [* 8641, -1, (0 : -1 : 1)*] [* 9165, 2, (2 : -3 : 1)*] [* 9689, -1, (0 : -1 : 1)*] [* 9820, 0, (0 : 1 : 0)*] /* D = 127 (mod 131 ) [* 389, 2, (2 : -3 : 1)*] [* 520, -2, (2 : 2 : 1)*] [* 913, -2, (2 : 2 : 1)*] [* 1437, -2, (2 : 2 : 1)*] [* 1961, -1, (0 : -1 : 1)*] [* 2092, 1, (0 : 0 : 1)*] [* 2485, -2, (2 : 2 : 1)*] [* 2616, -1, (0 : -1 : 1)*] [* 3009, -1, (0 : -1 : 1)*] [* 3533, 5, (220/9 : 3185/27 : 1)*] [* 4057, 2, (2 : -3 : 1)*] [* 4188, -3, (5/4 : -15/8 : 1)*] [* 4712, 4, (6/25 : -146/125 : 1)*] [* 5105, -2, (2 : 2 : 1)*] [* 5629, 3, (5/4 : 7/8 : 1)*] [* 6153, -3, (5/4 : -15/8 : 1)*] [* 6284, 3, (5/4 : 7/8 : 1)*] *** Warning: The precision was insufficient to recognize P( 6677 ) as a global point [* 6677, Infinity, 0*] [* 6808, -2, (2 : 2 : 1)*] [* 7201, 0, (0 : 1 : 0)*] [* 8249, 0, (0 : 1 : 0)*] [* 8380, -4, (6/25 : 21/125 : 1)*] [* 8773, 1, (0 : 0 : 1)*] [* 8904, -3, (5/4 : -15/8 : 1)*] [* 9821, -3, (5/4 : -15/8 : 1)*] /* D = 128 (mod 131 ) [* 521, 1, (0 : 0 : 1)*] [* 652, 0, (0 : 1 : 0)*] [* 1045, 0, (0 : 1 : 0)*] [* 1569, 1, (0 : 0 : 1)*] [* 2093, 3, (5/4 : 7/8 : 1)*] [* 2617, -3, (5/4 : -15/8 : 1)*] [* 2748, -5, (220/9 : -3212/27 : 1)*] [* 3272, 0, (0 : 1 : 0)*] [* 3665, 0, (0 : 1 : 0)*] [* 4189, 0, (0 : 1 : 0)*] [* 4713, 3, (5/4 : 7/8 : 1)*] [* 4844, 4, (6/25 : -146/125 : 1)*] [* 5237, -2, (2 : 2 : 1)*] [* 5368, -2, (2 : 2 : 1)*] [* 5761, 1, (0 : 0 : 1)*] [* 6285, -6, (-303/1936 : -64337/85184 : 1)*] [* 6809, 0, (0 : 1 : 0)*] [* 6940, 0, (0 : 1 : 0)*] [* 7333, -2, (2 : 2 : 1)*] [* 7464, 1, (0 : 0 : 1)*] [* 8905, 0, (0 : 1 : 0)*] [* 9429, -2, (2 : 2 : 1)*] [* 9560, 0, (0 : 1 : 0)*] [* 9953, 1, (0 : 0 : 1)*] /* D = 130 (mod 131 ) [* 785, 2, (2 : -3 : 1)*] [* 1309, 0, (0 : 1 : 0)*] [* 1833, 1, (0 : 0 : 1)*] [* 1964, 2, (2 : -3 : 1)*] [* 2357, 2, (2 : -3 : 1)*] [* 2488, -1, (0 : -1 : 1)*] [* 2881, 2, (2 : -3 : 1)*] [* 3405, -2, (2 : 2 : 1)*] [* 3929, -3, (5/4 : -15/8 : 1)*] [* 4060, -2, (2 : 2 : 1)*] [* 4453, -4, (6/25 : 21/125 : 1)*] [* 4584, -5, (220/9 : -3212/27 : 1)*] [* 5501, -1, (0 : -1 : 1)*] [* 6549, -5, (220/9 : -3212/27 : 1)*] [* 6680, 4, (6/25 : -146/125 : 1)*] [* 7073, 2, (2 : -3 : 1)*] [* 7597, -2, (2 : 2 : 1)*] [* 8121, 1, (0 : 0 : 1)*] [* 8252, 0, (0 : 1 : 0)*] [* 8645, 4, (6/25 : -146/125 : 1)*] [* 8776, 1, (0 : 0 : 1)*] [* 9169, 2, (2 : -3 : 1)*] Total time: 28468.689 seconds, Total memory usage: 51.56MB