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

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

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

Blocks of the design are:
01267 01368 01459 01469 02389 02458 02579 03478 03567 12379 12478 12568 13457 13589 23456 23469 46789 56789
The design is simple

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

Auto’m group order is 6

All non-isomorphic minimal defining sets are:

01267 01368 01459 01469 02389 02458 02579
Size=7 |Aut|=1
01267 01368 01459 01469 02458 02579 03478
Size=7 |Aut|=1
01267 01368 01459 02389 02458 02579 03478
Size=7 |Aut|=1
01267 01459 01469 02389 02458 02579 03478
Size=7 |Aut|=1
01368 01459 01469 02389 02458 02579 03478
Size=7 |Aut|=1
01267 01368 01459 01469 02389 02458 03478 03567
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03478 03567
Size=7 |Aut|=1
01267 01368 01459 02389 02579 03478 03567
Size=7 |Aut|=1
01267 01368 02389 02458 02579 03478 03567
Size=7 |Aut|=1
01267 01368 01459 01469 02458 02579 12379
Size=7 |Aut|=1
01267 01459 01469 02389 02458 02579 12379
Size=7 |Aut|=1
01368 01459 01469 02389 02458 02579 12379
Size=7 |Aut|=1
01368 01459 02389 02458 02579 03478 12379
Size=7 |Aut|=1
01267 01368 01459 01469 02389 02458 03567 12379
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03567 12379
Size=7 |Aut|=1
01267 01368 01469 02389 02458 03478 03567 12379
Size=8 |Aut|=1
01267 01368 02389 02579 03478 03567 12379
Size=7 |Aut|=1
01267 01469 02389 02458 02579 03478 03567 12379
Size=8 |Aut|=1
01267 01368 01459 01469 02458 02579 12478
Size=7 |Aut|=1
01267 01459 01469 02458 02579 03478 12478
Size=7 |Aut|=1
01368 01459 01469 02458 02579 03478 12478
Size=7 |Aut|=1
01267 01459 02389 02458 02579 03478 12478
Size=7 |Aut|=1
01368 01459 02389 02458 02579 03478 12478
Size=7 |Aut|=1
01368 01469 02389 02458 02579 03478 12478
Size=7 |Aut|=1
01267 01368 01459 01469 02579 03567 12478
Size=7 |Aut|=1
01267 01368 01469 02458 02579 03567 12478
Size=7 |Aut|=1
01267 01368 01459 02389 02458 02579 03567 12478
Size=8 |Aut|=1
01267 01368 01459 01469 02458 03478 03567 12478
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03478 03567 12478
Size=8 |Aut|=1
01368 02389 02458 02579 03478 03567 12478
Size=7 |Aut|=1
01267 01368 01469 02458 02579 12379 12478
Size=7 |Aut|=1
01267 01459 01469 02458 02579 12379 12478
Size=7 |Aut|=1
01368 01459 01469 02458 02579 12379 12478
Size=7 |Aut|=1
01267 01459 02389 02458 02579 12379 12478
Size=7 |Aut|=1
01267 01469 02389 02458 02579 12379 12478
Size=7 |Aut|=1
01368 01469 02389 02458 02579 12379 12478
Size=7 |Aut|=1
01267 01469 02458 02579 03478 12379 12478
Size=7 |Aut|=1
01368 02389 02458 02579 03478 12379 12478
Size=7 |Aut|=1
01267 01368 01469 02458 03567 12379 12478
Size=7 |Aut|=1
01267 01368 01459 02389 02458 03567 12379 12478
Size=8 |Aut|=1
01267 02389 02458 02579 03567 12379 12478
Size=7 |Aut|=1
01368 01459 02389 02458 02579 03567 12379 12478
Size=8 |Aut|=1
01267 01368 02389 02458 03478 03567 12379 12478
Size=8 |Aut|=1
01267 01368 01469 02579 03478 03567 12379 12478
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02458 03478 12568
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03478 12568
Size=7 |Aut|=1
01267 01368 01459 02389 02579 03478 12568
Size=7 |Aut|=1
01267 01368 01469 02389 02458 02579 03567 12568
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03478 03567 12568
Size=8 |Aut|=1
01267 01368 01469 02389 02458 03478 03567 12568
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03478 03567 12568
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03478 03567 12568
Size=8 |Aut|=1
01267 01368 01469 02579 03478 03567 12568
Size=7 |Aut|=1
01267 01368 02389 02579 03478 03567 12568
Size=7 |Aut|=1
01267 01459 01469 02389 02579 03478 03567 12568
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03478 03567 12568
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 03567 12568
Size=8 |Aut|=1
01368 01469 02389 02458 02579 03478 03567 12568
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02458 12379 12568
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02579 12379 12568
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03478 12379 12568
Size=8 |Aut|=1
01267 01368 01469 02389 02458 03567 12379 12568
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03567 12379 12568
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03567 12379 12568
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 12379 12568
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03567 12379 12568
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03567 12379 12568
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03567 12379 12568
Size=8 |Aut|=1
01368 02389 02458 03478 03567 12379 12568
Size=7 |Aut|=1
01267 01469 02389 02458 03478 03567 12379 12568
Size=8 |Aut|=1
01267 01368 02579 03478 03567 12379 12568
Size=7 |Aut|=1
01368 02389 02579 03478 03567 12379 12568
Size=7 |Aut|=1
01267 01368 01459 01469 02579 12478 12568
Size=7 |Aut|=1
01267 01368 01469 02389 02579 12478 12568
Size=7 |Aut|=1
01267 01368 01469 02458 02579 12478 12568
Size=7 |Aut|=1
01267 01368 01459 02389 02458 02579 12478 12568
Size=8 |Aut|=1
01267 01368 01469 02458 03478 12478 12568
Size=7 |Aut|=1
01267 01469 02389 02458 02579 03478 12478 12568
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12478 12568
Size=7 |Aut|=1
01267 01368 01459 02389 02579 03567 12478 12568
Size=8 |Aut|=1
01267 01459 01469 02458 03478 03567 12478 12568
Size=8 |Aut|=1
01368 01459 01469 02458 03478 03567 12478 12568
Size=8 |Aut|=1
01267 02389 02458 03478 03567 12478 12568
Size=7 |Aut|=1
01368 02389 02458 03478 03567 12478 12568
Size=7 |Aut|=1
01267 01459 01469 02579 03478 03567 12478 12568
Size=8 |Aut|=1
01368 01459 01469 02579 03478 03567 12478 12568
Size=8 |Aut|=1
01368 02389 02579 03478 03567 12478 12568
Size=7 |Aut|=1
01267 01459 02389 02579 03478 03567 12478 12568
Size=8 |Aut|=1
01267 01368 01469 02458 12379 12478 12568
Size=7 |Aut|=1
01267 01368 01459 02579 03478 12379 12478 12568
Size=8 |Aut|=1
01368 01459 02458 02579 03478 12379 12478 12568
Size=8 |Aut|=1
01267 01368 02458 03567 12379 12478 12568
Size=7 |Aut|=1
01267 01459 02458 03567 12379 12478 12568
Size=7 |Aut|=1
01368 01459 01469 02458 03567 12379 12478 12568
Size=8 |Aut|=1
01267 02389 02458 03567 12379 12478 12568
Size=7 |Aut|=1
01368 01469 02389 02458 03567 12379 12478 12568
Size=8 |Aut|=1
01267 01368 01459 02579 03567 12379 12478 12568
Size=8 |Aut|=1
01267 01459 01469 02579 03567 12379 12478 12568
Size=8 |Aut|=1
01368 01459 01469 02579 03567 12379 12478 12568
Size=8 |Aut|=1
01267 02389 02579 03567 12379 12478 12568
Size=7 |Aut|=1
01368 01459 02389 02579 03567 12379 12478 12568
Size=8 |Aut|=1
01368 02389 02458 02579 03567 12379 12478 12568
Size=8 |Aut|=1
01267 02458 03478 03567 12379 12478 12568
Size=7 |Aut|=1
01368 01459 02458 03478 03567 12379 12478 12568
Size=8 |Aut|=1
01267 02579 03478 03567 12379 12478 12568
Size=7 |Aut|=1
01368 01459 02579 03478 03567 12379 12478 12568
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02579 03478 13457
Size=8 |Aut|=1
01368 01459 02389 02458 02579 03478 13457
Size=7 |Aut|=1
01368 01469 02389 02458 02579 03478 13457
Size=7 |Aut|=1
01267 01368 01459 01469 02389 02579 03567 13457
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03478 03567 13457
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03478 03567 13457
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03478 03567 13457
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02579 12379 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 12379 13457
Size=8 |Aut|=1
01267 01368 01459 02389 02579 03478 12379 13457
Size=8 |Aut|=1
01267 01368 01459 02458 02579 03478 12379 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02458 03567 12379 13457
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03567 12379 13457
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03567 12379 13457
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03567 12379 13457
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 12379 13457
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 12379 13457
Size=8 |Aut|=1
01267 01368 01459 02579 03478 03567 12379 13457
Size=8 |Aut|=1
01267 01469 02389 02579 03478 03567 12379 13457
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12478 13457
Size=7 |Aut|=1
01267 01368 01459 01469 02579 03478 12478 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03478 12478 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03567 12478 13457
Size=8 |Aut|=1
01267 01459 01469 02458 03478 03567 12478 13457
Size=8 |Aut|=1
01368 01459 01469 02458 03478 03567 12478 13457
Size=8 |Aut|=1
01267 01459 02389 02458 03478 03567 12478 13457
Size=8 |Aut|=1
01368 01469 02389 02458 03478 03567 12478 13457
Size=8 |Aut|=1
01267 01459 01469 02579 03478 03567 12478 13457
Size=8 |Aut|=1
01267 01459 02389 02579 03478 03567 12478 13457
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 12478 13457
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12379 12478 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02579 12379 12478 13457
Size=8 |Aut|=1
01368 01459 02389 02458 02579 12379 12478 13457
Size=8 |Aut|=1
01267 01368 01459 02579 03478 12379 12478 13457
Size=8 |Aut|=1
01368 01459 02458 02579 03478 12379 12478 13457
Size=8 |Aut|=1
01267 01459 02458 03567 12379 12478 13457
Size=7 |Aut|=1
01368 01459 01469 02458 03567 12379 12478 13457
Size=8 |Aut|=1
01368 01459 02389 02458 03567 12379 12478 13457
Size=8 |Aut|=1
01368 01469 02389 02458 03567 12379 12478 13457
Size=8 |Aut|=1
01267 01368 01459 02579 03567 12379 12478 13457
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12379 12478 13457
Size=8 |Aut|=1
01267 01459 01469 02579 03567 12379 12478 13457
Size=8 |Aut|=1
01368 01469 02458 02579 03567 12379 12478 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02579 12568 13457
Size=7 |Aut|=1
01267 01368 02389 02579 03478 12568 13457
Size=7 |Aut|=1
01368 01459 01469 02389 02579 03478 12568 13457
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 12568 13457
Size=8 |Aut|=1
01368 02389 02458 02579 03478 12568 13457
Size=7 |Aut|=1
01267 01469 02389 02458 02579 03478 12568 13457
Size=8 |Aut|=1
01267 01469 02389 02579 03478 03567 12568 13457
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12379 12568 13457
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12379 12568 13457
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12379 12568 13457
Size=8 |Aut|=1
01267 01469 02389 02458 02579 12379 12568 13457
Size=8 |Aut|=1
01368 01469 02389 02458 02579 12379 12568 13457
Size=8 |Aut|=1
01267 01368 01459 02579 03478 12379 12568 13457
Size=8 |Aut|=1
01267 01368 02458 02579 03478 12379 12568 13457
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 12568 13457
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12379 12568 13457
Size=8 |Aut|=1
01267 01469 02389 02579 03567 12379 12568 13457
Size=8 |Aut|=1
01267 02389 02458 03478 03567 12379 12568 13457
Size=8 |Aut|=1
01267 02389 02579 03478 03567 12379 12568 13457
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12478 12568 13457
Size=8 |Aut|=1
01267 01469 02458 02579 03478 12478 12568 13457
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 12568 13457
Size=8 |Aut|=1
01267 01368 02389 02579 03567 12478 12568 13457
Size=8 |Aut|=1
01267 01469 02458 03478 03567 12478 12568 13457
Size=8 |Aut|=1
01267 01469 02579 03478 03567 12478 12568 13457
Size=8 |Aut|=1
01368 01469 02579 03478 03567 12478 12568 13457
Size=8 |Aut|=1
01267 02389 02579 03478 03567 12478 12568 13457
Size=8 |Aut|=1
01368 01459 01469 02579 12379 12478 12568 13457
Size=8 |Aut|=1
01368 01469 02389 02579 12379 12478 12568 13457
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 12568 13457
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12478 12568 13457
Size=8 |Aut|=1
01368 01469 02579 03567 12379 12478 12568 13457
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03567 13589
Size=7 |Aut|=1
01267 01368 01469 02579 03478 03567 13589
Size=7 |Aut|=1
01267 01459 01469 02389 02579 03478 03567 13589
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03478 03567 13589
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 03567 13589
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12379 13589
Size=7 |Aut|=1
01267 01469 02389 02458 02579 12379 13589
Size=7 |Aut|=1
01267 01368 01469 02579 03567 12379 13589
Size=7 |Aut|=1
01267 01459 01469 02389 02579 03567 12379 13589
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03567 12379 13589
Size=8 |Aut|=1
01368 01459 02389 02579 03478 03567 12379 13589
Size=8 |Aut|=1
01267 01368 01459 02389 02458 02579 12478 13589
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 12478 13589
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12478 13589
Size=7 |Aut|=1
01368 01469 02579 03478 03567 12478 13589
Size=7 |Aut|=1
01267 01459 01469 02579 03478 03567 12478 13589
Size=8 |Aut|=1
01267 01459 02389 02579 03478 03567 12478 13589
Size=8 |Aut|=1
01267 01469 02458 02579 03478 03567 12478 13589
Size=8 |Aut|=1
01267 01459 02458 02579 12379 12478 13589
Size=7 |Aut|=1
01368 01459 02458 02579 03478 12379 12478 13589
Size=8 |Aut|=1
01267 01469 02579 03567 12379 12478 13589
Size=7 |Aut|=1
01368 01459 01469 02579 03567 12379 12478 13589
Size=8 |Aut|=1
01368 01459 02389 02579 03567 12379 12478 13589
Size=8 |Aut|=1
01368 01459 02579 03478 03567 12379 12478 13589
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 12568 13589
Size=8 |Aut|=1
01368 01469 02389 02458 02579 12379 12568 13589
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 12568 13589
Size=8 |Aut|=1
01267 01469 02458 02579 12379 12478 12568 13589
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 12568 13589
Size=8 |Aut|=1
01267 01368 01459 01469 02458 02579 23456
Size=7 |Aut|=1
01368 01459 02389 02458 02579 03478 23456
Size=7 |Aut|=1
01267 01368 01459 01469 02389 02458 03567 23456
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03478 03567 23456
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03478 03567 23456
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03478 03567 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 03567 23456
Size=8 |Aut|=1
01368 01469 02389 02458 02579 03478 03567 23456
Size=8 |Aut|=1
01267 01459 02389 02458 02579 03478 12379 23456
Size=8 |Aut|=1
01267 01368 01469 02458 03567 12379 23456
Size=7 |Aut|=1
01267 01459 01469 02389 02458 03567 12379 23456
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12379 23456
Size=7 |Aut|=1
01368 01459 01469 02389 02579 03567 12379 23456
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 12379 23456
Size=8 |Aut|=1
01368 01469 02389 02579 03478 03567 12379 23456
Size=8 |Aut|=1
01267 01368 01459 02389 02458 02579 12478 23456
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 12478 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02458 03567 12478 23456
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03567 12478 23456
Size=8 |Aut|=1
01267 01368 01459 02389 02579 03567 12478 23456
Size=8 |Aut|=1
01267 01459 01469 02458 03478 03567 12478 23456
Size=8 |Aut|=1
01267 01459 02389 02458 03478 03567 12478 23456
Size=8 |Aut|=1
01368 01459 01469 02579 03478 03567 12478 23456
Size=8 |Aut|=1
01368 01459 02389 02579 03478 03567 12478 23456
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 12478 23456
Size=8 |Aut|=1
01267 01469 02458 02579 12379 12478 23456
Size=7 |Aut|=1
01368 01459 02389 02458 02579 12379 12478 23456
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12379 12478 23456
Size=8 |Aut|=1
01267 01459 01469 02458 03567 12379 12478 23456
Size=8 |Aut|=1
01267 01459 02389 02458 03567 12379 12478 23456
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 12478 23456
Size=8 |Aut|=1
01368 01459 02389 02579 03567 12379 12478 23456
Size=8 |Aut|=1
01267 01469 02458 03478 03567 12379 12478 23456
Size=8 |Aut|=1
01368 01469 02579 03478 03567 12379 12478 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02458 12568 23456
Size=8 |Aut|=1
01368 01459 02389 02458 03478 12568 23456
Size=7 |Aut|=1
01267 01368 01469 02389 02458 03567 12568 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03567 12568 23456
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 12568 23456
Size=8 |Aut|=1
01368 01469 02389 02458 03478 03567 12568 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02458 12379 12568 23456
Size=8 |Aut|=1
01267 01459 01469 02389 02458 12379 12568 23456
Size=8 |Aut|=1
01368 01459 01469 02389 02458 12379 12568 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12379 12568 23456
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12379 12568 23456
Size=8 |Aut|=1
01267 01368 01459 02458 03478 12379 12568 23456
Size=8 |Aut|=1
01267 01459 02389 02458 03478 12379 12568 23456
Size=8 |Aut|=1
01267 01368 01459 02579 03478 12379 12568 23456
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12379 12568 23456
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 12568 23456
Size=8 |Aut|=1
01368 01469 02389 02458 02579 03567 12379 12568 23456
Size=9 |Aut|=1
01267 01459 02389 02579 03478 03567 12379 12568 23456
Size=9 |Aut|=1
01267 01368 01469 02458 12478 12568 23456
Size=7 |Aut|=1
01267 01368 01459 02389 02579 12478 12568 23456
Size=8 |Aut|=1
01267 01469 02458 03478 12478 12568 23456
Size=7 |Aut|=1
01368 01459 01469 02458 03478 12478 12568 23456
Size=8 |Aut|=1
01267 01459 02389 02458 03478 12478 12568 23456
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12478 12568 23456
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02389 02579 03478 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02458 03478 03567 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02579 03478 03567 12478 12568 23456
Size=8 |Aut|=1
01267 01459 02458 12379 12478 12568 23456
Size=7 |Aut|=1
01267 01469 02458 12379 12478 12568 23456
Size=7 |Aut|=1
01368 01459 01469 02458 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02389 02458 12379 12478 12568 23456
Size=8 |Aut|=1
01267 01368 01459 02579 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01459 01469 02579 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01459 02389 02579 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01459 02458 03478 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12478 12568 23456
Size=8 |Aut|=1
01368 01469 02458 03567 12379 12478 12568 23456
Size=8 |Aut|=1
01267 01459 02579 03567 12379 12478 12568 23456
Size=8 |Aut|=1
01267 01469 02579 03567 12379 12478 12568 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02389 02579 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03478 13457 23456
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03478 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 13457 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03567 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02389 02579 12379 13457 23456
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12379 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12379 13457 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12478 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02389 02579 12478 13457 23456
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12478 13457 23456
Size=8 |Aut|=1
01368 01469 02389 02579 03478 12478 13457 23456
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02458 03567 12478 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12478 13457 23456
Size=8 |Aut|=1
01267 01368 01459 02579 12379 12478 13457 23456
Size=8 |Aut|=1
01368 01459 02389 02579 12379 12478 13457 23456
Size=8 |Aut|=1
01368 01469 02389 02579 12379 12478 13457 23456
Size=8 |Aut|=1
01267 01459 02458 02579 12379 12478 13457 23456
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 13457 23456
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12478 13457 23456
Size=8 |Aut|=1
01368 01469 02458 03567 12379 12478 13457 23456
Size=8 |Aut|=1
01267 01469 02579 03567 12379 12478 13457 23456
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12568 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12568 13457 23456
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12568 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12568 13457 23456
Size=8 |Aut|=1
01368 01469 02389 02579 12379 12568 13457 23456
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 13589 23456
Size=8 |Aut|=1
01368 01469 02389 02458 02579 03478 13589 23456
Size=8 |Aut|=1
01267 01368 01469 02579 03567 13589 23456
Size=7 |Aut|=1
01368 01459 02389 02579 03478 03567 13589 23456
Size=8 |Aut|=1
01368 01469 02389 02579 03478 03567 13589 23456
Size=8 |Aut|=1
01368 01469 02389 02458 02579 12379 13589 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12478 13589 23456
Size=8 |Aut|=1
01267 01469 02458 02579 03478 12478 13589 23456
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 13589 23456
Size=8 |Aut|=1
01267 01368 01469 02458 02579 13457 13589 23456
Size=8 |Aut|=2
01267 01459 01469 02389 02458 02579 23469
Size=7 |Aut|=1
01368 01469 02389 02458 02579 03478 23469
Size=7 |Aut|=1
01267 01368 01459 01469 02389 02579 03567 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02458 02579 03567 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 03567 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03478 03567 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 03567 23469
Size=8 |Aut|=1
01368 01459 01469 02458 02579 03478 03567 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 03567 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12379 23469
Size=7 |Aut|=1
01368 01459 01469 02458 02579 12379 23469
Size=7 |Aut|=1
01267 01368 01459 02389 02458 02579 12379 23469
Size=8 |Aut|=1
01368 01469 02389 02458 02579 12379 23469
Size=7 |Aut|=1
01459 01469 02389 02458 02579 12379 23469
Size=7 |Aut|=1
01267 01469 02389 02458 02579 03478 12379 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02458 03567 12379 23469
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03567 12379 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 12379 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03567 12379 23469
Size=8 |Aut|=1
01368 01469 02389 02458 03478 03567 12379 23469
Size=8 |Aut|=1
01267 01368 01469 02579 03478 03567 12379 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 03567 12379 23469
Size=8 |Aut|=1
01459 01469 02389 02458 02579 03478 12478 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 12478 23469
Size=8 |Aut|=1
01267 01459 02389 02458 02579 03567 12478 23469
Size=8 |Aut|=1
01368 01459 01469 02458 03478 03567 12478 23469
Size=8 |Aut|=1
01267 01459 01469 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01267 01469 02458 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01459 01469 02458 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 03567 12478 23469
Size=8 |Aut|=1
01459 01469 02458 02579 12379 12478 23469
Size=7 |Aut|=1
01368 01459 02389 02458 02579 12379 12478 23469
Size=8 |Aut|=1
01368 01459 01469 02458 03567 12379 12478 23469
Size=8 |Aut|=1
01368 01459 02389 02458 03567 12379 12478 23469
Size=8 |Aut|=1
01267 01469 02579 03567 12379 12478 23469
Size=7 |Aut|=1
01368 01469 02458 02579 03567 12379 12478 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03567 12379 12478 23469
Size=8 |Aut|=1
01368 01469 02458 03478 03567 12379 12478 23469
Size=8 |Aut|=1
01469 02458 02579 03478 03567 12379 12478 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02579 12568 23469
Size=7 |Aut|=1
01368 01469 02389 02458 03478 12568 23469
Size=7 |Aut|=1
01267 01459 01469 02389 02579 03478 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03478 12568 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 12568 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02579 03567 12568 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 12568 23469
Size=8 |Aut|=1
01368 01469 02579 03478 03567 12568 23469
Size=7 |Aut|=1
01267 01368 01459 02389 02458 12379 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02389 02458 12379 12568 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 12379 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12379 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12379 12568 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 12379 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 12568 23469
Size=8 |Aut|=1
01459 01469 02389 02458 03567 12379 12568 23469
Size=8 |Aut|=1
01368 01459 02389 02579 03567 12379 12568 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03567 12379 12568 23469
Size=8 |Aut|=1
01469 02389 02458 03478 03567 12379 12568 23469
Size=8 |Aut|=1
01368 01459 02579 03478 03567 12379 12568 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 03567 12379 12568 23469
Size=9 |Aut|=1
01267 01459 01469 02389 02579 12478 12568 23469
Size=8 |Aut|=1
01267 01459 01469 02458 02579 12478 12568 23469
Size=8 |Aut|=1
01267 01459 02389 02458 02579 12478 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02458 03478 12478 12568 23469
Size=8 |Aut|=1
01267 01459 01469 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02389 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02458 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01459 01469 02458 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 12478 12568 23469
Size=8 |Aut|=1
01267 01459 01469 02579 03567 12478 12568 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03567 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03567 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02458 02579 03567 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02458 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02458 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01459 01469 02458 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01469 02389 02458 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02579 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01459 01469 02579 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01469 02389 02579 03478 03567 12478 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02458 12379 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02389 02458 12379 12478 12568 23469
Size=8 |Aut|=1
01368 01459 01469 02579 12379 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02389 02579 12379 12478 12568 23469
Size=8 |Aut|=1
01267 01469 02458 02579 12379 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 12568 23469
Size=8 |Aut|=1
01459 02389 02458 02579 12379 12478 12568 23469
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12478 12568 23469
Size=8 |Aut|=1
01469 02458 02579 03478 12379 12478 12568 23469
Size=8 |Aut|=1
01368 01469 02458 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 01469 02458 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 02389 02458 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 01469 02579 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 02389 02579 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 02458 03478 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01469 02458 03478 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01459 02579 03478 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01469 02579 03478 03567 12379 12478 12568 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 13457 23469
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03478 13457 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03478 13457 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03478 13457 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 13457 23469
Size=8 |Aut|=1
01459 01469 02389 02458 02579 03478 13457 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03567 13457 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 13457 23469
Size=8 |Aut|=1
01469 02389 02458 03478 03567 13457 23469
Size=7 |Aut|=1
01267 01368 01469 02579 03478 03567 13457 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 13457 23469
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12379 13457 23469
Size=8 |Aut|=1
01267 01469 02389 02579 12379 13457 23469
Size=7 |Aut|=1
01459 02389 02458 02579 12379 13457 23469
Size=7 |Aut|=1
01267 01368 01459 02579 03478 12379 13457 23469
Size=8 |Aut|=1
01368 01459 02458 02579 03478 12379 13457 23469
Size=8 |Aut|=1
01368 01459 02389 02458 03567 12379 13457 23469
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 13457 23469
Size=8 |Aut|=1
01368 01469 02389 02458 03567 12379 13457 23469
Size=8 |Aut|=1
01459 01469 02389 02458 03567 12379 13457 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03567 12379 13457 23469
Size=8 |Aut|=1
01267 01459 01469 02579 03478 12478 13457 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03478 12478 13457 23469
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12478 13457 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03567 12478 13457 23469
Size=8 |Aut|=1
01267 01469 02458 03478 03567 12478 13457 23469
Size=8 |Aut|=1
01459 01469 02458 03478 03567 12478 13457 23469
Size=8 |Aut|=1
01267 01469 02579 03478 03567 12478 13457 23469
Size=8 |Aut|=1
01267 01469 02458 02579 12379 12478 13457 23469
Size=8 |Aut|=1
01469 02458 03567 12379 12478 13457 23469
Size=7 |Aut|=1
01267 01459 01469 02389 02579 12568 13457 23469
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12568 13457 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03478 12568 13457 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 12568 13457 23469
Size=8 |Aut|=1
01469 02389 02579 03478 03567 12568 13457 23469
Size=8 |Aut|=1
01368 01459 01469 02579 12379 12568 13457 23469
Size=8 |Aut|=1
01368 01469 02389 02579 12379 12568 13457 23469
Size=8 |Aut|=1
01459 01469 02389 02579 12379 12568 13457 23469
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12568 13457 23469
Size=8 |Aut|=1
01459 02389 02458 03567 12379 12568 13457 23469
Size=8 |Aut|=2
01368 01469 02579 03567 12379 12568 13457 23469
Size=8 |Aut|=1
01459 02389 02579 03567 12379 12568 13457 23469
Size=8 |Aut|=1
01267 01469 02389 02579 12478 12568 13457 23469
Size=8 |Aut|=1
01267 01469 02458 02579 12478 12568 13457 23469
Size=8 |Aut|=1
01459 01469 02579 03478 12478 12568 13457 23469
Size=8 |Aut|=1
01459 02389 02579 03478 12478 12568 13457 23469
Size=8 |Aut|=1
01469 02389 02579 03478 12478 12568 13457 23469
Size=8 |Aut|=1
01267 01469 02579 03567 12478 12568 13457 23469
Size=8 |Aut|=1
01469 02389 02579 12379 12478 12568 13457 23469
Size=8 |Aut|=1
01469 02579 03567 12379 12478 12568 13457 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 13589 23469
Size=8 |Aut|=1
01459 01469 02389 02458 02579 03478 13589 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 13589 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03567 13589 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03478 03567 13589 23469
Size=8 |Aut|=1
01368 01469 02389 02579 03478 03567 13589 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 03567 13589 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 13589 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 03567 13589 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03478 12379 13589 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03567 12379 13589 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03567 12379 13589 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03567 12379 13589 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03567 12379 13589 23469
Size=8 |Aut|=1
01368 01459 02579 03478 03567 12379 13589 23469
Size=8 |Aut|=1
01368 01469 02579 03478 03567 12379 13589 23469
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12379 13589 23469
Size=8 |Aut|=1
01267 01459 02389 02458 02579 12478 13589 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03478 12478 13589 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03567 12478 13589 23469
Size=8 |Aut|=1
01267 01469 02579 03478 03567 12478 13589 23469
Size=8 |Aut|=1
01459 01469 02579 03478 03567 12478 13589 23469
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12478 13589 23469
Size=8 |Aut|=1
01469 02389 02579 03478 03567 12478 13589 23469
Size=8 |Aut|=1
01469 02389 02458 02579 12379 12478 13589 23469
Size=8 |Aut|=1
01459 02458 02579 03478 12379 12478 13589 23469
Size=8 |Aut|=1
01459 01469 02579 03567 12379 12478 13589 23469
Size=8 |Aut|=1
01459 02389 02579 03567 12379 12478 13589 23469
Size=8 |Aut|=1
01469 02458 02579 03567 12379 12478 13589 23469
Size=8 |Aut|=1
01459 02579 03478 03567 12379 12478 13589 23469
Size=8 |Aut|=1
01469 02579 03478 03567 12379 12478 13589 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 12568 13589 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 12568 13589 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12568 13589 23469
Size=8 |Aut|=1
01459 02389 02458 02579 12379 12568 13589 23469
Size=8 |Aut|=1
01469 02458 02579 12379 12478 12568 13589 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02458 02579 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02458 02579 03478 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 03478 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02458 02579 03478 23456 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02458 03567 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03567 23456 23469
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03567 23456 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02579 03567 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03567 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02458 03478 03567 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02458 03478 03567 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03478 03567 23456 23469
Size=8 |Aut|=1
01368 01459 02389 02579 03478 03567 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 03567 23456 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 03567 23456 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03478 12379 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02458 03567 12379 23456 23469
Size=8 |Aut|=1
01368 01459 02389 02458 03567 12379 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02458 03567 12379 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03567 12379 23456 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03567 12379 23456 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03567 12379 23456 23469
Size=8 |Aut|=1
01469 02389 02458 03478 03567 12379 23456 23469
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12379 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02458 02579 12478 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 12478 23456 23469
Size=8 |Aut|=1
01459 02389 02458 02579 03478 12478 23456 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 12478 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02458 03567 12478 23456 23469
Size=8 |Aut|=1
01267 01459 02389 02458 03567 12478 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02579 03567 12478 23456 23469
Size=8 |Aut|=1
01267 01459 02389 02579 03567 12478 23456 23469
Size=8 |Aut|=1
01267 01469 02458 02579 03567 12478 23456 23469
Size=8 |Aut|=1
01459 01469 02458 03478 03567 12478 23456 23469
Size=8 |Aut|=1
01459 02389 02458 03478 03567 12478 23456 23469
Size=8 |Aut|=1
01459 01469 02579 03478 03567 12478 23456 23469
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12478 23456 23469
Size=8 |Aut|=1
01469 02458 02579 03478 03567 12478 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12478 23456 23469
Size=8 |Aut|=1
01469 02389 02458 02579 12379 12478 23456 23469
Size=8 |Aut|=1
01469 02458 02579 03478 12379 12478 23456 23469
Size=8 |Aut|=1
01267 01469 02458 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01459 01469 02458 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01459 02389 02458 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01459 01469 02579 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01459 02389 02579 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01469 02458 02579 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01469 02458 03478 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01469 02579 03478 03567 12379 12478 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02458 12568 23456 23469
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12568 23456 23469
Size=8 |Aut|=1
01267 01368 01459 02389 02579 12568 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 12568 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12568 23456 23469
Size=8 |Aut|=1
01368 01469 02458 03478 12568 23456 23469
Size=7 |Aut|=1
01469 02389 02458 03478 12568 23456 23469
Size=7 |Aut|=1
01368 01459 01469 02579 03478 12568 23456 23469
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12568 23456 23469
Size=8 |Aut|=1
01368 01469 02389 02579 03478 12568 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 12568 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12568 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02458 12379 12568 23456 23469
Size=8 |Aut|=1
01459 02389 02458 12379 12568 23456 23469
Size=7 |Aut|=1
01267 01368 01459 02579 12379 12568 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02579 12379 12568 23456 23469
Size=8 |Aut|=1
01368 01459 02389 02579 12379 12568 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 12568 23456 23469
Size=8 |Aut|=1
01368 01459 02579 03478 12379 12568 23456 23469
Size=8 |Aut|=1
01459 02389 02579 03478 12379 12568 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02458 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02579 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01459 02389 02579 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02579 12478 12568 23456 23469
Size=8 |Aut|=1
01469 02458 03478 12478 12568 23456 23469
Size=7 |Aut|=1
01459 01469 02579 03478 12478 12568 23456 23469
Size=8 |Aut|=1
01459 02389 02579 03478 12478 12568 23456 23469
Size=8 |Aut|=1
01469 02389 02579 03478 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01469 02458 03567 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01469 02579 03567 12478 12568 23456 23469
Size=8 |Aut|=1
01469 02579 03478 03567 12478 12568 23456 23469
Size=8 |Aut|=1
01469 02458 12379 12478 12568 23456 23469
Size=7 |Aut|=1
01459 01469 02579 12379 12478 12568 23456 23469
Size=8 |Aut|=1
01459 02389 02579 12379 12478 12568 23456 23469
Size=8 |Aut|=1
01459 02579 03478 12379 12478 12568 23456 23469
Size=8 |Aut|=1
01267 01368 01459 01469 02579 13457 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02389 02579 13457 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02389 02579 13457 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 13457 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01368 01469 02389 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01469 02389 02458 02579 03478 13457 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02579 03567 13457 23456 23469
Size=8 |Aut|=1
01368 01469 02458 03478 03567 13457 23456 23469
Size=8 |Aut|=1
01267 01368 01459 02579 12379 13457 23456 23469
Size=8 |Aut|=1
01368 01459 01469 02579 12379 13457 23456 23469
Size=8 |Aut|=1
01459 01469 02389 02579 12379 13457 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 13457 23456 23469
Size=8 |Aut|=1
01368 01459 02579 03478 12379 13457 23456 23469
Size=8 |Aut|=1
01469 02389 02579 03478 12379 13457 23456 23469
Size=8 |Aut|=1
01368 01469 02579 03567 12379 13457 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02579 12478 13457 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02579 12478 13457 23456 23469
Size=8 |Aut|=1
01267 01469 02458 02579 12478 13457 23456 23469
Size=8 |Aut|=1
01469 02389 02579 03478 12478 13457 23456 23469
Size=8 |Aut|=1
01459 01469 02579 12379 12478 13457 23456 23469
Size=8 |Aut|=1
01459 02389 02579 12379 12478 13457 23456 23469
Size=8 |Aut|=1
01469 02458 02579 12379 12478 13457 23456 23469
Size=8 |Aut|=1
01459 02579 03478 12379 12478 13457 23456 23469
Size=8 |Aut|=1
01469 02389 02579 03478 12568 13457 23456 23469
Size=8 |Aut|=1
01459 02389 02579 12379 12568 13457 23456 23469
Size=8 |Aut|=1
01267 01368 01469 02458 02579 13589 23456 23469
Size=8 |Aut|=1
01267 01469 02389 02458 02579 13589 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 03478 13589 23456 23469
Size=8 |Aut|=1
01368 01469 02458 02579 12379 13589 23456 23469
Size=8 |Aut|=1
01267 01469 02579 03567 12478 13589 23456 23469
Size=8 |Aut|=1
01469 02579 03478 03567 12478 13589 23456 23469
Size=8 |Aut|=1
01469 02458 02579 12379 12478 13589 23456 23469
Size=8 |Aut|=1
01267 01459 01469 02458 02579 03478 23456 46789
Size=8 |Aut|=1
01459 01469 02389 02458 02579 03478 23456 46789
Size=8 |Aut|=1
01267 01368 01459 01469 02579 03567 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02458 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01459 01469 02458 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01459 01469 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01459 01469 02389 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01469 02458 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01469 02389 02458 02579 03478 03567 23456 46789
Size=8 |Aut|=1
01267 01469 02458 03567 12379 23456 46789
Size=7 |Aut|=1
01267 01459 01469 02579 03567 12379 23456 46789
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12379 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12478 23456 46789
Size=8 |Aut|=1
01368 01459 01469 02458 02579 12478 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02458 02579 12478 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02458 02579 12478 23456 46789
Size=8 |Aut|=1
01267 01469 02458 02579 03478 12478 23456 46789
Size=8 |Aut|=1
01368 01469 02458 02579 03478 12478 23456 46789
Size=8 |Aut|=1
01469 02389 02458 02579 03478 12478 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02458 03567 12478 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02579 03567 12478 23456 46789
Size=8 |Aut|=1
01459 01469 02579 03478 03567 12478 23456 46789
Size=8 |Aut|=1
01459 02389 02579 03478 03567 12478 23456 46789
Size=8 |Aut|=1
01469 02458 02579 03478 03567 12478 23456 46789
Size=8 |Aut|=1
01459 02389 02458 02579 12379 12478 23456 46789
Size=8 |Aut|=1
01469 02389 02458 02579 12379 12478 23456 46789
Size=8 |Aut|=1
01469 02458 02579 03478 12379 12478 23456 46789
Size=8 |Aut|=1
01459 02389 02579 03567 12379 12478 23456 46789
Size=8 |Aut|=1
01469 02579 03478 03567 12379 12478 23456 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02458 12568 23456 46789
Size=8 |Aut|=1
01267 01368 01459 01469 02579 12568 23456 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12568 23456 46789
Size=8 |Aut|=1
01267 01368 01459 02458 03478 12568 23456 46789
Size=8 |Aut|=1
01267 01368 01459 02579 03478 12568 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02579 03478 12568 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02458 03567 12568 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 03567 12568 23456 46789
Size=8 |Aut|=1
01267 01469 02458 03478 03567 12568 23456 46789
Size=8 |Aut|=1
01469 02389 02458 03478 03567 12568 23456 46789
Size=8 |Aut|=1
01267 01459 01469 02458 12379 12568 23456 46789
Size=8 |Aut|=1
01459 01469 02389 02458 12379 12568 23456 46789
Size=8 |Aut|=1
01267 01459 02458 03478 12379 12568 23456 46789
Size=8 |Aut|=1
01459 02389 02458 03478 12379 12568 23456 46789
Size=8 |Aut|=1
01267 01459 02579 03478 03567 12379 12568 23456 46789
Size=9 |Aut|=1
01368 01469 02458 12478 12568 23456 46789
Size=7 |Aut|=1
01368 01459 01469 02579 12478 12568 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02579 12478 12568 23456 46789
Size=8 |Aut|=1
01469 02458 03478 12478 12568 23456 46789
Size=7 |Aut|=1
01459 02389 02458 03478 12478 12568 23456 46789
Size=8 |Aut|=1
01368 01459 02579 03478 12478 12568 23456 46789
Size=8 |Aut|=1
01368 01469 02579 03478 12478 12568 23456 46789
Size=8 |Aut|=1
01459 02458 02579 03478 12478 12568 23456 46789
Size=8 |Aut|=1
01459 02579 03478 03567 12478 12568 23456 46789
Size=8 |Aut|=1
01469 02458 12379 12478 12568 23456 46789
Size=7 |Aut|=1
01459 02458 03478 12379 12478 12568 23456 46789
Size=8 |Aut|=1
01267 01368 01459 01469 02579 13457 23456 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02579 13457 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 03478 13457 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02579 03478 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02579 03478 13457 23456 46789
Size=8 |Aut|=1
01469 02389 02458 02579 03478 13457 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 12379 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02579 12379 13457 23456 46789
Size=8 |Aut|=1
01267 01469 02458 02579 12379 13457 23456 46789
Size=8 |Aut|=1
01459 02389 02458 03478 03567 12379 13457 23456 46789
Size=9 |Aut|=1
01267 01368 01459 02579 12478 13457 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 12478 13457 23456 46789
Size=8 |Aut|=1
01368 01459 02389 02579 12478 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02389 02579 12478 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02458 02579 12478 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02579 03478 12478 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02458 03567 12478 13457 23456 46789
Size=8 |Aut|=1
01459 02579 03478 03567 12478 13457 23456 46789
Size=8 |Aut|=1
01469 02458 02579 12379 12478 13457 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02579 12568 13457 23456 46789
Size=8 |Aut|=1
01368 01469 02579 12478 12568 13457 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02458 02579 13589 23456 46789
Size=8 |Aut|=1
01267 01469 02458 02579 03478 13589 23456 46789
Size=8 |Aut|=1
01459 02579 03478 03567 12478 13589 23456 46789
Size=8 |Aut|=1
01469 02579 03478 03567 12478 13589 23456 46789
Size=8 |Aut|=1
01267 01368 01469 02389 02458 02579 23469 46789
Size=8 |Aut|=1
01267 01368 01469 02458 02579 03478 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02458 02579 03478 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02458 02579 03478 23469 46789
Size=8 |Aut|=1
01267 01368 01469 02389 02579 03567 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02389 02579 03567 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02579 03567 23469 46789
Size=8 |Aut|=1
01368 01469 02389 02458 02579 03567 23469 46789
Size=8 |Aut|=1
01267 01469 02389 02458 03478 03567 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03478 03567 23469 46789
Size=9 |Aut|=1
01267 01368 01469 02579 03478 03567 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 03478 03567 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 03478 03567 23469 46789
Size=8 |Aut|=1
01267 01469 02458 02579 03478 03567 23469 46789
Size=8 |Aut|=1
01368 01469 02458 02579 03478 03567 23469 46789
Size=8 |Aut|=1
01459 01469 02458 02579 12379 23469 46789
Size=7 |Aut|=1
01267 01469 02458 02579 03478 12379 23469 46789
Size=8 |Aut|=1
01267 01469 02389 02458 03567 12379 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 03567 12379 23469 46789
Size=8 |Aut|=1
01368 01469 02458 02579 03567 12379 23469 46789
Size=8 |Aut|=1
01469 02389 02458 03478 03567 12379 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 03567 12379 23469 46789
Size=8 |Aut|=1
01469 02458 02579 03478 03567 12379 23469 46789
Size=8 |Aut|=1
01267 01368 01469 02458 02579 12478 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02458 02579 12478 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02458 02579 12478 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03567 12478 23469 46789
Size=7 |Aut|=1
01368 01469 02458 02579 03567 12478 23469 46789
Size=8 |Aut|=1
01459 01469 02458 03478 03567 12478 23469 46789
Size=8 |Aut|=1
01459 01469 02458 03567 12379 12478 23469 46789
Size=8 |Aut|=1
01469 02458 02579 03567 12379 12478 23469 46789
Size=8 |Aut|=1
01469 02458 03478 03567 12379 12478 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02389 02579 12568 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02579 12568 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 03478 12568 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 03478 12568 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 12379 12568 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 12379 12568 23469 46789
Size=8 |Aut|=1
01459 01469 02579 12478 12568 23469 46789
Size=7 |Aut|=1
01459 01469 02458 03478 12478 12568 23469 46789
Size=8 |Aut|=1
01469 02389 02458 02579 03567 12478 12568 23469 46789
Size=9 |Aut|=1
01459 01469 02458 12379 12478 12568 23469 46789
Size=8 |Aut|=1
01469 02458 03567 12379 12478 12568 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 02579 13457 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 03478 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02579 03478 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02579 03567 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 03567 13457 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 12379 13457 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 12379 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02579 12379 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 12379 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03567 12379 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 12379 12478 13457 23469 46789
Size=8 |Aut|=1
01267 01469 02389 02579 12568 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02579 12568 13457 23469 46789
Size=8 |Aut|=1
01267 01469 02579 03478 12568 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 12568 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02579 12379 12568 13457 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 02579 13589 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02458 02579 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 02579 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 03567 23456 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 03567 23456 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 03567 23456 23469 46789
Size=8 |Aut|=1
01368 01459 02389 02579 03567 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 02579 03567 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 03478 03567 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 03567 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 03567 12379 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02458 03567 12379 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 03567 12478 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02458 03567 12478 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02579 03567 12478 23456 23469 46789
Size=8 |Aut|=1
01368 01459 02389 02458 12568 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02458 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01368 01459 02579 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01459 01469 02579 12568 23456 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 12568 23456 23469 46789
Size=8 |Aut|=1
01368 01459 02389 02579 12568 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 02579 12568 23456 23469 46789
Size=8 |Aut|=1
01368 01459 02579 03478 12568 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03478 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01459 02458 12379 12568 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 12379 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01459 02389 02579 12379 12568 23456 23469 46789
Size=9 |Aut|=1
01459 02579 03478 12379 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01459 02579 03567 12379 12568 23456 23469 46789
Size=9 |Aut|=1
01267 01459 02458 12478 12568 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02458 12478 12568 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02579 12478 12568 23456 23469 46789
Size=8 |Aut|=1
01459 02579 03478 12478 12568 23456 23469 46789
Size=8 |Aut|=1
01267 01368 01459 02579 13457 23456 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02579 13457 23456 23469 46789
Size=8 |Aut|=1
01368 01459 02389 02579 13457 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02389 02579 13457 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02579 03567 13457 23456 23469 46789
Size=8 |Aut|=1
01459 01469 02579 12379 13457 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02579 12379 13457 23456 23469 46789
Size=8 |Aut|=1
01459 02389 02579 12478 13457 23456 23469 46789
Size=8 |Aut|=1
01267 01459 02579 03478 12478 13457 23456 23469 46789
Size=9 |Aut|=1
01459 01469 02579 12568 13457 23456 23469 46789
Size=8 |Aut|=1
01368 01459 01469 02389 02458 03478 03567 23456 56789
Size=9 |Aut|=1
01267 01459 01469 02389 02579 03478 03567 23456 56789
Size=9 |Aut|=1
01267 01459 02458 03567 12379 12478 23456 56789
Size=8 |Aut|=1
01267 01459 01469 02389 02458 03478 12568 23456 56789
Size=9 |Aut|=1
01267 01459 01469 02579 12379 12478 12568 23456 56789
Size=9 |Aut|=1
01267 01459 01469 02579 12379 12478 13457 23456 56789
Size=9 |Aut|=1
01368 01459 01469 02579 12379 12478 13457 23456 56789
Size=9 |Aut|=1

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

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

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

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