=======================================================================
Design parameters are 2-(9,4,3), b=18
Blocks of the design are:
0123 0124 0156 0256 0347 0348 0578 0678 1278 1357 1358 1467 1468 2367 2368 2457 2458 3456
The design is simple
=======================================================================
Auto’m group order is 8
All non-isomorphic minimal defining sets are:
0123 0124 0156 0256 1357 1358
Size=6 |Aut|=2
0123 0124 0347 0348 1357 1358
Size=6 |Aut|=2
0156 0256 0347 0348 1357 1358
Size=6 |Aut|=2
0123 0156 0347 0348 0578 1357 1358
Size=7 |Aut|=2
0124 0156 0347 0348 0578 1357 1358
Size=7 |Aut|=2
0123 0256 0347 0348 0678 1357 1358
Size=7 |Aut|=2
0124 0256 0347 0348 0678 1357 1358
Size=7 |Aut|=2
0123 0124 0578 0678 1357 1358
Size=6 |Aut|=2
0156 0256 0578 0678 1357 1358
Size=6 |Aut|=2
0124 0156 0347 0578 0678 1357 1358
Size=7 |Aut|=1
0123 0256 0347 0578 0678 1357 1358
Size=7 |Aut|=1
0347 0348 0578 0678 1357 1358
Size=6 |Aut|=2
0123 0124 0156 0347 1278 1357 1358
Size=7 |Aut|=1
0123 0156 0347 0348 1278 1357 1358
Size=7 |Aut|=2
0123 0256 0347 0348 1278 1357 1358
Size=7 |Aut|=2
0123 0156 0578 1278 1357 1358
Size=6 |Aut|=2
0123 0347 0348 0578 1278 1357 1358
Size=7 |Aut|=2
0156 0347 0348 0578 1278 1357 1358
Size=7 |Aut|=2
0123 0124 0156 0678 1278 1357 1358
Size=7 |Aut|=2
0123 0256 0678 1278 1357 1358
Size=6 |Aut|=2
0124 0156 0256 0678 1278 1357 1358
Size=7 |Aut|=2
0156 0256 0347 0678 1278 1357 1358
Size=7 |Aut|=1
0123 0347 0348 0678 1278 1357 1358
Size=7 |Aut|=2
0256 0347 0348 0678 1278 1357 1358
Size=7 |Aut|=2
0124 0156 0578 0678 1278 1357 1358
Size=7 |Aut|=2
0123 0156 0347 0348 1357 1358 1467
Size=7 |Aut|=1
0124 0156 0347 0348 1357 1358 1467
Size=7 |Aut|=1
0123 0256 0347 0348 1357 1358 1467
Size=7 |Aut|=1
0124 0256 0347 0348 1357 1358 1467
Size=7 |Aut|=1
0124 0156 0256 0348 0578 1357 1358 1467
Size=8 |Aut|=1
0123 0347 0348 0578 1357 1358 1467
Size=7 |Aut|=1
0124 0347 0348 0578 1357 1358 1467
Size=7 |Aut|=1
0123 0156 0256 0347 0678 1357 1358 1467
Size=8 |Aut|=1
0123 0347 0348 0678 1357 1358 1467
Size=7 |Aut|=1
0124 0347 0348 0678 1357 1358 1467
Size=7 |Aut|=1
0124 0156 0578 0678 1357 1358 1467
Size=7 |Aut|=1
0123 0256 0578 0678 1357 1358 1467
Size=7 |Aut|=1
0124 0347 0578 0678 1357 1358 1467
Size=7 |Aut|=1
0123 0348 0578 0678 1357 1358 1467
Size=7 |Aut|=1
0156 0256 0348 1278 1357 1358 1467
Size=7 |Aut|=1
0156 0347 0348 1278 1357 1358 1467
Size=7 |Aut|=1
0256 0347 0348 1278 1357 1358 1467
Size=7 |Aut|=1
0124 0156 0348 0578 1278 1357 1358 1467
Size=8 |Aut|=1
0347 0348 0578 1278 1357 1358 1467
Size=7 |Aut|=1
0156 0256 0678 1278 1357 1358 1467
Size=7 |Aut|=1
0124 0156 0347 0678 1278 1357 1358 1467
Size=8 |Aut|=1
0124 0256 0347 0678 1278 1357 1358 1467
Size=8 |Aut|=1
0124 0156 0348 0678 1278 1357 1358 1467
Size=8 |Aut|=1
0347 0348 0678 1278 1357 1358 1467
Size=7 |Aut|=1
0256 0347 0578 0678 1278 1357 1358 1467
Size=8 |Aut|=1
0123 0156 0256 1357 1358 1467 1468
Size=7 |Aut|=2
0123 0124 0347 1357 1358 1467 1468
Size=7 |Aut|=2
0123 0156 0347 1357 1358 1467 1468
Size=7 |Aut|=1
0123 0256 0347 1357 1358 1467 1468
Size=7 |Aut|=1
0156 0256 0347 1357 1358 1467 1468
Size=7 |Aut|=2
0124 0578 1357 1358 1467 1468
Size=6 |Aut|=2
0123 0156 0578 1357 1358 1467 1468
Size=7 |Aut|=2
0123 0256 0578 1357 1358 1467 1468
Size=7 |Aut|=2
0156 0256 0578 1357 1358 1467 1468
Size=7 |Aut|=2
0123 0347 0578 1357 1358 1467 1468
Size=7 |Aut|=1
0156 0578 0678 1357 1358 1467 1468
Size=7 |Aut|=4
0256 0578 0678 1357 1358 1467 1468
Size=7 |Aut|=4
0347 0578 0678 1357 1358 1467 1468
Size=7 |Aut|=2
0256 1278 1357 1358 1467 1468
Size=6 |Aut|=4
0156 0347 1278 1357 1358 1467 1468
Size=7 |Aut|=2
0156 0578 1278 1357 1358 1467 1468
Size=7 |Aut|=2
0347 0578 1278 1357 1358 1467 1468
Size=7 |Aut|=1
0578 0678 1278 1357 1358 1467 1468
Size=7 |Aut|=4
0123 0124 0256 0347 0578 1357 1358 2367
Size=8 |Aut|=1
0156 0256 0347 0578 1357 1358 2367
Size=7 |Aut|=1
0156 0347 0348 0578 1357 1358 2367
Size=7 |Aut|=1
0123 0124 0156 0348 0678 1357 1358 2367
Size=8 |Aut|=1
0156 0256 0348 0678 1357 1358 2367
Size=7 |Aut|=1
0256 0347 0348 0678 1357 1358 2367
Size=7 |Aut|=1
0124 0156 0578 0678 1357 1358 2367
Size=7 |Aut|=1
0123 0256 0578 0678 1357 1358 2367
Size=7 |Aut|=1
0256 0347 0578 0678 1357 1358 2367
Size=7 |Aut|=1
0156 0348 0578 0678 1357 1358 2367
Size=7 |Aut|=1
0123 0124 0156 1278 1357 1358 2367
Size=7 |Aut|=1
0123 0124 0347 1278 1357 1358 2367
Size=7 |Aut|=1
0124 0156 0256 0347 1278 1357 1358 2367
Size=8 |Aut|=1
0123 0347 0348 1278 1357 1358 2367
Size=7 |Aut|=1
0124 0156 0347 0578 1278 1357 1358 2367
Size=8 |Aut|=1
0123 0256 0347 0578 1278 1357 1358 2367
Size=8 |Aut|=1
0156 0256 0678 1278 1357 1358 2367
Size=7 |Aut|=1
0124 0256 0347 0678 1278 1357 1358 2367
Size=8 |Aut|=1
0123 0156 0348 0678 1278 1357 1358 2367
Size=8 |Aut|=1
0124 0347 0578 0678 1278 1357 1358 2367
Size=8 |Aut|=1
0123 0256 0347 0578 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0256 0347 0578 1357 1358 1467 2367
Size=8 |Aut|=1
0123 0156 0348 0678 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0156 0348 0678 1357 1358 1467 2367
Size=8 |Aut|=1
0123 0156 0578 0678 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0256 0578 0678 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0156 0347 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0256 0347 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0123 0156 0348 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0347 0578 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0256 0347 0578 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0156 0348 0578 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0156 0678 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0256 0678 1278 1357 1358 1467 2367
Size=7 |Aut|=1
0124 0347 0678 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0156 0348 0678 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0124 0578 0678 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0348 0578 0678 1278 1357 1358 1467 2367
Size=8 |Aut|=1
0123 0124 0256 0347 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0156 0256 0347 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0124 0156 0348 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0256 0348 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0578 1357 1358 1468 2367
Size=7 |Aut|=1
0123 0156 0347 0578 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0256 0347 0578 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0256 0347 0578 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0256 0678 1357 1358 1468 2367
Size=7 |Aut|=1
0123 0156 0348 0678 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0348 0678 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0256 0348 0678 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0256 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0347 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0256 0347 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0156 0256 0578 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0347 0578 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0347 0578 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0256 0347 0578 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0156 0678 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0124 0347 0678 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0156 0348 0678 1278 1357 1358 1468 2367
Size=8 |Aut|=1
0123 0124 0156 0347 1467 1468 2367
Size=7 |Aut|=1
0123 0124 0256 0348 1467 1468 2367
Size=7 |Aut|=1
0123 0156 0347 0348 1467 1468 2367
Size=7 |Aut|=1
0124 0156 0347 0348 1467 1468 2367
Size=7 |Aut|=1
0123 0256 0347 0348 1467 1468 2367
Size=7 |Aut|=1
0124 0256 0347 0348 1467 1468 2367
Size=7 |Aut|=1
0123 0347 0348 0578 1467 1468 2367
Size=7 |Aut|=1
0124 0347 0348 0578 1467 1468 2367
Size=7 |Aut|=1
0123 0347 0348 0678 1467 1468 2367
Size=7 |Aut|=1
0124 0347 0348 0678 1467 1468 2367
Size=7 |Aut|=1
0123 0124 0156 1278 1467 1468 2367
Size=7 |Aut|=1
0156 0347 0348 1278 1467 1468 2367
Size=7 |Aut|=1
0256 0347 0348 1278 1467 1468 2367
Size=7 |Aut|=1
0123 0156 0347 0578 1278 1467 1468 2367
Size=8 |Aut|=1
0123 0156 0348 0578 1278 1467 1468 2367
Size=8 |Aut|=1
0124 0156 0348 0578 1278 1467 1468 2367
Size=8 |Aut|=1
0347 0348 0578 1278 1467 1468 2367
Size=7 |Aut|=1
0123 0124 0348 0678 1278 1467 1468 2367
Size=8 |Aut|=1
0124 0256 0348 0678 1278 1467 1468 2367
Size=8 |Aut|=1
0347 0348 0678 1278 1467 1468 2367
Size=7 |Aut|=1
0156 0347 0348 0578 1357 1467 1468 2367
Size=8 |Aut|=1
0256 0347 0348 0678 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0124 0348 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0156 0348 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0124 0156 0348 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0124 0256 0348 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0347 0348 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0124 0578 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0347 0578 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0124 0348 0578 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0124 0348 0678 1278 1357 1467 1468 2367
Size=8 |Aut|=1
0123 0156 0256 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0123 0156 0347 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0123 0256 0348 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0124 0256 0348 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0256 0348 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0347 0348 0578 1358 1467 1468 2367
Size=8 |Aut|=1
0124 0156 0256 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0123 0156 0347 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0124 0156 0347 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0256 0347 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0124 0256 0348 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0256 0347 0348 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0347 0578 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0256 0348 0578 0678 1358 1467 1468 2367
Size=8 |Aut|=1
0123 0347 0348 1278 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0348 0578 1278 1358 1467 1468 2367
Size=8 |Aut|=1
0256 0348 0578 1278 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0347 0678 1278 1358 1467 1468 2367
Size=8 |Aut|=1
0156 0578 0678 1278 1358 1467 1468 2367
Size=8 |Aut|=1
0123 0156 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0124 0156 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0123 0256 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0124 0256 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0123 0578 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0156 0578 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0124 0678 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0256 0678 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0123 1278 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0156 1278 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0578 1278 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0678 1278 1357 1358 1467 1468 2367
Size=7 |Aut|=1
0123 0124 0156 1357 1358 2367 2368
Size=7 |Aut|=2
0123 0156 0256 1357 1358 2367 2368
Size=7 |Aut|=4
0124 0156 0256 1357 1358 2367 2368
Size=7 |Aut|=4
0123 0124 0347 1357 1358 2367 2368
Size=7 |Aut|=2
0156 0256 0347 1357 1358 2367 2368
Size=7 |Aut|=2
0123 0124 0578 1357 1358 2367 2368
Size=7 |Aut|=2
0156 0578 1357 1358 2367 2368
Size=6 |Aut|=2
0123 0578 0678 1357 1358 2367 2368
Size=7 |Aut|=4
0124 0578 0678 1357 1358 2367 2368
Size=7 |Aut|=4
0347 0578 0678 1357 1358 2367 2368
Size=7 |Aut|=2
0123 1278 1357 1358 2367 2368
Size=6 |Aut|=4
0156 0256 1278 1357 1358 2367 2368
Size=7 |Aut|=4
0578 0678 1278 1357 1358 2367 2368
Size=7 |Aut|=4
0123 0156 0348 0578 1357 1467 2367 2368
Size=8 |Aut|=1
0123 0256 0348 0578 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0348 0578 1357 1467 2367 2368
Size=8 |Aut|=1
0123 0156 0347 0678 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0156 0347 0678 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0347 0678 1357 1467 2367 2368
Size=8 |Aut|=1
0123 0256 1278 1357 1467 2367 2368
Size=7 |Aut|=1
0124 0156 0347 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0347 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0156 0256 0347 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0123 0156 0348 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0578 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0347 0578 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0256 0348 0578 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0124 0347 0678 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0156 0347 0678 1278 1357 1467 2367 2368
Size=8 |Aut|=1
0123 0124 0256 0578 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0256 0347 0578 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0347 0578 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0124 0348 0578 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0124 0156 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0124 0347 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0156 0348 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0156 0348 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0347 0578 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0348 0578 0678 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0124 0156 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0156 0348 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0348 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0256 0578 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0256 0347 0578 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0348 0578 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0124 0348 0578 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0156 0348 0578 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0678 1278 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0348 0678 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0156 0348 0678 1278 1358 1467 2367 2368
Size=8 |Aut|=1
0123 0156 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0156 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0123 0256 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0256 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0123 0578 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0578 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0123 0678 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0678 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0156 1278 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0256 1278 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0578 1278 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0678 1278 1357 1358 1467 2367 2368
Size=7 |Aut|=1
0124 0156 1467 1468 2367 2368
Size=6 |Aut|=2
0123 0124 0347 1467 1468 2367 2368
Size=7 |Aut|=2
0123 0156 0347 1467 1468 2367 2368
Size=7 |Aut|=1
0156 0256 0347 1467 1468 2367 2368
Size=7 |Aut|=2
0123 0124 0578 1467 1468 2367 2368
Size=7 |Aut|=4
0123 0347 0578 1467 1468 2367 2368
Size=7 |Aut|=1
0123 0124 0678 1467 1468 2367 2368
Size=7 |Aut|=4
0123 0347 0678 1467 1468 2367 2368
Size=7 |Aut|=1
0347 0578 0678 1467 1468 2367 2368
Size=7 |Aut|=2
0123 0124 1278 1467 1468 2367 2368
Size=7 |Aut|=4
0123 0156 1278 1467 1468 2367 2368
Size=7 |Aut|=2
0156 0347 1278 1467 1468 2367 2368
Size=7 |Aut|=1
0123 0578 1278 1467 1468 2367 2368
Size=7 |Aut|=2
0347 0578 1278 1467 1468 2367 2368
Size=7 |Aut|=2
0678 1278 1467 1468 2367 2368
Size=6 |Aut|=4
0123 0156 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0124 0256 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0123 0578 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0124 0578 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0156 0578 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0123 0678 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0124 0678 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0256 0678 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0123 1278 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0156 1278 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0256 1278 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0578 1278 1357 1467 1468 2367 2368
Size=7 |Aut|=1
0123 0124 0156 0256 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0156 0347 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0256 0348 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0347 0348 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0347 0348 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0156 0347 0578 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0156 0347 0578 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0347 0578 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0347 0348 0578 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0256 0348 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0256 0348 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0348 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 0348 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0156 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0256 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0348 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0348 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0347 0348 0578 0678 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0156 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0124 0347 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0156 0348 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0256 0348 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0348 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0348 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0578 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0348 0578 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0256 0678 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0678 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 0678 1278 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0156 0347 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0256 0348 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0347 0348 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0348 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0347 0348 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 0348 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 0578 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 0578 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0347 0348 0578 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0348 0678 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0156 0348 0678 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0347 0348 0678 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0124 0347 1278 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0256 0347 1278 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0348 1278 1357 1358 1467 2367 2457
Size=7 |Aut|=1
0124 0678 1278 1357 1358 1467 2367 2457
Size=8 |Aut|=1
0123 0156 0256 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0124 0156 0256 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0347 1357 1358 1468 2367 2457
Size=7 |Aut|=1
0124 0256 0347 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0123 0156 0348 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0256 0348 1357 1358 1468 2367 2457
Size=7 |Aut|=1
0123 0347 0348 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0124 0347 0348 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0256 0578 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0256 0347 0578 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0124 0348 0578 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0347 0348 0578 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0256 0678 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0123 0347 0678 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0348 0678 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0347 0348 0678 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0256 1278 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0124 0347 1278 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0347 0348 1278 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0347 0578 1278 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0156 0678 1278 1357 1358 1468 2367 2457
Size=8 |Aut|=1
0123 0347 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=1
0256 0347 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=2
0123 0348 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=1
0156 0348 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=2
0347 0578 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=1
0348 0578 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=1
0347 1278 1357 1358 1467 1468 2367 2457
Size=8 |Aut|=2
0123 0124 0156 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0124 0256 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0124 0347 1357 1358 1467 2368 2457
Size=7 |Aut|=1
0123 0348 1357 1358 1467 2368 2457
Size=7 |Aut|=1
0156 0347 0348 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0256 0347 0348 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0124 0578 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0124 0348 0578 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0256 0348 0578 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0347 0348 0578 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0124 0678 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0347 0678 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0156 0347 0678 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0347 0348 0678 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0124 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0124 0156 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0124 0348 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0256 0348 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0347 0348 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0347 0578 1278 1357 1358 1467 2368 2457
Size=8 |Aut|=1
0123 0156 0347 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0124 0256 0348 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0123 0347 0348 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0124 0347 0348 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0156 0347 0348 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0256 0347 0348 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0123 0256 0578 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0347 0578 1357 1358 1468 2368 2457
Size=7 |Aut|=1
0256 0348 0578 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0124 0156 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0156 0347 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0348 0678 1357 1358 1468 2368 2457
Size=7 |Aut|=1
0123 0578 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0124 0578 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0156 0578 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0256 0578 0678 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0256 0347 1278 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0124 0348 1278 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0347 0348 1278 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0348 0578 1278 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0578 0678 1278 1357 1358 1468 2368 2457
Size=8 |Aut|=1
0123 0347 1357 1358 1467 1468 2368 2457
Size=8 |Aut|=1
0156 0347 1357 1358 1467 1468 2368 2457
Size=8 |Aut|=1
0256 0347 1357 1358 1467 1468 2368 2457
Size=8 |Aut|=1
0348 0578 1357 1358 1467 1468 2368 2457
Size=8 |Aut|=1
0347 1278 1357 1358 1467 1468 2368 2457
Size=8 |Aut|=1
0123 0347 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=2
0156 0347 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=1
0124 0348 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=2
0156 0348 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=1
0256 0578 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=1
0347 0578 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=1
0348 0578 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=1
0124 1278 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=2
0347 1278 1357 1358 1467 2367 2368 2457
Size=8 |Aut|=2
0123 0347 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0124 0347 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0256 0347 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0256 0578 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0348 0578 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0124 1278 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=2
0347 1278 1357 1358 1468 2367 2368 2457
Size=8 |Aut|=1
0123 0347 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0156 0347 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0123 0348 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0156 0348 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0348 0578 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=2
0347 0678 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=2
0347 1278 1357 1467 1468 2367 2368 2457
Size=8 |Aut|=2
0123 0347 1358 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0256 0347 1358 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0347 0578 1358 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0347 0678 1358 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0347 1278 1358 1467 1468 2367 2368 2457
Size=8 |Aut|=1
0123 0124 0256 0347 1357 1358 3456
Size=7 |Aut|=1
0124 0156 0347 0348 1357 1358 3456
Size=7 |Aut|=2
0124 0256 0347 0348 1357 1358 3456
Size=7 |Aut|=2
0124 0156 0578 1357 1358 3456
Size=6 |Aut|=2
0123 0124 0256 0578 1357 1358 3456
Size=7 |Aut|=2
0123 0156 0256 0578 1357 1358 3456
Size=7 |Aut|=2
0156 0256 0347 0578 1357 1358 3456
Size=7 |Aut|=1
0124 0347 0348 0578 1357 1358 3456
Size=7 |Aut|=2
0156 0347 0348 0578 1357 1358 3456
Size=7 |Aut|=2
0124 0256 0678 1357 1358 3456
Size=6 |Aut|=2
0124 0347 0348 0678 1357 1358 3456
Size=7 |Aut|=2
0256 0347 0348 0678 1357 1358 3456
Size=7 |Aut|=2
0123 0256 0578 0678 1357 1358 3456
Size=7 |Aut|=2
0123 0124 1278 1357 1358 3456
Size=6 |Aut|=2
0156 0256 1278 1357 1358 3456
Size=6 |Aut|=2
0347 0348 1278 1357 1358 3456
Size=6 |Aut|=2
0123 0256 0578 1278 1357 1358 3456
Size=7 |Aut|=2
0123 0347 0578 1278 1357 1358 3456
Size=7 |Aut|=1
0124 0156 0678 1278 1357 1358 3456
Size=7 |Aut|=2
0124 0347 0678 1278 1357 1358 3456
Size=7 |Aut|=1
0578 0678 1278 1357 1358 3456
Size=6 |Aut|=2
0156 0256 0347 1357 1358 1467 3456
Size=7 |Aut|=1
0156 0347 0348 1357 1358 1467 3456
Size=7 |Aut|=1
0256 0347 0348 1357 1358 1467 3456
Size=7 |Aut|=1
0156 0256 0578 1357 1358 1467 3456
Size=7 |Aut|=1
0123 0256 0347 0578 1357 1358 1467 3456
Size=8 |Aut|=1
0123 0156 0348 0578 1357 1358 1467 3456
Size=8 |Aut|=1
0123 0256 0348 0578 1357 1358 1467 3456
Size=8 |Aut|=1
0347 0348 0578 1357 1358 1467 3456
Size=7 |Aut|=1
0123 0256 0347 0678 1357 1358 1467 3456
Size=8 |Aut|=1
0347 0348 0678 1357 1358 1467 3456
Size=7 |Aut|=1
0156 0348 0578 0678 1357 1358 1467 3456
Size=8 |Aut|=1
0156 1357 1358 1467 1468 3456
Size=6 |Aut|=4
0256 0347 1357 1358 1467 1468 3456
Size=7 |Aut|=2
0256 0578 1357 1358 1467 1468 3456
Size=7 |Aut|=2
0347 0578 1357 1358 1467 1468 3456
Size=7 |Aut|=1
0578 0678 1357 1358 1467 1468 3456
Size=7 |Aut|=4
0347 1278 1357 1358 1467 1468 3456
Size=7 |Aut|=2
0123 0124 0256 1357 1358 2367 3456
Size=7 |Aut|=1
0123 0124 0348 1357 1358 2367 3456
Size=7 |Aut|=1
0123 0156 0256 0348 1357 1358 2367 3456
Size=8 |Aut|=1
0124 0347 0348 1357 1358 2367 3456
Size=7 |Aut|=1
0156 0256 0578 1357 1358 2367 3456
Size=7 |Aut|=1
0124 0256 0347 0578 1357 1358 2367 3456
Size=8 |Aut|=1
0123 0156 0348 0578 1357 1358 2367 3456
Size=8 |Aut|=1
0124 0156 0348 0678 1357 1358 2367 3456
Size=8 |Aut|=1
0123 0256 0348 0678 1357 1358 2367 3456
Size=8 |Aut|=1
0123 0348 0578 0678 1357 1358 2367 3456
Size=8 |Aut|=1
0124 0347 1278 1357 1358 2367 3456
Size=7 |Aut|=1
0123 0348 1278 1357 1358 2367 3456
Size=7 |Aut|=1
0123 0578 1278 1357 1358 2367 3456
Size=7 |Aut|=1
0256 0347 0578 1278 1357 1358 2367 3456
Size=8 |Aut|=1
0124 0678 1278 1357 1358 2367 3456
Size=7 |Aut|=1
0156 0348 0678 1278 1357 1358 2367 3456
Size=8 |Aut|=1
0124 0256 0347 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0156 0348 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0256 0348 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0156 0578 1357 1358 1467 2367 3456
Size=7 |Aut|=1
0123 0256 0578 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0256 0347 0578 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0348 0578 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0256 0347 0678 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0348 0678 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0156 0348 0678 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0578 0678 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0347 0578 0678 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0347 0578 1278 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0348 0678 1278 1357 1358 1467 2367 3456
Size=8 |Aut|=1
0123 0156 0256 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0156 0348 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0256 0348 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0256 0578 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0256 0347 0578 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0348 0578 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0156 0256 0678 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0348 0678 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0124 0348 0678 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0156 0348 0678 1357 1358 1468 2367 3456
Size=8 |Aut|=1
0123 0124 0256 1467 1468 2367 3456
Size=7 |Aut|=1
0156 0347 0348 1467 1468 2367 3456
Size=7 |Aut|=1
0256 0347 0348 1467 1468 2367 3456
Size=7 |Aut|=1
0123 0124 0347 0578 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0156 0347 0578 1467 1468 2367 3456
Size=8 |Aut|=1
0347 0348 0578 1467 1468 2367 3456
Size=7 |Aut|=1
0123 0256 0347 0678 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0256 0347 0678 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0256 0348 0678 1467 1468 2367 3456
Size=8 |Aut|=1
0347 0348 0678 1467 1468 2367 3456
Size=7 |Aut|=1
0123 0256 0347 1278 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0156 0348 1278 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0578 1278 1467 1468 2367 3456
Size=7 |Aut|=1
0348 0578 1278 1467 1468 2367 3456
Size=7 |Aut|=1
0124 0678 1278 1467 1468 2367 3456
Size=7 |Aut|=1
0347 0678 1278 1467 1468 2367 3456
Size=7 |Aut|=1
0123 0124 0347 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0156 0347 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0256 0347 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0256 0347 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0347 0348 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0347 0578 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0124 0678 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0347 0678 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0348 0678 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0156 1278 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0256 1278 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0123 0347 1278 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0348 1278 1357 1467 1468 2367 3456
Size=8 |Aut|=1
0124 0347 0348 1358 1467 1468 2367 3456
Size=8 |Aut|=1
0256 0348 0578 1358 1467 1468 2367 3456
Size=8 |Aut|=1
0156 0347 0678 1358 1467 1468 2367 3456
Size=8 |Aut|=1
0256 0347 0678 1358 1467 1468 2367 3456
Size=8 |Aut|=1
0256 0578 0678 1358 1467 1468 2367 3456
Size=8 |Aut|=1
0124 1357 1358 1467 1468 2367 3456
Size=7 |Aut|=1
0256 1357 1358 1467 1468 2367 3456
Size=7 |Aut|=1
0578 1357 1358 1467 1468 2367 3456
Size=7 |Aut|=1
0678 1357 1358 1467 1468 2367 3456
Size=7 |Aut|=1
0124 1357 1358 2367 2368 3456
Size=6 |Aut|=4
0156 0256 1357 1358 2367 2368 3456
Size=7 |Aut|=4
0578 0678 1357 1358 2367 2368 3456
Size=7 |Aut|=4
0156 1278 1357 1358 2367 2368 3456
Size=7 |Aut|=2
0347 1278 1357 1358 2367 2368 3456
Size=7 |Aut|=2
0578 1278 1357 1358 2367 2368 3456
Size=7 |Aut|=2
0124 0156 1357 1467 2367 2368 3456
Size=7 |Aut|=1
0124 0256 0347 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0156 0348 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0256 0348 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0156 0256 0348 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0348 0578 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0256 0348 0578 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0156 0678 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0156 0347 0678 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0348 0678 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0256 0347 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0156 0348 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0578 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0256 0578 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0124 0678 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0156 0678 1278 1357 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0124 0256 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0156 0347 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0256 0347 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0124 0578 1358 1467 2367 2368 3456
Size=7 |Aut|=1
0123 0347 0578 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0256 0347 0578 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0156 0678 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0123 0347 0678 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0124 0347 0678 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0256 0347 0678 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0156 0348 0678 1358 1467 2367 2368 3456
Size=8 |Aut|=1
0156 1357 1358 1467 2367 2368 3456
Size=7 |Aut|=1
0256 1357 1358 1467 2367 2368 3456
Size=7 |Aut|=1
0578 1357 1358 1467 2367 2368 3456
Size=7 |Aut|=1
0678 1357 1358 1467 2367 2368 3456
Size=7 |Aut|=1
0123 0124 1467 1468 2367 2368 3456
Size=7 |Aut|=4
0123 0156 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0156 0347 1467 1468 2367 2368 3456
Size=7 |Aut|=1
0578 1467 1468 2367 2368 3456
Size=6 |Aut|=4
0123 0678 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0347 0678 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0123 1278 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0156 1278 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0347 1278 1467 1468 2367 2368 3456
Size=7 |Aut|=2
0124 1357 1467 1468 2367 2368 3456
Size=7 |Aut|=1
0156 1357 1467 1468 2367 2368 3456
Size=7 |Aut|=1
0256 1357 1467 1468 2367 2368 3456
Size=7 |Aut|=1
0678 1357 1467 1468 2367 2368 3456
Size=7 |Aut|=1
0123 0124 0256 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0156 0347 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0256 0347 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0256 0347 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0124 0348 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0347 0348 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0256 0578 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0348 0578 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0348 0578 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0256 0347 0678 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0348 0678 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0124 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0256 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0347 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0124 0348 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0347 0348 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0124 0578 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0348 0578 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0678 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0347 0678 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0578 0678 1278 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0347 1357 1358 1467 2367 2457 3456
Size=7 |Aut|=1
0123 0348 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0348 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 0578 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0123 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0124 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0256 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0578 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0678 1278 1357 1358 1467 2367 2457 3456
Size=8 |Aut|=1
0156 0256 1357 1358 1468 2367 2457 3456
Size=8 |Aut|=1
0123 0348 1357 1358 1468 2367 2457 3456
Size=8 |Aut|=1
0347 0348 1357 1358 1468 2367 2457 3456
Size=8 |Aut|=1
0256 0578 1357 1358 1468 2367 2457 3456
Size=8 |Aut|=1
0348 0678 1357 1358 1468 2367 2457 3456
Size=8 |Aut|=1
0348 1357 1358 1467 1468 2367 2457 3456
Size=8 |Aut|=2
0123 0124 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0123 0256 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0123 0347 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0156 0347 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0347 0348 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0348 0678 1357 1358 1467 2368 2457 3456
Size=8 |Aut|=1
0123 0347 1357 1358 1468 2368 2457 3456
Size=8 |Aut|=1
0156 0348 1357 1358 1468 2368 2457 3456
Size=8 |Aut|=1
0347 0348 1357 1358 1468 2368 2457 3456
Size=8 |Aut|=1
0347 0678 1357 1358 1468 2368 2457 3456
Size=8 |Aut|=1
0578 0678 1357 1358 1468 2368 2457 3456
Size=8 |Aut|=1
0347 1357 1358 1467 1468 2368 2457 3456
Size=8 |Aut|=1
0123 1357 1358 1467 2367 2368 2457 3456
Size=8 |Aut|=2
0348 1357 1358 1467 2367 2368 2457 3456
Size=8 |Aut|=2
0123 1357 1358 1468 2367 2368 2457 3456
Size=8 |Aut|=2
0347 1357 1358 1468 2367 2368 2457 3456
Size=8 |Aut|=1
0348 1357 1467 1468 2367 2368 2457 3456
Size=8 |Aut|=2
0347 1358 1467 1468 2367 2368 2457 3456
Size=8 |Aut|=1
=======================================================================
Size Count
—- —–
6 23
7 222
8 406
Only 651 (non-isomorphic) minimal defining sets
Totally 4720 (inequivalent) minimal defining sets
=======================================================================