Minimal Defining Sets of the 2-(9,4,3) Designs

=======================================================================

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

=======================================================================

Emine Şule Yazıcı

Prof. at The Department of Mathematics

Minimal Defining Sets of the 2-(9,4,3) Designs – D8