Magma V2.13-11 Sun Nov 11 2007 13:18:35 on amd18 [Seed = 4068652167] Type ? for help. Type -D to quit. Loading file "do-83" Loading "../data/M.83.1.plus" Loading "do_generic" Loading "padic.magma" Loading "integrals.magma" Loading "tate.magma" Loading "stark-heegner.magma" ------------------------------------------------------------------- You are now set up to perform Stark-Heegner point calculations on E = Elliptic Curve defined by y^2 + x*y + y = x^3 + x^2 + x over Rational Field working over Qp = the 83-adic field mod 83^20 ------------------------------------------------------------------- /* D = 2 (mod 83 ) [* 85, 1, (0 : 0 : 1)*] [* 168, -3, (4 : -12 : 1)*] [* 417, 1, (0 : 0 : 1)*] [* 749, 4, (-3/16 : -31/64 : 1)*] [* 1081, 0, (0 : 1 : 0)*] [* 1164, 2, (1 : -3 : 1)*] [* 1496, -1, (0 : -1 : 1)*] [* 1745, 1, (0 : 0 : 1)*] [* 2077, 2, (1 : -3 : 1)*] [* 2409, -1, (0 : -1 : 1)*] [* 2492, 2, (1 : -3 : 1)*] [* 2741, -3, (4 : -12 : 1)*] [* 2824, 1, (0 : 0 : 1)*] [* 3073, -5, (76/9 : 589/27 : 1)*] [* 3405, 2, (1 : -3 : 1)*] [* 3737, 2, (1 : -3 : 1)*] [* 3820, 4, (-3/16 : -31/64 : 1)*] [* 4069, -1, (0 : -1 : 1)*] [* 4152, 5, (76/9 : -844/27 : 1)*] [* 4733, 1, (0 : 0 : 1)*] [* 5065, 0, (0 : 1 : 0)*] [* 5397, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] [* 5480, 4, (-3/16 : -31/64 : 1)*] [* 5729, -2, (1 : 1 : 1)*] [* 6061, 1, (0 : 0 : 1)*] [* 6393, -3, (4 : -12 : 1)*] [* 6476, -4, (-3/16 : -21/64 : 1)*] [* 6808, -2, (1 : 1 : 1)*] [* 7057, 3, (4 : 7 : 1)*] [* 7721, 0, (0 : 1 : 0)*] [* 7804, -6, (201/361 : -14137/6859 : 1)*] [* 8053, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 8385, 4, (-3/16 : -31/64 : 1)*] [* 8717, 12, (-16091936483/111772536976 : -24913327036431981/37368241651964224 : 1)*] [* 9049, 2, (1 : -3 : 1)*] [* 9132, 0, (0 : 1 : 0)*] [* 9381, 6, (201/361 : 3459/6859 : 1)*] [* 9713, -2, (1 : 1 : 1)*] /* D = 5 (mod 83 ) [* 5, 1, (0 : 0 : 1)*] [* 88, 1, (0 : 0 : 1)*] [* 337, 0, (0 : 1 : 0)*] [* 669, 1, (0 : 0 : 1)*] [* 1001, -3, (4 : -12 : 1)*] [* 1084, -2, (1 : 1 : 1)*] [* 1333, -2, (1 : 1 : 1)*] [* 1416, 1, (0 : 0 : 1)*] [* 1997, 3, (4 : 7 : 1)*] [* 2329, -2, (1 : 1 : 1)*] [* 2661, 1, (0 : 0 : 1)*] [* 2993, -4, (-3/16 : -21/64 : 1)*] [* 3657, 4, (-3/16 : -31/64 : 1)*] [* 3740, 2, (1 : -3 : 1)*] [* 3989, 0, (0 : 1 : 0)*] [* 4072, 3, (4 : 7 : 1)*] [* 4321, 2, (1 : -3 : 1)*] [* 4985, 5, (76/9 : -844/27 : 1)*] [* 5068, 4, (-3/16 : -31/64 : 1)*] [* 5317, 1, (0 : 0 : 1)*] [* 5649, 0, (0 : 1 : 0)*] [* 5981, 2, (1 : -3 : 1)*] [* 6313, 0, (0 : 1 : 0)*] [* 6396, 4, (-3/16 : -31/64 : 1)*] [* 6645, -3, (4 : -12 : 1)*] [* 6977, -4, (-3/16 : -21/64 : 1)*] [* 7309, 2, (1 : -3 : 1)*] [* 7724, 0, (0 : 1 : 0)*] [* 7973, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 8056, 2, (1 : -3 : 1)*] [* 8305, 7, (760/4489 : -397803/300763 : 1)*] [* 8637, 2, (1 : -3 : 1)*] [* 8969, -1, (0 : -1 : 1)*] [* 9052, 4, (-3/16 : -31/64 : 1)*] [* 9301, -4, (-3/16 : -21/64 : 1)*] [* 9384, -2, (1 : 1 : 1)*] [* 9965, -2, (1 : 1 : 1)*] /* D = 6 (mod 83 ) [* 89, 2, (1 : -3 : 1)*] [* 172, 0, (0 : 1 : 0)*] [* 421, 2, (1 : -3 : 1)*] [* 753, 1, (0 : 0 : 1)*] [* 1085, -3, (4 : -12 : 1)*] [* 1417, -1, (0 : -1 : 1)*] [* 1749, 0, (0 : 1 : 0)*] [* 1832, -2, (1 : 1 : 1)*] [* 2081, 1, (0 : 0 : 1)*] [* 2413, -7, (760/4489 : 46120/300763 : 1)*] [* 2828, -8, (83281/1600 : -26024691/64000 : 1)*] [* 3077, -3, (4 : -12 : 1)*] [* 3160, 0, (0 : 1 : 0)*] [* 3409, 1, (0 : 0 : 1)*] [* 3741, 2, (1 : -3 : 1)*] [* 4073, 0, (0 : 1 : 0)*] [* 4156, 2, (1 : -3 : 1)*] [* 4405, 7, (760/4489 : -397803/300763 : 1)*] [* 4488, 1, (0 : 0 : 1)*] [* 4737, -6, (201/361 : -14137/6859 : 1)*] [* 5069, 0, (0 : 1 : 0)*] [* 5401, -1, (0 : -1 : 1)*] [* 5484, -2, (1 : 1 : 1)*] [* 5816, 1, (0 : 0 : 1)*] [* 6065, 3, (4 : 7 : 1)*] [* 6397, -2, (1 : 1 : 1)*] [* 6729, -1, (0 : -1 : 1)*] [* 6812, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7061, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7144, -6, (201/361 : -14137/6859 : 1)*] [* 7393, 1, (0 : 0 : 1)*] [* 8057, -1, (0 : -1 : 1)*] [* 8140, -4, (-3/16 : -21/64 : 1)*] [* 8389, 1, (0 : 0 : 1)*] [* 8472, -1, (0 : -1 : 1)*] [* 9053, -5, (76/9 : 589/27 : 1)*] [* 9385, 1, (0 : 0 : 1)*] [* 9717, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] /* D = 8 (mod 83 ) [* 8, -1, (0 : -1 : 1)*] [* 257, 3, (4 : 7 : 1)*] [* 589, 1, (0 : 0 : 1)*] [* 921, -1, (0 : -1 : 1)*] [* 1004, 4, (-3/16 : -31/64 : 1)*] [* 1253, 1, (0 : 0 : 1)*] [* 1336, -1, (0 : -1 : 1)*] [* 1585, -3, (4 : -12 : 1)*] [* 2249, 1, (0 : 0 : 1)*] [* 2332, 2, (1 : -3 : 1)*] [* 2581, -2, (1 : 1 : 1)*] [* 2913, -1, (0 : -1 : 1)*] [* 3245, 5, (76/9 : -844/27 : 1)*] [* 3660, 0, (0 : 1 : 0)*] [* 3909, -4, (-3/16 : -21/64 : 1)*] [* 3992, 1, (0 : 0 : 1)*] [* 4241, -2, (1 : 1 : 1)*] [* 4573, 2, (1 : -3 : 1)*] [* 4988, 0, (0 : 1 : 0)*] [* 5237, 2, (1 : -3 : 1)*] [* 5320, -2, (1 : 1 : 1)*] [* 5569, -3, (4 : -12 : 1)*] [* 5901, -3, (4 : -12 : 1)*] [* 6233, -2, (1 : 1 : 1)*] [* 6316, 2, (1 : -3 : 1)*] [* 6565, 2, (1 : -3 : 1)*] [* 6648, 4, (-3/16 : -31/64 : 1)*] [* 7229, 1, (0 : 0 : 1)*] [* 7561, -2, (1 : 1 : 1)*] [* 7976, 1, (0 : 0 : 1)*] [* 8557, 4, (-3/16 : -31/64 : 1)*] [* 8889, 1, (0 : 0 : 1)*] *** Warning: The precision was insufficient to recognize P( 8972 ) as a global point [* 8972, Infinity, 0*] [* 9221, 1, (0 : 0 : 1)*] [* 9304, -1, (0 : -1 : 1)*] [* 9553, 6, (201/361 : 3459/6859 : 1)*] [* 9885, -2, (1 : 1 : 1)*] /* D = 13 (mod 83 ) [* 13, 1, (0 : 0 : 1)*] [* 345, 2, (1 : -3 : 1)*] [* 428, -2, (1 : 1 : 1)*] [* 677, 3, (4 : 7 : 1)*] [* 760, 2, (1 : -3 : 1)*] [* 1009, -1, (0 : -1 : 1)*] [* 1673, -2, (1 : 1 : 1)*] [* 1756, 0, (0 : 1 : 0)*] [* 2005, 0, (0 : 1 : 0)*] [* 2337, -2, (1 : 1 : 1)*] [* 2669, -1, (0 : -1 : 1)*] [* 3001, -5, (76/9 : 589/27 : 1)*] [* 3084, 0, (0 : 1 : 0)*] [* 3333, -6, (201/361 : -14137/6859 : 1)*] [* 3416, 3, (4 : 7 : 1)*] [* 3665, 1, (0 : 0 : 1)*] [* 3997, -2, (1 : 1 : 1)*] [* 4412, 6, (201/361 : 3459/6859 : 1)*] [* 4661, 1, (0 : 0 : 1)*] [* 4744, 5, (76/9 : -844/27 : 1)*] [* 4993, 1, (0 : 0 : 1)*] [* 5657, 5, (76/9 : -844/27 : 1)*] [* 5740, 4, (-3/16 : -31/64 : 1)*] [* 5989, 2, (1 : -3 : 1)*] [* 6072, 2, (1 : -3 : 1)*] [* 6653, 4, (-3/16 : -31/64 : 1)*] [* 6985, 3, (4 : 7 : 1)*] [* 7068, 0, (0 : 1 : 0)*] [* 7649, 0, (0 : 1 : 0)*] [* 7981, -2, (1 : 1 : 1)*] [* 8313, 1, (0 : 0 : 1)*] [* 8396, -2, (1 : 1 : 1)*] [* 8645, 2, (1 : -3 : 1)*] [* 8728, -7, (760/4489 : 46120/300763 : 1)*] [* 8977, 11, (1437258876/656743129 : 48437640863781/16830356166883 : 1)*] [* 9309, -6, (201/361 : -14137/6859 : 1)*] [* 9641, 2, (1 : -3 : 1)*] [* 9724, 0, (0 : 1 : 0)*] [* 9973, -8, (83281/1600 : -26024691/64000 : 1)*] /* D = 14 (mod 83 ) [* 97, -2, (1 : 1 : 1)*] [* 429, -1, (0 : -1 : 1)*] [* 761, -2, (1 : 1 : 1)*] [* 844, 0, (0 : 1 : 0)*] [* 1093, -2, (1 : 1 : 1)*] [* 1757, 7, (760/4489 : -397803/300763 : 1)*] [* 2089, -1, (0 : -1 : 1)*] [* 2172, -6, (201/361 : -14137/6859 : 1)*] [* 2504, 1, (0 : 0 : 1)*] [* 2753, -2, (1 : 1 : 1)*] [* 3085, 7, (760/4489 : -397803/300763 : 1)*] [* 3417, 4, (-3/16 : -31/64 : 1)*] [* 3749, 2, (1 : -3 : 1)*] [* 3832, -1, (0 : -1 : 1)*] [* 4081, 2, (1 : -3 : 1)*] [* 4413, -4, (-3/16 : -21/64 : 1)*] [* 4745, 0, (0 : 1 : 0)*] [* 4828, -8, (83281/1600 : -26024691/64000 : 1)*] [* 5077, -7, (760/4489 : 46120/300763 : 1)*] [* 5160, -6, (201/361 : -14137/6859 : 1)*] [* 5741, -3, (4 : -12 : 1)*] [* 6073, -1, (0 : -1 : 1)*] [* 6405, 3, (4 : 7 : 1)*] [* 6488, 4, (-3/16 : -31/64 : 1)*] [* 6737, 5, (76/9 : -844/27 : 1)*] [* 7069, 3, (4 : 7 : 1)*] [* 7401, -2, (1 : 1 : 1)*] [* 7484, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 7733 ) as a global point [* 7733, Infinity, 0*] [* 7816, 3, (4 : 7 : 1)*] [* 8065, -1, (0 : -1 : 1)*] [* 8729, 0, (0 : 1 : 0)*] [* 8812, 6, (201/361 : 3459/6859 : 1)*] [* 9061, -2, (1 : 1 : 1)*] [* 9393, -8, (83281/1600 : -26024691/64000 : 1)*] /* D = 15 (mod 83 ) [* 181, -1, (0 : -1 : 1)*] [* 264, -3, (4 : -12 : 1)*] [* 1177, 0, (0 : 1 : 0)*] [* 1509, 0, (0 : 1 : 0)*] [* 1592, 0, (0 : 1 : 0)*] [* 1841, 1, (0 : 0 : 1)*] [* 2173, 0, (0 : 1 : 0)*] [* 2505, 1, (0 : 0 : 1)*] [* 2588, 6, (201/361 : 3459/6859 : 1)*] [* 2837, -2, (1 : 1 : 1)*] [* 2920, 4, (-3/16 : -31/64 : 1)*] [* 3169, -2, (1 : 1 : 1)*] [* 3833, -4, (-3/16 : -21/64 : 1)*] [* 3916, -2, (1 : 1 : 1)*] [* 4497, 0, (0 : 1 : 0)*] [* 4829, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 5161, 0, (0 : 1 : 0)*] [* 5244, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 5493 ) as a global point [* 5493, Infinity, 0*] [* 5576, -2, (1 : 1 : 1)*] [* 6157, 2, (1 : -3 : 1)*] [* 6572, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 6821, -1, (0 : -1 : 1)*] [* 6904, -3, (4 : -12 : 1)*] [* 7153, 2, (1 : -3 : 1)*] [* 7485, 1, (0 : 0 : 1)*] [* 7817, -2, (1 : 1 : 1)*] [* 8149, 1, (0 : 0 : 1)*] [* 8481, 5, (76/9 : -844/27 : 1)*] [* 8813, 1, (0 : 0 : 1)*] [* 9145, 11, (1437258876/656743129 : 48437640863781/16830356166883 : 1)*] [* 9228, 2, (1 : -3 : 1)*] [* 9560, -2, (1 : 1 : 1)*] [* 9809, -2, (1 : 1 : 1)*] /* D = 18 (mod 83 ) [* 101, 0, (0 : 1 : 0)*] [* 184, 0, (0 : 1 : 0)*] [* 433, -2, (1 : 1 : 1)*] [* 1097, 0, (0 : 1 : 0)*] [* 1180, 2, (1 : -3 : 1)*] [* 1429, 0, (0 : 1 : 0)*] [* 1761, 1, (0 : 0 : 1)*] [* 2093, 4, (-3/16 : -31/64 : 1)*] [* 2508, 2, (1 : -3 : 1)*] [* 2757, 0, (0 : 1 : 0)*] [* 2840, -6, (201/361 : -14137/6859 : 1)*] [* 3089, 5, (76/9 : -844/27 : 1)*] [* 3421, 2, (1 : -3 : 1)*] [* 3836, -2, (1 : 1 : 1)*] [* 4085, 2, (1 : -3 : 1)*] [* 4168, 4, (-3/16 : -31/64 : 1)*] [* 4417, 0, (0 : 1 : 0)*] [* 4749, -1, (0 : -1 : 1)*] [* 5081, 4, (-3/16 : -31/64 : 1)*] [* 5164, -4, (-3/16 : -21/64 : 1)*] [* 5413, 0, (0 : 1 : 0)*] [* 5496, -2, (1 : 1 : 1)*] [* 5745, -3, (4 : -12 : 1)*] [* 6077, -8, (83281/1600 : -26024691/64000 : 1)*] [* 6409, 3, (4 : 7 : 1)*] [* 6492, 8, (83281/1600 : 22629451/64000 : 1)*] [* 6824, -3, (4 : -12 : 1)*] [* 7073, -5, (76/9 : 589/27 : 1)*] [* 7405, 1, (0 : 0 : 1)*] [* 7737, -4, (-3/16 : -21/64 : 1)*] [* 7820, -4, (-3/16 : -21/64 : 1)*] [* 8069, -1, (0 : -1 : 1)*] [* 8152, 6, (201/361 : 3459/6859 : 1)*] [* 8401, 0, (0 : 1 : 0)*] [* 8733, 0, (0 : 1 : 0)*] [* 9148, 4, (-3/16 : -31/64 : 1)*] [* 9397, -4, (-3/16 : -21/64 : 1)*] [* 9480, 4, (-3/16 : -31/64 : 1)*] /* D = 19 (mod 83 ) [* 185, -1, (0 : -1 : 1)*] [* 268, 2, (1 : -3 : 1)*] [* 517, 1, (0 : 0 : 1)*] [* 849, 1, (0 : 0 : 1)*] [* 1181, -5, (76/9 : 589/27 : 1)*] [* 1513, -2, (1 : 1 : 1)*] [* 1596, -4, (-3/16 : -21/64 : 1)*] [* 1928, -5, (76/9 : 589/27 : 1)*] [* 2177, -6, (201/361 : -14137/6859 : 1)*] [* 2509, 0, (0 : 1 : 0)*] [* 2841, 6, (201/361 : 3459/6859 : 1)*] [* 2924, -4, (-3/16 : -21/64 : 1)*] [* 3173, 5, (76/9 : -844/27 : 1)*] [* 3256, -3, (4 : -12 : 1)*] [* 3505, 2, (1 : -3 : 1)*] [* 3837, -2, (1 : 1 : 1)*] [* 4169, 0, (0 : 1 : 0)*] [* 4252, -2, (1 : 1 : 1)*] [* 4501, 3, (4 : 7 : 1)*] [* 4584, -1, (0 : -1 : 1)*] [* 5165, -1, (0 : -1 : 1)*] [* 5497, 0, (0 : 1 : 0)*] [* 5829, 6, (201/361 : 3459/6859 : 1)*] [* 5912, 4, (-3/16 : -31/64 : 1)*] [* 6161, 2, (1 : -3 : 1)*] [* 6493, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 6908, 0, (0 : 1 : 0)*] [* 7157, 0, (0 : 1 : 0)*] [* 7240, 2, (1 : -3 : 1)*] [* 7489, 5, (76/9 : -844/27 : 1)*] [* 8153, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] [* 8236, 0, (0 : 1 : 0)*] [* 8485, 3, (4 : 7 : 1)*] [* 8817, 0, (0 : 1 : 0)*] [* 9149, -2, (1 : 1 : 1)*] [* 9481, 3, (4 : 7 : 1)*] [* 9564, -4, (-3/16 : -21/64 : 1)*] [* 9813, -6, (201/361 : -14137/6859 : 1)*] [* 9896, -5, (76/9 : 589/27 : 1)*] /* D = 20 (mod 83 ) [* 269, 2, (1 : -3 : 1)*] [* 601, -1, (0 : -1 : 1)*] [* 933, 2, (1 : -3 : 1)*] [* 1016, -1, (0 : -1 : 1)*] [* 1265, -4, (-3/16 : -21/64 : 1)*] [* 1597, -4, (-3/16 : -21/64 : 1)*] [* 1929, -1, (0 : -1 : 1)*] [* 2012, -6, (201/361 : -14137/6859 : 1)*] [* 2261, -1, (0 : -1 : 1)*] [* 2344, 0, (0 : 1 : 0)*] [* 2593, 4, (-3/16 : -31/64 : 1)*] [* 3257, 2, (1 : -3 : 1)*] [* 3340, 0, (0 : 1 : 0)*] [* 3589, 2, (1 : -3 : 1)*] [* 3921, 2, (1 : -3 : 1)*] [* 4253, 6, (201/361 : 3459/6859 : 1)*] [* 4585, 0, (0 : 1 : 0)*] [* 4668, 4, (-3/16 : -31/64 : 1)*] [* 4917, 0, (0 : 1 : 0)*] [* 5249, -1, (0 : -1 : 1)*] [* 5581, -3, (4 : -12 : 1)*] [* 5996, 0, (0 : 1 : 0)*] [* 6245, 5, (76/9 : -844/27 : 1)*] [* 6328, 7, (760/4489 : -397803/300763 : 1)*] [* 6577, -1, (0 : -1 : 1)*] [* 7241, 0, (0 : 1 : 0)*] [* 7324, 0, (0 : 1 : 0)*] [* 7573, 5, (76/9 : -844/27 : 1)*] [* 7656, 5, (76/9 : -844/27 : 1)*] [* 7905, -3, (4 : -12 : 1)*] [* 8237, -8, (83281/1600 : -26024691/64000 : 1)*] [* 8569, -2, (1 : 1 : 1)*] *** Warning: The precision was insufficient to recognize P( 8652 ) as a global point [* 8652, Infinity, 0*] [* 8984, -3, (4 : -12 : 1)*] [* 9233, 6, (201/361 : 3459/6859 : 1)*] [* 9565, -2, (1 : 1 : 1)*] [* 9897, 2, (1 : -3 : 1)*] [* 9980, -2, (1 : 1 : 1)*] /* D = 22 (mod 83 ) [* 105, -1, (0 : -1 : 1)*] [* 188, 4, (-3/16 : -31/64 : 1)*] [* 437, 0, (0 : 1 : 0)*] [* 520, 2, (1 : -3 : 1)*] [* 769, -3, (4 : -12 : 1)*] [* 1101, 2, (1 : -3 : 1)*] [* 1433, 1, (0 : 0 : 1)*] [* 1516, 2, (1 : -3 : 1)*] [* 1765, -1, (0 : -1 : 1)*] [* 1848, -7, (760/4489 : 46120/300763 : 1)*] [* 2429, -2, (1 : 1 : 1)*] [* 2761, -3, (4 : -12 : 1)*] [* 3093, 4, (-3/16 : -31/64 : 1)*] [* 3176, 4, (-3/16 : -31/64 : 1)*] [* 4089, 1, (0 : 0 : 1)*] [* 4172, -2, (1 : 1 : 1)*] [* 4421, -3, (4 : -12 : 1)*] [* 4504, 7, (760/4489 : -397803/300763 : 1)*] [* 5417, 3, (4 : 7 : 1)*] [* 5749, 2, (1 : -3 : 1)*] [* 6081, 1, (0 : 0 : 1)*] [* 6745, 0, (0 : 1 : 0)*] [* 6828, 6, (201/361 : 3459/6859 : 1)*] [* 7077, -2, (1 : 1 : 1)*] [* 7160, 2, (1 : -3 : 1)*] [* 7409, -2, (1 : 1 : 1)*] [* 7741, 0, (0 : 1 : 0)*] [* 8156, 2, (1 : -3 : 1)*] [* 8488, 2, (1 : -3 : 1)*] [* 8737, 3, (4 : 7 : 1)*] [* 9069, -4, (-3/16 : -21/64 : 1)*] [* 9401, -3, (4 : -12 : 1)*] [* 9484, 4, (-3/16 : -31/64 : 1)*] [* 9733, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 9816, 5, (76/9 : -844/27 : 1)*] /* D = 24 (mod 83 ) [* 24, 1, (0 : 0 : 1)*] [* 273, -3, (4 : -12 : 1)*] [* 937, -1, (0 : -1 : 1)*] [* 1020, 2, (1 : -3 : 1)*] [* 1601, 2, (1 : -3 : 1)*] [* 1933, 1, (0 : 0 : 1)*] [* 2265, -3, (4 : -12 : 1)*] [* 2348, -6, (201/361 : -14137/6859 : 1)*] [* 2680, -4, (-3/16 : -21/64 : 1)*] [* 2929, 0, (0 : 1 : 0)*] [* 3261, 0, (0 : 1 : 0)*] [* 3593, 2, (1 : -3 : 1)*] [* 3676, 0, (0 : 1 : 0)*] [* 4008, 1, (0 : 0 : 1)*] [* 4589, 3, (4 : 7 : 1)*] [* 4921, 3, (4 : 7 : 1)*] [* 5253, -4, (-3/16 : -21/64 : 1)*] [* 5336, -4, (-3/16 : -21/64 : 1)*] [* 5585, 6, (201/361 : 3459/6859 : 1)*] [* 5917, 4, (-3/16 : -31/64 : 1)*] [* 6249, -2, (1 : 1 : 1)*] [* 6332, 0, (0 : 1 : 0)*] [* 6581, -3, (4 : -12 : 1)*] [* 6913, -3, (4 : -12 : 1)*] [* 7577, 7, (760/4489 : -397803/300763 : 1)*] [* 7660, 0, (0 : 1 : 0)*] [* 7909, -8, (83281/1600 : -26024691/64000 : 1)*] [* 8241, -2, (1 : 1 : 1)*] [* 8573, 1, (0 : 0 : 1)*] [* 8905, 0, (0 : 1 : 0)*] [* 8988, -2, (1 : 1 : 1)*] [* 9237, 6, (201/361 : 3459/6859 : 1)*] [* 9320, 8, (83281/1600 : 22629451/64000 : 1)*] [* 9569, -2, (1 : 1 : 1)*] [* 9901, -8, (83281/1600 : -26024691/64000 : 1)*] /* D = 32 (mod 83 ) [* 281, 1, (0 : 0 : 1)*] [* 364, -2, (1 : 1 : 1)*] [* 613, 1, (0 : 0 : 1)*] [* 696, -5, (76/9 : 589/27 : 1)*] [* 1277, 2, (1 : -3 : 1)*] [* 1609, 1, (0 : 0 : 1)*] [* 1941, -2, (1 : 1 : 1)*] [* 2024, 2, (1 : -3 : 1)*] [* 2273, -4, (-3/16 : -21/64 : 1)*] [* 2605, 2, (1 : -3 : 1)*] [* 2937, -4, (-3/16 : -21/64 : 1)*] [* 3020, 4, (-3/16 : -31/64 : 1)*] [* 3269, 1, (0 : 0 : 1)*] [* 3352, 1, (0 : 0 : 1)*] [* 3601, 0, (0 : 1 : 0)*] [* 4265, -3, (4 : -12 : 1)*] [* 4348, 8, (83281/1600 : 22629451/64000 : 1)*] [* 4597, -6, (201/361 : -14137/6859 : 1)*] [* 4929, 6, (201/361 : 3459/6859 : 1)*] [* 5261, -2, (1 : 1 : 1)*] [* 5593, -1, (0 : -1 : 1)*] [* 5676, -8, (83281/1600 : -26024691/64000 : 1)*] [* 6008, 4, (-3/16 : -31/64 : 1)*] [* 6257, -6, (201/361 : -14137/6859 : 1)*] [* 6589, 1, (0 : 0 : 1)*] [* 7004, -2, (1 : 1 : 1)*] [* 7253, -3, (4 : -12 : 1)*] [* 7336, 0, (0 : 1 : 0)*] [* 7585, 2, (1 : -3 : 1)*] [* 7917, 1, (0 : 0 : 1)*] [* 8249, 3, (4 : 7 : 1)*] [* 8332, -2, (1 : 1 : 1)*] [* 8581, 5, (76/9 : -844/27 : 1)*] [* 8913, 4, (-3/16 : -31/64 : 1)*] [* 9577, -1, (0 : -1 : 1)*] [* 9660, -4, (-3/16 : -21/64 : 1)*] [* 9992, 1, (0 : 0 : 1)*] /* D = 34 (mod 83 ) [* 449, -1, (0 : -1 : 1)*] [* 781, 2, (1 : -3 : 1)*] [* 1113, -2, (1 : 1 : 1)*] [* 1196, 0, (0 : 1 : 0)*] [* 1528, -1, (0 : -1 : 1)*] [* 1777, 2, (1 : -3 : 1)*] [* 2109, -1, (0 : -1 : 1)*] [* 2441, 0, (0 : 1 : 0)*] [* 2524, 2, (1 : -3 : 1)*] [* 2773, -3, (4 : -12 : 1)*] [* 2856, 3, (4 : 7 : 1)*] [* 3437, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 3769, 1, (0 : 0 : 1)*] [* 4101, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 4184, 5, (76/9 : -844/27 : 1)*] [* 4433, -1, (0 : -1 : 1)*] [* 4765, -1, (0 : -1 : 1)*] [* 5097, -1, (0 : -1 : 1)*] [* 5180, -6, (201/361 : -14137/6859 : 1)*] [* 5429, 0, (0 : 1 : 0)*] [* 5512, -8, (83281/1600 : -26024691/64000 : 1)*] [* 5761, -3, (4 : -12 : 1)*] [* 6508, 2, (1 : -3 : 1)*] [* 6757, -1, (0 : -1 : 1)*] [* 7089, 1, (0 : 0 : 1)*] [* 7421, -2, (1 : 1 : 1)*] [* 7753, 3, (4 : 7 : 1)*] [* 7836, -4, (-3/16 : -21/64 : 1)*] [* 8168, -1, (0 : -1 : 1)*] [* 8417, 7, (760/4489 : -397803/300763 : 1)*] [* 8749, -1, (0 : -1 : 1)*] [* 9164, -2, (1 : 1 : 1)*] [* 9413, -2, (1 : 1 : 1)*] [* 9496, 5, (76/9 : -844/27 : 1)*] [* 9745, 1, (0 : 0 : 1)*] /* D = 35 (mod 83 ) [* 201, 2, (1 : -3 : 1)*] [* 284, 0, (0 : 1 : 0)*] [* 533, 0, (0 : 1 : 0)*] [* 616, 1, (0 : 0 : 1)*] [* 865, 1, (0 : 0 : 1)*] [* 1529, 1, (0 : 0 : 1)*] [* 1612, -2, (1 : 1 : 1)*] [* 1861, -4, (-3/16 : -21/64 : 1)*] [* 2193, -2, (1 : 1 : 1)*] [* 2857, -3, (4 : -12 : 1)*] [* 3189, 0, (0 : 1 : 0)*] [* 3272, 1, (0 : 0 : 1)*] [* 3521, 6, (201/361 : 3459/6859 : 1)*] [* 3853, 1, (0 : 0 : 1)*] [* 4268, 6, (201/361 : 3459/6859 : 1)*] [* 4517, 2, (1 : -3 : 1)*] [* 4849, 1, (0 : 0 : 1)*] [* 5181, 3, (4 : 7 : 1)*] [* 5513, -2, (1 : 1 : 1)*] [* 5596, -4, (-3/16 : -21/64 : 1)*] [* 5845, 3, (4 : 7 : 1)*] [* 5928, 6, (201/361 : 3459/6859 : 1)*] [* 6177, -6, (201/361 : -14137/6859 : 1)*] [* 6509, -2, (1 : 1 : 1)*] [* 6841, 0, (0 : 1 : 0)*] [* 6924, -4, (-3/16 : -21/64 : 1)*] [* 7256, -1, (0 : -1 : 1)*] [* 7505, -2, (1 : 1 : 1)*] [* 7837, 8, (83281/1600 : 22629451/64000 : 1)*] [* 8169, 5, (76/9 : -844/27 : 1)*] [* 8252, 0, (0 : 1 : 0)*] [* 8501, -5, (76/9 : 589/27 : 1)*] [* 8584, -3, (4 : -12 : 1)*] [* 9165, -2, (1 : 1 : 1)*] [* 9497, 4, (-3/16 : -31/64 : 1)*] [* 9580, 4, (-3/16 : -31/64 : 1)*] [* 9829, 0, (0 : 1 : 0)*] [* 9912, -3, (4 : -12 : 1)*] /* D = 39 (mod 83 ) [* 205, -2, (1 : 1 : 1)*] [* 537, -3, (4 : -12 : 1)*] [* 620, 0, (0 : 1 : 0)*] [* 869, 1, (0 : 0 : 1)*] [* 952, -1, (0 : -1 : 1)*] [* 1201, -2, (1 : 1 : 1)*] [* 1533, 1, (0 : 0 : 1)*] [* 1865, 3, (4 : 7 : 1)*] [* 1948, 0, (0 : 1 : 0)*] [* 2280, 2, (1 : -3 : 1)*] [* 2861, 1, (0 : 0 : 1)*] [* 3193, 2, (1 : -3 : 1)*] *** Warning: The precision was insufficient to recognize P( 3608 ) as a global point [* 3608, Infinity, 0*] [* 3857, -1, (0 : -1 : 1)*] [* 4189, -4, (-3/16 : -21/64 : 1)*] [* 4521, -4, (-3/16 : -21/64 : 1)*] [* 4604, -2, (1 : 1 : 1)*] [* 4853, 4, (-3/16 : -31/64 : 1)*] [* 4936, 1, (0 : 0 : 1)*] [* 5185, 1, (0 : 0 : 1)*] [* 5849, 0, (0 : 1 : 0)*] [* 5932, -4, (-3/16 : -21/64 : 1)*] [* 6181, -2, (1 : 1 : 1)*] [* 6513, 7, (760/4489 : -397803/300763 : 1)*] [* 7177, 3, (4 : 7 : 1)*] [* 7509, -11, (1437258876/656743129 : -102100630245916/16830356166883 : 1)*] [* 7592, -2, (1 : 1 : 1)*] [* 7841, -1, (0 : -1 : 1)*] [* 8173, -2, (1 : 1 : 1)*] [* 8588, 2, (1 : -3 : 1)*] [* 8837, 11, (1437258876/656743129 : 48437640863781/16830356166883 : 1)*] [* 8920, 4, (-3/16 : -31/64 : 1)*] [* 9169, -2, (1 : 1 : 1)*] [* 9501, -6, (201/361 : -14137/6859 : 1)*] [* 9833, -4, (-3/16 : -21/64 : 1)*] [* 9916, -2, (1 : 1 : 1)*] /* D = 42 (mod 83 ) [* 457, 2, (1 : -3 : 1)*] [* 789, -1, (0 : -1 : 1)*] [* 872, 1, (0 : 0 : 1)*] [* 1121, -1, (0 : -1 : 1)*] [* 1453, 1, (0 : 0 : 1)*] [* 1785, -1, (0 : -1 : 1)*] [* 1868, 8, (83281/1600 : 22629451/64000 : 1)*] [* 2117, -3, (4 : -12 : 1)*] [* 2449, 1, (0 : 0 : 1)*] [* 3113, -5, (76/9 : 589/27 : 1)*] [* 3196, 4, (-3/16 : -31/64 : 1)*] [* 3445, -2, (1 : 1 : 1)*] [* 3777, 1, (0 : 0 : 1)*] [* 4109, 1, (0 : 0 : 1)*] [* 4441, 3, (4 : 7 : 1)*] [* 4524, 2, (1 : -3 : 1)*] [* 4773, -8, (83281/1600 : -26024691/64000 : 1)*] [* 4856, 4, (-3/16 : -31/64 : 1)*] [* 5105, 1, (0 : 0 : 1)*] [* 5437, -1, (0 : -1 : 1)*] [* 5852, 8, (83281/1600 : 22629451/64000 : 1)*] [* 6101, 2, (1 : -3 : 1)*] [* 6184, -4, (-3/16 : -21/64 : 1)*] [* 6433, -4, (-3/16 : -21/64 : 1)*] *** Warning: The precision was insufficient to recognize P( 6765 ) as a global point [* 6765, Infinity, 0*] [* 7097, -1, (0 : -1 : 1)*] [* 7180, 4, (-3/16 : -31/64 : 1)*] [* 7429, -6, (201/361 : -14137/6859 : 1)*] [* 7512, -3, (4 : -12 : 1)*] [* 7761, -2, (1 : 1 : 1)*] [* 8093, -4, (-3/16 : -21/64 : 1)*] *** Warning: The precision was insufficient to recognize P( 8508 ) as a global point [* 8508, Infinity, 0*] [* 8840, 2, (1 : -3 : 1)*] [* 9089, 6, (201/361 : 3459/6859 : 1)*] [* 9421, 3, (4 : 7 : 1)*] [* 9753, 1, (0 : 0 : 1)*] [* 9836, -2, (1 : 1 : 1)*] /* D = 43 (mod 83 ) [* 209, -1, (0 : -1 : 1)*] [* 541, -2, (1 : 1 : 1)*] [* 956, -2, (1 : 1 : 1)*] [* 1205, -1, (0 : -1 : 1)*] [* 1288, 2, (1 : -3 : 1)*] [* 1537, 2, (1 : -3 : 1)*] [* 1869, 2, (1 : -3 : 1)*] [* 2201, -4, (-3/16 : -21/64 : 1)*] [* 2284, 0, (0 : 1 : 0)*] [* 2533, 6, (201/361 : 3459/6859 : 1)*] [* 2616, 1, (0 : 0 : 1)*] [* 2865, 1, (0 : 0 : 1)*] [* 3197, -6, (201/361 : -14137/6859 : 1)*] [* 3529, -3, (4 : -12 : 1)*] [* 3612, -4, (-3/16 : -21/64 : 1)*] [* 3944, 5, (76/9 : -844/27 : 1)*] [* 4193, 1, (0 : 0 : 1)*] [* 4857, 3, (4 : 7 : 1)*] [* 4940, 0, (0 : 1 : 0)*] [* 5189, 0, (0 : 1 : 0)*] [* 5272, -6, (201/361 : -14137/6859 : 1)*] [* 5521, -2, (1 : 1 : 1)*] [* 5853, -2, (1 : 1 : 1)*] [* 6185, -3, (4 : -12 : 1)*] [* 6268, -6, (201/361 : -14137/6859 : 1)*] [* 7181, 2, (1 : -3 : 1)*] [* 7513, 3, (4 : 7 : 1)*] [* 7845, 3, (4 : 7 : 1)*] [* 7928, -1, (0 : -1 : 1)*] [* 8177, -5, (76/9 : 589/27 : 1)*] [* 8509, 0, (0 : 1 : 0)*] [* 8841, 2, (1 : -3 : 1)*] [* 8924, -4, (-3/16 : -21/64 : 1)*] [* 9173, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 9256, 0, (0 : 1 : 0)*] [* 9505, -1, (0 : -1 : 1)*] /* D = 45 (mod 83 ) [* 377, 1, (0 : 0 : 1)*] [* 460, 4, (-3/16 : -31/64 : 1)*] [* 709, -1, (0 : -1 : 1)*] [* 1041, 0, (0 : 1 : 0)*] [* 1373, -3, (4 : -12 : 1)*] [* 1705, 1, (0 : 0 : 1)*] [* 1788, -2, (1 : 1 : 1)*] [* 2037, -2, (1 : 1 : 1)*] [* 2120, -2, (1 : 1 : 1)*] [* 2369, 0, (0 : 1 : 0)*] [* 2701, -1, (0 : -1 : 1)*] [* 3116, 0, (0 : 1 : 0)*] [* 3365, 7, (760/4489 : -397803/300763 : 1)*] [* 3448, -1, (0 : -1 : 1)*] [* 3697, -1, (0 : -1 : 1)*] [* 4029, 3, (4 : 7 : 1)*] [* 4444, 0, (0 : 1 : 0)*] [* 4776, -2, (1 : 1 : 1)*] [* 5357, 5, (76/9 : -844/27 : 1)*] [* 5689, 1, (0 : 0 : 1)*] [* 5772, 2, (1 : -3 : 1)*] [* 6104, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 6353, 0, (0 : 1 : 0)*] [* 6685, 3, (4 : 7 : 1)*] [* 7017, 3, (4 : 7 : 1)*] [* 7349, -3, (4 : -12 : 1)*] [* 7432, 3, (4 : 7 : 1)*] [* 7681, -2, (1 : 1 : 1)*] [* 8013, -8, (83281/1600 : -26024691/64000 : 1)*] [* 8345, -4, (-3/16 : -21/64 : 1)*] [* 8677, 5, (76/9 : -844/27 : 1)*] [* 8760, 0, (0 : 1 : 0)*] [* 9341, 6, (201/361 : 3459/6859 : 1)*] [* 9673, -1, (0 : -1 : 1)*] /* D = 46 (mod 83 ) [* 129, 0, (0 : 1 : 0)*] [* 461, 2, (1 : -3 : 1)*] [* 793, -1, (0 : -1 : 1)*] [* 876, -2, (1 : 1 : 1)*] [* 1208, -3, (4 : -12 : 1)*] [* 1457, 1, (0 : 0 : 1)*] [* 1789, 1, (0 : 0 : 1)*] [* 2121, 0, (0 : 1 : 0)*] [* 2204, -4, (-3/16 : -21/64 : 1)*] [* 2453, -5, (76/9 : 589/27 : 1)*] [* 2536, -1, (0 : -1 : 1)*] [* 2785, 0, (0 : 1 : 0)*] [* 3117, -1, (0 : -1 : 1)*] [* 3449, 3, (4 : 7 : 1)*] [* 3532, 4, (-3/16 : -31/64 : 1)*] [* 3781, -2, (1 : 1 : 1)*] [* 3864, 2, (1 : -3 : 1)*] [* 4445, 5, (76/9 : -844/27 : 1)*] [* 4777, -3, (4 : -12 : 1)*] [* 5109, -2, (1 : 1 : 1)*] [* 5192, -5, (76/9 : 589/27 : 1)*] [* 5441, 1, (0 : 0 : 1)*] [* 5773, -2, (1 : 1 : 1)*] [* 6105, 1, (0 : 0 : 1)*] [* 6188, 2, (1 : -3 : 1)*] [* 6437, 6, (201/361 : 3459/6859 : 1)*] [* 6520, 2, (1 : -3 : 1)*] [* 6769, 4, (-3/16 : -31/64 : 1)*] [* 7433, 3, (4 : 7 : 1)*] [* 7516, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 7765, 0, (0 : 1 : 0)*] [* 8097, -4, (-3/16 : -21/64 : 1)*] [* 8429, -2, (1 : 1 : 1)*] [* 8761, -2, (1 : 1 : 1)*] [* 8844, -2, (1 : 1 : 1)*] [* 9093, -6, (201/361 : -14137/6859 : 1)*] [* 9176, -5, (76/9 : 589/27 : 1)*] [* 9757, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] /* D = 47 (mod 83 ) [* 213, 4, (-3/16 : -31/64 : 1)*] [* 296, -1, (0 : -1 : 1)*] [* 545, -1, (0 : -1 : 1)*] [* 877, 2, (1 : -3 : 1)*] [* 1209, 1, (0 : 0 : 1)*] [* 1292, 2, (1 : -3 : 1)*] [* 1541, -4, (-3/16 : -21/64 : 1)*] [* 1624, 1, (0 : 0 : 1)*] [* 1873, -1, (0 : -1 : 1)*] [* 2537, -6, (201/361 : -14137/6859 : 1)*] [* 2620, 4, (-3/16 : -31/64 : 1)*] [* 2869, -3, (4 : -12 : 1)*] [* 3201, 2, (1 : -3 : 1)*] [* 3533, -1, (0 : -1 : 1)*] [* 3865, -2, (1 : 1 : 1)*] [* 3948, -2, (1 : 1 : 1)*] [* 4197, 8, (83281/1600 : 22629451/64000 : 1)*] [* 4280, 6, (201/361 : 3459/6859 : 1)*] [* 4529, -2, (1 : 1 : 1)*] [* 4861, -6, (201/361 : -14137/6859 : 1)*] [* 5276, 6, (201/361 : 3459/6859 : 1)*] [* 5608, -4, (-3/16 : -21/64 : 1)*] [* 5857, 1, (0 : 0 : 1)*] [* 6189, -3, (4 : -12 : 1)*] [* 6521, 0, (0 : 1 : 0)*] [* 6604, 2, (1 : -3 : 1)*] [* 6853, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7185, 1, (0 : 0 : 1)*] [* 7517, -3, (4 : -12 : 1)*] [* 7849, 1, (0 : 0 : 1)*] [* 7932, -6, (201/361 : -14137/6859 : 1)*] [* 8264, 5, (76/9 : -844/27 : 1)*] [* 8513, 0, (0 : 1 : 0)*] [* 8845, 3, (4 : 7 : 1)*] [* 9177, 2, (1 : -3 : 1)*] [* 9260, 0, (0 : 1 : 0)*] [* 9509, 3, (4 : 7 : 1)*] [* 9592, -5, (76/9 : 589/27 : 1)*] [* 9841, 1, (0 : 0 : 1)*] /* D = 50 (mod 83 ) [* 133, 1, (0 : 0 : 1)*] [* 465, 1, (0 : 0 : 1)*] [* 797, 2, (1 : -3 : 1)*] [* 1129, -1, (0 : -1 : 1)*] [* 1212, 0, (0 : 1 : 0)*] [* 1461, -7, (760/4489 : 46120/300763 : 1)*] [* 1544, 0, (0 : 1 : 0)*] [* 1793, -1, (0 : -1 : 1)*] [* 2540, 4, (-3/16 : -31/64 : 1)*] [* 2789, -4, (-3/16 : -21/64 : 1)*] [* 2872, -5, (76/9 : 589/27 : 1)*] [* 3121, 0, (0 : 1 : 0)*] [* 3453, 3, (4 : 7 : 1)*] [* 3785, 1, (0 : 0 : 1)*] [* 3868, 0, (0 : 1 : 0)*] [* 4117, -2, (1 : 1 : 1)*] [* 4449, 2, (1 : -3 : 1)*] [* 4781, 3, (4 : 7 : 1)*] [* 5113, 0, (0 : 1 : 0)*] [* 5196, -2, (1 : 1 : 1)*] [* 5528, -1, (0 : -1 : 1)*] [* 5777, -4, (-3/16 : -21/64 : 1)*] [* 6109, 4, (-3/16 : -31/64 : 1)*] [* 6441, -1, (0 : -1 : 1)*] [* 6524, 6, (201/361 : 3459/6859 : 1)*] [* 6773, -2, (1 : 1 : 1)*] [* 6856, 7, (760/4489 : -397803/300763 : 1)*] [* 7437, 6, (201/361 : 3459/6859 : 1)*] [* 7769, -8, (83281/1600 : -26024691/64000 : 1)*] [* 7852, -6, (201/361 : -14137/6859 : 1)*] [* 8101, 0, (0 : 1 : 0)*] [* 8184, 1, (0 : 0 : 1)*] [* 8765, 0, (0 : 1 : 0)*] [* 9097, 1, (0 : 0 : 1)*] [* 9429, -1, (0 : -1 : 1)*] [* 9512, -2, (1 : 1 : 1)*] [* 9761, -4, (-3/16 : -21/64 : 1)*] /* D = 52 (mod 83 ) [* 301, 2, (1 : -3 : 1)*] [* 633, -1, (0 : -1 : 1)*] [* 716, -2, (1 : 1 : 1)*] [* 965, 4, (-3/16 : -31/64 : 1)*] [* 1048, -4, (-3/16 : -21/64 : 1)*] [* 1297, -1, (0 : -1 : 1)*] [* 1961, 0, (0 : 1 : 0)*] [* 2044, 0, (0 : 1 : 0)*] [* 2293, -2, (1 : 1 : 1)*] [* 2957, -6, (201/361 : -14137/6859 : 1)*] [* 3289, 0, (0 : 1 : 0)*] [* 3372, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 3621, -2, (1 : 1 : 1)*] [* 3704, -3, (4 : -12 : 1)*] [* 3953, -2, (1 : 1 : 1)*] [* 4285, -1, (0 : -1 : 1)*] [* 5032, 5, (76/9 : -844/27 : 1)*] [* 5281, 1, (0 : 0 : 1)*] [* 5613, -3, (4 : -12 : 1)*] [* 5945, 0, (0 : 1 : 0)*] [* 6028, 2, (1 : -3 : 1)*] [* 6277, 6, (201/361 : 3459/6859 : 1)*] [* 6360, 2, (1 : -3 : 1)*] [* 6609, 7, (760/4489 : -397803/300763 : 1)*] [* 6941, 2, (1 : -3 : 1)*] [* 7273, -1, (0 : -1 : 1)*] [* 7356, -6, (201/361 : -14137/6859 : 1)*] [* 7937, 1, (0 : 0 : 1)*] [* 8269, 0, (0 : 1 : 0)*] [* 8601, 5, (76/9 : -844/27 : 1)*] [* 8684, -2, (1 : 1 : 1)*] [* 8933, 1, (0 : 0 : 1)*] [* 9265, 1, (0 : 0 : 1)*] [* 9597, -6, (201/361 : -14137/6859 : 1)*] [* 9929, 5, (76/9 : -844/27 : 1)*] /* D = 53 (mod 83 ) [* 53, 0, (0 : 1 : 0)*] [* 136, 1, (0 : 0 : 1)*] [* 385, 1, (0 : 0 : 1)*] [* 717, -4, (-3/16 : -21/64 : 1)*] [* 1049, 2, (1 : -3 : 1)*] [* 1132, -2, (1 : 1 : 1)*] [* 1381, 0, (0 : 1 : 0)*] [* 1464, 5, (76/9 : -844/27 : 1)*] [* 1713, 2, (1 : -3 : 1)*] [* 2045, 1, (0 : 0 : 1)*] [* 2377, 1, (0 : 0 : 1)*] [* 2460, 4, (-3/16 : -31/64 : 1)*] [* 2792, -5, (76/9 : 589/27 : 1)*] [* 3041, -3, (4 : -12 : 1)*] [* 3373, 3, (4 : 7 : 1)*] [* 3705, -2, (1 : 1 : 1)*] [* 3788, 2, (1 : -3 : 1)*] [* 4037, 8, (83281/1600 : 22629451/64000 : 1)*] [* 4120, -2, (1 : 1 : 1)*] [* 4369, -1, (0 : -1 : 1)*] [* 4701, -7, (760/4489 : 46120/300763 : 1)*] [* 5033, 2, (1 : -3 : 1)*] [* 5116, 4, (-3/16 : -31/64 : 1)*] [* 5365, -1, (0 : -1 : 1)*] [* 5448, 2, (1 : -3 : 1)*] [* 6029, 1, (0 : 0 : 1)*] [* 6361, -1, (0 : -1 : 1)*] [* 6693, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7357, 0, (0 : 1 : 0)*] [* 7689, -5, (76/9 : 589/27 : 1)*] [* 7772, 2, (1 : -3 : 1)*] [* 8021, -5, (76/9 : 589/27 : 1)*] [* 8104, 0, (0 : 1 : 0)*] [* 8353, 0, (0 : 1 : 0)*] [* 9017, 0, (0 : 1 : 0)*] [* 9349, -5, (76/9 : 589/27 : 1)*] [* 9681, -4, (-3/16 : -21/64 : 1)*] /* D = 54 (mod 83 ) [* 137, 2, (1 : -3 : 1)*] [* 220, -2, (1 : 1 : 1)*] [* 469, 0, (0 : 1 : 0)*] [* 552, -4, (-3/16 : -21/64 : 1)*] [* 1133, 2, (1 : -3 : 1)*] [* 1465, 0, (0 : 1 : 0)*] [* 1797, -1, (0 : -1 : 1)*] [* 1880, 0, (0 : 1 : 0)*] [* 2129, 1, (0 : 0 : 1)*] [* 2461, 0, (0 : 1 : 0)*] [* 2876, 2, (1 : -3 : 1)*] [* 3208, -2, (1 : 1 : 1)*] [* 3457, 0, (0 : 1 : 0)*] [* 4121, -1, (0 : -1 : 1)*] [* 4204, 4, (-3/16 : -31/64 : 1)*] [* 4453, -5, (76/9 : 589/27 : 1)*] [* 4785, -1, (0 : -1 : 1)*] [* 5117, 8, (83281/1600 : 22629451/64000 : 1)*] [* 5449, -3, (4 : -12 : 1)*] [* 5532, -4, (-3/16 : -21/64 : 1)*] [* 5781, 0, (0 : 1 : 0)*] [* 5864, -1, (0 : -1 : 1)*] [* 6113, 0, (0 : 1 : 0)*] [* 6445, 0, (0 : 1 : 0)*] [* 7109, -5, (76/9 : 589/27 : 1)*] [* 7192, -7, (760/4489 : 46120/300763 : 1)*] [* 7441, 0, (0 : 1 : 0)*] [* 7773, 3, (4 : 7 : 1)*] [* 8105, 11, (1437258876/656743129 : 48437640863781/16830356166883 : 1)*] [* 8188, -8, (83281/1600 : -26024691/64000 : 1)*] [* 8437, 3, (4 : 7 : 1)*] [* 8520, -2, (1 : 1 : 1)*] [* 8769, -3, (4 : -12 : 1)*] [* 9101, -3, (4 : -12 : 1)*] [* 9433, 7, (760/4489 : -397803/300763 : 1)*] [* 9516, 2, (1 : -3 : 1)*] [* 9848, -6, (201/361 : -14137/6859 : 1)*] /* D = 55 (mod 83 ) [* 221, -1, (0 : -1 : 1)*] [* 553, 3, (4 : 7 : 1)*] [* 636, 2, (1 : -3 : 1)*] [* 885, 1, (0 : 0 : 1)*] [* 1217, 3, (4 : 7 : 1)*] [* 1549, -3, (4 : -12 : 1)*] [* 1964, 2, (1 : -3 : 1)*] [* 2213, 1, (0 : 0 : 1)*] [* 2296, 2, (1 : -3 : 1)*] [* 2545, -1, (0 : -1 : 1)*] [* 2877, -2, (1 : 1 : 1)*] [* 3209, -4, (-3/16 : -21/64 : 1)*] [* 3292, 2, (1 : -3 : 1)*] [* 3541, 1, (0 : 0 : 1)*] [* 3624, 5, (76/9 : -844/27 : 1)*] [* 3873, -1, (0 : -1 : 1)*] [* 4537, -1, (0 : -1 : 1)*] [* 4620, 8, (83281/1600 : 22629451/64000 : 1)*] [* 4952, -1, (0 : -1 : 1)*] [* 5201, 0, (0 : 1 : 0)*] [* 5533, 2, (1 : -3 : 1)*] [* 5865, 0, (0 : 1 : 0)*] [* 5948, -12, (-16091936483/111772536976 : -7074994042789751/37368241651964224 : 1)*] [* 6197, 1, (0 : 0 : 1)*] [* 6280, 0, (0 : 1 : 0)*] [* 6529, -3, (4 : -12 : 1)*] [* 6861, -3, (4 : -12 : 1)*] [* 7193, 4, (-3/16 : -31/64 : 1)*] [* 7276, 2, (1 : -3 : 1)*] [* 7608, -7, (760/4489 : 46120/300763 : 1)*] [* 8189, 5, (76/9 : -844/27 : 1)*] [* 8521, -2, (1 : 1 : 1)*] [* 8853, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 8936, 6, (201/361 : 3459/6859 : 1)*] [* 9185, -3, (4 : -12 : 1)*] [* 9517, -1, (0 : -1 : 1)*] [* 9932, 2, (1 : -3 : 1)*] /* D = 56 (mod 83 ) [* 56, -1, (0 : -1 : 1)*] [* 305, 1, (0 : 0 : 1)*] [* 969, 3, (4 : 7 : 1)*] [* 1052, -2, (1 : 1 : 1)*] [* 1301, 1, (0 : 0 : 1)*] [* 1384, 5, (76/9 : -844/27 : 1)*] [* 1633, 0, (0 : 1 : 0)*] [* 1965, 0, (0 : 1 : 0)*] [* 2297, -1, (0 : -1 : 1)*] [* 2380, 4, (-3/16 : -31/64 : 1)*] [* 2629, 2, (1 : -3 : 1)*] [* 2712, 5, (76/9 : -844/27 : 1)*] [* 3293, 0, (0 : 1 : 0)*] [* 3957, -4, (-3/16 : -21/64 : 1)*] [* 4040, 2, (1 : -3 : 1)*] [* 4289, -1, (0 : -1 : 1)*] [* 4621, -5, (76/9 : 589/27 : 1)*] [* 4953, -1, (0 : -1 : 1)*] [* 5036, -6, (201/361 : -14137/6859 : 1)*] [* 5285, 5, (76/9 : -844/27 : 1)*] [* 5368, 1, (0 : 0 : 1)*] [* 5617, 2, (1 : -3 : 1)*] [* 6281, -4, (-3/16 : -21/64 : 1)*] [* 6364, -4, (-3/16 : -21/64 : 1)*] [* 6613, -1, (0 : -1 : 1)*] [* 6945, -3, (4 : -12 : 1)*] [* 7277, 3, (4 : 7 : 1)*] [* 7609, 2, (1 : -3 : 1)*] [* 7692, 4, (-3/16 : -31/64 : 1)*] [* 7941, 6, (201/361 : 3459/6859 : 1)*] [* 8024, -5, (76/9 : 589/27 : 1)*] [* 8273, -3, (4 : -12 : 1)*] [* 8605, 3, (4 : 7 : 1)*] [* 9020, 4, (-3/16 : -31/64 : 1)*] [* 9269, 2, (1 : -3 : 1)*] [* 9352, 3, (4 : 7 : 1)*] [* 9601, 5, (76/9 : -844/27 : 1)*] [* 9933, 0, (0 : 1 : 0)*] /* D = 57 (mod 83 ) [* 57, 1, (0 : 0 : 1)*] [* 140, 0, (0 : 1 : 0)*] [* 389, 3, (4 : 7 : 1)*] [* 472, -1, (0 : -1 : 1)*] [* 721, 0, (0 : 1 : 0)*] [* 1385, -4, (-3/16 : -21/64 : 1)*] [* 1468, -4, (-3/16 : -21/64 : 1)*] [* 1717, 2, (1 : -3 : 1)*] [* 2049, -3, (4 : -12 : 1)*] [* 2381, -7, (760/4489 : 46120/300763 : 1)*] [* 2713, 1, (0 : 0 : 1)*] [* 2796, 0, (0 : 1 : 0)*] [* 3045, 5, (76/9 : -844/27 : 1)*] [* 3128, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 3377, 1, (0 : 0 : 1)*] [* 3709, -2, (1 : 1 : 1)*] [* 4124, -2, (1 : 1 : 1)*] [* 4373, 5, (76/9 : -844/27 : 1)*] [* 4456, 2, (1 : -3 : 1)*] [* 4705, 1, (0 : 0 : 1)*] [* 5037, 0, (0 : 1 : 0)*] [* 5369, -3, (4 : -12 : 1)*] [* 5452, -2, (1 : 1 : 1)*] [* 5701, 3, (4 : 7 : 1)*] [* 5784, 1, (0 : 0 : 1)*] [* 6033, 4, (-3/16 : -31/64 : 1)*] [* 6365, -4, (-3/16 : -21/64 : 1)*] [* 6697, 3, (4 : 7 : 1)*] [* 6780, 6, (201/361 : 3459/6859 : 1)*] [* 7112, 3, (4 : 7 : 1)*] [* 7361, -2, (1 : 1 : 1)*] [* 8108, -6, (201/361 : -14137/6859 : 1)*] [* 8357, 8, (83281/1600 : 22629451/64000 : 1)*] [* 8440, 6, (201/361 : 3459/6859 : 1)*] [* 8689, -3, (4 : -12 : 1)*] [* 9021, -4, (-3/16 : -21/64 : 1)*] [* 9353, 6, (201/361 : 3459/6859 : 1)*] [* 9436, 6, (201/361 : 3459/6859 : 1)*] [* 9685, 0, (0 : 1 : 0)*] [* 9768, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] /* D = 58 (mod 83 ) [* 141, 1, (0 : 0 : 1)*] [* 473, 2, (1 : -3 : 1)*] [* 556, 0, (0 : 1 : 0)*] [* 805, 0, (0 : 1 : 0)*] [* 888, -5, (76/9 : 589/27 : 1)*] [* 1137, 6, (201/361 : 3459/6859 : 1)*] [* 1469, -5, (76/9 : 589/27 : 1)*] [* 1801, -1, (0 : -1 : 1)*] [* 1884, 0, (0 : 1 : 0)*] [* 2216, 0, (0 : 1 : 0)*] [* 2465, -5, (76/9 : 589/27 : 1)*] [* 2797, -5, (76/9 : 589/27 : 1)*] [* 3129, 0, (0 : 1 : 0)*] [* 3212, 6, (201/361 : 3459/6859 : 1)*] [* 3461, -3, (4 : -12 : 1)*] [* 3544, 3, (4 : 7 : 1)*] [* 3793, -2, (1 : 1 : 1)*] [* 4457, -3, (4 : -12 : 1)*] [* 4540, 0, (0 : 1 : 0)*] [* 4789, 1, (0 : 0 : 1)*] [* 4872, 1, (0 : 0 : 1)*] [* 5453, -6, (201/361 : -14137/6859 : 1)*] [* 5785, 4, (-3/16 : -31/64 : 1)*] [* 6117, 8, (83281/1600 : 22629451/64000 : 1)*] [* 6449, -2, (1 : 1 : 1)*] [* 6781, 0, (0 : 1 : 0)*] [* 7113, 2, (1 : -3 : 1)*] [* 7196, -2, (1 : 1 : 1)*] [* 7445, 3, (4 : 7 : 1)*] [* 7528, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] [* 7777, 2, (1 : -3 : 1)*] [* 8441, -6, (201/361 : -14137/6859 : 1)*] [* 8524, 4, (-3/16 : -31/64 : 1)*] [* 8773, 7, (760/4489 : -397803/300763 : 1)*] [* 9105, -6, (201/361 : -14137/6859 : 1)*] [* 9437, 6, (201/361 : 3459/6859 : 1)*] [* 9769, 4, (-3/16 : -31/64 : 1)*] *** Warning: The precision was insufficient to recognize P( 9852 ) as a global point [* 9852, Infinity, 0*] /* D = 60 (mod 83 ) [* 60, 2, (1 : -3 : 1)*] [* 309, -2, (1 : 1 : 1)*] [* 641, 0, (0 : 1 : 0)*] [* 973, -3, (4 : -12 : 1)*] [* 1388, 2, (1 : -3 : 1)*] [* 1637, 2, (1 : -3 : 1)*] [* 1720, -2, (1 : 1 : 1)*] [* 1969, 3, (4 : 7 : 1)*] [* 2301, -3, (4 : -12 : 1)*] [* 2633, -4, (-3/16 : -21/64 : 1)*] [* 2716, -2, (1 : 1 : 1)*] [* 2965, 1, (0 : 0 : 1)*] [* 3048, -3, (4 : -12 : 1)*] [* 3297, 1, (0 : 0 : 1)*] [* 3629, 3, (4 : 7 : 1)*] [* 3961, 3, (4 : 7 : 1)*] [* 4044, 2, (1 : -3 : 1)*] [* 4376, -3, (4 : -12 : 1)*] [* 4957, 1, (0 : 0 : 1)*] [* 5289, 6, (201/361 : 3459/6859 : 1)*] [* 5372, 4, (-3/16 : -31/64 : 1)*] [* 5621, 3, (4 : 7 : 1)*] [* 5704, 0, (0 : 1 : 0)*] [* 5953, -3, (4 : -12 : 1)*] [* 6285, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 6617, -3, (4 : -12 : 1)*] [* 6949, 4, (-3/16 : -31/64 : 1)*] [* 7032, 2, (1 : -3 : 1)*] [* 7613, -6, (201/361 : -14137/6859 : 1)*] [* 7945, -2, (1 : 1 : 1)*] [* 8277, -8, (83281/1600 : -26024691/64000 : 1)*] [* 8360, 2, (1 : -3 : 1)*] [* 8609, 0, (0 : 1 : 0)*] [* 8941, 2, (1 : -3 : 1)*] [* 9273, -5, (76/9 : 589/27 : 1)*] [* 9356, 2, (1 : -3 : 1)*] [* 9605, 1, (0 : 0 : 1)*] [* 9688, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 9937, -3, (4 : -12 : 1)*] /* D = 62 (mod 83 ) [* 145, -1, (0 : -1 : 1)*] [* 809, -1, (0 : -1 : 1)*] [* 892, 2, (1 : -3 : 1)*] [* 1141, 3, (4 : 7 : 1)*] [* 1473, -1, (0 : -1 : 1)*] [* 2137, -2, (1 : 1 : 1)*] [* 2220, -4, (-3/16 : -21/64 : 1)*] [* 2469, 1, (0 : 0 : 1)*] [* 2552, -1, (0 : -1 : 1)*] [* 2801, 0, (0 : 1 : 0)*] [* 3133, 3, (4 : 7 : 1)*] [* 3548, 4, (-3/16 : -31/64 : 1)*] [* 3797, 0, (0 : 1 : 0)*] [* 3880, -2, (1 : 1 : 1)*] [* 4129, 3, (4 : 7 : 1)*] [* 4461, 1, (0 : 0 : 1)*] [* 4793, 3, (4 : 7 : 1)*] [* 4876, 0, (0 : 1 : 0)*] [* 5208, 9, (-171960/1545049 : -254749480/1920495907 : 1)*] [* 5457, 0, (0 : 1 : 0)*] [* 5789, 1, (0 : 0 : 1)*] [* 6121, 4, (-3/16 : -31/64 : 1)*] [* 6204, -4, (-3/16 : -21/64 : 1)*] [* 6536, 4, (-3/16 : -31/64 : 1)*] [* 6785, -2, (1 : 1 : 1)*] [* 7117, -12, (-16091936483/111772536976 : -7074994042789751/37368241651964224 : 1)*] [* 7449, 1, (0 : 0 : 1)*] [* 7532, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7781, 1, (0 : 0 : 1)*] [* 7864, 0, (0 : 1 : 0)*] [* 8113, -1, (0 : -1 : 1)*] [* 8445, 5, (76/9 : -844/27 : 1)*] [* 8777, 6, (201/361 : 3459/6859 : 1)*] [* 8860, 6, (201/361 : 3459/6859 : 1)*] [* 9109, -1, (0 : -1 : 1)*] [* 9192, -1, (0 : -1 : 1)*] [* 9773, -8, (83281/1600 : -26024691/64000 : 1)*] /* D = 66 (mod 83 ) [* 149, 2, (1 : -3 : 1)*] [* 232, -1, (0 : -1 : 1)*] [* 481, 1, (0 : 0 : 1)*] [* 813, 0, (0 : 1 : 0)*] [* 1145, 0, (0 : 1 : 0)*] [* 1228, 2, (1 : -3 : 1)*] [* 1477, -5, (76/9 : 589/27 : 1)*] [* 1560, -6, (201/361 : -14137/6859 : 1)*] [* 2141, 4, (-3/16 : -31/64 : 1)*] [* 2473, -1, (0 : -1 : 1)*] [* 2805, -1, (0 : -1 : 1)*] [* 3137, -1, (0 : -1 : 1)*] [* 3469, 2, (1 : -3 : 1)*] [* 3801, -1, (0 : -1 : 1)*] [* 3884, -6, (201/361 : -14137/6859 : 1)*] [* 4133, -1, (0 : -1 : 1)*] [* 4216, -3, (4 : -12 : 1)*] [* 4465, 0, (0 : 1 : 0)*] [* 5129, 2, (1 : -3 : 1)*] [* 5212, 2, (1 : -3 : 1)*] [* 5461, 2, (1 : -3 : 1)*] [* 5793, 0, (0 : 1 : 0)*] [* 6457, 3, (4 : 7 : 1)*] [* 6540, 0, (0 : 1 : 0)*] [* 6789, -1, (0 : -1 : 1)*] [* 6872, -1, (0 : -1 : 1)*] [* 7121, 4, (-3/16 : -31/64 : 1)*] [* 7453, 1, (0 : 0 : 1)*] [* 7868, 4, (-3/16 : -31/64 : 1)*] [* 8117, -5, (76/9 : 589/27 : 1)*] [* 8449, 0, (0 : 1 : 0)*] [* 8781, 7, (760/4489 : -397803/300763 : 1)*] [* 9113, -2, (1 : 1 : 1)*] [* 9445, -3, (4 : -12 : 1)*] [* 9528, 0, (0 : 1 : 0)*] [* 9777, -3, (4 : -12 : 1)*] /* D = 67 (mod 83 ) [* 233, 1, (0 : 0 : 1)*] [* 316, 0, (0 : 1 : 0)*] [* 565, -1, (0 : -1 : 1)*] [* 897, -2, (1 : 1 : 1)*] [* 1229, 1, (0 : 0 : 1)*] [* 1561, 1, (0 : 0 : 1)*] [* 1644, 2, (1 : -3 : 1)*] [* 1893, -10, (31854361/18481401 : 163211623099/79451542899 : 1)*] [* 1976, 2, (1 : -3 : 1)*] [* 2557, 3, (4 : 7 : 1)*] [* 2972, -4, (-3/16 : -21/64 : 1)*] [* 3221, 0, (0 : 1 : 0)*] [* 3304, 3, (4 : 7 : 1)*] [* 3553, 3, (4 : 7 : 1)*] [* 3885, 5, (76/9 : -844/27 : 1)*] [* 4217, 5, (76/9 : -844/27 : 1)*] [* 4549, 0, (0 : 1 : 0)*] [* 4632, 0, (0 : 1 : 0)*] [* 4881, -4, (-3/16 : -21/64 : 1)*] [* 5213, 4, (-3/16 : -31/64 : 1)*] [* 5545, -3, (4 : -12 : 1)*] [* 5628, 2, (1 : -3 : 1)*] [* 5960, 4, (-3/16 : -31/64 : 1)*] [* 6209, -3, (4 : -12 : 1)*] [* 6541, 1, (0 : 0 : 1)*] [* 6873, -5, (76/9 : 589/27 : 1)*] [* 6956, 2, (1 : -3 : 1)*] [* 7205, 0, (0 : 1 : 0)*] [* 7288, -3, (4 : -12 : 1)*] [* 7537, -1, (0 : -1 : 1)*] [* 7869, -2, (1 : 1 : 1)*] [* 8201, 1, (0 : 0 : 1)*] [* 8284, 4, (-3/16 : -31/64 : 1)*] [* 8533, -4, (-3/16 : -21/64 : 1)*] [* 8616, -3, (4 : -12 : 1)*] [* 9197, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 9529, -3, (4 : -12 : 1)*] [* 9861, -1, (0 : -1 : 1)*] [* 9944, 1, (0 : 0 : 1)*] /* D = 71 (mod 83 ) [* 237, -3, (4 : -12 : 1)*] [* 569, -1, (0 : -1 : 1)*] [* 652, 4, (-3/16 : -31/64 : 1)*] [* 901, -2, (1 : 1 : 1)*] [* 984, 2, (1 : -3 : 1)*] [* 1565, -1, (0 : -1 : 1)*] [* 1897, 2, (1 : -3 : 1)*] [* 2229, 4, (-3/16 : -31/64 : 1)*] [* 2561, 3, (4 : 7 : 1)*] [* 2893, 1, (0 : 0 : 1)*] [* 3308, -6, (201/361 : -14137/6859 : 1)*] [* 3557, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 3640, -2, (1 : 1 : 1)*] [* 3889, 0, (0 : 1 : 0)*] [* 4553, 3, (4 : 7 : 1)*] [* 4636, 0, (0 : 1 : 0)*] [* 4885, 1, (0 : 0 : 1)*] [* 5217, -3, (4 : -12 : 1)*] [* 5549, -7, (760/4489 : 46120/300763 : 1)*] [* 5881, 1, (0 : 0 : 1)*] [* 5964, 0, (0 : 1 : 0)*] [* 6213, -5, (76/9 : 589/27 : 1)*] [* 6296, -4, (-3/16 : -21/64 : 1)*] [* 6545, -1, (0 : -1 : 1)*] [* 7292, 2, (1 : -3 : 1)*] [* 7541, -2, (1 : 1 : 1)*] [* 7624, 5, (76/9 : -844/27 : 1)*] [* 7873, -2, (1 : 1 : 1)*] [* 8205, -1, (0 : -1 : 1)*] [* 8537, 1, (0 : 0 : 1)*] [* 8620, 4, (-3/16 : -31/64 : 1)*] *** Warning: The precision was insufficient to recognize P( 8952 ) as a global point [* 8952, Infinity, 0*] [* 9201, 1, (0 : 0 : 1)*] [* 9533, 8, (83281/1600 : 22629451/64000 : 1)*] [* 9865, -3, (4 : -12 : 1)*] [* 9948, 2, (1 : -3 : 1)*] /* D = 72 (mod 83 ) [* 321, 2, (1 : -3 : 1)*] [* 653, 4, (-3/16 : -31/64 : 1)*] [* 985, 1, (0 : 0 : 1)*] [* 1068, -2, (1 : 1 : 1)*] [* 1317, -1, (0 : -1 : 1)*] [* 1649, 0, (0 : 1 : 0)*] [* 1981, -5, (76/9 : 589/27 : 1)*] [* 2396, 2, (1 : -3 : 1)*] [* 2728, 7, (760/4489 : -397803/300763 : 1)*] [* 2977, -2, (1 : 1 : 1)*] [* 3309, -4, (-3/16 : -21/64 : 1)*] [* 3641, 0, (0 : 1 : 0)*] [* 3973, -2, (1 : 1 : 1)*] [* 4305, -6, (201/361 : -14137/6859 : 1)*] [* 4637, 6, (201/361 : 3459/6859 : 1)*] [* 4969, 0, (0 : 1 : 0)*] [* 5052, -2, (1 : 1 : 1)*] [* 5384, 3, (4 : 7 : 1)*] [* 5633, 2, (1 : -3 : 1)*] [* 5965, 5, (76/9 : -844/27 : 1)*] [* 6297, -2, (1 : 1 : 1)*] [* 6380, -4, (-3/16 : -21/64 : 1)*] [* 6629, 0, (0 : 1 : 0)*] [* 6712, -5, (76/9 : 589/27 : 1)*] [* 6961, 5, (76/9 : -844/27 : 1)*] [* 7293, 11, (1437258876/656743129 : 48437640863781/16830356166883 : 1)*] [* 7708, 0, (0 : 1 : 0)*] [* 7957, 3, (4 : 7 : 1)*] [* 8040, -4, (-3/16 : -21/64 : 1)*] [* 8621, -5, (76/9 : 589/27 : 1)*] [* 8953, 0, (0 : 1 : 0)*] [* 9285, -3, (4 : -12 : 1)*] [* 9368, -1, (0 : -1 : 1)*] [* 9617, 3, (4 : 7 : 1)*] [* 9949, -1, (0 : -1 : 1)*] /* D = 73 (mod 83 ) [* 73, -1, (0 : -1 : 1)*] [* 156, 0, (0 : 1 : 0)*] [* 488, 3, (4 : 7 : 1)*] [* 737, 0, (0 : 1 : 0)*] [* 1069, -1, (0 : -1 : 1)*] [* 1401, 1, (0 : 0 : 1)*] [* 1484, 2, (1 : -3 : 1)*] [* 1733, -4, (-3/16 : -21/64 : 1)*] [* 1816, 2, (1 : -3 : 1)*] [* 2065, 3, (4 : 7 : 1)*] [* 2397, 7, (760/4489 : -397803/300763 : 1)*] [* 2729, 4, (-3/16 : -31/64 : 1)*] [* 2812, 0, (0 : 1 : 0)*] [* 3061, -2, (1 : 1 : 1)*] [* 3144, 0, (0 : 1 : 0)*] [* 4057, 3, (4 : 7 : 1)*] [* 4389, -7, (760/4489 : 46120/300763 : 1)*] [* 4472, -2, (1 : 1 : 1)*] [* 4721, 1, (0 : 0 : 1)*] [* 5053, 3, (4 : 7 : 1)*] [* 5385, -1, (0 : -1 : 1)*] [* 5468, 6, (201/361 : 3459/6859 : 1)*] [* 5717, 0, (0 : 1 : 0)*] [* 6049, -2, (1 : 1 : 1)*] [* 6796, 0, (0 : 1 : 0)*] [* 7045, 0, (0 : 1 : 0)*] [* 7377, -3, (4 : -12 : 1)*] [* 7709, 3, (4 : 7 : 1)*] [* 8041, -4, (-3/16 : -21/64 : 1)*] [* 8124, 0, (0 : 1 : 0)*] [* 8373, 0, (0 : 1 : 0)*] [* 8456, 5, (76/9 : -844/27 : 1)*] [* 8705, -3, (4 : -12 : 1)*] [* 9037, -3, (4 : -12 : 1)*] [* 9452, 4, (-3/16 : -31/64 : 1)*] [* 9701, -2, (1 : 1 : 1)*] [* 9784, 7, (760/4489 : -397803/300763 : 1)*] /* D = 74 (mod 83 ) [* 157, 3, (4 : 7 : 1)*] [* 489, -1, (0 : -1 : 1)*] [* 572, -4, (-3/16 : -21/64 : 1)*] [* 821, 1, (0 : 0 : 1)*] [* 904, 1, (0 : 0 : 1)*] [* 1153, 0, (0 : 1 : 0)*] [* 1817, 0, (0 : 1 : 0)*] [* 2149, -3, (4 : -12 : 1)*] [* 2481, -5, (76/9 : 589/27 : 1)*] [* 2813, 6, (201/361 : 3459/6859 : 1)*] [* 3145, -1, (0 : -1 : 1)*] [* 3228, 0, (0 : 1 : 0)*] [* 3477, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] [* 3560, -4, (-3/16 : -21/64 : 1)*] [* 3809, 2, (1 : -3 : 1)*] [* 4141, 0, (0 : 1 : 0)*] [* 4556, 2, (1 : -3 : 1)*] [* 4888, 0, (0 : 1 : 0)*] [* 5137, 5, (76/9 : -844/27 : 1)*] [* 5469, 0, (0 : 1 : 0)*] [* 5801, -1, (0 : -1 : 1)*] [* 5884, 4, (-3/16 : -31/64 : 1)*] [* 6133, 1, (0 : 0 : 1)*] [* 6216, 1, (0 : 0 : 1)*] [* 6465, -1, (0 : -1 : 1)*] [* 6797, 5, (76/9 : -844/27 : 1)*] [* 7129, 2, (1 : -3 : 1)*] [* 7212, -4, (-3/16 : -21/64 : 1)*] [* 7544, 0, (0 : 1 : 0)*] [* 7793, 2, (1 : -3 : 1)*] [* 8457, 7, (760/4489 : -397803/300763 : 1)*] [* 8540, -2, (1 : 1 : 1)*] [* 8789, -7, (760/4489 : 46120/300763 : 1)*] [* 8872, -9, (-171960/1545049 : -1452000147/1920495907 : 1)*] [* 9121, -4, (-3/16 : -21/64 : 1)*] [* 9453, 8, (83281/1600 : 22629451/64000 : 1)*] [* 9785, -2, (1 : 1 : 1)*] [* 9868, 4, (-3/16 : -31/64 : 1)*] /* D = 76 (mod 83 ) [* 76, -2, (1 : 1 : 1)*] [* 408, -3, (4 : -12 : 1)*] [* 989, -2, (1 : 1 : 1)*] [* 1321, -1, (0 : -1 : 1)*] [* 1653, 7, (760/4489 : -397803/300763 : 1)*] [* 1736, 5, (76/9 : -844/27 : 1)*] [* 1985, -4, (-3/16 : -21/64 : 1)*] [* 2317, 0, (0 : 1 : 0)*] [* 2649, -2, (1 : 1 : 1)*] [* 2732, 0, (0 : 1 : 0)*] [* 2981, 0, (0 : 1 : 0)*] [* 3064, 3, (4 : 7 : 1)*] [* 3313, -2, (1 : 1 : 1)*] [* 3977, 2, (1 : -3 : 1)*] [* 4060, 2, (1 : -3 : 1)*] [* 4309, -1, (0 : -1 : 1)*] [* 4641, -1, (0 : -1 : 1)*] *** Warning: The precision was insufficient to recognize P( 4973 ) as a global point [* 4973, Infinity, 0*] [* 5305, 0, (0 : 1 : 0)*] [* 5388, -12, (-16091936483/111772536976 : -7074994042789751/37368241651964224 : 1)*] [* 5637, 1, (0 : 0 : 1)*] [* 5720, 6, (201/361 : 3459/6859 : 1)*] [* 5969, 1, (0 : 0 : 1)*] [* 6301, 0, (0 : 1 : 0)*] [* 6716, 12, (-16091936483/111772536976 : -24913327036431981/37368241651964224 : 1)*] [* 6965, 2, (1 : -3 : 1)*] [* 7048, -5, (76/9 : 589/27 : 1)*] [* 7297, 1, (0 : 0 : 1)*] [* 7629, -3, (4 : -12 : 1)*] [* 7961, 1, (0 : 0 : 1)*] [* 8044, 2, (1 : -3 : 1)*] [* 8293, 1, (0 : 0 : 1)*] [* 8376, -3, (4 : -12 : 1)*] [* 9289, 1, (0 : 0 : 1)*] [* 9372, 4, (-3/16 : -31/64 : 1)*] [* 9704, 5, (76/9 : -844/27 : 1)*] [* 9953, 12, (-16091936483/111772536976 : -24913327036431981/37368241651964224 : 1)*] /* D = 79 (mod 83 ) [* 328, 0, (0 : 1 : 0)*] [* 577, -4, (-3/16 : -21/64 : 1)*] [* 1241, -3, (4 : -12 : 1)*] [* 1324, 4, (-3/16 : -31/64 : 1)*] [* 1905, 3, (4 : 7 : 1)*] [* 2237, 2, (1 : -3 : 1)*] [* 2569, 2, (1 : -3 : 1)*] [* 2652, -4, (-3/16 : -21/64 : 1)*] [* 2901, 4, (-3/16 : -31/64 : 1)*] [* 2984, -5, (76/9 : 589/27 : 1)*] [* 3233, 4, (-3/16 : -31/64 : 1)*] [* 3565, -2, (1 : 1 : 1)*] [* 3980, 0, (0 : 1 : 0)*] [* 4229, -3, (4 : -12 : 1)*] [* 4561, 0, (0 : 1 : 0)*] [* 4893, 5, (76/9 : -844/27 : 1)*] [* 5308, -2, (1 : 1 : 1)*] [* 5557, -2, (1 : 1 : 1)*] [* 5640, 0, (0 : 1 : 0)*] [* 5889, -1, (0 : -1 : 1)*] [* 6221, -5, (76/9 : 589/27 : 1)*] [* 6553, 0, (0 : 1 : 0)*] [* 6636, 6, (201/361 : 3459/6859 : 1)*] [* 6968, 6, (201/361 : 3459/6859 : 1)*] [* 7217, -6, (201/361 : -14137/6859 : 1)*] [* 7549, -4, (-3/16 : -21/64 : 1)*] [* 7881, -2, (1 : 1 : 1)*] [* 7964, 2, (1 : -3 : 1)*] [* 8213, 0, (0 : 1 : 0)*] [* 8296, 1, (0 : 0 : 1)*] [* 8545, 2, (1 : -3 : 1)*] [* 8877, -6, (201/361 : -14137/6859 : 1)*] [* 9209, 1, (0 : 0 : 1)*] [* 9292, 4, (-3/16 : -31/64 : 1)*] [* 9541, 1, (0 : 0 : 1)*] [* 9624, 4, (-3/16 : -31/64 : 1)*] /* D = 80 (mod 83 ) [* 329, 1, (0 : 0 : 1)*] [* 412, -2, (1 : 1 : 1)*] [* 661, 3, (4 : 7 : 1)*] [* 744, 1, (0 : 0 : 1)*] [* 993, -2, (1 : 1 : 1)*] [* 1657, -2, (1 : 1 : 1)*] [* 1740, 4, (-3/16 : -31/64 : 1)*] [* 2072, 1, (0 : 0 : 1)*] [* 2321, 1, (0 : 0 : 1)*] [* 2653, 0, (0 : 1 : 0)*] [* 2985, -4, (-3/16 : -21/64 : 1)*] [* 3068, 0, (0 : 1 : 0)*] [* 3317, 6, (201/361 : 3459/6859 : 1)*] [* 3649, 0, (0 : 1 : 0)*] [* 3981, -1, (0 : -1 : 1)*] [* 4313, 0, (0 : 1 : 0)*] [* 4396, 2, (1 : -3 : 1)*] [* 4645, -1, (0 : -1 : 1)*] [* 4728, 3, (4 : 7 : 1)*] [* 5309, -8, (83281/1600 : -26024691/64000 : 1)*] [* 5641, 3, (4 : 7 : 1)*] [* 5973, 1, (0 : 0 : 1)*] [* 6056, -3, (4 : -12 : 1)*] [* 6305, 6, (201/361 : 3459/6859 : 1)*] [* 6637, -5, (76/9 : 589/27 : 1)*] [* 6969, 2, (1 : -3 : 1)*] [* 7052, 8, (83281/1600 : 22629451/64000 : 1)*] [* 7384, 0, (0 : 1 : 0)*] [* 7633, 5, (76/9 : -844/27 : 1)*] [* 8297, 3, (4 : 7 : 1)*] [* 8380, -6, (201/361 : -14137/6859 : 1)*] [* 8629, 2, (1 : -3 : 1)*] [* 8961, 0, (0 : 1 : 0)*] [* 9293, 5, (76/9 : -844/27 : 1)*] [* 9708, -4, (-3/16 : -21/64 : 1)*] [* 9957, 5, (76/9 : -844/27 : 1)*] /* D = 82 (mod 83 ) [* 165, 1, (0 : 0 : 1)*] [* 248, 1, (0 : 0 : 1)*] [* 497, 2, (1 : -3 : 1)*] [* 829, 2, (1 : -3 : 1)*] [* 1244, -4, (-3/16 : -21/64 : 1)*] [* 1493, 0, (0 : 1 : 0)*] [* 1576, -1, (0 : -1 : 1)*] [* 2157, -4, (-3/16 : -21/64 : 1)*] [* 2489, 0, (0 : 1 : 0)*] [* 2572, 4, (-3/16 : -31/64 : 1)*] [* 2821, 3, (4 : 7 : 1)*] [* 3153, -6, (201/361 : -14137/6859 : 1)*] [* 3485, -4, (-3/16 : -21/64 : 1)*] [* 3817, -6, (201/361 : -14137/6859 : 1)*] [* 4481, 0, (0 : 1 : 0)*] [* 4813, 0, (0 : 1 : 0)*] [* 5228, 10, (31854361/18481401 : -379605063937/79451542899 : 1)*] [* 5477, 2, (1 : -3 : 1)*] [* 5560, -2, (1 : 1 : 1)*] [* 5809, 3, (4 : 7 : 1)*] [* 6141, 2, (1 : -3 : 1)*] [* 6473, 6, (201/361 : 3459/6859 : 1)*] [* 6556, -2, (1 : 1 : 1)*] [* 6805, -5, (76/9 : 589/27 : 1)*] [* 6888, 4, (-3/16 : -31/64 : 1)*] [* 7469, 6, (201/361 : 3459/6859 : 1)*] [* 7801, 4, (-3/16 : -31/64 : 1)*] [* 8133, -3, (4 : -12 : 1)*] [* 8216, -4, (-3/16 : -21/64 : 1)*] [* 8465, 4, (-3/16 : -31/64 : 1)*] [* 8797, 1, (0 : 0 : 1)*] [* 9129, 1, (0 : 0 : 1)*] [* 9461, 1, (0 : 0 : 1)*] [* 9544, -5, (76/9 : 589/27 : 1)*] [* 9793, 0, (0 : 1 : 0)*] Total time: 39747.500 seconds, Total memory usage: 64.06MB