Magma V2.13-11 Sun Nov 11 2007 03:03:12 on amd13 [Seed = 3567641457] Type ? for help. Type -D to quit. Loading file "do-37" Loading "../data/M.37.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 over Rational Field working over Qp = the 37-adic field mod 37^20 ------------------------------------------------------------------- /* D = 2 (mod 37 ) [* 76, -1, (0 : -1 : 1)*] [* 113, 0, (0 : 1 : 0)*] [* 409, 0, (0 : 1 : 0)*] [* 520, 0, (0 : 1 : 0)*] [* 557, -8, (21/25 : -56/125 : 1)*] [* 668, 7, (-5/9 : 8/27 : 1)*] [* 705, -1, (0 : -1 : 1)*] [* 853, 2, (1 : 0 : 1)*] [* 1001, 1, (0 : 0 : 1)*] [* 1112, 0, (0 : 1 : 0)*] [* 1149, 2, (1 : 0 : 1)*] [* 1297, -1, (0 : -1 : 1)*] [* 1704, -1, (0 : -1 : 1)*] [* 1741, -1, (0 : -1 : 1)*] [* 1852, 0, (0 : 1 : 0)*] [* 1889, 3, (-1 : -1 : 1)*] [* 2037, 6, (6 : 14 : 1)*] [* 2185, 0, (0 : 1 : 0)*] [* 2296, 1, (0 : 0 : 1)*] [* 2333, 1, (0 : 0 : 1)*] [* 2444, -3, (-1 : 0 : 1)*] [* 2481, 0, (0 : 1 : 0)*] [* 2629, 0, (0 : 1 : 0)*] [* 2777, -2, (1 : -1 : 1)*] [* 3036, -2, (1 : -1 : 1)*] [* 3073, 0, (0 : 1 : 0)*] [* 3221, -1, (0 : -1 : 1)*] [* 3369, 0, (0 : 1 : 0)*] [* 3480, 0, (0 : 1 : 0)*] [* 3517, -4, (2 : 2 : 1)*] [* 3628, 2, (1 : 0 : 1)*] [* 3665, 3, (-1 : -1 : 1)*] [* 3813, -8, (21/25 : -56/125 : 1)*] [* 3961, 0, (0 : 1 : 0)*] [* 4072, 3, (-1 : -1 : 1)*] [* 4109, 7, (-5/9 : 8/27 : 1)*] [* 4220, 5, (1/4 : -5/8 : 1)*] [* 4405, 0, (0 : 1 : 0)*] [* 4553, -2, (1 : -1 : 1)*] [* 4664, -1, (0 : -1 : 1)*] [* 4701, 2, (1 : 0 : 1)*] [* 4812, -1, (0 : -1 : 1)*] [* 4849, 1, (0 : 0 : 1)*] [* 4997, 5, (1/4 : -5/8 : 1)*] [* 5293, 0, (0 : 1 : 0)*] [* 5404, -1, (0 : -1 : 1)*] [* 5441, 2, (1 : 0 : 1)*] [* 5737, 1, (0 : 0 : 1)*] [* 5848, -2, (1 : -1 : 1)*] [* 5885, 2, (1 : 0 : 1)*] [* 5996, -5, (1/4 : -3/8 : 1)*] [* 6033, -1, (0 : -1 : 1)*] [* 6181, 4, (2 : -3 : 1)*] [* 6329, 2, (1 : 0 : 1)*] [* 6440, 6, (6 : 14 : 1)*] [* 6477, 1, (0 : 0 : 1)*] [* 6773, 1, (0 : 0 : 1)*] [* 7032, -2, (1 : -1 : 1)*] [* 7069, 3, (-1 : -1 : 1)*] [* 7180, 1, (0 : 0 : 1)*] [* 7217, -2, (1 : -1 : 1)*] [* 7365, -10, (161/16 : 2001/64 : 1)*] [* 7513, 1, (0 : 0 : 1)*] [* 7624, -1, (0 : -1 : 1)*] [* 7661, 1, (0 : 0 : 1)*] [* 7772, 0, (0 : 1 : 0)*] [* 7809, -2, (1 : -1 : 1)*] [* 7957, -3, (-1 : 0 : 1)*] [* 8105, -1, (0 : -1 : 1)*] [* 8216, 6, (6 : 14 : 1)*] [* 8364, 1, (0 : 0 : 1)*] [* 8401, 0, (0 : 1 : 0)*] [* 8549, -13, (-3741/3481 : -162024/205379 : 1)*] [* 8697, -1, (0 : -1 : 1)*] [* 8808, 4, (2 : -3 : 1)*] [* 8845, 0, (0 : 1 : 0)*] [* 8956, 3, (-1 : -1 : 1)*] [* 9141, 4, (2 : -3 : 1)*] [* 9289, -1, (0 : -1 : 1)*] [* 9437, 11, (116/529 : -3612/12167 : 1)*] [* 9548, -4, (2 : 2 : 1)*] [* 9733, -2, (1 : -1 : 1)*] [* 9881, -2, (1 : -1 : 1)*] [* 9992, -11, (116/529 : -8555/12167 : 1)*] /* D = 5 (mod 37 ) [* 5, 1, (0 : 0 : 1)*] [* 264, -1, (0 : -1 : 1)*] [* 301, -1, (0 : -1 : 1)*] [* 412, 1, (0 : 0 : 1)*] [* 449, 1, (0 : 0 : 1)*] [* 597, 0, (0 : 1 : 0)*] [* 745, 1, (0 : 0 : 1)*] [* 856, 0, (0 : 1 : 0)*] [* 893, 3, (-1 : -1 : 1)*] [* 1004, 1, (0 : 0 : 1)*] [* 1041, 0, (0 : 1 : 0)*] [* 1189, 0, (0 : 1 : 0)*] [* 1337, 0, (0 : 1 : 0)*] [* 1448, 5, (1/4 : -5/8 : 1)*] [* 1596, 3, (-1 : -1 : 1)*] [* 1633, 0, (0 : 1 : 0)*] [* 1781, 0, (0 : 1 : 0)*] [* 1929, 0, (0 : 1 : 0)*] [* 2040, 2, (1 : 0 : 1)*] [* 2077, -2, (1 : -1 : 1)*] [* 2188, -2, (1 : -1 : 1)*] [* 2373, -4, (2 : 2 : 1)*] [* 2521, 1, (0 : 0 : 1)*] [* 2632, 1, (0 : 0 : 1)*] [* 2669, -7, (-5/9 : -35/27 : 1)*] [* 2780, 6, (6 : 14 : 1)*] [* 2965, 5, (1/4 : -5/8 : 1)*] [* 3113, 6, (6 : 14 : 1)*] [* 3224, 2, (1 : 0 : 1)*] [* 3261, 4, (2 : -3 : 1)*] [* 3372, -6, (6 : -15 : 1)*] [* 3409, -1, (0 : -1 : 1)*] [* 3557, 7, (-5/9 : 8/27 : 1)*] [* 3705, -2, (1 : -1 : 1)*] [* 3853, 0, (0 : 1 : 0)*] [* 3964, -1, (0 : -1 : 1)*] [* 4001, -3, (-1 : 0 : 1)*] [* 4297, -3, (-1 : 0 : 1)*] [* 4408, -2, (1 : -1 : 1)*] [* 4445, -11, (116/529 : -8555/12167 : 1)*] [* 4556, -2, (1 : -1 : 1)*] [* 4593, 1, (0 : 0 : 1)*] [* 4741, 1, (0 : 0 : 1)*] [* 4889, 0, (0 : 1 : 0)*] [* 5037, 10, (161/16 : -2065/64 : 1)*] [* 5185, 0, (0 : 1 : 0)*] [* 5333, -8, (21/25 : -56/125 : 1)*] [* 5592, -6, (6 : -15 : 1)*] [* 5629, -3, (-1 : 0 : 1)*] [* 5740, -1, (0 : -1 : 1)*] [* 5777, -7, (-5/9 : -35/27 : 1)*] [* 6073, -1, (0 : -1 : 1)*] [* 6184, -3, (-1 : 0 : 1)*] [* 6221, -5, (1/4 : -3/8 : 1)*] [* 6332, 4, (2 : -3 : 1)*] [* 6369, 1, (0 : 0 : 1)*] [* 6665, 0, (0 : 1 : 0)*] [* 6924, -5, (1/4 : -3/8 : 1)*] [* 6961, 2, (1 : 0 : 1)*] [* 7109, -2, (1 : -1 : 1)*] [* 7257, 2, (1 : 0 : 1)*] [* 7368, 1, (0 : 0 : 1)*] [* 7405, -1, (0 : -1 : 1)*] [* 7516, 3, (-1 : -1 : 1)*] [* 7553, 9, (-20/49 : -435/343 : 1)*] [* 7701, -4, (2 : 2 : 1)*] [* 7849, -1, (0 : -1 : 1)*] [* 7960, -2, (1 : -1 : 1)*] [* 7997, 9, (-20/49 : -435/343 : 1)*] [* 8108, 1, (0 : 0 : 1)*] [* 8293, 0, (0 : 1 : 0)*] [* 8441, -2, (1 : -1 : 1)*] [* 8552, -4, (2 : 2 : 1)*] [* 8589, 0, (0 : 1 : 0)*] [* 8737, 0, (0 : 1 : 0)*] [* 8885, 4, (2 : -3 : 1)*] [* 9033, -4, (2 : 2 : 1)*] [* 9181, 0, (0 : 1 : 0)*] [* 9292, -4, (2 : 2 : 1)*] [* 9329, -2, (1 : -1 : 1)*] [* 9736, 1, (0 : 0 : 1)*] [* 9773, 0, (0 : 1 : 0)*] [* 9884, 5, (1/4 : -5/8 : 1)*] [* 9921, 2, (1 : 0 : 1)*] /* D = 6 (mod 37 ) [* 265, -1, (0 : -1 : 1)*] [* 376, 1, (0 : 0 : 1)*] [* 413, -6, (6 : -15 : 1)*] [* 524, 1, (0 : 0 : 1)*] [* 561, 1, (0 : 0 : 1)*] [* 709, -1, (0 : -1 : 1)*] [* 857, -3, (-1 : 0 : 1)*] [* 1005, 2, (1 : 0 : 1)*] [* 1153, 1, (0 : 0 : 1)*] [* 1301, 3, (-1 : -1 : 1)*] [* 1560, 0, (0 : 1 : 0)*] [* 1597, 1, (0 : 0 : 1)*] [* 1708, 2, (1 : 0 : 1)*] [* 1745, 0, (0 : 1 : 0)*] [* 1893, -5, (1/4 : -3/8 : 1)*] [* 2041, 1, (0 : 0 : 1)*] [* 2152, -4, (2 : 2 : 1)*] [* 2189, 2, (1 : 0 : 1)*] [* 2337, -1, (0 : -1 : 1)*] [* 2485, 3, (-1 : -1 : 1)*] [* 2633, 0, (0 : 1 : 0)*] [* 2892, 4, (2 : -3 : 1)*] [* 2929, 0, (0 : 1 : 0)*] [* 3077, -3, (-1 : 0 : 1)*] [* 3336, 2, (1 : 0 : 1)*] [* 3373, -4, (2 : 2 : 1)*] [* 3484, -2, (1 : -1 : 1)*] [* 3521, -3, (-1 : 0 : 1)*] [* 3669, -2, (1 : -1 : 1)*] [* 3817, 0, (0 : 1 : 0)*] [* 3928, 2, (1 : 0 : 1)*] [* 3965, 8, (21/25 : -69/125 : 1)*] [* 4076, -3, (-1 : 0 : 1)*] [* 4261, 2, (1 : 0 : 1)*] [* 4409, -3, (-1 : 0 : 1)*] [* 4520, -6, (6 : -15 : 1)*] [* 4668, -6, (6 : -15 : 1)*] [* 4705, -2, (1 : -1 : 1)*] [* 4853, 12, (1357/841 : 28888/24389 : 1)*] [* 5001, -1, (0 : -1 : 1)*] [* 5149, -1, (0 : -1 : 1)*] [* 5260, 1, (0 : 0 : 1)*] [* 5297, 5, (1/4 : -5/8 : 1)*] [* 5593, 1, (0 : 0 : 1)*] [* 5704, 2, (1 : 0 : 1)*] [* 5741, 0, (0 : 1 : 0)*] [* 5852, -7, (-5/9 : -35/27 : 1)*] [* 5889, 2, (1 : 0 : 1)*] [* 6037, 2, (1 : 0 : 1)*] [* 6185, 2, (1 : 0 : 1)*] [* 6296, -5, (1/4 : -3/8 : 1)*] [* 6333, 10, (161/16 : -2065/64 : 1)*] [* 6481, -1, (0 : -1 : 1)*] [* 6629, 1, (0 : 0 : 1)*] [* 6888, -1, (0 : -1 : 1)*] [* 7036, -1, (0 : -1 : 1)*] [* 7073, 2, (1 : 0 : 1)*] [* 7221, 2, (1 : 0 : 1)*] [* 7369, -2, (1 : -1 : 1)*] [* 7480, 2, (1 : 0 : 1)*] [* 7517, 3, (-1 : -1 : 1)*] [* 7628, 1, (0 : 0 : 1)*] [* 7665, -1, (0 : -1 : 1)*] [* 7813, -2, (1 : -1 : 1)*] [* 7961, 1, (0 : 0 : 1)*] [* 8072, 5, (1/4 : -5/8 : 1)*] [* 8220, 0, (0 : 1 : 0)*] [* 8257, 2, (1 : 0 : 1)*] [* 8553, 2, (1 : 0 : 1)*] [* 8701, -2, (1 : -1 : 1)*] [* 8812, 2, (1 : 0 : 1)*] [* 8849, 2, (1 : 0 : 1)*] [* 8997, -11, (116/529 : -8555/12167 : 1)*] [* 9145, 2, (1 : 0 : 1)*] [* 9256, 0, (0 : 1 : 0)*] [* 9293, -14, (18526/16641 : 469430/2146689 : 1)*] [* 9404, -3, (-1 : 0 : 1)*] [* 9589, -3, (-1 : 0 : 1)*] [* 9737, -8, (21/25 : -56/125 : 1)*] [* 9848, 3, (-1 : -1 : 1)*] [* 9885, 1, (0 : 0 : 1)*] /* D = 8 (mod 37 ) [* 8, 1, (0 : 0 : 1)*] [* 156, -1, (0 : -1 : 1)*] [* 193, -1, (0 : -1 : 1)*] [* 341, 4, (2 : -3 : 1)*] [* 489, 1, (0 : 0 : 1)*] [* 748, -1, (0 : -1 : 1)*] [* 785, -1, (0 : -1 : 1)*] [* 933, 3, (-1 : -1 : 1)*] [* 1081, 0, (0 : 1 : 0)*] [* 1192, -1, (0 : -1 : 1)*] [* 1229, -5, (1/4 : -3/8 : 1)*] [* 1340, 0, (0 : 1 : 0)*] [* 1673, 0, (0 : 1 : 0)*] [* 1784, 5, (1/4 : -5/8 : 1)*] [* 1821, -5, (1/4 : -3/8 : 1)*] [* 1932, 4, (2 : -3 : 1)*] [* 1969, 0, (0 : 1 : 0)*] [* 2117, -4, (2 : 2 : 1)*] [* 2265, -2, (1 : -1 : 1)*] [* 2413, 3, (-1 : -1 : 1)*] [* 2524, -1, (0 : -1 : 1)*] [* 2561, -3, (-1 : 0 : 1)*] [* 2857, 2, (1 : 0 : 1)*] [* 2968, -1, (0 : -1 : 1)*] [* 3005, 8, (21/25 : -69/125 : 1)*] [* 3116, 1, (0 : 0 : 1)*] [* 3153, 3, (-1 : -1 : 1)*] [* 3301, -2, (1 : -1 : 1)*] [* 3449, 0, (0 : 1 : 0)*] [* 3560, -10, (161/16 : 2001/64 : 1)*] [* 3597, -7, (-5/9 : -35/27 : 1)*] [* 3745, 0, (0 : 1 : 0)*] [* 3893, 5, (1/4 : -5/8 : 1)*] [* 4152, 1, (0 : 0 : 1)*] [* 4189, 2, (1 : 0 : 1)*] [* 4337, 1, (0 : 0 : 1)*] [* 4485, 4, (2 : -3 : 1)*] [* 4633, -2, (1 : -1 : 1)*] [* 4744, 1, (0 : 0 : 1)*] [* 4781, -5, (1/4 : -3/8 : 1)*] [* 4892, 8, (21/25 : -69/125 : 1)*] [* 4929, 2, (1 : 0 : 1)*] [* 5077, 0, (0 : 1 : 0)*] [* 5336, -2, (1 : -1 : 1)*] [* 5484, -3, (-1 : 0 : 1)*] [* 5521, 2, (1 : 0 : 1)*] [* 5669, -7, (-5/9 : -35/27 : 1)*] [* 5817, 2, (1 : 0 : 1)*] [* 5928, 2, (1 : 0 : 1)*] [* 5965, -5, (1/4 : -3/8 : 1)*] [* 6113, -5, (1/4 : -3/8 : 1)*] [* 6261, 6, (6 : 14 : 1)*] [* 6409, 0, (0 : 1 : 0)*] [* 6520, 2, (1 : 0 : 1)*] [* 6557, 11, (116/529 : -3612/12167 : 1)*] [* 6668, -7, (-5/9 : -35/27 : 1)*] [* 6853, -7, (-5/9 : -35/27 : 1)*] [* 7001, 4, (2 : -3 : 1)*] [* 7112, 11, (116/529 : -3612/12167 : 1)*] [* 7149, -2, (1 : -1 : 1)*] [* 7297, 1, (0 : 0 : 1)*] [* 7445, -4, (2 : 2 : 1)*] [* 7593, -1, (0 : -1 : 1)*] [* 7741, 0, (0 : 1 : 0)*] [* 7852, 0, (0 : 1 : 0)*] [* 8185, -1, (0 : -1 : 1)*] [* 8296, 0, (0 : 1 : 0)*] [* 8333, 7, (-5/9 : 8/27 : 1)*] [* 8444, 6, (6 : 14 : 1)*] [* 8481, 2, (1 : 0 : 1)*] [* 8629, 3, (-1 : -1 : 1)*] [* 8777, 8, (21/25 : -69/125 : 1)*] [* 8888, -7, (-5/9 : -35/27 : 1)*] [* 9073, 1, (0 : 0 : 1)*] [* 9221, 5, (1/4 : -5/8 : 1)*] [* 9480, 0, (0 : 1 : 0)*] [* 9517, 6, (6 : 14 : 1)*] [* 9628, 2, (1 : 0 : 1)*] [* 9665, 3, (-1 : -1 : 1)*] [* 9813, -4, (2 : 2 : 1)*] [* 9961, 1, (0 : 0 : 1)*] /* D = 13 (mod 37 ) [* 13, -1, (0 : -1 : 1)*] [* 124, 0, (0 : 1 : 0)*] [* 161, -2, (1 : -1 : 1)*] [* 309, 1, (0 : 0 : 1)*] [* 457, 1, (0 : 0 : 1)*] [* 568, 1, (0 : 0 : 1)*] [* 716, -2, (1 : -1 : 1)*] [* 753, 1, (0 : 0 : 1)*] [* 901, -1, (0 : -1 : 1)*] [* 1049, 0, (0 : 1 : 0)*] [* 1160, 0, (0 : 1 : 0)*] [* 1308, 3, (-1 : -1 : 1)*] [* 1345, 0, (0 : 1 : 0)*] [* 1493, -8, (21/25 : -56/125 : 1)*] [* 1641, 2, (1 : 0 : 1)*] [* 1752, 3, (-1 : -1 : 1)*] [* 1789, 3, (-1 : -1 : 1)*] [* 1937, -1, (0 : -1 : 1)*] [* 2085, -4, (2 : 2 : 1)*] [* 2233, -2, (1 : -1 : 1)*] [* 2344, 0, (0 : 1 : 0)*] [* 2381, 7, (-5/9 : 8/27 : 1)*] [* 2492, 1, (0 : 0 : 1)*] [* 2677, 1, (0 : 0 : 1)*] [* 2936, -6, (6 : -15 : 1)*] [* 2973, 1, (0 : 0 : 1)*] [* 3084, 0, (0 : 1 : 0)*] [* 3121, 2, (1 : 0 : 1)*] [* 3269, -6, (6 : -15 : 1)*] [* 3417, -4, (2 : 2 : 1)*] [* 3565, -2, (1 : -1 : 1)*] [* 3676, -1, (0 : -1 : 1)*] [* 3713, -1, (0 : -1 : 1)*] [* 4009, 1, (0 : 0 : 1)*] [* 4120, -2, (1 : -1 : 1)*] [* 4157, 0, (0 : 1 : 0)*] [* 4268, -10, (161/16 : 2001/64 : 1)*] [* 4305, 1, (0 : 0 : 1)*] [* 4453, 0, (0 : 1 : 0)*] [* 4601, 0, (0 : 1 : 0)*] [* 4712, -4, (2 : 2 : 1)*] [* 4749, 6, (6 : 14 : 1)*] [* 4897, -2, (1 : -1 : 1)*] [* 5045, 3, (-1 : -1 : 1)*] [* 5304, 2, (1 : 0 : 1)*] [* 5452, -2, (1 : -1 : 1)*] [* 5489, -2, (1 : -1 : 1)*] [* 5637, -3, (-1 : 0 : 1)*] [* 5785, -2, (1 : -1 : 1)*] [* 5896, 2, (1 : 0 : 1)*] [* 5933, 0, (0 : 1 : 0)*] [* 6044, 3, (-1 : -1 : 1)*] [* 6081, 1, (0 : 0 : 1)*] [* 6229, 1, (0 : 0 : 1)*] [* 6377, 1, (0 : 0 : 1)*] [* 6488, 1, (0 : 0 : 1)*] [* 6636, -3, (-1 : 0 : 1)*] [* 6673, -1, (0 : -1 : 1)*] [* 6821, -7, (-5/9 : -35/27 : 1)*] [* 6969, 2, (1 : 0 : 1)*] [* 7080, -6, (6 : -15 : 1)*] [* 7117, 5, (1/4 : -5/8 : 1)*] [* 7228, 2, (1 : 0 : 1)*] [* 7265, -1, (0 : -1 : 1)*] [* 7413, 5, (1/4 : -5/8 : 1)*] [* 7561, 1, (0 : 0 : 1)*] [* 7672, 2, (1 : 0 : 1)*] [* 7709, 1, (0 : 0 : 1)*] [* 7820, -6, (6 : -15 : 1)*] [* 8005, 0, (0 : 1 : 0)*] [* 8153, 10, (161/16 : -2065/64 : 1)*] [* 8264, -1, (0 : -1 : 1)*] [* 8301, -9, (-20/49 : 92/343 : 1)*] [* 8412, 2, (1 : 0 : 1)*] [* 8449, -1, (0 : -1 : 1)*] [* 8597, 10, (161/16 : -2065/64 : 1)*] [* 8745, 3, (-1 : -1 : 1)*] [* 8893, -2, (1 : -1 : 1)*] [* 9004, -1, (0 : -1 : 1)*] [* 9041, 1, (0 : 0 : 1)*] [* 9337, 1, (0 : 0 : 1)*] [* 9448, 1, (0 : 0 : 1)*] [* 9485, 5, (1/4 : -5/8 : 1)*] [* 9596, 4, (2 : -3 : 1)*] [* 9781, -2, (1 : -1 : 1)*] [* 9929, -2, (1 : -1 : 1)*] /* D = 14 (mod 37 ) [* 88, -1, (0 : -1 : 1)*] [* 236, -2, (1 : -1 : 1)*] [* 273, -1, (0 : -1 : 1)*] [* 421, 1, (0 : 0 : 1)*] [* 569, -2, (1 : -1 : 1)*] [* 680, 2, (1 : 0 : 1)*] [* 717, -2, (1 : -1 : 1)*] [* 865, -1, (0 : -1 : 1)*] [* 1013, -5, (1/4 : -3/8 : 1)*] [* 1272, 3, (-1 : -1 : 1)*] [* 1309, 1, (0 : 0 : 1)*] [* 1420, -1, (0 : -1 : 1)*] [* 1457, 4, (2 : -3 : 1)*] [* 1605, 6, (6 : 14 : 1)*] [* 1753, 0, (0 : 1 : 0)*] [* 1864, 0, (0 : 1 : 0)*] [* 1901, -2, (1 : -1 : 1)*] [* 2012, 5, (1/4 : -5/8 : 1)*] [* 2049, 1, (0 : 0 : 1)*] [* 2345, 2, (1 : 0 : 1)*] [* 2456, 1, (0 : 0 : 1)*] [* 2604, -2, (1 : -1 : 1)*] [* 2641, 0, (0 : 1 : 0)*] [* 2789, 8, (21/25 : -69/125 : 1)*] [* 2937, -1, (0 : -1 : 1)*] [* 3048, -3, (-1 : 0 : 1)*] [* 3085, 1, (0 : 0 : 1)*] [* 3196, 3, (-1 : -1 : 1)*] [* 3233, -4, (2 : 2 : 1)*] [* 3529, -1, (0 : -1 : 1)*] [* 3640, 0, (0 : 1 : 0)*] [* 3677, 1, (0 : 0 : 1)*] [* 3788, -3, (-1 : 0 : 1)*] [* 3973, -4, (2 : 2 : 1)*] [* 4121, -4, (2 : 2 : 1)*] [* 4269, -1, (0 : -1 : 1)*] [* 4380, 1, (0 : 0 : 1)*] [* 4417, 3, (-1 : -1 : 1)*] [* 4565, -3, (-1 : 0 : 1)*] [* 4713, 1, (0 : 0 : 1)*] [* 4861, 0, (0 : 1 : 0)*] [* 4972, -4, (2 : 2 : 1)*] [* 5009, -1, (0 : -1 : 1)*] [* 5305, 0, (0 : 1 : 0)*] [* 5416, -1, (0 : -1 : 1)*] [* 5453, 19, (-59997896/67387681 : -641260644409/553185473329 : 1)*] [* 5564, -2, (1 : -1 : 1)*] [* 5601, 0, (0 : 1 : 0)*] [* 5749, 2, (1 : 0 : 1)*] [* 5897, -4, (2 : 2 : 1)*] [* 6008, -11, (116/529 : -8555/12167 : 1)*] [* 6045, -4, (2 : 2 : 1)*] [* 6193, 1, (0 : 0 : 1)*] [* 6341, 5, (1/4 : -5/8 : 1)*] [* 6637, 3, (-1 : -1 : 1)*] [* 6748, 0, (0 : 1 : 0)*] [* 6785, -2, (1 : -1 : 1)*] [* 6933, -2, (1 : -1 : 1)*] [* 7081, 2, (1 : 0 : 1)*] [* 7192, 2, (1 : 0 : 1)*] [* 7229, -12, (1357/841 : -53277/24389 : 1)*] [* 7340, 2, (1 : 0 : 1)*] [* 7377, 1, (0 : 0 : 1)*] [* 7673, 1, (0 : 0 : 1)*] [* 7784, 4, (2 : -3 : 1)*] [* 7932, 3, (-1 : -1 : 1)*] [* 7969, -1, (0 : -1 : 1)*] [* 8117, -13, (-3741/3481 : -162024/205379 : 1)*] [* 8265, -2, (1 : -1 : 1)*] [* 8376, 0, (0 : 1 : 0)*] [* 8413, 2, (1 : 0 : 1)*] [* 8524, 0, (0 : 1 : 0)*] [* 8561, 2, (1 : 0 : 1)*] [* 8709, 4, (2 : -3 : 1)*] [* 8857, 1, (0 : 0 : 1)*] [* 8968, 0, (0 : 1 : 0)*] [* 9005, -11, (116/529 : -8555/12167 : 1)*] [* 9116, -3, (-1 : 0 : 1)*] [* 9301, -3, (-1 : 0 : 1)*] [* 9449, 3, (-1 : -1 : 1)*] [* 9560, 10, (161/16 : -2065/64 : 1)*] [* 9597, -5, (1/4 : -3/8 : 1)*] [* 9708, 0, (0 : 1 : 0)*] [* 9745, -3, (-1 : 0 : 1)*] [* 9893, 5, (1/4 : -5/8 : 1)*] /* D = 15 (mod 37 ) [* 89, -1, (0 : -1 : 1)*] [* 237, 3, (-1 : -1 : 1)*] [* 348, -2, (1 : -1 : 1)*] [* 385, -1, (0 : -1 : 1)*] [* 533, -3, (-1 : 0 : 1)*] [* 681, 0, (0 : 1 : 0)*] [* 829, 0, (0 : 1 : 0)*] [* 940, 1, (0 : 0 : 1)*] [* 977, 2, (1 : 0 : 1)*] [* 1273, 0, (0 : 1 : 0)*] [* 1384, -1, (0 : -1 : 1)*] [* 1532, 2, (1 : 0 : 1)*] [* 1569, -1, (0 : -1 : 1)*] [* 1717, -1, (0 : -1 : 1)*] [* 1865, 5, (1/4 : -5/8 : 1)*] [* 1976, 6, (6 : 14 : 1)*] [* 2013, -2, (1 : -1 : 1)*] [* 2161, 1, (0 : 0 : 1)*] [* 2309, -5, (1/4 : -3/8 : 1)*] [* 2568, 4, (2 : -3 : 1)*] [* 2605, 3, (-1 : -1 : 1)*] [* 2716, 2, (1 : 0 : 1)*] [* 2753, 2, (1 : 0 : 1)*] [* 2901, -4, (2 : 2 : 1)*] [* 3049, 0, (0 : 1 : 0)*] [* 3160, 0, (0 : 1 : 0)*] [* 3197, 8, (21/25 : -69/125 : 1)*] [* 3308, -6, (6 : -15 : 1)*] [* 3345, -1, (0 : -1 : 1)*] [* 3493, 4, (2 : -3 : 1)*] [* 3641, -2, (1 : -1 : 1)*] [* 3752, -6, (6 : -15 : 1)*] [* 3937, 0, (0 : 1 : 0)*] [* 4085, -10, (161/16 : 2001/64 : 1)*] [* 4233, 1, (0 : 0 : 1)*] [* 4344, 1, (0 : 0 : 1)*] [* 4381, -3, (-1 : 0 : 1)*] [* 4492, 0, (0 : 1 : 0)*] [* 4529, -5, (1/4 : -3/8 : 1)*] [* 4677, 6, (6 : 14 : 1)*] [* 4936, 1, (0 : 0 : 1)*] [* 4973, 11, (116/529 : -3612/12167 : 1)*] [* 5084, 2, (1 : 0 : 1)*] [* 5269, -4, (2 : 2 : 1)*] [* 5417, -2, (1 : -1 : 1)*] [* 5528, -10, (161/16 : 2001/64 : 1)*] [* 5565, -1, (0 : -1 : 1)*] [* 5676, 1, (0 : 0 : 1)*] [* 5713, 0, (0 : 1 : 0)*] [* 5861, 5, (1/4 : -5/8 : 1)*] [* 6009, -1, (0 : -1 : 1)*] [* 6157, -5, (1/4 : -3/8 : 1)*] [* 6268, -2, (1 : -1 : 1)*] [* 6305, 2, (1 : 0 : 1)*] [* 6601, 0, (0 : 1 : 0)*] [* 6712, 6, (6 : 14 : 1)*] [* 6749, -1, (0 : -1 : 1)*] [* 7045, 1, (0 : 0 : 1)*] [* 7193, 4, (2 : -3 : 1)*] [* 7304, 5, (1/4 : -5/8 : 1)*] [* 7341, 1, (0 : 0 : 1)*] [* 7489, 1, (0 : 0 : 1)*] [* 7637, 8, (21/25 : -69/125 : 1)*] [* 7896, 1, (0 : 0 : 1)*] [* 7933, -2, (1 : -1 : 1)*] [* 8044, 1, (0 : 0 : 1)*] [* 8081, 3, (-1 : -1 : 1)*] [* 8229, -1, (0 : -1 : 1)*] [* 8377, -1, (0 : -1 : 1)*] [* 8488, 2, (1 : 0 : 1)*] [* 8636, -3, (-1 : 0 : 1)*] [* 8821, 1, (0 : 0 : 1)*] [* 8969, 2, (1 : 0 : 1)*] [* 9080, 0, (0 : 1 : 0)*] [* 9228, 8, (21/25 : -69/125 : 1)*] [* 9265, 0, (0 : 1 : 0)*] [* 9413, 13, (-3741/3481 : -43355/205379 : 1)*] [* 9561, 4, (2 : -3 : 1)*] [* 9672, -2, (1 : -1 : 1)*] [* 9709, 1, (0 : 0 : 1)*] [* 9820, -2, (1 : -1 : 1)*] [* 9857, 1, (0 : 0 : 1)*] /* D = 17 (mod 37 ) [* 17, -1, (0 : -1 : 1)*] [* 165, -1, (0 : -1 : 1)*] [* 313, -1, (0 : -1 : 1)*] [* 424, -1, (0 : -1 : 1)*] [* 461, 5, (1/4 : -5/8 : 1)*] [* 572, -3, (-1 : 0 : 1)*] [* 609, 0, (0 : 1 : 0)*] [* 757, 2, (1 : 0 : 1)*] [* 905, 3, (-1 : -1 : 1)*] [* 1016, -1, (0 : -1 : 1)*] [* 1164, 0, (0 : 1 : 0)*] [* 1201, 1, (0 : 0 : 1)*] [* 1349, 5, (1/4 : -5/8 : 1)*] [* 1497, -2, (1 : -1 : 1)*] [* 1608, 2, (1 : 0 : 1)*] [* 1645, -3, (-1 : 0 : 1)*] [* 1756, 0, (0 : 1 : 0)*] [* 1793, -1, (0 : -1 : 1)*] [* 1941, -1, (0 : -1 : 1)*] [* 2089, 1, (0 : 0 : 1)*] [* 2237, -7, (-5/9 : -35/27 : 1)*] [* 2348, 7, (-5/9 : 8/27 : 1)*] [* 2533, 1, (0 : 0 : 1)*] [* 2681, 0, (0 : 1 : 0)*] [* 2792, -4, (2 : 2 : 1)*] [* 2829, 2, (1 : 0 : 1)*] [* 2977, -1, (0 : -1 : 1)*] [* 3273, 2, (1 : 0 : 1)*] [* 3421, -1, (0 : -1 : 1)*] [* 3532, -2, (1 : -1 : 1)*] [* 3569, -1, (0 : -1 : 1)*] [* 3865, -1, (0 : -1 : 1)*] [* 3976, 1, (0 : 0 : 1)*] [* 4013, 1, (0 : 0 : 1)*] [* 4124, -8, (21/25 : -56/125 : 1)*] [* 4161, 1, (0 : 0 : 1)*] [* 4309, 0, (0 : 1 : 0)*] [* 4457, -6, (6 : -15 : 1)*] [* 4568, 5, (1/4 : -5/8 : 1)*] [* 4605, 1, (0 : 0 : 1)*] [* 5160, -2, (1 : -1 : 1)*] [* 5197, 0, (0 : 1 : 0)*] [* 5308, 5, (1/4 : -5/8 : 1)*] [* 5345, -4, (2 : 2 : 1)*] [* 5493, 0, (0 : 1 : 0)*] [* 5641, 1, (0 : 0 : 1)*] [* 5752, -1, (0 : -1 : 1)*] [* 5789, 4, (2 : -3 : 1)*] [* 5937, -2, (1 : -1 : 1)*] [* 6085, 5, (1/4 : -5/8 : 1)*] [* 6233, 2, (1 : 0 : 1)*] [* 6344, 8, (21/25 : -69/125 : 1)*] [* 6492, 6, (6 : 14 : 1)*] [* 6529, 0, (0 : 1 : 0)*] [* 6677, -13, (-3741/3481 : -162024/205379 : 1)*] [* 6973, -4, (2 : 2 : 1)*] [* 7084, 0, (0 : 1 : 0)*] [* 7121, 1, (0 : 0 : 1)*] [* 7269, -1, (0 : -1 : 1)*] [* 7417, 1, (0 : 0 : 1)*] [* 7528, 2, (1 : 0 : 1)*] [* 7565, -10, (161/16 : 2001/64 : 1)*] [* 7676, 3, (-1 : -1 : 1)*] [* 7861, -2, (1 : -1 : 1)*] [* 8009, 3, (-1 : -1 : 1)*] [* 8120, 4, (2 : -3 : 1)*] [* 8157, 5, (1/4 : -5/8 : 1)*] [* 8268, -3, (-1 : 0 : 1)*] [* 8305, 0, (0 : 1 : 0)*] [* 8453, 8, (21/25 : -69/125 : 1)*] [* 8601, 2, (1 : 0 : 1)*] [* 8749, 1, (0 : 0 : 1)*] [* 8860, -1, (0 : -1 : 1)*] [* 8897, -2, (1 : -1 : 1)*] [* 9193, 2, (1 : 0 : 1)*] [* 9304, 2, (1 : 0 : 1)*] [* 9341, 17, (-239785/2337841 : 331948240/3574558889 : 1)*] [* 9452, -4, (2 : 2 : 1)*] [* 9489, 0, (0 : 1 : 0)*] [* 9637, 4, (2 : -3 : 1)*] [* 9785, 6, (6 : 14 : 1)*] [* 9896, 12, (1357/841 : 28888/24389 : 1)*] [* 9933, 1, (0 : 0 : 1)*] /* D = 18 (mod 37 ) [* 92, -2, (1 : -1 : 1)*] [* 129, -1, (0 : -1 : 1)*] [* 277, 2, (1 : 0 : 1)*] [* 536, 0, (0 : 1 : 0)*] [* 573, 0, (0 : 1 : 0)*] [* 721, -1, (0 : -1 : 1)*] [* 869, -3, (-1 : 0 : 1)*] [* 1128, -1, (0 : -1 : 1)*] [* 1165, -2, (1 : -1 : 1)*] [* 1276, 0, (0 : 1 : 0)*] [* 1313, 1, (0 : 0 : 1)*] [* 1461, -3, (-1 : 0 : 1)*] [* 1609, 1, (0 : 0 : 1)*] [* 1720, 2, (1 : 0 : 1)*] [* 1757, 11, (116/529 : -3612/12167 : 1)*] [* 1868, 0, (0 : 1 : 0)*] [* 1905, 1, (0 : 0 : 1)*] [* 2053, -1, (0 : -1 : 1)*] [* 2201, -2, (1 : -1 : 1)*] [* 2460, -3, (-1 : 0 : 1)*] [* 2497, 0, (0 : 1 : 0)*] [* 2941, -1, (0 : -1 : 1)*] [* 3052, 1, (0 : 0 : 1)*] [* 3089, 3, (-1 : -1 : 1)*] [* 3237, 1, (0 : 0 : 1)*] [* 3385, -1, (0 : -1 : 1)*] [* 3496, 2, (1 : 0 : 1)*] [* 3533, -8, (21/25 : -56/125 : 1)*] [* 3644, 1, (0 : 0 : 1)*] [* 3829, 2, (1 : 0 : 1)*] [* 3977, -6, (6 : -15 : 1)*] [* 4088, -11, (116/529 : -8555/12167 : 1)*] [* 4236, 1, (0 : 0 : 1)*] [* 4273, 1, (0 : 0 : 1)*] [* 4421, -5, (1/4 : -3/8 : 1)*] [* 4569, -2, (1 : -1 : 1)*] [* 4717, -1, (0 : -1 : 1)*] [* 4828, 3, (-1 : -1 : 1)*] [* 4865, -2, (1 : -1 : 1)*] [* 5161, 1, (0 : 0 : 1)*] [* 5272, -3, (-1 : 0 : 1)*] [* 5309, 0, (0 : 1 : 0)*] [* 5420, 5, (1/4 : -5/8 : 1)*] [* 5457, -2, (1 : -1 : 1)*] [* 5605, 2, (1 : 0 : 1)*] [* 5753, 3, (-1 : -1 : 1)*] [* 5864, 1, (0 : 0 : 1)*] [* 5901, 2, (1 : 0 : 1)*] [* 6049, 0, (0 : 1 : 0)*] [* 6197, 1, (0 : 0 : 1)*] [* 6456, 2, (1 : 0 : 1)*] [* 6493, 0, (0 : 1 : 0)*] [* 6604, -1, (0 : -1 : 1)*] [* 6641, -2, (1 : -1 : 1)*] [* 6789, -4, (2 : 2 : 1)*] [* 6937, -1, (0 : -1 : 1)*] [* 7048, -2, (1 : -1 : 1)*] [* 7085, -4, (2 : 2 : 1)*] [* 7196, -6, (6 : -15 : 1)*] [* 7233, 3, (-1 : -1 : 1)*] [* 7529, 1, (0 : 0 : 1)*] [* 7640, 10, (161/16 : -2065/64 : 1)*] [* 7788, 2, (1 : 0 : 1)*] [* 7973, -8, (21/25 : -56/125 : 1)*] [* 8121, 0, (0 : 1 : 0)*] [* 8269, -1, (0 : -1 : 1)*] [* 8380, -1, (0 : -1 : 1)*] [* 8417, -1, (0 : -1 : 1)*] [* 8565, -7, (-5/9 : -35/27 : 1)*] [* 8713, 0, (0 : 1 : 0)*] [* 8824, 0, (0 : 1 : 0)*] [* 8861, 13, (-3741/3481 : -43355/205379 : 1)*] [* 8972, 11, (116/529 : -3612/12167 : 1)*] [* 9157, -1, (0 : -1 : 1)*] [* 9305, 7, (-5/9 : 8/27 : 1)*] [* 9416, -8, (21/25 : -56/125 : 1)*] [* 9453, 8, (21/25 : -69/125 : 1)*] [* 9564, -2, (1 : -1 : 1)*] [* 9601, 1, (0 : 0 : 1)*] [* 9749, 3, (-1 : -1 : 1)*] [* 9897, -2, (1 : -1 : 1)*] /* D = 19 (mod 37 ) [* 56, -1, (0 : -1 : 1)*] [* 93, 2, (1 : 0 : 1)*] [* 204, -1, (0 : -1 : 1)*] [* 241, 0, (0 : 1 : 0)*] [* 389, -2, (1 : -1 : 1)*] [* 537, 0, (0 : 1 : 0)*] [* 685, -2, (1 : -1 : 1)*] [* 796, 0, (0 : 1 : 0)*] [* 1129, -1, (0 : -1 : 1)*] [* 1240, -2, (1 : -1 : 1)*] [* 1277, 6, (6 : 14 : 1)*] [* 1388, -6, (6 : -15 : 1)*] [* 1721, -1, (0 : -1 : 1)*] [* 1832, -9, (-20/49 : 92/343 : 1)*] [* 1869, -1, (0 : -1 : 1)*] [* 2017, 0, (0 : 1 : 0)*] [* 2165, 1, (0 : 0 : 1)*] [* 2424, 1, (0 : 0 : 1)*] [* 2461, 0, (0 : 1 : 0)*] [* 2572, -4, (2 : 2 : 1)*] [* 2609, -1, (0 : -1 : 1)*] [* 2757, -7, (-5/9 : -35/27 : 1)*] [* 2905, 1, (0 : 0 : 1)*] [* 3016, 2, (1 : 0 : 1)*] [* 3053, 3, (-1 : -1 : 1)*] [* 3164, 6, (6 : 14 : 1)*] [* 3201, -2, (1 : -1 : 1)*] [* 3349, -1, (0 : -1 : 1)*] [* 3497, -4, (2 : 2 : 1)*] [* 3608, 5, (1/4 : -5/8 : 1)*] [* 3756, 1, (0 : 0 : 1)*] [* 3793, 1, (0 : 0 : 1)*] [* 3941, -1, (0 : -1 : 1)*] [* 4089, 2, (1 : 0 : 1)*] [* 4237, 3, (-1 : -1 : 1)*] [* 4348, 2, (1 : 0 : 1)*] [* 4385, 2, (1 : 0 : 1)*] [* 4533, 1, (0 : 0 : 1)*] [* 4681, 0, (0 : 1 : 0)*] [* 4792, -3, (-1 : 0 : 1)*] [* 4829, -6, (6 : -15 : 1)*] [* 4940, -2, (1 : -1 : 1)*] [* 5273, -4, (2 : 2 : 1)*] [* 5384, 7, (-5/9 : 8/27 : 1)*] [* 5421, 4, (2 : -3 : 1)*] [* 5532, -1, (0 : -1 : 1)*] [* 5569, 0, (0 : 1 : 0)*] [* 5717, 19, (-59997896/67387681 : -641260644409/553185473329 : 1)*] [* 5865, 2, (1 : 0 : 1)*] [* 6013, -7, (-5/9 : -35/27 : 1)*] [* 6124, 1, (0 : 0 : 1)*] [* 6161, 4, (2 : -3 : 1)*] [* 6457, 1, (0 : 0 : 1)*] [* 6568, -1, (0 : -1 : 1)*] [* 6605, -5, (1/4 : -3/8 : 1)*] [* 6716, -4, (2 : 2 : 1)*] [* 6753, 5, (1/4 : -5/8 : 1)*] [* 6901, -2, (1 : -1 : 1)*] [* 7049, 1, (0 : 0 : 1)*] [* 7160, 8, (21/25 : -69/125 : 1)*] [* 7197, 2, (1 : 0 : 1)*] [* 7345, -2, (1 : -1 : 1)*] [* 7493, -16, (480106/4225 : -332788379/274625 : 1)*] [* 7752, 4, (2 : -3 : 1)*] [* 7789, 0, (0 : 1 : 0)*] [* 7937, -6, (6 : -15 : 1)*] [* 8233, 0, (0 : 1 : 0)*] [* 8344, 3, (-1 : -1 : 1)*] [* 8492, 5, (1/4 : -5/8 : 1)*] [* 8529, -1, (0 : -1 : 1)*] [* 8677, 6, (6 : 14 : 1)*] [* 8936, 3, (-1 : -1 : 1)*] [* 9084, 0, (0 : 1 : 0)*] [* 9121, -1, (0 : -1 : 1)*] [* 9269, -6, (6 : -15 : 1)*] [* 9417, -1, (0 : -1 : 1)*] [* 9528, 3, (-1 : -1 : 1)*] [* 9565, -1, (0 : -1 : 1)*] [* 9676, -4, (2 : 2 : 1)*] [* 9713, 2, (1 : 0 : 1)*] [* 9861, -1, (0 : -1 : 1)*] /* D = 20 (mod 37 ) [* 57, -1, (0 : -1 : 1)*] [* 168, 1, (0 : 0 : 1)*] [* 205, 1, (0 : 0 : 1)*] [* 316, -1, (0 : -1 : 1)*] [* 353, -1, (0 : -1 : 1)*] [* 501, -1, (0 : -1 : 1)*] [* 649, 0, (0 : 1 : 0)*] [* 760, 0, (0 : 1 : 0)*] [* 797, 4, (2 : -3 : 1)*] [* 908, 6, (6 : 14 : 1)*] [* 1093, 0, (0 : 1 : 0)*] [* 1241, -1, (0 : -1 : 1)*] [* 1389, 0, (0 : 1 : 0)*] [* 1537, 0, (0 : 1 : 0)*] [* 1685, -9, (-20/49 : 92/343 : 1)*] [* 1833, 3, (-1 : -1 : 1)*] [* 1981, -2, (1 : -1 : 1)*] [* 2092, 1, (0 : 0 : 1)*] [* 2129, -1, (0 : -1 : 1)*] [* 2536, 0, (0 : 1 : 0)*] [* 2573, 0, (0 : 1 : 0)*] [* 2684, -4, (2 : 2 : 1)*] [* 2721, 0, (0 : 1 : 0)*] [* 2869, -2, (1 : -1 : 1)*] [* 3017, 3, (-1 : -1 : 1)*] [* 3128, -8, (21/25 : -56/125 : 1)*] [* 3165, 5, (1/4 : -5/8 : 1)*] [* 3313, -1, (0 : -1 : 1)*] [* 3461, 5, (1/4 : -5/8 : 1)*] [* 3720, -2, (1 : -1 : 1)*] [* 3868, -2, (1 : -1 : 1)*] [* 3905, -1, (0 : -1 : 1)*] [* 4053, 1, (0 : 0 : 1)*] [* 4201, 2, (1 : 0 : 1)*] [* 4349, 8, (21/25 : -69/125 : 1)*] [* 4460, 1, (0 : 0 : 1)*] [* 4497, -3, (-1 : 0 : 1)*] [* 4645, 2, (1 : 0 : 1)*] [* 4793, -3, (-1 : 0 : 1)*] [* 4904, -3, (-1 : 0 : 1)*] [* 5052, -1, (0 : -1 : 1)*] [* 5089, -1, (0 : -1 : 1)*] [* 5237, -11, (116/529 : -8555/12167 : 1)*] [* 5385, -5, (1/4 : -3/8 : 1)*] [* 5496, 3, (-1 : -1 : 1)*] [* 5533, 1, (0 : 0 : 1)*] [* 5644, -1, (0 : -1 : 1)*] [* 5681, 0, (0 : 1 : 0)*] [* 5829, -8, (21/25 : -56/125 : 1)*] [* 5977, 0, (0 : 1 : 0)*] [* 6088, 1, (0 : 0 : 1)*] [* 6236, -8, (21/25 : -56/125 : 1)*] [* 6421, 0, (0 : 1 : 0)*] [* 6569, 1, (0 : 0 : 1)*] [* 6680, 6, (6 : 14 : 1)*] [* 6717, -1, (0 : -1 : 1)*] [* 6828, 4, (2 : -3 : 1)*] [* 6865, 0, (0 : 1 : 0)*] [* 7013, 13, (-3741/3481 : -43355/205379 : 1)*] [* 7161, 2, (1 : 0 : 1)*] [* 7309, 0, (0 : 1 : 0)*] [* 7420, -3, (-1 : 0 : 1)*] [* 7457, -4, (2 : 2 : 1)*] [* 7753, -2, (1 : -1 : 1)*] [* 7864, -3, (-1 : 0 : 1)*] [* 7901, -10, (161/16 : 2001/64 : 1)*] [* 8012, -7, (-5/9 : -35/27 : 1)*] [* 8049, 3, (-1 : -1 : 1)*] [* 8197, 6, (6 : 14 : 1)*] [* 8345, 8, (21/25 : -69/125 : 1)*] [* 8456, -6, (6 : -15 : 1)*] [* 8493, -3, (-1 : 0 : 1)*] [* 8641, 3, (-1 : -1 : 1)*] [* 8789, 11, (116/529 : -3612/12167 : 1)*] [* 9048, -2, (1 : -1 : 1)*] [* 9085, -4, (2 : 2 : 1)*] [* 9233, 5, (1/4 : -5/8 : 1)*] [* 9381, 0, (0 : 1 : 0)*] [* 9529, -1, (0 : -1 : 1)*] [* 9640, 0, (0 : 1 : 0)*] [* 9677, -4, (2 : 2 : 1)*] [* 9788, 1, (0 : 0 : 1)*] [* 9973, -3, (-1 : 0 : 1)*] /* D = 22 (mod 37 ) [* 133, 1, (0 : 0 : 1)*] [* 281, -2, (1 : -1 : 1)*] [* 429, -3, (-1 : 0 : 1)*] [* 577, 1, (0 : 0 : 1)*] [* 984, 1, (0 : 0 : 1)*] [* 1021, -1, (0 : -1 : 1)*] [* 1132, 0, (0 : 1 : 0)*] [* 1169, 1, (0 : 0 : 1)*] [* 1317, 2, (1 : 0 : 1)*] [* 1465, 0, (0 : 1 : 0)*] [* 1576, 1, (0 : 0 : 1)*] [* 1613, -7, (-5/9 : -35/27 : 1)*] [* 1724, 3, (-1 : -1 : 1)*] [* 1761, 1, (0 : 0 : 1)*] [* 1909, -4, (2 : 2 : 1)*] [* 2168, -5, (1/4 : -3/8 : 1)*] [* 2316, -3, (-1 : 0 : 1)*] [* 2353, -1, (0 : -1 : 1)*] [* 2501, -4, (2 : 2 : 1)*] [* 2649, 0, (0 : 1 : 0)*] [* 2760, -2, (1 : -1 : 1)*] [* 2797, 2, (1 : 0 : 1)*] [* 2908, 1, (0 : 0 : 1)*] [* 2945, -6, (6 : -15 : 1)*] [* 3093, 8, (21/25 : -69/125 : 1)*] [* 3241, 0, (0 : 1 : 0)*] [* 3352, 1, (0 : 0 : 1)*] [* 3389, 2, (1 : 0 : 1)*] [* 3685, 2, (1 : 0 : 1)*] [* 3833, 1, (0 : 0 : 1)*] [* 3944, 6, (6 : 14 : 1)*] [* 3981, -1, (0 : -1 : 1)*] [* 4092, 2, (1 : 0 : 1)*] [* 4129, -1, (0 : -1 : 1)*] [* 4277, 7, (-5/9 : 8/27 : 1)*] [* 4573, 2, (1 : 0 : 1)*] [* 4684, 0, (0 : 1 : 0)*] [* 4721, -2, (1 : -1 : 1)*] [* 5017, 0, (0 : 1 : 0)*] [* 5128, -3, (-1 : 0 : 1)*] [* 5165, -1, (0 : -1 : 1)*] [* 5276, 9, (-20/49 : -435/343 : 1)*] [* 5313, -2, (1 : -1 : 1)*] [* 5461, -1, (0 : -1 : 1)*] [* 5609, -1, (0 : -1 : 1)*] [* 5720, 8, (21/25 : -69/125 : 1)*] [* 5757, -9, (-20/49 : 92/343 : 1)*] [* 5905, -1, (0 : -1 : 1)*] [* 6053, -1, (0 : -1 : 1)*] [* 6312, 1, (0 : 0 : 1)*] [* 6349, 2, (1 : 0 : 1)*] [* 6460, -2, (1 : -1 : 1)*] [* 6497, 5, (1/4 : -5/8 : 1)*] [* 6645, 3, (-1 : -1 : 1)*] [* 6793, 0, (0 : 1 : 0)*] [* 6904, 0, (0 : 1 : 0)*] [* 6941, -1, (0 : -1 : 1)*] [* 7052, -3, (-1 : 0 : 1)*] [* 7089, -2, (1 : -1 : 1)*] [* 7237, -2, (1 : -1 : 1)*] [* 7385, -1, (0 : -1 : 1)*] [* 7496, 3, (-1 : -1 : 1)*] [* 7681, 2, (1 : 0 : 1)*] [* 7829, 7, (-5/9 : 8/27 : 1)*] [* 7977, -3, (-1 : 0 : 1)*] [* 8088, 3, (-1 : -1 : 1)*] [* 8236, 0, (0 : 1 : 0)*] [* 8273, 4, (2 : -3 : 1)*] [* 8421, -3, (-1 : 0 : 1)*] [* 8569, 1, (0 : 0 : 1)*] [* 8680, -2, (1 : -1 : 1)*] [* 8717, -6, (6 : -15 : 1)*] [* 8828, 2, (1 : 0 : 1)*] [* 9013, -3, (-1 : 0 : 1)*] [* 9161, 2, (1 : 0 : 1)*] [* 9272, 6, (6 : 14 : 1)*] [* 9309, 6, (6 : 14 : 1)*] [* 9420, 3, (-1 : -1 : 1)*] [* 9605, -18, (12551561/13608721 : -41922509264/50202571769 : 1)*] [* 9753, 2, (1 : 0 : 1)*] [* 9901, 3, (-1 : -1 : 1)*] /* D = 23 (mod 37 ) [* 60, 1, (0 : 0 : 1)*] [* 97, 0, (0 : 1 : 0)*] [* 393, -1, (0 : -1 : 1)*] [* 541, 2, (1 : 0 : 1)*] [* 652, -1, (0 : -1 : 1)*] [* 689, 1, (0 : 0 : 1)*] [* 985, -1, (0 : -1 : 1)*] [* 1096, 2, (1 : 0 : 1)*] [* 1133, 9, (-20/49 : -435/343 : 1)*] [* 1244, 3, (-1 : -1 : 1)*] [* 1281, 0, (0 : 1 : 0)*] [* 1429, -3, (-1 : 0 : 1)*] [* 1577, 3, (-1 : -1 : 1)*] [* 1688, -1, (0 : -1 : 1)*] [* 1873, 0, (0 : 1 : 0)*] [* 2021, -9, (-20/49 : 92/343 : 1)*] [* 2280, 0, (0 : 1 : 0)*] [* 2317, 2, (1 : 0 : 1)*] [* 2428, 3, (-1 : -1 : 1)*] [* 2465, -2, (1 : -1 : 1)*] [* 2613, 4, (2 : -3 : 1)*] [* 2761, -1, (0 : -1 : 1)*] [* 2872, 1, (0 : 0 : 1)*] [* 2909, -3, (-1 : 0 : 1)*] [* 3020, -8, (21/25 : -56/125 : 1)*] [* 3057, 1, (0 : 0 : 1)*] [* 3205, 1, (0 : 0 : 1)*] [* 3353, 0, (0 : 1 : 0)*] [* 3464, -1, (0 : -1 : 1)*] [* 3612, 1, (0 : 0 : 1)*] [* 3649, 1, (0 : 0 : 1)*] [* 3797, 9, (-20/49 : -435/343 : 1)*] [* 3945, 1, (0 : 0 : 1)*] [* 4093, -2, (1 : -1 : 1)*] [* 4204, -3, (-1 : 0 : 1)*] [* 4241, -4, (2 : 2 : 1)*] [* 4389, -1, (0 : -1 : 1)*] [* 4537, 2, (1 : 0 : 1)*] [* 4648, -1, (0 : -1 : 1)*] [* 4685, -9, (-20/49 : 92/343 : 1)*] [* 4796, -3, (-1 : 0 : 1)*] [* 4981, -2, (1 : -1 : 1)*] [* 5129, -2, (1 : -1 : 1)*] [* 5240, -4, (2 : 2 : 1)*] [* 5277, -3, (-1 : 0 : 1)*] [* 5388, 3, (-1 : -1 : 1)*] [* 5573, 1, (0 : 0 : 1)*] [* 5721, 1, (0 : 0 : 1)*] [* 5869, 0, (0 : 1 : 0)*] [* 5980, 4, (2 : -3 : 1)*] [* 6017, 2, (1 : 0 : 1)*] [* 6313, 2, (1 : 0 : 1)*] [* 6424, -1, (0 : -1 : 1)*] [* 6461, 7, (-5/9 : 8/27 : 1)*] [* 6572, -4, (2 : 2 : 1)*] [* 6609, -2, (1 : -1 : 1)*] [* 6757, -2, (1 : -1 : 1)*] [* 6905, -7, (-5/9 : -35/27 : 1)*] [* 7016, 4, (2 : -3 : 1)*] [* 7053, -5, (1/4 : -3/8 : 1)*] [* 7201, 1, (0 : 0 : 1)*] [* 7349, -2, (1 : -1 : 1)*] [* 7608, -6, (6 : -15 : 1)*] [* 7645, 2, (1 : 0 : 1)*] [* 7756, 0, (0 : 1 : 0)*] [* 7793, 4, (2 : -3 : 1)*] [* 7941, -1, (0 : -1 : 1)*] [* 8089, 1, (0 : 0 : 1)*] [* 8237, -10, (161/16 : 2001/64 : 1)*] [* 8348, -2, (1 : -1 : 1)*] [* 8385, 2, (1 : 0 : 1)*] [* 8533, 2, (1 : 0 : 1)*] [* 8681, 1, (0 : 0 : 1)*] [* 8792, 1, (0 : 0 : 1)*] [* 8940, -5, (1/4 : -3/8 : 1)*] [* 8977, -2, (1 : -1 : 1)*] [* 9273, 0, (0 : 1 : 0)*] [* 9384, 4, (2 : -3 : 1)*] [* 9421, -2, (1 : -1 : 1)*] [* 9532, 2, (1 : 0 : 1)*] [* 9569, -2, (1 : -1 : 1)*] [* 9717, 5, (1/4 : -5/8 : 1)*] [* 9865, -2, (1 : -1 : 1)*] [* 9976, 0, (0 : 1 : 0)*] /* D = 24 (mod 37 ) [* 24, -1, (0 : -1 : 1)*] [* 61, 0, (0 : 1 : 0)*] [* 172, 1, (0 : 0 : 1)*] [* 209, -1, (0 : -1 : 1)*] [* 357, 3, (-1 : -1 : 1)*] [* 505, -1, (0 : -1 : 1)*] [* 616, 1, (0 : 0 : 1)*] [* 653, 0, (0 : 1 : 0)*] [* 764, 0, (0 : 1 : 0)*] [* 949, -1, (0 : -1 : 1)*] [* 1097, 4, (2 : -3 : 1)*] [* 1208, 4, (2 : -3 : 1)*] [* 1245, -5, (1/4 : -3/8 : 1)*] [* 1356, 2, (1 : 0 : 1)*] [* 1393, 2, (1 : 0 : 1)*] [* 1541, -2, (1 : -1 : 1)*] [* 1689, -1, (0 : -1 : 1)*] [* 1837, -1, (0 : -1 : 1)*] [* 1948, -1, (0 : -1 : 1)*] [* 1985, 3, (-1 : -1 : 1)*] [* 2281, 1, (0 : 0 : 1)*] [* 2392, -2, (1 : -1 : 1)*] [* 2429, -4, (2 : 2 : 1)*] [* 2540, 5, (1/4 : -5/8 : 1)*] [* 2577, 1, (0 : 0 : 1)*] [* 2984, 3, (-1 : -1 : 1)*] [* 3021, -3, (-1 : 0 : 1)*] [* 3169, -1, (0 : -1 : 1)*] [* 3317, -6, (6 : -15 : 1)*] [* 3576, 1, (0 : 0 : 1)*] [* 3613, 2, (1 : 0 : 1)*] [* 3761, 2, (1 : 0 : 1)*] [* 3909, 3, (-1 : -1 : 1)*] [* 4057, 0, (0 : 1 : 0)*] [* 4168, 3, (-1 : -1 : 1)*] [* 4316, -5, (1/4 : -3/8 : 1)*] [* 4353, -3, (-1 : 0 : 1)*] [* 4501, -4, (2 : 2 : 1)*] [* 4649, 1, (0 : 0 : 1)*] [* 4760, -2, (1 : -1 : 1)*] [* 4908, -2, (1 : -1 : 1)*] [* 4945, -2, (1 : -1 : 1)*] [* 5093, 8, (21/25 : -69/125 : 1)*] [* 5241, 1, (0 : 0 : 1)*] [* 5352, -5, (1/4 : -3/8 : 1)*] [* 5389, 6, (6 : 14 : 1)*] [* 5685, 3, (-1 : -1 : 1)*] [* 5833, -1, (0 : -1 : 1)*] [* 5944, -1, (0 : -1 : 1)*] [* 5981, 6, (6 : 14 : 1)*] [* 6092, 6, (6 : 14 : 1)*] [* 6277, -5, (1/4 : -3/8 : 1)*] [* 6536, -4, (2 : 2 : 1)*] [* 6573, -1, (0 : -1 : 1)*] [* 6684, 0, (0 : 1 : 0)*] [* 6721, -1, (0 : -1 : 1)*] [* 6869, -9, (-20/49 : 92/343 : 1)*] [* 7017, 5, (1/4 : -5/8 : 1)*] [* 7165, 0, (0 : 1 : 0)*] [* 7276, 2, (1 : 0 : 1)*] [* 7313, 1, (0 : 0 : 1)*] [* 7609, 0, (0 : 1 : 0)*] [* 7720, -2, (1 : -1 : 1)*] [* 7757, 4, (2 : -3 : 1)*] [* 7868, -2, (1 : -1 : 1)*] [* 7905, 0, (0 : 1 : 0)*] [* 8053, -4, (2 : 2 : 1)*] [* 8201, -4, (2 : 2 : 1)*] [* 8312, 13, (-3741/3481 : -43355/205379 : 1)*] [* 8497, 0, (0 : 1 : 0)*] [* 8645, -10, (161/16 : 2001/64 : 1)*] [* 8904, 3, (-1 : -1 : 1)*] [* 8941, 0, (0 : 1 : 0)*] [* 9052, 2, (1 : 0 : 1)*] [* 9089, 4, (2 : -3 : 1)*] [* 9237, 6, (6 : 14 : 1)*] [* 9385, 2, (1 : 0 : 1)*] [* 9496, -1, (0 : -1 : 1)*] [* 9533, -10, (161/16 : 2001/64 : 1)*] [* 9644, 3, (-1 : -1 : 1)*] [* 9681, -1, (0 : -1 : 1)*] [* 9829, 2, (1 : 0 : 1)*] [* 9977, 8, (21/25 : -69/125 : 1)*] /* D = 29 (mod 37 ) [* 29, 2, (1 : 0 : 1)*] [* 140, -3, (-1 : 0 : 1)*] [* 177, 0, (0 : 1 : 0)*] [* 473, -3, (-1 : 0 : 1)*] [* 584, -3, (-1 : 0 : 1)*] [* 732, 2, (1 : 0 : 1)*] [* 769, 0, (0 : 1 : 0)*] [* 917, -3, (-1 : 0 : 1)*] [* 1065, 1, (0 : 0 : 1)*] [* 1213, 1, (0 : 0 : 1)*] [* 1324, 0, (0 : 1 : 0)*] [* 1361, 3, (-1 : -1 : 1)*] [* 1509, 1, (0 : 0 : 1)*] [* 1657, 2, (1 : 0 : 1)*] [* 1768, 2, (1 : 0 : 1)*] [* 1916, -4, (2 : 2 : 1)*] [* 2101, 0, (0 : 1 : 0)*] [* 2249, 3, (-1 : -1 : 1)*] [* 2360, -2, (1 : -1 : 1)*] [* 2397, -5, (1/4 : -3/8 : 1)*] [* 2508, 1, (0 : 0 : 1)*] [* 2545, -1, (0 : -1 : 1)*] [* 2693, 2, (1 : 0 : 1)*] [* 2841, 1, (0 : 0 : 1)*] [* 3137, -4, (2 : 2 : 1)*] [* 3433, -1, (0 : -1 : 1)*] [* 3544, -1, (0 : -1 : 1)*] [* 3581, 9, (-20/49 : -435/343 : 1)*] [* 3692, 9, (-20/49 : -435/343 : 1)*] [* 3729, -2, (1 : -1 : 1)*] [* 3877, -3, (-1 : 0 : 1)*] [* 4136, -5, (1/4 : -3/8 : 1)*] [* 4173, -2, (1 : -1 : 1)*] [* 4321, 0, (0 : 1 : 0)*] [* 4469, 5, (1/4 : -5/8 : 1)*] [* 4728, -1, (0 : -1 : 1)*] [* 4765, 3, (-1 : -1 : 1)*] [* 4876, 2, (1 : 0 : 1)*] [* 5061, 4, (2 : -3 : 1)*] [* 5209, -1, (0 : -1 : 1)*] [* 5320, 0, (0 : 1 : 0)*] [* 5357, -13, (-3741/3481 : -162024/205379 : 1)*] [* 5468, -8, (21/25 : -56/125 : 1)*] [* 5505, 0, (0 : 1 : 0)*] [* 5653, 1, (0 : 0 : 1)*] [* 5801, -3, (-1 : 0 : 1)*] [* 5912, 3, (-1 : -1 : 1)*] [* 6060, -5, (1/4 : -3/8 : 1)*] [* 6097, 0, (0 : 1 : 0)*] [* 6245, 9, (-20/49 : -435/343 : 1)*] [* 6393, 2, (1 : 0 : 1)*] [* 6504, 1, (0 : 0 : 1)*] [* 6541, 4, (2 : -3 : 1)*] [* 6652, 2, (1 : 0 : 1)*] [* 6689, 4, (2 : -3 : 1)*] [* 6837, 3, (-1 : -1 : 1)*] [* 6985, -3, (-1 : 0 : 1)*] [* 7096, 3, (-1 : -1 : 1)*] [* 7133, -5, (1/4 : -3/8 : 1)*] [* 7244, 6, (6 : 14 : 1)*] [* 7429, -2, (1 : -1 : 1)*] [* 7577, 4, (2 : -3 : 1)*] [* 7836, 2, (1 : 0 : 1)*] [* 7873, 1, (0 : 0 : 1)*] [* 8021, -11, (116/529 : -8555/12167 : 1)*] [* 8169, -4, (2 : 2 : 1)*] [* 8317, 1, (0 : 0 : 1)*] [* 8465, 6, (6 : 14 : 1)*] [* 8761, 1, (0 : 0 : 1)*] [* 8872, 1, (0 : 0 : 1)*] [* 8909, -4, (2 : 2 : 1)*] [* 9020, 9, (-20/49 : -435/343 : 1)*] [* 9057, 2, (1 : 0 : 1)*] [* 9205, -1, (0 : -1 : 1)*] [* 9353, -2, (1 : -1 : 1)*] [* 9501, -7, (-5/9 : -35/27 : 1)*] [* 9649, 1, (0 : 0 : 1)*] [* 9797, -6, (6 : -15 : 1)*] /* D = 31 (mod 37 ) [* 105, -1, (0 : -1 : 1)*] [* 253, 0, (0 : 1 : 0)*] [* 364, -1, (0 : -1 : 1)*] [* 401, 1, (0 : 0 : 1)*] [* 697, -1, (0 : -1 : 1)*] [* 808, -1, (0 : -1 : 1)*] [* 956, -4, (2 : 2 : 1)*] [* 993, 0, (0 : 1 : 0)*] [* 1141, 3, (-1 : -1 : 1)*] [* 1289, 3, (-1 : -1 : 1)*] [* 1437, 2, (1 : 0 : 1)*] [* 1585, 0, (0 : 1 : 0)*] [* 1733, -10, (161/16 : 2001/64 : 1)*] [* 1992, -3, (-1 : 0 : 1)*] [* 2029, -1, (0 : -1 : 1)*] [* 2140, -2, (1 : -1 : 1)*] [* 2177, -1, (0 : -1 : 1)*] [* 2473, 0, (0 : 1 : 0)*] [* 2584, 0, (0 : 1 : 0)*] [* 2621, 2, (1 : 0 : 1)*] [* 2732, 3, (-1 : -1 : 1)*] [* 2769, 1, (0 : 0 : 1)*] [* 2917, -6, (6 : -15 : 1)*] [* 3065, 3, (-1 : -1 : 1)*] [* 3176, 3, (-1 : -1 : 1)*] [* 3324, -4, (2 : 2 : 1)*] [* 3361, 1, (0 : 0 : 1)*] [* 3657, 0, (0 : 1 : 0)*] [* 3768, 1, (0 : 0 : 1)*] [* 3805, 3, (-1 : -1 : 1)*] [* 3916, 1, (0 : 0 : 1)*] [* 3953, -4, (2 : 2 : 1)*] [* 4101, 2, (1 : 0 : 1)*] [* 4249, 1, (0 : 0 : 1)*] [* 4360, 2, (1 : 0 : 1)*] [* 4397, -7, (-5/9 : -35/27 : 1)*] [* 4841, 1, (0 : 0 : 1)*] [* 4952, -1, (0 : -1 : 1)*] [* 4989, -2, (1 : -1 : 1)*] [* 5137, 0, (0 : 1 : 0)*] [* 5285, -2, (1 : -1 : 1)*] [* 5433, -2, (1 : -1 : 1)*] [* 5581, -2, (1 : -1 : 1)*] [* 5692, 3, (-1 : -1 : 1)*] [* 5729, 3, (-1 : -1 : 1)*] [* 6136, -2, (1 : -1 : 1)*] [* 6173, -7, (-5/9 : -35/27 : 1)*] [* 6284, 1, (0 : 0 : 1)*] [* 6469, -1, (0 : -1 : 1)*] [* 6617, -3, (-1 : 0 : 1)*] [* 6765, -3, (-1 : 0 : 1)*] [* 6913, 0, (0 : 1 : 0)*] [* 7061, 12, (1357/841 : 28888/24389 : 1)*] [* 7320, 4, (2 : -3 : 1)*] [* 7357, 3, (-1 : -1 : 1)*] [* 7468, 2, (1 : 0 : 1)*] [* 7505, 2, (1 : 0 : 1)*] [* 7653, 1, (0 : 0 : 1)*] [* 7801, 2, (1 : 0 : 1)*] [* 7912, 0, (0 : 1 : 0)*] [* 7949, 3, (-1 : -1 : 1)*] [* 8060, 12, (1357/841 : 28888/24389 : 1)*] [* 8097, 4, (2 : -3 : 1)*] [* 8245, 6, (6 : 14 : 1)*] [* 8393, 3, (-1 : -1 : 1)*] [* 8504, -3, (-1 : 0 : 1)*] [* 8652, -1, (0 : -1 : 1)*] [* 8689, -1, (0 : -1 : 1)*] [* 8837, -8, (21/25 : -56/125 : 1)*] [* 8985, 1, (0 : 0 : 1)*] [* 9096, 1, (0 : 0 : 1)*] [* 9133, -3, (-1 : 0 : 1)*] [* 9244, 0, (0 : 1 : 0)*] [* 9281, 0, (0 : 1 : 0)*] [* 9429, -7, (-5/9 : -35/27 : 1)*] [* 9577, -2, (1 : -1 : 1)*] [* 9688, 1, (0 : 0 : 1)*] [* 9836, -5, (1/4 : -3/8 : 1)*] /* D = 32 (mod 37 ) [* 69, 0, (0 : 1 : 0)*] [* 217, 0, (0 : 1 : 0)*] [* 328, -1, (0 : -1 : 1)*] [* 365, 3, (-1 : -1 : 1)*] [* 476, 1, (0 : 0 : 1)*] [* 661, -1, (0 : -1 : 1)*] [* 809, 2, (1 : 0 : 1)*] [* 920, -2, (1 : -1 : 1)*] [* 957, 0, (0 : 1 : 0)*] [* 1068, -1, (0 : -1 : 1)*] [* 1105, 0, (0 : 1 : 0)*] [* 1253, -10, (161/16 : 2001/64 : 1)*] [* 1401, 0, (0 : 1 : 0)*] [* 1549, 3, (-1 : -1 : 1)*] [* 1660, -1, (0 : -1 : 1)*] [* 1697, 4, (2 : -3 : 1)*] [* 1993, 1, (0 : 0 : 1)*] [* 2104, 1, (0 : 0 : 1)*] [* 2141, 8, (21/25 : -69/125 : 1)*] [* 2252, 1, (0 : 0 : 1)*] [* 2289, 1, (0 : 0 : 1)*] [* 2437, -4, (2 : 2 : 1)*] [* 2585, -3, (-1 : 0 : 1)*] [* 2696, -1, (0 : -1 : 1)*] [* 2733, -3, (-1 : 0 : 1)*] [* 2881, 0, (0 : 1 : 0)*] [* 3029, -2, (1 : -1 : 1)*] [* 3288, 0, (0 : 1 : 0)*] [* 3436, -1, (0 : -1 : 1)*] [* 3473, 2, (1 : 0 : 1)*] [* 3621, -1, (0 : -1 : 1)*] [* 3769, -2, (1 : -1 : 1)*] [* 3880, -4, (2 : 2 : 1)*] [* 3917, -5, (1/4 : -3/8 : 1)*] [* 4028, 3, (-1 : -1 : 1)*] [* 4065, -3, (-1 : 0 : 1)*] [* 4213, 2, (1 : 0 : 1)*] [* 4472, 4, (2 : -3 : 1)*] [* 4620, -1, (0 : -1 : 1)*] [* 4657, 0, (0 : 1 : 0)*] [* 4953, -1, (0 : -1 : 1)*] [* 5064, -3, (-1 : 0 : 1)*] [* 5101, -1, (0 : -1 : 1)*] [* 5212, 1, (0 : 0 : 1)*] [* 5249, 2, (1 : 0 : 1)*] [* 5397, 12, (1357/841 : 28888/24389 : 1)*] [* 5545, 1, (0 : 0 : 1)*] [* 5656, 1, (0 : 0 : 1)*] [* 5693, 6, (6 : 14 : 1)*] [* 5804, 1, (0 : 0 : 1)*] [* 5989, 2, (1 : 0 : 1)*] [* 6248, 7, (-5/9 : 8/27 : 1)*] [* 6285, -7, (-5/9 : -35/27 : 1)*] [* 6396, 1, (0 : 0 : 1)*] [* 6433, -1, (0 : -1 : 1)*] [* 6581, -3, (-1 : 0 : 1)*] [* 6729, 1, (0 : 0 : 1)*] [* 6988, -1, (0 : -1 : 1)*] [* 7321, 1, (0 : 0 : 1)*] [* 7432, 0, (0 : 1 : 0)*] [* 7469, -8, (21/25 : -56/125 : 1)*] [* 7580, -3, (-1 : 0 : 1)*] [* 7617, 3, (-1 : -1 : 1)*] [* 7765, -2, (1 : -1 : 1)*] [* 7913, -1, (0 : -1 : 1)*] [* 8024, -6, (6 : -15 : 1)*] [* 8061, -1, (0 : -1 : 1)*] [* 8209, 0, (0 : 1 : 0)*] *** Warning: The precision was insufficient to recognize P( 8357 ) as a global point [* 8357, Infinity, 0*] [* 8616, 3, (-1 : -1 : 1)*] [* 8653, 1, (0 : 0 : 1)*] [* 8764, 3, (-1 : -1 : 1)*] [* 8801, -1, (0 : -1 : 1)*] [* 8949, 9, (-20/49 : -435/343 : 1)*] [* 9097, 0, (0 : 1 : 0)*] [* 9208, 1, (0 : 0 : 1)*] [* 9356, 1, (0 : 0 : 1)*] [* 9393, 0, (0 : 1 : 0)*] [* 9541, 0, (0 : 1 : 0)*] [* 9689, 2, (1 : 0 : 1)*] [* 9948, 6, (6 : 14 : 1)*] [* 9985, -1, (0 : -1 : 1)*] /* D = 35 (mod 37 ) [* 109, 1, (0 : 0 : 1)*] [* 220, -1, (0 : -1 : 1)*] [* 257, -2, (1 : -1 : 1)*] [* 553, 1, (0 : 0 : 1)*] [* 664, 1, (0 : 0 : 1)*] [* 701, -4, (2 : 2 : 1)*] [* 812, -4, (2 : 2 : 1)*] [* 849, 0, (0 : 1 : 0)*] [* 997, -2, (1 : -1 : 1)*] [* 1145, -1, (0 : -1 : 1)*] [* 1256, 3, (-1 : -1 : 1)*] [* 1293, 1, (0 : 0 : 1)*] [* 1441, 1, (0 : 0 : 1)*] [* 1589, -2, (1 : -1 : 1)*] [* 1848, -5, (1/4 : -3/8 : 1)*] [* 1885, -2, (1 : -1 : 1)*] [* 1996, 2, (1 : 0 : 1)*] [* 2033, 2, (1 : 0 : 1)*] [* 2181, 3, (-1 : -1 : 1)*] [* 2329, -2, (1 : -1 : 1)*] [* 2440, 0, (0 : 1 : 0)*] [* 2477, 10, (161/16 : -2065/64 : 1)*] [* 2588, 5, (1/4 : -5/8 : 1)*] [* 2773, 2, (1 : 0 : 1)*] [* 2921, -2, (1 : -1 : 1)*] [* 3032, 3, (-1 : -1 : 1)*] [* 3180, -1, (0 : -1 : 1)*] [* 3217, 0, (0 : 1 : 0)*] [* 3365, -13, (-3741/3481 : -162024/205379 : 1)*] [* 3513, -2, (1 : -1 : 1)*] [* 3624, 2, (1 : 0 : 1)*] [* 3661, -3, (-1 : 0 : 1)*] [* 3772, -4, (2 : 2 : 1)*] [* 3809, 0, (0 : 1 : 0)*] [* 3957, -3, (-1 : 0 : 1)*] [* 4105, -1, (0 : -1 : 1)*] [* 4216, -2, (1 : -1 : 1)*] [* 4253, 13, (-3741/3481 : -43355/205379 : 1)*] [* 4364, -4, (2 : 2 : 1)*] [* 4549, 5, (1/4 : -5/8 : 1)*] [* 4697, -2, (1 : -1 : 1)*] [* 4808, -6, (6 : -15 : 1)*] [* 4845, 2, (1 : 0 : 1)*] [* 4956, 0, (0 : 1 : 0)*] [* 4993, -1, (0 : -1 : 1)*] [* 5141, 6, (6 : 14 : 1)*] [* 5289, -1, (0 : -1 : 1)*] [* 5437, 4, (2 : -3 : 1)*] [* 5548, -1, (0 : -1 : 1)*] [* 5585, 5, (1/4 : -5/8 : 1)*] [* 5881, 0, (0 : 1 : 0)*] [* 5992, -2, (1 : -1 : 1)*] [* 6029, -1, (0 : -1 : 1)*] [* 6140, 1, (0 : 0 : 1)*] [* 6177, -4, (2 : 2 : 1)*] [* 6473, 1, (0 : 0 : 1)*] [* 6584, -6, (6 : -15 : 1)*] [* 6621, -8, (21/25 : -56/125 : 1)*] [* 6769, 0, (0 : 1 : 0)*] [* 6917, 3, (-1 : -1 : 1)*] [* 7176, 2, (1 : 0 : 1)*] [* 7213, -3, (-1 : 0 : 1)*] [* 7324, 0, (0 : 1 : 0)*] [* 7361, 1, (0 : 0 : 1)*] [* 7509, -4, (2 : 2 : 1)*] [* 7657, 2, (1 : 0 : 1)*] [* 7768, 0, (0 : 1 : 0)*] [* 7805, 5, (1/4 : -5/8 : 1)*] [* 7916, 6, (6 : 14 : 1)*] [* 7953, 0, (0 : 1 : 0)*] [* 8101, -1, (0 : -1 : 1)*] [* 8249, 6, (6 : 14 : 1)*] [* 8360, 4, (2 : -3 : 1)*] [* 8508, -3, (-1 : 0 : 1)*] [* 8545, -1, (0 : -1 : 1)*] [* 8693, -11, (116/529 : -8555/12167 : 1)*] [* 8841, 1, (0 : 0 : 1)*] [* 8952, 3, (-1 : -1 : 1)*] [* 8989, 1, (0 : 0 : 1)*] [* 9137, -6, (6 : -15 : 1)*] [* 9285, 7, (-5/9 : 8/27 : 1)*] [* 9433, 2, (1 : 0 : 1)*] [* 9544, 1, (0 : 0 : 1)*] [* 9581, -8, (21/25 : -56/125 : 1)*] [* 9692, -3, (-1 : 0 : 1)*] [* 9877, 3, (-1 : -1 : 1)*] Total time: 17167.209 seconds, Total memory usage: 51.56MB