=======================================================================
Design parameters are 2-(9,4,3), b=18
Blocks of the design are:
0123 0124 0156 0257 0347 0358 0468 0678 1268 1348 1367 1457 1578 2356 2378 2458 2467 3456
The design is simple
=======================================================================
Auto’m group order is 8
All non-isomorphic minimal defining sets are:
0123 0124 0257 0347 0358 1268 1348 2356
Size=8 |Aut|=1
0124 0156 0257 0347 0358 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0156 0347 0468 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1268 1348 2356
Size=8 |Aut|=1
0124 0156 0257 0347 0468 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0347 0358 0468 1268 1348 2356
Size=8 |Aut|=1
0124 0156 0347 0358 0468 1268 1348 2356
Size=8 |Aut|=1
0124 0257 0347 0358 0468 1268 1348 2356
Size=8 |Aut|=1
0156 0257 0347 0358 0468 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0358 0678 1268 1348 2356
Size=9 |Aut|=1
0123 0124 0156 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1268 1348 2356
Size=8 |Aut|=1
0124 0257 0347 0358 1268 1348 1367 2356
Size=8 |Aut|=2
0156 0257 0347 0358 1268 1348 1367 2356
Size=8 |Aut|=2
0123 0124 0257 0678 1268 1348 1367 2356
Size=8 |Aut|=1
0124 0257 0347 0678 1268 1348 1367 2356
Size=8 |Aut|=1
0257 0347 0358 0678 1268 1348 1367 2356
Size=8 |Aut|=1
0123 0358 0468 0678 1268 1348 1367 2356
Size=8 |Aut|=1
0347 0358 0468 0678 1268 1348 1367 2356
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1348 1457 2356
Size=8 |Aut|=1
0124 0156 0257 0347 0468 1348 1457 2356
Size=8 |Aut|=1
0156 0257 0347 0358 0468 1348 1457 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0358 0678 1348 1457 2356
Size=9 |Aut|=1
0123 0124 0257 0468 0678 1348 1457 2356
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1348 1457 2356
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1348 1457 2356
Size=8 |Aut|=1
0124 0156 0347 0358 0468 0678 1348 1457 2356
Size=9 |Aut|=1
0124 0257 0347 0468 1268 1348 1457 2356
Size=8 |Aut|=2
0156 0257 0347 0468 1268 1348 1457 2356
Size=8 |Aut|=2
0123 0124 0156 0257 0678 1268 1348 1457 2356
Size=9 |Aut|=1
0123 0124 0468 0678 1268 1348 1457 2356
Size=8 |Aut|=1
0123 0257 0468 0678 1268 1348 1457 2356
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1348 1457 2356
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 1457 2356
Size=8 |Aut|=1
0123 0257 0358 0678 1348 1367 1457 2356
Size=8 |Aut|=1
0156 0257 0347 0358 0678 1348 1367 1457 2356
Size=9 |Aut|=1
0123 0124 0468 0678 1348 1367 1457 2356
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1348 1367 1457 2356
Size=9 |Aut|=1
0123 0156 0358 0468 0678 1348 1367 1457 2356
Size=9 |Aut|=1
0156 0347 0358 0468 0678 1348 1367 1457 2356
Size=9 |Aut|=1
0123 0257 0678 1268 1348 1367 1457 2356
Size=8 |Aut|=1
0257 0347 0678 1268 1348 1367 1457 2356
Size=8 |Aut|=1
0123 0156 0468 0678 1268 1348 1367 1457 2356
Size=9 |Aut|=1
0123 0124 0156 0468 0678 1268 1578 2356
Size=8 |Aut|=2
0123 0124 0257 0468 0678 1268 1578 2356
Size=8 |Aut|=1
0124 0257 0468 0678 1268 1348 1578 2356
Size=8 |Aut|=1
0124 0156 0358 0468 0678 1268 1348 1578 2356
Size=9 |Aut|=1
0156 0257 0358 0468 0678 1268 1348 1578 2356
Size=9 |Aut|=1
0358 0468 0678 1268 1348 1367 1578 2356
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1457 1578 2356
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1457 1578 2356
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1457 1578 2356
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1457 1578 2356
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1457 1578 2356
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1457 1578 2356
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1457 1578 2356
Size=8 |Aut|=1
0124 0358 0468 0678 1348 1457 1578 2356
Size=8 |Aut|=1
0257 0358 0468 0678 1348 1457 1578 2356
Size=8 |Aut|=1
0347 0358 0468 0678 1367 1457 1578 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0347 0358 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0347 0468 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0358 0468 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0358 0678 1348 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0358 0678 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0678 1348 2378
Size=8 |Aut|=1
0124 0156 0257 0347 0468 0678 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0123 0156 0257 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0124 0156 0347 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0123 0257 0347 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0468 0678 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0347 0358 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0358 1268 1348 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0358 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0347 0468 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1268 1348 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0468 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0678 1268 1348 2378
Size=8 |Aut|=1
0124 0156 0347 0358 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0257 0347 0358 0678 1268 1348 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0156 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0156 0257 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0257 0347 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0156 0257 0347 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1268 1348 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0358 1348 1367 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0358 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1348 1367 2378
Size=8 |Aut|=1
0124 0156 0257 0347 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0678 1348 1367 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0156 0358 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0156 0347 0358 0468 0678 1348 1367 2378
Size=8 |Aut|=1
0123 0156 0347 0468 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0257 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0124 0156 0347 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0257 0347 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0156 0257 0347 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0347 0358 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0124 0347 0358 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0156 0347 0358 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0257 0347 0358 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0156 0468 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0156 0347 0468 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0347 0358 0468 0678 1268 1348 1367 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0678 1348 1457 2378
Size=8 |Aut|=1
0123 0156 0257 0358 0678 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0156 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0123 0156 0257 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0124 0156 0347 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0123 0257 0347 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0156 0257 0347 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 1457 2378
Size=8 |Aut|=1
0123 0124 0156 0678 1348 1367 1457 2378
Size=8 |Aut|=1
0123 0124 0347 0358 0678 1348 1367 1457 2378
Size=9 |Aut|=1
0123 0156 0347 0358 0678 1348 1367 1457 2378
Size=9 |Aut|=1
0124 0156 0347 0358 0678 1348 1367 1457 2378
Size=9 |Aut|=1
0123 0257 0347 0358 0678 1348 1367 1457 2378
Size=9 |Aut|=1
0123 0124 0468 0678 1348 1367 1457 2378
Size=8 |Aut|=1
0124 0347 0678 1268 1348 1367 1457 2378
Size=8 |Aut|=1
0257 0347 0678 1268 1348 1367 1457 2378
Size=8 |Aut|=1
0123 0156 0358 0678 1268 1348 1367 1457 2378
Size=9 |Aut|=1
0347 0358 0678 1268 1348 1367 1457 2378
Size=8 |Aut|=1
0347 0468 0678 1268 1348 1367 1457 2378
Size=8 |Aut|=1
0123 0358 0468 0678 1268 1348 1367 1457 2378
Size=9 |Aut|=1
0123 0124 0156 0257 0468 0678 1578 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0347 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0124 0257 0347 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0468 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0347 0358 0678 1268 1578 2378
Size=8 |Aut|=1
0123 0124 0156 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0156 0257 0347 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1268 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0358 0678 1348 1578 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0678 1348 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0468 0678 1348 1578 2378
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1348 1578 2378
Size=8 |Aut|=1
0156 0257 0358 0468 0678 1348 1578 2378
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1348 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0678 1268 1348 1578 2378
Size=9 |Aut|=1
0257 0347 0358 0678 1268 1348 1578 2378
Size=8 |Aut|=1
0123 0257 0468 0678 1268 1348 1578 2378
Size=8 |Aut|=1
0156 0257 0468 0678 1268 1348 1578 2378
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0358 0678 1367 1578 2378
Size=9 |Aut|=1
0124 0156 0257 0347 0358 0678 1367 1578 2378
Size=9 |Aut|=1
0123 0124 0156 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0124 0156 0358 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0123 0347 0358 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0156 0347 0358 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1367 1578 2378
Size=8 |Aut|=1
0124 0156 0468 0678 1268 1367 1578 2378
Size=8 |Aut|=1
0156 0347 0468 0678 1268 1367 1578 2378
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1367 1578 2378
Size=8 |Aut|=1
0257 0347 0358 0678 1348 1367 1578 2378
Size=8 |Aut|=1
0124 0156 0468 0678 1348 1367 1578 2378
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1348 1367 1578 2378
Size=9 |Aut|=1
0156 0358 0468 0678 1348 1367 1578 2378
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1348 1367 1578 2378
Size=9 |Aut|=1
0156 0468 0678 1268 1348 1367 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1457 1578 2378
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1457 1578 2378
Size=8 |Aut|=1
0124 0257 0358 0468 0678 1457 1578 2378
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1457 1578 2378
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1457 1578 2378
Size=8 |Aut|=1
0124 0257 0468 0678 1268 1457 1578 2378
Size=8 |Aut|=2
0124 0347 0468 0678 1268 1457 1578 2378
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1457 1578 2378
Size=8 |Aut|=1
0257 0358 0468 0678 1348 1457 1578 2378
Size=8 |Aut|=1
0124 0358 0468 0678 1367 1457 1578 2378
Size=8 |Aut|=2
0347 0358 0468 0678 1367 1457 1578 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0358 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1348 2356 2378
Size=8 |Aut|=1
0124 0156 0257 0347 0468 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0468 1348 2356 2378
Size=8 |Aut|=1
0123 0156 0257 0358 0468 1348 2356 2378
Size=8 |Aut|=1
0156 0257 0347 0358 0468 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1348 2356 2378
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0347 0358 1268 1348 2356 2378
Size=8 |Aut|=1
0124 0156 0347 0358 1268 1348 2356 2378
Size=8 |Aut|=1
0156 0257 0347 0358 1268 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0156 0468 1268 1348 2356 2378
Size=8 |Aut|=1
0123 0156 0257 0468 1268 1348 2356 2378
Size=8 |Aut|=1
0156 0257 0347 0468 1268 1348 2356 2378
Size=8 |Aut|=1
0123 0124 0358 0468 1268 1348 2356 2378
Size=8 |Aut|=1
0123 0257 0468 0678 1268 1348 2356 2378
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 2356 2378
Size=8 |Aut|=1
0156 0257 0347 0358 1348 1367 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0468 1348 1367 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0678 1348 1367 2356 2378
Size=8 |Aut|=1
0123 0156 0358 0468 1268 1348 1367 2356 2378
Size=9 |Aut|=1
0156 0347 0678 1268 1348 1367 2356 2378
Size=8 |Aut|=1
0257 0347 0678 1268 1348 1367 2356 2378
Size=8 |Aut|=1
0347 0358 0678 1268 1348 1367 2356 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1457 2356 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0678 1457 2356 2378
Size=8 |Aut|=1
0123 0156 0257 0347 0358 0678 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0358 0468 0678 1457 2356 2378
Size=8 |Aut|=1
0123 0257 0347 0358 0468 0678 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0156 0678 1268 1457 2356 2378
Size=8 |Aut|=1
0124 0156 0347 0678 1268 1457 2356 2378
Size=8 |Aut|=1
0156 0257 0347 0678 1268 1457 2356 2378
Size=8 |Aut|=1
0123 0257 0347 0358 0678 1268 1457 2356 2378
Size=9 |Aut|=1
0124 0347 0358 0468 0678 1268 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0156 0678 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0678 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0124 0347 0678 1367 1457 2356 2378
Size=8 |Aut|=1
0124 0156 0257 0347 0678 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0358 0678 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0156 0347 0358 0678 1367 1457 2356 2378
Size=9 |Aut|=1
0124 0156 0347 0358 0678 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0257 0347 0358 0678 1367 1457 2356 2378
Size=9 |Aut|=1
0156 0257 0347 0358 0678 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0468 0678 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0124 0678 1268 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0347 0678 1268 1367 1457 2356 2378
Size=8 |Aut|=1
0156 0347 0678 1268 1367 1457 2356 2378
Size=8 |Aut|=1
0124 0257 0347 0678 1268 1367 1457 2356 2378
Size=9 |Aut|=1
0347 0358 0678 1268 1367 1457 2356 2378
Size=8 |Aut|=1
0347 0468 0678 1268 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0124 0678 1348 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0156 0358 0678 1348 1367 1457 2356 2378
Size=9 |Aut|=1
0156 0347 0358 0678 1348 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0156 0678 1268 1348 1367 1457 2356 2378
Size=9 |Aut|=1
0347 0678 1268 1348 1367 1457 2356 2378
Size=8 |Aut|=1
0123 0358 0678 1268 1348 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0468 0678 1268 1348 1367 1457 2356 2378
Size=9 |Aut|=1
0123 0124 0257 0468 0678 1578 2356 2378
Size=8 |Aut|=1
0124 0257 0468 0678 1348 1578 2356 2378
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1348 1578 2356 2378
Size=9 |Aut|=1
0124 0347 0358 0678 1268 1348 1578 2356 2378
Size=9 |Aut|=1
0124 0358 0468 0678 1348 1367 1578 2356 2378
Size=9 |Aut|=1
0347 0358 0468 0678 1348 1367 1578 2356 2378
Size=9 |Aut|=1
0257 0468 0678 1268 1348 1367 1578 2356 2378
Size=9 |Aut|=1
0124 0257 0468 0678 1457 1578 2356 2378
Size=8 |Aut|=1
0124 0358 0468 0678 1457 1578 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0347 0358 1268 1348 2458
Size=8 |Aut|=1
0123 0124 0156 0347 0468 1268 1348 2458
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1268 1348 2458
Size=8 |Aut|=1
0123 0257 0347 0358 0468 1268 1348 2458
Size=8 |Aut|=1
0124 0156 0257 0347 0358 0678 1268 1348 2458
Size=9 |Aut|=1
0123 0124 0156 0468 0678 1268 1348 2458
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1268 1348 2458
Size=8 |Aut|=1
0124 0156 0257 0468 0678 1268 1348 2458
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1268 1348 2458
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1268 1348 2458
Size=8 |Aut|=1
0123 0124 0257 0347 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0257 0347 0358 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0347 0358 0468 1268 1348 1367 2458
Size=8 |Aut|=1
0124 0257 0347 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0257 0347 0358 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0124 0156 0468 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0156 0358 0468 0678 1268 1348 1367 2458
Size=9 |Aut|=1
0347 0358 0468 0678 1268 1348 1367 2458
Size=8 |Aut|=1
0123 0124 0156 0257 0347 1348 1457 2458
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1348 1457 2458
Size=8 |Aut|=1
0123 0156 0257 0347 0358 0468 1348 1457 2458
Size=9 |Aut|=1
0123 0124 0257 0468 0678 1348 1457 2458
Size=8 |Aut|=1
0124 0156 0257 0347 0468 0678 1348 1457 2458
Size=9 |Aut|=1
0123 0124 0358 0468 0678 1348 1457 2458
Size=8 |Aut|=1
0124 0156 0257 0358 0468 0678 1348 1457 2458
Size=9 |Aut|=1
0123 0257 0347 0358 0468 0678 1348 1457 2458
Size=9 |Aut|=1
0156 0257 0347 0358 0468 0678 1348 1457 2458
Size=9 |Aut|=1
0123 0124 0257 0347 1268 1348 1457 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1348 1457 2458
Size=8 |Aut|=1
0123 0257 0347 0468 1268 1348 1457 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1348 1457 2458
Size=8 |Aut|=1
0124 0257 0468 0678 1268 1348 1457 2458
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 1457 2458
Size=8 |Aut|=1
0123 0124 0257 0347 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0257 0347 0358 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0156 0347 0358 0468 1348 1367 1457 2458
Size=9 |Aut|=1
0123 0124 0468 0678 1348 1367 1457 2458
Size=8 |Aut|=1
0124 0156 0468 0678 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0358 0468 0678 1348 1367 1457 2458
Size=8 |Aut|=1
0156 0347 0358 0468 0678 1348 1367 1457 2458
Size=9 |Aut|=1
0123 0257 0347 1268 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0347 0468 1268 1348 1367 1457 2458
Size=8 |Aut|=1
0257 0347 0678 1268 1348 1367 1457 2458
Size=8 |Aut|=1
0124 0468 0678 1268 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0156 0468 0678 1268 1348 1367 1457 2458
Size=9 |Aut|=1
0347 0468 0678 1268 1348 1367 1457 2458
Size=8 |Aut|=1
0123 0124 0257 0347 0358 1268 1578 2458
Size=8 |Aut|=1
0123 0124 0257 0347 0468 1268 1578 2458
Size=8 |Aut|=1
0123 0156 0257 0347 0358 0468 1268 1578 2458
Size=9 |Aut|=1
0124 0156 0257 0347 0358 0678 1268 1578 2458
Size=9 |Aut|=1
0123 0124 0156 0468 0678 1268 1578 2458
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1268 1578 2458
Size=8 |Aut|=1
0124 0156 0347 0358 0468 0678 1268 1578 2458
Size=9 |Aut|=1
0257 0347 0358 0468 0678 1268 1578 2458
Size=8 |Aut|=1
0124 0257 0347 0468 1268 1348 1578 2458
Size=8 |Aut|=1
0124 0156 0347 0358 0468 1268 1348 1578 2458
Size=9 |Aut|=1
0257 0347 0358 0468 1268 1348 1578 2458
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1268 1348 1578 2458
Size=9 |Aut|=1
0156 0257 0358 0468 0678 1268 1348 1578 2458
Size=9 |Aut|=1
0123 0124 0257 0347 1268 1367 1578 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1367 1578 2458
Size=8 |Aut|=1
0123 0347 0358 0468 1268 1367 1578 2458
Size=8 |Aut|=1
0124 0257 0347 0678 1268 1367 1578 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1367 1578 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1367 1578 2458
Size=8 |Aut|=1
0347 0358 0468 0678 1268 1367 1578 2458
Size=8 |Aut|=1
0347 0358 0468 1268 1348 1367 1578 2458
Size=8 |Aut|=1
0123 0124 0156 0257 0347 1457 1578 2458
Size=8 |Aut|=2
0123 0124 0257 0347 0468 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0347 0358 0468 1457 1578 2458
Size=8 |Aut|=1
0123 0156 0257 0347 0358 0468 1457 1578 2458
Size=9 |Aut|=1
0124 0156 0257 0347 0678 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0257 0468 0678 1457 1578 2458
Size=8 |Aut|=1
0124 0257 0347 0468 0678 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0358 0468 0678 1457 1578 2458
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1457 1578 2458
Size=8 |Aut|=1
0257 0347 0358 0468 0678 1457 1578 2458
Size=8 |Aut|=2
0123 0124 0257 0347 1268 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1457 1578 2458
Size=8 |Aut|=1
0123 0156 0257 0347 0468 1268 1457 1578 2458
Size=9 |Aut|=1
0123 0124 0468 0678 1268 1457 1578 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1457 1578 2458
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1457 1578 2458
Size=8 |Aut|=1
0124 0257 0347 0468 1348 1457 1578 2458
Size=8 |Aut|=1
0124 0156 0347 0358 0468 1348 1457 1578 2458
Size=9 |Aut|=1
0156 0257 0347 0358 0468 1348 1457 1578 2458
Size=9 |Aut|=1
0124 0257 0468 0678 1348 1457 1578 2458
Size=8 |Aut|=1
0257 0358 0468 0678 1348 1457 1578 2458
Size=8 |Aut|=1
0124 0347 0468 1268 1348 1457 1578 2458
Size=8 |Aut|=1
0257 0347 0468 1268 1348 1457 1578 2458
Size=8 |Aut|=1
0257 0468 0678 1268 1348 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1367 1457 1578 2458
Size=8 |Aut|=1
0123 0156 0347 0358 0468 1367 1457 1578 2458
Size=9 |Aut|=1
0123 0124 0468 0678 1367 1457 1578 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1367 1457 1578 2458
Size=8 |Aut|=1
0123 0347 0468 1268 1367 1457 1578 2458
Size=8 |Aut|=1
0347 0468 0678 1268 1367 1457 1578 2458
Size=8 |Aut|=2
0124 0347 0468 1348 1367 1457 1578 2458
Size=8 |Aut|=1
0156 0347 0358 0468 1348 1367 1457 1578 2458
Size=9 |Aut|=1
0124 0468 0678 1348 1367 1457 1578 2458
Size=8 |Aut|=1
0347 0468 1268 1348 1367 1457 1578 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1348 2356 2458
Size=8 |Aut|=1
0124 0257 0347 0468 1268 1348 2356 2458
Size=8 |Aut|=1
0124 0347 0358 0468 1268 1348 2356 2458
Size=8 |Aut|=1
0257 0347 0358 0468 1268 1348 2356 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1348 2356 2458
Size=8 |Aut|=1
0124 0156 0468 0678 1268 1348 2356 2458
Size=8 |Aut|=1
0124 0257 0468 0678 1268 1348 2356 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1268 1348 2356 2458
Size=8 |Aut|=1
0347 0358 0468 1268 1348 1367 2356 2458
Size=8 |Aut|=1
0124 0468 0678 1268 1348 1367 2356 2458
Size=8 |Aut|=1
0123 0124 0156 0347 0358 0468 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0156 0257 0468 0678 1457 2356 2458
Size=9 |Aut|=1
0124 0156 0257 0347 0468 0678 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0358 0468 0678 1457 2356 2458
Size=8 |Aut|=1
0124 0156 0347 0358 0468 0678 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0156 0347 0468 1268 1457 2356 2458
Size=9 |Aut|=1
0123 0156 0257 0347 0468 1268 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0347 0358 0468 1268 1457 2356 2458
Size=9 |Aut|=1
0124 0156 0257 0347 0678 1268 1457 2356 2458
Size=9 |Aut|=1
0124 0156 0347 0468 0678 1268 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0347 0358 0468 1348 1457 2356 2458
Size=9 |Aut|=1
0124 0156 0347 0358 0468 1348 1457 2356 2458
Size=9 |Aut|=1
0124 0156 0358 0468 0678 1348 1457 2356 2458
Size=9 |Aut|=1
0124 0347 0468 1268 1348 1457 2356 2458
Size=8 |Aut|=1
0257 0347 0468 1268 1348 1457 2356 2458
Size=8 |Aut|=1
0124 0468 0678 1268 1348 1457 2356 2458
Size=8 |Aut|=1
0123 0124 0156 0347 0468 1367 1457 2356 2458
Size=9 |Aut|=1
0123 0124 0468 0678 1367 1457 2356 2458
Size=8 |Aut|=1
0124 0156 0347 0468 0678 1367 1457 2356 2458
Size=9 |Aut|=1
0123 0347 0468 1268 1367 1457 2356 2458
Size=8 |Aut|=2
0124 0156 0347 0468 1348 1367 1457 2356 2458
Size=9 |Aut|=1
0156 0347 0358 0468 1348 1367 1457 2356 2458
Size=9 |Aut|=1
0347 0468 1268 1348 1367 1457 2356 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1578 2356 2458
Size=8 |Aut|=2
0124 0347 0358 0468 1348 1457 1578 2356 2458
Size=9 |Aut|=1
0123 0124 0156 0257 0468 1348 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0358 0468 1348 2378 2458
Size=8 |Aut|=1
0124 0156 0257 0468 0678 1348 2378 2458
Size=8 |Aut|=1
0123 0257 0358 0468 0678 1348 2378 2458
Size=8 |Aut|=1
0156 0257 0358 0468 0678 1348 2378 2458
Size=8 |Aut|=1
0123 0257 0347 0358 1268 1348 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0468 1268 1348 2378 2458
Size=8 |Aut|=1
0123 0156 0257 0468 1268 1348 2378 2458
Size=8 |Aut|=1
0123 0257 0347 0468 1268 1348 2378 2458
Size=8 |Aut|=1
0123 0257 0358 0468 1268 1348 2378 2458
Size=8 |Aut|=1
0156 0257 0468 0678 1268 1348 2378 2458
Size=8 |Aut|=1
0257 0347 0468 0678 1268 1348 2378 2458
Size=8 |Aut|=1
0123 0124 0257 0347 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0257 0347 0358 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0468 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0156 0358 0468 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0124 0468 0678 1348 1367 2378 2458
Size=8 |Aut|=1
0124 0156 0468 0678 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0347 0358 0468 0678 1348 1367 2378 2458
Size=9 |Aut|=1
0123 0124 0347 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0257 0347 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0347 0358 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0124 0468 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0156 0468 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0347 0468 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0124 0347 0678 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0257 0347 0678 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0347 0358 0678 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0347 0468 0678 1268 1348 1367 2378 2458
Size=8 |Aut|=1
0123 0124 0347 0358 0468 1348 1457 2378 2458
Size=9 |Aut|=1
0123 0257 0347 0358 0468 1348 1457 2378 2458
Size=9 |Aut|=1
0123 0124 0347 1268 1348 1457 2378 2458
Size=8 |Aut|=1
0123 0257 0347 1268 1348 1457 2378 2458
Size=8 |Aut|=1
0123 0124 0358 0468 1268 1348 1457 2378 2458
Size=9 |Aut|=1
0257 0358 0468 0678 1268 1348 1457 2378 2458
Size=9 |Aut|=1
0123 0124 0347 1348 1367 1457 2378 2458
Size=8 |Aut|=1
0123 0347 0358 0678 1348 1367 1457 2378 2458
Size=9 |Aut|=1
0123 0358 0468 1268 1348 1367 1457 2378 2458
Size=9 |Aut|=1
0123 0124 0156 0257 0468 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0358 0468 1578 2378 2458
Size=8 |Aut|=1
0124 0156 0257 0468 0678 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0468 1268 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0257 0358 0468 1268 1578 2378 2458
Size=9 |Aut|=1
0124 0257 0347 0358 0678 1268 1578 2378 2458
Size=9 |Aut|=1
0124 0156 0257 0468 1348 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0257 0358 0468 1348 1578 2378 2458
Size=9 |Aut|=1
0124 0156 0347 0358 0468 1348 1578 2378 2458
Size=9 |Aut|=1
0156 0257 0468 1268 1348 1578 2378 2458
Size=8 |Aut|=1
0257 0347 0468 1268 1348 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0156 0468 1367 1578 2378 2458
Size=8 |Aut|=1
0124 0257 0347 0358 0678 1367 1578 2378 2458
Size=9 |Aut|=1
0123 0124 0468 0678 1367 1578 2378 2458
Size=8 |Aut|=1
0124 0156 0468 0678 1367 1578 2378 2458
Size=8 |Aut|=1
0124 0347 0468 0678 1367 1578 2378 2458
Size=8 |Aut|=1
0347 0358 0468 0678 1367 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0347 1268 1367 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0468 1268 1367 1578 2378 2458
Size=8 |Aut|=1
0123 0347 0468 1268 1367 1578 2378 2458
Size=8 |Aut|=1
0124 0347 0678 1268 1367 1578 2378 2458
Size=8 |Aut|=1
0347 0468 0678 1268 1367 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0468 1348 1367 1578 2378 2458
Size=8 |Aut|=1
0124 0347 0358 0468 1348 1367 1578 2378 2458
Size=9 |Aut|=1
0123 0347 1268 1348 1367 1578 2378 2458
Size=8 |Aut|=2
0347 0678 1268 1348 1367 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0358 0468 1457 1578 2378 2458
Size=8 |Aut|=1
0124 0257 0468 0678 1457 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0347 1268 1457 1578 2378 2458
Size=8 |Aut|=1
0124 0347 0678 1268 1457 1578 2378 2458
Size=8 |Aut|=1
0257 0358 0468 1348 1457 1578 2378 2458
Size=8 |Aut|=1
0123 0124 0468 1367 1457 1578 2378 2458
Size=8 |Aut|=1
0124 0468 0678 1367 1457 1578 2378 2458
Size=8 |Aut|=1
0124 0468 1348 1367 1457 1578 2378 2458
Size=8 |Aut|=1
0124 0156 0257 0468 1348 2356 2378 2458
Size=8 |Aut|=1
0123 0124 0358 0468 1348 2356 2378 2458
Size=8 |Aut|=1
0123 0257 0358 0468 1348 2356 2378 2458
Size=8 |Aut|=1
0124 0156 0347 0358 0468 1348 2356 2378 2458
Size=9 |Aut|=1
0257 0347 0468 1268 1348 2356 2378 2458
Size=8 |Aut|=1
0124 0257 0358 0468 1268 1348 2356 2378 2458
Size=9 |Aut|=1
0123 0124 0468 1348 1367 2356 2378 2458
Size=8 |Aut|=1
0347 0678 1268 1348 1367 2356 2378 2458
Size=8 |Aut|=2
0123 0124 0347 0358 0468 1457 2356 2378 2458
Size=9 |Aut|=1
0124 0358 0468 0678 1268 1457 2356 2378 2458
Size=9 |Aut|=1
0124 0156 0358 0468 1348 1457 2356 2378 2458
Size=9 |Aut|=1
0124 0156 0468 1268 1348 1457 2356 2378 2458
Size=9 |Aut|=1
0123 0347 0358 0678 1367 1457 2356 2378 2458
Size=9 |Aut|=1
0123 0124 0257 0347 0468 1578 2356 2378 2458
Size=9 |Aut|=1
0123 0124 0358 0468 1578 2356 2378 2458
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1578 2356 2378 2458
Size=9 |Aut|=1
0124 0257 0347 0468 1348 1578 2356 2378 2458
Size=9 |Aut|=1
0124 0156 0358 0468 1348 1578 2356 2378 2458
Size=9 |Aut|=1
0124 0257 0358 0468 1348 1578 2356 2378 2458
Size=9 |Aut|=1
0123 0124 0468 1367 1578 2356 2378 2458
Size=8 |Aut|=1
0124 0358 0468 1348 1367 1578 2356 2378 2458
Size=9 |Aut|=1
0124 0358 0468 1348 1457 1578 2356 2378 2458
Size=9 |Aut|=1
0123 0124 0156 0468 1268 1348 2458 2467
Size=8 |Aut|=1
0123 0124 0347 0468 1268 1348 2458 2467
Size=8 |Aut|=1
0123 0124 0358 0468 1268 1348 2458 2467
Size=8 |Aut|=1
0123 0124 0468 0678 1268 1348 2458 2467
Size=8 |Aut|=2
0123 0124 0468 1268 1348 1367 2458 2467
Size=8 |Aut|=1
0123 0124 0156 0358 0468 1457 2458 2467
Size=8 |Aut|=1
0123 0124 0347 0358 0468 1457 2458 2467
Size=8 |Aut|=1
0124 0156 0257 0347 0468 0678 1457 2458 2467
Size=9 |Aut|=1
0123 0124 0358 0468 0678 1457 2458 2467
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1457 2458 2467
Size=8 |Aut|=1
0123 0124 0156 0347 0468 1268 1457 2458 2467
Size=9 |Aut|=1
0124 0156 0257 0347 0678 1268 1457 2458 2467
Size=9 |Aut|=1
0123 0124 0358 0468 1348 1457 2458 2467
Size=8 |Aut|=1
0124 0358 0468 0678 1348 1457 2458 2467
Size=8 |Aut|=1
0124 0468 0678 1268 1348 1457 2458 2467
Size=8 |Aut|=1
0124 0156 0257 0347 0678 1367 1457 2458 2467
Size=9 |Aut|=1
0123 0124 0468 0678 1367 1457 2458 2467
Size=8 |Aut|=1
0124 0347 0468 0678 1367 1457 2458 2467
Size=8 |Aut|=1
0124 0468 0678 1348 1367 1457 2458 2467
Size=8 |Aut|=1
0124 0156 0257 0347 0468 1457 2356 2458 2467
Size=9 |Aut|=1
0124 0257 0347 0358 0468 1457 2356 2458 2467
Size=9 |Aut|=1
0124 0156 0358 0468 1348 1457 2356 2458 2467
Size=9 |Aut|=1
0124 0347 0358 0468 1348 1457 2356 2458 2467
Size=9 |Aut|=1
0124 0358 0468 1268 1348 1457 2356 2458 2467
Size=9 |Aut|=1
0123 0124 0358 0468 1348 2378 2458 2467
Size=8 |Aut|=1
0123 0124 0468 1348 1367 2378 2458 2467
Size=8 |Aut|=1
0124 0358 0468 0678 1457 2378 2458 2467
Size=8 |Aut|=1
0124 0347 0678 1268 1348 1457 2378 2458 2467
Size=9 |Aut|=1
0124 0468 0678 1367 1457 2378 2458 2467
Size=8 |Aut|=1
0124 0347 0678 1348 1367 1457 2378 2458 2467
Size=9 |Aut|=1
0124 0347 0358 0468 1457 2356 2378 2458 2467
Size=9 |Aut|=1
0124 0257 0347 0468 1348 1457 2356 3456
Size=8 |Aut|=1
0124 0347 0358 0468 0678 1348 1457 2378 3456
Size=9 |Aut|=1
0124 0347 0468 0678 1348 1367 1457 2378 3456
Size=9 |Aut|=1
0123 0124 0347 0358 0468 1348 1457 2458 3456
Size=9 |Aut|=1
=======================================================================
Size Count
—- —–
8 417
9 124
Only 541 (non-isomorphic) minimal defining sets
Totally 4268 (inequivalent) minimal defining sets
=======================================================================