Magma V2.13-11 Sun Nov 11 2007 03:06:12 on amd17 [Seed = 2030587787] Type ? for help. Type -D to quit. Loading file "do-79" Loading "../data/M.79.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 - 2*x over Rational Field working over Qp = the 79-adic field mod 79^20 ------------------------------------------------------------------- /* D = 3 (mod 79 ) [ 161, 0 ] [ 556, 1 ] [ 793, -1 ] [ 872, -4 ] [ 1109, 1 ] [ 1741, 1 ] [ 1820, 1 ] [ 2136, 3 ] [ 2373, -6 ] [ 2689, 0 ] [ 3005, 1 ] [ 3084, -2 ] [ 3637, 3 ] [ 3953, 3 ] [ 4269, 1 ] [ 4348, -2 ] [ 4585, -2 ] [ 4664, -2 ] [ 5217, -1 ] [ 5533, 0 ] [ 5612, 6 ] [ 5849, 0 ] [ 5928, -8 ] [ 6481, 1 ] [ 6797, -1 ] [ 7113, -1 ] [ 7192, 6 ] [ 7429, -2 ] [ 7745, -4 ] [ 8061, -4 ] [ 8140, -2 ] [ 8377, 1 ] [ 8456, -2 ] [ 8693, -3 ] [ 9404, 4 ] [ 9641, 2 ] [ 9957, 10 ] /* D = 6 (mod 79 ) [ 85, 1 ] [ 401, 1 ] [ 717, -3 ] [ 796, 1 ] [ 1033, 1 ] [ 1112, -3 ] [ 1349, -3 ] [ 1981, 1 ] [ 2060, -1 ] [ 2297, 0 ] [ 2613, 3 ] [ 2929, -1 ] [ 3245, 4 ] [ 3324, -1 ] [ 3561, 1 ] [ 3640, 5 ] [ 3877, 0 ] [ 4193, -3 ] [ 4588, 0 ] [ 4904, -2 ] [ 5141, -3 ] [ 5457, 1 ] [ 5773, 0 ] [ 5852, 8 ] [ 6089, 0 ] [ 6168, 2 ] [ 6405, 1 ] [ 6721, 0 ] [ 7037, 2 ] [ 7116, -1 ] [ 7432, -10 ] [ 7669, 0 ] [ 7985, -5 ] [ 8301, 0 ] [ 8380, -1 ] [ 8617, -1 ] [ 8696, 2 ] [ 8933, 3 ] [ 9249, 1 ] [ 9565, -2 ] [ 9644, -1 ] [ 9881, 2 ] [ 9960, 2 ] /* D = 7 (mod 79 ) [ 165, -2 ] [ 481, 1 ] [ 797, 2 ] [ 876, 0 ] [ 1113, 1 ] [ 1192, 2 ] [ 1429, 2 ] [ 1745, -2 ] [ 2140, 1 ] [ 2377, 0 ] [ 2456, 0 ] [ 2693, -4 ] [ 3009, 1 ] [ 3404, 0 ] [ 3641, 0 ] [ 3720, -4 ] [ 3957, 3 ] [ 4273, -4 ] [ 4589, 1 ] [ 4668, 5 ] [ 4984, -1 ] [ 5221, 0 ] [ 5853, -1 ] [ 5932, -1 ] [ 6169, 1 ] [ 6248, 4 ] [ 6485, 4 ] [ 6801, 1 ] [ 7117, -4 ] [ 7196, -2 ] [ 7433, 4 ] [ 7512, 0 ] [ 8065, 2 ] [ 8697, -5 ] [ 8776, 2 ] [ 9013, -1 ] [ 9329, -3 ] [ 9645, 4 ] [ 9724, -2 ] [ 9961, 1 ] /* D = 12 (mod 79 ) [ 12, -1 ] [ 249, 1 ] [ 328, 2 ] [ 565, 0 ] [ 881, -1 ] [ 1276, 0 ] [ 1513, 1 ] [ 1592, -5 ] [ 1829, 1 ] [ 2145, -4 ] [ 2461, 2 ] [ 2540, 1 ] [ 2777, 0 ] [ 2856, 2 ] [ 3093, 5 ] [ 3409, 2 ] [ 3804, 1 ] [ 4120, -5 ] [ 4357, -4 ] [ 4673, 0 ] [ 4989, -1 ] [ 5068, 0 ] [ 5305, 0 ] [ 5384, 0 ] [ 5621, -4 ] [ 5937, 3 ] [ 6332, 3 ] [ 6569, 0 ] [ 6648, 3 ] [ 7201, -1 ] [ 7517, 6 ] [ 7833, 3 ] [ 7912, 4 ] [ 8149, -1 ] [ 8465, 3 ] [ 8781, 3 ] [ 8860, -4 ] [ 9097, 0 ] [ 9176, 0 ] [ 9413, -1 ] /* D = 14 (mod 79 ) [ 93, -1 ] [ 172, -2 ] [ 409, -1 ] [ 488, 2 ] [ 1041, 1 ] [ 1357, -2 ] [ 1436, -1 ] [ 1673, -3 ] [ 1752, 0 ] [ 2305, 2 ] [ 2621, 2 ] [ 2937, 2 ] [ 3016, 0 ] [ 3253, -4 ] [ 3569, 0 ] [ 3885, -1 ] [ 3964, 1 ] [ 4201, 1 ] [ 4280, -3 ] [ 4517, 0 ] [ 5149, 0 ] [ 5228, -1 ] [ 5465, 0 ] [ 5781, -6 ] [ 6097, 3 ] [ 6492, -3 ] [ 6729, 1 ] [ 6808, 0 ] [ 7045, 6 ] [ 7361, -1 ] [ 7756, -3 ] [ 7993, 1 ] [ 8072, 8 ] [ 8309, -3 ] [ 8941, -3 ] [ 9020, 2 ] [ 9257, -3 ] [ 9336, 3 ] [ 9573, -2 ] [ 9889, 2 ] /* D = 15 (mod 79 ) [ 173, -2 ] [ 489, 0 ] [ 568, 3 ] [ 805, 4 ] [ 1121, -1 ] [ 1437, 2 ] [ 1516, 1 ] [ 1753, 1 ] [ 1832, -2 ] [ 2069, -2 ] [ 2701, 0 ] [ 2780, -3 ] [ 3017, -2 ] [ 3333, -2 ] [ 3649, -2 ] [ 3965, 1 ] [ 4044, -3 ] [ 4281, 4 ] [ 4360, 1 ] [ 4597, -2 ] [ 5308, -3 ] [ 5545, -1 ] [ 5624, -2 ] [ 5861, 0 ] [ 6177, -1 ] [ 6493, -2 ] [ 6572, 8 ] [ 6809, 2 ] [ 6888, 6 ] [ 7441, 2 ] [ 7757, 2 ] [ 7836, 1 ] [ 8152, -1 ] [ 8389, 0 ] [ 8705, -1 ] [ 9021, -3 ] [ 9337, -1 ] [ 9416, 0 ] [ 9969, 2 ] /* D = 17 (mod 79 ) [ 17, 1 ] [ 412, 1 ] [ 649, 2 ] [ 728, -3 ] [ 965, -1 ] [ 1281, -1 ] [ 1597, 1 ] [ 1676, -1 ] [ 1913, 0 ] [ 1992, 4 ] [ 2229, 1 ] [ 2545, -3 ] [ 2861, 0 ] [ 3256, 2 ] [ 3493, -1 ] [ 3809, 0 ] [ 4204, -1 ] [ 4441, 0 ] [ 4520, 4 ] [ 4757, 3 ] [ 5073, -3 ] [ 5389, 1 ] [ 5468, 1 ] [ 5705, 2 ] [ 5784, 1 ] [ 6337, 0 ] [ 6653, -8 ] [ 6969, 0 ] [ 7048, 4 ] [ 7285, -1 ] [ 7601, 0 ] [ 7917, -1 ] [ 7996, -4 ] [ 8233, -2 ] [ 8312, -8 ] [ 8549, -3 ] [ 9181, 2 ] [ 9260, 9 ] [ 9497, -1 ] [ 9813, 0 ] /* D = 24 (mod 79 ) [ 24, -1 ] [ 577, -1 ] [ 893, -1 ] [ 1209, 1 ] [ 1288, 2 ] [ 1841, -2 ] [ 2157, 2 ] [ 2236, 2 ] [ 2473, -1 ] [ 2552, -4 ] [ 2789, -1 ] [ 3421, 2 ] [ 3737, 1 ] [ 4053, -9 ] [ 4369, 0 ] [ 4685, -3 ] [ 4764, -1 ] [ 5001, 0 ] [ 5080, 3 ] [ 5317, 1 ] [ 5633, 6 ] [ 6028, 0 ] [ 6265, 1 ] [ 6344, 4 ] [ 6581, 2 ] [ 7213, -2 ] [ 7292, 6 ] [ 7529, 3 ] [ 7608, -9 ] [ 7845, 5 ] [ 8161, -1 ] [ 8556, 0 ] [ 8872, -4 ] [ 9109, -2 ] [ 9741, 1 ] [ 9820, -3 ] /* D = 27 (mod 79 ) [ 185, -1 ] [ 264, 0 ] [ 501, 0 ] [ 817, 0 ] [ 1133, 4 ] [ 1212, 3 ] [ 1528, -1 ] [ 1765, -3 ] [ 2081, 1 ] [ 2397, -3 ] [ 2476, 1 ] [ 2713, 2 ] [ 2792, -2 ] [ 3029, 2 ] [ 3345, -1 ] [ 3661, -3 ] [ 3740, -2 ] [ 3977, -2 ] [ 4609, 0 ] [ 5241, 2 ] [ 5320, 2 ] [ 5557, 3 ] [ 5873, 0 ] [ 6189, 3 ] [ 6268, 4 ] [ 6505, 1 ] [ 6584, -2 ] [ 6821, -3 ] [ 7453, 6 ] [ 7532, -5 ] [ 7769, -1 ] [ 8401, 2 ] [ 8717, 0 ] [ 8796, 2 ] [ 9033, 0 ] [ 9112, 6 ] [ 9349, -1 ] [ 9665, 2 ] /* D = 28 (mod 79 ) [ 28, -1 ] [ 265, -1 ] [ 344, 0 ] [ 581, -1 ] [ 897, 2 ] [ 1213, 1 ] [ 1292, 2 ] [ 1529, 2 ] [ 1608, 0 ] [ 2161, 0 ] [ 2477, -3 ] [ 2872, -1 ] [ 3109, 1 ] [ 3741, -2 ] [ 3820, 3 ] [ 4057, -4 ] [ 4136, -4 ] [ 4373, 2 ] [ 5005, 2 ] [ 5084, 2 ] [ 5321, 2 ] [ 5637, 0 ] [ 5953, -3 ] [ 6269, 1 ] [ 6585, -2 ] [ 6901, 3 ] [ 7217, -1 ] [ 7612, -2 ] [ 7849, -2 ] [ 7928, 3 ] [ 8165, 2 ] [ 8481, 2 ] [ 8797, 7 ] [ 8876, -1 ] [ 9113, 3 ] [ 9192, -2 ] [ 9429, -1 ] [ 9745, -4 ] /* D = 29 (mod 79 ) [ 29, -1 ] [ 345, 0 ] [ 424, 0 ] [ 661, 0 ] [ 977, 1 ] [ 1293, 4 ] [ 1609, 0 ] [ 1688, 0 ] [ 2557, -2 ] [ 2636, 1 ] [ 3189, -2 ] [ 3505, -1 ] [ 3821, 1 ] [ 4137, -4 ] [ 4216, -2 ] [ 4453, 2 ] [ 4769, -1 ] [ 5164, 1 ] [ 5401, 0 ] [ 5480, 0 ] [ 5717, 9 ] [ 6033, -2 ] [ 6349, 0 ] [ 6428, 5 ] [ 6665, 0 ] [ 6744, 1 ] [ 6981, -1 ] [ 7297, -1 ] [ 7613, 2 ] [ 7692, 5 ] [ 8008, 4 ] [ 8245, 1 ] [ 8561, 0 ] [ 8877, -6 ] [ 8956, -1 ] [ 9193, 3 ] [ 9272, -10 ] [ 9509, 0 ] /* D = 30 (mod 79 ) [ 109, 0 ] [ 188, -1 ] [ 741, 1 ] [ 1057, 2 ] [ 1373, 1 ] [ 1689, -1 ] [ 1768, 2 ] [ 2005, 1 ] [ 2321, 0 ] [ 2716, 1 ] [ 2953, 0 ] [ 3032, -3 ] [ 3269, -5 ] [ 3585, 1 ] [ 3901, -1 ] [ 3980, 1 ] [ 4217, 0 ] [ 4296, -2 ] [ 4533, -1 ] [ 4849, 1 ] [ 5165, 1 ] [ 5244, 0 ] [ 5560, 1 ] [ 5797, 0 ] [ 6113, 4 ] [ 6429, -1 ] [ 6508, 5 ] [ 6745, -1 ] [ 6824, -4 ] [ 7061, 4 ] [ 7377, -6 ] [ 7772, -4 ] [ 8009, 2 ] [ 8088, 3 ] [ 8641, -2 ] [ 9273, 2 ] [ 9352, -6 ] [ 9589, 2 ] [ 9905, 1 ] /* D = 33 (mod 79 ) [ 33, 0 ] [ 349, 0 ] [ 428, -1 ] [ 665, -1 ] [ 744, -2 ] [ 1297, 4 ] [ 1613, -2 ] [ 1929, 0 ] [ 2008, -1 ] [ 2245, -1 ] [ 2561, 0 ] [ 2877, -3 ] [ 2956, 1 ] [ 3193, 1 ] [ 3272, -2 ] [ 4141, 0 ] [ 4220, 2 ] [ 4457, -5 ] [ 4773, 8 ] [ 5089, 0 ] [ 5405, 6 ] [ 5484, 1 ] [ 5721, -1 ] [ 6037, -4 ] [ 6353, -2 ] [ 6748, -3 ] [ 6985, -2 ] [ 7064, -1 ] [ 7617, -5 ] [ 7933, -1 ] [ 8012, 8 ] [ 8249, 0 ] [ 8328, -2 ] [ 8565, -2 ] [ 8881, 1 ] [ 9197, 9 ] [ 9276, 0 ] [ 9592, -4 ] [ 9829, -5 ] /* D = 34 (mod 79 ) [ 113, 0 ] [ 429, 2 ] [ 508, -1 ] [ 745, 0 ] [ 824, 1 ] [ 1061, -2 ] [ 1693, -1 ] [ 1772, -2 ] [ 2641, 1 ] [ 2957, 2 ] [ 3036, 2 ] [ 3273, 2 ] [ 3352, 3 ] [ 3589, 3 ] [ 3905, -2 ] [ 4537, 2 ] [ 4616, -2 ] [ 4853, -4 ] [ 5169, 2 ] [ 5485, -2 ] [ 5564, -3 ] [ 5801, 2 ] [ 6117, -3 ] [ 6433, -1 ] [ 6749, -3 ] [ 6828, 0 ] [ 7144, 0 ] [ 7697, 2 ] [ 8013, -1 ] [ 8329, -3 ] [ 8408, 7 ] [ 8645, 3 ] [ 8961, 1 ] [ 9277, 2 ] [ 9356, -1 ] [ 9593, 2 ] [ 9672, 8 ] /* D = 35 (mod 79 ) [ 193, 1 ] [ 509, -1 ] [ 904, 0 ] [ 1141, -2 ] [ 1457, 1 ] [ 1852, -1 ] [ 2089, 0 ] [ 2168, 2 ] [ 2405, 3 ] [ 2721, 2 ] [ 3037, -1 ] [ 3116, 2 ] [ 3353, -4 ] [ 3432, 4 ] [ 3669, 0 ] [ 3985, -2 ] [ 4301, 2 ] [ 4380, -6 ] [ 4696, 3 ] [ 4933, -3 ] [ 5249, 0 ] [ 5565, 3 ] [ 5644, 0 ] [ 5881, 1 ] [ 5960, -2 ] [ 6197, 4 ] [ 6513, -6 ] [ 6829, 1 ] [ 6908, 2 ] [ 7145, -4 ] [ 7224, 0 ] [ 7777, 4 ] [ 8093, 3 ] [ 8409, -1 ] [ 8488, -2 ] [ 9041, 0 ] [ 9357, -6 ] [ 9436, 1 ] [ 9673, 4 ] [ 9752, -10 ] [ 9989, 0 ] /* D = 37 (mod 79 ) [ 37, -1 ] [ 353, 1 ] [ 669, -1 ] [ 748, -2 ] [ 985, 2 ] [ 1064, 0 ] [ 1301, 3 ] [ 1933, -6 ] [ 2012, 3 ] [ 2249, -2 ] [ 2328, -1 ] [ 2881, 0 ] [ 3197, 6 ] [ 3513, -3 ] [ 3592, -2 ] [ 3829, 0 ] [ 4145, 1 ] [ 4461, 0 ] [ 4540, 0 ] [ 4777, 1 ] [ 4856, -1 ] [ 5093, -4 ] [ 5804, -1 ] [ 6041, -3 ] [ 6357, 4 ] [ 6673, 2 ] [ 6989, -1 ] [ 7068, 0 ] [ 7305, 4 ] [ 7384, 1 ] [ 7621, -2 ] [ 7937, -3 ] [ 8332, 3 ] [ 8569, 2 ] [ 8648, 6 ] [ 8885, -5 ] [ 9201, -3 ] [ 9517, 4 ] [ 9596, -2 ] [ 9833, -7 ] [ 9912, -3 ] /* D = 39 (mod 79 ) [ 197, 2 ] [ 829, -1 ] [ 908, -2 ] [ 1145, -3 ] [ 1461, 0 ] [ 1777, 3 ] [ 2093, -2 ] [ 2172, 2 ] [ 2409, 0 ] [ 2488, -4 ] [ 3041, 2 ] [ 3436, 3 ] [ 3673, 3 ] [ 3752, 2 ] [ 3989, 2 ] [ 4305, 2 ] [ 4621, -3 ] [ 4937, -5 ] [ 5016, 0 ] [ 5253, -7 ] [ 5569, -1 ] [ 5885, 4 ] [ 5964, -5 ] [ 6280, 0 ] [ 6833, -1 ] [ 7149, 5 ] [ 7228, -3 ] [ 7465, 2 ] [ 7544, 2 ] [ 7781, -1 ] [ 8097, -3 ] [ 8413, -1 ] [ 8492, 0 ] [ 8729, -2 ] [ 8808, -2 ] [ 9361, 2 ] [ 9677, 0 ] [ 9993, 5 ] /* D = 41 (mod 79 ) [ 41, 0 ] [ 120, -1 ] [ 357, -1 ] [ 673, 0 ] [ 989, 0 ] [ 1068, -1 ] [ 1384, 2 ] [ 1621, 0 ] [ 1937, 2 ] [ 2253, 1 ] [ 2332, -2 ] [ 2569, -1 ] [ 2648, -6 ] [ 2885, -3 ] [ 3201, -2 ] [ 3517, -1 ] [ 3596, -2 ] [ 3833, 0 ] [ 3912, 6 ] [ 4465, 1 ] [ 4781, 3 ] [ 5097, -5 ] [ 5176, -2 ] [ 5413, 2 ] [ 5729, -1 ] [ 6045, 1 ] [ 6124, 5 ] [ 6361, -3 ] [ 6440, 6 ] [ 6677, 6 ] [ 7309, 3 ] [ 7388, -3 ] [ 7941, 3 ] [ 8257, -4 ] [ 8573, -10 ] [ 8652, -1 ] [ 8889, 4 ] [ 8968, 2 ] [ 9205, 2 ] [ 9521, 1 ] [ 9916, 2 ] /* D = 43 (mod 79 ) [ 201, -1 ] [ 280, 1 ] [ 517, 2 ] [ 1149, 1 ] [ 1228, -2 ] [ 1465, -2 ] [ 1544, -2 ] [ 1781, -1 ] [ 2413, -3 ] [ 2492, 7 ] [ 2729, 2 ] [ 3045, 1 ] [ 3361, 0 ] [ 3677, 2 ] [ 3756, 0 ] [ 4072, -4 ] [ 4309, -1 ] [ 5020, -1 ] [ 5257, 1 ] [ 5336, -2 ] [ 5573, -3 ] [ 5889, 2 ] [ 6205, -2 ] [ 6284, 0 ] [ 6521, 2 ] [ 6837, -4 ] [ 7153, -4 ] [ 7469, -4 ] [ 7548, 2 ] [ 7864, 4 ] [ 8101, 2 ] [ 8417, 0 ] [ 8733, 2 ] [ 8812, -3 ] [ 9049, 1 ] [ 9128, -2 ] [ 9365, 3 ] [ 9681, 0 ] [ 9997, 5 ] /* D = 47 (mod 79 ) [ 205, 0 ] [ 284, -1 ] [ 521, 1 ] [ 1153, 2 ] [ 1469, -4 ] [ 1785, 1 ] [ 1864, 0 ] [ 2101, 0 ] [ 2417, -4 ] [ 2733, 3 ] [ 2812, 6 ] [ 3049, 2 ] [ 3128, -2 ] [ 3365, 4 ] [ 3997, 2 ] [ 4076, 1 ] [ 4313, -2 ] [ 4629, -1 ] [ 4945, 0 ] [ 5261, 3 ] [ 5340, -3 ] [ 5656, 1 ] [ 5893, -7 ] [ 6209, 0 ] [ 6604, -3 ] [ 6841, -2 ] [ 6920, 2 ] [ 7157, 5 ] [ 7473, -3 ] [ 7789, 0 ] [ 7868, 1 ] [ 8105, 0 ] [ 8184, 2 ] [ 8421, 1 ] [ 8737, 2 ] [ 9053, 0 ] [ 9132, 2 ] [ 9448, -8 ] [ 9685, -2 ] /* D = 48 (mod 79 ) [ 285, 1 ] [ 364, 1 ] [ 601, -1 ] [ 680, -2 ] [ 917, 0 ] [ 1549, 0 ] [ 1628, 2 ] [ 1865, -1 ] [ 2181, 0 ] [ 2497, 2 ] [ 2813, -3 ] [ 2892, -1 ] [ 3129, -2 ] [ 3208, 4 ] [ 3445, 1 ] [ 3761, 1 ] [ 4156, 0 ] [ 4393, 2 ] [ 4472, 0 ] [ 4709, 3 ] [ 5420, -6 ] [ 5657, -3 ] [ 5736, 2 ] [ 5973, -6 ] [ 6289, 0 ] [ 6605, -1 ] [ 6684, -1 ] [ 7237, -4 ] [ 7553, 1 ] [ 7869, -2 ] [ 7948, 1 ] [ 8185, -2 ] [ 8264, -2 ] [ 8501, 1 ] [ 8817, -8 ] [ 9133, 2 ] [ 9449, 2 ] [ 9528, -5 ] /* D = 53 (mod 79 ) [ 53, -1 ] [ 685, 3 ] [ 764, -1 ] [ 1001, 0 ] [ 1317, 0 ] [ 1633, -2 ] [ 1949, -4 ] [ 2265, 2 ] [ 2344, 0 ] [ 2581, 1 ] [ 2897, 3 ] [ 3292, 6 ] [ 3529, -1 ] [ 3608, -6 ] [ 3845, -1 ] [ 4161, -2 ] [ 4556, -2 ] [ 4793, 0 ] [ 4872, 0 ] [ 5109, 2 ] [ 5741, 3 ] [ 5820, 5 ] [ 6136, -1 ] [ 6373, -1 ] [ 6689, -1 ] [ 7005, -3 ] [ 7084, 2 ] [ 7321, 1 ] [ 7637, -2 ] [ 7953, 4 ] [ 8269, 0 ] [ 8348, -1 ] [ 8585, -1 ] [ 9217, -1 ] [ 9533, 0 ] [ 9928, 1 ] /* D = 54 (mod 79 ) [ 133, -1 ] [ 449, 1 ] [ 844, -2 ] [ 1081, -2 ] [ 1160, 4 ] [ 1397, 0 ] [ 1713, 0 ] [ 2029, -1 ] [ 2108, 2 ] [ 2345, 1 ] [ 2424, -3 ] [ 2661, 0 ] [ 2977, 1 ] [ 3293, -3 ] [ 3372, 1 ] [ 3688, 2 ] [ 4241, 1 ] [ 4636, 2 ] [ 4873, -4 ] [ 4952, -7 ] [ 5189, 0 ] [ 5505, 1 ] [ 5821, 4 ] [ 6216, 0 ] [ 6769, -3 ] [ 7085, 0 ] [ 7401, 0 ] [ 7480, 2 ] [ 7717, -1 ] [ 8033, -1 ] [ 8665, 2 ] [ 8744, 2 ] [ 8981, 1 ] [ 9613, 4 ] [ 9692, 3 ] [ 9929, 2 ] /* D = 56 (mod 79 ) [ 56, -1 ] [ 293, -2 ] [ 609, 1 ] [ 1004, -1 ] [ 1241, 0 ] [ 1320, 0 ] [ 1873, 3 ] [ 2189, 0 ] [ 2505, -4 ] [ 2584, 2 ] [ 2821, -1 ] [ 3137, 0 ] [ 3453, -3 ] [ 3532, -3 ] [ 3769, 1 ] [ 3848, -4 ] [ 4085, 2 ] [ 4717, -1 ] [ 4796, 0 ] [ 5033, -2 ] [ 5349, 4 ] [ 5665, -2 ] [ 5981, 1 ] [ 6060, -1 ] [ 6297, 1 ] [ 6376, -2 ] [ 6613, -3 ] [ 7324, 2 ] [ 7561, 0 ] [ 7640, 3 ] [ 7877, 5 ] [ 8193, -1 ] [ 8509, -3 ] [ 8588, 4 ] [ 8904, -2 ] [ 9141, -2 ] [ 9773, -3 ] [ 9852, -6 ] /* D = 57 (mod 79 ) [ 57, -1 ] [ 136, 0 ] [ 373, 1 ] [ 689, -1 ] [ 1005, 3 ] [ 1084, 2 ] [ 1321, -1 ] [ 1637, -2 ] [ 2269, 1 ] [ 2348, -5 ] [ 2585, 0 ] [ 2901, -1 ] [ 3217, 2 ] [ 3533, -7 ] [ 3612, 2 ] [ 3849, -3 ] [ 3928, 1 ] [ 4481, 5 ] [ 4876, -2 ] [ 5113, -1 ] [ 5192, -4 ] [ 5429, 1 ] [ 5745, -1 ] [ 6061, 0 ] [ 6140, 0 ] [ 6377, 5 ] [ 6456, 3 ] [ 6693, -4 ] [ 7009, 0 ] [ 7404, -1 ] [ 7720, 0 ] [ 7957, 2 ] [ 8273, -4 ] [ 8589, 1 ] [ 8668, -2 ] [ 8905, -3 ] [ 8984, 1 ] [ 9221, -1 ] [ 9853, -6 ] [ 9932, -1 ] /* D = 58 (mod 79 ) [ 137, -1 ] [ 453, 2 ] [ 769, 1 ] [ 1085, -3 ] [ 1164, 1 ] [ 1401, -1 ] [ 1480, 0 ] [ 1717, -1 ] [ 2033, 3 ] [ 2428, -1 ] [ 2665, 0 ] [ 2981, -2 ] [ 3297, 0 ] [ 3613, 2 ] [ 3692, 1 ] [ 3929, -1 ] [ 4008, -2 ] [ 4245, -5 ] [ 4561, 1 ] [ 4877, 0 ] [ 4956, -1 ] [ 5272, 1 ] [ 5509, 0 ] [ 6141, 2 ] [ 6220, 0 ] [ 6457, 4 ] [ 6536, 4 ] [ 6773, 9 ] [ 7089, 1 ] [ 7405, -2 ] [ 7484, -3 ] [ 7721, -3 ] [ 8353, -1 ] [ 8669, 1 ] [ 8985, -1 ] [ 9064, 0 ] [ 9301, 2 ] [ 9617, -2 ] [ 9933, -6 ] /* D = 59 (mod 79 ) [ 217, 1 ] [ 296, -2 ] [ 533, -4 ] [ 849, 1 ] [ 1165, 2 ] [ 1244, 4 ] [ 1481, 0 ] [ 1560, -1 ] [ 1797, 5 ] [ 2113, -1 ] [ 2429, -1 ] [ 2508, -4 ] [ 2824, 2 ] [ 3061, 0 ] [ 3377, -4 ] [ 3693, -7 ] [ 3772, -2 ] [ 4009, 0 ] [ 4088, -2 ] [ 4641, -1 ] [ 4957, 2 ] [ 5036, 1 ] [ 5273, 3 ] [ 5352, 6 ] [ 5905, 2 ] [ 6221, 3 ] [ 6537, -2 ] [ 6616, -3 ] [ 6853, -4 ] [ 7169, 1 ] [ 7485, 1 ] [ 7564, -2 ] [ 7801, -1 ] [ 7880, 0 ] [ 8117, 3 ] [ 8749, 0 ] [ 8828, 3 ] [ 9381, -3 ] [ 9697, -1 ] /* D = 60 (mod 79 ) [ 60, -1 ] [ 376, 1 ] [ 613, 0 ] [ 929, 2 ] [ 1245, -3 ] [ 1324, 0 ] [ 1561, -1 ] [ 1640, -2 ] [ 1877, -1 ] [ 2193, 2 ] [ 2509, 3 ] [ 2588, 2 ] [ 3457, 0 ] [ 4089, -1 ] [ 4168, 2 ] [ 4405, -3 ] [ 4721, -2 ] [ 5037, 0 ] [ 5116, 1 ] [ 5353, -3 ] [ 5432, 3 ] [ 5669, 0 ] [ 6301, 2 ] [ 6380, -4 ] [ 6617, -3 ] [ 6933, 8 ] [ 7249, -2 ] [ 7565, -1 ] [ 7881, 1 ] [ 7960, 3 ] [ 8197, 7 ] [ 8513, 3 ] [ 8908, -2 ] [ 9145, 1 ] [ 9224, -2 ] [ 9461, -3 ] [ 9777, -7 ] /* D = 61 (mod 79 ) [ 61, -1 ] [ 140, 1 ] [ 377, 1 ] [ 456, -2 ] [ 1009, 0 ] [ 1641, 0 ] [ 1720, -2 ] [ 1957, -1 ] [ 2273, -4 ] [ 2589, 3 ] [ 2668, 2 ] [ 2905, 1 ] [ 2984, 0 ] [ 3221, 1 ] [ 3853, -3 ] [ 3932, -4 ] [ 4169, 0 ] [ 4485, -2 ] [ 4801, 1 ] [ 5117, 2 ] [ 5196, 3 ] [ 5433, 4 ] [ 5512, 2 ] [ 5749, 0 ] [ 6065, 3 ] [ 6460, -2 ] [ 6697, 2 ] [ 7013, 0 ] [ 7329, 0 ] [ 7645, -4 ] [ 7724, 0 ] [ 7961, -3 ] [ 8040, -2 ] [ 8277, -1 ] [ 8593, 2 ] [ 8909, -2 ] [ 8988, 7 ] [ 9304, 2 ] [ 9541, 3 ] [ 9857, -3 ] /* D = 63 (mod 79 ) [ 221, 1 ] [ 537, -3 ] [ 616, 0 ] [ 853, 4 ] [ 1169, 0 ] [ 1564, 2 ] [ 1801, -1 ] [ 1880, -3 ] [ 2117, -4 ] [ 2433, 4 ] [ 2749, -1 ] [ 2828, 3 ] [ 3065, 2 ] [ 3144, 4 ] [ 3697, 1 ] [ 4013, -1 ] [ 4092, -6 ] [ 4408, -4 ] [ 4645, 0 ] [ 5277, 5 ] [ 5356, -1 ] [ 5593, -3 ] [ 5672, 6 ] [ 5909, 0 ] [ 6541, -2 ] [ 6620, 0 ] [ 6857, 1 ] [ 7489, 1 ] [ 7805, -3 ] [ 8121, 0 ] [ 8437, -4 ] [ 8753, 1 ] [ 9069, -2 ] [ 9148, -1 ] [ 9385, 1 ] [ 9701, 2 ] /* D = 66 (mod 79 ) [ 145, 1 ] [ 461, -2 ] [ 777, 1 ] [ 856, -1 ] [ 1093, 0 ] [ 1409, 0 ] [ 1804, 2 ] [ 2041, 0 ] [ 2120, -6 ] [ 2357, 0 ] [ 3068, 5 ] [ 3305, -2 ] [ 3621, 1 ] [ 3937, -3 ] [ 4253, 3 ] [ 4569, 2 ] [ 4648, -2 ] [ 4885, 3 ] [ 5201, 3 ] [ 5596, 0 ] [ 5833, -2 ] [ 5912, 3 ] [ 6149, -2 ] [ 6465, -6 ] [ 6781, 0 ] [ 7097, 0 ] [ 7176, 2 ] [ 7413, -3 ] [ 7729, 0 ] [ 8045, 0 ] [ 8124, 1 ] [ 8440, 0 ] [ 8677, 0 ] [ 9309, 3 ] [ 9388, 3 ] [ 9704, -2 ] [ 9941, 3 ] /* D = 68 (mod 79 ) [ 305, -1 ] [ 937, 1 ] [ 1016, 1 ] [ 1253, 1 ] [ 1569, -1 ] [ 1885, 1 ] [ 1964, 3 ] [ 2201, 1 ] [ 2280, -4 ] [ 2517, 2 ] [ 2833, -4 ] [ 3149, 1 ] [ 3228, 1 ] [ 3544, 0 ] [ 3781, -3 ] [ 4097, 3 ] [ 4413, -5 ] [ 4492, -1 ] [ 4729, 2 ] [ 4808, -8 ] [ 5045, -2 ] [ 5361, 0 ] [ 5677, -2 ] [ 5756, 1 ] [ 5993, 0 ] [ 6072, 10 ] [ 6941, 4 ] [ 7257, 2 ] [ 7336, 0 ] [ 7573, 2 ] [ 8205, 8 ] [ 8284, -2 ] [ 8521, 1 ] [ 8837, -4 ] [ 9469, -1 ] [ 9548, 2 ] [ 9785, -5 ] /* D = 69 (mod 79 ) [ 69, 0 ] [ 385, 0 ] [ 701, 1 ] [ 780, -1 ] [ 1096, -2 ] [ 1333, -2 ] [ 1649, 1 ] [ 1965, 0 ] [ 2044, 2 ] [ 2281, -1 ] [ 2360, -3 ] [ 2913, 1 ] [ 3229, 0 ] [ 3308, 7 ] [ 3545, -1 ] [ 3624, 2 ] [ 4177, 3 ] [ 4493, 7 ] [ 4809, -1 ] [ 4888, -5 ] [ 5441, -3 ] [ 5757, -7 ] [ 5836, 0 ] [ 6073, -2 ] [ 6152, 0 ] [ 6389, 0 ] [ 7021, -3 ] [ 7337, 2 ] [ 7653, 6 ] [ 7969, 0 ] [ 8285, -3 ] [ 8364, -4 ] [ 8601, -1 ] [ 8680, 6 ] [ 8917, 1 ] [ 9233, -3 ] [ 9628, 0 ] [ 9865, 2 ] [ 9944, -2 ] /* D = 70 (mod 79 ) [ 149, 0 ] [ 465, 1 ] [ 781, 0 ] [ 860, -4 ] [ 1097, 2 ] [ 1729, -3 ] [ 2045, -1 ] [ 2361, 0 ] [ 2440, 0 ] [ 2677, 5 ] [ 2993, 2 ] [ 3309, 1 ] [ 3704, 3 ] [ 3941, 1 ] [ 4573, 5 ] [ 4652, 0 ] [ 4889, 0 ] [ 5205, 1 ] [ 5521, 0 ] [ 5837, -11 ] [ 5916, -2 ] [ 6153, 0 ] [ 6232, 2 ] [ 6469, 1 ] [ 6785, -2 ] [ 7180, 3 ] [ 7417, 1 ] [ 7496, -2 ] [ 7733, -2 ] [ 8049, 2 ] [ 8365, 3 ] [ 8444, 1 ] [ 8681, 0 ] [ 8760, 6 ] [ 8997, -1 ] [ 9313, -5 ] [ 9629, 0 ] [ 9708, -1 ] /* D = 71 (mod 79 ) [ 229, -1 ] [ 545, -2 ] [ 861, 2 ] [ 940, -1 ] [ 1177, 2 ] [ 1256, 0 ] [ 1493, 6 ] [ 2204, 0 ] [ 2441, -1 ] [ 2757, -7 ] [ 3073, 0 ] [ 3389, -1 ] [ 3705, 1 ] [ 3784, 0 ] [ 4021, 1 ] [ 4337, 0 ] [ 4969, 2 ] [ 5048, 5 ] [ 5285, 2 ] [ 5601, -1 ] [ 5917, -3 ] [ 5996, 2 ] [ 6233, 2 ] [ 6312, 0 ] [ 6549, 1 ] [ 6865, 3 ] [ 7181, -4 ] [ 7576, 0 ] [ 7813, -1 ] [ 8129, 0 ] [ 8445, 1 ] [ 8524, 3 ] [ 8761, -1 ] [ 8840, -4 ] [ 9077, -4 ] [ 9393, 1 ] [ 9709, 0 ] [ 9788, 7 ] /* D = 74 (mod 79 ) [ 232, -2 ] [ 469, -1 ] [ 785, 2 ] [ 1101, -1 ] [ 1180, -1 ] [ 1417, -2 ] [ 1496, 2 ] [ 1733, 2 ] [ 2049, -1 ] [ 2365, 2 ] [ 2444, -3 ] [ 2681, 3 ] [ 2760, -2 ] [ 3313, -1 ] [ 3629, -3 ] [ 3945, -2 ] [ 4024, 1 ] [ 4261, -2 ] [ 4577, -2 ] [ 4893, 0 ] [ 4972, 2 ] [ 5209, -1 ] [ 5288, 2 ] [ 6157, 4 ] [ 6236, 1 ] [ 6473, 3 ] [ 6789, 6 ] [ 7421, 0 ] [ 7737, -2 ] [ 7816, -2 ] [ 8053, 2 ] [ 8369, -1 ] [ 8764, 2 ] [ 9001, -1 ] [ 9080, 2 ] [ 9949, 2 ] /* D = 75 (mod 79 ) [ 233, 2 ] [ 312, 1 ] [ 865, 0 ] [ 1181, 0 ] [ 1497, -1 ] [ 1576, 0 ] [ 2129, -3 ] [ 2445, 4 ] [ 2524, 1 ] [ 2761, 2 ] [ 2840, -1 ] [ 3077, 2 ] [ 3709, 3 ] [ 3788, 6 ] [ 4341, 1 ] [ 4657, -1 ] [ 4973, -5 ] [ 5052, 1 ] [ 5289, -2 ] [ 5368, -2 ] [ 5605, 3 ] [ 5921, 1 ] [ 6316, -1 ] [ 6553, -1 ] [ 6632, -4 ] [ 6869, -1 ] [ 7185, 0 ] [ 7501, -3 ] [ 7580, -3 ] [ 7817, 3 ] [ 7896, -1 ] [ 8133, 7 ] [ 8449, 3 ] [ 8765, -1 ] [ 8844, 2 ] [ 9160, 4 ] [ 9397, -1 ] [ 9713, -2 ] /* D = 77 (mod 79 ) [ 77, 2 ] [ 156, 1 ] [ 393, -2 ] [ 472, -1 ] [ 709, -1 ] [ 1420, -1 ] [ 1657, -1 ] [ 1736, 0 ] [ 1973, 0 ] [ 2289, 2 ] [ 2605, 1 ] [ 2684, -2 ] [ 2921, 2 ] [ 3237, -1 ] [ 3553, -2 ] [ 3869, -2 ] [ 3948, -7 ] [ 4264, 2 ] [ 4501, 0 ] [ 4817, 5 ] [ 5133, 1 ] [ 5212, 3 ] [ 5449, 0 ] [ 5528, 1 ] [ 5765, 0 ] [ 6081, -2 ] [ 6397, -6 ] [ 6476, -2 ] [ 6792, -4 ] [ 7345, 0 ] [ 7661, -4 ] [ 7977, 2 ] [ 8056, -2 ] [ 8293, 8 ] [ 8609, -3 ] [ 9004, 5 ] [ 9241, 2 ] [ 9320, 0 ] [ 9557, -3 ] /* D = 78 (mod 79 ) [ 157, -2 ] [ 236, 1 ] [ 473, 2 ] [ 552, -2 ] [ 789, 2 ] [ 1105, -1 ] [ 1816, 0 ] [ 2053, 1 ] [ 2369, 0 ] [ 2685, -1 ] [ 2764, -1 ] [ 3001, 0 ] [ 3080, 0 ] [ 3317, -3 ] [ 3633, -4 ] [ 3949, 4 ] [ 4028, -2 ] [ 4265, -2 ] [ 4344, 0 ] [ 4897, 1 ] [ 5213, 7 ] [ 5529, -3 ] [ 5608, 0 ] [ 5845, 0 ] [ 6161, 1 ] [ 6477, 1 ] [ 6556, 4 ] [ 6793, 0 ] [ 6872, 5 ] [ 7109, 1 ] [ 7741, 1 ] [ 7820, -2 ] [ 8057, 1 ] [ 8373, -4 ] [ 8689, -2 ] [ 9005, -5 ] [ 9084, -1 ] [ 9321, 3 ] [ 9637, -2 ] [ 9953, 1 ] Total time: 36428.080 seconds, Total memory usage: 54.72MB