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

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

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

Blocks of the design are:
01234 01235 01468 01479 02578 02689 03569 03789 04567 12569 12678 13578 13679 14589 23467 23489 24579 34568
The design is simple

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

Auto’m group order is 8

All non-isomorphic minimal defining sets are:

01234 01235 01468 01479 02689 03569 03789 12569
Size=8 |Aut|=1
01234 01235 01468 02578 02689 03569 03789 12569
Size=8 |Aut|=1
01234 01235 01479 02578 02689 03569 03789 12569
Size=8 |Aut|=1
01235 01468 01479 02578 02689 03569 03789 12569
Size=8 |Aut|=1
01235 01468 01479 02578 02689 03569 04567 12569
Size=8 |Aut|=1
01234 01468 01479 02578 03789 04567 12569
Size=7 |Aut|=1
01234 01468 02578 02689 03789 04567 12569
Size=7 |Aut|=1
01235 01468 02578 02689 03789 04567 12569
Size=7 |Aut|=1
01234 01479 02578 02689 03789 04567 12569
Size=7 |Aut|=1
01234 01235 01468 01479 03569 03789 04567 12569
Size=8 |Aut|=1
01234 01235 01479 02689 03569 03789 04567 12569
Size=8 |Aut|=1
01468 01479 02578 02689 03569 03789 04567 12569
Size=8 |Aut|=1
01234 01235 01468 01479 02689 03569 12569 12678
Size=8 |Aut|=1
01235 01468 02578 02689 03569 12569 12678
Size=7 |Aut|=1
01235 01479 02578 02689 03569 12569 12678
Size=7 |Aut|=1
01234 01468 01479 02689 03569 03789 12569 12678
Size=8 |Aut|=1
01468 02578 02689 03569 03789 12569 12678
Size=7 |Aut|=1
01479 02578 02689 03569 03789 12569 12678
Size=7 |Aut|=1
01234 01235 01468 01479 03569 04567 12569 12678
Size=8 |Aut|=1
01235 01468 01479 02578 03569 04567 12569 12678
Size=8 |Aut|=1
01234 01235 01479 02689 03569 04567 12569 12678
Size=8 |Aut|=1
01468 01479 02578 03789 04567 12569 12678
Size=7 |Aut|=1
01468 02578 02689 03789 04567 12569 12678
Size=7 |Aut|=1
01479 02578 02689 03789 04567 12569 12678
Size=7 |Aut|=1
01234 01468 01479 03569 03789 04567 12569 12678
Size=8 |Aut|=1
01234 01479 02689 03569 03789 04567 12569 12678
Size=8 |Aut|=1
01235 01468 02578 02689 03789 12569 13578
Size=7 |Aut|=1
01235 01479 02578 02689 03789 12569 13578
Size=7 |Aut|=1
01234 01468 01479 02578 02689 04567 12569 13578
Size=8 |Aut|=1
01468 01479 02689 03569 04567 12569 13578
Size=7 |Aut|=1
01468 02578 02689 03789 04567 12569 13578
Size=7 |Aut|=1
01479 02578 02689 03789 04567 12569 13578
Size=7 |Aut|=1
01234 01235 01468 02578 02689 03569 12678 13578
Size=8 |Aut|=1
01234 01235 01479 02578 02689 03569 12678 13578
Size=8 |Aut|=1
01234 01468 01479 02578 02689 03569 12678 13578
Size=8 |Aut|=1
01468 01479 02578 02689 03789 12678 13578
Size=7 |Aut|=1
01468 02578 02689 03569 03789 12678 13578
Size=7 |Aut|=1
01234 01479 02578 02689 03569 03789 12678 13578
Size=8 |Aut|=1
01235 01479 02578 02689 03569 03789 12678 13578
Size=8 |Aut|=1
01234 01235 01468 02578 02689 04567 12678 13578
Size=8 |Aut|=1
01234 01468 01479 02578 02689 04567 12678 13578
Size=8 |Aut|=1
01234 01235 01468 01479 03569 04567 12678 13578
Size=8 |Aut|=1
01234 01235 01468 02689 03569 04567 12678 13578
Size=8 |Aut|=1
01234 01235 01479 02689 03569 04567 12678 13578
Size=8 |Aut|=1
01468 02578 02689 03789 04567 12678 13578
Size=7 |Aut|=1
01468 01479 03569 03789 04567 12678 13578
Size=7 |Aut|=1
01468 02689 03569 03789 04567 12678 13578
Size=7 |Aut|=1
01468 02578 02689 03569 12569 12678 13578
Size=7 |Aut|=2
01234 01479 02578 02689 03569 12569 12678 13578
Size=8 |Aut|=2
01468 02578 02689 03789 12569 12678 13578
Size=7 |Aut|=1
01234 01479 02578 02689 03789 12569 12678 13578
Size=8 |Aut|=1
01468 02689 03569 03789 12569 12678 13578
Size=7 |Aut|=1
01234 01479 02689 03569 03789 12569 12678 13578
Size=8 |Aut|=1
01234 01235 01468 01479 02578 04567 12569 12678 13578
Size=9 |Aut|=1
01468 02578 02689 04567 12569 12678 13578
Size=7 |Aut|=1
01234 01479 02578 02689 04567 12569 12678 13578
Size=8 |Aut|=1
01235 01468 01479 03569 04567 12569 12678 13578
Size=8 |Aut|=1
01468 02689 03569 04567 12569 12678 13578
Size=7 |Aut|=1
01234 01479 02689 03569 04567 12569 12678 13578
Size=8 |Aut|=1
01235 01479 02689 03569 04567 12569 12678 13578
Size=8 |Aut|=1
01234 01235 01468 02578 04567 12569 12678 13679
Size=8 |Aut|=1
01234 01235 01479 02578 04567 12569 12678 13679
Size=8 |Aut|=1
01468 02578 02689 04567 12569 12678 13679
Size=7 |Aut|=1
01234 01479 02578 02689 04567 12569 12678 13679
Size=8 |Aut|=1
01235 01479 02578 02689 04567 12569 12678 13679
Size=8 |Aut|=1
01235 01479 03569 04567 12569 12678 13679
Size=7 |Aut|=1
01234 01479 02689 03569 04567 12569 12678 13679
Size=8 |Aut|=1
01234 01468 02578 03789 04567 12569 12678 13679
Size=8 |Aut|=1
01235 01468 02578 03789 04567 12569 12678 13679
Size=8 |Aut|=1
01479 02578 03789 04567 12569 12678 13679
Size=7 |Aut|=1
01479 03569 03789 04567 12569 12678 13679
Size=7 |Aut|=1
01479 02689 03569 04567 12569 12678 13578 13679
Size=8 |Aut|=1
01468 01479 02578 02689 03569 04567 12569 14589
Size=8 |Aut|=1
01235 01468 01479 02578 03789 04567 12569 14589
Size=8 |Aut|=1
01468 01479 03569 03789 04567 12569 14589
Size=7 |Aut|=1
01468 02689 03569 03789 04567 12569 14589
Size=7 |Aut|=1
01234 01479 02689 03569 03789 04567 12569 14589
Size=8 |Aut|=1
01234 01468 02689 03569 04567 12569 12678 14589
Size=8 |Aut|=1
01235 01468 02689 03569 04567 12569 12678 14589
Size=8 |Aut|=1
01234 01479 02689 03569 04567 12569 12678 14589
Size=8 |Aut|=1
01235 01479 02689 03569 04567 12569 12678 14589
Size=8 |Aut|=1
01479 02689 03569 03789 04567 12569 12678 14589
Size=8 |Aut|=1
01235 01468 02689 03569 04567 12678 13578 14589
Size=8 |Aut|=2
01234 01479 02689 03569 04567 12678 13578 14589
Size=8 |Aut|=2
01468 01479 02689 03569 04567 12678 13578 14589
Size=8 |Aut|=2
01479 02689 03569 03789 04567 12678 13578 14589
Size=8 |Aut|=1
01234 01235 01479 02689 03569 03789 12569 23467
Size=8 |Aut|=1
01234 01468 02578 02689 03569 03789 12569 23467
Size=8 |Aut|=1
01468 01479 02578 02689 03569 03789 12569 23467
Size=8 |Aut|=1
01235 01468 01479 02578 02689 04567 12569 23467
Size=8 |Aut|=1
01234 01235 01468 01479 02689 03569 04567 12569 23467
Size=9 |Aut|=1
01234 01235 01468 02578 02689 03569 04567 12569 23467
Size=9 |Aut|=1
01234 01235 01479 02578 03789 04567 12569 23467
Size=8 |Aut|=1
01234 01235 02578 02689 03789 04567 12569 23467
Size=8 |Aut|=1
01235 01479 02578 02689 03789 04567 12569 23467
Size=8 |Aut|=1
01234 01235 01479 03569 03789 04567 12569 23467
Size=8 |Aut|=1
01234 01468 01479 03569 03789 04567 12569 23467
Size=8 |Aut|=1
01479 02578 03569 03789 04567 12569 23467
Size=7 |Aut|=1
01234 01479 02689 03569 03789 04567 12569 23467
Size=8 |Aut|=1
01234 02578 02689 03569 03789 04567 12569 23467
Size=8 |Aut|=1
01234 01479 02689 03569 03789 12569 12678 23467
Size=8 |Aut|=2
01234 01235 01468 01479 02578 04567 12569 12678 23467
Size=9 |Aut|=1
01234 01235 02578 02689 04567 12569 12678 23467
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12569 12678 23467
Size=8 |Aut|=1
01235 01479 02578 02689 04567 12569 12678 23467
Size=8 |Aut|=1
01234 01235 01479 03569 04567 12569 12678 23467
Size=8 |Aut|=1
01235 01479 02578 03569 04567 12569 12678 23467
Size=8 |Aut|=1
01235 02578 02689 03569 04567 12569 12678 23467
Size=8 |Aut|=1
01234 01479 02578 03789 04567 12569 12678 23467
Size=8 |Aut|=1
01235 01479 02578 03789 04567 12569 12678 23467
Size=8 |Aut|=1
01234 02578 02689 03789 04567 12569 12678 23467
Size=8 |Aut|=1
01234 01479 03569 03789 04567 12569 12678 23467
Size=8 |Aut|=1
01234 01468 02578 02689 03789 12569 13578 23467
Size=8 |Aut|=1
01234 01479 02578 02689 03789 12569 13578 23467
Size=8 |Aut|=1
01468 01479 02578 02689 03789 12569 13578 23467
Size=8 |Aut|=1
01468 02578 02689 03569 03789 12569 13578 23467
Size=8 |Aut|=1
01234 01468 02578 02689 04567 12569 13578 23467
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12569 13578 23467
Size=8 |Aut|=1
01468 01479 02578 02689 04567 12569 13578 23467
Size=8 |Aut|=1
01468 02689 03569 04567 12569 13578 23467
Size=7 |Aut|=1
01235 02578 02689 03789 04567 12569 13578 23467
Size=8 |Aut|=1
02578 02689 03569 03789 04567 12569 13578 23467
Size=8 |Aut|=2
01234 01235 01468 02578 02689 12678 13578 23467
Size=8 |Aut|=1
01234 01468 01479 02578 02689 12678 13578 23467
Size=8 |Aut|=1
01468 02578 02689 03569 12678 13578 23467
Size=7 |Aut|=1
01234 01468 02578 02689 03789 12678 13578 23467
Size=8 |Aut|=1
01235 01468 02578 02689 03789 12678 13578 23467
Size=8 |Aut|=1
01234 01468 01479 02578 04567 12678 13578 23467
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12678 13578 23467
Size=8 |Aut|=1
01468 01479 02578 02689 04567 12678 13578 23467
Size=8 |Aut|=1
01234 01479 03569 04567 12678 13578 23467
Size=7 |Aut|=1
01235 01468 01479 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01235 01479 02578 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01468 01479 02578 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01234 01235 02689 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01234 01468 02689 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01235 01468 02689 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01468 01479 02689 03569 04567 12678 13578 23467
Size=8 |Aut|=1
01468 01479 02578 03789 04567 12678 13578 23467
Size=8 |Aut|=1
01235 01479 03569 03789 04567 12678 13578 23467
Size=8 |Aut|=1
01234 02689 03569 03789 04567 12678 13578 23467
Size=8 |Aut|=1
01235 02689 03569 03789 04567 12678 13578 23467
Size=8 |Aut|=1
01468 02578 02689 12569 12678 13578 23467
Size=7 |Aut|=1
01468 02689 03569 12569 12678 13578 23467
Size=7 |Aut|=1
01234 01479 02578 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01479 02578 02689 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01235 01479 03569 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01468 01479 03569 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01479 02689 03569 04567 12569 12678 13578 23467
Size=8 |Aut|=1
02578 02689 03789 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01479 03569 03789 04567 12569 12678 13578 23467
Size=8 |Aut|=1
02689 03569 03789 04567 12569 12678 13578 23467
Size=8 |Aut|=1
01234 01479 03569 03789 12569 12678 13679 23467
Size=8 |Aut|=2
01479 02689 03569 03789 12569 12678 13679 23467
Size=8 |Aut|=2
01234 01235 02578 04567 12569 12678 13679 23467
Size=8 |Aut|=1
01235 01468 02578 04567 12569 12678 13679 23467
Size=8 |Aut|=1
01234 01479 02578 04567 12569 12678 13679 23467
Size=8 |Aut|=1
01235 01479 02578 04567 12569 12678 13679 23467
Size=8 |Aut|=1
02578 02689 04567 12569 12678 13679 23467
Size=7 |Aut|=1
01234 01479 03569 04567 12569 12678 13679 23467
Size=8 |Aut|=1
01468 01479 03569 04567 12569 12678 13679 23467
Size=8 |Aut|=1
01479 02689 03569 04567 12569 12678 13679 23467
Size=8 |Aut|=1
02578 03789 04567 12569 12678 13679 23467
Size=7 |Aut|=1
02578 04567 12569 12678 13578 13679 23467
Size=7 |Aut|=1
01234 01235 01468 02578 02689 12569 14589 23467
Size=8 |Aut|=1
01468 01479 02578 02689 12569 14589 23467
Size=7 |Aut|=1
01235 01468 02689 03569 12569 14589 23467
Size=7 |Aut|=1
01468 01479 02689 03569 12569 14589 23467
Size=7 |Aut|=1
01235 01479 02578 03789 12569 14589 23467
Size=7 |Aut|=1
01468 01479 02578 03789 12569 14589 23467
Size=7 |Aut|=1
01234 01235 02578 02689 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01468 02578 02689 03789 12569 14589 23467
Size=8 |Aut|=1
01235 01468 02578 02689 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01479 02578 02689 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01235 01479 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01468 01479 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01235 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01468 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01479 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01235 01479 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 02578 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01468 02578 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01479 02578 02689 03569 03789 12569 14589 23467
Size=8 |Aut|=1
01234 01468 02578 02689 04567 12569 14589 23467
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12569 14589 23467
Size=8 |Aut|=1
01468 02689 03569 04567 12569 14589 23467
Size=7 |Aut|=1
01234 01479 02578 03789 04567 12569 14589 23467
Size=8 |Aut|=1
01235 02578 02689 03789 04567 12569 14589 23467
Size=8 |Aut|=1
01468 02578 02689 03789 04567 12569 14589 23467
Size=8 |Aut|=1
01479 02578 02689 03789 04567 12569 14589 23467
Size=8 |Aut|=1
01479 03569 03789 04567 12569 14589 23467
Size=7 |Aut|=1
01235 02689 03569 03789 04567 12569 14589 23467
Size=8 |Aut|=1
02578 02689 03569 03789 04567 12569 14589 23467
Size=8 |Aut|=1
01235 01479 02578 12569 12678 14589 23467
Size=7 |Aut|=1
01234 01468 01479 02578 12569 12678 14589 23467
Size=8 |Aut|=1
01235 02578 02689 12569 12678 14589 23467
Size=7 |Aut|=1
01468 02578 02689 12569 12678 14589 23467
Size=7 |Aut|=1
01234 01479 02578 02689 12569 12678 14589 23467
Size=8 |Aut|=1
01234 01235 01479 03569 12569 12678 14589 23467
Size=8 |Aut|=1
01468 01479 02578 03569 12569 12678 14589 23467
Size=8 |Aut|=1
01235 02689 03569 12569 12678 14589 23467
Size=7 |Aut|=1
01479 02578 02689 03569 12569 12678 14589 23467
Size=8 |Aut|=1
01234 02578 02689 03789 12569 12678 14589 23467
Size=8 |Aut|=1
01234 02689 03569 03789 12569 12678 14589 23467
Size=8 |Aut|=1
01234 01479 02578 04567 12569 12678 14589 23467
Size=8 |Aut|=1
01479 02578 02689 04567 12569 12678 14589 23467
Size=8 |Aut|=1
01479 03569 04567 12569 12678 14589 23467
Size=7 |Aut|=1
02578 02689 03789 04567 12569 12678 14589 23467
Size=8 |Aut|=1
02689 03569 03789 04567 12569 12678 14589 23467
Size=8 |Aut|=1
01234 01468 02578 02689 12569 13578 14589 23467
Size=8 |Aut|=1
01235 01468 02578 02689 12569 13578 14589 23467
Size=8 |Aut|=1
01234 01468 02689 03569 12569 13578 14589 23467
Size=8 |Aut|=1
01234 01235 01479 02578 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01235 02578 02689 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01468 02578 02689 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01479 03569 12678 13578 14589 23467
Size=7 |Aut|=1
01235 01468 01479 03569 12678 13578 14589 23467
Size=8 |Aut|=1
01479 02578 03569 12678 13578 14589 23467
Size=7 |Aut|=1
01234 01235 02689 03569 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01468 02689 03569 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01479 02578 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01234 02578 02689 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01235 02578 02689 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01468 02578 02689 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01235 01479 03569 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01234 02689 03569 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01235 02689 03569 03789 12678 13578 14589 23467
Size=8 |Aut|=1
02578 02689 03569 03789 12678 13578 14589 23467
Size=8 |Aut|=1
01479 02578 04567 12678 13578 14589 23467
Size=7 |Aut|=1
01235 02578 02689 04567 12678 13578 14589 23467
Size=8 |Aut|=1
02578 02689 03789 04567 12678 13578 14589 23467
Size=8 |Aut|=1
02689 03569 03789 04567 12678 13578 14589 23467
Size=8 |Aut|=1
01234 01479 02578 12569 12678 13578 14589 23467
Size=8 |Aut|=1
01468 01479 02578 12569 12678 13578 14589 23467
Size=8 |Aut|=1
01235 01479 03569 12569 12678 13578 14589 23467
Size=8 |Aut|=1
01468 01479 03569 12569 12678 13578 14589 23467
Size=8 |Aut|=1
01234 02578 12569 12678 13679 14589 23467
Size=7 |Aut|=1
01235 02578 12569 12678 13679 14589 23467
Size=7 |Aut|=1
02578 02689 12569 12678 13679 14589 23467
Size=7 |Aut|=1
01234 01235 03569 12569 12678 13679 14589 23467
Size=8 |Aut|=1
02578 03569 12569 12678 13679 14589 23467
Size=7 |Aut|=1
02689 03569 12569 12678 13679 14589 23467
Size=7 |Aut|=1
02578 03789 12569 12678 13679 14589 23467
Size=7 |Aut|=1
01234 03569 03789 12569 12678 13679 14589 23467
Size=8 |Aut|=1
03569 04567 12569 12678 13679 14589 23467
Size=7 |Aut|=1
02578 12569 12678 13578 13679 14589 23467
Size=7 |Aut|=1
01234 01235 02578 02689 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01468 02578 02689 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01479 02578 02689 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01235 02689 03569 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01468 02689 03569 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01479 02689 03569 04567 12569 23467 23489
Size=8 |Aut|=1
01479 02578 02689 03569 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01235 02578 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01479 02578 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01235 01479 02578 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01235 03569 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01235 02578 03569 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01468 02578 03569 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01234 02689 03569 03789 04567 12569 23467 23489
Size=8 |Aut|=1
01234 01235 02578 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01468 02578 04567 12569 12678 23467 23489
Size=7 |Aut|=1
01234 01479 02578 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01235 01479 02578 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01234 01235 03569 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01234 01468 03569 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01234 01479 03569 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01479 02578 03569 04567 12569 12678 23467 23489
Size=8 |Aut|=1
02578 03789 04567 12569 12678 23467 23489
Size=7 |Aut|=1
01234 03569 03789 04567 12569 12678 23467 23489
Size=8 |Aut|=1
01235 02578 02689 04567 12569 13578 23467 23489
Size=8 |Aut|=1
01468 02578 02689 04567 12569 13578 23467 23489
Size=8 |Aut|=1
01479 02578 02689 04567 12569 13578 23467 23489
Size=8 |Aut|=1
01235 02689 03569 04567 12569 13578 23467 23489
Size=8 |Aut|=1
01234 01235 02578 04567 12678 13578 23467 23489
Size=8 |Aut|=1
01235 01479 02578 04567 12678 13578 23467 23489
Size=8 |Aut|=1
01234 01235 03569 04567 12678 13578 23467 23489
Size=8 |Aut|=1
01234 01468 03569 04567 12678 13578 23467 23489
Size=8 |Aut|=1
01468 02578 03569 04567 12678 13578 23467 23489
Size=8 |Aut|=1
01479 02578 03569 04567 12678 13578 23467 23489
Size=8 |Aut|=1
02578 03789 04567 12678 13578 23467 23489
Size=7 |Aut|=1
03569 03789 04567 12678 13578 23467 23489
Size=7 |Aut|=1
01235 02578 04567 12569 12678 13578 23467 23489
Size=8 |Aut|=1
01479 02578 04567 12569 12678 13578 23467 23489
Size=8 |Aut|=1
01468 03569 04567 12569 12678 13578 23467 23489
Size=8 |Aut|=1
01479 03569 04567 12569 12678 13578 23467 23489
Size=8 |Aut|=1
01234 02578 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
01479 02578 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
01234 03569 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
01468 03569 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
01479 03569 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
03569 03789 04567 12569 12678 13679 23467 23489
Size=8 |Aut|=1
01235 02578 02689 04567 12569 14589 23467 23489
Size=8 |Aut|=1
01479 02578 02689 04567 12569 14589 23467 23489
Size=8 |Aut|=1
01235 02689 03569 04567 12569 14589 23467 23489
Size=8 |Aut|=1
02578 02689 03789 04567 12569 14589 23467 23489
Size=8 |Aut|=1
01235 03569 03789 04567 12569 14589 23467 23489
Size=8 |Aut|=1
03569 03789 04567 12569 12678 14589 23467 23489
Size=8 |Aut|=2
01234 01235 01468 01479 02578 03569 04567 24579
Size=8 |Aut|=1
01234 01468 01479 02689 03569 04567 24579
Size=7 |Aut|=1
01235 01468 01479 02578 02689 03569 04567 24579
Size=8 |Aut|=1
01234 01235 01468 01479 02578 03789 04567 24579
Size=8 |Aut|=1
01234 01235 01468 02578 02689 03789 04567 24579
Size=8 |Aut|=1
01234 01468 01479 02578 03569 03789 04567 24579
Size=8 |Aut|=1
01234 01235 01468 02689 03569 03789 04567 24579
Size=8 |Aut|=1
01234 01479 02578 02689 03569 03789 04567 24579
Size=8 |Aut|=1
01468 01479 02578 02689 03569 03789 04567 24579
Size=8 |Aut|=1
01234 01235 01468 01479 03569 04567 12569 24579
Size=8 |Aut|=1
01468 01479 02578 02689 03569 04567 12569 24579
Size=8 |Aut|=1
01234 01468 01479 03789 04567 12569 24579
Size=7 |Aut|=1
01234 01235 01468 02689 03789 04567 12569 24579
Size=8 |Aut|=1
01234 01235 01479 02689 03789 04567 12569 24579
Size=8 |Aut|=1
01479 02578 02689 03789 04567 12569 24579
Size=7 |Aut|=1
01234 01479 02689 03569 03789 04567 12569 24579
Size=8 |Aut|=1
01234 01235 01468 01479 03569 04567 12678 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03569 04567 12678 24579
Size=8 |Aut|=1
01234 01468 02689 03569 04567 12678 24579
Size=7 |Aut|=1
01234 01235 01479 02689 03569 04567 12678 24579
Size=8 |Aut|=1
01468 02578 02689 03569 04567 12678 24579
Size=7 |Aut|=1
01234 01468 01479 02578 03789 04567 12678 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03789 04567 12678 24579
Size=8 |Aut|=1
01468 02578 02689 03789 04567 12678 24579
Size=7 |Aut|=1
01234 01468 01479 03569 03789 04567 12678 24579
Size=8 |Aut|=1
01234 01479 02689 03569 03789 04567 12678 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 12569 12678 24579
Size=8 |Aut|=1
01234 01479 02689 03789 04567 12569 12678 24579
Size=8 |Aut|=1
01234 01235 01468 01479 02578 04567 13578 24579
Size=8 |Aut|=1
01234 01235 01468 01479 02689 04567 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02578 02689 04567 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03569 04567 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02689 03569 04567 13578 24579
Size=8 |Aut|=1
01468 01479 02578 02689 03569 04567 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03789 04567 13578 24579
Size=8 |Aut|=1
01234 01235 01468 02689 03789 04567 13578 24579
Size=8 |Aut|=1
01468 01479 02578 03569 03789 04567 13578 24579
Size=8 |Aut|=1
01235 01468 02689 03569 03789 04567 13578 24579
Size=8 |Aut|=1
01468 02578 02689 03569 03789 04567 13578 24579
Size=8 |Aut|=1
01479 02578 02689 03569 03789 04567 13578 24579
Size=8 |Aut|=1
01234 01235 01468 01479 04567 12569 13578 24579
Size=8 |Aut|=1
01234 01468 01479 02689 04567 12569 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02689 04567 12569 13578 24579
Size=8 |Aut|=1
01468 01479 02578 02689 04567 12569 13578 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 12569 13578 24579
Size=8 |Aut|=1
01235 01468 02689 03789 04567 12569 13578 24579
Size=8 |Aut|=1
01234 01479 02689 03789 04567 12569 13578 24579
Size=8 |Aut|=1
01235 01479 02689 03789 04567 12569 13578 24579
Size=8 |Aut|=1
01234 01235 01468 01479 04567 12678 13578 24579
Size=8 |Aut|=1
01234 01235 01468 02689 04567 12678 13578 24579
Size=8 |Aut|=1
01234 01468 01479 02689 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01468 01479 02689 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12678 13578 24579
Size=8 |Aut|=1
01468 01479 02578 02689 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01468 02689 03569 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01479 02689 03569 04567 12678 13578 24579
Size=8 |Aut|=1
01468 01479 02689 03569 04567 12678 13578 24579
Size=8 |Aut|=1
01234 01468 01479 03789 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01468 01479 03789 04567 12678 13578 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 12678 13578 24579
Size=8 |Aut|=1
01235 01468 02689 03789 04567 12678 13578 24579
Size=8 |Aut|=1
01479 02689 03569 03789 04567 12678 13578 24579
Size=8 |Aut|=1
01234 01479 02689 04567 12569 12678 13578 24579
Size=8 |Aut|=1
01468 01479 02689 04567 12569 12678 13578 24579
Size=8 |Aut|=1
01479 02578 02689 04567 12569 12678 13578 24579
Size=8 |Aut|=1
01479 02689 03569 04567 12569 12678 13578 24579
Size=8 |Aut|=1
01479 02689 03789 04567 12569 12678 13578 24579
Size=8 |Aut|=1
01234 01235 01468 01479 02578 04567 13679 24579
Size=8 |Aut|=1
01468 01479 02578 02689 04567 13679 24579
Size=7 |Aut|=1
01468 01479 02689 03569 04567 13679 24579
Size=7 |Aut|=1
01234 01235 01468 02578 03789 04567 13679 24579
Size=8 |Aut|=1
01234 01468 01479 02578 03789 04567 13679 24579
Size=8 |Aut|=1
01234 01468 02578 02689 03789 04567 13679 24579
Size=8 |Aut|=1
01235 01468 02578 02689 03789 04567 13679 24579
Size=8 |Aut|=1
01234 01468 02689 03569 03789 04567 13679 24579
Size=8 |Aut|=1
01235 01468 02689 03569 03789 04567 13679 24579
Size=8 |Aut|=1
01235 01479 02689 03569 03789 04567 13679 24579
Size=8 |Aut|=1
01234 01235 01468 01479 04567 12569 13679 24579
Size=8 |Aut|=1
01235 01468 01479 02689 04567 12569 13679 24579
Size=8 |Aut|=1
01234 01235 01468 03789 04567 12569 13679 24579
Size=8 |Aut|=1
01234 01235 01479 03789 04567 12569 13679 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 12569 13679 24579
Size=8 |Aut|=1
01235 01468 02689 03789 04567 12569 13679 24579
Size=8 |Aut|=1
01479 02689 03789 04567 12569 13679 24579
Size=7 |Aut|=1
01235 01468 02578 04567 12678 13679 24579
Size=7 |Aut|=1
01468 02578 02689 04567 12678 13679 24579
Size=7 |Aut|=1
01234 01235 01468 03569 04567 12678 13679 24579
Size=8 |Aut|=1
01234 01235 01479 03569 04567 12678 13679 24579
Size=8 |Aut|=1
01235 01479 02578 03569 04567 12678 13679 24579
Size=8 |Aut|=1
01468 02689 03569 04567 12678 13679 24579
Size=7 |Aut|=1
01234 01479 02689 03569 04567 12678 13679 24579
Size=8 |Aut|=1
01235 01479 02689 03569 04567 12678 13679 24579
Size=8 |Aut|=1
01234 01468 02578 03789 04567 12678 13679 24579
Size=8 |Aut|=1
01468 01479 02578 03789 04567 12678 13679 24579
Size=8 |Aut|=1
01234 01468 03569 03789 04567 12678 13679 24579
Size=8 |Aut|=1
01235 01468 03569 03789 04567 12678 13679 24579
Size=8 |Aut|=1
01479 03569 03789 04567 12678 13679 24579
Size=7 |Aut|=1
01234 01235 01468 04567 12569 12678 13679 24579
Size=8 |Aut|=1
01235 01468 01479 04567 12569 12678 13679 24579
Size=8 |Aut|=1
01235 01479 02578 04567 12569 12678 13679 24579
Size=8 |Aut|=1
01468 02689 04567 12569 12678 13679 24579
Size=7 |Aut|=1
01234 01235 01479 02689 04567 12569 12678 13679 24579
Size=9 |Aut|=1
01234 01468 03789 04567 12569 12678 13679 24579
Size=8 |Aut|=1
01235 01468 03789 04567 12569 12678 13679 24579
Size=8 |Aut|=1
01479 03789 04567 12569 12678 13679 24579
Size=7 |Aut|=1
01235 01468 01479 02578 04567 13578 13679 24579
Size=8 |Aut|=1
01234 01468 01479 02689 04567 13578 13679 24579
Size=8 |Aut|=1
01234 01468 02578 03789 04567 13578 13679 24579
Size=8 |Aut|=1
01235 01468 02578 03789 04567 13578 13679 24579
Size=8 |Aut|=1
01468 01479 02578 03789 04567 13578 13679 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 13578 13679 24579
Size=8 |Aut|=1
01468 02578 02689 03789 04567 13578 13679 24579
Size=8 |Aut|=1
01235 01468 01479 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01234 01468 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01235 01468 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01234 01479 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01235 01479 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01468 01479 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01468 02689 03789 04567 12569 13578 13679 24579
Size=8 |Aut|=1
01234 01235 01468 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01234 01468 02689 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 01479 02689 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01479 02689 03569 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01235 01468 03789 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 01479 03789 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 02578 03789 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 02689 03789 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 03569 03789 04567 12678 13578 13679 24579
Size=8 |Aut|=1
01468 03789 04567 12569 12678 13578 13679 24579
Size=8 |Aut|=1
01234 01468 01479 02578 03569 04567 14589 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03569 04567 14589 24579
Size=8 |Aut|=1
01235 01468 01479 02689 03569 04567 14589 24579
Size=8 |Aut|=1
01468 01479 02578 02689 03569 04567 14589 24579
Size=8 |Aut|=1
01468 01479 02578 03789 04567 14589 24579
Size=7 |Aut|=1
01468 02578 02689 03789 04567 14589 24579
Size=7 |Aut|=1
01234 01479 02578 02689 03789 04567 14589 24579
Size=8 |Aut|=1
01234 01468 02689 03569 03789 04567 14589 24579
Size=8 |Aut|=1
01235 01468 02689 03569 03789 04567 14589 24579
Size=8 |Aut|=1
01234 01235 01479 02689 03569 03789 04567 14589 24579
Size=9 |Aut|=1
01468 01479 03569 04567 12569 14589 24579
Size=7 |Aut|=1
01468 01479 03789 04567 12569 14589 24579
Size=7 |Aut|=1
01468 02689 03789 04567 12569 14589 24579
Size=7 |Aut|=1
01479 02689 03789 04567 12569 14589 24579
Size=7 |Aut|=1
01234 01468 01479 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01235 01468 01479 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01468 01479 02578 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01235 01468 02689 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01234 01479 02689 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01468 01479 02689 03569 04567 12678 14589 24579
Size=8 |Aut|=1
01468 01479 03569 03789 04567 12678 14589 24579
Size=8 |Aut|=1
01468 02689 03569 03789 04567 12678 14589 24579
Size=8 |Aut|=1
01468 02689 03569 04567 12569 12678 14589 24579
Size=8 |Aut|=1
01479 02689 03569 04567 12569 12678 14589 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 13578 14589 24579
Size=8 |Aut|=1
01235 01468 02689 03789 04567 13578 14589 24579
Size=8 |Aut|=1
01234 01479 02689 03789 04567 13578 14589 24579
Size=8 |Aut|=1
01235 01479 02689 03789 04567 13578 14589 24579
Size=8 |Aut|=1
01479 02689 03569 04567 12678 13578 14589 24579
Size=8 |Aut|=2
01479 02689 03789 04567 12678 13578 14589 24579
Size=8 |Aut|=1
01234 01468 02578 03789 04567 13679 14589 24579
Size=8 |Aut|=1
01235 01468 02578 03789 04567 13679 14589 24579
Size=8 |Aut|=1
01479 02578 03789 04567 13679 14589 24579
Size=7 |Aut|=1
01468 02689 03569 03789 04567 13679 14589 24579
Size=8 |Aut|=1
01468 03569 03789 04567 12678 13679 14589 24579
Size=8 |Aut|=1
01234 01468 01479 02578 04567 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02578 02689 04567 23467 24579
Size=8 |Aut|=1
01468 01479 02578 02689 04567 23467 24579
Size=7 |Aut|=1
01234 01235 01468 01479 03569 04567 23467 24579
Size=8 |Aut|=1
01468 01479 02578 03569 04567 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02689 03569 04567 23467 24579
Size=8 |Aut|=1
01234 01468 02578 02689 03569 04567 23467 24579
Size=8 |Aut|=1
01468 01479 02578 03789 04567 23467 24579
Size=7 |Aut|=1
01234 01468 02578 02689 03789 04567 23467 24579
Size=8 |Aut|=1
01235 01468 02578 02689 03789 04567 23467 24579
Size=8 |Aut|=1
01234 01235 01479 03569 03789 04567 23467 24579
Size=8 |Aut|=1
01234 01479 02578 03569 03789 04567 23467 24579
Size=8 |Aut|=1
01479 02578 02689 03569 03789 04567 23467 24579
Size=8 |Aut|=1
01234 01235 01468 01479 04567 12569 23467 24579
Size=8 |Aut|=1
01234 01235 01468 02689 04567 12569 23467 24579
Size=8 |Aut|=1
01234 01468 02578 02689 04567 12569 23467 24579
Size=8 |Aut|=1
01235 01468 02578 02689 04567 12569 23467 24579
Size=8 |Aut|=1
01234 01468 01479 03569 04567 12569 23467 24579
Size=8 |Aut|=1
01234 01479 03789 04567 12569 23467 24579
Size=7 |Aut|=1
01479 02578 03789 04567 12569 23467 24579
Size=7 |Aut|=1
01234 01468 01479 04567 12569 12678 23467 24579
Size=8 |Aut|=1
01234 01468 02689 04567 12569 12678 23467 24579
Size=8 |Aut|=1
01468 02578 02689 04567 12569 12678 23467 24579
Size=8 |Aut|=1
01234 01468 01479 04567 13578 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02689 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 01479 02689 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 02578 02689 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 01479 03569 04567 13578 23467 24579
Size=8 |Aut|=1
01234 01468 02689 03569 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 02689 03569 04567 13578 23467 24579
Size=8 |Aut|=1
01468 01479 02689 03569 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 01479 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01234 01468 02689 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 02689 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01468 02578 02689 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01234 01479 03569 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01468 01479 03569 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01468 02689 03569 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01479 02689 03569 03789 04567 13578 23467 24579
Size=8 |Aut|=1
01235 01468 02689 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01468 01479 02689 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01468 02578 02689 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01468 01479 03569 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01235 01479 03789 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01468 01479 03789 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01468 02689 03789 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01479 02689 03789 04567 12569 13578 23467 24579
Size=8 |Aut|=1
01479 03569 03789 04567 12678 13578 23467 24579
Size=8 |Aut|=1
01234 01468 02578 04567 13679 23467 24579
Size=7 |Aut|=1
01235 01468 02578 04567 13679 23467 24579
Size=7 |Aut|=1
01468 01479 02578 04567 13679 23467 24579
Size=7 |Aut|=1
01234 01468 03569 04567 13679 23467 24579
Size=7 |Aut|=1
01235 01468 03569 04567 13679 23467 24579
Size=7 |Aut|=1
01235 01479 03569 03789 04567 13679 23467 24579
Size=8 |Aut|=1
01468 01479 03569 03789 04567 13679 23467 24579
Size=8 |Aut|=1
01479 02578 03569 03789 04567 13679 23467 24579
Size=8 |Aut|=1
01235 01468 04567 12569 13679 23467 24579
Size=7 |Aut|=1
01468 01479 03569 04567 12569 13679 23467 24579
Size=8 |Aut|=1
01234 01468 03789 04567 12569 13679 23467 24579
Size=8 |Aut|=1
01468 01479 03789 04567 12569 13679 23467 24579
Size=8 |Aut|=1
01479 03569 03789 04567 12569 13679 23467 24579
Size=8 |Aut|=1
01468 02578 04567 12678 13679 23467 24579
Size=7 |Aut|=1
01468 04567 12569 12678 13679 23467 24579
Size=7 |Aut|=1
01234 01235 01468 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01235 01468 01479 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01234 01468 02689 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 01479 02689 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 02578 02689 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 02689 03569 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01235 01468 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 01479 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 02578 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 02689 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01468 03569 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01479 03569 03789 04567 13578 13679 23467 24579
Size=8 |Aut|=1
01234 01468 04567 12569 13578 13679 23467 24579
Size=8 |Aut|=1
01468 02689 04567 12569 13578 13679 23467 24579
Size=8 |Aut|=1
01468 03789 04567 12569 13578 13679 23467 24579
Size=8 |Aut|=1
01234 01468 01479 02578 14589 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02578 02689 14589 23467 24579
Size=8 |Aut|=1
01234 01235 01468 01479 03569 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 02578 03569 14589 23467 24579
Size=8 |Aut|=1
01234 01235 01468 02689 03569 14589 23467 24579
Size=8 |Aut|=1
01234 01468 01479 02689 03569 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 02689 03569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 02689 03569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 03789 14589 23467 24579
Size=7 |Aut|=1
01234 01468 02578 02689 03789 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02578 02689 03789 14589 23467 24579
Size=8 |Aut|=1
01234 01468 01479 03569 03789 14589 23467 24579
Size=8 |Aut|=1
01234 01468 02689 03569 03789 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02689 03569 03789 14589 23467 24579
Size=8 |Aut|=1
01468 02578 02689 03569 03789 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 04567 14589 23467 24579
Size=7 |Aut|=1
01468 02578 02689 04567 14589 23467 24579
Size=7 |Aut|=1
01234 01468 01479 03569 04567 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 03569 04567 14589 23467 24579
Size=8 |Aut|=1
01234 01468 02689 03569 04567 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02689 03569 04567 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02689 03569 04567 14589 23467 24579
Size=8 |Aut|=1
01479 02578 03789 04567 14589 23467 24579
Size=7 |Aut|=1
01235 01479 03569 03789 04567 14589 23467 24579
Size=8 |Aut|=1
01468 01479 03569 03789 04567 14589 23467 24579
Size=8 |Aut|=1
01468 02689 03569 03789 04567 14589 23467 24579
Size=8 |Aut|=1
01234 01235 01468 01479 12569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 12569 14589 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02689 12569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02689 12569 14589 23467 24579
Size=7 |Aut|=1
01234 01468 02578 02689 12569 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02578 02689 12569 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 03569 12569 14589 23467 24579
Size=8 |Aut|=1
01468 02578 02689 03569 12569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 03789 12569 14589 23467 24579
Size=7 |Aut|=1
01234 01468 02689 03789 12569 14589 23467 24579
Size=8 |Aut|=1
01468 02689 03569 03789 12569 14589 23467 24579
Size=8 |Aut|=1
01468 01479 04567 12569 14589 23467 24579
Size=7 |Aut|=1
01468 02689 04567 12569 14589 23467 24579
Size=7 |Aut|=1
01479 03789 04567 12569 14589 23467 24579
Size=7 |Aut|=1
01235 02689 03789 04567 12569 14589 23467 24579
Size=8 |Aut|=1
02689 03569 03789 04567 12569 14589 23467 24579
Size=8 |Aut|=1
01234 01468 02578 02689 12678 14589 23467 24579
Size=8 |Aut|=1
01479 02578 04567 12678 14589 23467 24579
Size=7 |Aut|=1
02578 02689 04567 12678 14589 23467 24579
Size=7 |Aut|=1
01235 01479 03569 04567 12678 14589 23467 24579
Size=8 |Aut|=1
01234 02689 03569 04567 12678 14589 23467 24579
Size=8 |Aut|=1
01235 02689 03569 04567 12678 14589 23467 24579
Size=8 |Aut|=1
01479 02689 03569 04567 12678 14589 23467 24579
Size=8 |Aut|=1
01479 03569 03789 04567 12678 14589 23467 24579
Size=8 |Aut|=1
02689 03569 03789 04567 12678 14589 23467 24579
Size=8 |Aut|=1
01479 04567 12569 12678 14589 23467 24579
Size=7 |Aut|=1
02689 04567 12569 12678 14589 23467 24579
Size=7 |Aut|=1
01234 01468 01479 13578 14589 23467 24579
Size=7 |Aut|=1
01234 01235 01468 02689 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 03569 13578 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 03569 13578 14589 23467 24579
Size=8 |Aut|=1
01468 01479 03789 13578 14589 23467 24579
Size=7 |Aut|=1
01234 01468 02689 03789 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02689 03789 13578 14589 23467 24579
Size=8 |Aut|=1
01468 02689 03569 03789 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01468 01479 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01234 01468 02689 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02689 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02689 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01479 03789 04567 13578 14589 23467 24579
Size=7 |Aut|=1
01235 02689 03789 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01468 02689 03789 04567 13578 14589 23467 24579
Size=8 |Aut|=1
02689 03569 03789 04567 13578 14589 23467 24579
Size=8 |Aut|=1
01468 01479 12569 13578 14589 23467 24579
Size=7 |Aut|=1
01235 01468 02689 12569 13578 14589 23467 24579
Size=8 |Aut|=1
01234 01479 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01479 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
01234 02689 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
01235 02689 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
01479 02689 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
02689 03789 04567 12678 13578 14589 23467 24579
Size=8 |Aut|=1
01235 01468 02689 03569 13679 14589 23467 24579
Size=8 |Aut|=2
01468 02689 03569 03789 13679 14589 23467 24579
Size=8 |Aut|=2
01468 02578 04567 13679 14589 23467 24579
Size=7 |Aut|=1
01468 02689 03569 04567 13679 14589 23467 24579
Size=8 |Aut|=1
01235 02578 03789 04567 13679 14589 23467 24579
Size=8 |Aut|=1
02578 02689 03789 04567 13679 14589 23467 24579
Size=8 |Aut|=1
01235 03569 03789 04567 13679 14589 23467 24579
Size=8 |Aut|=1
01468 03569 03789 04567 13679 14589 23467 24579
Size=8 |Aut|=1
01234 01468 02689 12569 13679 14589 23467 24579
Size=8 |Aut|=2
01468 02689 03569 12569 13679 14589 23467 24579
Size=8 |Aut|=2
01468 04567 12569 13679 14589 23467 24579
Size=7 |Aut|=1
02689 03789 04567 12569 13679 14589 23467 24579
Size=8 |Aut|=1
02578 04567 12678 13679 14589 23467 24579
Size=7 |Aut|=1
01234 03569 04567 12678 13679 14589 23467 24579
Size=8 |Aut|=1
01235 03569 04567 12678 13679 14589 23467 24579
Size=8 |Aut|=1
01234 01468 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
01235 01468 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
01468 02689 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
01235 03789 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
01468 03789 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
02689 03789 04567 13578 13679 14589 23467 24579
Size=8 |Aut|=1
02689 04567 12678 13578 13679 14589 23467 24579
Size=8 |Aut|=1
01468 01479 02578 04567 23467 23489 24579
Size=7 |Aut|=2
01235 01468 01479 04567 13578 23467 23489 24579
Size=8 |Aut|=2
01468 01479 03569 04567 13578 23467 23489 24579
Size=8 |Aut|=1
01468 01479 04567 13578 13679 23467 23489 24579
Size=8 |Aut|=2
01468 02578 04567 14589 23467 23489 24579
Size=7 |Aut|=1
01479 02578 04567 14589 23467 23489 24579
Size=7 |Aut|=1
01235 01468 03569 04567 14589 23467 23489 24579
Size=8 |Aut|=1
01479 03569 04567 14589 23467 23489 24579
Size=7 |Aut|=1
01468 03569 03789 04567 14589 23467 23489 24579
Size=8 |Aut|=1
01235 02578 04567 12569 14589 23467 23489 24579
Size=8 |Aut|=2
02689 04567 12569 14589 23467 23489 24579
Size=7 |Aut|=1
01235 03569 04567 12569 14589 23467 23489 24579
Size=8 |Aut|=1
01235 03789 04567 12569 14589 23467 23489 24579
Size=8 |Aut|=1
01235 03569 04567 12678 14589 23467 23489 24579
Size=8 |Aut|=1
03569 03789 04567 12678 14589 23467 23489 24579
Size=8 |Aut|=1
03569 04567 12569 12678 14589 23467 23489 24579
Size=8 |Aut|=1
01235 03569 04567 13578 14589 23467 23489 24579
Size=8 |Aut|=2
01235 03789 04567 13578 14589 23467 23489 24579
Size=8 |Aut|=1
02689 03789 04567 13578 14589 23467 23489 24579
Size=8 |Aut|=1
03789 04567 12678 13578 14589 23467 23489 24579
Size=8 |Aut|=1
01468 01479 02578 03569 04567 14589 24579 34568
Size=8 |Aut|=2
01479 02689 03569 04567 12678 14589 24579 34568
Size=8 |Aut|=1

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

Size Count
—- —–
7 132
8 523
9 6

Only 661 (non-isomorphic) minimal defining sets
Totally 5204 (inequivalent) minimal defining sets

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