Minimal Defining Sets of the 2-(10,5,4) Designs – D12

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

Design parameters are 2-(10,5,4), b=18

Blocks of the design are:
01234 01235 01468 01479 02568 02579 03678 03679 04589 12689 12789 13569 13578 14567 23469 23478 24567 34589
The design is simple

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

Auto’m group order is 16

All non-isomorphic minimal defining sets are:

01234 01235 01468 01479 02568 03678 03679
Size=7 |Aut|=2
01234 01235 01468 01479 02568 02579 04589
Size=7 |Aut|=4
01234 01235 01468 01479 02568 02579 03679 12689
Size=8 |Aut|=2
01468 01479 02568 02579 03678 03679 12689
Size=7 |Aut|=2
01234 01468 01479 02568 02579 04589 12689
Size=7 |Aut|=1
01234 01235 01468 01479 02568 03678 04589 12689
Size=8 |Aut|=1
01234 01235 01468 01479 02579 03678 04589 12689
Size=8 |Aut|=1
01468 01479 02568 02579 03678 04589 12689
Size=7 |Aut|=2
01234 01235 01468 01479 02568 03679 04589 12689
Size=8 |Aut|=1
01468 01479 02568 02579 03679 04589 12689
Size=7 |Aut|=2
01468 01479 02579 03678 03679 04589 12689
Size=7 |Aut|=1
01234 01235 01468 01479 02568 12689 12789
Size=7 |Aut|=1
01234 01468 01479 02568 02579 12689 12789
Size=7 |Aut|=2
01234 01468 01479 02568 03678 12689 12789
Size=7 |Aut|=1
01235 01468 01479 02579 03678 12689 12789
Size=7 |Aut|=1
01468 01479 02568 02579 03678 12689 12789
Size=7 |Aut|=2
01468 01479 02568 03678 03679 12689 12789
Size=7 |Aut|=1
01234 01468 01479 02568 04589 12689 12789
Size=7 |Aut|=1
01468 01479 02568 02579 04589 12689 12789
Size=7 |Aut|=4
01468 01479 02568 03678 04589 12689 12789
Size=7 |Aut|=1
01468 01479 02579 03678 04589 12689 12789
Size=7 |Aut|=1
01234 01235 01468 01479 02568 02579 03678 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02568 02579 03679 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02579 03678 04589 13569
Size=8 |Aut|=1
01234 01235 01468 02568 02579 03678 04589 13569
Size=8 |Aut|=1
01235 01468 01479 02568 02579 03678 04589 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02568 03679 04589 13569
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03679 04589 13569
Size=8 |Aut|=1
01235 01468 01479 02568 02579 12689 13569
Size=7 |Aut|=1
01234 01235 01468 01479 02568 03678 12689 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02579 03678 12689 13569
Size=8 |Aut|=1
01234 01235 01468 02568 02579 03678 12689 13569
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03678 12689 13569
Size=8 |Aut|=1
01468 01479 02568 02579 03678 12689 13569
Size=7 |Aut|=1
01234 01235 01468 02568 02579 03679 12689 13569
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03679 12689 13569
Size=8 |Aut|=1
01235 01468 01479 02568 03678 03679 12689 13569
Size=8 |Aut|=1
01235 01468 01479 02579 03678 03679 12689 13569
Size=8 |Aut|=1
01234 01468 02568 02579 03678 03679 12689 13569
Size=8 |Aut|=1
01234 01479 02568 02579 03678 03679 12689 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02568 04589 12689 13569
Size=8 |Aut|=1
01235 01479 02568 02579 04589 12689 13569
Size=7 |Aut|=1
01235 01468 01479 02568 03678 04589 12689 13569
Size=8 |Aut|=1
01234 01468 01479 02579 03678 04589 12689 13569
Size=8 |Aut|=1
01234 01468 02568 02579 03678 04589 12689 13569
Size=8 |Aut|=1
01235 01468 01479 02568 03679 04589 12689 13569
Size=8 |Aut|=1
01234 01468 02568 02579 03679 04589 12689 13569
Size=8 |Aut|=1
01479 02568 02579 03679 04589 12689 13569
Size=7 |Aut|=1
01234 01235 01468 01479 02568 02579 12789 13569
Size=8 |Aut|=1
01234 01235 01468 02568 02579 03678 12789 13569
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03678 12789 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02568 03679 12789 13569
Size=8 |Aut|=1
01234 01468 01479 02579 03679 12789 13569
Size=7 |Aut|=1
01234 01235 01468 02568 02579 03679 12789 13569
Size=8 |Aut|=1
01235 01479 02568 02579 03679 12789 13569
Size=7 |Aut|=1
01468 01479 02568 02579 03679 12789 13569
Size=7 |Aut|=1
01234 01468 01479 02568 03678 03679 12789 13569
Size=8 |Aut|=1
01235 01468 02568 02579 03678 03679 12789 13569
Size=8 |Aut|=1
01234 01235 01468 01479 02579 04589 12789 13569
Size=8 |Aut|=1
01235 01468 02568 02579 04589 12789 13569
Size=7 |Aut|=1
01234 01468 01479 02579 03678 04589 12789 13569
Size=8 |Aut|=1
01234 01468 02568 02579 03678 04589 12789 13569
Size=8 |Aut|=1
01235 01479 02568 02579 03678 04589 12789 13569
Size=8 |Aut|=1
01234 01468 01479 02568 03679 04589 12789 13569
Size=8 |Aut|=1
01234 01468 01479 02579 12689 12789 13569
Size=7 |Aut|=1
01235 01468 01479 02579 12689 12789 13569
Size=7 |Aut|=1
01234 01479 02568 02579 12689 12789 13569
Size=7 |Aut|=1
01235 01479 02568 02579 12689 12789 13569
Size=7 |Aut|=1
01468 01479 02579 03678 12689 12789 13569
Size=7 |Aut|=1
01479 02568 02579 03678 12689 12789 13569
Size=7 |Aut|=1
01468 01479 02579 03679 12689 12789 13569
Size=7 |Aut|=1
01479 02568 02579 03679 12689 12789 13569
Size=7 |Aut|=1
01468 01479 02579 04589 12689 12789 13569
Size=7 |Aut|=1
01479 02568 02579 04589 12689 12789 13569
Size=7 |Aut|=1
01234 01235 01468 01479 02568 03678 13569 13578
Size=8 |Aut|=1
01234 01235 01468 01479 02579 03678 13569 13578
Size=8 |Aut|=1
01235 01468 01479 02568 02579 03678 13569 13578
Size=8 |Aut|=1
01234 01235 01468 02568 03678 03679 13569 13578
Size=8 |Aut|=2
01234 01479 02568 03678 03679 13569 13578
Size=7 |Aut|=1
01235 01479 02568 03678 03679 13569 13578
Size=7 |Aut|=1
01234 01468 01479 02568 04589 13569 13578
Size=7 |Aut|=1
01235 01468 01479 02568 02579 04589 13569 13578
Size=8 |Aut|=2
01234 01235 01468 02568 03678 04589 13569 13578
Size=8 |Aut|=1
01468 01479 02568 03678 04589 13569 13578
Size=7 |Aut|=1
01234 01235 01468 02579 03678 04589 13569 13578
Size=8 |Aut|=1
01234 01468 02568 02579 03678 04589 13569 13578
Size=8 |Aut|=1
01235 01468 02568 02579 03678 04589 13569 13578
Size=8 |Aut|=1
01234 01468 02568 03678 03679 04589 13569 13578
Size=8 |Aut|=1
01479 02568 03678 03679 04589 13569 13578
Size=7 |Aut|=1
01235 01468 01479 02568 12689 13569 13578
Size=7 |Aut|=1
01234 01235 01468 01479 02579 12689 13569 13578
Size=8 |Aut|=1
01234 01468 02568 03678 12689 13569 13578
Size=7 |Aut|=1
01234 01235 01479 02568 03678 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01468 02579 03678 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01479 02579 03678 12689 13569 13578
Size=8 |Aut|=1
01234 01468 01479 02579 03678 12689 13569 13578
Size=8 |Aut|=1
01468 02568 02579 03678 12689 13569 13578
Size=7 |Aut|=1
01235 01479 02568 02579 03678 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01468 02568 03679 12689 13569 13578
Size=8 |Aut|=1
01235 01479 02568 03679 12689 13569 13578
Size=7 |Aut|=1
01234 01235 01468 02579 03679 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01479 02579 03679 12689 13569 13578
Size=8 |Aut|=1
01235 01468 02568 02579 03679 12689 13569 13578
Size=8 |Aut|=1
01479 02568 03678 03679 12689 13569 13578
Size=7 |Aut|=1
01468 02579 03678 03679 12689 13569 13578
Size=7 |Aut|=1
01235 01479 02579 03678 03679 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01479 02568 04589 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01479 02579 04589 12689 13569 13578
Size=8 |Aut|=1
01468 01479 02568 02579 04589 12689 13569 13578
Size=8 |Aut|=1
01234 01468 02579 03678 04589 12689 13569 13578
Size=8 |Aut|=1
01234 01468 02568 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01468 01479 02568 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01234 01479 02579 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01235 01479 02579 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01468 02568 02579 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01479 02579 03678 03679 04589 12689 13569 13578
Size=8 |Aut|=1
01234 01235 01468 02568 12689 12789 13569 13578
Size=8 |Aut|=1
01234 01235 01479 02568 12689 12789 13569 13578
Size=8 |Aut|=1
01234 01479 02568 03678 12689 12789 13569 13578
Size=8 |Aut|=1
01235 01479 02579 03678 12689 12789 13569 13578
Size=8 |Aut|=1
01468 02568 03678 03679 12689 12789 13569 13578
Size=8 |Aut|=1
01234 01468 02568 04589 12689 12789 13569 13578
Size=8 |Aut|=1
01234 01479 02568 04589 12689 12789 13569 13578
Size=8 |Aut|=1
01468 02568 03678 04589 12689 12789 13569 13578
Size=8 |Aut|=1
01479 02579 03678 04589 12689 12789 13569 13578
Size=8 |Aut|=1
01234 01468 01479 02568 02579 12689 14567
Size=7 |Aut|=1
01234 01468 01479 02568 03678 12689 14567
Size=7 |Aut|=2
01234 01235 01468 01479 02579 03678 12689 14567
Size=8 |Aut|=1
01234 01235 01468 02568 02579 03678 12689 14567
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03678 12689 14567
Size=8 |Aut|=1
01234 01235 01468 01479 02568 03679 12689 14567
Size=8 |Aut|=1
01234 01235 01479 02568 02579 03679 12689 14567
Size=8 |Aut|=1
01235 01468 01479 02568 03678 04589 12689 14567
Size=8 |Aut|=1
01234 01468 01479 02579 03678 04589 12689 14567
Size=8 |Aut|=1
01235 01468 01479 02579 03678 04589 12689 14567
Size=8 |Aut|=1
01235 01479 02568 02579 03678 04589 12689 14567
Size=8 |Aut|=1
01235 01468 01479 02568 03679 04589 12689 14567
Size=8 |Aut|=2
01235 01479 02568 02579 03679 04589 12689 14567
Size=8 |Aut|=2
01468 01479 02568 02579 12689 12789 14567
Size=7 |Aut|=2
01468 01479 02579 03678 12689 12789 14567
Size=7 |Aut|=1
01468 02568 02579 03678 12689 12789 14567
Size=7 |Aut|=1
01468 01479 02568 04589 12689 12789 14567
Size=7 |Aut|=1
01234 01235 01468 01479 02568 12689 13569 14567
Size=8 |Aut|=1
01234 01235 01468 02568 02579 12689 13569 14567
Size=8 |Aut|=1
01234 01468 01479 02579 03678 12689 13569 14567
Size=8 |Aut|=1
01235 01468 01479 02579 03678 12689 13569 14567
Size=8 |Aut|=1
01235 01479 02568 02579 03678 12689 13569 14567
Size=8 |Aut|=1
01235 01468 01479 02568 03679 12689 13569 14567
Size=8 |Aut|=2
01235 01479 02568 02579 03679 12689 13569 14567
Size=8 |Aut|=2
01234 01468 01479 02568 04589 12689 13569 14567
Size=8 |Aut|=1
01235 01468 01479 02568 04589 12689 13569 14567
Size=8 |Aut|=1
01234 01235 01468 01479 02579 12789 13569 14567
Size=8 |Aut|=1
01234 01235 01479 02568 02579 12789 13569 14567
Size=8 |Aut|=1
01234 01468 02568 02579 03678 12789 13569 14567
Size=8 |Aut|=1
01234 01479 02568 02579 03678 12789 13569 14567
Size=8 |Aut|=1
01234 01468 01479 02568 03679 12789 13569 14567
Size=8 |Aut|=1
01235 01468 01479 02579 03679 12789 13569 14567
Size=8 |Aut|=1
01468 02568 02579 03678 03679 12789 13569 14567
Size=8 |Aut|=1
01479 02568 02579 03678 03679 12789 13569 14567
Size=8 |Aut|=1
01234 01468 01479 02579 04589 12789 13569 14567
Size=8 |Aut|=1
01235 01468 01479 02579 04589 12789 13569 14567
Size=8 |Aut|=1
01479 02568 02579 04589 12789 13569 14567
Size=7 |Aut|=1
01468 02568 02579 03678 04589 12789 13569 14567
Size=8 |Aut|=1
01468 01479 02579 12689 12789 13569 14567
Size=7 |Aut|=1
01479 02568 02579 12689 12789 13569 14567
Size=7 |Aut|=1
01234 01235 01468 01479 02568 13569 13578 14567
Size=8 |Aut|=1
01235 01468 01479 02568 02579 13569 13578 14567
Size=8 |Aut|=2
01234 01235 01479 02568 03678 13569 13578 14567
Size=8 |Aut|=1
01234 01468 01479 02568 03678 13569 13578 14567
Size=8 |Aut|=1
01479 02568 03678 03679 13569 13578 14567
Size=7 |Aut|=1
01234 01235 01468 02568 04589 13569 13578 14567
Size=8 |Aut|=1
01234 01235 01479 02568 04589 13569 13578 14567
Size=8 |Aut|=1
01235 01468 01479 02568 04589 13569 13578 14567
Size=8 |Aut|=1
01468 01479 02568 02579 04589 13569 13578 14567
Size=8 |Aut|=2
01468 02568 03678 04589 13569 13578 14567
Size=7 |Aut|=1
01234 01468 02579 03678 04589 13569 13578 14567
Size=8 |Aut|=1
01235 01468 02579 03678 04589 13569 13578 14567
Size=8 |Aut|=1
01234 01235 01468 02568 12689 13569 13578 14567
Size=8 |Aut|=1
01234 01468 02579 12689 13569 13578 14567
Size=7 |Aut|=1
01235 01468 02568 02579 12689 13569 13578 14567
Size=8 |Aut|=1
01468 01479 02568 02579 12689 13569 13578 14567
Size=8 |Aut|=1
01235 01468 02568 03678 12689 13569 13578 14567
Size=8 |Aut|=2
01235 01468 02579 03678 12689 13569 13578 14567
Size=8 |Aut|=1
01234 01479 02579 03679 12689 13569 13578 14567
Size=8 |Aut|=1
01468 02568 02579 03679 12689 13569 13578 14567
Size=8 |Aut|=1
01479 02568 02579 03679 12689 13569 13578 14567
Size=8 |Aut|=1
01234 01468 02568 04589 12689 13569 13578 14567
Size=8 |Aut|=1
01468 01479 02568 04589 12689 13569 13578 14567
Size=8 |Aut|=1
01468 02568 03679 04589 12689 13569 13578 14567
Size=8 |Aut|=1
01479 02568 03679 04589 12689 13569 13578 14567
Size=8 |Aut|=1
01468 02568 03678 12689 12789 13569 13578 14567
Size=8 |Aut|=1
01468 02579 03678 12689 12789 13569 13578 14567
Size=8 |Aut|=1
01234 01235 01479 02568 12789 13569 23469
Size=7 |Aut|=1
01235 01479 02568 03678 03679 12789 13569 23469
Size=8 |Aut|=1
01468 01479 02568 03678 03679 12789 13569 23469
Size=8 |Aut|=1
01234 01468 01479 02579 04589 12789 13569 23469
Size=8 |Aut|=1
01468 01479 02568 02579 04589 12789 13569 23469
Size=8 |Aut|=2
01234 01468 01479 03678 04589 12789 13569 23469
Size=8 |Aut|=1
01234 01468 01479 03679 04589 12789 13569 23469
Size=8 |Aut|=1
01234 01479 02568 03678 12689 12789 13569 23469
Size=8 |Aut|=1
01235 01479 02568 03679 12689 12789 13569 23469
Size=8 |Aut|=1
01479 02568 03678 03679 12689 12789 13569 23469
Size=8 |Aut|=1
01234 01479 02568 04589 12689 12789 13569 23469
Size=8 |Aut|=1
01468 01479 03678 04589 12689 12789 13569 23469
Size=8 |Aut|=1
01479 02568 03678 04589 12689 12789 13569 23469
Size=8 |Aut|=1
01468 01479 03679 04589 12689 12789 13569 23469
Size=8 |Aut|=1
01479 02568 03679 04589 12689 12789 13569 23469
Size=8 |Aut|=1
01234 01235 01468 02568 04589 13578 23469
Size=7 |Aut|=1
01234 01468 01479 02568 03678 04589 13578 23469
Size=8 |Aut|=2
01234 01468 01479 02579 03678 04589 13578 23469
Size=8 |Aut|=1
01234 01235 02568 02579 03678 04589 13578 23469
Size=8 |Aut|=1
01234 01468 01479 02568 12689 13578 23469
Size=7 |Aut|=1
01234 01468 01479 02579 12689 13578 23469
Size=7 |Aut|=1
01234 01468 02568 02579 12689 13578 23469
Size=7 |Aut|=1
01468 01479 02568 03678 12689 13578 23469
Size=7 |Aut|=1
01468 02568 02579 03678 12689 13578 23469
Size=7 |Aut|=1
01235 01479 02568 02579 03678 12689 13578 23469
Size=8 |Aut|=1
01234 01479 02568 02579 03679 12689 13578 23469
Size=8 |Aut|=1
01235 01468 01479 02568 04589 12689 13578 23469
Size=8 |Aut|=1
01235 02568 02579 04589 12689 13578 23469
Size=7 |Aut|=1
01235 01468 02568 03678 04589 12689 13578 23469
Size=8 |Aut|=1
01234 01468 01479 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01235 01468 01479 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01235 01468 02568 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01468 01479 02568 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01234 01479 02579 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01235 01479 02579 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01468 02568 02579 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01479 02568 02579 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01479 02579 03678 03679 04589 12689 13578 23469
Size=8 |Aut|=1
01234 01468 02568 04589 12689 12789 13578 23469
Size=8 |Aut|=1
01468 02568 03678 04589 12689 12789 13578 23469
Size=8 |Aut|=1
01479 02579 03678 04589 12689 12789 13578 23469
Size=8 |Aut|=1
01235 01468 01479 02568 03678 13569 13578 23469
Size=8 |Aut|=2
01235 01468 02568 02579 03678 13569 13578 23469
Size=8 |Aut|=1
01235 01479 02568 02579 03678 13569 13578 23469
Size=8 |Aut|=2
01235 01479 02568 02579 03679 13569 13578 23469
Size=8 |Aut|=4
01234 01468 01479 04589 13569 13578 23469
Size=7 |Aut|=1
01235 01479 02568 02579 04589 13569 13578 23469
Size=8 |Aut|=1
01234 01235 02568 03678 04589 13569 13578 23469
Size=8 |Aut|=1
01234 01235 02579 03678 04589 13569 13578 23469
Size=8 |Aut|=1
01235 02568 02579 03678 04589 13569 13578 23469
Size=8 |Aut|=1
01234 01235 01468 03679 04589 13569 13578 23469
Size=8 |Aut|=1
01234 01235 01479 03679 04589 13569 13578 23469
Size=8 |Aut|=1
01235 01468 02568 02579 12689 13569 13578 23469
Size=8 |Aut|=2
01234 01235 02568 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01234 01468 02568 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01468 01479 02568 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01234 01235 02579 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01468 02568 02579 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01235 02568 03678 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01235 03679 04589 12689 13569 13578 23469
Size=7 |Aut|=1
01234 01468 03679 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01234 01479 03679 04589 12689 13569 13578 23469
Size=8 |Aut|=1
01468 02568 03679 04589 12689 13569 13578 23469
Size=8 |Aut|=1
02579 03679 04589 12689 13569 13578 23469
Size=7 |Aut|=1
03678 03679 04589 12689 13569 13578 23469
Size=7 |Aut|=1
01234 01235 01468 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 01235 01479 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 01479 02579 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01468 01479 02579 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01479 02568 02579 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 01235 03678 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01235 01468 03678 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01468 01479 03678 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01235 02568 03678 04589 12789 13569 13578 23469
Size=8 |Aut|=1
02568 02579 03678 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 01235 03679 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 01479 03679 04589 12789 13569 13578 23469
Size=8 |Aut|=1
01234 04589 12689 12789 13569 13578 23469
Size=7 |Aut|=1
01479 04589 12689 12789 13569 13578 23469
Size=7 |Aut|=1
02579 04589 12689 12789 13569 13578 23469
Size=7 |Aut|=1
03678 04589 12689 12789 13569 13578 23469
Size=7 |Aut|=1
03679 04589 12689 12789 13569 13578 23469
Size=7 |Aut|=1
01234 01235 01468 01479 02568 12789 14567 23469
Size=8 |Aut|=1
01234 01235 01468 02568 02579 12789 14567 23469
Size=8 |Aut|=1
01234 01468 01479 02579 03678 12789 14567 23469
Size=8 |Aut|=1
01234 01468 01479 02568 03679 12789 14567 23469
Size=8 |Aut|=1
01235 01468 01479 02568 04589 12789 14567 23469
Size=8 |Aut|=1
01234 01479 02568 02579 04589 12789 14567 23469
Size=8 |Aut|=1
01235 01479 02568 02579 04589 12789 14567 23469
Size=8 |Aut|=1
01468 01479 02579 12689 12789 14567 23469
Size=7 |Aut|=1
01479 02568 02579 12689 12789 14567 23469
Size=7 |Aut|=1
01234 01235 02568 02579 12789 13569 14567 23469
Size=8 |Aut|=1
01234 01479 02568 02579 12789 13569 14567 23469
Size=8 |Aut|=1
01234 01479 02568 03678 12789 13569 14567 23469
Size=8 |Aut|=1
01234 02568 02579 03678 12789 13569 14567 23469
Size=8 |Aut|=2
01234 01479 02568 03679 12789 13569 14567 23469
Size=8 |Aut|=1
01479 02568 02579 03679 12789 13569 14567 23469
Size=8 |Aut|=1
01479 02568 03678 03679 12789 13569 14567 23469
Size=8 |Aut|=1
01234 01479 02568 04589 12789 13569 14567 23469
Size=8 |Aut|=1
01468 01479 02568 04589 12789 13569 14567 23469
Size=8 |Aut|=1
01235 02568 02579 04589 12789 13569 14567 23469
Size=8 |Aut|=1
02568 02579 03678 04589 12789 13569 14567 23469
Size=8 |Aut|=1
01479 02568 03679 04589 12789 13569 14567 23469
Size=8 |Aut|=1
01235 01468 02579 03679 04589 12789 13569 14567 23469
Size=9 |Aut|=1
02568 02579 03678 12689 12789 13569 14567 23469
Size=8 |Aut|=1
01479 02568 03679 12689 12789 13569 14567 23469
Size=8 |Aut|=1
01468 01479 04589 12689 12789 13569 14567 23469
Size=8 |Aut|=1
01479 02568 04589 12689 12789 13569 14567 23469
Size=8 |Aut|=1
01234 01468 02568 04589 12689 13578 14567 23469
Size=8 |Aut|=1
01468 01479 02568 04589 12689 13578 14567 23469
Size=8 |Aut|=2
01234 01479 02568 02579 12789 13578 14567 23469
Size=8 |Aut|=1
01234 01479 02579 04589 12789 13578 14567 23469
Size=8 |Aut|=1
01235 01479 02579 04589 12789 13578 14567 23469
Size=8 |Aut|=1
01235 02568 02579 12689 12789 13578 14567 23469
Size=8 |Aut|=1
02568 02579 03678 12689 12789 13578 14567 23469
Size=8 |Aut|=1
01468 01479 04589 12689 12789 13578 14567 23469
Size=8 |Aut|=1
01479 02579 04589 12689 12789 13578 14567 23469
Size=8 |Aut|=1
01468 01479 02568 12689 13569 13578 14567 23469
Size=8 |Aut|=4
01468 01479 02579 12689 13569 13578 14567 23469
Size=8 |Aut|=1
01234 01468 04589 12689 13569 13578 14567 23469
Size=8 |Aut|=1
01235 01479 04589 12689 13569 13578 14567 23469
Size=8 |Aut|=1
01235 03678 04589 12689 13569 13578 14567 23469
Size=8 |Aut|=1
01468 01479 02568 12789 13569 13578 14567 23469
Size=8 |Aut|=2
01479 02568 02579 12789 13569 13578 14567 23469
Size=8 |Aut|=2
01234 01479 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01235 01479 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01468 01479 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01479 02579 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01235 03678 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01479 03678 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
02579 03678 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01479 03679 04589 12789 13569 13578 14567 23469
Size=8 |Aut|=1
01234 01235 04589 13569 13578 23469 23478
Size=7 |Aut|=4
01468 02568 04589 12689 13569 13578 23469 23478
Size=8 |Aut|=2
03679 04589 12689 13569 13578 23469 23478
Size=7 |Aut|=2
04589 12689 12789 13569 13578 23469 23478
Size=7 |Aut|=4
01468 02568 04589 12689 12789 14567 23469 23478
Size=8 |Aut|=1
01479 02568 04589 12689 12789 14567 23469 23478
Size=8 |Aut|=1
01234 03678 04589 12789 13569 14567 23469 23478
Size=8 |Aut|=1
04589 12689 12789 13569 14567 23469 23478
Size=7 |Aut|=1
01468 01479 02568 12689 12789 14567 24567
Size=7 |Aut|=2
01468 02568 12689 12789 13569 13578 14567 24567
Size=8 |Aut|=2
01479 02568 12689 12789 13569 13578 14567 24567
Size=8 |Aut|=1
01234 01235 01468 01479 02568 04589 34589
Size=7 |Aut|=1
01234 01468 01479 02568 04589 12689 34589
Size=7 |Aut|=1
01235 01468 01479 02568 04589 12689 34589
Size=7 |Aut|=1
01234 01468 01479 02579 04589 12689 34589
Size=7 |Aut|=1
01235 01468 01479 02579 04589 12689 34589
Size=7 |Aut|=1
01468 01479 02568 03678 04589 12689 34589
Size=7 |Aut|=1
01468 01479 02579 03678 04589 12689 34589
Size=7 |Aut|=1
01468 01479 02568 03679 04589 12689 34589
Size=7 |Aut|=1
01468 01479 02579 03679 04589 12689 34589
Size=7 |Aut|=1
01468 01479 02568 04589 12689 12789 34589
Size=7 |Aut|=1
01235 01468 01479 02568 03678 04589 13569 34589
Size=8 |Aut|=1
01235 01468 01479 02579 03678 04589 13569 34589
Size=8 |Aut|=1
01235 01468 02568 02579 03678 04589 13569 34589
Size=8 |Aut|=1
01235 01479 02568 02579 03678 04589 13569 34589
Size=8 |Aut|=1
01234 01468 02568 04589 13569 13578 34589
Size=7 |Aut|=1
01235 01468 02568 04589 13569 13578 34589
Size=7 |Aut|=1
01234 01235 01479 02568 04589 13569 13578 34589
Size=8 |Aut|=1
01234 01479 02568 03678 04589 13569 13578 34589
Size=8 |Aut|=1
01235 01468 02579 03678 04589 13569 13578 34589
Size=8 |Aut|=1
01468 02568 04589 12689 13569 13578 34589
Size=7 |Aut|=1
01234 01479 02568 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01235 01479 02568 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01234 01468 02579 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01479 02579 04589 12689 13569 13578 34589
Size=7 |Aut|=1
01479 02568 03678 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01468 02579 03678 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01479 02568 03679 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01468 02579 03679 04589 12689 13569 13578 34589
Size=8 |Aut|=1
01479 02568 04589 12689 12789 13569 13578 34589
Size=8 |Aut|=1
01468 01479 02568 04589 12789 13569 14567 34589
Size=8 |Aut|=1
01468 01479 02579 04589 12789 13569 14567 34589
Size=8 |Aut|=1
01468 02568 02579 04589 12789 13569 14567 34589
Size=8 |Aut|=1
01234 01479 02568 04589 13569 13578 14567 34589
Size=8 |Aut|=1
01235 01479 02568 04589 13569 13578 14567 34589
Size=8 |Aut|=1
01479 02568 03678 04589 13569 13578 14567 34589
Size=8 |Aut|=1
01468 02579 03678 04589 13569 13578 14567 34589
Size=8 |Aut|=1
01479 02568 04589 12689 13569 13578 14567 34589
Size=8 |Aut|=1
01234 01479 02568 04589 12789 13569 23469 34589
Size=8 |Aut|=1
01235 01479 02568 04589 12789 13569 23469 34589
Size=8 |Aut|=1
01479 02568 03678 04589 12789 13569 23469 34589
Size=8 |Aut|=1
01479 02568 03679 04589 12789 13569 23469 34589
Size=8 |Aut|=1
01479 02568 04589 12689 12789 13569 23469 34589
Size=8 |Aut|=1
01468 02579 04589 12789 13569 14567 23469 34589
Size=8 |Aut|=1

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

Size Count
—- —–
7 96
8 281
9 1

Only 378 (non-isomorphic) minimal defining sets
Totally 5728 (inequivalent) minimal defining sets

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