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