-- Solve ECDLP by AI Learning Lambda Method --
 No of Solve=1050
P=b98cc7dffc8ebbf r=b98cc7e0020c6af
a=3dd997f5542f826 b=7bb32feaa873e61
B=1 123
sh=14 17 Lx=2e6331f7ff23 Ph=5cc663effe475df
NSt=389126396 NTc=2202019175
-- Start: Fri May 24 23:11:06 2019

  0 n=230e1836d50403c check=0
  1 n=b922c234e16e1f check=0
  2 n=9e506a2174a23d9 check=0
  3 n=86ae6b47983899d check=0
  4 n=90acfa878c1f1f check=0
  5 n=107fe3980a1241a check=0
  6 n=91a626d8b71fe16 check=0
  7 n=3fd1d8225a897ff check=0
  8 n=30970fe92766965 check=0
  9 n=a87fabd7b9d4d7d check=0
 10 n=6f1436272ad302 check=0
 11 n=1b89f8dbbbfc796 check=0
 12 n=3c3e445d12e502f check=0
 13 n=948cbbb6c3c1e37 check=0
 14 n=1ffc282e304ec4f check=0
 15 n=386e69a618bddac check=0
 16 n=7a9a201c786e7d7 check=0
 17 n=9feddf355dce10d check=0
 18 n=24687928e32c78a check=0
 19 n=aca4b0de22e9c2c check=0
 20 n=89f07ddfbc26f0b check=0
 21 n=1ecd98afc1ddd0a check=0
 22 n=4b92fd2f29d6ee6 check=0
 23 n=57837f45705b94b check=0
 24 n=832987174c22ca check=0
 25 n=871787c50e6fdfc check=0
 26 n=2d68427550afe6e check=0
 27 n=3e5269107ea65b2 check=0
 28 n=3f31ee8d1ce278d check=0
 29 n=2fe5cee034d37c5 check=0
 30 n=91a78c01e42dbc5 check=0
 31 n=7023fa346377c00 check=0
 32 n=b9d733dfe7e43e check=0
 33 n=530360a8b6ebb77 check=0
 34 n=728621521658c9b check=0
 35 n=4561e7e3b27af05 check=0
 36 n=2fd45103bb19620 check=0
 37 n=83aa9934776da97 check=0
 38 n=a4cd25027bc231e check=0
 39 n=4776617c643f1fc check=0
 40 n=68b748a1b7c28fa check=0
 41 n=b93a90d7a006460 check=0
 42 n=16df6b5d2ce0ef9 check=0
 43 n=47817fed5593b6e check=0
 44 n=88842c97b517115 check=0
 45 n=298c1750eb99740 check=0
 46 n=4689e42a8a6b499 check=0
 47 n=2a1ce100496d071 check=0
 48 n=5970e49d69fe7e6 check=0
 49 n=70e4c0b3c59117d check=0
 50 n=1ca60e1d9a5eb0e check=0
 51 n=3adf169342312b5 check=0
 52 n=11f94b50a4e31d9 check=0
 53 n=41b815d2f485f63 check=0
 54 n=9e555f25bd11b9a check=0
 55 n=4db5c5cc4ad7e97 check=0
 56 n=52432778779c9a6 check=0
 57 n=a8fee666b074cd3 check=0
 58 n=97bdc5331b97d0c check=0
 59 n=105c5aeb73cc981 check=0
 60 n=b05cf227331e3c2 check=0
 61 n=19ebcdfadbebb1e check=0
 62 n=1c780619e9f7c8a check=0
 63 n=af84f6aab274599 check=0
 64 n=3605ab6682faf0f check=0
 65 n=19a788a9375f4b3 check=0
 66 n=9e37e084b8f347b check=0
 67 n=8dca55ac3348806 check=0
 68 n=4d2094898378d97 check=0
 69 n=1e1f41abd56fb0a check=0
 70 n=8c16786e18217c9 check=0
 71 n=a73a681959bb41a check=0
 72 n=8ab5086e44dea95 check=0
 73 n=1dd9aa37dbc730 check=0
 74 n=678314eb8416b03 check=0
 75 n=41ac76c81dfc963 check=0
 76 n=553bebbc254ae4 check=0
 77 n=389b2c48d50be62 check=0
 78 n=99493ad0a185228 check=0
 79 n=6f69e9735881e62 check=0
 80 n=662f1e2087df031 check=0
 81 n=1bb31f8a1d8179b check=0
 82 n=9dd457ddec7f4f9 check=0
 83 n=5af78a11f11f28b check=0
 84 n=3b73cfe6789d89 check=0
 85 n=925ae867bd32056 check=0
 86 n=aa882ab568319d1 check=0
 87 n=862cc2d5e089bc5 check=0
 88 n=a30febcf4a64c2c check=0
 89 n=aadc6cc85d3330f check=0
 90 n=1c28e14a541350b check=0
 91 n=7d73eea33d55556 check=0
 92 n=6e3e13a8f04c068 check=0
 93 n=899452400cbeba check=0
 94 n=44f2519422d5fc0 check=0
 95 n=3ecd1535613c2a4 check=0
 96 n=8a604242fbd6c2b check=0
 97 n=1deb50cdb0cbd05 check=0
 98 n=bd297c7e1dcbdf check=0
 99 n=4c1a2fb894c860c check=0
