Magma V2.13-11 Sun Nov 11 2007 03:03:44 on amd14 [Seed = 794696041] Type ? for help. Type -D to quit. Loading file "do-43" Loading "../data/M.43.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^2 over Rational Field working over Qp = the 43-adic field mod 43^20 ------------------------------------------------------------------- /* D = 2 (mod 43 ) [ 88, -1 ] [ 217, 1 ] [ 389, 0 ] [ 561, -1 ] [ 604, -1 ] [ 733, -4 ] [ 776, 1 ] [ 905, 0 ] [ 1077, 3 ] [ 1249, 0 ] [ 1292, 6 ] [ 1464, 0 ] [ 1765, -1 ] [ 1937, 2 ] [ 2109, 0 ] [ 2152, -3 ] [ 2281, 2 ] [ 2453, 3 ] [ 2668, 1 ] [ 2797, 4 ] [ 2840, 2 ] [ 2969, 1 ] [ 3313, 1 ] [ 3356, -3 ] [ 3485, -1 ] [ 3657, 1 ] [ 3829, 3 ] [ 4001, 0 ] [ 4044, -1 ] [ 4173, -12 ] [ 4216, 1 ] [ 4345, 0 ] [ 4517, -10 ] [ 4861, 0 ] [ 4904, 0 ] [ 5033, -2 ] [ 5205, 6 ] [ 5377, -2 ] [ 5420, 5 ] [ 5549, -1 ] [ 5592, 0 ] [ 5721, 1 ] [ 5893, -4 ] [ 6065, 1 ] [ 6108, -11 ] [ 6280, 0 ] [ 6409, -1 ] [ 6581, 4 ] [ 6753, -2 ] [ 6796, 2 ] [ 6968, 5 ] [ 7097, 2 ] [ 7269, -1 ] [ 7441, -2 ] [ 7484, -1 ] *** Warning: The precision was insufficient to recognize P( 7613 ) as a global point [ 7613, Infinity ] [ 7656, -2 ] [ 7957, -3 ] [ 8129, 2 ] [ 8301, -3 ] [ 8344, 0 ] [ 8473, 2 ] [ 8645, -6 ] [ 8817, 1 ] [ 8860, -6 ] [ 8989, -1 ] [ 9032, 4 ] [ 9161, 0 ] [ 9505, 1 ] [ 9548, 7 ] [ 9677, -14 ] /* D = 3 (mod 43 ) [ 89, 1 ] [ 433, 1 ] [ 476, 3 ] [ 777, -2 ] [ 949, -1 ] [ 1121, 0 ] [ 1164, 3 ] [ 1293, -5 ] [ 1336, 1 ] [ 1465, 0 ] [ 1637, 1 ] [ 1852, -3 ] [ 1981, -1 ] [ 2024, 1 ] [ 2153, 2 ] [ 2497, 0 ] [ 2540, 5 ] [ 2669, 0 ] [ 2712, -6 ] [ 2841, -1 ] [ 3013, 2 ] [ 3228, -3 ] [ 3529, -1 ] [ 3701, -1 ] [ 3873, 1 ] [ 3916, 1 ] [ 4045, 0 ] [ 4088, 2 ] [ 4217, 2 ] [ 4389, -8 ] [ 4561, -1 ] [ 4604, -3 ] [ 4733, -10 ] [ 4776, 0 ] [ 5077, 0 ] [ 5249, 0 ] [ 5421, -3 ] [ 5464, -1 ] [ 5593, 0 ] [ 5765, -11 ] [ 5937, 2 ] [ 5980, -1 ] [ 6109, 2 ] [ 6152, 2 ] [ 6281, 1 ] [ 6668, 3 ] [ 6797, 9 ] [ 6969, -1 ] [ 7141, -2 ] [ 7313, 4 ] [ 7356, -2 ] [ 7485, 6 ] [ 7528, -3 ] [ 7657, -4 ] [ 7829, 3 ] [ 8044, -1 ] [ 8173, -2 ] [ 8216, -2 ] [ 8345, 0 ] [ 8517, -1 ] [ 8689, -1 ] [ 8732, -6 ] [ 8861, 2 ] [ 8904, 2 ] [ 9033, 8 ] [ 9205, 0 ] [ 9377, -5 ] [ 9420, -6 ] [ 9592, 5 ] [ 9721, 0 ] [ 9893, -4 ] /* D = 5 (mod 43 ) [ 5, 1 ] [ 177, -2 ] [ 220, -1 ] [ 349, 1 ] [ 521, -1 ] [ 865, 0 ] [ 908, -4 ] [ 1037, 7 ] [ 1209, 1 ] [ 1381, -1 ] [ 1553, 4 ] [ 1596, 0 ] [ 1768, -1 ] [ 1897, 1 ] [ 2069, -5 ] [ 2284, -1 ] [ 2413, 0 ] [ 2456, -1 ] [ 2585, 0 ] [ 2757, -3 ] [ 2929, -1 ] [ 2972, 2 ] [ 3101, 0 ] [ 3144, 2 ] [ 3273, 0 ] [ 3445, -3 ] [ 3617, -2 ] [ 3660, 2 ] [ 3832, 3 ] [ 3961, 0 ] [ 4133, 4 ] [ 4305, 0 ] [ 4348, 3 ] [ 4520, 0 ] [ 4649, -2 ] [ 4821, 3 ] [ 4993, -1 ] [ 5036, -1 ] [ 5165, -3 ] [ 5208, -10 ] [ 5509, 0 ] [ 5681, -2 ] [ 5853, 5 ] [ 5896, 1 ] [ 6197, 0 ] [ 6369, 1 ] [ 6412, -1 ] [ 6541, 0 ] [ 6584, 3 ] [ 7057, -4 ] [ 7229, -3 ] [ 7401, 1 ] [ 7573, -4 ] [ 7745, -2 ] [ 7788, -4 ] [ 7917, -4 ] [ 7960, 2 ] [ 8089, -1 ] [ 8261, -5 ] [ 8476, -3 ] [ 8605, 5 ] [ 8648, 10 ] [ 8777, -2 ] [ 8949, -2 ] [ 9121, 1 ] [ 9164, 0 ] [ 9293, -14 ] [ 9336, 4 ] [ 9465, 0 ] [ 9637, 7 ] [ 9809, 1 ] [ 9852, 7 ] /* D = 7 (mod 43 ) [ 93, 3 ] [ 136, 1 ] [ 265, 1 ] [ 437, -6 ] [ 609, 0 ] [ 652, -3 ] [ 781, -2 ] [ 824, 3 ] [ 953, -1 ] [ 1297, 2 ] [ 1340, 3 ] [ 1469, -2 ] [ 1641, -1 ] [ 1985, -2 ] [ 2157, 6 ] [ 2329, 0 ] [ 2501, -1 ] [ 2716, 1 ] [ 2845, -3 ] [ 3017, 3 ] [ 3189, -2 ] [ 3361, 0 ] [ 3404, 4 ] [ 3533, 9 ] [ 3576, -2 ] [ 3705, -2 ] [ 3877, -2 ] [ 4049, -3 ] [ 4092, 1 ] [ 4264, -1 ] [ 4393, -2 ] [ 4565, -1 ] [ 4737, 1 ] [ 4780, 0 ] [ 4909, -4 ] [ 4952, 6 ] [ 5081, 0 ] [ 5253, -3 ] [ 5468, 7 ] [ 5597, 9 ] [ 5640, 0 ] [ 5941, 1 ] [ 6113, 4 ] [ 6285, -8 ] [ 6328, 2 ] [ 6457, 0 ] [ 6629, -1 ] [ 6801, -3 ] [ 6844, 2 ] [ 6973, 6 ] [ 7016, 1 ] [ 7145, 3 ] [ 7489, 0 ] [ 7532, -11 ] [ 7661, -6 ] [ 7833, 6 ] [ 8005, 1 ] [ 8177, 4 ] [ 8220, 0 ] [ 8392, 6 ] [ 8521, 0 ] [ 8693, 3 ] [ 8908, -4 ] [ 9037, 5 ] [ 9080, -2 ] [ 9209, 2 ] [ 9381, 2 ] [ 9553, -4 ] [ 9596, 6 ] [ 9768, 2 ] [ 9897, -3 ] /* D = 8 (mod 43 ) [ 8, -1 ] [ 137, 2 ] [ 309, 1 ] [ 481, 0 ] [ 524, 0 ] [ 653, -4 ] [ 696, 2 ] [ 997, -1 ] [ 1169, 1 ] [ 1212, 3 ] [ 1384, 0 ] [ 1513, -1 ] [ 1685, 5 ] [ 1857, -2 ] [ 2029, 2 ] [ 2072, 0 ] [ 2201, 2 ] [ 2373, 8 ] [ 2545, -1 ] [ 2588, -6 ] [ 2717, -8 ] [ 2760, 0 ] [ 3061, 3 ] [ 3233, 3 ] [ 3405, -4 ] [ 3448, 5 ] [ 3749, -1 ] [ 3921, -1 ] [ 3964, -1 ] [ 4093, 0 ] [ 4136, -6 ] [ 4265, -1 ] [ 4609, -1 ] [ 4652, 9 ] [ 4781, 5 ] [ 4953, 3 ] [ 5297, 5 ] [ 5340, 0 ] [ 5469, 1 ] [ 5512, 5 ] [ 5641, 0 ] [ 5813, -7 ] [ 6028, -4 ] [ 6157, -2 ] [ 6329, 1 ] [ 6501, -4 ] [ 6673, -2 ] [ 6716, 3 ] [ 6888, -10 ] [ 7017, 1 ] [ 7189, -2 ] [ 7361, -1 ] [ 7404, -1 ] [ 7576, -1 ] [ 7705, -1 ] [ 7877, 17 ] [ 8049, 0 ] [ 8221, -2 ] [ 8264, -1 ] [ 8393, -3 ] [ 8565, 6 ] [ 8737, 4 ] [ 8780, 1 ] [ 8909, 0 ] [ 8952, 8 ] [ 9253, 0 ] [ 9597, 8 ] [ 9640, -4 ] [ 9769, 2 ] [ 9941, -5 ] /* D = 12 (mod 43 ) [ 12, 1 ] [ 141, -2 ] [ 184, 1 ] [ 313, 1 ] [ 485, -1 ] [ 829, -2 ] [ 872, -3 ] [ 1001, -1 ] [ 1173, 5 ] [ 1345, -1 ] [ 1388, 1 ] [ 1517, 6 ] [ 1560, 0 ] [ 1689, -1 ] [ 1861, 1 ] [ 2033, -6 ] [ 2076, 0 ] [ 2248, -1 ] [ 2377, 1 ] [ 2549, -3 ] [ 2721, -1 ] [ 2764, 1 ] [ 2893, -2 ] [ 2936, 2 ] [ 3065, -2 ] [ 3237, -7 ] [ 3409, 0 ] [ 3452, -8 ] [ 3581, -6 ] [ 3624, 0 ] [ 4097, 6 ] [ 4269, -1 ] [ 4441, 0 ] [ 4613, 19 ] [ 4785, 2 ] [ 4828, 0 ] [ 4957, 2 ] [ 5129, -3 ] [ 5473, -2 ] [ 5516, 2 ] [ 5645, -6 ] [ 5817, 8 ] [ 5989, -2 ] [ 6161, 1 ] [ 6204, 0 ] [ 6333, 6 ] [ 6376, 2 ] [ 6505, -1 ] [ 6677, -14 ] [ 6892, 4 ] [ 7021, -4 ] [ 7064, 5 ] [ 7193, -4 ] [ 7365, -6 ] [ 7537, 3 ] [ 7580, -3 ] [ 7709, -1 ] [ 7752, 6 ] [ 7881, -2 ] [ 8053, -9 ] [ 8268, 9 ] [ 8440, 2 ] [ 8569, 0 ] [ 8741, 4 ] [ 8913, -3 ] [ 8956, 1 ] [ 9085, 8 ] [ 9128, -8 ] [ 9257, 4 ] [ 9429, -2 ] [ 9601, -1 ] [ 9644, 2 ] [ 9773, 13 ] [ 9816, 0 ] /* D = 18 (mod 43 ) [ 61, 1 ] [ 104, 1 ] [ 233, 0 ] [ 577, -1 ] [ 620, 3 ] [ 749, 0 ] [ 921, 1 ] [ 1093, -5 ] [ 1265, 1 ] [ 1308, -5 ] [ 1437, 7 ] [ 1480, 2 ] [ 1609, 0 ] [ 1781, -4 ] [ 1996, 1 ] [ 2168, -7 ] [ 2297, -1 ] [ 2469, -3 ] [ 2641, -2 ] [ 2684, 1 ] [ 2813, -5 ] [ 2856, 2 ] [ 2985, -2 ] [ 3157, 9 ] [ 3329, -1 ] [ 3372, 3 ] [ 3544, 0 ] [ 3673, 1 ] [ 3845, -4 ] [ 4017, -3 ] [ 4060, -2 ] [ 4189, 0 ] [ 4533, 3 ] [ 4705, -1 ] [ 4748, 1 ] [ 4877, 10 ] [ 4920, 4 ] [ 5221, -4 ] [ 5393, 5 ] [ 5565, 4 ] [ 5608, 4 ] [ 5737, 2 ] [ 5909, -4 ] [ 6081, -1 ] [ 6124, 0 ] [ 6296, 0 ] [ 6769, 1 ] [ 6812, -6 ] [ 6941, 2 ] [ 7113, 4 ] [ 7285, 4 ] [ 7457, -2 ] [ 7629, 0 ] [ 7672, -6 ] [ 7801, -1 ] [ 7973, 9 ] [ 8188, -3 ] [ 8317, -5 ] [ 8360, 0 ] [ 8489, 2 ] [ 8661, -4 ] [ 8876, 1 ] [ 9005, -11 ] [ 9048, 6 ] [ 9177, -4 ] [ 9349, -2 ] [ 9521, 1 ] [ 9564, -4 ] [ 9736, 2 ] [ 9865, 1 ] /* D = 19 (mod 43 ) [ 105, 0 ] [ 277, 1 ] [ 449, -1 ] [ 492, 1 ] [ 664, -1 ] [ 793, 1 ] [ 965, 1 ] [ 1137, -1 ] [ 1180, 0 ] [ 1309, -1 ] [ 1481, -2 ] [ 1653, 6 ] [ 1868, 4 ] [ 1997, 3 ] [ 2040, 4 ] [ 2341, -3 ] [ 2513, 1 ] [ 2685, -8 ] [ 2728, -1 ] [ 2857, -1 ] [ 3029, -4 ] [ 3201, 1 ] [ 3244, 3 ] [ 3373, -6 ] [ 3416, 0 ] [ 3545, 1 ] [ 3889, 0 ] [ 3932, -13 ] [ 4061, 4 ] [ 4233, 5 ] [ 4405, 1 ] [ 4577, -4 ] [ 4620, 4 ] [ 4749, -1 ] [ 4792, -5 ] [ 4921, 0 ] [ 5093, 9 ] [ 5308, -1 ] [ 5437, 6 ] [ 5480, 0 ] [ 5609, 0 ] [ 5781, 0 ] [ 5953, -1 ] [ 5996, -3 ] [ 6168, -8 ] [ 6297, -6 ] [ 6469, 2 ] [ 6641, 1 ] [ 6684, 1 ] [ 6856, 2 ] [ 6985, -1 ] [ 7157, -12 ] [ 7329, 0 ] [ 7372, 4 ] [ 7501, 1 ] [ 7544, -3 ] [ 7673, 0 ] [ 7845, 4 ] [ 8017, -4 ] [ 8060, -1 ] [ 8189, 4 ] [ 8533, -3 ] [ 8705, -1 ] [ 8877, 15 ] [ 8920, -2 ] [ 9049, 1 ] [ 9221, -4 ] [ 9393, -1 ] [ 9436, 1 ] [ 9565, 2 ] [ 9608, 1 ] [ 9737, 0 ] /* D = 20 (mod 43 ) [ 149, 0 ] [ 321, 0 ] [ 364, -1 ] [ 493, -3 ] [ 536, -1 ] [ 665, -2 ] [ 1009, 0 ] [ 1052, 4 ] [ 1181, 0 ] [ 1353, 3 ] [ 1697, -3 ] [ 1740, 2 ] [ 1869, -2 ] [ 1912, 0 ] [ 2041, 0 ] [ 2213, -7 ] [ 2428, 4 ] [ 2557, -4 ] [ 2729, -1 ] [ 2901, -1 ] [ 3073, 3 ] [ 3116, 0 ] [ 3245, -2 ] [ 3288, -4 ] [ 3417, -1 ] [ 3589, 0 ] [ 3761, -1 ] [ 3804, 3 ] [ 3976, 0 ] [ 4105, 1 ] [ 4277, 14 ] [ 4449, 1 ] [ 4492, -7 ] [ 4621, -1 ] [ 4664, -3 ] [ 4793, 5 ] [ 4965, -2 ] [ 5137, -2 ] [ 5180, -2 ] [ 5309, 6 ] [ 5352, 0 ] [ 5653, 5 ] [ 5997, -3 ] [ 6040, 2 ] [ 6169, 0 ] [ 6341, 0 ] [ 6513, -3 ] [ 6556, 0 ] [ 6685, 4 ] [ 6857, -8 ] [ 7201, 0 ] [ 7244, -1 ] [ 7373, 1 ] [ 7545, -4 ] [ 7717, -10 ] [ 7932, 1 ] [ 8061, 1 ] [ 8104, 0 ] [ 8233, -1 ] [ 8620, 1 ] [ 8749, 1 ] [ 8792, 6 ] [ 8921, 1 ] [ 9093, 2 ] [ 9265, -3 ] [ 9308, -1 ] [ 9437, 8 ] [ 9480, 0 ] [ 9609, -1 ] [ 9781, 1 ] [ 9953, 0 ] /* D = 22 (mod 43 ) [ 65, -1 ] [ 237, 0 ] [ 280, 2 ] [ 409, -1 ] [ 581, -1 ] [ 753, 1 ] [ 796, 0 ] [ 1097, 3 ] [ 1441, 0 ] [ 1484, 1 ] [ 1613, 3 ] [ 1785, 0 ] [ 1957, -6 ] [ 2129, 0 ] [ 2172, 2 ] [ 2301, -4 ] [ 2344, 2 ] [ 2473, -2 ] [ 2860, 3 ] [ 3032, 7 ] [ 3161, -3 ] [ 3333, -1 ] [ 3505, 0 ] [ 3548, -6 ] [ 3677, 10 ] [ 3720, -4 ] [ 3849, -1 ] [ 4021, -1 ] [ 4193, -3 ] [ 4236, 5 ] [ 4408, -4 ] [ 4537, 3 ] [ 4709, 1 ] [ 4881, -1 ] [ 4924, 0 ] [ 5053, 5 ] [ 5397, 6 ] [ 5569, 0 ] [ 5612, -1 ] [ 5741, 0 ] [ 5784, 2 ] [ 6085, 0 ] [ 6257, -2 ] [ 6429, -6 ] [ 6472, -2 ] [ 6601, -1 ] [ 6773, 3 ] [ 6945, -2 ] [ 6988, -3 ] [ 7117, -6 ] [ 7160, 4 ] [ 7289, 0 ] [ 7633, 1 ] [ 7676, 2 ] [ 7805, -6 ] [ 7977, 5 ] [ 8149, 1 ] [ 8321, 4 ] [ 8364, 5 ] [ 8493, 8 ] [ 8536, -3 ] [ 8665, -1 ] [ 8837, -16 ] [ 9052, -1 ] [ 9181, -3 ] [ 9224, -3 ] [ 9353, -6 ] [ 9697, 4 ] [ 9740, -4 ] [ 9869, -2 ] [ 9912, -8 ] /* D = 26 (mod 43 ) [ 69, -1 ] [ 241, 0 ] [ 284, 2 ] [ 413, 4 ] [ 456, 2 ] [ 757, -2 ] [ 929, 0 ] [ 1101, -2 ] [ 1144, 1 ] [ 1273, 2 ] [ 1660, -1 ] [ 1789, -1 ] [ 1832, -1 ] [ 1961, 0 ] [ 2305, 0 ] [ 2348, -4 ] [ 2477, 8 ] [ 2649, -1 ] [ 2821, -1 ] [ 2993, -1 ] [ 3036, 3 ] [ 3165, -4 ] [ 3208, -1 ] [ 3337, 2 ] [ 3853, 7 ] [ 3896, 2 ] [ 4197, 8 ] [ 4369, -1 ] [ 4412, 5 ] [ 4541, -4 ] [ 4584, 2 ] [ 4713, 3 ] [ 4885, -4 ] [ 5057, 4 ] [ 5272, -3 ] [ 5401, -1 ] [ 5573, 1 ] [ 5745, 0 ] [ 5788, 2 ] [ 5917, -3 ] [ 5960, -6 ] [ 6089, -2 ] [ 6261, -5 ] [ 6433, 3 ] [ 6476, -2 ] [ 6605, 9 ] [ 6648, -6 ] [ 6949, -3 ] [ 7121, 1 ] [ 7293, 1 ] [ 7336, 0 ] [ 7465, -1 ] [ 7637, -16 ] [ 7809, -2 ] [ 7852, -1 ] [ 7981, 1 ] [ 8024, 0 ] [ 8153, 6 ] [ 8497, -2 ] [ 8540, 4 ] [ 8669, 2 ] [ 8841, 0 ] [ 9013, 2 ] [ 9185, -3 ] [ 9228, 4 ] [ 9357, -9 ] [ 9529, 2 ] [ 9701, 5 ] [ 9916, -2 ] /* D = 27 (mod 43 ) [ 113, -2 ] [ 156, 1 ] [ 285, 2 ] [ 328, -1 ] [ 457, -1 ] [ 629, 2 ] [ 844, 0 ] [ 973, -1 ] [ 1016, -1 ] [ 1145, 1 ] [ 1317, -5 ] [ 1489, 2 ] [ 1532, 6 ] [ 1661, 3 ] [ 1704, 0 ] [ 1833, 0 ] [ 2005, 1 ] [ 2177, 1 ] [ 2220, 0 ] [ 2392, 5 ] [ 2521, 1 ] [ 2693, -13 ] [ 2865, 2 ] [ 2908, 2 ] [ 3037, -1 ] [ 3080, -2 ] [ 3209, 0 ] [ 3553, -2 ] [ 3596, -5 ] [ 3768, 6 ] [ 4069, 1 ] [ 4241, -1 ] [ 4413, 7 ] [ 4456, -1 ] [ 4585, -2 ] [ 4757, 6 ] [ 4929, -1 ] [ 4972, -4 ] [ 5101, 3 ] [ 5144, -4 ] [ 5273, -6 ] [ 5617, 0 ] [ 5660, -5 ] [ 5789, 2 ] [ 5961, 0 ] [ 6133, 4 ] [ 6305, -1 ] [ 6477, -9 ] [ 6520, 2 ] [ 6649, -1 ] [ 6821, 0 ] [ 7036, -1 ] [ 7165, -3 ] [ 7208, -9 ] [ 7337, 5 ] [ 7509, -2 ] [ 7681, -1 ] [ 7724, -8 ] [ 7853, 2 ] [ 7896, 0 ] [ 8197, -2 ] [ 8369, 0 ] [ 8412, -2 ] [ 8584, 1 ] [ 8713, 2 ] [ 8885, 2 ] [ 9057, 1 ] [ 9229, -3 ] [ 9272, 2 ] [ 9401, 0 ] [ 9573, 2 ] [ 9745, 1 ] [ 9788, 9 ] [ 9917, 0 ] [ 9960, -4 ] /* D = 28 (mod 43 ) [ 28, -1 ] [ 157, 2 ] [ 329, 0 ] [ 501, 1 ] [ 673, -1 ] [ 716, 1 ] [ 888, -2 ] [ 1189, -1 ] [ 1361, 0 ] [ 1533, -4 ] [ 1576, 2 ] [ 1705, 1 ] [ 1877, 11 ] [ 2049, -1 ] [ 2092, -3 ] [ 2221, -3 ] [ 2264, 3 ] [ 2393, 3 ] [ 2737, 3 ] [ 2780, 1 ] [ 2909, -5 ] [ 3081, 0 ] [ 3253, 1 ] [ 3597, -1 ] [ 3640, -2 ] [ 3769, 1 ] [ 3941, -9 ] [ 4156, 0 ] [ 4285, -4 ] [ 4328, 5 ] [ 4457, -2 ] [ 4629, 2 ] [ 4801, -2 ] [ 4844, -4 ] [ 4973, 6 ] [ 5016, 2 ] [ 5317, -3 ] [ 5489, -3 ] [ 5532, 2 ] [ 5704, 1 ] [ 5833, 0 ] [ 6005, -3 ] [ 6177, -2 ] [ 6220, -3 ] [ 6349, -3 ] [ 6392, -4 ] [ 6521, -4 ] [ 6693, 9 ] [ 6865, -1 ] [ 6908, 0 ] [ 7037, 6 ] [ 7080, 0 ] [ 7553, -1 ] [ 7768, 1 ] [ 7897, 2 ] [ 8069, -1 ] [ 8241, 1 ] [ 8284, 0 ] [ 8413, 12 ] [ 8456, -2 ] [ 8585, 1 ] [ 8929, -1 ] [ 8972, 7 ] [ 9101, -2 ] [ 9273, -3 ] [ 9445, 1 ] [ 9617, 4 ] [ 9660, 4 ] [ 9789, -1 ] [ 9832, 5 ] [ 9961, 1 ] /* D = 29 (mod 43 ) [ 29, -1 ] [ 201, -1 ] [ 373, 2 ] [ 545, -1 ] [ 717, 6 ] [ 760, 0 ] [ 889, -1 ] [ 1061, -5 ] [ 1276, 1 ] [ 1405, -1 ] [ 1448, -6 ] [ 1577, 2 ] [ 1749, -1 ] [ 1921, 0 ] [ 1964, 1 ] [ 2093, -9 ] [ 2136, 2 ] [ 2265, 2 ] [ 2437, 2 ] [ 2609, -1 ] [ 2652, 3 ] [ 2824, 1 ] [ 2953, 2 ] [ 3297, 0 ] [ 3340, 1 ] [ 3469, -4 ] [ 3512, 9 ] [ 3641, -1 ] [ 3813, -9 ] [ 3985, -4 ] [ 4028, -6 ] [ 4157, 7 ] [ 4501, -2 ] [ 4673, 5 ] [ 4845, 2 ] [ 4888, -6 ] [ 5017, -2 ] [ 5189, -3 ] [ 5361, 1 ] [ 5404, 3 ] [ 5533, 4 ] [ 5576, 3 ] [ 5705, -4 ] [ 6049, 0 ] [ 6092, -10 ] [ 6221, -1 ] [ 6393, -1 ] [ 6565, 3 ] [ 6737, 2 ] [ 6780, -2 ] [ 6952, 2 ] [ 7081, -1 ] [ 7253, 16 ] [ 7468, 1 ] [ 7597, 2 ] [ 7640, 0 ] [ 7769, -1 ] [ 7941, -3 ] [ 8113, 0 ] [ 8156, 3 ] [ 8285, -3 ] [ 8328, 8 ] [ 8457, 3 ] [ 8629, 2 ] [ 8801, -2 ] [ 8844, -1 ] [ 9145, 2 ] [ 9489, 1 ] [ 9532, 1 ] [ 9661, 2 ] [ 9704, -1 ] [ 9833, -3 ] /* D = 30 (mod 43 ) [ 73, 1 ] [ 417, 1 ] [ 460, 1 ] [ 589, 0 ] [ 632, 6 ] [ 761, 0 ] [ 933, -1 ] [ 1105, -1 ] [ 1148, 3 ] [ 1277, -2 ] [ 1320, -4 ] [ 1621, 0 ] [ 1793, -1 ] [ 1965, 4 ] [ 2008, -1 ] [ 2137, 2 ] [ 2309, 2 ] [ 2481, 0 ] [ 2524, -2 ] [ 2653, -1 ] [ 2696, -1 ] [ 3169, 1 ] [ 3212, 1 ] [ 3341, 5 ] [ 3513, -2 ] [ 3685, -1 ] [ 3857, 2 ] [ 4029, 2 ] [ 4072, -1 ] [ 4201, 1 ] [ 4373, -9 ] [ 4588, -2 ] [ 4717, -9 ] [ 4760, 6 ] [ 4889, 4 ] [ 5061, -2 ] [ 5233, -2 ] [ 5276, 1 ] [ 5405, 4 ] [ 5448, -6 ] [ 5749, 0 ] [ 5921, 2 ] [ 5964, 0 ] [ 6136, 2 ] [ 6265, 0 ] [ 6437, -8 ] [ 6609, -1 ] [ 6652, 4 ] [ 6781, 3 ] [ 6824, 3 ] [ 6953, 5 ] [ 7297, 3 ] [ 7340, -10 ] [ 7469, 3 ] [ 7512, 6 ] [ 7813, 10 ] [ 7985, 4 ] [ 8157, -11 ] [ 8329, 0 ] [ 8501, -1 ] [ 8716, -1 ] [ 8845, 2 ] [ 8888, -11 ] [ 9017, -4 ] [ 9361, 0 ] [ 9404, -4 ] [ 9533, 7 ] [ 9705, -2 ] [ 9877, -3 ] /* D = 32 (mod 43 ) [ 161, -1 ] [ 204, -1 ] [ 376, 0 ] [ 505, -1 ] [ 677, -4 ] [ 849, -1 ] [ 892, -1 ] [ 1021, -2 ] [ 1064, 2 ] [ 1193, 2 ] [ 1365, -4 ] [ 1537, 1 ] [ 1580, 0 ] [ 1709, -6 ] [ 1752, -4 ] [ 2053, 4 ] [ 2397, 10 ] [ 2440, 2 ] [ 2569, 0 ] [ 2741, -3 ] [ 2913, 1 ] [ 2956, 2 ] [ 3085, 1 ] [ 3128, -1 ] [ 3257, -1 ] [ 3601, -1 ] [ 3644, 3 ] [ 3945, -2 ] [ 4117, -3 ] [ 4289, -2 ] [ 4461, -2 ] [ 4504, -1 ] [ 4633, 0 ] [ 5020, 1 ] [ 5149, 0 ] [ 5192, 2 ] [ 5321, 1 ] [ 5493, -10 ] [ 5665, -1 ] [ 5708, -4 ] [ 5837, 11 ] [ 6009, 1 ] [ 6181, 3 ] [ 6353, -1 ] [ 6396, 3 ] [ 6568, -5 ] [ 6697, -2 ] [ 6869, 1 ] [ 7041, 0 ] [ 7084, 3 ] [ 7213, 9 ] [ 7256, -1 ] [ 7385, 6 ] [ 7557, 3 ] [ 7729, 2 ] [ 7772, -11 ] [ 7901, 0 ] [ 7944, -2 ] [ 8245, -3 ] [ 8417, 6 ] [ 8589, 0 ] [ 8632, -1 ] [ 8761, 1 ] [ 8933, 18 ] [ 9105, 2 ] [ 9148, 1 ] [ 9277, -10 ] [ 9320, -6 ] [ 9449, -2 ] [ 9793, 0 ] [ 9836, 0 ] [ 9965, -5 ] /* D = 33 (mod 43 ) [ 33, -1 ] [ 76, 0 ] [ 205, 1 ] [ 248, 1 ] [ 377, -3 ] [ 721, 1 ] [ 764, -2 ] [ 893, 2 ] [ 1065, 2 ] [ 1237, -6 ] [ 1409, 1 ] [ 1581, 3 ] [ 1624, 0 ] [ 1753, 3 ] [ 2140, -2 ] [ 2269, 0 ] [ 2441, 1 ] [ 2613, -7 ] [ 2785, 1 ] [ 2828, 9 ] [ 2957, 10 ] [ 3129, 2 ] [ 3301, 2 ] [ 3473, -3 ] [ 3516, -2 ] [ 3688, 2 ] [ 3817, -1 ] [ 3989, 3 ] [ 4161, 0 ] [ 4204, -2 ] [ 4333, 0 ] [ 4376, -5 ] [ 4505, -3 ] [ 4677, 2 ] [ 4849, 0 ] [ 4892, 1 ] [ 5021, 5 ] [ 5064, -2 ] [ 5365, 2 ] [ 5709, -2 ] [ 5752, 2 ] [ 5881, -1 ] [ 6053, 5 ] [ 6268, -6 ] [ 6397, -3 ] [ 6440, -6 ] [ 6569, -3 ] [ 6913, -3 ] [ 6956, -2 ] [ 7085, 1 ] [ 7257, -2 ] [ 7429, 4 ] [ 7601, 1 ] [ 7773, 0 ] [ 7816, 0 ] [ 7945, 0 ] [ 8117, -10 ] [ 8332, 2 ] [ 8461, -2 ] [ 8504, -2 ] [ 8633, 7 ] [ 8805, 6 ] [ 8977, -2 ] [ 9020, -9 ] [ 9149, 1 ] [ 9192, -6 ] [ 9321, 0 ] [ 9493, -6 ] [ 9665, 3 ] [ 9708, 4 ] [ 9880, 0 ] /* D = 34 (mod 43 ) [ 77, -3 ] [ 120, 0 ] [ 249, 1 ] [ 421, 2 ] [ 593, -1 ] [ 636, -1 ] [ 808, -3 ] [ 937, 1 ] [ 1109, 2 ] [ 1281, 2 ] [ 1324, -1 ] [ 1453, -3 ] [ 1496, -1 ] [ 1797, -3 ] [ 1969, 1 ] [ 2012, -4 ] [ 2141, 2 ] [ 2184, -2 ] [ 2485, -2 ] [ 2657, -5 ] [ 2829, 3 ] [ 2872, 3 ] [ 3001, -1 ] [ 3173, -2 ] [ 3345, 2 ] [ 3517, -2 ] [ 3560, -2 ] [ 3689, -1 ] [ 4033, 2 ] [ 4076, 0 ] [ 4377, 1 ] [ 4549, 2 ] [ 4721, 1 ] [ 4764, -4 ] [ 4893, -14 ] [ 4936, -1 ] [ 5065, 0 ] [ 5237, 11 ] [ 5452, 0 ] [ 5581, -2 ] [ 5624, -4 ] [ 5753, 7 ] [ 6097, 1 ] [ 6140, 3 ] [ 6269, 1 ] [ 6312, 10 ] [ 6441, 0 ] [ 6613, -4 ] [ 6785, -2 ] [ 6828, 3 ] [ 7129, 0 ] [ 7473, -6 ] [ 7516, -1 ] [ 7645, 5 ] [ 7817, -4 ] [ 7989, -1 ] [ 8161, 0 ] [ 8204, 6 ] [ 8333, 7 ] [ 8376, -2 ] [ 8677, 1 ] [ 8849, 1 ] [ 9021, 3 ] [ 9064, 1 ] [ 9193, 1 ] [ 9365, -15 ] [ 9580, 1 ] [ 9709, 0 ] [ 9752, -3 ] [ 9881, -2 ] /* D = 37 (mod 43 ) [ 37, 2 ] [ 209, 0 ] [ 381, 1 ] [ 424, 1 ] [ 553, -2 ] [ 897, -1 ] [ 940, 2 ] [ 1069, 0 ] [ 1112, 7 ] [ 1241, 1 ] [ 1585, -1 ] [ 1628, 2 ] [ 1757, -7 ] [ 1929, 2 ] [ 2101, 2 ] [ 2273, 4 ] [ 2316, 1 ] [ 2445, 2 ] [ 2488, 3 ] [ 2617, 1 ] [ 2789, 2 ] [ 3004, -1 ] [ 3133, -2 ] [ 3176, -2 ] [ 3305, 3 ] [ 3477, -4 ] [ 3649, -1 ] [ 3692, 8 ] [ 3821, -2 ] [ 3864, -2 ] [ 4337, 3 ] [ 4380, -2 ] [ 4552, -3 ] [ 4681, -1 ] [ 4853, -2 ] [ 5068, 2 ] [ 5197, -3 ] [ 5240, -2 ] [ 5369, -2 ] [ 5541, -3 ] [ 5713, 0 ] [ 5756, -5 ] [ 5885, 2 ] [ 5928, -2 ] [ 6229, -1 ] [ 6401, 0 ] [ 6573, 12 ] [ 6616, 2 ] [ 6745, 2 ] [ 6917, 9 ] [ 7089, -1 ] [ 7132, -5 ] [ 7261, 0 ] [ 7304, -3 ] [ 7433, -2 ] [ 7777, 1 ] [ 7820, -3 ] [ 7949, -2 ] [ 8121, -1 ] [ 8293, 2 ] [ 8465, -4 ] [ 8508, -1 ] [ 8637, -3 ] [ 8680, -2 ] [ 8809, 2 ] [ 8981, 9 ] [ 9368, -4 ] [ 9497, 7 ] [ 9669, 0 ] [ 9841, 0 ] [ 9884, -1 ] /* D = 39 (mod 43 ) [ 168, -2 ] [ 469, -1 ] [ 641, -1 ] [ 813, -3 ] [ 856, -2 ] [ 985, 0 ] [ 1157, -5 ] [ 1329, 0 ] [ 1501, 2 ] [ 1544, -3 ] [ 1673, 4 ] [ 2017, 4 ] [ 2060, 1 ] [ 2189, 4 ] [ 2361, 2 ] [ 2533, -8 ] [ 2705, -1 ] [ 2748, -7 ] [ 2877, 2 ] [ 2920, -2 ] [ 3049, 0 ] [ 3221, -2 ] [ 3436, 0 ] [ 3565, 1 ] [ 3608, 7 ] [ 3737, 0 ] [ 3909, -1 ] [ 4081, 1 ] [ 4124, 1 ] [ 4253, 1 ] [ 4296, 0 ] [ 4597, 4 ] [ 4769, 0 ] [ 4812, 9 ] [ 4984, 2 ] [ 5113, -3 ] [ 5285, -2 ] [ 5457, -2 ] [ 5629, 3 ] [ 5672, 3 ] [ 5801, 0 ] [ 5973, 2 ] [ 6145, -1 ] [ 6188, -5 ] [ 6317, -8 ] [ 6360, 0 ] [ 6661, -2 ] [ 6833, 2 ] [ 7005, 6 ] [ 7048, -3 ] [ 7177, 3 ] [ 7349, -5 ] [ 7521, -1 ] [ 7564, -1 ] [ 7736, -1 ] [ 8209, 0 ] [ 8252, -2 ] [ 8553, 3 ] [ 8897, 5 ] [ 8940, 0 ] [ 9069, 7 ] [ 9112, 3 ] [ 9241, -1 ] [ 9413, 5 ] [ 9628, 9 ] [ 9757, -8 ] [ 9929, -1 ] /* D = 42 (mod 43 ) [ 85, 1 ] [ 257, 1 ] [ 429, 1 ] [ 472, 0 ] [ 601, 0 ] [ 773, -9 ] [ 988, 4 ] [ 1117, 1 ] [ 1160, 0 ] [ 1289, 2 ] [ 1461, 4 ] [ 1633, -2 ] [ 1676, -3 ] [ 1848, -2 ] [ 1977, -3 ] [ 2149, 1 ] [ 2321, 2 ] [ 2364, -2 ] [ 2536, -1 ] [ 2665, 1 ] [ 2837, 2 ] [ 3009, -2 ] [ 3052, -3 ] [ 3181, -1 ] [ 3224, -1 ] [ 3353, -1 ] [ 3697, -3 ] [ 3740, 1 ] [ 3869, 7 ] [ 3912, 4 ] [ 4213, -4 ] [ 4385, 1 ] [ 4729, 1 ] [ 5073, 0 ] [ 5116, 0 ] [ 5245, 4 ] [ 5288, 9 ] [ 5417, -2 ] [ 5761, 1 ] [ 5804, -2 ] [ 5933, -11 ] [ 6105, 4 ] [ 6277, -6 ] [ 6449, 3 ] [ 6492, 1 ] [ 6621, -2 ] [ 6793, -2 ] [ 6965, 0 ] [ 7180, -3 ] [ 7309, 0 ] [ 7352, -9 ] [ 7481, 4 ] [ 7653, -1 ] [ 7868, -1 ] [ 7997, -10 ] [ 8040, 0 ] [ 8169, 0 ] [ 8341, 6 ] [ 8513, 2 ] [ 8556, -1 ] [ 8728, 0 ] [ 8857, 1 ] [ 9029, 5 ] [ 9201, -1 ] [ 9244, -1 ] [ 9373, 9 ] [ 9416, 2 ] [ 9545, 1 ] [ 9717, 6 ] [ 9889, 1 ] [ 9932, -8 ] Total time: 19665.159 seconds, Total memory usage: 51.55MB