% [command] cc/ffd-2 12 2 24 8 0 1+3o2 1000 1000e13
% 4096.8.0.1 [n=13: 6 designs, 0<=A8<=-1]; (map=1586 iso=1580, 1580+0, 0:3:36) Tue Jul 31 15:30:42 2007
13-1.1& 0 0 0 0 0 1 & 4095  \\
13-1.2& 0 0 0 0 1 0 & 2047  \\
13-1.3& 0 0 0 1 0 0 & 1023  \\
13-1.4& 0 0 1 0 0 0 & 511  \\
13-1.5& 0 1 0 0 0 0 & 255  \\
13-1.6& 1 0 0 0 0 0 & 127  \\
% 4096.8.0.1 [n=14: 7 designs, 0<=A8<=-1]; (map=2492 iso=2485, 349+2136, 0:8:49) Tue Jul 31 15:39:31 2007
14-2.1& 0 2 1 0 0 0 & 511 3615  \\
14-2.2& 1 0 2 0 0 0 & 511 3599  \\
14-2.3& 1 1 0 1 0 0 & 1023 3103  \\
14-2.4& 1 2 0 0 0 0 & 255 1807  \\
14-2.5& 2 0 0 0 1 0 & 2047 2111  \\
14-2.6& 2 0 1 0 0 0 & 511 1567  \\
14-2.7& 3 0 0 0 0 0 & 127 911  \\
% 4096.8.0.1 [n=15: 4 designs, 0<=A8<=-1]; (map=668 iso=664, 107+557, 0:6:23) Tue Jul 31 15:45:55 2007
15-3.1& 3 4 0 0 0 0 & 255 1807 2867  \\
15-3.2& 5 0 2 0 0 0 & 511 3599 1651  \\
15-3.3& 6 0 0 0 1 0 & 2047 2111 2503  \\
15-3.4& 7 0 0 0 0 0 & 127 911 1459  \\
% 4096.8.0.1 [n=16: 5 designs, 0<=A8<=-1]; (map=218 iso=213, 15+198, 0:3:8) Tue Jul 31 15:49:03 2007
16-4.1& 7 8 0 0 0 0 & 255 1807 2867 3413  \\
16-4.2& 11 0 4 0 0 0 & 511 3599 1651 2741  \\
16-4.3& 13 0 0 0 2 0 & 2047 2111 2503 2777  \\
16-4.4& 14 0 0 0 0 0 & 127 911 1459 2492  \\
16-4.5& 15 0 0 0 0 0 & 127 911 1459 1749  \\
% 4096.8.0.1 [n=17: 5 designs, 0<=A8<=-1]; (map=40 iso=35, 0+35, 0:3:35) Tue Jul 31 15:52:38 2007
17-5.1& 14 16 0 0 0 0 & 255 1807 2867 3413 3734  \\
17-5.2& 15 15 0 0 0 0 & 255 1807 2867 3413 3689  \\
17-5.3& 22 0 8 0 0 0 & 511 3599 1651 2741 3289  \\
17-5.4& 25 0 0 0 6 0 & 2047 2111 2503 2777 2922  \\
17-5.5& 30 0 0 0 0 0 & 127 911 1459 1749 1897  \\
% 4096.8.0.1 [n=18: 2 designs, 0<=A8<=-1]; (map=13 iso=11, 11+0, 0:3:40) Tue Jul 31 15:56:18 2007
18-6.1& 45 0 0 0 18 0 & 2047 2111 2503 2777 2922 3308  \\
18-6.2& 46 0 0 0 16 0 & 2047 2111 2503 2777 2922 2996  \\
% 4096.8.0.1 [n=19: 1 designs, 0<=A8<=-1]; (map=6 iso=5, 0+5, 0:1:34) Tue Jul 31 15:57:52 2007
19-7.1& 78 0 0 0 48 0 & 2047 2111 2503 2777 2922 3308 2996  \\
% 4096.8.0.1 [n=20: 1 designs, 0<=A8<=-1]; (map=5 iso=4, 4+0, 0:0:50) Tue Jul 31 15:58:42 2007
20-8.1& 130 0 0 0 120  & 2047 2111 2503 2777 2922 3308 2996 3441  \\
% 4096.8.0.1 [n=21: 1 designs, 0<=A8<=-1]; (map=4 iso=3, 3+0, 0:1:49) Tue Jul 31 16:00:31 2007
21-9.1& 210 0 0 0 280  & 2047 2111 2503 2777 2922 3308 2996 3441 3482  \\
% 4096.8.0.1 [n=22: 1 designs, 0<=A8<=-1]; (map=3 iso=2, 2+0, 0:1:14) Tue Jul 31 16:01:45 2007
22-10.1& 330 0 0 0 616  & 2047 2111 2503 2777 2922 3308 2996 3441 3482 3670  \\
% 4096.8.0.1 [n=23: 1 designs, 0<=A8<=-1]; (map=2 iso=1, 1+0, 0:3:13) Tue Jul 31 16:04:58 2007
23-11.1& 506 0 0 0 1288  & 2047 2111 2503 2777 2922 3308 2996 3441 3482 3670 3747  \\
% 4096.8.0.1 [n=24: 1 designs, 0<=A8<=-1]; (map=1 iso=0, 0+0, 0:0:57) Tue Jul 31 16:05:55 2007
24-12.1& 759 0 0 0 2576  & 2047 2111 2503 2777 2922 3308 2996 3441 3482 3670 3747 3853  \\