Magma V2.13-11 Sat Nov 10 2007 22:23:58 on amd16 [Seed = 3333926642] Type ? for help. Type -D to quit. Loading file "do-61" Loading "../data/M.61.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 = x^3 - 2*x + 1 over Rational Field working over Qp = the 61-adic field mod 61^20 ------------------------------------------------------------------- /* D = 2 (mod 61 ) [ 124, 0 ] [ 185, 1 ] [ 429, -1 ] [ 673, -1 ] [ 856, 0 ] [ 917, 1 ] [ 1405, 0 ] [ 1649, -2 ] [ 1832, -3 ] [ 1893, 1 ] [ 2076, -4 ] [ 2137, 1 ] [ 2381, 1 ] [ 2869, -1 ] [ 3052, 1 ] [ 3113, -1 ] [ 3601, 1 ] [ 3784, 0 ] [ 3845, 5 ] [ 4028, -8 ] [ 4089, 0 ] [ 4333, 6 ] [ 4577, -2 ] [ 4760, -2 ] [ 4821, -2 ] [ 5065, -3 ] [ 5309, 6 ] [ 5736, 2 ] [ 5797, -4 ] [ 5980, 3 ] [ 6041, 0 ] [ 6285, -2 ] [ 6529, 2 ] [ 6712, -2 ] [ 6773, -5 ] [ 6956, 2 ] [ 7017, -1 ] [ 7261, 0 ] [ 7505, -3 ] [ 7932, -2 ] [ 7993, 0 ] [ 8237, 3 ] [ 8481, 2 ] [ 8908, 2 ] [ 8969, -1 ] [ 9213, 8 ] [ 9640, -1 ] [ 9701, -2 ] [ 9884, -3 ] /* D = 6 (mod 61 ) [ 433, -2 ] [ 616, -1 ] [ 677, 6 ] [ 860, 0 ] [ 921, 1 ] [ 1165, 1 ] [ 1409, -2 ] [ 1592, 4 ] [ 1653, -4 ] [ 1897, 1 ] [ 2141, 3 ] [ 2568, -4 ] [ 2629, 1 ] [ 2812, -2 ] [ 3117, -3 ] [ 3361, 1 ] [ 3544, -2 ] [ 3605, -7 ] [ 3788, 3 ] [ 3849, 1 ] [ 4093, -2 ] [ 4337, 2 ] [ 4520, -3 ] [ 4764, 2 ] [ 5069, 1 ] [ 5313, 3 ] [ 5496, 2 ] [ 5557, 2 ] [ 5740, 1 ] [ 5801, -3 ] [ 6045, 6 ] [ 6289, 3 ] [ 6472, 3 ] [ 6533, 0 ] [ 6716, 3 ] [ 7021, -1 ] [ 7265, 0 ] [ 7509, 4 ] [ 7692, 2 ] [ 7753, -3 ] [ 7997, -4 ] [ 8241, -3 ] [ 8485, -4 ] [ 8668, -3 ] [ 8729, -2 ] [ 9217, 1 ] [ 9461, 1 ] [ 9644, -4 ] [ 9705, -3 ] [ 9949, -3 ] /* D = 7 (mod 61 ) [ 129, 0 ] [ 312, -2 ] [ 373, 3 ] [ 556, -1 ] [ 617, -2 ] [ 861, -1 ] [ 1105, -1 ] [ 1288, -1 ] [ 1349, 0 ] [ 1532, -5 ] [ 1837, -3 ] [ 2081, 2 ] [ 2264, 4 ] [ 2508, 0 ] [ 2569, 0 ] [ 2813, 8 ] [ 3057, 3 ] [ 3301, -1 ] [ 3484, -1 ] [ 3545, 3 ] [ 4033, -1 ] [ 4216, 0 ] [ 4277, -6 ] [ 4460, 5 ] [ 4521, 1 ] [ 4765, -1 ] [ 5009, 0 ] [ 5192, -3 ] [ 5253, -2 ] [ 5497, 1 ] [ 5741, 0 ] [ 6168, -4 ] [ 6229, 1 ] [ 6412, 1 ] [ 6473, -3 ] [ 6717, -5 ] [ 6961, -1 ] [ 7144, -4 ] [ 7205, 1 ] [ 7388, -5 ] [ 7449, 3 ] [ 7937, -4 ] [ 8120, 4 ] [ 8364, 2 ] [ 8669, -1 ] [ 8913, -3 ] [ 9096, 6 ] [ 9157, 3 ] [ 9340, 1 ] [ 9401, 1 ] [ 9645, 4 ] [ 9889, 0 ] /* D = 8 (mod 61 ) [ 8, -1 ] [ 69, 1 ] [ 313, 0 ] [ 557, -2 ] [ 984, 0 ] [ 1045, -1 ] [ 1228, -3 ] [ 1289, 1 ] [ 1533, 3 ] [ 1777, 2 ] [ 2021, -4 ] [ 2204, -2 ] [ 2265, -3 ] [ 2509, 0 ] [ 2753, 0 ] [ 2936, 2 ] [ 3180, 2 ] [ 3241, 0 ] [ 3485, 1 ] [ 3729, -1 ] [ 3912, -2 ] [ 3973, -1 ] [ 4156, 1 ] [ 4217, 2 ] [ 4461, 5 ] [ 4705, -1 ] [ 4888, 0 ] [ 5132, 1 ] [ 5437, 2 ] [ 5681, -1 ] [ 5864, -1 ] [ 6108, -2 ] [ 6169, -2 ] [ 6657, 4 ] [ 6901, 1 ] [ 7084, 1 ] [ 7145, 5 ] [ 7633, 1 ] [ 7816, -6 ] [ 7877, 11 ] [ 8060, -6 ] [ 8121, 1 ] [ 8365, -1 ] [ 8609, -4 ] [ 8792, 6 ] [ 8853, 3 ] [ 9097, -3 ] [ 9341, 2 ] [ 9768, 4 ] [ 9829, -2 ] /* D = 10 (mod 61 ) [ 193, 0 ] [ 376, 0 ] [ 437, -3 ] [ 620, 4 ] [ 681, 1 ] [ 1169, 1 ] [ 1596, 0 ] [ 1657, 0 ] [ 1901, 1 ] [ 2145, 1 ] [ 2328, 8 ] [ 2389, -4 ] [ 2572, 0 ] [ 2633, -3 ] [ 2877, -5 ] [ 3121, -1 ] [ 3304, 1 ] [ 3365, 1 ] [ 3548, -4 ] [ 3853, 1 ] [ 4097, 1 ] [ 4280, 0 ] [ 4341, 4 ] [ 4524, 2 ] [ 4585, 1 ] [ 4829, 5 ] [ 5073, -4 ] [ 5317, 2 ] [ 5561, -2 ] [ 6049, -1 ] [ 6232, -2 ] [ 6293, 2 ] [ 6476, 5 ] [ 6537, 0 ] [ 6781, -1 ] [ 7208, 0 ] [ 7269, 1 ] [ 7513, 1 ] [ 7757, -5 ] [ 8184, 0 ] [ 8245, 4 ] [ 8489, 0 ] [ 8733, 4 ] [ 8977, -2 ] [ 9160, -1 ] [ 9221, -5 ] [ 9404, -7 ] [ 9465, 1 ] [ 9709, -3 ] [ 9953, -4 ] /* D = 11 (mod 61 ) [ 133, 1 ] [ 316, 1 ] [ 377, 1 ] [ 865, 2 ] [ 1048, -2 ] [ 1109, -2 ] [ 1292, 2 ] [ 1353, -3 ] [ 1597, -4 ] [ 1841, 1 ] [ 2024, 1 ] [ 2085, 3 ] [ 2329, 1 ] [ 2573, 6 ] [ 3061, 0 ] [ 3244, 1 ] [ 3305, -1 ] [ 3793, -1 ] [ 3976, 2 ] [ 4037, -2 ] [ 4220, 0 ] [ 4281, -1 ] [ 4769, 0 ] [ 4952, -8 ] [ 5196, -2 ] [ 5257, -4 ] [ 5501, 0 ] [ 5745, 1 ] [ 5928, -8 ] [ 5989, 0 ] [ 6172, -2 ] [ 6233, 3 ] [ 6477, -2 ] [ 6721, 0 ] [ 6904, 2 ] [ 6965, -8 ] [ 7148, 4 ] [ 7453, 4 ] [ 7697, -8 ] [ 7880, 7 ] [ 7941, -1 ] [ 8124, 2 ] [ 8185, 0 ] [ 8429, 3 ] [ 8917, 5 ] [ 9161, 4 ] [ 9649, 1 ] [ 9832, 1 ] [ 9893, -1 ] /* D = 17 (mod 61 ) [ 17, -1 ] [ 444, 0 ] [ 505, -1 ] [ 749, 0 ] [ 993, -1 ] [ 1237, 2 ] [ 1420, 0 ] [ 1481, 3 ] [ 1969, 0 ] [ 2152, -2 ] [ 2213, -4 ] [ 2396, -3 ] [ 2701, -3 ] [ 2945, -2 ] [ 3128, 4 ] [ 3189, -1 ] [ 3372, -4 ] [ 3433, 1 ] [ 3677, -2 ] [ 3921, 2 ] [ 4348, 1 ] [ 4409, 1 ] [ 4897, 2 ] [ 5080, 0 ] [ 5141, 0 ] [ 5385, 0 ] [ 5629, 0 ] [ 5873, 6 ] [ 6056, -5 ] [ 6117, 0 ] [ 6361, 0 ] [ 6605, 0 ] [ 7032, 4 ] [ 7093, 2 ] [ 7276, 2 ] [ 7337, 5 ] [ 8008, 3 ] [ 8069, -2 ] [ 8252, -4 ] [ 8313, -8 ] [ 8557, -4 ] [ 8801, -2 ] [ 8984, -6 ] [ 9228, -10 ] [ 9289, 0 ] [ 9533, 5 ] [ 9777, -3 ] [ 9960, -2 ] /* D = 18 (mod 61 ) [ 140, -1 ] [ 201, -1 ] [ 445, 0 ] [ 689, 0 ] [ 872, 3 ] [ 933, 1 ] [ 1177, 2 ] [ 1848, -2 ] [ 1909, 0 ] [ 2092, 5 ] [ 2153, -5 ] [ 2397, 4 ] [ 2641, -1 ] [ 2824, -3 ] [ 2885, -3 ] [ 3068, -3 ] [ 3129, 1 ] [ 3373, -4 ] [ 3617, 4 ] [ 4044, 2 ] [ 4105, 0 ] [ 4349, 1 ] [ 4593, -1 ] [ 4776, 4 ] [ 4837, 2 ] [ 5020, -2 ] [ 5081, 5 ] [ 5569, 0 ] [ 5752, 4 ] [ 5813, 4 ] [ 5996, 0 ] [ 6301, -1 ] [ 6545, -1 ] [ 6789, -2 ] [ 6972, -6 ] [ 7033, 0 ] [ 7277, 5 ] [ 7521, 1 ] [ 7765, 3 ] [ 7948, 1 ] [ 8009, 1 ] [ 8497, -2 ] [ 8680, 0 ] [ 8741, 1 ] [ 8924, 4 ] [ 8985, 3 ] [ 9229, -2 ] [ 9473, -7 ] [ 9656, -4 ] [ 9717, -5 ] [ 9961, 0 ] /* D = 21 (mod 61 ) [ 21, 1 ] [ 204, 2 ] [ 265, 0 ] [ 509, 1 ] [ 753, -2 ] [ 997, -1 ] [ 1180, -1 ] [ 1241, -1 ] [ 1729, -1 ] [ 1912, 4 ] [ 1973, 3 ] [ 2217, 1 ] [ 2461, 2 ] [ 2705, 2 ] [ 2949, -2 ] [ 3193, 2 ] [ 3437, -1 ] [ 3864, 0 ] [ 4108, 3 ] [ 4169, 1 ] [ 4413, 1 ] [ 4657, 3 ] [ 5084, -4 ] [ 5389, 0 ] [ 5633, 0 ] [ 5816, 2 ] [ 6060, 4 ] [ 6121, -1 ] [ 6365, -7 ] [ 6609, 1 ] [ 6792, 4 ] [ 6853, -4 ] [ 7036, -4 ] [ 7097, -4 ] [ 7341, -1 ] [ 7585, -1 ] [ 7768, 2 ] [ 7829, -2 ] [ 8012, 3 ] [ 8317, 4 ] [ 8561, -2 ] [ 8744, -3 ] [ 8805, 6 ] [ 8988, 0 ] [ 9049, -2 ] [ 9293, 3 ] [ 9781, 0 ] [ 9964, 2 ] /* D = 23 (mod 61 ) [ 145, -1 ] [ 328, 1 ] [ 389, 2 ] [ 572, -3 ] [ 633, 0 ] [ 877, 0 ] [ 1121, -3 ] [ 1304, -2 ] [ 1365, 1 ] [ 1609, 0 ] [ 1853, 1 ] [ 2280, 0 ] [ 2341, 0 ] [ 2524, 1 ] [ 2585, 0 ] [ 2829, 1 ] [ 3073, 1 ] [ 3256, 2 ] [ 3317, -8 ] [ 3561, 3 ] [ 3805, 3 ] [ 4049, 0 ] [ 4476, -2 ] [ 4537, 1 ] [ 4781, -3 ] [ 5208, -4 ] [ 5269, -2 ] [ 5452, -2 ] [ 5513, 1 ] [ 5757, -2 ] [ 6001, 1 ] [ 6184, 2 ] [ 6245, 4 ] [ 6428, -2 ] [ 6733, 0 ] [ 6977, 2 ] [ 7160, 2 ] [ 7221, 2 ] [ 7404, 4 ] [ 7465, -1 ] [ 7709, -1 ] [ 7953, 1 ] [ 8197, -2 ] [ 8380, 0 ] [ 8441, 0 ] [ 8929, -3 ] [ 9112, -2 ] [ 9173, 11 ] [ 9356, 3 ] [ 9417, -6 ] [ 9661, -1 ] [ 9905, -1 ] /* D = 24 (mod 61 ) [ 24, 0 ] [ 85, -1 ] [ 268, 1 ] [ 329, 2 ] [ 573, -1 ] [ 817, 0 ] [ 1061, -1 ] [ 1244, 1 ] [ 1549, 0 ] [ 1793, -3 ] [ 1976, 4 ] [ 2037, -2 ] [ 2220, 0 ] [ 2281, 0 ] [ 2769, 0 ] [ 3013, 5 ] [ 3196, -2 ] [ 3257, -5 ] [ 3745, 2 ] [ 3928, 0 ] [ 3989, -2 ] [ 4172, 3 ] [ 4233, 2 ] [ 4721, 0 ] [ 4904, -4 ] [ 4965, 3 ] [ 5209, -3 ] [ 5453, 7 ] [ 5941, 3 ] [ 6124, 1 ] [ 6185, -4 ] [ 6429, 0 ] [ 6673, -2 ] [ 6856, -1 ] [ 6917, 2 ] [ 7161, -2 ] [ 7405, 1 ] [ 7649, 0 ] [ 7832, -2 ] [ 8076, -2 ] [ 8137, 1 ] [ 8808, 2 ] [ 9052, 6 ] [ 9113, -2 ] [ 9357, -10 ] [ 9601, -1 ] [ 9784, 2 ] [ 9845, -6 ] /* D = 26 (mod 61 ) [ 209, -1 ] [ 453, 1 ] [ 636, -2 ] [ 697, -1 ] [ 941, 3 ] [ 1185, -1 ] [ 1429, 1 ] [ 1612, -2 ] [ 1673, -1 ] [ 2161, 1 ] [ 2344, 0 ] [ 2405, 3 ] [ 2588, 1 ] [ 2649, -1 ] [ 2893, -1 ] [ 3137, 2 ] [ 3320, -2 ] [ 3869, -2 ] [ 4296, -2 ] [ 4357, -2 ] [ 4540, 3 ] [ 4601, 0 ] [ 4845, -4 ] [ 5089, 0 ] [ 5272, 4 ] [ 5333, -2 ] [ 5516, -1 ] [ 5821, 0 ] [ 6065, 1 ] [ 6248, 2 ] [ 6492, 0 ] [ 6553, -3 ] [ 6797, 8 ] [ 7041, 1 ] [ 7224, -4 ] [ 7285, -2 ] [ 7468, -2 ] [ 7529, 2 ] [ 7773, 7 ] [ 8017, 1 ] [ 8261, -6 ] [ 8444, -1 ] [ 8749, 1 ] [ 9176, 4 ] [ 9237, -1 ] [ 9420, 2 ] [ 9481, -1 ] [ 9969, 1 ] /* D = 28 (mod 61 ) [ 28, -1 ] [ 89, 0 ] [ 577, 1 ] [ 760, 0 ] [ 821, 2 ] [ 1004, 2 ] [ 1065, 2 ] [ 1309, 1 ] [ 1553, 3 ] [ 1736, 0 ] [ 1797, -3 ] [ 2041, -3 ] [ 2285, 1 ] [ 2712, -8 ] [ 2773, 0 ] [ 2956, 1 ] [ 3017, 0 ] [ 3261, 1 ] [ 3505, 0 ] [ 3688, 0 ] [ 3749, -3 ] [ 3932, -6 ] [ 4237, -1 ] [ 4481, -1 ] [ 4664, 0 ] [ 4908, 2 ] [ 4969, 1 ] [ 5213, 4 ] [ 5457, -2 ] [ 5640, 6 ] [ 5701, 2 ] [ 5884, -5 ] [ 5945, 1 ] [ 6189, 2 ] [ 6433, 0 ] [ 6616, 2 ] [ 6677, -6 ] [ 7165, 0 ] [ 7409, 2 ] [ 7592, -5 ] [ 7653, 6 ] [ 7836, 0 ] [ 7897, -2 ] [ 8141, -6 ] [ 8385, -2 ] [ 8629, -1 ] [ 8812, 1 ] [ 8873, 1 ] [ 9361, -1 ] [ 9544, -3 ] [ 9605, -5 ] [ 9788, -1 ] /* D = 29 (mod 61 ) [ 29, -1 ] [ 273, 1 ] [ 456, 0 ] [ 517, 0 ] [ 761, 1 ] [ 1005, -1 ] [ 1249, 2 ] [ 1432, 2 ] [ 1493, -3 ] [ 1676, 0 ] [ 1981, 1 ] [ 2408, -6 ] [ 2469, 2 ] [ 2652, -2 ] [ 2713, -3 ] [ 2957, 3 ] [ 3201, 0 ] [ 3445, -2 ] [ 3628, 0 ] [ 3689, -2 ] [ 4177, 0 ] [ 4360, 1 ] [ 4421, -3 ] [ 4604, 1 ] [ 4665, -3 ] [ 4909, -1 ] [ 5153, -2 ] [ 5336, -2 ] [ 5397, 8 ] [ 5641, 0 ] [ 5885, 0 ] [ 6312, -4 ] [ 6373, 3 ] [ 6556, -1 ] [ 6617, 5 ] [ 6861, 1 ] [ 7288, -2 ] [ 7349, 3 ] [ 7532, 14 ] [ 7593, -2 ] [ 7837, 0 ] [ 8081, 0 ] [ 8264, 4 ] [ 8508, -8 ] [ 8569, 1 ] [ 8813, -6 ] [ 9057, -1 ] [ 9240, -4 ] [ 9301, 0 ] [ 9484, 1 ] [ 9545, 8 ] [ 9789, -6 ] /* D = 30 (mod 61 ) [ 152, 2 ] [ 213, 2 ] [ 457, -1 ] [ 701, 0 ] [ 1128, -2 ] [ 1189, -1 ] [ 1433, 2 ] [ 1677, -4 ] [ 1921, 1 ] [ 2104, 0 ] [ 2165, 0 ] [ 2348, 2 ] [ 2409, -3 ] [ 2653, 5 ] [ 2897, 2 ] [ 3080, 7 ] [ 3324, 4 ] [ 3385, 2 ] [ 3629, 1 ] [ 3873, 1 ] [ 4117, -4 ] [ 4605, 1 ] [ 4849, -1 ] [ 5032, 0 ] [ 5093, -6 ] [ 5276, 3 ] [ 5581, -3 ] [ 6008, 0 ] [ 6252, -6 ] [ 6313, -2 ] [ 6557, -4 ] [ 6801, -1 ] [ 7045, 0 ] [ 7228, -1 ] [ 7289, 7 ] [ 7777, 1 ] [ 7960, 0 ] [ 8021, 0 ] [ 8204, -4 ] [ 8265, 0 ] [ 8509, -1 ] [ 8753, -3 ] [ 8936, 1 ] [ 8997, 1 ] [ 9241, -1 ] [ 9485, 3 ] [ 9912, 2 ] [ 9973, 2 ] /* D = 31 (mod 61 ) [ 92, -1 ] [ 397, -1 ] [ 641, -2 ] [ 824, -4 ] [ 885, 1 ] [ 1068, 0 ] [ 1129, 1 ] [ 1373, 3 ] [ 1861, -2 ] [ 2044, -1 ] [ 2105, 1 ] [ 2593, 1 ] [ 2776, 0 ] [ 2837, -7 ] [ 3020, -3 ] [ 3081, 1 ] [ 3569, 0 ] [ 3752, -3 ] [ 3813, 4 ] [ 4057, 1 ] [ 4301, 1 ] [ 4728, -2 ] [ 4789, 0 ] [ 4972, -3 ] [ 5033, -7 ] [ 5277, -6 ] [ 5521, 0 ] [ 5704, -2 ] [ 5765, 6 ] [ 5948, 3 ] [ 6009, 1 ] [ 6497, 0 ] [ 6680, 2 ] [ 6924, 0 ] [ 6985, -1 ] [ 7229, -2 ] [ 7473, 2 ] [ 7656, 2 ] [ 7717, 5 ] [ 7961, 0 ] [ 8205, -7 ] [ 8449, 0 ] [ 8632, 2 ] [ 8693, 3 ] [ 8876, -10 ] [ 9181, 2 ] [ 9608, 0 ] [ 9669, -2 ] [ 9852, -2 ] [ 9913, -6 ] /* D = 32 (mod 61 ) [ 93, 0 ] [ 337, -2 ] [ 520, 1 ] [ 581, 0 ] [ 764, -1 ] [ 1069, 2 ] [ 1313, -1 ] [ 1496, -2 ] [ 1740, 2 ] [ 1801, 1 ] [ 2045, -2 ] [ 2289, -1 ] [ 2472, -2 ] [ 2533, -1 ] [ 2716, 0 ] [ 2777, 2 ] [ 3021, -2 ] [ 3265, 0 ] [ 3448, -2 ] [ 3692, -2 ] [ 3997, 0 ] [ 4241, 3 ] [ 4424, 3 ] [ 4485, 3 ] [ 4668, 0 ] [ 4729, 1 ] [ 4973, 4 ] [ 5217, 4 ] [ 5461, 2 ] [ 5644, 0 ] [ 5705, 1 ] [ 6193, -1 ] [ 6376, 1 ] [ 6437, -13 ] [ 6620, -1 ] [ 6681, -2 ] [ 7169, 2 ] [ 7352, 6 ] [ 7413, 9 ] [ 7657, 0 ] [ 7901, -1 ] [ 8328, 0 ] [ 8389, -2 ] [ 8572, -4 ] [ 8633, 2 ] [ 8877, -4 ] [ 9121, 1 ] [ 9304, 0 ] [ 9365, 3 ] [ 9548, -2 ] [ 9609, -5 ] [ 9853, 1 ] /* D = 33 (mod 61 ) [ 33, -1 ] [ 277, 1 ] [ 460, -1 ] [ 521, -1 ] [ 1009, -1 ] [ 1192, 3 ] [ 1253, -2 ] [ 1436, 4 ] [ 1497, 1 ] [ 1741, 0 ] [ 1985, 1 ] [ 2168, -2 ] [ 2229, 1 ] [ 2473, -1 ] [ 2717, 1 ] [ 3144, 2 ] [ 3205, -2 ] [ 3449, 3 ] [ 3693, -4 ] [ 3937, 2 ] [ 4120, -2 ] [ 4181, -1 ] [ 4364, -1 ] [ 4669, -1 ] [ 5340, 0 ] [ 5401, 1 ] [ 5645, -7 ] [ 5889, 1 ] [ 6072, 6 ] [ 6133, 4 ] [ 6316, -2 ] [ 6377, 3 ] [ 6621, 1 ] [ 6865, 1 ] [ 7048, -3 ] [ 7109, -1 ] [ 7292, 7 ] [ 7597, 2 ] [ 7841, 1 ] [ 8024, 2 ] [ 8268, -2 ] [ 8329, -2 ] [ 8573, -2 ] [ 8817, -4 ] [ 9061, -1 ] [ 9244, 3 ] [ 9305, -2 ] [ 9793, 0 ] [ 9976, -4 ] /* D = 35 (mod 61 ) [ 157, 1 ] [ 401, 0 ] [ 584, 1 ] [ 645, -2 ] [ 889, -1 ] [ 1133, 1 ] [ 1560, 0 ] [ 1621, 2 ] [ 1804, 1 ] [ 1865, -1 ] [ 2109, -2 ] [ 2353, 0 ] [ 2536, 0 ] [ 2780, 5 ] [ 2841, 1 ] [ 3085, -2 ] [ 3329, 2 ] [ 3512, 2 ] [ 3756, 2 ] [ 3817, -3 ] [ 4061, 0 ] [ 4305, 1 ] [ 4488, 2 ] [ 4549, 0 ] [ 4793, -1 ] [ 5037, 3 ] [ 5281, 1 ] [ 5464, 4 ] [ 5708, -11 ] [ 6013, -3 ] [ 6257, 1 ] [ 6440, 3 ] [ 6501, -1 ] [ 6684, 4 ] [ 6745, 4 ] [ 6989, 1 ] [ 7233, -8 ] [ 7477, 0 ] [ 7660, -3 ] [ 7721, -2 ] [ 8209, -1 ] [ 8392, 1 ] [ 8453, 2 ] [ 8636, 4 ] [ 8697, 3 ] [ 8941, 0 ] [ 9185, 3 ] [ 9368, -12 ] [ 9429, -1 ] [ 9673, 1 ] [ 9917, 6 ] /* D = 37 (mod 61 ) [ 37, 1 ] [ 220, 1 ] [ 281, 2 ] [ 769, -1 ] [ 952, 0 ] [ 1013, 1 ] [ 1196, -3 ] [ 1257, 2 ] [ 1501, -1 ] [ 1745, -3 ] [ 1928, -3 ] [ 2172, 6 ] [ 2233, -1 ] [ 2477, 4 ] [ 2721, 2 ] [ 2965, -1 ] [ 3148, -4 ] [ 3209, 0 ] [ 3453, 3 ] [ 3697, 2 ] [ 3880, 0 ] [ 3941, 1 ] [ 4124, -1 ] [ 4429, 2 ] [ 4673, -4 ] [ 4856, 0 ] [ 4917, -3 ] [ 5161, -1 ] [ 5405, 0 ] [ 5649, 2 ] [ 5893, 2 ] [ 6808, 0 ] [ 6869, -4 ] [ 7052, 2 ] [ 7113, -5 ] [ 7357, 2 ] [ 7601, 0 ] [ 7784, -1 ] [ 7845, 1 ] [ 8089, 0 ] [ 8333, 4 ] [ 8760, -2 ] [ 8821, 0 ] [ 9004, -1 ] [ 9309, 2 ] [ 9553, 1 ] [ 9736, 0 ] [ 9797, 8 ] [ 9980, 3 ] /* D = 38 (mod 61 ) [ 221, 1 ] [ 465, 0 ] [ 709, 1 ] [ 892, -1 ] [ 953, -5 ] [ 1441, -1 ] [ 1624, -2 ] [ 1685, -4 ] [ 1868, -3 ] [ 1929, 2 ] [ 2173, 2 ] [ 2417, 4 ] [ 2661, 0 ] [ 2905, 0 ] [ 3149, -2 ] [ 3576, 2 ] [ 3637, -3 ] [ 3820, -1 ] [ 3881, 1 ] [ 4369, 0 ] [ 4552, 5 ] [ 4613, 7 ] [ 4796, -3 ] [ 4857, 1 ] [ 5101, -2 ] [ 5345, 0 ] [ 5528, -2 ] [ 5772, -8 ] [ 5833, 3 ] [ 6077, -3 ] [ 6504, -2 ] [ 6565, -3 ] [ 6748, 3 ] [ 6809, -2 ] [ 7053, -9 ] [ 7297, -2 ] [ 7480, 0 ] [ 7541, 4 ] [ 7724, 5 ] [ 8029, 0 ] [ 8273, -1 ] [ 8456, 3 ] [ 8517, 4 ] [ 8761, 0 ] [ 9005, 5 ] [ 9249, -2 ] [ 9493, 6 ] [ 9676, 1 ] [ 9737, -2 ] /* D = 40 (mod 61 ) [ 40, -1 ] [ 101, -1 ] [ 284, 0 ] [ 345, -1 ] [ 589, 2 ] [ 1016, 2 ] [ 1077, 4 ] [ 1321, 0 ] [ 1565, 2 ] [ 1992, 2 ] [ 2053, -3 ] [ 2236, 2 ] [ 2297, -2 ] [ 2785, 2 ] [ 2968, 0 ] [ 3029, -1 ] [ 3212, -7 ] [ 3273, 1 ] [ 3517, -4 ] [ 3761, 1 ] [ 3944, 0 ] [ 4188, 6 ] [ 4249, -2 ] [ 4493, 2 ] [ 4737, 2 ] [ 4920, -2 ] [ 4981, 2 ] [ 5164, -1 ] [ 5469, -3 ] [ 5713, -1 ] [ 5896, -1 ] [ 5957, -3 ] [ 6140, 9 ] [ 6445, 5 ] [ 6689, 0 ] [ 6872, 4 ] [ 6933, 1 ] [ 7116, 0 ] [ 7177, 2 ] [ 7421, 4 ] [ 7665, 1 ] [ 7909, 1 ] [ 8153, 2 ] [ 8641, -1 ] [ 8824, 4 ] [ 8885, -10 ] [ 9068, -1 ] [ 9129, -2 ] [ 9373, -1 ] [ 9617, -3 ] [ 9861, 0 ] /* D = 43 (mod 61 ) [ 104, 1 ] [ 165, 1 ] [ 348, -2 ] [ 409, 0 ] [ 653, 0 ] [ 897, -3 ] [ 1141, -1 ] [ 1324, -1 ] [ 1385, 3 ] [ 1873, 1 ] [ 2056, -2 ] [ 2117, -1 ] [ 2361, -2 ] [ 2605, -1 ] [ 2849, 1 ] [ 3032, -2 ] [ 3093, 3 ] [ 3337, 2 ] [ 3581, 1 ] [ 4008, 2 ] [ 4069, 0 ] [ 4252, -5 ] [ 4313, -1 ] [ 4801, 0 ] [ 4984, -2 ] [ 5045, 1 ] [ 5228, -6 ] [ 5289, 0 ] [ 5533, -1 ] [ 5777, 2 ] [ 5960, 3 ] [ 6204, -6 ] [ 6265, -4 ] [ 6509, -5 ] [ 6753, 3 ] [ 6997, 3 ] [ 7180, 4 ] [ 7241, 4 ] [ 7485, -3 ] [ 7729, 3 ] [ 7912, 0 ] [ 7973, -9 ] [ 8156, -4 ] [ 8461, 2 ] [ 8705, -2 ] [ 8888, 0 ] [ 8949, 2 ] [ 9132, 8 ] [ 9193, -4 ] [ 9437, 11 ] [ 9681, 0 ] /* D = 44 (mod 61 ) [ 44, 1 ] [ 105, 1 ] [ 349, -1 ] [ 593, 1 ] [ 776, 2 ] [ 1020, -2 ] [ 1081, 0 ] [ 1569, -1 ] [ 1752, 0 ] [ 1996, 1 ] [ 2301, -1 ] [ 2545, 1 ] [ 2728, 2 ] [ 2789, 4 ] [ 2972, 9 ] [ 3277, 5 ] [ 3521, -1 ] [ 3704, -2 ] [ 3765, -2 ] [ 3948, -6 ] [ 4009, 0 ] [ 4253, 6 ] [ 4497, 2 ] [ 4741, -2 ] [ 4924, 2 ] [ 4985, -5 ] [ 5473, -5 ] [ 5656, -2 ] [ 5717, 0 ] [ 5961, 1 ] [ 6205, -1 ] [ 6449, -1 ] [ 6632, -7 ] [ 6693, 2 ] [ 6937, 0 ] [ 7181, -2 ] [ 7608, 4 ] [ 7669, -1 ] [ 7852, 1 ] [ 7913, 2 ] [ 8157, 1 ] [ 8401, 0 ] [ 8584, 0 ] [ 8645, -7 ] [ 8828, 1 ] [ 8889, 1 ] [ 9133, 1 ] [ 9377, 1 ] [ 9560, 6 ] [ 9804, 4 ] [ 9865, 3 ] /* D = 50 (mod 61 ) [ 172, -2 ] [ 233, -1 ] [ 721, 1 ] [ 904, 1 ] [ 965, 6 ] [ 1148, 5 ] [ 1209, -2 ] [ 1453, 0 ] [ 1697, 0 ] [ 1880, -4 ] [ 1941, -1 ] [ 2185, 1 ] [ 2429, 1 ] [ 2856, 2 ] [ 2917, -3 ] [ 3161, -3 ] [ 3405, -3 ] [ 3649, 0 ] [ 3832, 2 ] [ 3893, -5 ] [ 4076, -1 ] [ 4137, 3 ] [ 4381, 0 ] [ 4808, 1 ] [ 5052, 2 ] [ 5113, 1 ] [ 5357, 7 ] [ 5601, 2 ] [ 5784, 4 ] [ 5845, -1 ] [ 6028, -1 ] [ 6089, 3 ] [ 6333, 5 ] [ 6577, -5 ] [ 6821, -2 ] [ 7004, -2 ] [ 7309, 0 ] [ 7553, -6 ] [ 7736, -2 ] [ 7797, -3 ] [ 7980, 4 ] [ 8041, 2 ] [ 8285, -8 ] [ 8529, 2 ] [ 8773, 8 ] [ 8956, -1 ] [ 9017, 2 ] [ 9505, -1 ] [ 9688, -6 ] [ 9749, 1 ] [ 9932, -15 ] [ 9993, 1 ] /* D = 51 (mod 61 ) [ 173, 2 ] [ 417, -3 ] [ 661, 1 ] [ 844, 0 ] [ 905, 2 ] [ 1149, -1 ] [ 1393, -2 ] [ 1576, 1 ] [ 1637, -2 ] [ 1820, 1 ] [ 2369, 1 ] [ 2552, 4 ] [ 2613, 7 ] [ 2796, 2 ] [ 2857, 4 ] [ 3101, 0 ] [ 3345, 1 ] [ 3589, 0 ] [ 3772, -3 ] [ 3833, -4 ] [ 4321, 1 ] [ 4504, 2 ] [ 4565, -8 ] [ 4748, 11 ] [ 4809, 1 ] [ 5053, 0 ] [ 5297, 7 ] [ 5480, 1 ] [ 5541, -5 ] [ 5785, 0 ] [ 6029, -2 ] [ 6456, -4 ] [ 6761, 1 ] [ 7005, -1 ] [ 7249, 1 ] [ 7432, 1 ] [ 7493, -3 ] [ 7676, -2 ] [ 7737, -3 ] [ 7981, 1 ] [ 8408, -2 ] [ 8652, 2 ] [ 8713, -3 ] [ 9201, 1 ] [ 9384, -2 ] [ 9445, 4 ] [ 9628, 0 ] [ 9689, -1 ] [ 9933, 6 ] /* D = 53 (mod 61 ) [ 53, -2 ] [ 236, -1 ] [ 541, 0 ] [ 785, -1 ] [ 1212, 4 ] [ 1273, 1 ] [ 1517, 3 ] [ 1761, 0 ] [ 2005, -2 ] [ 2188, 1 ] [ 2249, 0 ] [ 2737, 1 ] [ 2920, -3 ] [ 2981, 1 ] [ 3164, -1 ] [ 3469, -3 ] [ 3713, -4 ] [ 3896, 0 ] [ 3957, 1 ] [ 4201, -2 ] [ 4445, 1 ] [ 4872, 6 ] [ 4933, 4 ] [ 5116, -1 ] [ 5177, -4 ] [ 5421, 1 ] [ 5665, 3 ] [ 5848, 0 ] [ 5909, 5 ] [ 6092, 6 ] [ 6153, -2 ] [ 6397, 6 ] [ 6641, 1 ] [ 6824, 1 ] [ 7068, -8 ] [ 7129, -1 ] [ 7373, 3 ] [ 7617, 3 ] [ 7861, 0 ] [ 8044, 1 ] [ 8105, 0 ] [ 8593, -5 ] [ 8776, 0 ] [ 8837, -1 ] [ 9020, -1 ] [ 9569, -1 ] [ 9752, -12 ] [ 9813, -3 ] /* D = 54 (mod 61 ) [ 237, 3 ] [ 481, -1 ] [ 664, -2 ] [ 908, -3 ] [ 969, 0 ] [ 1213, 1 ] [ 1457, -2 ] [ 1640, -3 ] [ 1884, -2 ] [ 1945, 0 ] [ 2189, 2 ] [ 2433, 1 ] [ 2616, 2 ] [ 2677, 0 ] [ 2860, 3 ] [ 2921, -3 ] [ 3165, -4 ] [ 3409, 3 ] [ 3592, 1 ] [ 3653, 6 ] [ 3836, -1 ] [ 4141, -1 ] [ 4385, 4 ] [ 4568, -4 ] [ 4629, -2 ] [ 4812, 2 ] [ 4873, -2 ] [ 5117, -8 ] [ 5361, 0 ] [ 5605, -1 ] [ 5788, -6 ] [ 5849, -4 ] [ 6337, -1 ] [ 6520, -4 ] [ 6581, 5 ] [ 6764, 0 ] [ 7069, 1 ] [ 7313, -2 ] [ 7496, -3 ] [ 7557, -1 ] [ 7801, 0 ] [ 8045, 8 ] [ 8472, 4 ] [ 8533, 0 ] [ 8716, 2 ] [ 8777, 3 ] [ 9021, 0 ] [ 9265, -1 ] [ 9448, -1 ] [ 9509, 0 ] [ 9692, -1 ] [ 9753, -3 ] [ 9997, 1 ] /* D = 55 (mod 61 ) [ 177, -1 ] [ 421, -1 ] [ 604, 1 ] [ 665, 3 ] [ 1153, 0 ] [ 1336, 0 ] [ 1397, 3 ] [ 1580, -5 ] [ 1641, -1 ] [ 1885, -1 ] [ 2129, 0 ] [ 2373, -1 ] [ 2617, 3 ] [ 2861, -1 ] [ 3288, -4 ] [ 3349, 1 ] [ 3532, -1 ] [ 3593, -6 ] [ 3837, 1 ] [ 4081, -2 ] [ 4264, -3 ] [ 4569, 0 ] [ 4813, 3 ] [ 5057, 8 ] [ 5240, 4 ] [ 5484, -4 ] [ 5545, 0 ] [ 5789, 1 ] [ 6033, -3 ] [ 6216, 0 ] [ 6277, -1 ] [ 6460, 2 ] [ 6521, 0 ] [ 6765, -1 ] [ 7009, 0 ] [ 7192, 0 ] [ 7253, -1 ] [ 7741, 1 ] [ 7985, 4 ] [ 8168, -9 ] [ 8229, 0 ] [ 8412, 8 ] [ 8473, -3 ] [ 8717, -5 ] [ 8961, 0 ] [ 9205, -5 ] [ 9388, -5 ] [ 9449, -1 ] [ 9937, -1 ] /* D = 59 (mod 61 ) [ 120, 2 ] [ 181, 0 ] [ 364, -1 ] [ 669, 1 ] [ 913, 0 ] [ 1096, -1 ] [ 1157, -8 ] [ 1340, 1 ] [ 1401, 1 ] [ 1645, -2 ] [ 1889, 0 ] [ 2072, -4 ] [ 2316, -2 ] [ 2377, 1 ] [ 2621, 3 ] [ 2865, -1 ] [ 3048, 0 ] [ 3109, 2 ] [ 3292, 0 ] [ 3353, -4 ] [ 3597, 1 ] [ 3841, -1 ] [ 4024, 0 ] [ 4085, 2 ] [ 4268, -2 ] [ 4573, 2 ] [ 4817, 3 ] [ 5061, -1 ] [ 5244, 0 ] [ 5305, 1 ] [ 5549, -4 ] [ 5793, -3 ] [ 6037, -3 ] [ 6220, -3 ] [ 6281, -2 ] [ 6769, -1 ] [ 6952, -5 ] [ 7013, 10 ] [ 7196, 4 ] [ 7257, -3 ] [ 7501, 3 ] [ 7745, 4 ] [ 7928, 8 ] [ 7989, 1 ] [ 8233, 1 ] [ 8904, 2 ] [ 8965, -1 ] [ 9148, 5 ] [ 9209, 3 ] [ 9453, -1 ] [ 9697, -2 ] [ 9880, 2 ] [ 9941, -5 ] Total time: 28699.040 seconds, Total memory usage: 51.71MB