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

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

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

Blocks of the design are:
01234 01389 01478 01569 02358 02469 02579 03467 05678 12357 12456 12678 13679 14589 23689 24789 34568 34579
The design is simple

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

Auto’m group order is 9

All non-isomorphic minimal defining sets are:

01234 01389 01478 01569 02358 02469 02579 12357
Size=8 |Aut|=1
01234 01389 01478 02358 02579 03467 12357
Size=7 |Aut|=1
01389 01478 01569 02469 02579 03467 12357
Size=7 |Aut|=1
01234 01389 01478 01569 02358 05678 12357
Size=7 |Aut|=1
01234 01389 01569 02358 02469 02579 05678 12357
Size=8 |Aut|=1
01389 01478 01569 02358 02469 02579 05678 12357
Size=8 |Aut|=1
01234 01389 01478 02358 03467 05678 12357
Size=7 |Aut|=1
01389 01478 01569 02469 03467 05678 12357
Size=7 |Aut|=1
01234 01478 02358 02469 03467 05678 12357
Size=7 |Aut|=1
01478 01569 02469 02579 03467 05678 12357
Size=7 |Aut|=1
01234 01389 02358 02469 02579 03467 05678 12357
Size=8 |Aut|=1
01234 01569 02358 02469 02579 03467 05678 12357
Size=8 |Aut|=1
01389 01478 01569 02358 02469 02579 12456
Size=7 |Aut|=1
01234 01389 01478 02358 02469 03467 12456
Size=7 |Aut|=1
01234 01389 01478 02358 02579 03467 12456
Size=7 |Aut|=1
01234 01478 01569 02358 02469 02579 03467 12456
Size=8 |Aut|=1
01234 01389 01478 02358 02579 05678 12456
Size=7 |Aut|=1
01389 01569 02358 02469 02579 05678 12456
Size=7 |Aut|=1
01234 01389 01478 02469 03467 05678 12456
Size=7 |Aut|=1
01234 01478 01569 02469 03467 05678 12456
Size=7 |Aut|=1
01389 01478 01569 02469 03467 05678 12456
Size=7 |Aut|=1
01234 01389 02358 02469 03467 05678 12456
Size=7 |Aut|=1
01478 01569 02469 02579 03467 05678 12456
Size=7 |Aut|=1
01569 02358 02469 02579 03467 05678 12456
Size=7 |Aut|=1
01234 01389 01478 01569 02358 02469 12357 12456
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12357 12456
Size=7 |Aut|=1
01234 01389 01478 02358 03467 12357 12456
Size=7 |Aut|=1
01234 01389 01478 01569 02469 03467 12357 12456
Size=8 |Aut|=1
01234 01478 02469 02579 03467 12357 12456
Size=7 |Aut|=1
01234 01389 01478 02358 05678 12357 12456
Size=7 |Aut|=1
01234 01389 02358 02469 05678 12357 12456
Size=7 |Aut|=1
01389 01569 02358 02469 05678 12357 12456
Size=7 |Aut|=1
01234 01478 02469 03467 05678 12357 12456
Size=7 |Aut|=1
01234 02358 02469 03467 05678 12357 12456
Size=7 |Aut|=1
01389 01478 01569 02358 02469 02579 12357 12678
Size=8 |Aut|=1
01234 01389 01478 02579 03467 12357 12678
Size=7 |Aut|=1
01389 01478 02358 02469 02579 03467 12357 12678
Size=8 |Aut|=1
01234 01478 01569 02358 02469 05678 12357 12678
Size=8 |Aut|=1
01389 01478 01569 02358 02469 05678 12357 12678
Size=8 |Aut|=1
01234 01389 01569 02358 02579 05678 12357 12678
Size=8 |Aut|=1
01234 01569 02358 02469 02579 05678 12357 12678
Size=8 |Aut|=1
01478 01569 02358 02469 02579 05678 12357 12678
Size=8 |Aut|=1
01234 01389 01478 01569 03467 05678 12357 12678
Size=8 |Aut|=1
01234 01478 01569 02469 03467 05678 12357 12678
Size=8 |Aut|=1
01389 01478 02358 02469 03467 05678 12357 12678
Size=8 |Aut|=1
01234 01389 02358 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01234 01389 02469 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01389 01478 02469 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01234 01569 02469 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01234 02358 02469 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01478 02358 02469 02579 03467 05678 12357 12678
Size=8 |Aut|=1
01234 01389 01478 01569 02358 02579 12456 12678
Size=8 |Aut|=1
01234 01478 01569 02358 02469 02579 12456 12678
Size=8 |Aut|=1
01234 01389 01478 02358 03467 12456 12678
Size=7 |Aut|=1
01234 01389 01569 02358 02579 05678 12456 12678
Size=8 |Aut|=1
01569 02358 02469 02579 05678 12456 12678
Size=7 |Aut|=1
01234 01389 01478 01569 03467 05678 12456 12678
Size=8 |Aut|=1
01234 01389 01569 02358 03467 05678 12456 12678
Size=8 |Aut|=1
01234 01478 02469 03467 05678 12456 12678
Size=7 |Aut|=1
01234 01569 02469 03467 05678 12456 12678
Size=7 |Aut|=1
01389 01569 02469 03467 05678 12456 12678
Size=7 |Aut|=1
01234 02358 02469 03467 05678 12456 12678
Size=7 |Aut|=1
01234 01389 01478 02579 03467 05678 12456 12678
Size=8 |Aut|=1
01234 02469 02579 03467 05678 12456 12678
Size=7 |Aut|=1
01569 02469 02579 03467 05678 12456 12678
Size=7 |Aut|=1
01234 01389 01478 02358 02469 12357 12456 12678
Size=8 |Aut|=1
01234 01478 02358 02469 02579 12357 12456 12678
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 12456 12678
Size=8 |Aut|=1
01234 01389 01478 03467 12357 12456 12678
Size=7 |Aut|=1
01389 01478 02469 02579 03467 12357 12456 12678
Size=8 |Aut|=1
01234 01389 01569 02358 05678 12357 12456 12678
Size=8 |Aut|=1
01234 02358 02469 05678 12357 12456 12678
Size=7 |Aut|=1
01234 01389 02358 02579 05678 12357 12456 12678
Size=8 |Aut|=1
01478 02358 02469 02579 05678 12357 12456 12678
Size=8 |Aut|=1
01234 02469 03467 05678 12357 12456 12678
Size=7 |Aut|=1
01389 02469 03467 05678 12357 12456 12678
Size=7 |Aut|=1
01478 02469 02579 03467 05678 12357 12456 12678
Size=8 |Aut|=1
02358 02469 02579 03467 05678 12357 12456 12678
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12357 13679
Size=7 |Aut|=1
01234 01389 02358 02469 02579 12357 13679
Size=7 |Aut|=1
01234 01389 01478 01569 02579 03467 12357 13679
Size=8 |Aut|=1
01389 01569 02358 02469 02579 03467 12357 13679
Size=8 |Aut|=1
01389 01478 01569 02358 02469 05678 12357 13679
Size=8 |Aut|=1
01389 01569 02358 02469 02579 05678 12357 13679
Size=8 |Aut|=1
01234 01478 01569 03467 05678 12357 13679
Size=7 |Aut|=1
01234 01478 02358 03467 05678 12357 13679
Size=7 |Aut|=1
01234 02358 02469 02579 03467 05678 12357 13679
Size=8 |Aut|=1
01569 02358 02469 02579 03467 05678 12357 13679
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12456 13679
Size=7 |Aut|=1
01234 01389 02358 02469 02579 12456 13679
Size=7 |Aut|=1
01389 01569 02358 02469 02579 12456 13679
Size=7 |Aut|=1
01234 01389 01478 02358 03467 12456 13679
Size=7 |Aut|=1
01234 01389 02358 02469 03467 12456 13679
Size=7 |Aut|=1
01234 01569 02358 02469 03467 12456 13679
Size=7 |Aut|=1
01389 01569 02358 02469 03467 12456 13679
Size=7 |Aut|=1
01234 01478 01569 02358 02579 03467 12456 13679
Size=8 |Aut|=1
01234 01389 01478 02469 02579 03467 12456 13679
Size=8 |Aut|=1
01389 01478 01569 02469 02579 03467 12456 13679
Size=8 |Aut|=1
01569 02358 02469 02579 03467 12456 13679
Size=7 |Aut|=1
01234 01389 01569 02358 02579 05678 12456 13679
Size=8 |Aut|=1
01234 01389 01478 01569 03467 05678 12456 13679
Size=8 |Aut|=1
01234 01389 01569 02358 03467 05678 12456 13679
Size=8 |Aut|=1
01234 01389 01478 02579 03467 05678 12456 13679
Size=8 |Aut|=1
01234 01478 01569 02579 03467 05678 12456 13679
Size=8 |Aut|=1
01234 01569 02358 02579 03467 05678 12456 13679
Size=8 |Aut|=1
01389 01569 02358 02469 12357 12456 13679
Size=7 |Aut|=1
01234 01389 02358 02579 12357 12456 13679
Size=7 |Aut|=1
01234 01389 01478 01569 03467 12357 12456 13679
Size=8 |Aut|=1
01234 01569 02358 03467 12357 12456 13679
Size=7 |Aut|=1
01389 01478 01569 02469 03467 12357 12456 13679
Size=8 |Aut|=1
01234 01389 01478 02579 03467 12357 12456 13679
Size=8 |Aut|=1
01234 01478 01569 02579 03467 12357 12456 13679
Size=8 |Aut|=1
01478 01569 02469 02579 03467 12357 12456 13679
Size=8 |Aut|=1
01234 01389 01478 03467 05678 12357 12456 13679
Size=8 |Aut|=1
01234 01478 02579 03467 05678 12357 12456 13679
Size=8 |Aut|=1
01389 02358 02469 02579 12357 12678 13679
Size=7 |Aut|=1
01234 01389 02469 02579 03467 12357 12678 13679
Size=8 |Aut|=1
01389 01569 02469 02579 03467 12357 12678 13679
Size=8 |Aut|=1
01234 01478 02358 02469 05678 12357 12678 13679
Size=8 |Aut|=1
01234 01569 02358 02579 05678 12357 12678 13679
Size=8 |Aut|=1
02358 02469 02579 05678 12357 12678 13679
Size=7 |Aut|=1
01234 01389 01478 03467 05678 12357 12678 13679
Size=8 |Aut|=1
01234 01478 02469 03467 05678 12357 12678 13679
Size=8 |Aut|=1
01389 01478 02469 03467 05678 12357 12678 13679
Size=8 |Aut|=1
01234 01478 02579 03467 05678 12357 12678 13679
Size=8 |Aut|=1
01234 02358 02579 03467 05678 12357 12678 13679
Size=8 |Aut|=1
02469 02579 03467 05678 12357 12678 13679
Size=7 |Aut|=1
01234 01478 01569 02358 02579 12456 12678 13679
Size=8 |Aut|=1
01478 01569 02358 02469 02579 12456 12678 13679
Size=8 |Aut|=1
01234 01478 01569 02358 03467 12456 12678 13679
Size=8 |Aut|=1
01234 01389 01478 02469 03467 12456 12678 13679
Size=8 |Aut|=1
01389 01478 01569 02469 03467 12456 12678 13679
Size=8 |Aut|=1
01389 01478 02469 02579 03467 12456 12678 13679
Size=8 |Aut|=1
01478 01569 02469 02579 03467 12456 12678 13679
Size=8 |Aut|=1
01389 02358 02469 02579 03467 12456 12678 13679
Size=8 |Aut|=1
01234 01389 02358 02579 05678 12456 12678 13679
Size=8 |Aut|=1
01234 01478 02358 02579 05678 12456 12678 13679
Size=8 |Aut|=1
01234 01569 02358 02579 05678 12456 12678 13679
Size=8 |Aut|=1
02358 02469 02579 05678 12456 12678 13679
Size=7 |Aut|=1
01234 01389 01478 03467 05678 12456 12678 13679
Size=8 |Aut|=1
01234 01478 01569 03467 05678 12456 12678 13679
Size=8 |Aut|=1
01234 01478 02358 03467 05678 12456 12678 13679
Size=8 |Aut|=1
01234 01569 02358 03467 05678 12456 12678 13679
Size=8 |Aut|=1
01234 02469 03467 05678 12456 12678 13679
Size=7 |Aut|=1
01389 01478 02469 03467 05678 12456 12678 13679
Size=8 |Aut|=1
01389 02358 02469 03467 05678 12456 12678 13679
Size=8 |Aut|=1
02469 02579 03467 05678 12456 12678 13679
Size=7 |Aut|=1
01234 01478 01569 03467 12357 12456 12678 13679
Size=8 |Aut|=1
01234 01478 02358 03467 12357 12456 12678 13679
Size=8 |Aut|=1
01389 02469 03467 12357 12456 12678 13679
Size=7 |Aut|=1
01234 01478 03467 05678 12357 12456 12678 13679
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12357 14589
Size=7 |Aut|=1
01234 01389 01478 02358 03467 12357 14589
Size=7 |Aut|=1
01234 01478 02358 02469 03467 12357 14589
Size=7 |Aut|=1
01389 01478 01569 02358 02469 03467 12357 14589
Size=8 |Aut|=1
01234 01389 01478 01569 02579 03467 12357 14589
Size=8 |Aut|=1
01234 01478 02469 02579 03467 12357 14589
Size=7 |Aut|=1
01478 01569 02358 02469 02579 03467 12357 14589
Size=8 |Aut|=1
01389 01478 01569 02358 02469 05678 12357 14589
Size=8 |Aut|=1
01234 01389 02358 02579 05678 12357 14589
Size=7 |Aut|=1
01389 01478 02358 02469 02579 05678 12357 14589
Size=8 |Aut|=1
01389 01569 02358 02469 02579 05678 12357 14589
Size=8 |Aut|=1
01234 01389 01478 01569 03467 05678 12357 14589
Size=8 |Aut|=1
01234 01478 02469 03467 05678 12357 14589
Size=7 |Aut|=1
01234 01389 01478 02579 03467 05678 12357 14589
Size=8 |Aut|=1
01478 02469 02579 03467 05678 12357 14589
Size=7 |Aut|=1
02358 02469 02579 03467 05678 12357 14589
Size=7 |Aut|=1
01234 01389 01478 02358 02579 12456 14589
Size=7 |Aut|=1
01389 01478 01569 02358 03467 12456 14589
Size=7 |Aut|=1
01234 01478 01569 02358 02469 03467 12456 14589
Size=8 |Aut|=1
01389 01478 02358 02579 03467 12456 14589
Size=7 |Aut|=1
01478 01569 02358 02469 02579 03467 12456 14589
Size=8 |Aut|=1
01389 01478 01569 02358 02469 05678 12456 14589
Size=8 |Aut|=1
01234 01389 02358 02579 05678 12456 14589
Size=7 |Aut|=1
01389 01478 01569 02358 02579 05678 12456 14589
Size=8 |Aut|=1
01389 01478 02358 02469 02579 05678 12456 14589
Size=8 |Aut|=1
01389 01478 01569 03467 05678 12456 14589
Size=7 |Aut|=1
01389 01569 02358 03467 05678 12456 14589
Size=7 |Aut|=1
01234 01569 02358 02469 03467 05678 12456 14589
Size=8 |Aut|=1
01478 01569 02358 02469 03467 05678 12456 14589
Size=8 |Aut|=1
01234 01389 01478 02579 03467 05678 12456 14589
Size=8 |Aut|=1
01389 02358 02469 02579 03467 05678 12456 14589
Size=8 |Aut|=1
01389 01478 01569 02358 02469 12357 12456 14589
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 12456 14589
Size=8 |Aut|=1
01234 01389 01478 03467 12357 12456 14589
Size=7 |Aut|=1
01389 01478 01569 03467 12357 12456 14589
Size=7 |Aut|=1
01234 01478 02469 03467 12357 12456 14589
Size=7 |Aut|=1
01389 01478 02358 02469 03467 12357 12456 14589
Size=8 |Aut|=1
01478 02469 02579 03467 12357 12456 14589
Size=7 |Aut|=1
01389 01478 02358 02579 05678 12357 12456 14589
Size=8 |Aut|=1
01389 01569 02358 02579 05678 12357 12456 14589
Size=8 |Aut|=1
01389 01478 02469 03467 05678 12357 12456 14589
Size=8 |Aut|=1
01478 02358 02469 03467 05678 12357 12456 14589
Size=8 |Aut|=1
01569 02358 02469 03467 05678 12357 12456 14589
Size=8 |Aut|=1
01389 02358 02579 03467 05678 12357 12456 14589
Size=8 |Aut|=1
01234 01478 02358 02469 12357 12678 14589
Size=7 |Aut|=1
01389 01478 01569 02358 02469 12357 12678 14589
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 12678 14589
Size=8 |Aut|=1
01478 01569 02358 02469 02579 12357 12678 14589
Size=8 |Aut|=1
01234 01389 01478 03467 12357 12678 14589
Size=7 |Aut|=1
01389 01478 01569 02358 03467 12357 12678 14589
Size=8 |Aut|=1
01234 01478 02469 03467 12357 12678 14589
Size=7 |Aut|=1
01389 01478 02469 03467 12357 12678 14589
Size=7 |Aut|=1
01389 01478 02358 02579 03467 12357 12678 14589
Size=8 |Aut|=1
01478 02469 02579 03467 12357 12678 14589
Size=7 |Aut|=1
01389 01478 02358 02579 05678 12357 12678 14589
Size=8 |Aut|=1
01234 02358 02469 02579 05678 12357 12678 14589
Size=8 |Aut|=1
01478 02358 02469 02579 05678 12357 12678 14589
Size=8 |Aut|=1
01389 01478 01569 03467 05678 12357 12678 14589
Size=8 |Aut|=1
01389 02579 03467 05678 12357 12678 14589
Size=7 |Aut|=1
01234 02469 02579 03467 05678 12357 12678 14589
Size=8 |Aut|=1
01569 02469 02579 03467 05678 12357 12678 14589
Size=8 |Aut|=1
01234 01478 01569 02358 02469 12456 12678 14589
Size=8 |Aut|=1
01389 01478 01569 02358 02469 12456 12678 14589
Size=8 |Aut|=1
01234 01478 02358 02469 02579 12456 12678 14589
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12456 12678 14589
Size=8 |Aut|=1
01478 01569 02358 02469 02579 12456 12678 14589
Size=8 |Aut|=1
01234 01569 02358 02469 05678 12456 12678 14589
Size=8 |Aut|=1
01478 01569 02358 02469 05678 12456 12678 14589
Size=8 |Aut|=1
01389 01478 02358 02579 05678 12456 12678 14589
Size=8 |Aut|=1
01234 02358 02469 02579 05678 12456 12678 14589
Size=8 |Aut|=1
01478 02358 02469 02579 05678 12456 12678 14589
Size=8 |Aut|=1
01389 01569 03467 05678 12456 12678 14589
Size=7 |Aut|=1
01569 02469 03467 05678 12456 12678 14589
Size=7 |Aut|=1
01389 02358 02579 03467 05678 12456 12678 14589
Size=8 |Aut|=1
01389 02469 02579 03467 05678 12456 12678 14589
Size=8 |Aut|=1
01478 02469 02579 03467 05678 12456 12678 14589
Size=8 |Aut|=1
02358 02469 02579 03467 05678 12456 12678 14589
Size=8 |Aut|=1
01478 02358 02469 02579 12357 12456 12678 14589
Size=8 |Aut|=1
01389 01478 02579 03467 12357 12456 12678 14589
Size=8 |Aut|=1
01478 02469 03467 05678 12357 12456 12678 14589
Size=8 |Aut|=1
02358 02469 03467 05678 12357 12456 12678 14589
Size=8 |Aut|=1
01234 01389 02358 02579 12357 13679 14589
Size=7 |Aut|=1
01234 01389 01478 01569 03467 12357 13679 14589
Size=8 |Aut|=1
01234 01478 02358 03467 12357 13679 14589
Size=7 |Aut|=1
01478 01569 02358 03467 12357 13679 14589
Size=7 |Aut|=1
01234 01478 02469 03467 12357 13679 14589
Size=7 |Aut|=1
01389 01478 01569 02469 03467 12357 13679 14589
Size=8 |Aut|=1
01389 01478 02358 02579 03467 12357 13679 14589
Size=8 |Aut|=1
01234 01569 02358 02579 03467 12357 13679 14589
Size=8 |Aut|=1
01389 01569 02358 02579 03467 12357 13679 14589
Size=8 |Aut|=1
01234 02358 02469 02579 03467 12357 13679 14589
Size=8 |Aut|=1
01389 02358 02469 02579 03467 12357 13679 14589
Size=8 |Aut|=1
01389 02358 02579 05678 12357 13679 14589
Size=7 |Aut|=1
01234 01389 01478 03467 05678 12357 13679 14589
Size=8 |Aut|=1
01389 01478 01569 03467 05678 12357 13679 14589
Size=8 |Aut|=1
01389 01569 02358 02579 12456 13679 14589
Size=7 |Aut|=1
01389 01569 02358 03467 12456 13679 14589
Size=7 |Aut|=1
01569 02358 02469 03467 12456 13679 14589
Size=7 |Aut|=1
01234 01389 02358 02579 03467 12456 13679 14589
Size=8 |Aut|=1
01234 01569 02358 02579 03467 12456 13679 14589
Size=8 |Aut|=1
01478 01569 02358 02579 03467 12456 13679 14589
Size=8 |Aut|=1
01389 02358 02469 02579 03467 12456 13679 14589
Size=8 |Aut|=1
01389 01569 02358 02469 05678 12456 13679 14589
Size=8 |Aut|=1
01389 01478 02358 02579 05678 12456 13679 14589
Size=8 |Aut|=1
01389 02358 02469 02579 05678 12456 13679 14589
Size=8 |Aut|=1
01389 01478 02358 02579 12357 12456 13679 14589
Size=8 |Aut|=1
01389 02358 02469 02579 12357 12456 13679 14589
Size=8 |Aut|=1
01389 01478 03467 12357 12456 13679 14589
Size=7 |Aut|=1
01234 01478 01569 03467 12357 12456 13679 14589
Size=8 |Aut|=1
01569 02358 03467 12357 12456 13679 14589
Size=7 |Aut|=1
01234 02358 02469 03467 12357 12456 13679 14589
Size=8 |Aut|=1
01234 01478 02579 03467 12357 12456 13679 14589
Size=8 |Aut|=1
01234 01569 02358 02579 12357 12678 13679 14589
Size=8 |Aut|=1
01389 01569 02358 02579 12357 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02469 02579 12357 12678 13679 14589
Size=8 |Aut|=1
01478 02358 02469 02579 12357 12678 13679 14589
Size=8 |Aut|=1
01234 01389 02579 03467 12357 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02579 03467 12357 12678 13679 14589
Size=8 |Aut|=1
01389 02358 02579 03467 12357 12678 13679 14589
Size=8 |Aut|=1
01234 02469 02579 03467 12357 12678 13679 14589
Size=8 |Aut|=1
01234 01478 02358 02469 12456 12678 13679 14589
Size=8 |Aut|=1
01389 01569 02358 02469 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01389 02358 02579 12456 12678 13679 14589
Size=8 |Aut|=1
01389 02358 02469 02579 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01389 01478 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01478 02358 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01569 02358 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01478 02469 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02469 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01389 01478 02579 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02579 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01389 02358 02579 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01478 02469 02579 03467 12456 12678 13679 14589
Size=8 |Aut|=1
02358 02469 02579 03467 12456 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02469 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01569 02358 02469 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01234 02358 02579 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01389 02358 02579 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01569 03467 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01478 02469 03467 05678 12456 12678 13679 14589
Size=8 |Aut|=1
02358 02469 03467 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01389 02579 03467 05678 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01478 03467 12357 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01569 03467 12357 12456 12678 13679 14589
Size=8 |Aut|=1
01389 01569 03467 12357 12456 12678 13679 14589
Size=8 |Aut|=1
02469 03467 12357 12456 12678 13679 14589
Size=7 |Aut|=1
01389 02579 03467 12357 12456 12678 13679 14589
Size=8 |Aut|=1
01234 01389 01478 01569 02358 02469 12456 23689
Size=8 |Aut|=1
01234 01478 01569 02358 02469 03467 12456 23689
Size=8 |Aut|=1
01389 01478 02358 02469 02579 03467 12456 23689
Size=8 |Aut|=1
01478 01569 02358 02469 02579 03467 12456 23689
Size=8 |Aut|=1
01389 01478 01569 02469 05678 12456 23689
Size=7 |Aut|=1
01234 01389 02358 02579 05678 12456 23689
Size=7 |Aut|=1
01389 01478 02358 02469 02579 05678 12456 23689
Size=8 |Aut|=1
01478 01569 02358 02469 03467 05678 12456 23689
Size=8 |Aut|=1
01234 01389 01478 01569 02469 12357 12456 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02469 12357 12456 23689
Size=8 |Aut|=1
01234 01478 02469 03467 12357 12456 23689
Size=7 |Aut|=1
01478 01569 02469 02579 03467 12357 12456 23689
Size=8 |Aut|=1
01478 02358 02469 02579 03467 12357 12456 23689
Size=8 |Aut|=1
01234 01389 01478 02469 05678 12357 12456 23689
Size=8 |Aut|=1
01389 01478 02469 03467 05678 12357 12456 23689
Size=8 |Aut|=1
01478 02358 02469 03467 05678 12357 12456 23689
Size=8 |Aut|=1
01569 02358 02469 03467 05678 12357 12456 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02469 02579 12678 23689
Size=8 |Aut|=1
01389 01478 01569 02358 02469 02579 12678 23689
Size=8 |Aut|=1
01389 01478 02358 02469 02579 03467 12678 23689
Size=8 |Aut|=1
01478 01569 02358 02469 05678 12678 23689
Size=7 |Aut|=1
01234 01389 01478 02579 05678 12678 23689
Size=7 |Aut|=1
01234 01389 01569 02579 05678 12678 23689
Size=7 |Aut|=1
01234 01478 01569 02469 02579 05678 12678 23689
Size=8 |Aut|=1
01234 01478 02358 02469 02579 05678 12678 23689
Size=8 |Aut|=1
01234 01389 02358 02579 03467 05678 12678 23689
Size=8 |Aut|=1
01569 02358 02469 02579 03467 05678 12678 23689
Size=8 |Aut|=1
01234 01478 02358 02469 05678 12357 12678 23689
Size=8 |Aut|=1
01389 01569 02358 02469 05678 12357 12678 23689
Size=8 |Aut|=1
01234 01478 02469 02579 05678 12357 12678 23689
Size=8 |Aut|=1
01478 02358 02469 02579 05678 12357 12678 23689
Size=8 |Aut|=1
01234 01389 01569 03467 05678 12357 12678 23689
Size=8 |Aut|=1
01234 01389 02469 03467 05678 12357 12678 23689
Size=8 |Aut|=1
01389 02358 02469 03467 05678 12357 12678 23689
Size=8 |Aut|=1
01234 01389 02579 03467 05678 12357 12678 23689
Size=8 |Aut|=1
01234 01478 01569 02358 02469 12456 12678 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12456 12678 23689
Size=8 |Aut|=1
01234 01478 02358 02469 02579 12456 12678 23689
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12456 12678 23689
Size=8 |Aut|=1
01478 01569 02358 02469 02579 12456 12678 23689
Size=8 |Aut|=1
01389 01569 02469 05678 12456 12678 23689
Size=7 |Aut|=1
01478 01569 02469 05678 12456 12678 23689
Size=7 |Aut|=1
01234 01389 02469 02579 05678 12456 12678 23689
Size=8 |Aut|=1
01234 01478 02469 02579 05678 12456 12678 23689
Size=8 |Aut|=1
01389 01478 02469 02579 05678 12456 12678 23689
Size=8 |Aut|=1
01478 02358 02469 02579 05678 12456 12678 23689
Size=8 |Aut|=1
01234 01389 01569 03467 05678 12456 12678 23689
Size=8 |Aut|=1
01389 02469 02579 03467 05678 12456 12678 23689
Size=8 |Aut|=1
01234 01478 02469 12357 12456 12678 23689
Size=7 |Aut|=1
01234 01389 01478 02579 12357 12456 12678 23689
Size=8 |Aut|=1
01478 01569 02469 02579 12357 12456 12678 23689
Size=8 |Aut|=1
01478 02358 02469 02579 12357 12456 12678 23689
Size=8 |Aut|=1
01478 02469 02579 03467 12357 12456 12678 23689
Size=8 |Aut|=1
01234 01389 02469 05678 12357 12456 12678 23689
Size=8 |Aut|=1
01234 01389 02579 05678 12357 12456 12678 23689
Size=8 |Aut|=1
01569 02469 03467 05678 12357 12456 12678 23689
Size=8 |Aut|=1
01389 01569 02358 02469 12456 13679 23689
Size=7 |Aut|=1
01478 01569 02358 02469 03467 12456 13679 23689
Size=8 |Aut|=1
01234 01389 01478 02579 05678 12456 13679 23689
Size=8 |Aut|=1
01569 02358 02469 03467 05678 12456 13679 23689
Size=8 |Aut|=1
01389 01478 01569 02469 12357 12456 13679 23689
Size=8 |Aut|=1
01389 01478 02469 03467 12357 12456 13679 23689
Size=8 |Aut|=1
01478 02358 02469 03467 12357 12456 13679 23689
Size=8 |Aut|=1
01569 02358 02469 03467 12357 12456 13679 23689
Size=8 |Aut|=1
01234 01478 02579 03467 12357 12456 13679 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12678 13679 23689
Size=8 |Aut|=1
01234 01389 01478 02469 02579 12678 13679 23689
Size=8 |Aut|=1
01234 01389 01478 02579 03467 12678 13679 23689
Size=8 |Aut|=1
01234 01569 02469 05678 12678 13679 23689
Size=7 |Aut|=1
01569 02358 02469 05678 12678 13679 23689
Size=7 |Aut|=1
01234 01569 02579 05678 12678 13679 23689
Size=7 |Aut|=1
01234 01389 02358 02579 05678 12678 13679 23689
Size=8 |Aut|=1
01234 01389 02579 03467 05678 12678 13679 23689
Size=8 |Aut|=1
01389 01569 02469 12456 12678 13679 23689
Size=7 |Aut|=1
01234 01389 01478 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01478 01569 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01569 02358 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01478 02469 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01389 01478 02469 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01478 01569 02469 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01478 02358 02469 02579 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01569 02469 03467 12456 12678 13679 23689
Size=8 |Aut|=1
01569 02469 02579 03467 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01389 02579 05678 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01478 02579 05678 12456 12678 13679 23689
Size=8 |Aut|=1
01389 02469 02579 05678 12456 12678 13679 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02469 02579 14589 23689
Size=8 |Aut|=1
01389 01478 01569 02358 02469 02579 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02469 02579 03467 14589 23689
Size=8 |Aut|=1
01478 01569 02358 02469 02579 03467 14589 23689
Size=8 |Aut|=1
01234 01389 01478 02579 05678 14589 23689
Size=7 |Aut|=1
01389 01478 01569 02358 02579 05678 14589 23689
Size=8 |Aut|=1
01234 01389 02358 02579 03467 05678 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 03467 05678 14589 23689
Size=8 |Aut|=1
01389 01569 02358 02579 03467 05678 14589 23689
Size=8 |Aut|=1
01569 02358 02469 02579 03467 05678 14589 23689
Size=8 |Aut|=1
01234 01389 01478 02469 12357 14589 23689
Size=7 |Aut|=1
01234 01478 02469 03467 12357 14589 23689
Size=7 |Aut|=1
01389 01478 02358 02579 03467 12357 14589 23689
Size=8 |Aut|=1
01478 02358 02469 02579 03467 12357 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 05678 12357 14589 23689
Size=8 |Aut|=1
01389 01569 02358 02579 05678 12357 14589 23689
Size=8 |Aut|=1
01234 02358 02469 03467 05678 12357 14589 23689
Size=8 |Aut|=1
01569 02358 02469 03467 05678 12357 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12456 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 05678 12456 14589 23689
Size=8 |Aut|=1
01389 01569 02358 02579 05678 12456 14589 23689
Size=8 |Aut|=1
01389 02358 02579 03467 05678 12456 14589 23689
Size=8 |Aut|=1
01389 01478 02469 02579 12357 12456 14589 23689
Size=8 |Aut|=1
01389 01478 02469 03467 12357 12456 14589 23689
Size=8 |Aut|=1
01478 02358 02469 03467 12357 12456 14589 23689
Size=8 |Aut|=1
01389 01478 02579 03467 12357 12456 14589 23689
Size=8 |Aut|=1
01389 01478 02579 05678 12357 12456 14589 23689
Size=8 |Aut|=1
02358 02469 03467 05678 12357 12456 14589 23689
Size=8 |Aut|=1
01234 01478 02358 02469 02579 12678 14589 23689
Size=8 |Aut|=1
01478 01569 02358 02469 02579 12678 14589 23689
Size=8 |Aut|=1
01478 02358 02469 02579 03467 12678 14589 23689
Size=8 |Aut|=1
01234 01478 02469 12357 12678 14589 23689
Size=7 |Aut|=1
01234 01389 01478 02579 12357 12678 14589 23689
Size=8 |Aut|=1
01478 02358 02469 02579 12357 12678 14589 23689
Size=8 |Aut|=1
01234 01389 02469 05678 12357 12678 14589 23689
Size=8 |Aut|=1
01234 01389 02579 05678 12357 12678 14589 23689
Size=8 |Aut|=1
02358 02469 03467 05678 12357 12678 14589 23689
Size=8 |Aut|=1
01478 02358 02469 02579 12456 12678 14589 23689
Size=8 |Aut|=1
01389 01478 02579 05678 12456 12678 14589 23689
Size=8 |Aut|=1
01389 01569 02579 05678 12456 12678 14589 23689
Size=8 |Aut|=1
01478 01569 02469 12357 12456 12678 14589 23689
Size=8 |Aut|=1
01478 02469 03467 12357 12456 12678 14589 23689
Size=8 |Aut|=1
01234 01389 01569 02358 02469 13679 14589 23689
Size=8 |Aut|=1
01234 01389 01478 02358 02579 13679 14589 23689
Size=8 |Aut|=1
01389 01478 01569 02358 02579 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02358 02469 03467 13679 14589 23689
Size=8 |Aut|=1
01569 02358 02469 03467 13679 14589 23689
Size=7 |Aut|=1
01234 01389 02358 02579 03467 13679 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 03467 13679 14589 23689
Size=8 |Aut|=1
01234 01569 02358 02579 03467 13679 14589 23689
Size=8 |Aut|=1
01478 01569 02358 02579 03467 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02358 02579 05678 13679 14589 23689
Size=8 |Aut|=1
01389 01569 02358 02579 05678 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02358 02469 12357 13679 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 12357 13679 14589 23689
Size=8 |Aut|=1
01234 02358 02469 03467 12357 13679 14589 23689
Size=8 |Aut|=1
01389 02358 02579 03467 12357 13679 14589 23689
Size=8 |Aut|=1
01478 02358 02579 03467 12357 13679 14589 23689
Size=8 |Aut|=1
01569 02358 02579 03467 12357 13679 14589 23689
Size=8 |Aut|=1
02358 02469 02579 03467 12357 13679 14589 23689
Size=8 |Aut|=1
01389 01478 02358 02579 12456 13679 14589 23689
Size=8 |Aut|=1
01389 02358 02579 03467 12456 13679 14589 23689
Size=8 |Aut|=1
01389 02358 02579 05678 12456 13679 14589 23689
Size=8 |Aut|=1
01389 01478 02579 12357 12456 13679 14589 23689
Size=8 |Aut|=1
02358 02469 03467 12357 12456 13679 14589 23689
Size=8 |Aut|=1
01478 02579 03467 12357 12456 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02358 02469 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01478 02358 02469 12678 13679 14589 23689
Size=8 |Aut|=1
01478 01569 02358 02469 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01389 01478 02579 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01478 01569 02579 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01478 02358 02579 12678 13679 14589 23689
Size=8 |Aut|=1
01478 01569 02358 02579 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02469 02579 12678 13679 14589 23689
Size=8 |Aut|=1
01234 02358 02469 02579 12678 13679 14589 23689
Size=8 |Aut|=1
02358 02469 03467 12678 13679 14589 23689
Size=7 |Aut|=1
01234 01389 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01478 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01569 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01234 02358 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01389 02358 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01478 02358 02579 03467 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01389 02579 05678 12678 13679 14589 23689
Size=8 |Aut|=1
01234 02358 02469 12357 12678 13679 14589 23689
Size=8 |Aut|=1
01478 02358 02579 12357 12678 13679 14589 23689
Size=8 |Aut|=1
01234 02469 02579 12357 12678 13679 14589 23689
Size=8 |Aut|=1
02358 02579 03467 12357 12678 13679 14589 23689
Size=8 |Aut|=1
01234 02469 05678 12357 12678 13679 14589 23689
Size=8 |Aut|=1
01389 02579 05678 12456 12678 13679 14589 23689
Size=8 |Aut|=1
01234 01389 01478 01569 02358 02469 02579 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02579 03467 24789
Size=7 |Aut|=1
01234 01478 01569 02358 02469 02579 03467 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02579 05678 24789
Size=7 |Aut|=1
01234 01478 01569 02358 02579 05678 24789
Size=7 |Aut|=1
01389 01478 01569 02358 02469 02579 05678 24789
Size=8 |Aut|=1
01234 01389 01478 01569 02579 03467 05678 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12357 24789
Size=7 |Aut|=1
01389 01478 01569 02358 02469 02579 12357 24789
Size=8 |Aut|=1
01234 01389 01478 01569 02579 03467 12357 24789
Size=8 |Aut|=1
01234 01478 01569 02469 02579 03467 12357 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 03467 12357 24789
Size=8 |Aut|=1
01389 01478 01569 02358 02469 05678 12357 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 05678 12357 24789
Size=8 |Aut|=1
01389 01478 02358 02469 03467 05678 12357 24789
Size=8 |Aut|=1
01234 01478 02358 02579 03467 05678 12357 24789
Size=8 |Aut|=1
01234 01389 01478 01569 02358 02579 12456 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 03467 12456 24789
Size=8 |Aut|=1
01234 01389 01478 02579 03467 05678 12456 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02469 12357 12456 24789
Size=8 |Aut|=1
01389 01478 01569 02358 02469 12357 12456 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 12456 24789
Size=8 |Aut|=1
01234 01478 02358 02469 03467 12357 12456 24789
Size=8 |Aut|=1
01389 01478 02358 02469 03467 12357 12456 24789
Size=8 |Aut|=1
01234 01389 01478 02579 03467 12357 12456 24789
Size=8 |Aut|=1
01389 01478 02469 02579 03467 12357 12456 24789
Size=8 |Aut|=1
01389 01478 02469 03467 05678 12357 12456 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02469 02579 12678 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02469 02579 12678 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 03467 12678 24789
Size=8 |Aut|=1
01234 01478 02358 02469 02579 05678 12678 24789
Size=8 |Aut|=1
01234 01389 01569 02579 03467 05678 12678 24789
Size=8 |Aut|=1
01234 01478 02469 02579 03467 05678 12678 24789
Size=8 |Aut|=1
01234 01569 02469 02579 03467 05678 12678 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 12357 12678 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 12678 24789
Size=8 |Aut|=1
01234 01478 01569 02579 03467 12357 12678 24789
Size=8 |Aut|=1
01234 01569 02469 03467 05678 12357 12678 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02579 12456 12678 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 12456 12678 24789
Size=8 |Aut|=1
01389 01478 02469 03467 12357 12456 12678 24789
Size=8 |Aut|=1
01234 01389 01478 02358 02469 02579 13679 24789
Size=8 |Aut|=1
01234 01389 01569 02358 02469 02579 13679 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02469 02579 13679 24789
Size=8 |Aut|=1
01234 01389 01569 02358 02579 03467 13679 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 03467 13679 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 03467 13679 24789
Size=8 |Aut|=1
01234 01569 02358 02469 02579 03467 13679 24789
Size=8 |Aut|=1
01389 01569 02358 02469 02579 03467 13679 24789
Size=8 |Aut|=1
01389 01478 02358 02469 03467 05678 13679 24789
Size=8 |Aut|=1
01234 01478 02358 02469 05678 12357 13679 24789
Size=8 |Aut|=1
01389 01569 02358 02469 05678 12357 13679 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 12456 13679 24789
Size=8 |Aut|=1
01389 01478 02358 02469 03467 12456 13679 24789
Size=8 |Aut|=1
01234 01569 02358 02579 03467 12456 13679 24789
Size=8 |Aut|=1
01234 01478 02469 03467 05678 12678 13679 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02469 12357 14589 24789
Size=8 |Aut|=1
01389 01478 01569 02358 02469 12357 14589 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 12357 14589 24789
Size=8 |Aut|=1
01389 01478 02358 02469 02579 12357 14589 24789
Size=8 |Aut|=1
01389 01478 02358 02469 03467 12357 14589 24789
Size=8 |Aut|=1
01389 01478 01569 02358 02579 12456 14589 24789
Size=8 |Aut|=1
01234 01478 02358 02469 12357 12456 14589 24789
Size=8 |Aut|=1
01389 01478 02358 02579 12357 12456 14589 24789
Size=8 |Aut|=1
01234 02469 03467 05678 12357 12678 14589 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02469 13679 14589 24789
Size=8 |Aut|=1
01234 01389 02358 02579 13679 14589 24789
Size=7 |Aut|=1
01234 01478 01569 02358 02579 13679 14589 24789
Size=8 |Aut|=1
01234 01389 02358 02469 03467 13679 14589 24789
Size=8 |Aut|=1
01234 01569 02358 02469 03467 13679 14589 24789
Size=8 |Aut|=1
01234 01389 02358 02469 12357 13679 14589 24789
Size=8 |Aut|=1
01234 01478 02358 02469 12357 13679 14589 24789
Size=8 |Aut|=1
01234 02358 02469 03467 12357 13679 14589 24789
Size=8 |Aut|=1
01234 01389 02358 02469 12678 13679 14589 24789
Size=8 |Aut|=1
01234 01389 01478 01569 02579 05678 23689 24789
Size=8 |Aut|=1
01234 01478 01569 02579 03467 05678 23689 24789
Size=8 |Aut|=1
01234 01389 01478 02469 05678 12357 23689 24789
Size=8 |Aut|=1
01234 01478 01569 02469 05678 12357 23689 24789
Size=8 |Aut|=1
01234 01389 01478 02579 05678 12357 23689 24789
Size=8 |Aut|=1
01234 01478 02579 03467 05678 12357 23689 24789
Size=8 |Aut|=1
01234 01478 01569 02358 02579 12456 23689 24789
Size=8 |Aut|=1
01478 01569 02358 02469 12357 12456 23689 24789
Size=8 |Aut|=1
01234 01478 01569 02579 05678 13679 23689 24789
Size=8 |Aut|=1
01478 01569 02358 02469 12456 13679 23689 24789
Size=8 |Aut|=1
01234 01478 02358 02469 12357 14589 23689 24789
Size=8 |Aut|=1

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

Size Count
—- —–
7 123
8 435

Only 558 (non-isomorphic) minimal defining sets
Totally 5022 (inequivalent) minimal defining sets

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