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

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

Blocks of the design are:
01234 01235 01578 01789 02467 02689 03479 03569 04568 12489 12569 13468 13679 14567 23578 23678 24579 34589
The design is simple

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

Auto’m group order is 6

All non-isomorphic minimal defining sets are:

01234 01235 01789 02467 03479 03569 12569
Size=7 |Aut|=1
01234 01235 01578 01789 02689 03479 03569 12569
Size=8 |Aut|=1
01234 01235 01578 01789 02467 02689 04568 12569
Size=8 |Aut|=1
01234 01235 01578 01789 02467 03479 04568 12569
Size=8 |Aut|=1
01234 01235 01578 01789 02689 03479 04568 12569
Size=8 |Aut|=1
01235 01578 01789 02467 02689 03479 04568 12569
Size=8 |Aut|=1
01234 01235 01789 02467 02689 03569 04568 12569
Size=8 |Aut|=1
01235 01578 01789 02467 02689 03569 04568 12569
Size=8 |Aut|=1
01234 01235 02467 03479 03569 04568 12569
Size=7 |Aut|=1
01234 01578 01789 02467 03479 03569 04568 12569
Size=8 |Aut|=1
01235 01578 01789 02467 03479 03569 04568 12569
Size=8 |Aut|=1
01234 01235 02689 03479 03569 04568 12569
Size=7 |Aut|=1
01235 01578 02689 03479 03569 04568 12569
Size=7 |Aut|=1
01235 02467 02689 03479 03569 04568 12569
Size=7 |Aut|=1
01578 01789 02467 02689 03479 03569 04568 12569
Size=8 |Aut|=1
01234 01235 01578 01789 02467 03569 12489 12569
Size=8 |Aut|=1
01235 01578 01789 02689 03569 12489 12569
Size=7 |Aut|=1
01234 01235 01789 02467 02689 03569 12489 12569
Size=8 |Aut|=1
01235 01578 01789 02467 03479 03569 12489 12569
Size=8 |Aut|=1
01235 01789 02689 03479 03569 12489 12569
Size=7 |Aut|=1
01234 01235 01578 01789 02467 04568 12489 12569
Size=8 |Aut|=1
01235 01578 01789 02689 04568 12489 12569
Size=7 |Aut|=1
01234 01235 01578 02467 03569 04568 12489 12569
Size=8 |Aut|=1
01234 01578 01789 02467 03569 04568 12489 12569
Size=8 |Aut|=1
01234 01235 02689 03569 04568 12489 12569
Size=7 |Aut|=1
01578 01789 02689 03569 04568 12489 12569
Size=7 |Aut|=1
01235 01578 02467 02689 03569 04568 12489 12569
Size=8 |Aut|=1
01235 01578 02467 03479 03569 04568 12489 12569
Size=8 |Aut|=1
01578 01789 02467 03479 03569 04568 12489 12569
Size=8 |Aut|=1
01235 02689 03479 03569 04568 12489 12569
Size=7 |Aut|=1
01235 01578 01789 02467 03479 03569 12569 13468
Size=8 |Aut|=1
01234 01235 01789 02689 03479 03569 12569 13468
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 12569 13468
Size=8 |Aut|=1
01235 01789 02467 02689 03479 03569 12569 13468
Size=8 |Aut|=1
01234 01235 01578 01789 02689 04568 12569 13468
Size=8 |Aut|=1
01235 01578 01789 02467 02689 04568 12569 13468
Size=8 |Aut|=1
01234 01235 01578 01789 03479 04568 12569 13468
Size=8 |Aut|=1
01235 01578 01789 02689 03479 04568 12569 13468
Size=8 |Aut|=1
01235 01578 01789 02689 03569 04568 12569 13468
Size=8 |Aut|=1
01578 01789 02467 02689 03569 04568 12569 13468
Size=8 |Aut|=1
01234 01235 01789 03479 03569 04568 12569 13468
Size=8 |Aut|=1
01235 01578 01789 03479 03569 04568 12569 13468
Size=8 |Aut|=1
01235 02467 03479 03569 04568 12569 13468
Size=7 |Aut|=1
01578 01789 02467 03479 03569 04568 12569 13468
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 12569 13468
Size=8 |Aut|=1
01235 01789 02467 03479 03569 12489 12569 13468
Size=8 |Aut|=2
01234 01235 01578 01789 04568 12489 12569 13468
Size=8 |Aut|=1
01234 01235 03569 04568 12489 12569 13468
Size=7 |Aut|=1
01234 01578 01789 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01234 01578 02467 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01235 01578 03479 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01235 01789 03479 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01578 01789 03479 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 12569 13468
Size=8 |Aut|=1
01235 01789 02467 02689 03479 03569 12569 13679
Size=8 |Aut|=1
01234 01235 01578 01789 02467 04568 12569 13679
Size=8 |Aut|=1
01235 01578 01789 02467 02689 04568 12569 13679
Size=8 |Aut|=1
01235 01578 01789 03479 04568 12569 13679
Size=7 |Aut|=1
01234 01235 01578 02467 03479 04568 12569 13679
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 12569 13679
Size=8 |Aut|=1
01235 01578 02467 02689 03479 04568 12569 13679
Size=8 |Aut|=1
01234 01235 01789 02467 03569 04568 12569 13679
Size=8 |Aut|=1
01234 01578 01789 02467 03569 04568 12569 13679
Size=8 |Aut|=1
01235 01578 01789 02467 03569 04568 12569 13679
Size=8 |Aut|=1
01235 01789 02467 02689 03569 04568 12569 13679
Size=8 |Aut|=1
01578 01789 02467 02689 03569 04568 12569 13679
Size=8 |Aut|=1
01234 01235 03479 03569 04568 12569 13679
Size=7 |Aut|=1
01235 01578 03479 03569 04568 12569 13679
Size=7 |Aut|=1
01578 01789 03479 03569 04568 12569 13679
Size=7 |Aut|=1
01235 02467 03479 03569 04568 12569 13679
Size=7 |Aut|=1
01235 02689 03479 03569 04568 12569 13679
Size=7 |Aut|=1
01234 01578 02689 03479 03569 04568 12569 13679
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 12569 13679
Size=8 |Aut|=1
01235 01789 02467 02689 03569 12489 12569 13679
Size=8 |Aut|=1
01234 01235 01578 01789 04568 12489 12569 13679
Size=8 |Aut|=1
01235 01578 01789 02467 04568 12489 12569 13679
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 12569 13679
Size=8 |Aut|=1
01235 01578 02467 02689 04568 12489 12569 13679
Size=8 |Aut|=1
01234 01235 01578 03479 04568 12489 12569 13679
Size=8 |Aut|=1
01234 01235 03569 04568 12489 12569 13679
Size=7 |Aut|=1
01234 01578 01789 03569 04568 12489 12569 13679
Size=8 |Aut|=1
01234 01578 02467 03569 04568 12489 12569 13679
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 12569 13679
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 12569 13679
Size=8 |Aut|=1
01235 02689 03569 04568 12489 12569 13679
Size=7 |Aut|=1
01578 02689 03569 04568 12489 12569 13679
Size=7 |Aut|=1
01235 03479 03569 04568 12489 12569 13679
Size=7 |Aut|=1
01578 02467 03479 03569 04568 12489 12569 13679
Size=8 |Aut|=1
01234 01235 01578 01789 04568 12569 13468 13679
Size=8 |Aut|=1
01235 01578 01789 02689 04568 12569 13468 13679
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 13468 13679
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 13468 13679
Size=8 |Aut|=1
01234 01578 01789 03569 04568 12569 13468 13679
Size=8 |Aut|=1
01235 01789 02467 03569 04568 12569 13468 13679
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12569 13468 13679
Size=8 |Aut|=1
01578 01789 02689 03569 04568 12569 13468 13679
Size=8 |Aut|=1
01234 01578 02467 03479 03569 04568 12569 13468 13679
Size=9 |Aut|=1
01234 01235 01578 04568 12489 12569 13468 13679
Size=8 |Aut|=1
01235 01578 02467 04568 12489 12569 13468 13679
Size=8 |Aut|=1
01235 01578 02689 04568 12489 12569 13468 13679
Size=8 |Aut|=1
01235 01578 03479 04568 12489 12569 13468 13679
Size=8 |Aut|=1
01235 02467 03569 04568 12489 12569 13468 13679
Size=8 |Aut|=1
01234 01235 01578 01789 02467 02689 04568 14567
Size=8 |Aut|=1
01234 01235 01578 01789 02689 03479 04568 14567
Size=8 |Aut|=1
01234 01235 01578 02467 02689 03479 04568 14567
Size=8 |Aut|=1
01234 01578 01789 02467 02689 03479 04568 14567
Size=8 |Aut|=1
01234 01578 02467 02689 03569 04568 14567
Size=7 |Aut|=1
01234 01235 02467 03479 03569 04568 14567
Size=7 |Aut|=1
01234 01578 01789 02467 03479 03569 04568 14567
Size=8 |Aut|=1
01234 01235 01789 02689 03479 03569 04568 14567
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 04568 14567
Size=8 |Aut|=1
01578 01789 02467 02689 03479 03569 04568 14567
Size=8 |Aut|=1
01234 01578 01789 02689 04568 12489 14567
Size=7 |Aut|=1
01234 01235 01578 02467 02689 04568 12489 14567
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 12489 14567
Size=8 |Aut|=1
01234 01578 02467 03569 04568 12489 14567
Size=7 |Aut|=1
01235 01578 02689 03569 04568 12489 14567
Size=7 |Aut|=1
01578 01789 02689 03569 04568 12489 14567
Size=7 |Aut|=1
01235 02689 03479 03569 04568 12489 14567
Size=7 |Aut|=1
01234 01578 02689 03479 03569 04568 12489 14567
Size=8 |Aut|=1
01234 01235 01789 02467 02689 04568 12569 14567
Size=8 |Aut|=1
01235 01578 01789 02467 02689 04568 12569 14567
Size=8 |Aut|=1
01234 01235 02467 03479 04568 12569 14567
Size=7 |Aut|=1
01234 01578 01789 02467 03479 04568 12569 14567
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 12569 14567
Size=8 |Aut|=1
01234 01578 01789 02689 03479 04568 12569 14567
Size=8 |Aut|=1
01235 01578 02467 02689 03479 04568 12569 14567
Size=8 |Aut|=1
01578 01789 02467 02689 03479 04568 12569 14567
Size=8 |Aut|=1
01235 02467 02689 03569 04568 12569 14567
Size=7 |Aut|=1
01578 02467 02689 03569 04568 12569 14567
Size=7 |Aut|=1
01235 01789 02467 03479 03569 04568 12569 14567
Size=8 |Aut|=1
01578 01789 02467 03479 03569 04568 12569 14567
Size=8 |Aut|=1
01234 01578 02689 03479 03569 04568 12569 14567
Size=8 |Aut|=1
01578 01789 02689 03479 03569 04568 12569 14567
Size=8 |Aut|=1
01234 01235 01789 02467 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01578 01789 02467 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01235 01789 02689 04568 12489 12569 14567
Size=8 |Aut|=1
01578 01789 02689 04568 12489 12569 14567
Size=7 |Aut|=1
01234 01235 02467 02689 04568 12489 12569 14567
Size=8 |Aut|=1
01235 01578 02467 02689 04568 12489 12569 14567
Size=8 |Aut|=1
01235 01789 02467 02689 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01235 02689 03479 04568 12489 12569 14567
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12489 12569 14567
Size=8 |Aut|=1
01235 02467 02689 03479 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01235 02467 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01235 01789 02689 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01235 02467 03479 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 12569 14567
Size=8 |Aut|=1
01234 01235 01578 01789 02689 04568 13468 14567
Size=8 |Aut|=1
01234 01235 01578 02467 02689 04568 13468 14567
Size=8 |Aut|=1
01234 01578 01789 02689 03479 04568 13468 14567
Size=8 |Aut|=1
01234 01578 02467 02689 03479 04568 13468 14567
Size=8 |Aut|=1
01234 01235 01789 02689 03569 04568 13468 14567
Size=8 |Aut|=1
01234 01578 01789 02689 03569 04568 13468 14567
Size=8 |Aut|=1
01234 01235 02467 02689 03569 04568 13468 14567
Size=8 |Aut|=1
01234 01578 02467 03479 03569 04568 13468 14567
Size=8 |Aut|=1
01578 01789 02689 03479 03569 04568 13468 14567
Size=8 |Aut|=1
01235 02467 02689 03479 03569 04568 13468 14567
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 13468 14567
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 13468 14567
Size=8 |Aut|=1
01234 01578 02467 02689 04568 12489 13468 14567
Size=8 |Aut|=1
01234 01578 02689 03479 04568 12489 13468 14567
Size=8 |Aut|=1
01235 02467 02689 03569 04568 12489 13468 14567
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 13468 14567
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 13468 14567
Size=8 |Aut|=1
01235 01578 02689 04568 12569 13468 14567
Size=7 |Aut|=1
01234 01235 01789 02689 04568 12569 13468 14567
Size=8 |Aut|=1
01234 01235 02467 02689 04568 12569 13468 14567
Size=8 |Aut|=1
01235 01789 02467 02689 04568 12569 13468 14567
Size=8 |Aut|=1
01234 01235 02689 03479 04568 12569 13468 14567
Size=8 |Aut|=1
01578 02689 03479 04568 12569 13468 14567
Size=7 |Aut|=1
01235 02467 02689 03479 04568 12569 13468 14567
Size=8 |Aut|=1
01234 01235 02689 03569 04568 12569 13468 14567
Size=8 |Aut|=1
01578 01789 02689 03569 04568 12569 13468 14567
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12569 13468 14567
Size=8 |Aut|=1
01578 02467 02689 04568 12489 12569 13468 14567
Size=8 |Aut|=1
01235 02689 03479 04568 12489 12569 13468 14567
Size=8 |Aut|=1
01234 01578 02467 02689 04568 13679 14567
Size=7 |Aut|=1
01234 01235 01578 02689 03479 04568 13679 14567
Size=8 |Aut|=1
01234 01235 02467 02689 03569 04568 13679 14567
Size=8 |Aut|=1
01578 02467 02689 03569 04568 13679 14567
Size=7 |Aut|=1
01234 01235 02689 03479 03569 04568 13679 14567
Size=8 |Aut|=1
01234 01578 02689 03479 03569 04568 13679 14567
Size=8 |Aut|=1
01234 01578 02689 03479 04568 12489 13679 14567
Size=8 |Aut|=2
01234 01235 02689 03569 04568 12489 13679 14567
Size=8 |Aut|=1
01578 02689 03569 04568 12489 13679 14567
Size=7 |Aut|=1
01235 02467 02689 03569 04568 12489 13679 14567
Size=8 |Aut|=1
01234 01235 02467 02689 04568 12569 13679 14567
Size=8 |Aut|=1
01578 02467 02689 04568 12569 13679 14567
Size=7 |Aut|=1
01235 02467 02689 04568 12489 12569 13679 14567
Size=8 |Aut|=1
01235 02467 02689 03569 04568 13468 13679 14567
Size=8 |Aut|=1
01234 01235 01578 01789 02467 02689 03479 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 03479 03569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 03479 03569 23578
Size=8 |Aut|=1
01235 01578 01789 02467 02689 03479 03569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 02689 04568 23578
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 23578
Size=7 |Aut|=1
01234 01578 01789 02467 02689 03569 04568 23578
Size=8 |Aut|=1
01234 01235 01578 02467 03479 03569 04568 23578
Size=8 |Aut|=1
01234 01235 01789 02467 03479 03569 04568 23578
Size=8 |Aut|=1
01234 01578 01789 02467 03479 03569 04568 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 04568 23578
Size=8 |Aut|=1
01234 01235 02467 02689 03479 03569 04568 23578
Size=8 |Aut|=1
01235 01789 02467 02689 03479 03569 04568 23578
Size=8 |Aut|=1
01578 01789 02467 02689 03479 03569 04568 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 02689 12489 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 03569 12489 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03569 12489 23578
Size=7 |Aut|=1
01234 01235 01578 01789 02689 04568 12489 23578
Size=8 |Aut|=1
01234 01235 01578 02467 02689 04568 12489 23578
Size=8 |Aut|=1
01234 01578 02467 03569 04568 12489 23578
Size=7 |Aut|=1
01234 01235 01578 02689 03569 04568 12489 23578
Size=8 |Aut|=1
01578 01789 02689 03569 04568 12489 23578
Size=7 |Aut|=1
01234 01235 02689 03479 03569 04568 12489 23578
Size=8 |Aut|=1
01234 01578 02689 03479 03569 04568 12489 23578
Size=8 |Aut|=1
01235 01789 02689 03479 03569 04568 12489 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 03479 12569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 03479 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02467 02689 03479 12569 23578
Size=8 |Aut|=1
01234 01578 01789 02467 03479 03569 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02467 03479 03569 12569 23578
Size=8 |Aut|=1
01234 01235 01789 02689 03479 03569 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 12569 23578
Size=8 |Aut|=1
01235 01789 02467 02689 03479 03569 12569 23578
Size=8 |Aut|=1
01578 01789 02467 02689 03479 03569 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02467 02689 04568 12569 23578
Size=8 |Aut|=1
01234 01235 01578 02467 03479 04568 12569 23578
Size=8 |Aut|=1
01235 01789 02467 02689 03569 04568 12569 23578
Size=8 |Aut|=1
01578 01789 02467 02689 03569 04568 12569 23578
Size=8 |Aut|=1
01235 01578 02467 03479 03569 04568 12569 23578
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 12569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 12489 12569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 12489 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 12489 12569 23578
Size=8 |Aut|=1
01234 01235 01789 02467 03569 12489 12569 23578
Size=8 |Aut|=1
01235 01578 01789 02467 03569 12489 12569 23578
Size=8 |Aut|=1
01235 01789 02689 03569 12489 12569 23578
Size=7 |Aut|=1
01578 01789 02689 03569 12489 12569 23578
Size=7 |Aut|=1
01578 01789 02467 03479 03569 12489 12569 23578
Size=8 |Aut|=1
01234 01235 01578 02467 04568 12489 12569 23578
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 12569 23578
Size=8 |Aut|=1
01235 01578 02467 02689 03479 04568 12489 12569 23578
Size=9 |Aut|=1
01234 01235 02467 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01235 02467 02689 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 12569 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 03479 13468 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 13468 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 04568 13468 23578
Size=8 |Aut|=1
01234 01235 01789 02467 02689 03569 04568 13468 23578
Size=9 |Aut|=1
01234 01578 02467 03479 03569 04568 13468 23578
Size=8 |Aut|=1
01235 02467 02689 03479 03569 04568 13468 23578
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 13468 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02689 12489 13468 23578
Size=8 |Aut|=1
01234 01235 01578 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01234 01235 01789 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01234 01578 01789 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01234 01235 02689 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01235 02467 02689 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01235 02689 03479 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 13468 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 12569 13468 23578
Size=8 |Aut|=1
01235 01789 02467 03479 03569 12569 13468 23578
Size=8 |Aut|=1
01578 01789 02467 03479 03569 12569 13468 23578
Size=8 |Aut|=1
01235 01578 01789 02689 04568 12569 13468 23578
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 13468 23578
Size=8 |Aut|=1
01234 01235 01789 02689 03569 04568 12569 13468 23578
Size=9 |Aut|=1
01578 02467 03479 03569 04568 12569 13468 23578
Size=8 |Aut|=1
01234 01235 01578 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 01578 02689 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 01578 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 01789 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01578 01789 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 02467 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 02689 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 03479 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01578 03479 03569 04568 12489 12569 13468 23578
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 13679 23578
Size=8 |Aut|=1
01234 01235 01578 01789 02467 04568 13679 23578
Size=8 |Aut|=1
01234 01235 01578 03479 04568 13679 23578
Size=7 |Aut|=1
01234 01235 01789 02467 03569 04568 13679 23578
Size=8 |Aut|=1
01234 01578 01789 02467 03569 04568 13679 23578
Size=8 |Aut|=1
01235 01578 01789 02467 03569 04568 13679 23578
Size=8 |Aut|=1
01235 01789 02467 02689 03569 04568 13679 23578
Size=8 |Aut|=1
01578 01789 02467 02689 03569 04568 13679 23578
Size=8 |Aut|=1
01235 01789 03479 03569 04568 13679 23578
Size=7 |Aut|=1
01578 01789 03479 03569 04568 13679 23578
Size=7 |Aut|=1
01234 01235 02689 03479 03569 04568 13679 23578
Size=8 |Aut|=1
01578 02689 03479 03569 04568 13679 23578
Size=7 |Aut|=1
01235 02467 02689 03479 03569 04568 13679 23578
Size=8 |Aut|=1
01234 01235 01578 01789 04568 12489 13679 23578
Size=8 |Aut|=1
01234 01235 01578 02467 04568 12489 13679 23578
Size=8 |Aut|=1
01234 01235 01578 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01234 01235 01789 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01234 01578 01789 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01235 02689 03569 04568 12489 13679 23578
Size=7 |Aut|=1
01578 02689 03569 04568 12489 13679 23578
Size=7 |Aut|=1
01235 01578 03479 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12489 13679 23578
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 13679 23578
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12569 13679 23578
Size=8 |Aut|=1
01234 01235 01578 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01235 01578 01789 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01235 01578 02467 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01234 01578 03569 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01235 01578 03569 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01578 01789 03569 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01578 03479 03569 04568 12489 12569 13679 23578
Size=8 |Aut|=1
01234 01235 01578 01789 04568 13468 13679 23578
Size=8 |Aut|=1
01234 01235 01789 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01235 01578 01789 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01578 01789 02467 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01235 01789 02689 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01578 01789 02689 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01235 01578 03479 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01578 02467 03479 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01235 02689 03479 03569 04568 13468 13679 23578
Size=8 |Aut|=1
01235 01578 03569 04568 12489 13468 13679 23578
Size=8 |Aut|=1
01578 01789 03569 04568 12489 13468 13679 23578
Size=8 |Aut|=1
01578 02467 03569 04568 12489 13468 13679 23578
Size=8 |Aut|=1
01235 01578 03479 04568 12569 13468 13679 23578
Size=8 |Aut|=1
01235 01789 03569 04568 12569 13468 13679 23578
Size=8 |Aut|=1
01578 01789 03569 04568 12569 13468 13679 23578
Size=8 |Aut|=1
01235 03479 03569 04568 12569 13468 13679 23578
Size=8 |Aut|=1
01578 03479 03569 04568 12569 13468 13679 23578
Size=8 |Aut|=1
01235 01578 04568 12489 12569 13468 13679 23578
Size=8 |Aut|=1
01235 03569 04568 12489 12569 13468 13679 23578
Size=8 |Aut|=1
01578 03569 04568 12489 12569 13468 13679 23578
Size=8 |Aut|=1
01234 01235 01578 02467 02689 04568 14567 23578
Size=8 |Aut|=1
01234 01578 01789 02467 02689 04568 14567 23578
Size=8 |Aut|=1
01234 01235 01789 02689 03479 04568 14567 23578
Size=8 |Aut|=1
01234 01578 01789 02689 03479 04568 14567 23578
Size=8 |Aut|=1
01234 01235 02467 02689 03479 04568 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01234 01578 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01235 01578 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01578 01789 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01235 02467 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03479 04568 12489 14567 23578
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 14567 23578
Size=8 |Aut|=1
01578 02689 03479 03569 04568 12489 14567 23578
Size=8 |Aut|=1
01234 01235 02467 02689 04568 12569 14567 23578
Size=8 |Aut|=1
01235 01578 02467 02689 04568 12569 14567 23578
Size=8 |Aut|=1
01235 01789 02467 02689 04568 12569 14567 23578
Size=8 |Aut|=1
01578 01789 02467 02689 04568 12569 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03479 04568 12569 14567 23578
Size=8 |Aut|=1
01235 02467 02689 03479 04568 12569 14567 23578
Size=8 |Aut|=1
01234 01235 02467 04568 12489 12569 14567 23578
Size=8 |Aut|=1
01234 01235 02689 04568 12489 12569 14567 23578
Size=8 |Aut|=1
01235 01578 02689 04568 12489 12569 14567 23578
Size=8 |Aut|=1
01235 02467 02689 04568 12489 12569 14567 23578
Size=8 |Aut|=1
01235 02689 03479 04568 12489 12569 14567 23578
Size=8 |Aut|=1
01234 01235 01578 02689 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01235 01789 02689 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01578 01789 02689 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01235 02467 02689 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01578 02467 02689 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03479 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01578 02689 03479 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03569 04568 13468 14567 23578
Size=8 |Aut|=1
01578 02689 03479 03569 04568 13468 14567 23578
Size=8 |Aut|=1
01234 01235 02689 04568 12489 13468 14567 23578
Size=8 |Aut|=1
01235 02689 03569 04568 12489 13468 14567 23578
Size=8 |Aut|=1
01578 01789 02689 04568 12569 13468 14567 23578
Size=8 |Aut|=1
01235 02467 02689 04568 12569 13468 14567 23578
Size=8 |Aut|=1
01578 02467 02689 04568 12569 13468 14567 23578
Size=8 |Aut|=1
01235 02689 04568 12489 12569 13468 14567 23578
Size=8 |Aut|=1
01234 01235 02467 02689 04568 13679 14567 23578
Size=8 |Aut|=1
01234 01235 02689 03479 04568 13679 14567 23578
Size=8 |Aut|=1
01234 01578 02689 03479 04568 13679 14567 23578
Size=8 |Aut|=1
01235 02467 02689 03569 04568 13679 14567 23578
Size=8 |Aut|=1
01235 02689 03479 03569 04568 13679 14567 23578
Size=8 |Aut|=1
01235 02467 02689 04568 12569 13679 14567 23578
Size=8 |Aut|=1
01235 01578 02467 02689 04568 12569 23678
Size=7 |Aut|=1
01234 01235 01578 02467 03479 04568 12569 23678
Size=8 |Aut|=1
01235 01578 01789 02467 03479 04568 12569 23678
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 12569 23678
Size=8 |Aut|=1
01235 01578 01789 02689 03479 04568 12569 23678
Size=8 |Aut|=1
01235 02467 02689 03569 04568 12569 23678
Size=7 |Aut|=1
01578 01789 02467 02689 03569 04568 12569 23678
Size=8 |Aut|=1
01235 01578 02467 03479 03569 04568 12569 23678
Size=8 |Aut|=1
01235 01789 02467 03479 03569 04568 12569 23678
Size=8 |Aut|=1
01578 01789 02467 03479 03569 04568 12569 23678
Size=8 |Aut|=1
01578 01789 02689 03479 03569 04568 12569 23678
Size=8 |Aut|=1
01235 01578 01789 02467 03569 12489 12569 23678
Size=8 |Aut|=1
01235 01789 02467 02689 03569 12489 12569 23678
Size=8 |Aut|=1
01235 01789 02467 03479 03569 12489 12569 23678
Size=8 |Aut|=1
01235 01578 01789 02467 04568 12489 12569 23678
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 12569 23678
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 12569 23678
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 12569 23678
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12489 12569 23678
Size=8 |Aut|=1
01235 01789 02689 03569 04568 12489 12569 23678
Size=8 |Aut|=1
01235 02467 03479 03569 04568 12489 12569 23678
Size=8 |Aut|=1
01235 01789 02467 03479 03569 12569 13468 23678
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01578 01789 03479 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01578 01789 02689 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01234 01235 03479 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01234 01578 03479 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01578 03479 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01578 01789 03479 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12569 13468 23678
Size=8 |Aut|=1
01235 01789 02689 03569 12489 12569 13468 23678
Size=8 |Aut|=1
01234 01235 01578 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01235 01578 02689 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01235 01578 03479 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01235 02467 03569 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01235 02689 03569 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01578 03479 03569 04568 12489 12569 13468 23678
Size=8 |Aut|=1
01235 01578 01789 02467 04568 12569 13679 23678
Size=8 |Aut|=1
01234 01235 02467 03569 04568 12569 13679 23678
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12569 13679 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12569 13679 23678
Size=8 |Aut|=1
01235 01789 03479 03569 04568 12569 13679 23678
Size=8 |Aut|=1
01234 01578 03569 04568 12489 12569 13679 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13679 23678
Size=8 |Aut|=1
01578 03479 03569 04568 12489 12569 13679 23678
Size=8 |Aut|=1
01235 01578 02467 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01235 01578 02689 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01234 01578 03569 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01235 02467 03569 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01235 03479 03569 04568 12569 13468 13679 23678
Size=8 |Aut|=1
01235 02467 02689 03569 04568 14567 23678
Size=7 |Aut|=1
01578 01789 02467 02689 03569 04568 14567 23678
Size=8 |Aut|=1
01235 01578 02467 03479 03569 04568 14567 23678
Size=8 |Aut|=1
01235 01789 02467 03479 03569 04568 14567 23678
Size=8 |Aut|=1
01578 01789 02467 03479 03569 04568 14567 23678
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 14567 23678
Size=8 |Aut|=1
01234 01235 02467 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01235 01578 02467 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01234 01235 02689 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01235 01789 02689 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01235 02467 03479 03569 04568 12489 14567 23678
Size=8 |Aut|=1
01234 01235 02467 02689 04568 12569 14567 23678
Size=8 |Aut|=1
01235 01789 02467 02689 04568 12569 14567 23678
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01235 01789 02467 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01578 01789 02467 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01234 01235 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01234 01578 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01578 01789 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01235 02467 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01578 02467 02689 03479 04568 12569 14567 23678
Size=8 |Aut|=1
01578 01789 02467 04568 12489 12569 14567 23678
Size=8 |Aut|=1
01578 02467 02689 04568 12489 12569 14567 23678
Size=8 |Aut|=1
01235 02467 03479 04568 12489 12569 14567 23678
Size=8 |Aut|=1
01578 02467 03479 04568 12489 12569 14567 23678
Size=8 |Aut|=1
01578 02689 03479 04568 12489 12569 14567 23678
Size=8 |Aut|=1
01578 01789 02689 03569 04568 13468 14567 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 13468 14567 23678
Size=8 |Aut|=1
01578 02467 03479 03569 04568 13468 14567 23678
Size=8 |Aut|=1
01235 02467 03569 04568 12489 13468 14567 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12489 13468 14567 23678
Size=8 |Aut|=1
01235 02689 03569 04568 12489 13468 14567 23678
Size=8 |Aut|=1
01234 01235 02689 04568 12569 13468 14567 23678
Size=8 |Aut|=1
01235 01789 02689 03479 03569 04568 13679 14567 23678
Size=9 |Aut|=1
01235 02689 03569 04568 12489 13679 14567 23678
Size=8 |Aut|=1
01235 02467 02689 04568 12569 13679 14567 23678
Size=8 |Aut|=1
01235 01578 01789 02467 03479 03569 23578 23678
Size=8 |Aut|=1
01235 01578 01789 02689 03479 03569 23578 23678
Size=8 |Aut|=1
01234 01235 01578 02467 02689 04568 23578 23678
Size=8 |Aut|=1
01234 01235 02467 02689 03569 04568 23578 23678
Size=8 |Aut|=1
01234 01578 02467 02689 03569 04568 23578 23678
Size=8 |Aut|=1
01235 01789 02467 02689 03569 04568 23578 23678
Size=8 |Aut|=1
01578 01789 02467 02689 03569 04568 23578 23678
Size=8 |Aut|=1
01234 01235 02467 03479 03569 04568 23578 23678
Size=8 |Aut|=1
01235 01789 02467 03479 03569 04568 23578 23678
Size=8 |Aut|=1
01578 01789 02467 03479 03569 04568 23578 23678
Size=8 |Aut|=1
01234 01235 02689 03479 03569 04568 23578 23678
Size=8 |Aut|=1
01578 01789 02689 03479 03569 04568 23578 23678
Size=8 |Aut|=1
01235 01578 01789 02467 03569 12489 23578 23678
Size=8 |Aut|=1
01234 01235 02467 03569 04568 12489 23578 23678
Size=8 |Aut|=1
01578 01789 02467 03569 04568 12489 23578 23678
Size=8 |Aut|=1
01234 01235 02689 03569 04568 12489 23578 23678
Size=8 |Aut|=1
01235 01578 01789 02689 03479 12569 23578 23678
Size=8 |Aut|=1
01578 01789 02467 03479 03569 12569 23578 23678
Size=8 |Aut|=1
01578 01789 02689 03479 03569 12569 23578 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12569 23578 23678
Size=8 |Aut|=1
01578 01789 02467 03569 12489 12569 23578 23678
Size=8 |Aut|=1
01234 01235 02689 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01235 01578 02689 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01578 01789 02689 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01235 02467 02689 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01234 01235 03479 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01578 01789 03479 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01235 02467 03479 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01578 02467 03479 03569 04568 13468 23578 23678
Size=8 |Aut|=1
01234 01235 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01578 01789 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01235 02467 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01235 03479 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01578 03479 03569 04568 12489 13468 23578 23678
Size=8 |Aut|=1
01235 01578 02689 04568 12569 13468 23578 23678
Size=8 |Aut|=1
01235 01578 03479 04568 12569 13468 23578 23678
Size=8 |Aut|=1
01235 01578 04568 12489 12569 13468 23578 23678
Size=8 |Aut|=1
01234 01235 02467 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01235 01578 02467 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01578 01789 02467 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01235 02467 02689 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01578 02467 02689 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01234 01235 03479 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01235 01578 03479 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01235 02467 03479 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01235 02689 03479 03569 04568 13679 23578 23678
Size=8 |Aut|=1
01234 01235 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01234 01578 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01235 01578 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01578 01789 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01578 02467 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01235 03479 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01578 03479 03569 04568 12489 13679 23578 23678
Size=8 |Aut|=1
01235 03569 04568 13468 13679 23578 23678
Size=7 |Aut|=1
01578 03569 04568 13468 13679 23578 23678
Size=7 |Aut|=1
01578 02467 03479 03569 04568 12489 14567 23578 23678
Size=9 |Aut|=1
01234 01578 02467 04568 12489 12569 14567 23578 23678
Size=9 |Aut|=1
01235 01578 01789 02467 02689 04568 12569 24579
Size=8 |Aut|=1
01234 01578 01789 02467 03479 04568 12569 24579
Size=8 |Aut|=1
01235 01578 01789 02467 03479 04568 12569 24579
Size=8 |Aut|=1
01234 01235 01578 02689 03479 04568 12569 24579
Size=8 |Aut|=1
01235 01578 01789 02689 03479 04568 12569 24579
Size=8 |Aut|=1
01578 01789 02467 02689 03479 04568 12569 24579
Size=8 |Aut|=1
01234 01578 02467 03479 03569 04568 12569 24579
Size=8 |Aut|=1
01235 01578 02467 03479 03569 04568 12569 24579
Size=8 |Aut|=1
01235 02689 03479 03569 04568 12569 24579
Size=7 |Aut|=1
01234 02467 02689 03479 03569 04568 12569 24579
Size=8 |Aut|=1
01578 02467 02689 03479 03569 04568 12569 24579
Size=8 |Aut|=1
01234 01578 01789 02467 04568 12489 12569 24579
Size=8 |Aut|=1
01234 01235 01578 02689 04568 12489 12569 24579
Size=8 |Aut|=1
01578 01789 02689 04568 12489 12569 24579
Size=7 |Aut|=1
01235 01578 02467 02689 04568 12489 12569 24579
Size=8 |Aut|=1
01578 01789 02467 03479 04568 12489 12569 24579
Size=8 |Aut|=1
01234 01578 02467 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01234 01789 02689 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01234 02467 02689 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01578 02467 02689 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01234 02467 03479 03569 04568 12489 12569 24579
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12489 12569 24579
Size=8 |Aut|=1
02689 03479 03569 04568 12489 12569 24579
Size=7 |Aut|=1
01235 01578 01789 02689 04568 12569 13468 24579
Size=8 |Aut|=1
01578 01789 02467 02689 04568 12569 13468 24579
Size=8 |Aut|=1
01235 01578 01789 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01234 01578 02467 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01578 01789 02467 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01578 02467 02689 03479 04568 12569 13468 24579
Size=8 |Aut|=1
01234 01789 02467 02689 03569 04568 12569 13468 24579
Size=9 |Aut|=1
01235 01789 03479 03569 04568 12569 13468 24579
Size=8 |Aut|=1
01578 02467 03479 03569 04568 12569 13468 24579
Size=8 |Aut|=1
02467 02689 03479 03569 04568 12569 13468 24579
Size=8 |Aut|=1
01234 01578 02467 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01235 01578 02467 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 01789 02467 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01235 01578 02689 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 02467 02689 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01234 01578 03479 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 01789 03479 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 02689 03479 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01234 01789 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01234 02467 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01578 03479 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01789 03479 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
02467 03479 03569 04568 12489 12569 13468 24579
Size=8 |Aut|=1
01234 01578 01789 02467 04568 12569 13679 24579
Size=8 |Aut|=1
01235 01578 01789 02467 04568 12569 13679 24579
Size=8 |Aut|=1
01578 01789 02467 02689 04568 12569 13679 24579
Size=8 |Aut|=1
01234 01235 01578 03479 04568 12569 13679 24579
Size=8 |Aut|=1
01578 01789 03479 04568 12569 13679 24579
Size=7 |Aut|=1
01234 01578 02467 03479 04568 12569 13679 24579
Size=8 |Aut|=1
01235 01578 02467 03479 04568 12569 13679 24579
Size=8 |Aut|=1
01578 02467 02689 03479 04568 12569 13679 24579
Size=8 |Aut|=1
01234 01789 02467 03569 04568 12569 13679 24579
Size=8 |Aut|=1
01578 03479 03569 04568 12569 13679 24579
Size=7 |Aut|=1
01234 01789 03479 03569 04568 12569 13679 24579
Size=8 |Aut|=1
01235 01789 03479 03569 04568 12569 13679 24579
Size=8 |Aut|=1
01234 02467 03479 03569 04568 12569 13679 24579
Size=8 |Aut|=1
01234 02689 03479 03569 04568 12569 13679 24579
Size=8 |Aut|=1
01578 01789 02467 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01578 02467 02689 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01234 01578 03479 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01578 02467 03479 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01234 01578 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01234 01789 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01234 02467 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
02689 03569 04568 12489 12569 13679 24579
Size=7 |Aut|=1
01789 03479 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
02467 03479 03569 04568 12489 12569 13679 24579
Size=8 |Aut|=1
01578 01789 02467 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01578 01789 02689 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01235 01578 03479 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01234 01789 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01789 02467 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01789 02689 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01235 03479 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01789 03479 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
02467 03479 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
02689 03479 03569 04568 12569 13468 13679 24579
Size=8 |Aut|=1
01578 02467 04568 12489 12569 13468 13679 24579
Size=8 |Aut|=1
01578 02689 04568 12489 12569 13468 13679 24579
Size=8 |Aut|=1
01578 03479 04568 12489 12569 13468 13679 24579
Size=8 |Aut|=1
02467 03569 04568 12489 12569 13468 13679 24579
Size=8 |Aut|=1
01234 01235 01789 02689 03479 03569 14567 24579
Size=8 |Aut|=1
01235 01578 02467 02689 03569 04568 14567 24579
Size=8 |Aut|=1
01234 02467 03479 03569 04568 14567 24579
Size=7 |Aut|=1
01235 01789 02689 03479 03569 04568 14567 24579
Size=8 |Aut|=1
01235 02467 02689 03479 03569 04568 14567 24579
Size=8 |Aut|=1
01235 01789 02689 03479 03569 12489 14567 24579
Size=8 |Aut|=1
01234 02689 03479 03569 04568 12489 14567 24579
Size=8 |Aut|=1
01234 01235 01789 02467 02689 12569 14567 24579
Size=8 |Aut|=1
01234 01578 01789 02467 02689 12569 14567 24579
Size=8 |Aut|=1
01234 01235 02467 03479 12569 14567 24579
Size=7 |Aut|=1
01234 01578 02467 03479 12569 14567 24579
Size=7 |Aut|=1
01234 01789 02467 03479 12569 14567 24579
Size=7 |Aut|=1
01234 01235 01578 02689 03479 12569 14567 24579
Size=8 |Aut|=1
01234 01578 01789 02689 03479 12569 14567 24579
Size=8 |Aut|=1
01234 01235 02467 02689 03569 12569 14567 24579
Size=8 |Aut|=1
01234 01578 02467 02689 03569 12569 14567 24579
Size=8 |Aut|=1
01234 02467 03479 03569 12569 14567 24579
Size=7 |Aut|=1
01234 02689 03479 03569 12569 14567 24579
Size=7 |Aut|=1
01789 02467 02689 04568 12569 14567 24579
Size=7 |Aut|=1
01234 02467 03479 04568 12569 14567 24579
Size=7 |Aut|=1
01235 02467 03479 04568 12569 14567 24579
Size=7 |Aut|=1
01578 02467 03479 04568 12569 14567 24579
Size=7 |Aut|=1
01234 01578 02689 03479 04568 12569 14567 24579
Size=8 |Aut|=1
01235 01578 02689 03479 04568 12569 14567 24579
Size=8 |Aut|=1
01578 01789 02689 03479 04568 12569 14567 24579
Size=8 |Aut|=1
02467 02689 03479 04568 12569 14567 24579
Size=7 |Aut|=1
02467 02689 03569 04568 12569 14567 24579
Size=7 |Aut|=1
01789 02689 03479 03569 04568 12569 14567 24579
Size=8 |Aut|=1
01235 01578 02689 12489 12569 14567 24579
Size=7 |Aut|=1
01234 01789 02689 12489 12569 14567 24579
Size=7 |Aut|=1
01234 01235 02467 02689 12489 12569 14567 24579
Size=8 |Aut|=1
01234 01578 02467 02689 12489 12569 14567 24579
Size=8 |Aut|=1
01578 01789 02467 03479 12489 12569 14567 24579
Size=8 |Aut|=1
01235 02689 03479 12489 12569 14567 24579
Size=7 |Aut|=1
01578 02689 03479 12489 12569 14567 24579
Size=7 |Aut|=1
01789 02689 03479 12489 12569 14567 24579
Size=7 |Aut|=1
01234 01235 02467 03569 12489 12569 14567 24579
Size=8 |Aut|=1
01235 01578 02467 03569 12489 12569 14567 24579
Size=8 |Aut|=1
01789 02689 03569 12489 12569 14567 24579
Size=7 |Aut|=1
01234 02467 02689 03569 12489 12569 14567 24579
Size=8 |Aut|=1
01235 02467 02689 03569 12489 12569 14567 24579
Size=8 |Aut|=1
02467 03479 03569 12489 12569 14567 24579
Size=7 |Aut|=1
02689 03479 03569 12489 12569 14567 24579
Size=7 |Aut|=1
01234 01789 02467 04568 12489 12569 14567 24579
Size=8 |Aut|=1
01578 01789 02467 04568 12489 12569 14567 24579
Size=8 |Aut|=1
02467 02689 04568 12489 12569 14567 24579
Size=7 |Aut|=1
02467 03479 04568 12489 12569 14567 24579
Size=7 |Aut|=1
02689 03479 04568 12489 12569 14567 24579
Size=7 |Aut|=1
01234 02467 03569 04568 12489 12569 14567 24579
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 14567 24579
Size=8 |Aut|=1
01235 02689 03569 04568 12489 12569 14567 24579
Size=8 |Aut|=1
01234 01235 01789 02689 03569 13468 14567 24579
Size=8 |Aut|=1
01235 01578 01789 02689 03569 13468 14567 24579
Size=8 |Aut|=1
01235 01789 02467 02689 03569 13468 14567 24579
Size=8 |Aut|=1
01234 01235 01789 03479 03569 13468 14567 24579
Size=8 |Aut|=1
01235 01789 02689 03479 03569 13468 14567 24579
Size=8 |Aut|=1
01234 01789 02689 03569 04568 13468 14567 24579
Size=8 |Aut|=1
01234 01789 03479 03569 04568 13468 14567 24579
Size=8 |Aut|=1
01234 01789 03569 04568 12489 13468 14567 24579
Size=8 |Aut|=1
01234 02467 03569 04568 12489 13468 14567 24579
Size=8 |Aut|=1
01234 03479 03569 04568 12489 13468 14567 24579
Size=8 |Aut|=1
01234 01235 01578 02689 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01235 01789 02689 12569 13468 14567 24579
Size=8 |Aut|=1
01235 01578 01789 02689 12569 13468 14567 24579
Size=8 |Aut|=1
01234 02467 02689 12569 13468 14567 24579
Size=7 |Aut|=1
01578 01789 02467 02689 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01235 01578 03479 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01578 01789 03479 12569 13468 14567 24579
Size=8 |Aut|=1
01789 02467 03479 12569 13468 14567 24579
Size=7 |Aut|=1
01234 01235 02689 03479 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01789 02689 03479 12569 13468 14567 24579
Size=8 |Aut|=1
01235 01789 02689 03479 12569 13468 14567 24579
Size=8 |Aut|=1
02467 02689 03479 12569 13468 14567 24579
Size=7 |Aut|=1
01235 02689 03569 12569 13468 14567 24579
Size=7 |Aut|=1
01234 01789 02689 03569 12569 13468 14567 24579
Size=8 |Aut|=1
02467 02689 03569 12569 13468 14567 24579
Size=7 |Aut|=1
01234 01578 03479 03569 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01789 03479 03569 12569 13468 14567 24579
Size=8 |Aut|=1
02689 03479 03569 12569 13468 14567 24579
Size=7 |Aut|=1
02467 02689 04568 12569 13468 14567 24579
Size=7 |Aut|=1
02467 03479 04568 12569 13468 14567 24579
Size=7 |Aut|=1
01235 03479 03569 04568 12569 13468 14567 24579
Size=8 |Aut|=1
01789 03479 03569 04568 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01235 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01235 01578 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01234 01789 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01234 01578 02467 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01578 01789 02467 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01578 02467 02689 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01234 03479 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01235 03569 12489 12569 13468 14567 24579
Size=7 |Aut|=1
02467 03569 12489 12569 13468 14567 24579
Size=7 |Aut|=1
03479 03569 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01235 04568 12489 12569 13468 14567 24579
Size=7 |Aut|=1
01578 02467 04568 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01789 02467 04568 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01789 03569 04568 12489 12569 13468 14567 24579
Size=8 |Aut|=1
01234 01235 01578 02467 03569 13679 14567 24579
Size=8 |Aut|=1
01234 01235 01789 02467 03569 13679 14567 24579
Size=8 |Aut|=1
01235 01578 01789 02467 03569 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02467 02689 03569 13679 14567 24579
Size=8 |Aut|=1
01235 01789 02467 02689 03569 13679 14567 24579
Size=8 |Aut|=1
01234 01235 01578 03479 03569 13679 14567 24579
Size=8 |Aut|=1
01235 01789 02467 03479 03569 13679 14567 24579
Size=8 |Aut|=1
01235 01789 02689 03479 03569 13679 14567 24579
Size=8 |Aut|=1
01234 01789 02467 03569 04568 13679 14567 24579
Size=8 |Aut|=1
01234 01578 03479 03569 04568 13679 14567 24579
Size=8 |Aut|=1
01234 01789 03479 03569 04568 13679 14567 24579
Size=8 |Aut|=1
01234 02689 03479 03569 04568 13679 14567 24579
Size=8 |Aut|=1
01234 01235 01578 03569 12489 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02467 03569 12489 13679 14567 24579
Size=8 |Aut|=1
01234 01578 03569 04568 12489 13679 14567 24579
Size=8 |Aut|=1
01234 02467 03569 04568 12489 13679 14567 24579
Size=8 |Aut|=1
01234 02689 03569 04568 12489 13679 14567 24579
Size=8 |Aut|=1
01234 03479 03569 04568 12489 13679 14567 24579
Size=8 |Aut|=1
01234 01578 02467 02689 12569 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02467 02689 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01789 02467 02689 12569 13679 14567 24579
Size=8 |Aut|=1
01578 01789 02467 02689 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01578 03479 12569 13679 14567 24579
Size=7 |Aut|=1
01235 01578 02467 03479 12569 13679 14567 24579
Size=8 |Aut|=1
01578 02467 02689 03479 12569 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02467 03569 12569 13679 14567 24579
Size=8 |Aut|=1
01789 02467 02689 03569 12569 13679 14567 24579
Size=8 |Aut|=1
01578 03479 03569 12569 13679 14567 24579
Size=7 |Aut|=1
01789 03479 03569 12569 13679 14567 24579
Size=7 |Aut|=1
01234 01789 02467 04568 12569 13679 14567 24579
Size=8 |Aut|=1
02467 02689 04568 12569 13679 14567 24579
Size=7 |Aut|=1
02467 03479 04568 12569 13679 14567 24579
Size=7 |Aut|=1
01234 02467 03569 04568 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01235 02689 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01578 02689 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01235 01578 03479 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01789 03479 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 02689 03569 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01789 04568 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 03569 04568 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01578 03569 04568 12489 12569 13679 14567 24579
Size=8 |Aut|=1
01234 01235 01789 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 01789 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02467 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01789 02467 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02689 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01789 03479 03569 13468 13679 14567 24579
Size=8 |Aut|=1
01234 01789 03569 04568 13468 13679 14567 24579
Size=8 |Aut|=1
01234 02467 03569 04568 13468 13679 14567 24579
Size=8 |Aut|=1
01234 02689 03569 04568 13468 13679 14567 24579
Size=8 |Aut|=1
01234 03479 03569 04568 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 03569 12489 13468 13679 14567 24579
Size=8 |Aut|=1
01234 03569 04568 12489 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 12569 13468 13679 14567 24579
Size=7 |Aut|=1
01234 01578 02467 12569 13468 13679 14567 24579
Size=8 |Aut|=1
01234 01789 02467 12569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 02467 04568 12569 13468 13679 14567 24579
Size=8 |Aut|=1
03569 04568 12569 13468 13679 14567 24579
Size=7 |Aut|=1
01234 01578 12489 12569 13468 13679 14567 24579
Size=8 |Aut|=1
01235 01578 02689 03479 03569 04568 23578 24579
Size=8 |Aut|=1
01235 01789 02689 03479 03569 04568 23578 24579
Size=8 |Aut|=1
01235 01578 02689 03569 04568 12489 23578 24579
Size=8 |Aut|=1
01578 02467 03569 04568 12489 12569 23578 24579
Size=8 |Aut|=1
01234 01789 02467 02689 03569 04568 13468 23578 24579
Size=9 |Aut|=1
01234 01789 03569 04568 12489 13468 23578 24579
Size=8 |Aut|=1
01789 03569 04568 12489 12569 13468 23578 24579
Size=8 |Aut|=1
01234 01789 02467 03569 04568 13679 23578 24579
Size=8 |Aut|=1
01234 01578 03479 03569 04568 13679 23578 24579
Size=8 |Aut|=1
01234 01789 03479 03569 04568 13679 23578 24579
Size=8 |Aut|=1
01234 01578 03569 04568 12489 13679 23578 24579
Size=8 |Aut|=1
01234 01789 03569 04568 12489 13679 23578 24579
Size=8 |Aut|=1
01578 03569 04568 12489 12569 13679 23578 24579
Size=8 |Aut|=1
01234 01789 03569 04568 13468 13679 23578 24579
Size=8 |Aut|=1
01789 03569 04568 12569 13468 13679 23578 24579
Size=8 |Aut|=1
01234 02689 03479 03569 04568 14567 23578 24579
Size=8 |Aut|=1
01234 01578 02467 02689 12569 14567 23578 24579
Size=8 |Aut|=1
01234 01578 02689 03479 12569 14567 23578 24579
Size=8 |Aut|=1
01234 01789 02689 03479 12569 14567 23578 24579
Size=8 |Aut|=1
01789 02689 03479 03569 12569 14567 23578 24579
Size=8 |Aut|=1
01234 02689 03479 04568 12569 14567 23578 24579
Size=8 |Aut|=1
01235 02689 03479 04568 12569 14567 23578 24579
Size=8 |Aut|=1
01235 01578 01789 02467 12489 12569 14567 23578 24579
Size=9 |Aut|=1
01234 01789 02689 12569 13468 14567 23578 24579
Size=8 |Aut|=1
01789 02689 03569 12569 13468 14567 23578 24579
Size=8 |Aut|=1
01789 03479 03569 12569 13468 14567 23578 24579
Size=8 |Aut|=1
01234 03479 03569 04568 13679 14567 23578 24579
Size=8 |Aut|=1
01234 03569 04568 12489 13679 14567 23578 24579
Size=8 |Aut|=1
01234 01578 01789 02467 02689 04568 12569 23678 24579
Size=9 |Aut|=1
01789 02689 03479 03569 04568 12569 23678 24579
Size=8 |Aut|=1
01789 02689 03569 04568 12489 12569 23678 24579
Size=8 |Aut|=1
01789 02689 03569 04568 12569 13468 23678 24579
Size=8 |Aut|=1
01789 03479 03569 04568 12569 13468 23678 24579
Size=8 |Aut|=1
01234 01578 01789 04568 12489 12569 13468 23678 24579
Size=9 |Aut|=1
01789 03479 03569 04568 12569 13679 23678 24579
Size=8 |Aut|=1
01234 01578 01789 04568 12489 12569 13679 23678 24579
Size=9 |Aut|=1
01234 01789 02689 03479 12569 14567 23678 24579
Size=8 |Aut|=1
01234 02689 03479 04568 12569 14567 23678 24579
Size=8 |Aut|=1
01234 01235 01789 02467 12489 12569 14567 23678 24579
Size=9 |Aut|=1
01234 01578 01789 02467 12489 12569 14567 23678 24579
Size=9 |Aut|=1
01789 03569 12489 12569 13468 14567 23678 24579
Size=8 |Aut|=1
01234 01578 01789 02467 12569 13679 14567 23678 24579
Size=9 |Aut|=1
02689 03479 03569 04568 12569 14567 24579 34589
Size=8 |Aut|=1

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

Size Count
—- —–
7 109
8 707
9 16

Only 832 (non-isomorphic) minimal defining sets
Totally 4986 (inequivalent) minimal defining sets

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