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

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

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

Blocks of the design are:
0123 0124 0156 0257 0348 0367 0468 0578 1278 1345 1367 1478 1568 2358 2368 2456 2467 3457
The design is simple

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

Auto’m group order is 9

All non-isomorphic minimal defining sets are:

0123 0124 0156 0257 0348 0468 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0468 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0348 0367 0468 1345 1367
Size=8 |Aut|=1
0123 0124 0257 0348 0367 0468 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0578 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0367 0468 0578 1345 1367
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1345 1367
Size=8 |Aut|=1
0123 0156 0348 0367 0468 0578 1345 1367
Size=8 |Aut|=1
0123 0257 0348 0367 0468 0578 1345 1367
Size=8 |Aut|=1
0156 0257 0348 0367 0468 0578 1345 1367
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1278 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0367 0468 1278 1345 1367
Size=8 |Aut|=1
0123 0124 0348 0367 0468 1278 1345 1367
Size=8 |Aut|=1
0124 0156 0257 0348 0468 0578 1278 1345 1367
Size=9 |Aut|=1
0123 0124 0367 0468 0578 1278 1345 1367
Size=8 |Aut|=1
0123 0348 0367 0468 0578 1278 1345 1367
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1345 1367
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0367 1345 1478
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0468 1345 1478
Size=8 |Aut|=1
0123 0124 0156 0348 0367 0468 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0348 0367 0468 1345 1478
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1345 1478
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0578 1345 1478
Size=8 |Aut|=1
0123 0156 0257 0348 0468 0578 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1345 1478
Size=8 |Aut|=1
0123 0156 0257 0367 0468 0578 1345 1478
Size=8 |Aut|=1
0123 0257 0348 0367 0468 0578 1345 1478
Size=8 |Aut|=1
0156 0257 0348 0367 0468 0578 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0348 0367 1278 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1278 1345 1478
Size=8 |Aut|=1
0123 0124 0348 0367 0468 1278 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0367 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0156 0257 0367 0578 1278 1345 1478
Size=8 |Aut|=1
0156 0257 0348 0367 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0124 0257 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0257 0348 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1345 1478
Size=8 |Aut|=1
0123 0124 0156 0257 0367 1345 1367 1478
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0468 1345 1367 1478
Size=9 |Aut|=1
0123 0124 0257 0367 0578 1345 1367 1478
Size=8 |Aut|=1
0123 0156 0257 0367 0578 1345 1367 1478
Size=8 |Aut|=1
0156 0257 0348 0367 0578 1345 1367 1478
Size=8 |Aut|=1
0123 0156 0367 0468 0578 1345 1367 1478
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1367 1478
Size=8 |Aut|=1
0123 0124 0257 0367 1278 1345 1367 1478
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1278 1345 1367 1478
Size=9 |Aut|=1
0123 0124 0367 0468 1278 1345 1367 1478
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1278 1345 1367 1478
Size=9 |Aut|=1
0123 0124 0156 0257 0348 0367 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0468 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0348 0367 0468 1367 1568
Size=8 |Aut|=1
0123 0124 0257 0348 0367 0468 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0468 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0578 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0578 1367 1568
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1367 1568
Size=8 |Aut|=1
0123 0156 0257 0367 0468 0578 1367 1568
Size=8 |Aut|=1
0123 0156 0348 0367 0468 0578 1367 1568
Size=8 |Aut|=1
0123 0257 0348 0367 0468 0578 1367 1568
Size=8 |Aut|=1
0156 0257 0348 0367 0468 0578 1367 1568
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1278 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1278 1367 1568
Size=8 |Aut|=1
0123 0124 0348 0367 0468 1278 1367 1568
Size=8 |Aut|=1
0123 0156 0348 0367 0468 1278 1367 1568
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1278 1367 1568
Size=8 |Aut|=1
0123 0124 0257 0468 0578 1278 1367 1568
Size=8 |Aut|=1
0123 0156 0367 0468 0578 1278 1367 1568
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1278 1367 1568
Size=8 |Aut|=1
0123 0348 0367 0468 0578 1278 1367 1568
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0367 1345 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0367 0468 1345 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0367 0468 1345 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0367 0578 1345 1367 1568
Size=8 |Aut|=1
0124 0156 0257 0468 0578 1345 1367 1568
Size=8 |Aut|=1
0123 0156 0367 0468 0578 1345 1367 1568
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1367 1568
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1345 1367 1568
Size=8 |Aut|=1
0123 0156 0367 0468 1278 1345 1367 1568
Size=8 |Aut|=1
0124 0156 0367 0468 1278 1345 1367 1568
Size=8 |Aut|=1
0156 0367 0468 0578 1278 1345 1367 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0468 1478 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0468 1478 1568
Size=8 |Aut|=1
0123 0124 0257 0348 0367 0468 1478 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0348 0367 0578 1478 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0578 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0348 0468 0578 1478 1568
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1478 1568
Size=8 |Aut|=1
0123 0257 0348 0367 0468 0578 1478 1568
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1278 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0348 0468 1278 1478 1568
Size=8 |Aut|=1
0123 0124 0257 0367 0468 1278 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0367 0468 1278 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0367 0578 1278 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1278 1478 1568
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1278 1478 1568
Size=8 |Aut|=1
0123 0124 0156 0367 0468 1345 1478 1568
Size=8 |Aut|=1
0156 0257 0348 0367 0578 1345 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1345 1478 1568
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 1478 1568
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1478 1568
Size=8 |Aut|=1
0156 0257 0367 0468 0578 1345 1478 1568
Size=8 |Aut|=1
0123 0257 0348 0468 1278 1345 1478 1568
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1345 1478 1568
Size=8 |Aut|=1
0123 0156 0367 0468 1278 1345 1478 1568
Size=8 |Aut|=1
0123 0257 0367 0468 1278 1345 1478 1568
Size=8 |Aut|=1
0123 0348 0367 0468 1278 1345 1478 1568
Size=8 |Aut|=1
0156 0257 0468 0578 1278 1345 1478 1568
Size=8 |Aut|=1
0123 0124 0257 0348 0367 1367 1478 1568
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1367 1478 1568
Size=8 |Aut|=1
0156 0257 0348 0367 0578 1367 1478 1568
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1367 1478 1568
Size=8 |Aut|=1
0156 0257 0348 0367 1278 1367 1478 1568
Size=8 |Aut|=1
0123 0257 0348 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0156 0257 0348 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0123 0156 0367 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0123 0257 0367 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0123 0348 0367 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0156 0348 0367 0468 1278 1367 1478 1568
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1345 1367 1478 1568
Size=9 |Aut|=1
0156 0257 0468 0578 1345 1367 1478 1568
Size=8 |Aut|=1
0156 0367 0468 1278 1345 1367 1478 1568
Size=8 |Aut|=1
0123 0124 0156 0257 0348 0468 1345 2358
Size=8 |Aut|=1
0123 0124 0156 0348 0367 0468 1345 2358
Size=8 |Aut|=1
0123 0124 0257 0348 0367 0468 1345 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0468 1345 2358
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1345 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0468 0578 1345 2358
Size=8 |Aut|=1
0123 0124 0156 0367 0468 0578 1345 2358
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1345 2358
Size=8 |Aut|=1
0123 0156 0348 0367 0468 0578 1345 2358
Size=8 |Aut|=1
0123 0257 0348 0367 0468 0578 1345 2358
Size=8 |Aut|=1
0156 0257 0348 0367 0468 0578 1345 2358
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0578 1278 1345 2358
Size=9 |Aut|=1
0156 0348 0367 0468 0578 1278 1345 2358
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1278 1367 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1278 1367 2358
Size=8 |Aut|=1
0123 0124 0348 0367 0468 1278 1367 2358
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1278 1367 2358
Size=8 |Aut|=1
0123 0124 0156 0257 0367 0578 1278 1367 2358
Size=9 |Aut|=1
0123 0124 0156 0257 0468 0578 1278 1367 2358
Size=9 |Aut|=1
0123 0124 0156 0367 0468 0578 1278 1367 2358
Size=9 |Aut|=1
0123 0124 0257 0367 0468 0578 1278 1367 2358
Size=9 |Aut|=1
0123 0348 0367 0468 0578 1278 1367 2358
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1367 2358
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1345 1367 2358
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1345 1367 2358
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1345 1367 2358
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1345 1367 2358
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1345 1367 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1345 1478 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1345 1478 2358
Size=8 |Aut|=1
0123 0156 0257 0367 0578 1345 1478 2358
Size=8 |Aut|=1
0156 0257 0348 0367 0578 1345 1478 2358
Size=8 |Aut|=1
0123 0257 0348 0468 0578 1345 1478 2358
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 1478 2358
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1478 2358
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1345 1478 2358
Size=8 |Aut|=1
0123 0124 0257 0367 1278 1367 1478 2358
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1278 1367 1478 2358
Size=9 |Aut|=1
0123 0124 0257 0468 1278 1367 1478 2358
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1367 1478 2358
Size=8 |Aut|=1
0123 0367 0468 0578 1278 1367 1478 2358
Size=8 |Aut|=1
0123 0124 0257 0367 0468 1345 1367 1478 2358
Size=9 |Aut|=1
0123 0124 0257 0468 0578 1345 1367 1478 2358
Size=9 |Aut|=1
0123 0156 0257 0468 0578 1345 1367 1478 2358
Size=9 |Aut|=1
0124 0156 0257 0348 0367 1345 1568 2358
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1345 1568 2358
Size=8 |Aut|=1
0123 0124 0156 0367 0468 1345 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0468 0578 1345 1568 2358
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1345 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0367 0468 1278 1345 1568 2358
Size=9 |Aut|=1
0123 0257 0367 0468 0578 1278 1345 1568 2358
Size=9 |Aut|=1
0124 0156 0257 0348 0367 1367 1568 2358
Size=8 |Aut|=1
0123 0124 0257 0348 0468 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0367 0578 1367 1568 2358
Size=8 |Aut|=1
0123 0124 0257 0468 0578 1367 1568 2358
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1367 1568 2358
Size=8 |Aut|=1
0123 0348 0367 0468 1278 1367 1568 2358
Size=8 |Aut|=1
0156 0348 0367 0468 1278 1367 1568 2358
Size=8 |Aut|=1
0156 0367 0468 0578 1278 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0367 1345 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0367 0468 1345 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0468 1278 1345 1367 1568 2358
Size=9 |Aut|=1
0123 0367 0468 1278 1345 1367 1568 2358
Size=8 |Aut|=1
0156 0367 0468 1278 1345 1367 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0468 1345 1478 1568 2358
Size=8 |Aut|=1
0156 0257 0468 1278 1345 1478 1568 2358
Size=8 |Aut|=1
0123 0124 0257 0367 1367 1478 1568 2358
Size=8 |Aut|=1
0124 0156 0257 0367 1367 1478 1568 2358
Size=8 |Aut|=1
0123 0257 0348 0367 0578 1367 1478 1568 2358
Size=9 |Aut|=1
0123 0367 0468 1278 1367 1478 1568 2358
Size=8 |Aut|=1
0156 0367 0468 1278 1367 1478 1568 2358
Size=8 |Aut|=1
0123 0124 0156 0367 0468 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0578 1345 1367 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0156 0367 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0257 0367 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1345 1367 2368
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0367 0468 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0348 0367 0468 0578 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1345 1367 2368
Size=8 |Aut|=1
0123 0124 0257 0348 0578 1278 1345 1367 2368
Size=9 |Aut|=1
0123 0124 0367 0578 1278 1345 1367 2368
Size=8 |Aut|=1
0124 0156 0348 0367 0578 1278 1345 1367 2368
Size=9 |Aut|=1
0123 0257 0348 0468 0578 1278 1345 1367 2368
Size=9 |Aut|=1
0123 0156 0367 0468 0578 1278 1345 1367 2368
Size=9 |Aut|=1
0123 0124 0156 0257 0367 1345 1478 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0578 1345 1478 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1345 1478 2368
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1345 1478 2368
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 1478 2368
Size=8 |Aut|=1
0123 0257 0367 0578 1278 1345 1478 2368
Size=8 |Aut|=1
0124 0156 0348 0367 0578 1278 1345 1478 2368
Size=9 |Aut|=1
0123 0348 0367 0468 0578 1278 1345 1478 2368
Size=9 |Aut|=1
0124 0156 0257 0348 0468 1345 1367 1478 2368
Size=9 |Aut|=1
0123 0124 0367 0578 1345 1367 1478 2368
Size=8 |Aut|=1
0123 0257 0367 0578 1345 1367 1478 2368
Size=8 |Aut|=1
0124 0156 0257 0348 1278 1345 1367 1478 2368
Size=9 |Aut|=1
0123 0124 0367 1278 1345 1367 1478 2368
Size=8 |Aut|=1
0124 0156 0348 0367 1278 1345 1367 1478 2368
Size=9 |Aut|=1
0123 0156 0367 0578 1278 1345 1367 1478 2368
Size=9 |Aut|=1
0123 0348 0367 0578 1278 1345 1367 1478 2368
Size=9 |Aut|=1
0156 0348 0367 0578 1278 1345 1367 1478 2368
Size=9 |Aut|=1
0123 0124 0156 0257 0348 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0367 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0348 0367 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0257 0348 0367 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0578 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0257 0367 0578 1367 1568 2368
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1367 1568 2368
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1367 1568 2368
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0257 0348 1278 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0348 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0367 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0257 0367 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0348 0367 1278 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0348 0367 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0156 0367 0468 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0257 0578 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0367 0578 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0257 0468 0578 1278 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0367 1345 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0367 1345 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0257 0578 1345 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0367 1278 1345 1367 1568 2368
Size=8 |Aut|=1
0124 0156 0367 1278 1345 1367 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0348 1345 1478 1568 2368
Size=9 |Aut|=1
0123 0156 0257 0367 1345 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0348 0367 0468 1345 1478 1568 2368
Size=9 |Aut|=1
0123 0156 0257 0578 1345 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0348 0578 1345 1478 1568 2368
Size=8 |Aut|=1
0123 0124 0367 0468 0578 1345 1478 1568 2368
Size=9 |Aut|=1
0123 0124 0367 1278 1345 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0367 1278 1345 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0367 1278 1345 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0578 1278 1345 1478 1568 2368
Size=8 |Aut|=1
0156 0367 0578 1278 1345 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0257 0348 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0257 0367 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0348 0367 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0348 0367 1367 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0348 0367 1367 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0348 0468 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0257 0578 1367 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0348 0578 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0367 0578 1367 1478 1568 2368
Size=8 |Aut|=1
0156 0257 0348 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0124 0367 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0367 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0367 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0348 0367 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0156 0348 0367 1278 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0156 0367 1345 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0257 0348 1278 1345 1367 1478 1568 2368
Size=9 |Aut|=1
0156 0367 1278 1345 1367 1478 1568 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1345 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1345 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0578 1345 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1345 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0367 0578 1345 2358 2368
Size=8 |Aut|=1
0124 0156 0348 0367 0578 1345 2358 2368
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1345 2358 2368
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 2358 2368
Size=8 |Aut|=1
0123 0124 0367 0578 1278 1345 2358 2368
Size=8 |Aut|=1
0123 0367 0468 0578 1278 1345 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1367 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0257 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0348 0578 1367 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0367 0578 1367 2358 2368
Size=8 |Aut|=1
0124 0156 0348 0367 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0156 0257 0468 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0257 0348 0468 0578 1367 2358 2368
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0367 0468 1278 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0367 0578 1278 1367 2358 2368
Size=8 |Aut|=1
0123 0367 0468 0578 1278 1367 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0257 1345 1478 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 1278 1345 1478 2358 2368
Size=9 |Aut|=1
0123 0124 0156 0257 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0367 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0578 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0257 0367 0578 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0348 0367 0578 1367 1478 2358 2368
Size=8 |Aut|=1
0156 0348 0367 0578 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0257 0468 0578 1367 1478 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0348 1278 1367 1478 2358 2368
Size=9 |Aut|=1
0123 0124 0367 1278 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0367 0578 1278 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0367 0578 1345 1367 1478 2358 2368
Size=8 |Aut|=1
0123 0124 0156 0257 1345 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0468 1345 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0367 0468 1345 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0367 0468 0578 1345 1568 2358 2368
Size=9 |Aut|=1
0124 0156 0257 1278 1345 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0367 1278 1345 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0348 0367 1278 1345 1568 2358 2368
Size=9 |Aut|=1
0123 0124 0156 0257 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0348 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0367 1367 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0367 1367 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0468 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0257 0578 1367 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0257 0578 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0257 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0257 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0124 0367 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0124 0156 0367 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0257 0468 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0367 0468 1278 1367 1568 2358 2368
Size=8 |Aut|=1
0123 0156 0257 0468 1345 1478 1568 2358 2368
Size=9 |Aut|=1
0123 0257 0367 0468 1345 1478 1568 2358 2368
Size=9 |Aut|=1
0123 0367 1278 1345 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0257 0348 1367 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0257 0367 1367 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0257 0578 1367 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0257 1278 1367 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0367 1278 1367 1478 1568 2358 2368
Size=8 |Aut|=1
0123 0156 0257 1345 1367 1478 1568 2358 2368
Size=9 |Aut|=1
0123 0124 0156 0257 0348 0468 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0468 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0578 1345 2456
Size=8 |Aut|=1
0123 0124 0156 0257 0468 0578 1345 2456
Size=8 |Aut|=1
0123 0124 0257 0367 0468 0578 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0367 0468 0578 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1278 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0468 0578 1278 1345 2456
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1345 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0468 1278 1367 2456
Size=8 |Aut|=1
0124 0156 0348 0367 0468 1278 1367 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0578 1278 1367 2456
Size=9 |Aut|=1
0123 0124 0367 0468 0578 1278 1367 2456
Size=8 |Aut|=1
0123 0348 0367 0468 0578 1278 1367 2456
Size=8 |Aut|=1
0156 0348 0367 0468 0578 1278 1367 2456
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1345 1367 2456
Size=8 |Aut|=1
0124 0156 0257 0367 0468 1345 1367 2456
Size=8 |Aut|=1
0123 0124 0367 0468 0578 1345 1367 2456
Size=8 |Aut|=1
0123 0124 0156 0257 0468 1345 1478 2456
Size=8 |Aut|=1
0156 0257 0348 0468 0578 1345 1478 2456
Size=8 |Aut|=1
0123 0257 0367 0468 0578 1345 1478 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1278 1345 1478 2456
Size=9 |Aut|=1
0124 0156 0257 0348 0367 1278 1367 1478 2456
Size=9 |Aut|=1
0123 0156 0367 0468 0578 1278 1367 1478 2456
Size=9 |Aut|=1
0124 0156 0257 0468 1345 1367 1478 2456
Size=8 |Aut|=1
0124 0156 0367 0468 1278 1345 1367 1478 2456
Size=9 |Aut|=1
0123 0124 0156 0257 0468 1345 1568 2456
Size=8 |Aut|=1
0124 0156 0257 0468 1278 1345 1568 2456
Size=8 |Aut|=1
0124 0156 0367 0468 1278 1345 1568 2456
Size=8 |Aut|=1
0123 0156 0257 0367 0468 1278 1345 1568 2456
Size=9 |Aut|=1
0123 0257 0348 0367 0468 1278 1345 1568 2456
Size=9 |Aut|=1
0123 0257 0367 0468 0578 1278 1345 1568 2456
Size=9 |Aut|=1
0123 0124 0257 0348 0367 1367 1568 2456
Size=8 |Aut|=1
0123 0257 0367 0468 1278 1345 1367 1568 2456
Size=9 |Aut|=1
0124 0156 0257 0348 0367 1345 1478 1568 2456
Size=9 |Aut|=1
0124 0156 0257 0468 1345 1478 1568 2456
Size=8 |Aut|=1
0123 0156 0367 0468 0578 1345 1478 1568 2456
Size=9 |Aut|=1
0123 0124 0156 0367 0468 1278 1345 2358 2456
Size=9 |Aut|=1
0124 0156 0257 0468 0578 1278 1367 2358 2456
Size=9 |Aut|=1
0124 0156 0367 0468 0578 1278 1367 2358 2456
Size=9 |Aut|=1
0124 0156 0367 0468 1278 1345 1367 2358 2456
Size=9 |Aut|=1
0124 0156 0367 0468 1278 1367 1478 2358 2456
Size=9 |Aut|=1
0123 0367 0468 0578 1278 1367 1568 2358 2456
Size=9 |Aut|=1
0123 0124 0156 0257 0578 1345 2368 2456
Size=8 |Aut|=1
0123 0124 0156 0348 0367 0578 1345 2368 2456
Size=9 |Aut|=1
0123 0124 0348 0367 0578 1278 1345 2368 2456
Size=9 |Aut|=1
0124 0156 0348 0367 0578 1278 1345 2368 2456
Size=9 |Aut|=1
0123 0156 0257 0468 0578 1278 1345 2368 2456
Size=9 |Aut|=1
0123 0257 0367 0468 0578 1278 1345 2368 2456
Size=9 |Aut|=1
0123 0348 0367 0468 0578 1278 1345 2368 2456
Size=9 |Aut|=1
0123 0124 0156 0257 0468 1367 2368 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 0468 1367 2368 2456
Size=9 |Aut|=1
0123 0124 0156 0257 0578 1367 2368 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0578 1367 2368 2456
Size=8 |Aut|=1
0123 0124 0257 0367 0578 1367 2368 2456
Size=8 |Aut|=1
0123 0124 0367 0578 1278 1367 2368 2456
Size=8 |Aut|=1
0124 0156 0348 0367 0578 1278 1367 2368 2456
Size=9 |Aut|=1
0124 0156 0367 0468 1278 1345 1367 2368 2456
Size=9 |Aut|=1
0124 0156 0367 0578 1278 1345 1367 2368 2456
Size=9 |Aut|=1
0124 0156 0257 0348 0367 1367 1478 2368 2456
Size=9 |Aut|=1
0123 0156 0257 0578 1367 1478 2368 2456
Size=8 |Aut|=1
0123 0257 0367 0578 1367 1478 2368 2456
Size=8 |Aut|=1
0124 0156 0348 0367 1278 1367 1478 2368 2456
Size=9 |Aut|=1
0123 0156 0367 0578 1278 1367 1478 2368 2456
Size=9 |Aut|=1
0124 0156 0367 1278 1345 1367 1478 2368 2456
Size=9 |Aut|=1
0123 0124 0156 0257 1345 1568 2368 2456
Size=8 |Aut|=1
0124 0156 0257 0348 0367 1345 1568 2368 2456
Size=9 |Aut|=1
0123 0124 0367 1278 1345 1568 2368 2456
Size=8 |Aut|=1
0124 0156 0348 0367 1278 1345 1568 2368 2456
Size=9 |Aut|=1
0123 0124 0156 0257 1367 1568 2368 2456
Size=8 |Aut|=1
0123 0124 0257 0367 1367 1568 2368 2456
Size=8 |Aut|=1
0123 0124 0367 1278 1367 1568 2368 2456
Size=8 |Aut|=1
0123 0156 0257 1345 1478 1568 2368 2456
Size=8 |Aut|=1
0156 0257 0348 0367 1345 1478 1568 2368 2456
Size=9 |Aut|=1
0123 0257 0367 0468 1345 1478 1568 2368 2456
Size=9 |Aut|=1
0123 0156 0257 1367 1478 1568 2368 2456
Size=8 |Aut|=1
0124 0156 0367 1278 1367 1478 2358 2368 2456
Size=9 |Aut|=3
0123 0124 0156 0468 0578 1278 1345 2358 2467
Size=9 |Aut|=1
0123 0124 0367 0468 0578 1278 1345 2358 2467
Size=9 |Aut|=1
0123 0124 0257 0367 0468 0578 1367 2358 2467
Size=9 |Aut|=1
0123 0257 0367 0468 1345 1478 1568 2358 2467
Size=9 |Aut|=9
0123 0124 0156 0578 1278 1367 2368 2456 2467
Size=9 |Aut|=1

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

Size Count
—- —–
8 356
9 82

Only 438 (non-isomorphic) minimal defining sets
Totally 3928 (inequivalent) minimal defining sets

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