100 n=87b2fba6b8e975f check=0
101 n=8a2cf5e1d181599 check=0
102 n=3ccd91114c83497 check=0
103 n=117292f8dccdc95 check=0
104 n=b7dddc6c2a11a02 check=0
105 n=974b2675b844b03 check=0
106 n=74bbf5ca5dcb84c check=0
107 n=5b61447bbc46f25 check=0
108 n=6dac7f2cab0161f check=0
109 n=a6b9d527350cf93 check=0
110 n=202962ba86388b1 check=0
111 n=a138cda9f5f2b96 check=0
112 n=2346e23ecd18ed5 check=0
113 n=46ac1f58ba1c40a check=0
114 n=2e06ebf2809b622 check=0
115 n=4ced2d43ff3c023 check=0
116 n=edc38c13eccdda check=0
117 n=3859c2524378b68 check=0
118 n=af7eda5f77f70 check=0
119 n=5a1f7f4a766a1d5 check=0
120 n=221a772162ce974 check=0
121 n=5c1217038ba6155 check=0
122 n=7addef2aa83492b check=0
123 n=27d8d96c99fbc99 check=0
124 n=8c871fb8e0d3861 check=0
125 n=f81fdc15dab00b check=0
126 n=2e40b40574b059 check=0
127 n=1763f88abb5776a check=0
128 n=4ced8eb1475d618 check=0
129 n=c1e97635b5fb7d check=0
130 n=16dfb639a8a37c3 check=0
131 n=8c1fa75aeb75a98 check=0
132 n=4e8ce8007c9b959 check=0
133 n=113efad27e53a28 check=0
134 n=1950b1597e28b6c check=0
135 n=968df6fdb8d13b1 check=0
136 n=73180ada678d6bb check=0
137 n=aae57b7c1079fdc check=0
138 n=b3e0386fdafde81 check=0
139 n=a83f49cdfcb02e7 check=0
140 n=ab49b43cb2c9d15 check=0
141 n=65c44f2969fa92a check=0
142 n=216c20a3cd6a55c check=0
143 n=436e8783790ebb0 check=0
144 n=afb700c953ee311 check=0
145 n=76e711db366887e check=0
146 n=e4a9522f975048 check=0
147 n=1aa9b71166dc1bc check=0
148 n=b418593310a1141 check=0
149 n=78eb0178ade41bb check=0
150 n=4004acfd1b34119 check=0
151 n=59b38bc039b2399 check=0
152 n=43d3f14895a6b91 check=0
153 n=33d5cd7a422dfa0 check=0
154 n=945282de63ff072 check=0
155 n=7cc84dc11ca8b5a check=0
156 n=9af695e642f22bd check=0
157 n=1a17d0044382ad5 check=0
158 n=31d9703b2e3333a check=0
159 n=972a0565442c347 check=0
160 n=66cabe7e24f5d6d check=0
161 n=8bfb0e500dc58ca check=0
162 n=7631b9e13c9c591 check=0
163 n=8ee4f24e4cbe1a4 check=0
164 n=3403a46580bdbaa check=0
165 n=1ba72a4eb9e6f0c check=0
166 n=16ef2251495f83a check=0
167 n=2de9ee0ceea554e check=0
168 n=89728884e3cba6c check=0
169 n=43bce7361ff641a check=0
170 n=6b6aeb1c9fba49e check=0
171 n=a753e1db4213fa8 check=0
172 n=3d4337a2609324 check=0
173 n=7bd5e7540088052 check=0
174 n=52d5fccded0e3ea check=0
175 n=15aaf9057f7789e check=0
176 n=27f37e11a66dae check=0
177 n=b448bbcd3e13ed4 check=0
178 n=63c75b7403a9b3a check=0
179 n=65b33b9fa3ef9fc check=0
180 n=4bfe8c5b3c6714d check=0
181 n=7f09c4072217471 check=0
182 n=ab8100647f01ef7 check=0
183 n=2948ed29e284891 check=0
184 n=1a7b8be530d4de3 check=0
185 n=7b1e190fca4ce95 check=0
186 n=5c453cdef5ce1a0 check=0
187 n=534d069684167fd check=0
188 n=74d4b19f8b29b4a check=0
189 n=35708f559d85e52 check=0
190 n=3b72b2beef50775 check=0
191 n=4646a753e6fddd9 check=0
192 n=24d0b8107071a0e check=0
193 n=296753bfdac4858 check=0
194 n=3711581d2138229 check=0
195 n=674b63dc35a291b check=0
196 n=10059828abb5032 check=0
197 n=a6c39fd9fd2f3e2 check=0
198 n=1c6a0e086a27e3e check=0
199 n=6ec07fc51b86407 check=0
200 n=43ebaae5f2e1789 check=0
201 n=b48ad6ba969651f check=0
202 n=b47a73f3455711a check=0
203 n=199854e38efc90f check=0
204 n=a20fced15aac012 check=0
205 n=1515ec1a0521ce0 check=0
206 n=46271377afe4804 check=0
207 n=ab78446d6d6e319 check=0
208 n=6a28772d1dcd7c3 check=0
209 n=887348b9d80dc7a check=0
210 n=637cac6c0d34f3a check=0
211 n=94ca9abfbde5fda check=0
212 n=7552895b485904a check=0
213 n=f445e3cfbdb058 check=0
214 n=c463e11dd4bc57 check=0
215 n=6e87d285058ce82 check=0
216 n=542bf8df90304f3 check=0
217 n=b5581d771912570 check=0
218 n=6324203a417e0f7 check=0
219 n=828c83d7dc1fc8a check=0
220 n=295a6e25a87cd39 check=0
221 n=1c10bae760d15f1 check=0
222 n=820561651211468 check=0
223 n=2f480191b9f73da check=0
224 n=52aa4fd2ab3ddca check=0
225 n=56b344e358d0e19 check=0
226 n=c51cffe3d41701 check=0
227 n=a3352ddad744417 check=0
228 n=44ba89260995521 check=0
229 n=38fa5f0dfa0823b check=0
230 n=254f16ad96001f0 check=0
231 n=b1d218c28e8a754 check=0
232 n=108a63399a7e9f3 check=0
233 n=f38121223ef0b9 check=0
234 n=315aa4d90816201 check=0
235 n=2cec6a02711d4ff check=0
236 n=28befbd9040f49d check=0
237 n=6088a8b5ae5a314 check=0
238 n=65df4f9bb0ea41f check=0
239 n=8c93d6cf8fc21b8 check=0
240 n=9479e8867605744 check=0
241 n=406d60cb7fdbd62 check=0
242 n=a1cf4f50267c365 check=0
243 n=e19d58ebdaddfc check=0
244 n=98e440432f6e05b check=0
245 n=21f81c0ffd090c2 check=0
246 n=6464fcec5cd5687 check=0
247 n=730832f02995aea check=0
248 n=9001b4a0bcabc09 check=0
249 n=28d043b2f0fb515 check=0
250 n=52c717f5345c2e5 check=0
251 n=b4985d2b858373b check=0
252 n=910ff76be780c63 check=0
253 n=a6ce66fd5414886 check=0
254 n=75253f20a9568b6 check=0
255 n=68933245c76ae61 check=0
256 n=703445bc68e2b33 check=0
257 n=54dae2412e33a7 check=0
258 n=1d8c8f5e1724da9 check=0
259 n=a065c7d794db132 check=0
260 n=583cf0feaf4c2f1 check=0
261 n=9bd718b2e0e2f4e check=0
262 n=8621c5dc76e0920 check=0
263 n=1c935a119193cf3 check=0
264 n=489e9dfbf00c436 check=0
265 n=a739cfbe1147c01 check=0
266 n=5691f5cc92ee9c check=0
267 n=9d0d00f8ae9606c check=0
268 n=56466889101c1bd check=0
269 n=165988647547309 check=0
270 n=1acbdafe85e899c check=0
271 n=5244a2d085e0c77 check=0
272 n=97f5ea19b8fa836 check=0
273 n=1b58965539bd11c check=0
274 n=3e04eaf789de779 check=0
275 n=9e4449f50944c8 check=0
276 n=b86358be1dd66e2 check=0
277 n=b78a52d9929cd01 check=0
278 n=42948e7b77ccda2 check=0
279 n=2d7da8e31a2f4ae check=0
280 n=60fe8594a93c83d check=0
281 n=905a45c41966bd2 check=0
282 n=3151e23d2ec612a check=0
283 n=86a3331105840fe check=0
284 n=232f11e99e2aa6d check=0
285 n=402f1e544655201 check=0
286 n=34bd24c4529e531 check=0
287 n=444c80fe6740a0d check=0
288 n=43e9343f90944c9 check=0
289 n=91373fac7187f9d check=0
290 n=86e26fd64342e38 check=0
291 n=80c9a63f29b8d4 check=0
292 n=577f701ad35005b check=0
293 n=a32f7e2e3947910 check=0
294 n=125b985bb00deb8 check=0
295 n=4f0d56b6e6a3c1d check=0
296 n=b3180696c34adff check=0
297 n=88770ee96986153 check=0
298 n=6283091130ac087 check=0
299 n=262b0f0fe860619 check=0
300 n=12b7e47cf16dbe8 check=0
301 n=3a57cce81604a5c check=0
302 n=350a026a2a29b74 check=0
303 n=187b47095e85faa check=0
304 n=6db071785077573 check=0
305 n=4bc026a3a60019c check=0
306 n=41aea5ad8501f90 check=0
307 n=91a9dc27b8106ad check=0
308 n=b53caa8835a4039 check=0
309 n=a762e1fb2cfb16c check=0
310 n=811210c720c1692 check=0
311 n=1dc63f178507317 check=0
312 n=5f4ad38d6c13d66 check=0
313 n=abf8712672a9193 check=0
314 n=2731c259e4e9a58 check=0
315 n=22234eb87f07c40 check=0
316 n=b5e4d852ec3f8c6 check=0
317 n=4597b8c4a14a8c7 check=0
318 n=a9b1b0a3274970d check=0
319 n=9406a9429b95095 check=0
320 n=2eaffe887b17314 check=0
321 n=221087a1fbd1884 check=0
322 n=95791d44308f748 check=0
323 n=33d1d468f207665 check=0
324 n=adce3a4a0a0c27c check=0
325 n=7891449e3f3c09a check=0
326 n=14c0c834df020e8 check=0
327 n=2a72d048a4ff323 check=0
328 n=52aa5deed1f5eaf check=0
329 n=a52ded946d794ae check=0
330 n=2b7db089cf605d0 check=0
331 n=2255cb36cb51d71 check=0
332 n=65dc012cf86ce2e check=0
333 n=7fb8b9223c14259 check=0
334 n=a43d4a9ac3f5e4 check=0
335 n=279dbef8e53ec78 check=0
336 n=66567839f50e78b check=0
337 n=b545cb6c77fd221 check=0
338 n=8a1929c58f3e586 check=0
339 n=7f0af220383339b check=0
340 n=3c93a67a67ca864 check=0
341 n=4a817b3d8c25e91 check=0
342 n=182c67cb6ef2116 check=0
343 n=a31fed01cad97f5 check=0
344 n=9bb95af0805ba37 check=0
345 n=5a1a9f8c6a4a117 check=0
346 n=597c11530acb603 check=0
347 n=7ff12fc6ad1de6c check=0
348 n=5f47c96c8e05b59 check=0
349 n=6712a88943e3818 check=0
350 n=2cb801f0b3c0c8b check=0
351 n=b83df85ebef7c41 check=0
352 n=83d4d4418a05720 check=0
353 n=17be8337066ecbc check=0
354 n=ae178dfb289a923 check=0
355 n=2383ef5f59d4c6 check=0
356 n=5f87fa523a657e5 check=0
357 n=52a73fb1f226712 check=0
358 n=13dadc7ea1b6ba2 check=0
359 n=2df9aa38e87d909 check=0
360 n=2f475775a552942 check=0
361 n=6eeacafd53e1788 check=0
362 n=8fec34eaa7d4bdc check=0
363 n=84f9e4e95208846 check=0
364 n=39bee9cee52a1b1 check=0
365 n=4713deda0941cf2 check=0
366 n=97def0791c26c7b check=0
367 n=92b73d3cd4af2d6 check=0
368 n=24e962ac6db708a check=0
369 n=179c29b6849f2cc check=0
370 n=139301682e2f25a check=0
371 n=4cb63d017667be3 check=0
372 n=9a9b35a40d81e87 check=0
373 n=22729761ee52442 check=0
374 n=76619c15ef5aaff check=0
375 n=28a44e5a828d255 check=0
376 n=7b3797986c09a2d check=0
377 n=b279a8097120f7c check=0
378 n=9aca238e95fe932 check=0
379 n=781c8465a424eb1 check=0
380 n=66d1ba01096a1b8 check=0
381 n=4039fe8b0dea8cf check=0
382 n=3116770f1351301 check=0
383 n=2e5fb4a1bc7a7df check=0
384 n=1e804c9f19bf5c2 check=0
385 n=b1d2cf7d25ec471 check=0
386 n=49c818aa938b779 check=0
387 n=a995ce89257697d check=0
388 n=90dd7201060b6d8 check=0
389 n=3e0a961e27d6371 check=0
390 n=b26e503b591a945 check=0
391 n=8b8bee29d13754b check=0
392 n=4bb27b3c3e8b5f4 check=0
393 n=b4a036813453ab check=0
394 n=321d32e58b61b9a check=0
395 n=949ae06a6d71a29 check=0
396 n=34924fc10230e05 check=0
397 n=8af1fa7722d23b4 check=0
398 n=b6115a2e0bf576b check=0
399 n=2aaf3a8f492b2fa check=0
400 n=75710844187b0d2 check=0
401 n=550debe954637a check=0
402 n=75e411755314e5b check=0
403 n=2cd2753f89543e2 check=0
404 n=8d3a07c6a627450 check=0
405 n=2215fb885858a7e check=0
406 n=b02d696ddd0c0ff check=0
407 n=a4262aed4ae3a10 check=0
408 n=541c6f0690db2e5 check=0
409 n=65f58970402778 check=0
410 n=424aae60742052a check=0
411 n=12b08903ef7fff check=0
412 n=fd44de04072297 check=0
413 n=b45e8f2d4a417d8 check=0
414 n=4c02451d260973f check=0
415 n=4291beeb7f27201 check=0
416 n=6667ed4a3832d5e check=0
417 n=4040b7631c271a6 check=0
418 n=37001545e7abd5a check=0
419 n=6db7eb8fe8205d3 check=0
420 n=20dd60b10ef2a9 check=0
421 n=2aa7c2cd7550bbd check=0
422 n=af68c70c7712a0f check=0
423 n=35fca53920fdaa9 check=0
424 n=5bc38ba6aaa2f1b check=0
425 n=8af9a4757d774b1 check=0
426 n=7547d9828debace check=0
427 n=511a2a07aa67214 check=0
428 n=44622824e7d7924 check=0
429 n=b890aa6ac4eab6 check=0
430 n=3d954cacc48a0b4 check=0
431 n=1e6420f645b918e check=0
432 n=56d757781233a91 check=0
433 n=798098b4581c9cf check=0
434 n=5831acf855af6ff check=0
435 n=4393931194c8fae check=0
436 n=2b4f1c8e29801cc check=0
437 n=1a612c65366a416 check=0
438 n=4e96f8a310f1a9e check=0
439 n=22644345b46c388 check=0
440 n=69775664c758580 check=0
441 n=1c805672a688054 check=0
442 n=3b7b8a6964f189a check=0
443 n=a8b1872d7c8a9da check=0
444 n=14ed41bc55ad9 check=0
445 n=39eebf2d50b3a2c check=0
446 n=20f798107087d60 check=0
447 n=5e4d6f5cfc8d0bc check=0
448 n=67127b07c70c60f check=0
449 n=9d9f3d623be73e6 check=0
450 n=2bf09ea4cf60434 check=0
451 n=9ca0fdbb45f90e5 check=0
452 n=26561c8b403adab check=0
453 n=bb9fadf5f58c14 check=0
454 n=7ca478f0a603a9b check=0
455 n=84c7c00b02b6746 check=0
456 n=9748e7c8f32a161 check=0
457 n=6e6575830b7ac65 check=0
458 n=39cccc91e275183 check=0
459 n=28efdb8b3290f7f check=0
460 n=351c529511a8118 check=0
461 n=98fc57153b882bd check=0
462 n=859cc0ef4331d38 check=0
463 n=6ee92d05051ce5b check=0
464 n=b979f71f7e3e399 check=0
465 n=6af28201c4885c5 check=0
466 n=49fe8ed90046710 check=0
467 n=30482fb9bdedafc check=0
468 n=169303727b43116 check=0
469 n=a0edd3420bcf096 check=0
470 n=70ff985f9497b9c check=0
471 n=21f1f1bcbd04876 check=0
472 n=6c4c153be16a1e8 check=0
473 n=6e9b7b034652c6 check=0
474 n=93ef07cd6ae6aa2 check=0
475 n=6a9e3e50e7ffdd check=0
476 n=3e1ffd2bdf97081 check=0
477 n=4df9510d61b6587 check=0
478 n=65dcafe54c2c880 check=0
479 n=34b894cc21d2d4c check=0
480 n=a126b6e045a9b29 check=0
481 n=9d031c7457cf006 check=0
482 n=92b7e0df12deaef check=0
483 n=5a1339e1576c17f check=0
484 n=54ee1f7b7c8d64c check=0
485 n=68bd1f065a02407 check=0
486 n=476ff065a9b9671 check=0
487 n=b96733034536205 check=0
488 n=9e76bcde7642266 check=0
489 n=b28f6dd649178f1 check=0
490 n=8a82b7544aabcd4 check=0
491 n=55c1f08dc5daaf9 check=0
492 n=509b800790b7d23 check=0
493 n=99676a69b0c7df7 check=0
494 n=27574e643be77fb check=0
495 n=2711b4e7b4f86f1 check=0
496 n=6007a5ae4af277 check=0
497 n=695f4363958fb13 check=0
498 n=8156d02d39ea841 check=0
499 n=aca9b4fb020ce4d check=0
500 n=57f15160507e73e check=0
501 n=3446055ff51bd86 check=0
502 n=79d2978cd593fd3 check=0
503 n=35889ab6f750fe1 check=0
504 n=4767ed1ad45d2da check=0
505 n=7ae8917a797a47a check=0
506 n=c4a461023e7dd7 check=0
507 n=6f4f1d4a4af9817 check=0
508 n=8b6d2ee12982854 check=0
509 n=735bc983e9c2368 check=0
510 n=a69c7ba0d3f5013 check=0
511 n=a23c4f093d75127 check=0
512 n=9216bca0a7e5b0e check=0
513 n=4431a1fba54280a check=0
514 n=63dce59428de9cf check=0
515 n=2ab013fdc5d915b check=0
516 n=83d0d9c857cc2ed check=0
517 n=59b3582f45508d2 check=0
518 n=aa20e398b8c6d86 check=0
519 n=8036f07e3fb4b4f check=0
520 n=8d602b7401304a4 check=0
521 n=5761177c4f9b9ac check=0
522 n=7cbf89e65befc7 check=0
523 n=6c10864cfe9064d check=0
524 n=94cfbb131dc329d check=0
525 n=560b7af8c6f2ef3 check=0
526 n=3e5d8bd8bb05dad check=0
527 n=aa47e43242987af check=0
528 n=205a8222c80b9c6 check=0
529 n=847c22028515953 check=0
530 n=625d7efeaa94dff check=0
531 n=62568f7c1d6a07f check=0
532 n=fb7d9f46101368 check=0
533 n=95030fda697156b check=0
534 n=84b664da5159a9b check=0
535 n=79c2e607e607ad3 check=0
536 n=2ba163a397e7978 check=0
537 n=6aa407af7be987e check=0
538 n=8f47b41bc201560 check=0
539 n=757d963c44e6322 check=0
540 n=606bd13925bf1d check=0
541 n=3cb9bf74543a0f6 check=0
542 n=a324c3bf40f621d check=0
543 n=2b227dc8969ed01 check=0
544 n=2f7e7f7004e2a80 check=0
545 n=de0865232afd2e check=0
546 n=8263db75919c902 check=0
547 n=a6b3a250f832686 check=0
548 n=ae85acc7dafb1fe check=0
549 n=a6fdd1564d5182b check=0
550 n=5696a87ca17a9cf check=0
551 n=25eb89b77bfa2ff check=0
552 n=5aa4b9e4cbf6aa4 check=0
553 n=1bbc44c8ae29720 check=0
554 n=21802a37924538 check=0
555 n=724414b50054cb check=0
556 n=7b24d50e3fff1e check=0
557 n=a04b6bec83f48a5 check=0
558 n=8c6492d48fad25e check=0
559 n=65b571af56f0646 check=0
560 n=7a0232ab9dcf488 check=0
561 n=6f5cf7804923e4b check=0
562 n=472252f71fbf6b3 check=0
563 n=13c3e1763dbabcf check=0
564 n=12e59ce51744e34 check=0
565 n=5966d026abe8a94 check=0
566 n=5aa3708ab79289e check=0
567 n=4f77d7e3415658b check=0
568 n=79da9148e309b1a check=0
569 n=93cb942b6c69f28 check=0
570 n=94dfae1c3a38480 check=0
571 n=198bbf50bd543e3 check=0
572 n=38519621e0a9748 check=0
573 n=156613832c04b53 check=0
574 n=6f46ca0ab433d11 check=0
575 n=6196d4b1c7634b1 check=0
576 n=3f4faf683f09f04 check=0
577 n=483405ca00d8e31 check=0
578 n=6ad283a95ccdcf9 check=0
579 n=73703e0ad528c1d check=0
580 n=96d60aa7d28ccbf check=0
581 n=1353843b7358ff2 check=0
582 n=595c6440a060566 check=0
583 n=1c48f4baf38a0e2 check=0
584 n=14a793d02782971 check=0
585 n=4532739a883d032 check=0
586 n=1997a2b18b0d96f check=0
587 n=591c0f98fa6e408 check=0
588 n=2cb0861a0acff75 check=0
589 n=69e9a6f8feba2b8 check=0
590 n=3564778660eb18a check=0
591 n=3e0c735502043e7 check=0
592 n=3ffea4d5ef65e14 check=0
593 n=94172e44d45bba5 check=0
594 n=9b7deebd5af1cac check=0
595 n=4e419527271faff check=0
596 n=6e2c006ec5445bb check=0
597 n=7a367109379d2c9 check=0
598 n=1e384f13cc01818 check=0
599 n=1799c4b3f9ed56 check=0
600 n=472fb00c66dbce0 check=0
601 n=8060a146fc98f50 check=0
602 n=28d2ad93a63ca08 check=0
603 n=203964722868069 check=0
604 n=2229c39b279a449 check=0
605 n=98cf86b08b6ea26 check=0
606 n=86380774d319dc0 check=0
607 n=b6cd3c148bda3b5 check=0
608 n=176fb5c2c328b77 check=0
609 n=b6c5cb214116934 check=0
610 n=b16052946025a88 check=0
611 n=138f54a9d68d7b8 check=0
612 n=2f635bb8cde4430 check=0
613 n=8a8570c1e4bffbb check=0
614 n=b26c7063d691a12 check=0
615 n=273e04bba6cece4 check=0
616 n=3d79026673034d2 check=0
617 n=2fe7917cd93bbdc check=0
618 n=31e8b88d7348c11 check=0
619 n=77983f7d2f48e5f check=0
620 n=94559b9d021ff52 check=0
621 n=b5a7dccfd1bd72b check=0
622 n=8fae052c5a665fd check=0
623 n=9c4a513b25ab579 check=0
624 n=656f8733376175f check=0
625 n=85e6e8601a481fc check=0
626 n=8a2e0fc22be28d2 check=0
627 n=90c804893719e2d check=0
628 n=252dc94aa3bc642 check=0
629 n=6890c7bb0b59a5e check=0
630 n=2987189e95bca0b check=0
631 n=5c7d8db9fd94564 check=0
632 n=92deb987e694829 check=0
633 n=4b4e5a7acd43da1 check=0
634 n=9e2aab156f8388d check=0
635 n=b5293d8ecce3d7c check=0
636 n=a3f995cb8fb963d check=0
637 n=3d90c8404cf1f3 check=0
638 n=97e64f994db4960 check=0
639 n=b2d5fff63a1f28b check=0
640 n=aa91f81b2dae8cb check=0
641 n=d396f23fae31c6 check=0
642 n=56fe9699580a0df check=0
643 n=75c084f3e5688b0 check=0
644 n=786c0955966f318 check=0
645 n=45e39e2f1f83512 check=0
646 n=b26908dcaa34231 check=0
647 n=a7243a4120b62dc check=0
648 n=7f500e68d4c8fef check=0
649 n=3d02e335f320eaa check=0
650 n=39eae3cd55dcd89 check=0
651 n=5af830c67d8f119 check=0
652 n=8e9dc94e7a4b90a check=0
653 n=3106a055d4c5745 check=0
654 n=2480a05fc155b2a check=0
655 n=2b8404a30195eea check=0
656 n=1c32d24757825a5 check=0
657 n=ab8778d9a330294 check=0
658 n=4221d4402f70dbb check=0
659 n=82ab9df6b96464b check=0
660 n=9dad9246ed2233a check=0
661 n=65438bce4d6165c check=0
662 n=3980e0e6494afb check=0
663 n=5b035fc37fad16f check=0
664 n=7986d4192ea326f check=0
665 n=7f4d0d25cde66d5 check=0
666 n=947d5dfbcf7b999 check=0
667 n=8d723870a89740e check=0
668 n=942d6e9eac04258 check=0
669 n=555794f5a4220ea check=0
670 n=93c256e089ccd35 check=0
671 n=92f7004763f368f check=0
672 n=b763a3bb497e728 check=0
673 n=231a7cf7abcd430 check=0
674 n=c36c13bce34822 check=0
675 n=878fdb2b122738e check=0
676 n=715121f856f173e check=0
677 n=9c0744bde0fe63a check=0
678 n=527fa09b04cb364 check=0
679 n=58058a79c780897 check=0
680 n=60c902046a34b46 check=0
681 n=b6dbfed1152d500 check=0
682 n=26f91cbf8b62739 check=0
683 n=a81939983ef9ef4 check=0
684 n=84d867945bbc0dd check=0
685 n=8a33b39e76d43ab check=0
686 n=1608164676ad879 check=0
687 n=1d9813694b0af44 check=0
688 n=25c55ac7225595c check=0
689 n=493ce3630a189b5 check=0
690 n=8b347ce0557ced7 check=0
691 n=72fa8c48351b356 check=0
692 n=43ea051366d3361 check=0
693 n=3ebf0378287178b check=0
694 n=a841f609b232a8e check=0
695 n=79a40a9f2067e77 check=0
696 n=46eb2ccfbcb4e88 check=0
697 n=7d0e9293466b34b check=0
698 n=41c33dfa8070381 check=0
699 n=746089bd09bee52 check=0
700 n=9b7b4ddbcba9273 check=0
701 n=73e1d5cb5c9daa7 check=0
702 n=a1c42bb903e188c check=0
703 n=a5f388029dc756f check=0
704 n=a270814fdef4b06 check=0
705 n=339b5d6277c51dd check=0
706 n=987cb5ddc13be40 check=0
707 n=30db78b278f699 check=0
708 n=8beb3b98c5b97d9 check=0
709 n=e6c3b099b642a4 check=0
710 n=8ea8d689b5cdaf7 check=0
711 n=4f1507370f2f6 check=0
712 n=2c5a50f576e19f1 check=0
713 n=3d5ba0c511f9616 check=0
714 n=138cdf6be5ea89a check=0
715 n=8f3b111f2bf171e check=0
716 n=4483371f21304b8 check=0
717 n=8299fb7cb8c431d check=0
718 n=a5a04d7861721c3 check=0
719 n=918354d10910b3f check=0
720 n=3c3b417b1121627 check=0
721 n=9bd338ca11557cf check=0
722 n=21c0e6eeb7938d1 check=0
723 n=b7e883ad8d95d5d check=0
724 n=6ee16b25ca9bd92 check=0
725 n=a11a5f9cb78984b check=0
726 n=861623e59b1bef check=0
727 n=8f2e7c3daab9cc7 check=0
728 n=1396b7c082edf38 check=0
729 n=42a89597823f302 check=0
730 n=68c8c04021f0101 check=0
731 n=53f8ad48efc2832 check=0
732 n=84f83c07b8f21fc check=0
733 n=953249a08daa454 check=0
734 n=8a4baebca0f8b8a check=0
735 n=110f488de42d2ef check=0
736 n=b22d5647963f674 check=0
737 n=7be4be44e3064d7 check=0
738 n=39c9c969caa26fd check=0
739 n=13674bfbcc1e6a6 check=0
740 n=497b92028a0be2c check=0
741 n=87c4a3ca4f5574f check=0
742 n=a2242efa4d1d3df check=0
743 n=432964f00cf7c2e check=0
744 n=911a8767deff076 check=0
745 n=c852dbcdda4c54 check=0
746 n=96ffad60066e9f8 check=0
747 n=d1df5b2d786843 check=0
748 n=805657cb9aca8eb check=0
749 n=4f91599cb7193c0 check=0
750 n=a167cc32cfd4c23 check=0
751 n=400ef9807d46eae check=0
752 n=7b63352eb3b1dd0 check=0
753 n=67212fc868c4adb check=0
754 n=abcf3ee64a235c check=0
755 n=83611bd482a5bc4 check=0
756 n=3332be4e3de08d1 check=0
757 n=2fef5920ede356a check=0
758 n=5bbbb144cd2fa8d check=0
759 n=46efb152c2369e7 check=0
760 n=20d2e8fa1715d6d check=0
761 n=725687d80346993 check=0
762 n=b2487632e16d54e check=0
763 n=a3d442b8a5f1f94 check=0
764 n=9bb9467a52e0298 check=0
765 n=a9c76621ea7aca2 check=0
766 n=132271566987c7b check=0
767 n=837d4da757a40ec check=0
768 n=85803e48f9d150 check=0
769 n=53caa7f8719615d check=0
770 n=a84682a1bd8a41b check=0
771 n=8d9ab974683af18 check=0
772 n=83f663fdf777a03 check=0
773 n=b84d09924c72b07 check=0
774 n=7a25976fa96c4d9 check=0
775 n=70fc712f73139a6 check=0
776 n=3b10a1c77672203 check=0
777 n=9b8f0aea029e50e check=0
778 n=68c685eed9d695e check=0
779 n=19dd1bebb85d00b check=0
780 n=42c3516a637fa17 check=0
781 n=552f66a666bc0c6 check=0
782 n=508541d76cfb9af check=0
783 n=c2ff90c6d75d08 check=0
784 n=10e6a8b2447de3c check=0
785 n=7a3d2b43cf521a check=0
786 n=b798634bf89172f check=0
787 n=69026a766a85181 check=0
788 n=2fe784bdc51cdea check=0
789 n=afa8da9c3189cac check=0
790 n=11a2491d8032f7f check=0
791 n=987180972f61831 check=0
792 n=2f2ec19273fe4c4 check=0
793 n=1576ca6a3987d8e check=0
794 n=28ec53fd2bb3ccf check=0
795 n=7620e2ab149124 check=0
796 n=858986778ca398b check=0
797 n=4eca91988a72369 check=0
798 n=a933c0d7c9a4574 check=0
799 n=49e0f75bc04e684 check=0
800 n=69e53a15570f154 check=0
801 n=4e9c97122413c22 check=0
802 n=28d1feeccbf4679 check=0
803 n=7a43776391caa6f check=0
804 n=14ba2d8b743bdf4 check=0
805 n=95d07832bfd9319 check=0
806 n=8c72ae03b6c669 check=0
807 n=7c169b03d2a65b8 check=0
808 n=84b841a887dff8 check=0
809 n=9085d7a2bc8022e check=0
810 n=a1e1b1ba34ba6c0 check=0
811 n=3fe32cadad1880d check=0
812 n=99affc518e8953c check=0
813 n=1d8bc0a7ebf8ecd check=0
814 n=b5a7e15e0d5038b check=0
815 n=a5a27a1dde97360 check=0
816 n=1bcf0bee0a91e07 check=0
817 n=af96a29ab21e501 check=0
818 n=94746f89a058ed8 check=0
819 n=5a4ca1698a7ca5c check=0
820 n=651864e4f27b212 check=0
821 n=a0b4c33ac9bc27c check=0
822 n=3743a68e1879b9e check=0
823 n=91f1c22187b1d27 check=0
824 n=9ca888b7091cef2 check=0
825 n=466ee97225d3de8 check=0
826 n=53ac279ff7584fe check=0
827 n=9cc1c4a3d512953 check=0
828 n=2771e478fa2760f check=0
829 n=20aa8ab5cf4fa92 check=0
830 n=4b8b2a328f0311a check=0
831 n=37e890c1f46f972 check=0
832 n=182ec6da0ac6421 check=0
833 n=939be6c793467c7 check=0
834 n=2210041c80103f6 check=0
835 n=9f18f37d9a326b4 check=0
836 n=147ba0d41db8995 check=0
837 n=87af90ce58bbd95 check=0
838 n=b1707187edfdd17 check=0
839 n=9bf42226587a0a9 check=0
840 n=b88ab5da550e33d check=0
841 n=422ec31fee289f7 check=0
842 n=4abdbbd53b87536 check=0
843 n=b8c0ae96b88e15 check=0
844 n=715ed6f9e5e21d6 check=0
845 n=11e7b1129b41d40 check=0
846 n=505c6651faa83dc check=0
847 n=b68489d2b623085 check=0
848 n=b6d248b6e93adb3 check=0
849 n=10b65fadd2d8536 check=0
850 n=a0e267881d6c4ff check=0
851 n=3e523b2e674ffb8 check=0
852 n=6774711c0120fcc check=0
853 n=840a9df4a4d0c88 check=0
854 n=54288e585694d46 check=0
855 n=295ce01b7c82767 check=0
856 n=a68dd022030dadb check=0
857 n=12ed2512eff965c check=0
858 n=b94232b03853d56 check=0
859 n=29ed14393b471cb check=0
860 n=759007a47ba1481 check=0
861 n=7363f41bb50664d check=0
862 n=4059d269e3835f check=0
863 n=83cb3060474619d check=0
864 n=8c77f49b880f024 check=0
865 n=49216f054b230b5 check=0
866 n=64c70e87454132b check=0
867 n=489c5e6b33594d0 check=0
868 n=b03500fe8b19e99 check=0
869 n=3247386624bb7cb check=0
870 n=87c769f3497e7ad check=0
871 n=66b0bd426958698 check=0
872 n=57e12cf72db9645 check=0
873 n=7a7347f7facd710 check=0
874 n=424b9c7946056bc check=0
875 n=4425f1966f3135f check=0
876 n=b7035d95287db2 check=0
877 n=afbde779dcfa19c check=0
878 n=50bbcad5f517352 check=0
879 n=869434dc0b943eb check=0
880 n=1dfd3c61fa8c789 check=0
881 n=601b43a47ebe159 check=0
882 n=4265838c58d74c5 check=0
883 n=11ebbeab36845d9 check=0
884 n=75b8e03c23d62b9 check=0
885 n=7a52b02ecf3c9ea check=0
886 n=2ca96517aaf1201 check=0
887 n=b78f742da35958e check=0
888 n=82efbd5b8fc3f96 check=0
889 n=84c200223f66668 check=0
890 n=a90cc83741fc32c check=0
891 n=1971d9479adc8be check=0
892 n=3e9c029608161ac check=0
893 n=71c2bf6da5f617e check=0
894 n=49f3a1d026da5e5 check=0
895 n=4b980d91c919463 check=0
896 n=2b15e3dc3225a41 check=0
897 n=3f15d14d42c51f check=0
898 n=10a5c7df543ed15 check=0
899 n=8d778308133aeb1 check=0
900 n=8df2d0544de5621 check=0
901 n=686ccc8eee248db check=0
902 n=56457fcf353feb1 check=0
903 n=2e65c35b9af6715 check=0
904 n=1b821761add8e47 check=0
905 n=594bc12d021388b check=0
906 n=153416bfef944bb check=0
907 n=5adb6fad691a6f6 check=0
908 n=8fcd4a6fae86dce check=0
909 n=80dd2de1d90cd19 check=0
910 n=d91e91eb799c49 check=0
911 n=831f9bc10c3ec12 check=0
912 n=66dc143eb95d73 check=0
913 n=5562d925252d323 check=0
914 n=5f2d4b45fbc0de1 check=0
915 n=6e4b1c2b5d575d check=0
916 n=a9f70e0aa8a53fa check=0
917 n=4ca2962b540cd67 check=0
918 n=35cefec22bfd6a9 check=0
919 n=1465f6f21cb3ff5 check=0
920 n=97fbc1869c414dd check=0
921 n=26111c486545d41 check=0
922 n=58611b30eb28b62 check=0
923 n=2ba511c4620a78c check=0
924 n=a09b578a08196fa check=0
925 n=dadd82c1a2581a check=0
926 n=515f8f65b25ea38 check=0
927 n=a65949de51c622 check=0
928 n=a4a1fe8bb661d40 check=0
929 n=439a5864e0fe386 check=0
930 n=1ffe2fadaeb2cd check=0
931 n=5da9e96fc4dc8e6 check=0
932 n=c30db7f5781a0f check=0
933 n=743c24c657577f4 check=0
934 n=65862593144b313 check=0
935 n=8d951ac07dfa224 check=0
936 n=657a01fddb9389e check=0
937 n=1e17f80beb7c0e7 check=0
938 n=a92ad165ddd924e check=0
939 n=b893e1ea68ed3e check=0
940 n=6fca82655423089 check=0
941 n=40d115e1a4dda7c check=0
942 n=69bcf2b2e91423f check=0
943 n=86be8fc9bca71bc check=0
944 n=2b4f9dc03acf120 check=0
945 n=ad56b115acd403c check=0
946 n=78410ad8bc02491 check=0
947 n=5fd2a2ac2067f31 check=0
948 n=7198651e221c51f check=0
949 n=54d22f9746f1d59 check=0
950 n=4cc8b20e391a6ad check=0
951 n=760a2248eb53dd3 check=0
952 n=47afa1f697fa36f check=0
953 n=2d0116d06111ac0 check=0
954 n=90f3b685ce7e854 check=0
955 n=4cd33108e0e89e5 check=0
956 n=68313678148eb1c check=0
957 n=60bb0ecc89d479a check=0
958 n=5ee0503049482cf check=0
959 n=9a088932446c13f check=0
960 n=78785193837154e check=0
961 n=51c8df3e35c2973 check=0
962 n=450ec1302acbbde check=0
963 n=b8bdcd1cb944698 check=0
964 n=991f9257075c281 check=0
965 n=51daa5b331f4f58 check=0
966 n=354722d4f52a79c check=0
967 n=2daf1001d9b23a7 check=0
968 n=6d4c97ca2076a9f check=0
969 n=796aeb009d1a8e2 check=0
970 n=bccf3816736863 check=0
971 n=b0df222da123b2a check=0
972 n=9b3eab50d0fe9a6 check=0
973 n=a4e935b2f3be2e6 check=0
974 n=8b93b36db35cacf check=0
975 n=4dcdbbbaa45a811 check=0
976 n=4983f079b78841 check=0
977 n=a066ce8ffc82902 check=0
978 n=95d6c723f16051 check=0
979 n=26958f2f88ec3a1 check=0
980 n=263566f0c011599 check=0
981 n=2fb3265165f9fa9 check=0
982 n=4419e033a70c635 check=0
983 n=6610f025ade62b4 check=0
984 n=264088d34e3b6e2 check=0
985 n=fb50faf6256d85 check=0
986 n=18acc1713a30bfd check=0
987 n=d66d1bae5e4624 check=0
988 n=8f62787b315ba12 check=0
989 n=21940eac16ff7a check=0
990 n=850805273a2adcb check=0
991 n=7b9506b735fb61 check=0
992 n=8058b18a505664 check=0
993 n=cd6b319ecc1a43 check=0
994 n=aa859a3dfa8f713 check=0
995 n=8092d17519c13f1 check=0
996 n=42b8866b58b88d3 check=0
997 n=2752fba748b0277 check=0
998 n=abcc305200cfecd check=0
999 n=8b4bf0ebbec2b66 check=0
1000 n=2a8516d31be4b21 check=0
1001 n=63b6aea0c10cd22 check=0
1002 n=1d2c30946f3f00b check=0
1003 n=b76551ca7db848e check=0
1004 n=4ffc691cd3d1853 check=0
1005 n=6630575bba9305f check=0
1006 n=56f2e62330a0842 check=0
1007 n=b7dfb25fffeb4a7 check=0
1008 n=66094f589ac5aff check=0
1009 n=7d9e8dd4b4108c3 check=0
1010 n=b7a15136e014661 check=0
1011 n=2bff92f260814a4 check=0
1012 n=aa8175d2b8444e5 check=0
1013 n=94706ca58d51267 check=0
1014 n=4b697e79cdf78da check=0
1015 n=e1e4898b0c1d06 check=0
1016 n=8bf1d9269c3004d check=0
1017 n=9e8c179dfdbd2fb check=0
1018 n=abc894b81e998f5 check=0
1019 n=184d8c72b04a4f7 check=0
1020 n=b5515ae47f55d4b check=0
1021 n=7b36923c74c6bdc check=0
1022 n=13c7c0254e93cdc check=0
1023 n=b8478394881fba1 check=0
1024 n=1cf21ffaed3b1c6 check=0
1025 n=8007cac37f3bb6f check=0
1026 n=7d9b7e9b341f96e check=0
1027 n=55beda71b18a99b check=0
1028 n=7083054a07a54d check=0
1029 n=94f306aef8fa647 check=0
1030 n=7560f6d16132397 check=0
1031 n=11de7b8f17b977 check=0
1032 n=4e896ab90b95ead check=0
1033 n=7f1d721d2ab6ff7 check=0
1034 n=4ded4437de30fb check=0
1035 n=4fdeb82ef5c266 check=0
1036 n=27108a2a1297200 check=0
1037 n=1a9ae1faad598aa check=0
1038 n=3e0c3d54c3298af check=0
1039 n=b5d4ea48b530c4a check=0
1040 n=77afd4ca976042e check=0
1041 n=60f2b8ff953823f check=0
1042 n=91c11f0fb54aaa7 check=0
1043 n=adc1263b7ffc7f7 check=0
1044 n=b9190ccb537bf53 check=0
1045 n=7e2986bef290f9e check=0
1046 n=13129d72128e46f check=0
1047 n=af86c6a5cf0bb23 check=0
1048 n=17169504dc4b849 check=0
1049 n=55a41e8c9656fd8 check=0
--- End of Solve ECDLP ---
data=1050 solve=1050
ave=40803 sqrt(R)=914134876
Time=5.76(s)
-- End: Fri May 24 23:11:06 2019