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

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

Design parameters are 2-(9,4,3), b=18

Blocks of the design are:
0123 0124 0156 0257 0348 0358 0467 0678 1268 1347 1367 1458 1578 2356 2378 2457 2468 3456
The design is simple

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

Auto’m group order is 16

All non-isomorphic minimal defining sets are:

0123 0124 0156 0348 0358 1268 1347 2356
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1268 1347 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0358 0467 1268 1347 2356
Size=9 |Aut|=1
0123 0124 0156 0257 0358 0678 1268 1347 2356
Size=9 |Aut|=1
0124 0156 0257 0348 0358 0678 1268 1347 2356
Size=9 |Aut|=1
0123 0124 0156 0467 0678 1268 1347 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0467 0678 1268 1347 2356
Size=9 |Aut|=1
0123 0124 0358 0467 0678 1268 1347 2356
Size=8 |Aut|=1
0123 0156 0257 0358 0467 0678 1268 1347 2356
Size=9 |Aut|=1
0124 0348 0358 0467 0678 1268 1347 2356
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1268 1347 2356
Size=8 |Aut|=1
0123 0124 0257 0348 0358 1347 1367 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0358 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0156 0348 0467 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1367 2356
Size=8 |Aut|=1
0123 0156 0348 0358 0467 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0257 0358 0678 1347 1367 2356
Size=8 |Aut|=1
0124 0257 0348 0358 0678 1347 1367 2356
Size=8 |Aut|=1
0156 0257 0348 0358 0678 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0156 0467 0678 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1347 1367 2356
Size=8 |Aut|=1
0123 0156 0358 0467 0678 1347 1367 2356
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 1367 2356
Size=8 |Aut|=1
0156 0348 0358 0467 0678 1347 1367 2356
Size=8 |Aut|=1
0124 0257 0348 0358 1268 1347 1367 2356
Size=8 |Aut|=2
0156 0257 0348 0358 1268 1347 1367 2356
Size=8 |Aut|=2
0124 0348 0358 0467 1268 1347 1367 2356
Size=8 |Aut|=1
0156 0348 0358 0467 1268 1347 1367 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0678 1268 1347 1367 2356
Size=9 |Aut|=1
0123 0124 0358 0678 1268 1347 1367 2356
Size=8 |Aut|=1
0257 0348 0358 0678 1268 1347 1367 2356
Size=8 |Aut|=1
0123 0156 0467 0678 1268 1347 1367 2356
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1458 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0358 0467 1347 1458 2356
Size=9 |Aut|=1
0123 0124 0156 0257 0348 0678 1347 1458 2356
Size=9 |Aut|=1
0123 0124 0156 0257 0358 0678 1347 1458 2356
Size=9 |Aut|=1
0124 0156 0257 0348 0358 0678 1347 1458 2356
Size=9 |Aut|=1
0123 0124 0257 0467 0678 1347 1458 2356
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1347 1458 2356
Size=8 |Aut|=1
0123 0156 0257 0358 0467 0678 1347 1458 2356
Size=9 |Aut|=1
0124 0348 0358 0467 0678 1347 1458 2356
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1347 1458 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1268 1347 1458 2356
Size=9 |Aut|=1
0123 0124 0467 0678 1268 1347 1458 2356
Size=8 |Aut|=1
0123 0156 0257 0467 0678 1268 1347 1458 2356
Size=9 |Aut|=1
0124 0348 0358 0467 1347 1367 1458 2356
Size=8 |Aut|=2
0156 0348 0358 0467 1347 1367 1458 2356
Size=8 |Aut|=2
0123 0124 0257 0678 1347 1367 1458 2356
Size=8 |Aut|=1
0123 0124 0358 0678 1347 1367 1458 2356
Size=8 |Aut|=1
0123 0156 0257 0358 0678 1347 1367 1458 2356
Size=9 |Aut|=1
0123 0124 0467 0678 1347 1367 1458 2356
Size=8 |Aut|=1
0123 0358 0467 0678 1347 1367 1458 2356
Size=8 |Aut|=1
0348 0358 0467 0678 1347 1367 1458 2356
Size=8 |Aut|=1
0123 0156 0257 0678 1268 1347 1367 1458 2356
Size=9 |Aut|=1
0123 0257 0348 0678 1268 1347 1367 1458 2356
Size=9 |Aut|=1
0123 0156 0358 0678 1268 1347 1367 1458 2356
Size=9 |Aut|=1
0123 0257 0358 0678 1268 1347 1367 1458 2356
Size=9 |Aut|=1
0123 0467 0678 1268 1347 1367 1458 2356
Size=8 |Aut|=1
0123 0124 0156 0467 0678 1268 1578 2356
Size=8 |Aut|=1
0123 0156 0257 0348 0467 0678 1268 1578 2356
Size=9 |Aut|=1
0124 0156 0348 0358 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0156 0257 0348 0358 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0124 0156 0257 0467 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0124 0156 0348 0467 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0156 0257 0348 0467 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0124 0156 0358 0467 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0156 0257 0358 0467 0678 1268 1347 1578 2356
Size=9 |Aut|=1
0124 0156 0467 0678 1347 1367 1578 2356
Size=8 |Aut|=1
0156 0358 0467 0678 1347 1367 1578 2356
Size=8 |Aut|=1
0156 0467 0678 1268 1347 1367 1578 2356
Size=8 |Aut|=1
0123 0124 0257 0467 0678 1458 1578 2356
Size=8 |Aut|=1
0124 0257 0348 0467 0678 1458 1578 2356
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1458 1578 2356
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1458 1578 2356
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1458 1578 2356
Size=8 |Aut|=1
0124 0348 0467 0678 1268 1458 1578 2356
Size=8 |Aut|=1
0257 0348 0467 0678 1268 1458 1578 2356
Size=8 |Aut|=1
0124 0358 0467 0678 1347 1458 1578 2356
Size=8 |Aut|=1
0257 0358 0467 0678 1347 1458 1578 2356
Size=8 |Aut|=1
0348 0358 0467 0678 1367 1458 1578 2356
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0358 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0348 0358 0467 1347 2378
Size=8 |Aut|=1
0123 0124 0257 0348 0358 0467 1347 2378
Size=8 |Aut|=1
0123 0156 0257 0348 0358 0467 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0358 0678 1347 2378
Size=8 |Aut|=1
0124 0156 0257 0348 0358 0678 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0467 0678 1347 2378
Size=8 |Aut|=1
0124 0156 0257 0348 0467 0678 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0467 0678 1347 2378
Size=8 |Aut|=1
0123 0156 0257 0358 0467 0678 1347 2378
Size=8 |Aut|=1
0124 0156 0348 0358 0467 0678 1347 2378
Size=8 |Aut|=1
0124 0257 0348 0358 0467 0678 1347 2378
Size=8 |Aut|=1
0156 0257 0348 0358 0467 0678 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0348 0358 1268 1347 2378
Size=8 |Aut|=1
0123 0156 0257 0348 0358 1268 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0678 1268 1347 2378
Size=8 |Aut|=1
0124 0156 0348 0358 0678 1268 1347 2378
Size=8 |Aut|=1
0156 0257 0348 0358 0678 1268 1347 2378
Size=8 |Aut|=1
0123 0124 0156 0467 0678 1268 1347 2378
Size=8 |Aut|=1
0123 0156 0257 0467 0678 1268 1347 2378
Size=8 |Aut|=1
0124 0156 0348 0467 0678 1268 1347 2378
Size=8 |Aut|=1
0156 0257 0348 0467 0678 1268 1347 2378
Size=8 |Aut|=1
0123 0124 0257 0348 0358 1347 1367 2378
Size=8 |Aut|=1
0123 0156 0257 0348 0358 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0348 0467 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1347 1367 2378
Size=8 |Aut|=1
0124 0156 0257 0348 0678 1347 1367 2378
Size=8 |Aut|=1
0124 0257 0348 0358 0678 1347 1367 2378
Size=8 |Aut|=1
0156 0257 0348 0358 0678 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0467 0678 1347 1367 2378
Size=8 |Aut|=1
0124 0156 0348 0467 0678 1347 1367 2378
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0156 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0123 0156 0348 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0156 0257 0348 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0124 0348 0358 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0156 0348 0358 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0123 0156 0467 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0156 0348 0467 0678 1268 1347 1367 2378
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1458 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0678 1347 1458 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0678 1347 1458 2378
Size=8 |Aut|=1
0124 0156 0348 0358 0678 1347 1458 2378
Size=8 |Aut|=1
0123 0124 0257 0467 0678 1347 1458 2378
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1347 1458 2378
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 1458 2378
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1347 1458 2378
Size=8 |Aut|=1
0123 0124 0156 0678 1268 1347 1458 2378
Size=8 |Aut|=1
0123 0156 0257 0348 0678 1268 1347 1458 2378
Size=9 |Aut|=1
0123 0156 0257 0358 0678 1268 1347 1458 2378
Size=9 |Aut|=1
0123 0124 0467 0678 1268 1347 1458 2378
Size=8 |Aut|=1
0124 0257 0348 0467 0678 1268 1347 1458 2378
Size=9 |Aut|=1
0123 0257 0358 0467 0678 1268 1347 1458 2378
Size=9 |Aut|=1
0123 0124 0156 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0123 0124 0358 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0124 0348 0358 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0123 0124 0467 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0124 0348 0467 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0123 0358 0467 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0348 0358 0467 0678 1347 1367 1458 2378
Size=8 |Aut|=1
0123 0124 0678 1268 1347 1367 1458 2378
Size=8 |Aut|=1
0123 0156 0678 1268 1347 1367 1458 2378
Size=8 |Aut|=1
0124 0257 0348 0678 1268 1347 1367 1458 2378
Size=9 |Aut|=1
0123 0467 0678 1268 1347 1367 1458 2378
Size=8 |Aut|=1
0348 0467 0678 1268 1347 1367 1458 2378
Size=8 |Aut|=1
0124 0156 0257 0348 0358 0678 1578 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0467 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0358 0467 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0348 0358 0467 0678 1578 2378
Size=8 |Aut|=1
0124 0257 0348 0358 0467 0678 1578 2378
Size=8 |Aut|=1
0156 0257 0348 0358 0467 0678 1578 2378
Size=8 |Aut|=1
0124 0156 0348 0467 0678 1268 1578 2378
Size=8 |Aut|=1
0156 0257 0348 0467 0678 1268 1578 2378
Size=8 |Aut|=1
0156 0257 0348 0358 0678 1347 1578 2378
Size=8 |Aut|=1
0124 0156 0257 0358 0678 1268 1347 1578 2378
Size=9 |Aut|=1
0124 0156 0358 0467 0678 1367 1578 2378
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1367 1578 2378
Size=8 |Aut|=1
0156 0348 0467 0678 1268 1367 1578 2378
Size=8 |Aut|=1
0123 0124 0257 0467 0678 1458 1578 2378
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1458 1578 2378
Size=8 |Aut|=1
0124 0257 0358 0467 0678 1458 1578 2378
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1458 1578 2378
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1458 1578 2378
Size=8 |Aut|=1
0124 0257 0467 0678 1268 1458 1578 2378
Size=8 |Aut|=2
0124 0348 0467 0678 1268 1458 1578 2378
Size=8 |Aut|=1
0257 0348 0467 0678 1268 1458 1578 2378
Size=8 |Aut|=1
0257 0358 0467 0678 1347 1458 1578 2378
Size=8 |Aut|=1
0124 0358 0467 0678 1367 1458 1578 2378
Size=8 |Aut|=2
0348 0358 0467 0678 1367 1458 1578 2378
Size=8 |Aut|=1
0123 0124 0156 0358 0467 1347 2356 2378
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 2356 2378
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 2356 2378
Size=8 |Aut|=1
0124 0156 0348 0358 1268 1347 2356 2378
Size=8 |Aut|=1
0156 0257 0348 0358 1268 1347 2356 2378
Size=8 |Aut|=1
0123 0156 0257 0358 0467 1268 1347 2356 2378
Size=9 |Aut|=1
0124 0257 0348 0358 0467 1268 1347 2356 2378
Size=9 |Aut|=1
0124 0257 0348 0358 1347 1367 2356 2378
Size=8 |Aut|=1
0124 0156 0348 0467 1347 1367 2356 2378
Size=8 |Aut|=1
0124 0348 0358 0467 1347 1367 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0467 0678 1458 2356 2378
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1458 2356 2378
Size=8 |Aut|=1
0123 0124 0467 0678 1268 1458 2356 2378
Size=8 |Aut|=1
0123 0124 0257 0358 0467 1347 1458 2356 2378
Size=9 |Aut|=1
0124 0257 0348 0358 0467 1347 1458 2356 2378
Size=9 |Aut|=1
0124 0156 0257 0348 0678 1347 1458 2356 2378
Size=9 |Aut|=1
0124 0257 0348 0467 0678 1347 1458 2356 2378
Size=9 |Aut|=1
0123 0257 0358 0467 0678 1347 1458 2356 2378
Size=9 |Aut|=1
0123 0124 0358 0467 1268 1347 1458 2356 2378
Size=9 |Aut|=1
0123 0156 0257 0678 1268 1347 1458 2356 2378
Size=9 |Aut|=1
0156 0257 0348 0678 1268 1347 1458 2356 2378
Size=9 |Aut|=1
0124 0348 0467 0678 1268 1347 1458 2356 2378
Size=9 |Aut|=1
0124 0257 0348 0467 0678 1367 1458 2356 2378
Size=9 |Aut|=1
0123 0348 0467 0678 1268 1367 1458 2356 2378
Size=9 |Aut|=1
0124 0348 0467 0678 1268 1367 1458 2356 2378
Size=9 |Aut|=1
0257 0348 0467 0678 1268 1367 1458 2356 2378
Size=9 |Aut|=1
0123 0124 0678 1347 1367 1458 2356 2378
Size=8 |Aut|=1
0124 0257 0348 0678 1347 1367 1458 2356 2378
Size=9 |Aut|=1
0124 0257 0467 0678 1458 1578 2356 2378
Size=8 |Aut|=1
0124 0358 0467 0678 1458 1578 2356 2378
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0358 1347 2457
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0467 1347 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0358 0467 1347 2457
Size=8 |Aut|=1
0123 0124 0257 0348 0358 0467 1347 2457
Size=8 |Aut|=1
0124 0156 0257 0348 0358 0678 1347 2457
Size=8 |Aut|=1
0124 0156 0348 0358 0467 0678 1347 2457
Size=8 |Aut|=1
0124 0257 0348 0358 0467 0678 1347 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0358 1268 1347 2457
Size=8 |Aut|=1
0123 0124 0156 0257 0348 1347 1367 2457
Size=8 |Aut|=1
0123 0124 0257 0348 0358 1347 1367 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0467 1347 1367 2457
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1367 2457
Size=8 |Aut|=1
0124 0257 0348 0358 0678 1347 1367 2457
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 1367 2457
Size=8 |Aut|=1
0123 0124 0348 0358 1268 1347 1367 2457
Size=8 |Aut|=1
0123 0124 0156 0257 0348 1347 1458 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0358 1347 1458 2457
Size=8 |Aut|=1
0123 0124 0257 0348 0467 1347 1458 2457
Size=8 |Aut|=1
0123 0124 0348 0358 0467 1347 1458 2457
Size=8 |Aut|=1
0123 0257 0348 0358 0467 1347 1458 2457
Size=8 |Aut|=1
0123 0124 0358 0467 0678 1347 1458 2457
Size=8 |Aut|=1
0124 0257 0358 0467 0678 1347 1458 2457
Size=8 |Aut|=1
0124 0348 0358 0467 0678 1347 1458 2457
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1347 1458 2457
Size=8 |Aut|=1
0123 0156 0257 0348 0467 1268 1347 1458 2457
Size=9 |Aut|=1
0123 0156 0257 0348 0678 1268 1347 1458 2457
Size=9 |Aut|=1
0123 0124 0467 0678 1268 1347 1458 2457
Size=8 |Aut|=1
0123 0257 0467 0678 1268 1347 1458 2457
Size=8 |Aut|=1
0257 0358 0467 0678 1268 1347 1458 2457
Size=8 |Aut|=1
0123 0124 0257 0348 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0124 0348 0358 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0156 0348 0358 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0257 0348 0358 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0124 0348 0467 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0348 0358 0467 1347 1367 1458 2457
Size=8 |Aut|=1
0257 0348 0358 0678 1347 1367 1458 2457
Size=8 |Aut|=1
0124 0358 0467 0678 1347 1367 1458 2457
Size=8 |Aut|=1
0348 0358 0467 0678 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0257 0348 1268 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0156 0348 0467 1268 1347 1367 1458 2457
Size=9 |Aut|=1
0123 0467 0678 1268 1347 1367 1458 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0358 0467 1578 2457
Size=8 |Aut|=1
0123 0124 0257 0348 0358 0467 1578 2457
Size=8 |Aut|=1
0124 0156 0257 0348 0467 0678 1578 2457
Size=8 |Aut|=1
0124 0156 0348 0358 0467 0678 1578 2457
Size=8 |Aut|=1
0124 0257 0348 0358 0467 0678 1578 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0467 1268 1347 1578 2457
Size=9 |Aut|=1
0124 0156 0257 0348 0467 1268 1347 1578 2457
Size=9 |Aut|=1
0124 0156 0348 0358 0467 1268 1347 1578 2457
Size=9 |Aut|=1
0124 0156 0348 0358 0678 1268 1347 1578 2457
Size=9 |Aut|=1
0124 0156 0348 0467 0678 1268 1347 1578 2457
Size=9 |Aut|=1
0124 0156 0348 0467 0678 1268 1367 1578 2457
Size=9 |Aut|=1
0124 0156 0348 0467 1268 1347 1367 1578 2457
Size=9 |Aut|=1
0123 0124 0257 0348 0467 1458 1578 2457
Size=8 |Aut|=1
0123 0257 0348 0358 0467 1458 1578 2457
Size=8 |Aut|=1
0124 0257 0348 0467 0678 1458 1578 2457
Size=8 |Aut|=1
0257 0348 0358 0467 0678 1458 1578 2457
Size=8 |Aut|=4
0124 0257 0348 0467 1347 1458 1578 2457
Size=8 |Aut|=1
0124 0348 0358 0467 1347 1458 1578 2457
Size=8 |Aut|=1
0124 0156 0348 0467 1268 1347 1458 1578 2457
Size=9 |Aut|=1
0123 0124 0348 0467 1367 1458 1578 2457
Size=8 |Aut|=1
0124 0348 0467 0678 1367 1458 1578 2457
Size=8 |Aut|=1
0348 0467 0678 1268 1367 1458 1578 2457
Size=8 |Aut|=2
0124 0348 0467 1347 1367 1458 1578 2457
Size=8 |Aut|=1
0348 0467 1268 1347 1367 1458 1578 2457
Size=8 |Aut|=1
0123 0124 0156 0348 0467 1268 1347 2356 2457
Size=9 |Aut|=1
0124 0156 0348 0358 0467 1268 1347 2356 2457
Size=9 |Aut|=1
0123 0124 0156 0348 0467 1268 1458 2356 2457
Size=9 |Aut|=1
0124 0156 0348 0358 0467 1347 1458 2356 2457
Size=9 |Aut|=1
0123 0124 0348 0467 1268 1347 1458 2356 2457
Size=9 |Aut|=1
0124 0358 0467 0678 1268 1347 1458 2356 2457
Size=9 |Aut|=1
0123 0124 0156 0348 0467 1367 1458 2356 2457
Size=9 |Aut|=1
0123 0124 0348 0467 1268 1367 1458 2356 2457
Size=9 |Aut|=1
0123 0257 0348 0467 1268 1367 1458 2356 2457
Size=9 |Aut|=1
0124 0156 0348 0467 0678 1268 1578 2356 2457
Size=9 |Aut|=1
0124 0156 0348 0467 1347 1367 1578 2356 2457
Size=9 |Aut|=1
0124 0348 0467 1268 1347 1458 1578 2356 2457
Size=9 |Aut|=1
0123 0124 0348 0467 1268 1347 1458 2378 2457
Size=9 |Aut|=1
0124 0348 0467 0678 1268 1347 1458 2378 2457
Size=9 |Aut|=1
0123 0124 0348 1347 1367 1458 2378 2457
Size=8 |Aut|=1
0124 0156 0348 0467 1268 1347 1578 2378 2457
Size=9 |Aut|=1
0124 0156 0348 0467 1268 1347 2356 2378 2457
Size=9 |Aut|=1
0124 0257 0348 0467 1347 1458 2356 2378 2457
Size=9 |Aut|=1
0124 0348 0467 1347 1367 1458 2356 2378 2457
Size=9 |Aut|=1
0123 0124 0348 0358 0467 1347 2457 2468
Size=8 |Aut|=1
0124 0156 0257 0348 0678 1347 1458 2457 2468
Size=9 |Aut|=1
0124 0156 0348 0358 0678 1347 1458 2457 2468
Size=9 |Aut|=1
0124 0257 0348 0467 1347 1458 2356 2457 2468
Size=9 |Aut|=1
0124 0348 0358 0467 1347 1458 2356 2457 2468
Size=9 |Aut|=1

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

Size Count
—- —–
8 209
9 81

Only 290 (non-isomorphic) minimal defining sets
Totally 4572 (inequivalent) minimal defining sets

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