=======================================================================
Design parameters are 2-(31,6,1), b=31
Blocks of the design are:
01234p 05afkq 06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 19cfnt 25dgot 26ajnu 27chmq 28eflr 29biks 35cjls 36ehkt 37bfou 38dinq 39agmr 45bhnr 46dfms 47ailt 48cgku
49ejoq 56789p abcdep fghijp klmnop pqrstu
The design is simple
=======================================================================
Auto’m group order is 372000
All non-isomorphic minimal defining sets are:
01234p 05afkq 06cior 07egns 08bjmt 15eimu 16bglq 17djkr 18ahos 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 09dhlu 15eimu 16bglq 17djkr 18ahos 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 26ajnu 35cjls 45bhnr
Size=11 |Aut|=2
01234p 05afkq 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 08bjmt 15eimu 16bglq 17djkr 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 09dhlu 15eimu 16bglq 17djkr 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=2
01234p 06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 08bjmt 15eimu 16bglq 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 09dhlu 15eimu 16bglq 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=11 |Aut|=1
01234p 06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=2
01234p 05afkq 06cior 07egns 08bjmt 15eimu 17djkr 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=2
01234p 05afkq 06cior 07egns 09dhlu 15eimu 17djkr 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 09dhlu 15eimu 17djkr 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 09dhlu 16bglq 17djkr 18ahos 19cfnt 26ajnu 35cjls 45bhnr
Size=12 |Aut|=2
01234p 05afkq 06cior 07egns 08bjmt 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 08bjmt 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
06cior 07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 15eimu 16bglq 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 09dhlu 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=2
01234p 06cior 07egns 08bjmt 09dhlu 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 07egns 08bjmt 09dhlu 15eimu 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 16bglq 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 07egns 08bjmt 09dhlu 16bglq 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
07egns 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 19cfnt 25dgot 26ajnu 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 15eimu 16bglq 17djkr 18ahos 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 15eimu 16bglq 17djkr 18ahos 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 09dhlu 15eimu 16bglq 17djkr 18ahos 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 15eimu 16bglq 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=11 |Aut|=1
01234p 06cior 08bjmt 09dhlu 15eimu 16bglq 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=11 |Aut|=2
01234p 05afkq 07egns 08bjmt 09dhlu 15eimu 16bglq 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 15eimu 17djkr 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=11 |Aut|=2
01234p 05afkq 06cior 07egns 09dhlu 15eimu 17djkr 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 09dhlu 15eimu 17djkr 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 08bjmt 16bglq 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 09dhlu 16bglq 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 08bjmt 09dhlu 16bglq 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 08bjmt 09dhlu 15eimu 16bglq 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 08bjmt 16bglq 17djkr 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 09dhlu 16bglq 17djkr 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 08bjmt 09dhlu 16bglq 17djkr 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
06cior 08bjmt 09dhlu 15eimu 16bglq 17djkr 18ahos 19cfnt 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 08bjmt 16bglq 17djkr 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 09dhlu 16bglq 17djkr 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 08bjmt 15eimu 16bglq 17djkr 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
05afkq 06cior 07egns 09dhlu 16bglq 17djkr 18ahos 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=3
01234p 05afkq 06cior 08bjmt 16bglq 17djkr 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 07egns 08bjmt 16bglq 17djkr 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 09dhlu 16bglq 17djkr 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
06cior 07egns 08bjmt 09dhlu 16bglq 17djkr 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
01234p 05afkq 06cior 07egns 18ahos 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=11 |Aut|=20
01234p 06cior 07egns 09dhlu 15eimu 18ahos 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=2
01234p 06cior 07egns 09dhlu 16bglq 18ahos 19cfnt 25dgot 26ajnu 27chmq 35cjls 45bhnr
Size=12 |Aut|=1
06cior 07egns 09dhlu 15eimu 16bglq 17djkr 18ahos 25dgot 27chmq 28eflr 35cjls 45bhnr
Size=12 |Aut|=1
01234p 06cior 07egns 09dhlu 16bglq 17djkr 19cfnt 25dgot 27chmq 28eflr 35cjls 45bhnr
Size=12 |Aut|=3
01234p 06cior 08bjmt 09dhlu 15eimu 16bglq 17djkr 26ajnu 27chmq 28eflr 35cjls 45bhnr
Size=12 |Aut|=3
01234p 06cior 08bjmt 09dhlu 15eimu 17djkr 19cfnt 26ajnu 27chmq 28eflr 35cjls 45bhnr
Size=12 |Aut|=3
05afkq 06cior 07egns 08bjmt 18ahos 19cfnt 25dgot 26ajnu 27chmq 28eflr 35cjls 45bhnr
Size=12 |Aut|=2
=======================================================================
Size Count
—- —–
11 6
12 61
Only 67 (non-isomorphic) minimal defining sets
Totally 21718600 (inequivalent) minimal defining sets
=======================================================================