Minimal Defining Sets of the 2-(9,3,2) Designs – D13

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

Design parameters are 2-(9,3,2), b=24

Blocks of the design are:
012 012 034 034 056 057 068 078 135 138 146 147 156 178 236 237 245 248 257 268 358 367 458 467
The design is not simple, with support 22

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

Auto’m group order is 8

All non-isomorphic minimal defining sets are:

012 012 034 034 056 057 135 138 156 236 257
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 156 236 257
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 156 236 257
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 156 236 257
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 156 236 257
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 156 236 257
Size=11 |Aut|=1
034 034 057 078 135 138 146 156 236 257
Size=10 |Aut|=1
012 012 056 057 078 135 138 146 156 236 257
Size=11 |Aut|=1
012 012 034 034 056 057 146 147 156 236 257
Size=11 |Aut|=1
012 012 034 034 056 068 146 147 156 236 257
Size=11 |Aut|=1
012 012 034 034 057 078 146 147 156 236 257
Size=11 |Aut|=1
012 012 034 034 068 078 146 147 156 236 257
Size=11 |Aut|=1
012 012 056 057 068 078 146 147 156 236 257
Size=11 |Aut|=1
034 034 056 057 068 078 146 147 156 236 257
Size=11 |Aut|=1
012 012 056 057 078 135 146 147 156 236 257
Size=11 |Aut|=1
034 034 057 068 078 135 146 147 156 236 257
Size=11 |Aut|=1
034 034 056 057 078 138 146 147 156 236 257
Size=11 |Aut|=1
056 057 068 078 135 138 146 147 156 236 257
Size=11 |Aut|=1
012 012 034 034 056 057 135 138 178 236 257
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 178 236 257
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 178 236 257
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 178 236 257
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 178 236 257
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 178 236 257
Size=11 |Aut|=1
034 034 057 078 135 138 146 178 236 257
Size=10 |Aut|=1
012 012 034 034 056 057 147 178 236 257
Size=10 |Aut|=1
012 012 034 034 056 068 147 178 236 257
Size=10 |Aut|=1
012 012 034 034 057 078 147 178 236 257
Size=10 |Aut|=1
012 012 034 034 068 078 147 178 236 257
Size=10 |Aut|=1
012 012 056 057 068 078 147 178 236 257
Size=10 |Aut|=1
034 034 056 057 068 078 147 178 236 257
Size=10 |Aut|=1
034 034 056 057 068 138 147 178 236 257
Size=10 |Aut|=1
012 012 056 057 078 138 147 178 236 257
Size=10 |Aut|=1
056 057 068 078 135 138 147 178 236 257
Size=10 |Aut|=1
034 034 057 078 146 147 178 236 257
Size=9 |Aut|=1
034 034 056 057 138 146 147 178 236 257
Size=10 |Aut|=1
012 012 056 057 078 135 138 156 178 236 257
Size=11 |Aut|=1
034 034 056 068 078 135 147 156 178 236 257
Size=11 |Aut|=1
034 034 056 068 135 138 147 156 178 236 257
Size=11 |Aut|=1
012 012 056 057 078 146 147 156 178 236 257
Size=11 |Aut|=1
034 034 068 078 135 146 147 156 178 236 257
Size=11 |Aut|=1
056 057 078 135 138 146 147 156 178 236 257
Size=11 |Aut|=1
012 012 034 034 056 057 135 138 156 237 257
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 156 237 257
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 156 237 257
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 156 237 257
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 156 237 257
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 156 237 257
Size=11 |Aut|=1
012 012 034 034 056 057 146 156 237 257
Size=10 |Aut|=2
012 012 034 034 056 068 146 156 237 257
Size=10 |Aut|=1
012 012 034 034 068 078 146 156 237 257
Size=10 |Aut|=2
012 012 056 057 068 078 146 156 237 257
Size=10 |Aut|=2
034 034 056 057 068 078 146 156 237 257
Size=10 |Aut|=2
012 012 056 068 078 135 146 156 237 257
Size=10 |Aut|=1
034 034 057 068 078 135 146 156 237 257
Size=10 |Aut|=1
034 034 056 057 078 138 146 156 237 257
Size=10 |Aut|=1
034 034 057 078 135 138 146 156 237 257
Size=10 |Aut|=1
056 057 068 078 135 138 146 156 237 257
Size=10 |Aut|=1
012 012 034 034 056 057 135 138 178 237 257
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 178 237 257
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 178 237 257
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 178 237 257
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 178 237 257
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 178 237 257
Size=11 |Aut|=1
034 034 056 057 078 138 146 178 237 257
Size=10 |Aut|=1
056 057 068 078 135 138 146 178 237 257
Size=10 |Aut|=1
034 034 056 068 135 138 147 178 237 257
Size=10 |Aut|=1
012 012 056 068 078 135 138 147 178 237 257
Size=11 |Aut|=1
034 034 056 068 146 147 178 237 257
Size=9 |Aut|=1
034 034 056 057 138 146 147 178 237 257
Size=10 |Aut|=1
012 012 056 068 078 138 146 147 178 237 257
Size=11 |Aut|=1
012 012 056 068 078 135 138 156 178 237 257
Size=11 |Aut|=1
012 012 056 068 078 146 147 156 178 237 257
Size=11 |Aut|=1
034 034 068 078 135 146 147 156 178 237 257
Size=11 |Aut|=1
056 068 078 135 138 146 147 156 178 237 257
Size=11 |Aut|=1
056 057 068 078 135 138 156 236 237 257
Size=10 |Aut|=1
012 012 057 078 135 146 156 236 237 257
Size=10 |Aut|=1
057 078 135 138 146 156 236 237 257
Size=9 |Aut|=1
012 012 057 068 078 135 147 178 236 237 257
Size=11 |Aut|=1
012 012 056 068 078 138 147 178 236 237 257
Size=11 |Aut|=1
012 012 057 078 135 138 147 178 236 237 257
Size=11 |Aut|=1
012 012 057 078 146 147 178 236 237 257
Size=10 |Aut|=2
057 068 078 135 138 146 147 178 236 237 257
Size=11 |Aut|=1
012 012 057 068 078 135 156 178 236 237 257
Size=11 |Aut|=1
012 012 056 057 078 138 156 178 236 237 257
Size=11 |Aut|=1
012 012 057 078 135 138 156 178 236 237 257
Size=11 |Aut|=1
012 012 057 078 146 156 178 236 237 257
Size=10 |Aut|=1
012 012 056 068 078 147 156 178 236 237 257
Size=11 |Aut|=1
056 068 078 135 138 147 156 178 236 237 257
Size=11 |Aut|=1
034 034 056 057 146 147 156 178 236 237 257
Size=11 |Aut|=1
034 034 068 078 146 147 156 178 236 237 257
Size=11 |Aut|=1
034 034 057 078 138 146 178 236 245 257
Size=10 |Aut|=2
056 057 068 078 138 147 178 236 245 257
Size=10 |Aut|=1
056 057 078 138 146 147 178 236 245 257
Size=10 |Aut|=1
012 012 056 057 078 138 156 178 236 245 257
Size=11 |Aut|=1
034 034 068 078 135 147 156 178 236 245 257
Size=11 |Aut|=1
012 012 056 068 078 135 147 156 178 236 245 257
Size=12 |Aut|=1
056 068 078 135 138 147 156 178 236 245 257
Size=11 |Aut|=1
012 012 068 078 135 146 156 237 245 257
Size=10 |Aut|=2
034 034 068 078 135 146 156 237 245 257
Size=10 |Aut|=2
012 012 056 068 135 138 146 156 237 245 257
Size=11 |Aut|=1
057 068 078 135 138 146 156 237 245 257
Size=10 |Aut|=1
012 012 056 068 135 138 156 178 237 245 257
Size=11 |Aut|=1
068 078 135 138 146 156 178 237 245 257
Size=10 |Aut|=1
012 012 056 057 135 146 147 156 236 237 245 257
Size=12 |Aut|=2
056 057 138 146 147 178 236 237 245 257
Size=10 |Aut|=1
057 078 138 146 147 178 236 237 245 257
Size=10 |Aut|=2
012 012 068 078 135 156 178 236 237 245 257
Size=11 |Aut|=1
012 012 056 057 138 156 178 236 237 245 257
Size=11 |Aut|=1
057 078 138 146 156 178 236 237 245 257
Size=10 |Aut|=1
012 012 056 068 147 156 178 236 237 245 257
Size=11 |Aut|=1
012 012 056 057 146 147 156 178 236 237 245 257
Size=12 |Aut|=1
034 034 056 057 078 135 156 178 236 248 257
Size=11 |Aut|=1
034 034 057 078 135 146 156 178 236 248 257
Size=11 |Aut|=1
056 057 068 078 135 147 156 178 236 248 257
Size=11 |Aut|=2
056 057 078 135 138 147 156 178 236 248 257
Size=11 |Aut|=1
056 057 068 078 135 146 147 178 236 237 248 257
Size=12 |Aut|=2
034 034 056 057 135 156 178 236 237 248 257
Size=11 |Aut|=1
056 057 078 135 138 156 178 236 237 248 257
Size=11 |Aut|=1
034 034 056 057 146 156 178 236 237 248 257
Size=11 |Aut|=1
056 057 078 135 146 156 178 236 237 248 257
Size=11 |Aut|=1
034 034 056 057 147 156 178 236 237 248 257
Size=11 |Aut|=1
056 068 078 135 147 156 178 236 237 248 257
Size=11 |Aut|=1
056 068 078 135 156 178 236 237 245 248 257
Size=11 |Aut|=1
056 057 078 138 156 178 236 237 245 248 257
Size=11 |Aut|=1
057 078 135 138 156 178 236 237 245 248 257
Size=11 |Aut|=1
012 012 057 078 135 138 156 178 236 257 268
Size=11 |Aut|=1
057 078 135 138 146 147 156 178 236 257 268
Size=11 |Aut|=1
012 012 056 057 146 147 156 178 236 237 257 268
Size=12 |Aut|=2
012 012 057 078 138 146 156 178 236 245 257 268
Size=12 |Aut|=2
012 012 034 034 056 057 135 138 156 257 358
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 156 257 358
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 156 257 358
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 156 257 358
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 156 257 358
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 156 257 358
Size=11 |Aut|=1
034 034 057 078 135 138 146 156 257 358
Size=10 |Aut|=1
012 012 034 034 056 057 146 147 156 257 358
Size=11 |Aut|=1
012 012 034 034 056 068 146 147 156 257 358
Size=11 |Aut|=1
012 012 034 034 057 078 146 147 156 257 358
Size=11 |Aut|=1
012 012 034 034 068 078 146 147 156 257 358
Size=11 |Aut|=1
012 012 056 057 068 078 146 147 156 257 358
Size=11 |Aut|=1
034 034 056 057 068 078 146 147 156 257 358
Size=11 |Aut|=1
034 034 057 068 078 135 146 147 156 257 358
Size=11 |Aut|=1
034 034 056 057 078 138 146 147 156 257 358
Size=11 |Aut|=1
056 057 068 078 135 138 146 147 156 257 358
Size=11 |Aut|=1
012 012 034 034 056 057 135 138 178 257 358
Size=11 |Aut|=1
012 012 034 034 056 068 135 138 178 257 358
Size=11 |Aut|=1
012 012 034 034 057 078 135 138 178 257 358
Size=11 |Aut|=1
012 012 034 034 068 078 135 138 178 257 358
Size=11 |Aut|=1
012 012 056 057 068 078 135 138 178 257 358
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 178 257 358
Size=11 |Aut|=1
034 034 057 078 135 138 146 178 257 358
Size=10 |Aut|=1
034 034 056 068 135 138 147 178 257 358
Size=10 |Aut|=1
012 012 034 034 056 057 146 147 178 257 358
Size=11 |Aut|=1
012 012 034 034 056 068 146 147 178 257 358
Size=11 |Aut|=1
012 012 034 034 057 078 146 147 178 257 358
Size=11 |Aut|=1
012 012 034 034 068 078 146 147 178 257 358
Size=11 |Aut|=1
012 012 056 057 068 078 146 147 178 257 358
Size=11 |Aut|=1
034 034 056 057 068 078 146 147 178 257 358
Size=11 |Aut|=1
034 034 056 057 138 146 147 178 257 358
Size=10 |Aut|=1
056 057 068 078 135 138 146 147 178 257 358
Size=11 |Aut|=1
034 034 068 078 135 146 147 156 178 257 358
Size=11 |Aut|=1
012 012 056 057 078 135 138 156 236 257 358
Size=11 |Aut|=1
012 012 057 078 135 138 146 156 236 257 358
Size=11 |Aut|=1
012 012 057 078 135 146 147 156 236 257 358
Size=11 |Aut|=1
057 068 078 135 138 146 147 156 236 257 358
Size=11 |Aut|=1
034 034 056 068 078 135 147 178 236 257 358
Size=11 |Aut|=1
012 012 057 068 078 135 147 178 236 257 358
Size=11 |Aut|=1
012 012 057 078 135 138 147 178 236 257 358
Size=11 |Aut|=1
012 012 057 078 146 147 178 236 257 358
Size=10 |Aut|=1
056 057 078 135 138 146 147 178 236 257 358
Size=11 |Aut|=1
012 012 057 078 135 138 156 178 236 257 358
Size=11 |Aut|=1
057 078 135 138 146 147 156 178 236 257 358
Size=11 |Aut|=1
012 012 056 057 068 135 138 156 237 257 358
Size=11 |Aut|=1
012 012 056 057 068 138 146 156 237 257 358
Size=11 |Aut|=1
012 012 056 068 135 138 146 156 237 257 358
Size=11 |Aut|=1
012 012 056 068 146 147 156 237 257 358
Size=10 |Aut|=1
012 012 056 057 068 135 138 178 237 257 358
Size=11 |Aut|=1
012 012 056 068 078 135 138 178 237 257 358
Size=11 |Aut|=1
034 034 057 068 078 135 146 178 237 257 358
Size=11 |Aut|=1
012 012 056 057 068 138 146 178 237 257 358
Size=11 |Aut|=1
012 012 056 068 135 138 147 178 237 257 358
Size=11 |Aut|=1
012 012 056 057 068 146 147 178 237 257 358
Size=11 |Aut|=1
012 012 056 068 138 146 147 178 237 257 358
Size=11 |Aut|=1
056 057 068 135 138 146 147 178 237 257 358
Size=11 |Aut|=1
012 012 056 068 135 138 156 178 237 257 358
Size=11 |Aut|=1
056 068 135 138 146 147 156 178 237 257 358
Size=11 |Aut|=1
012 012 056 057 135 138 156 236 237 257 358
Size=11 |Aut|=1
012 012 068 078 135 146 156 236 237 257 358
Size=11 |Aut|=1
012 012 056 057 068 135 147 156 236 237 257 358
Size=12 |Aut|=1
012 012 056 057 135 146 147 156 236 237 257 358
Size=12 |Aut|=1
012 012 056 057 068 135 147 178 236 237 257 358
Size=12 |Aut|=1
012 012 056 057 135 138 147 178 236 237 257 358
Size=12 |Aut|=1
012 012 068 078 135 138 147 178 236 237 257 358
Size=12 |Aut|=1
056 068 078 135 138 147 178 236 237 257 358
Size=11 |Aut|=1
034 034 056 057 146 147 178 236 237 257 358
Size=11 |Aut|=1
012 012 056 057 138 146 147 178 236 237 257 358
Size=12 |Aut|=1
012 012 068 078 138 146 147 178 236 237 257 358
Size=12 |Aut|=1
056 057 135 138 146 147 178 236 237 257 358
Size=11 |Aut|=1
057 078 135 138 146 147 178 236 237 257 358
Size=11 |Aut|=1
012 012 068 078 135 138 156 178 236 237 257 358
Size=12 |Aut|=1
012 012 056 057 138 146 156 178 236 237 257 358
Size=12 |Aut|=1
012 012 056 068 135 147 156 178 236 237 257 358
Size=12 |Aut|=1
012 012 034 068 078 135 147 156 178 236 237 257 358
Size=13 |Aut|=1
012 012 056 057 146 147 156 178 236 237 257 358
Size=12 |Aut|=1
012 012 068 078 146 147 156 178 236 237 257 358
Size=12 |Aut|=1
068 078 135 138 146 147 156 178 236 237 257 358
Size=12 |Aut|=1
012 012 057 068 078 135 138 156 245 257 358
Size=11 |Aut|=1
012 012 057 068 078 138 146 156 245 257 358
Size=11 |Aut|=1
012 012 068 078 135 138 146 156 245 257 358
Size=11 |Aut|=1
012 012 056 068 078 146 147 156 245 257 358
Size=11 |Aut|=1
012 012 057 068 078 146 147 156 245 257 358
Size=11 |Aut|=1
012 012 068 078 135 146 147 156 245 257 358
Size=11 |Aut|=1
057 068 078 135 138 146 147 156 245 257 358
Size=11 |Aut|=1
012 012 068 078 135 138 178 245 257 358
Size=10 |Aut|=1
034 034 068 078 135 138 178 245 257 358
Size=10 |Aut|=1
012 012 057 068 078 138 146 178 245 257 358
Size=11 |Aut|=1
012 012 057 068 078 146 147 178 245 257 358
Size=11 |Aut|=1
034 034 068 078 135 146 147 178 245 257 358
Size=11 |Aut|=1
012 012 068 078 138 146 147 178 245 257 358
Size=11 |Aut|=1
057 068 078 135 138 146 147 178 245 257 358
Size=11 |Aut|=1
012 012 068 078 146 147 156 178 245 257 358
Size=11 |Aut|=1
068 078 135 138 146 147 156 178 245 257 358
Size=11 |Aut|=1
034 034 068 078 135 147 178 236 245 257 358
Size=11 |Aut|=1
068 078 135 138 147 178 236 245 257 358
Size=10 |Aut|=1
057 078 138 146 147 178 236 245 257 358
Size=10 |Aut|=1
012 012 057 078 138 146 156 178 236 245 257 358
Size=12 |Aut|=1
012 012 068 078 135 147 156 178 236 245 257 358
Size=12 |Aut|=1
068 078 135 138 146 156 237 245 257 358
Size=10 |Aut|=1
056 068 078 138 146 147 156 237 245 257 358
Size=11 |Aut|=1
034 034 068 078 135 146 178 237 245 257 358
Size=11 |Aut|=1
057 068 078 135 138 146 178 237 245 257 358
Size=11 |Aut|=1
057 068 078 135 138 156 236 237 245 257 358
Size=11 |Aut|=1
012 012 056 057 135 138 156 248 257 358
Size=10 |Aut|=1
012 012 056 057 068 135 147 156 248 257 358
Size=11 |Aut|=1
012 012 056 057 135 146 147 156 248 257 358
Size=11 |Aut|=1
056 057 068 135 138 146 147 156 248 257 358
Size=11 |Aut|=1
012 012 056 057 135 138 147 178 248 257 358
Size=11 |Aut|=1
012 012 056 057 078 146 147 178 248 257 358
Size=11 |Aut|=1
012 012 056 057 138 146 147 178 248 257 358
Size=11 |Aut|=1
056 057 135 138 146 147 178 248 257 358
Size=10 |Aut|=1
012 012 056 057 146 147 156 178 248 257 358
Size=11 |Aut|=1
056 057 068 078 135 138 147 156 236 248 257 358
Size=12 |Aut|=1
056 057 135 138 146 156 237 248 257 358
Size=10 |Aut|=1
056 057 068 135 146 147 156 237 248 257 358
Size=11 |Aut|=1
056 057 068 078 135 146 147 178 237 248 257 358
Size=12 |Aut|=1
012 012 056 057 138 146 156 178 237 248 257 358
Size=12 |Aut|=1
012 012 056 068 135 147 156 178 237 248 257 358
Size=12 |Aut|=1
056 068 135 146 147 156 178 237 248 257 358
Size=11 |Aut|=1
056 057 078 135 138 156 236 237 248 257 358
Size=11 |Aut|=1
056 057 078 135 146 147 178 236 237 248 257 358
Size=12 |Aut|=1
056 057 135 146 147 156 178 236 237 248 257 358
Size=12 |Aut|=1
034 034 056 068 135 138 156 245 248 257 358
Size=11 |Aut|=1
012 012 056 068 135 138 146 156 245 248 257 358
Size=12 |Aut|=1
012 012 057 078 135 138 146 156 245 248 257 358
Size=12 |Aut|=1
012 012 057 068 078 135 147 156 245 248 257 358
Size=12 |Aut|=1
012 012 056 068 135 146 147 156 245 248 257 358
Size=12 |Aut|=1
012 012 057 078 135 146 147 156 245 248 257 358
Size=12 |Aut|=1
034 034 057 068 078 135 146 178 245 248 257 358
Size=12 |Aut|=1
034 034 056 068 078 135 147 178 245 248 257 358
Size=12 |Aut|=1
012 012 057 068 078 135 147 178 245 248 257 358
Size=12 |Aut|=1
012 012 056 068 138 147 178 245 248 257 358
Size=11 |Aut|=1
012 012 057 078 135 138 147 178 245 248 257 358
Size=12 |Aut|=1
012 012 057 078 146 147 178 245 248 257 358
Size=11 |Aut|=1
057 078 135 138 146 147 178 245 248 257 358
Size=11 |Aut|=1
012 012 056 068 135 138 156 178 245 248 257 358
Size=12 |Aut|=1
012 012 057 078 135 138 156 178 245 248 257 358
Size=12 |Aut|=1
012 012 057 078 138 146 156 178 245 248 257 358
Size=12 |Aut|=1
012 012 034 056 068 135 147 156 178 245 248 257 358
Size=13 |Aut|=1
012 012 068 078 135 147 156 178 245 248 257 358
Size=12 |Aut|=1
012 012 056 068 146 147 156 178 245 248 257 358
Size=12 |Aut|=1
056 068 135 138 146 147 156 178 245 248 257 358
Size=12 |Aut|=1
057 068 078 135 138 147 156 236 245 248 257 358
Size=12 |Aut|=1
056 057 078 146 147 178 236 245 248 257 358
Size=11 |Aut|=1
057 078 135 138 147 156 178 236 245 248 257 358
Size=12 |Aut|=1
034 034 056 057 138 146 147 156 257 268 358
Size=11 |Aut|=1
057 078 135 138 146 147 178 236 257 268 358
Size=11 |Aut|=1
056 068 138 146 147 156 237 245 257 268 358
Size=11 |Aut|=1
012 012 057 078 135 138 156 236 257 358 367
Size=11 |Aut|=1
012 012 057 078 146 147 156 236 257 358 367
Size=11 |Aut|=1
012 012 057 078 135 138 178 236 257 358 367
Size=11 |Aut|=1
012 012 056 068 135 138 156 237 257 358 367
Size=11 |Aut|=1
012 012 056 068 135 138 178 237 257 358 367
Size=11 |Aut|=1
012 012 056 068 078 135 146 178 237 257 358 367
Size=12 |Aut|=1
012 012 056 068 146 147 178 237 257 358 367
Size=11 |Aut|=1
012 012 056 068 147 156 236 237 257 358 367
Size=11 |Aut|=1
012 012 056 057 146 147 156 236 237 257 358 367
Size=12 |Aut|=1
012 012 068 078 146 147 156 236 237 257 358 367
Size=12 |Aut|=1
057 078 135 138 146 178 236 237 257 358 367
Size=11 |Aut|=1
012 012 056 068 147 178 236 237 257 358 367
Size=11 |Aut|=1
056 068 135 138 147 178 236 237 257 358 367
Size=11 |Aut|=1
012 012 056 057 146 147 178 236 237 257 358 367
Size=12 |Aut|=1
012 012 068 078 146 147 178 236 237 257 358 367
Size=12 |Aut|=1
012 012 056 068 078 138 147 156 245 257 358 367
Size=12 |Aut|=1
012 012 068 078 146 147 156 245 257 358 367
Size=11 |Aut|=1
012 012 068 078 146 147 178 245 257 358 367
Size=11 |Aut|=1
012 012 057 078 138 146 156 236 245 257 358 367
Size=12 |Aut|=1
012 012 057 078 138 146 178 236 245 257 358 367
Size=12 |Aut|=1
012 012 056 068 138 147 156 237 245 257 358 367
Size=12 |Aut|=1
012 012 068 078 135 146 178 237 245 257 358 367
Size=12 |Aut|=1
056 068 078 138 147 156 236 237 245 257 358 367
Size=12 |Aut|=1
068 078 138 146 147 156 236 237 245 257 358 367
Size=12 |Aut|=1
012 012 056 057 146 147 156 248 257 358 367
Size=11 |Aut|=1
012 012 056 057 146 147 178 248 257 358 367
Size=11 |Aut|=1
056 057 068 078 135 147 156 236 248 257 358 367
Size=12 |Aut|=1
056 057 068 135 138 147 156 236 248 257 358 367
Size=12 |Aut|=1
056 057 135 138 147 156 178 236 248 257 358 367
Size=12 |Aut|=1
012 012 056 068 135 147 156 237 248 257 358 367
Size=12 |Aut|=1
056 057 078 135 138 146 178 237 248 257 358 367
Size=12 |Aut|=1
056 057 135 146 147 156 236 237 248 257 358 367
Size=12 |Aut|=1
056 068 135 147 156 178 236 237 248 257 358 367
Size=12 |Aut|=1
012 012 034 034 056 135 138 156 358 458
Size=10 |Aut|=1
012 012 034 034 078 135 138 156 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 135 138 156 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 135 138 156 358 458
Size=11 |Aut|=1
034 034 057 078 135 138 146 156 358 458
Size=10 |Aut|=1
012 012 034 034 056 146 147 156 358 458
Size=10 |Aut|=1
012 012 034 034 078 146 147 156 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 146 147 156 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 146 147 156 358 458
Size=11 |Aut|=1
034 034 057 068 078 135 146 147 156 358 458
Size=11 |Aut|=1
056 057 068 078 135 138 146 147 156 358 458
Size=11 |Aut|=1
034 034 068 078 135 146 147 156 178 358 458
Size=11 |Aut|=1
034 034 056 135 138 146 147 156 178 358 458
Size=11 |Aut|=1
012 012 057 078 135 138 156 236 358 458
Size=10 |Aut|=1
012 012 057 078 146 147 156 236 358 458
Size=10 |Aut|=1
034 034 056 057 078 138 146 147 156 236 358 458
Size=12 |Aut|=1
057 068 078 135 138 146 147 156 236 358 458
Size=11 |Aut|=1
012 012 057 078 135 138 178 236 358 458
Size=10 |Aut|=1
012 012 034 034 056 147 178 236 358 458
Size=10 |Aut|=1
012 012 034 034 078 147 178 236 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 147 178 236 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 147 178 236 358 458
Size=11 |Aut|=1
034 034 056 068 078 135 147 178 236 358 458
Size=11 |Aut|=1
012 012 057 068 078 135 147 178 236 358 458
Size=11 |Aut|=1
034 034 056 057 068 138 147 178 236 358 458
Size=11 |Aut|=1
012 012 056 057 078 138 147 178 236 358 458
Size=11 |Aut|=1
056 057 068 078 135 138 147 178 236 358 458
Size=11 |Aut|=1
012 012 057 078 146 147 178 236 358 458
Size=10 |Aut|=1
034 034 057 078 146 147 156 178 236 358 458
Size=11 |Aut|=1
034 034 078 135 146 147 156 178 236 358 458
Size=11 |Aut|=1
057 078 135 138 146 147 156 178 236 358 458
Size=11 |Aut|=1
012 012 034 034 056 156 236 237 358 458
Size=10 |Aut|=1
012 012 034 034 078 156 236 237 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 156 236 237 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 156 236 237 358 458
Size=11 |Aut|=1
012 012 068 078 135 156 236 237 358 458
Size=10 |Aut|=1
012 012 056 057 138 156 236 237 358 458
Size=10 |Aut|=1
012 012 056 135 138 156 236 237 358 458
Size=10 |Aut|=1
012 012 078 135 138 156 236 237 358 458
Size=10 |Aut|=1
056 057 068 078 135 138 156 236 237 358 458
Size=11 |Aut|=1
012 012 057 078 146 156 236 237 358 458
Size=10 |Aut|=1
012 012 078 135 146 156 236 237 358 458
Size=10 |Aut|=1
056 057 078 135 138 146 156 236 237 358 458
Size=11 |Aut|=1
012 012 056 068 147 156 236 237 358 458
Size=10 |Aut|=1
012 012 056 146 147 156 236 237 358 458
Size=10 |Aut|=1
012 012 078 146 147 156 236 237 358 458
Size=10 |Aut|=1
034 034 057 078 146 156 178 236 237 358 458
Size=11 |Aut|=1
034 034 056 146 147 156 178 236 237 358 458
Size=11 |Aut|=1
056 135 138 146 147 156 178 236 237 358 458
Size=11 |Aut|=1
012 012 068 078 135 138 156 245 358 458
Size=10 |Aut|=1
034 034 056 068 078 135 138 156 245 358 458
Size=11 |Aut|=1
034 034 078 135 138 146 156 245 358 458
Size=10 |Aut|=1
012 012 068 078 146 147 156 245 358 458
Size=10 |Aut|=1
034 034 068 078 135 146 147 156 245 358 458
Size=11 |Aut|=1
068 078 135 138 146 147 156 245 358 458
Size=10 |Aut|=1
012 012 034 034 056 138 178 245 358 458
Size=10 |Aut|=1
012 012 034 034 078 138 178 245 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 138 178 245 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 138 178 245 358 458
Size=11 |Aut|=1
012 012 068 078 135 138 178 245 358 458
Size=10 |Aut|=1
034 034 068 078 135 138 178 245 358 458
Size=10 |Aut|=1
012 012 057 068 078 138 146 178 245 358 458
Size=11 |Aut|=1
034 034 056 057 068 138 147 178 245 358 458
Size=11 |Aut|=1
012 012 056 068 078 138 147 178 245 358 458
Size=11 |Aut|=1
012 012 068 078 146 147 178 245 358 458
Size=10 |Aut|=1
034 034 056 068 078 135 146 147 178 245 358 458
Size=12 |Aut|=1
056 057 068 078 138 146 147 178 245 358 458
Size=11 |Aut|=1
057 068 078 135 138 146 147 178 245 358 458
Size=11 |Aut|=1
034 034 056 057 078 138 146 156 178 245 358 458
Size=12 |Aut|=1
012 012 078 135 138 156 236 245 358 458
Size=10 |Aut|=1
012 012 034 034 056 138 147 156 236 245 358 458
Size=12 |Aut|=1
012 012 034 034 078 138 147 156 236 245 358 458
Size=12 |Aut|=1
012 012 056 057 078 138 147 156 236 245 358 458
Size=12 |Aut|=1
012 012 056 068 078 138 147 156 236 245 358 458
Size=12 |Aut|=1
034 034 056 057 068 078 138 147 156 236 245 358 458
Size=13 |Aut|=1
012 012 078 146 147 156 236 245 358 458
Size=10 |Aut|=1
012 012 056 057 078 138 178 236 245 358 458
Size=11 |Aut|=1
034 034 057 068 078 138 178 236 245 358 458
Size=11 |Aut|=1
012 012 078 135 138 178 236 245 358 458
Size=10 |Aut|=1
012 012 057 078 138 146 178 236 245 358 458
Size=11 |Aut|=1
012 012 056 068 078 147 178 236 245 358 458
Size=11 |Aut|=1
034 034 057 068 078 147 178 236 245 358 458
Size=11 |Aut|=1
012 012 068 078 135 147 178 236 245 358 458
Size=11 |Aut|=1
034 034 068 078 135 147 178 236 245 358 458
Size=11 |Aut|=1
012 012 056 078 138 147 178 236 245 358 458
Size=11 |Aut|=1
056 057 068 078 138 147 178 236 245 358 458
Size=11 |Aut|=1
068 078 135 138 147 178 236 245 358 458
Size=10 |Aut|=1
012 012 078 146 147 178 236 245 358 458
Size=10 |Aut|=1
057 068 078 138 146 147 178 236 245 358 458
Size=11 |Aut|=1
034 034 057 078 138 146 156 178 236 245 358 458
Size=12 |Aut|=1
057 078 138 146 147 156 178 236 245 358 458
Size=11 |Aut|=1
078 135 138 146 147 156 178 236 245 358 458
Size=11 |Aut|=1
034 034 056 068 078 146 156 237 245 358 458
Size=11 |Aut|=1
012 012 057 068 078 146 156 237 245 358 458
Size=11 |Aut|=1
012 012 068 078 135 146 156 237 245 358 458
Size=11 |Aut|=1
034 034 068 078 135 146 156 237 245 358 458
Size=11 |Aut|=1
034 034 056 078 138 146 156 237 245 358 458
Size=11 |Aut|=1
056 068 078 135 138 146 156 237 245 358 458
Size=11 |Aut|=1
012 012 056 057 068 138 178 237 245 358 458
Size=11 |Aut|=1
056 057 068 078 135 138 146 178 237 245 358 458
Size=12 |Aut|=1
012 012 056 068 138 147 178 237 245 358 458
Size=11 |Aut|=1
034 034 056 068 078 138 156 178 237 245 358 458
Size=12 |Aut|=1
056 057 068 078 138 146 156 178 237 245 358 458
Size=12 |Aut|=1
034 034 056 068 138 147 156 178 237 245 358 458
Size=12 |Aut|=1
056 068 078 138 146 147 156 178 237 245 358 458
Size=12 |Aut|=1
034 034 056 068 078 135 156 236 237 245 358 458
Size=12 |Aut|=1
056 068 078 135 138 156 236 237 245 358 458
Size=11 |Aut|=1
056 057 078 138 146 156 236 237 245 358 458
Size=11 |Aut|=1
056 078 135 138 146 156 236 237 245 358 458
Size=11 |Aut|=1
034 034 056 068 078 147 156 236 237 245 358 458
Size=12 |Aut|=1
034 034 057 068 078 178 236 237 245 358 458
Size=11 |Aut|=1
034 034 068 078 135 178 236 237 245 358 458
Size=11 |Aut|=1
056 057 068 078 138 178 236 237 245 358 458
Size=11 |Aut|=1
056 068 078 135 138 178 236 237 245 358 458
Size=11 |Aut|=1
034 034 068 078 156 178 236 237 245 358 458
Size=11 |Aut|=1
034 034 078 146 156 178 236 237 245 358 458
Size=11 |Aut|=1
056 068 078 138 147 156 178 236 237 245 358 458
Size=12 |Aut|=1
078 138 146 147 156 178 236 237 245 358 458
Size=11 |Aut|=1
012 012 034 034 056 156 245 248 358 458
Size=10 |Aut|=1
012 012 034 034 078 156 245 248 358 458
Size=10 |Aut|=1
012 012 056 057 068 078 156 245 248 358 458
Size=11 |Aut|=1
034 034 056 057 068 078 156 245 248 358 458
Size=11 |Aut|=1
012 012 068 078 135 156 245 248 358 458
Size=10 |Aut|=1
034 034 068 078 135 156 245 248 358 458
Size=10 |Aut|=1
012 012 056 057 138 156 245 248 358 458
Size=10 |Aut|=1
034 034 056 057 078 138 156 245 248 358 458
Size=11 |Aut|=1
012 012 056 135 138 156 245 248 358 458
Size=10 |Aut|=1
034 034 056 135 138 156 245 248 358 458
Size=10 |Aut|=1
012 012 078 135 138 156 245 248 358 458
Size=10 |Aut|=1
034 034 078 135 138 156 245 248 358 458
Size=10 |Aut|=1
012 012 057 078 146 156 245 248 358 458
Size=10 |Aut|=1
012 012 078 135 146 156 245 248 358 458
Size=10 |Aut|=1
012 012 056 068 147 156 245 248 358 458
Size=10 |Aut|=1
012 012 056 146 147 156 245 248 358 458
Size=10 |Aut|=1
012 012 078 146 147 156 245 248 358 458
Size=10 |Aut|=1
056 057 068 078 146 147 156 245 248 358 458
Size=11 |Aut|=1
056 068 078 135 146 147 156 245 248 358 458
Size=11 |Aut|=1
056 068 135 138 146 147 156 245 248 358 458
Size=11 |Aut|=1
056 135 138 146 147 156 178 245 248 358 458
Size=11 |Aut|=1
068 078 135 138 147 156 236 245 248 358 458
Size=11 |Aut|=1
034 034 057 078 178 236 245 248 358 458
Size=10 |Aut|=1
034 034 078 135 178 236 245 248 358 458
Size=10 |Aut|=1
056 057 068 078 147 178 236 245 248 358 458
Size=11 |Aut|=1
056 068 078 135 147 178 236 245 248 358 458
Size=11 |Aut|=1
056 057 078 138 147 178 236 245 248 358 458
Size=11 |Aut|=1
078 135 138 147 178 236 245 248 358 458
Size=10 |Aut|=1
057 078 138 146 147 178 236 245 248 358 458
Size=11 |Aut|=1
056 057 078 146 147 156 178 236 245 248 358 458
Size=12 |Aut|=1
056 078 135 146 147 156 178 236 245 248 358 458
Size=12 |Aut|=1
056 057 068 078 156 236 237 245 248 358 458
Size=11 |Aut|=1
056 068 078 135 156 236 237 245 248 358 458
Size=11 |Aut|=1
056 078 135 138 156 236 237 245 248 358 458
Size=11 |Aut|=1
034 034 056 156 178 236 237 245 248 358 458
Size=11 |Aut|=1
056 057 078 146 156 178 236 237 245 248 358 458
Size=12 |Aut|=1
056 078 135 146 156 178 236 237 245 248 358 458
Size=12 |Aut|=1
056 078 146 147 156 178 236 237 245 248 358 458
Size=12 |Aut|=2
012 012 034 034 135 138 156 257 358 458
Size=10 |Aut|=1
012 012 034 034 146 147 156 257 358 458
Size=10 |Aut|=1
012 012 034 034 135 138 178 257 358 458
Size=10 |Aut|=1
012 012 034 034 146 147 178 257 358 458
Size=10 |Aut|=1
034 034 135 138 146 147 178 257 358 458
Size=10 |Aut|=1
012 012 034 034 147 178 236 257 358 458
Size=10 |Aut|=1
034 034 078 135 146 147 178 236 257 358 458
Size=11 |Aut|=1
034 034 057 138 146 147 178 236 257 358 458
Size=11 |Aut|=1
057 078 135 138 146 147 178 236 257 358 458
Size=11 |Aut|=1
012 012 034 034 146 156 237 257 358 458
Size=10 |Aut|=2
034 034 068 135 146 147 178 237 257 358 458
Size=11 |Aut|=1
034 034 056 138 146 147 178 237 257 358 458
Size=11 |Aut|=1
012 012 135 138 156 236 237 257 358 458
Size=10 |Aut|=1
012 012 146 147 156 236 237 257 358 458
Size=10 |Aut|=2
012 012 135 138 178 236 237 257 358 458
Size=10 |Aut|=1
057 078 135 138 146 178 236 237 257 358 458
Size=11 |Aut|=1
012 012 146 147 178 236 237 257 358 458
Size=10 |Aut|=2
034 034 146 147 178 236 237 257 358 458
Size=10 |Aut|=2
057 135 138 146 147 178 236 237 257 358 458
Size=11 |Aut|=1
078 135 138 146 147 178 236 237 257 358 458
Size=11 |Aut|=1
135 138 146 147 156 178 236 237 257 358 458
Size=11 |Aut|=1
012 012 034 034 138 156 245 257 358 458
Size=10 |Aut|=1
012 012 034 034 138 178 245 257 358 458
Size=10 |Aut|=2
034 034 078 135 138 146 178 245 257 358 458
Size=11 |Aut|=1
034 034 068 135 138 147 178 245 257 358 458
Size=11 |Aut|=1
034 034 057 068 138 147 178 236 245 257 358 458
Size=12 |Aut|=1
078 135 138 146 147 178 236 245 257 358 458
Size=11 |Aut|=1
057 068 135 138 146 147 178 237 245 257 358 458
Size=12 |Aut|=1
068 135 138 146 147 156 178 237 245 257 358 458
Size=12 |Aut|=1
068 078 135 138 156 236 237 245 257 358 458
Size=11 |Aut|=1
078 135 138 146 156 236 237 245 257 358 458
Size=11 |Aut|=1
056 068 078 138 147 156 236 237 245 257 358 458
Size=12 |Aut|=1
034 056 078 138 146 147 156 236 237 245 257 358 458
Size=13 |Aut|=1
057 138 146 147 178 236 237 245 257 358 458
Size=11 |Aut|=1
138 146 147 156 178 236 237 245 257 358 458
Size=11 |Aut|=1
034 034 056 057 135 138 178 248 257 358 458
Size=11 |Aut|=1
057 078 135 146 147 156 178 236 248 257 358 458
Size=12 |Aut|=1
056 057 135 138 146 178 237 248 257 358 458
Size=11 |Aut|=1
057 135 138 146 147 156 236 237 248 257 358 458
Size=12 |Aut|=1
057 078 135 146 147 178 236 237 248 257 358 458
Size=12 |Aut|=2
034 057 135 146 147 156 178 236 237 248 257 358 458
Size=13 |Aut|=1
012 012 135 138 156 245 248 257 358 458
Size=10 |Aut|=2
034 034 135 138 156 245 248 257 358 458
Size=10 |Aut|=2
068 135 138 146 147 156 245 248 257 358 458
Size=11 |Aut|=1
012 012 135 138 178 245 248 257 358 458
Size=10 |Aut|=2
034 034 135 138 178 245 248 257 358 458
Size=10 |Aut|=2
057 135 138 146 147 178 245 248 257 358 458
Size=11 |Aut|=1
135 138 146 147 156 178 245 248 257 358 458
Size=11 |Aut|=1
078 135 146 147 156 178 236 245 248 257 358 458
Size=12 |Aut|=1
135 138 146 156 237 245 248 257 358 458
Size=10 |Aut|=2
056 138 146 147 156 178 237 245 248 257 358 458
Size=12 |Aut|=1
078 135 146 156 178 236 237 245 248 257 358 458
Size=12 |Aut|=1
146 147 156 178 236 237 245 248 257 358 458
Size=11 |Aut|=1
012 012 034 034 056 156 236 237 367 458
Size=10 |Aut|=1
012 012 034 034 078 156 236 237 367 458
Size=10 |Aut|=1
012 012 056 057 068 078 156 236 237 367 458
Size=11 |Aut|=1
034 034 056 057 068 078 156 236 237 367 458
Size=11 |Aut|=1
012 012 056 068 078 135 156 236 237 367 458
Size=11 |Aut|=1
056 057 068 078 135 138 156 236 237 367 458
Size=11 |Aut|=1
034 034 057 078 146 156 236 237 367 458
Size=10 |Aut|=1
012 012 056 057 078 146 156 236 237 367 458
Size=11 |Aut|=1
012 012 056 078 135 146 156 236 237 367 458
Size=11 |Aut|=1
056 057 078 135 138 146 156 236 237 367 458
Size=11 |Aut|=1
012 012 056 078 135 138 156 178 236 237 367 458
Size=12 |Aut|=2
034 034 056 146 147 156 178 236 237 367 458
Size=11 |Aut|=1
012 012 056 078 146 147 156 178 236 237 367 458
Size=12 |Aut|=2
056 078 135 138 146 147 156 178 236 237 367 458
Size=12 |Aut|=2
012 012 034 034 056 135 138 156 237 245 367 458
Size=12 |Aut|=1
012 012 034 034 078 135 138 156 237 245 367 458
Size=12 |Aut|=1
034 034 056 068 078 135 138 156 237 245 367 458
Size=12 |Aut|=1
012 012 056 057 068 078 135 138 156 237 245 367 458
Size=13 |Aut|=1
012 012 034 034 056 146 156 237 245 367 458
Size=11 |Aut|=1
012 012 034 034 078 146 156 237 245 367 458
Size=11 |Aut|=1
034 034 056 068 078 146 156 237 245 367 458
Size=11 |Aut|=1
012 012 056 057 068 078 146 156 237 245 367 458
Size=12 |Aut|=1
034 034 068 078 135 146 156 237 245 367 458
Size=11 |Aut|=1
012 012 056 068 078 135 146 156 237 245 367 458
Size=12 |Aut|=1
056 057 068 078 135 138 146 156 237 245 367 458
Size=12 |Aut|=1
034 034 068 078 135 138 156 178 237 245 367 458
Size=12 |Aut|=1
012 012 056 068 078 135 138 156 178 237 245 367 458
Size=13 |Aut|=1
034 034 056 078 138 146 156 178 237 245 367 458
Size=12 |Aut|=2
056 057 068 078 138 146 156 178 237 245 367 458
Size=12 |Aut|=2
034 034 078 135 138 146 156 178 237 245 367 458
Size=12 |Aut|=1
056 068 078 135 138 146 156 178 237 245 367 458
Size=12 |Aut|=1
034 034 056 068 078 156 236 237 245 367 458
Size=11 |Aut|=1
012 012 056 057 138 156 236 237 245 367 458
Size=11 |Aut|=1
056 057 068 078 138 156 236 237 245 367 458
Size=11 |Aut|=1
012 012 056 135 138 156 236 237 245 367 458
Size=11 |Aut|=1
034 034 078 146 156 236 237 245 367 458
Size=10 |Aut|=1
056 057 078 138 146 156 236 237 245 367 458
Size=11 |Aut|=1
012 012 056 068 147 156 236 237 245 367 458
Size=11 |Aut|=1
012 012 056 146 147 156 236 237 245 367 458
Size=11 |Aut|=1
034 034 068 078 178 236 237 245 367 458
Size=10 |Aut|=1
012 012 056 057 138 178 236 237 245 367 458
Size=11 |Aut|=1
056 057 068 078 138 178 236 237 245 367 458
Size=11 |Aut|=1
012 012 056 138 147 178 236 237 245 367 458
Size=11 |Aut|=1
056 068 138 147 178 236 237 245 367 458
Size=10 |Aut|=1
056 068 078 135 138 156 178 236 237 245 367 458
Size=12 |Aut|=1
056 078 135 138 146 156 178 236 237 245 367 458
Size=12 |Aut|=1
056 138 146 147 156 178 236 237 245 367 458
Size=11 |Aut|=1
034 034 056 156 236 237 245 248 367 458
Size=10 |Aut|=2
034 034 078 156 236 237 245 248 367 458
Size=10 |Aut|=2
056 057 068 078 156 236 237 245 248 367 458
Size=11 |Aut|=2
068 078 135 156 236 237 245 248 367 458
Size=10 |Aut|=1
056 057 138 156 236 237 245 248 367 458
Size=10 |Aut|=1
056 135 138 156 236 237 245 248 367 458
Size=10 |Aut|=1
078 135 138 156 236 237 245 248 367 458
Size=10 |Aut|=1
078 135 146 156 236 237 245 248 367 458
Size=10 |Aut|=2
012 012 056 068 078 135 138 178 237 257 367 458
Size=12 |Aut|=1
012 012 034 034 057 236 237 257 367 458
Size=10 |Aut|=1
012 012 034 034 068 236 237 257 367 458
Size=10 |Aut|=1
012 012 056 057 068 078 236 237 257 367 458
Size=11 |Aut|=1
034 034 056 057 068 078 236 237 257 367 458
Size=11 |Aut|=1
012 012 068 078 135 236 237 257 367 458
Size=10 |Aut|=1
056 057 068 078 135 138 236 237 257 367 458
Size=11 |Aut|=1
012 012 057 078 146 236 237 257 367 458
Size=10 |Aut|=1
034 034 057 078 146 236 237 257 367 458
Size=10 |Aut|=1
057 068 078 135 138 146 236 237 257 367 458
Size=11 |Aut|=1
012 012 034 034 156 236 237 257 367 458
Size=10 |Aut|=1
012 012 078 135 146 156 236 237 257 367 458
Size=11 |Aut|=1
012 012 034 034 178 236 237 257 367 458
Size=10 |Aut|=1
012 012 078 135 138 178 236 237 257 367 458
Size=11 |Aut|=1
034 034 146 147 178 236 237 257 367 458
Size=10 |Aut|=1
012 012 078 146 147 178 236 237 257 367 458
Size=11 |Aut|=1
068 078 135 138 146 147 178 236 237 257 367 458
Size=12 |Aut|=1
078 135 138 146 147 156 178 236 237 257 367 458
Size=12 |Aut|=1
012 012 034 034 057 138 236 245 257 367 458
Size=11 |Aut|=1
012 012 034 034 068 138 236 245 257 367 458
Size=11 |Aut|=1
012 012 056 057 078 138 236 245 257 367 458
Size=11 |Aut|=1
034 034 057 068 078 138 236 245 257 367 458
Size=11 |Aut|=1
034 034 057 078 138 146 236 245 257 367 458
Size=11 |Aut|=1
012 012 056 068 078 135 138 147 236 245 257 367 458
Size=13 |Aut|=1
012 012 034 034 057 146 147 236 245 257 367 458
Size=12 |Aut|=1
012 012 034 034 068 146 147 236 245 257 367 458
Size=12 |Aut|=1
034 034 057 068 078 146 147 236 245 257 367 458
Size=12 |Aut|=1
012 012 056 057 068 078 146 147 236 245 257 367 458
Size=13 |Aut|=1
012 012 056 068 078 138 146 147 236 245 257 367 458
Size=13 |Aut|=1
056 057 068 078 138 146 147 236 245 257 367 458
Size=12 |Aut|=1
012 012 034 034 057 147 178 236 245 257 367 458
Size=12 |Aut|=1
012 012 034 034 068 147 178 236 245 257 367 458
Size=12 |Aut|=1
034 034 057 068 138 147 178 236 245 257 367 458
Size=12 |Aut|=1
034 034 057 138 146 147 178 236 245 257 367 458
Size=12 |Aut|=1
034 034 068 135 138 147 156 178 236 245 257 367 458
Size=13 |Aut|=1
012 012 034 034 056 138 156 237 245 257 367 458
Size=12 |Aut|=1
012 012 034 034 078 138 156 237 245 257 367 458
Size=12 |Aut|=1
034 034 056 078 138 146 156 237 245 257 367 458
Size=12 |Aut|=1
034 034 078 135 138 146 156 237 245 257 367 458
Size=12 |Aut|=1
034 034 068 078 236 237 245 257 367 458
Size=10 |Aut|=1
012 012 056 057 138 236 237 245 257 367 458
Size=11 |Aut|=1
056 057 068 078 138 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 057 135 138 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 068 135 138 236 237 245 257 367 458
Size=11 |Aut|=1
057 068 078 135 138 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 057 138 146 236 237 245 257 367 458
Size=11 |Aut|=1
057 078 138 146 236 237 245 257 367 458
Size=10 |Aut|=1
012 012 056 068 147 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 068 135 147 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 057 146 147 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 068 146 147 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 135 138 156 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 146 147 156 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 135 138 178 236 237 245 257 367 458
Size=11 |Aut|=1
034 034 078 146 178 236 237 245 257 367 458
Size=11 |Aut|=1
034 034 068 147 178 236 237 245 257 367 458
Size=11 |Aut|=1
068 135 138 147 178 236 237 245 257 367 458
Size=11 |Aut|=1
012 012 146 147 178 236 237 245 257 367 458
Size=11 |Aut|=1
138 146 147 178 236 237 245 257 367 458
Size=10 |Aut|=1
078 135 138 146 156 178 236 237 245 257 367 458
Size=12 |Aut|=1
034 034 056 057 068 236 237 248 257 367 458
Size=11 |Aut|=1
056 057 068 078 135 236 237 248 257 367 458
Size=11 |Aut|=1
034 034 057 146 236 237 248 257 367 458
Size=10 |Aut|=1
057 068 078 135 146 236 237 248 257 367 458
Size=11 |Aut|=1
034 034 056 057 178 236 237 248 257 367 458
Size=11 |Aut|=1
068 078 135 146 147 178 236 237 248 257 367 458
Size=12 |Aut|=1
034 034 057 236 237 245 248 257 367 458
Size=10 |Aut|=2
034 034 068 236 237 245 248 257 367 458
Size=10 |Aut|=2
056 057 068 078 236 237 245 248 257 367 458
Size=11 |Aut|=2
068 078 135 236 237 245 248 257 367 458
Size=10 |Aut|=1
056 057 138 236 237 245 248 257 367 458
Size=10 |Aut|=1
057 135 138 236 237 245 248 257 367 458
Size=10 |Aut|=1
068 135 138 236 237 245 248 257 367 458
Size=10 |Aut|=1
057 138 146 236 237 245 248 257 367 458
Size=10 |Aut|=2
068 135 147 236 237 245 248 257 367 458
Size=10 |Aut|=2
034 034 156 236 237 245 248 257 367 458
Size=10 |Aut|=1
135 138 156 236 237 245 248 257 367 458
Size=10 |Aut|=1
146 147 156 236 237 245 248 257 367 458
Size=10 |Aut|=1
012 012 057 135 138 236 237 257 268 367 458
Size=11 |Aut|=1
012 012 057 138 146 236 237 257 268 367 458
Size=11 |Aut|=1
012 012 057 146 147 236 237 257 268 367 458
Size=11 |Aut|=1
034 034 057 146 147 236 237 257 268 367 458
Size=11 |Aut|=1
057 068 135 138 146 147 236 237 257 268 367 458
Size=12 |Aut|=2
012 012 135 138 156 236 237 257 268 367 458
Size=11 |Aut|=1
012 012 146 147 156 236 237 257 268 367 458
Size=11 |Aut|=1
057 135 138 146 147 156 236 237 257 268 367 458
Size=12 |Aut|=1
135 138 146 147 156 178 236 237 257 268 367 458
Size=12 |Aut|=2
012 012 034 057 078 135 138 236 245 257 268 367 458
Size=13 |Aut|=1
012 012 068 078 135 138 236 245 257 268 367 458
Size=12 |Aut|=1
034 034 068 078 135 138 236 245 257 268 367 458
Size=12 |Aut|=1
012 012 057 078 138 146 236 245 257 268 367 458
Size=12 |Aut|=1
034 034 057 068 138 147 236 245 257 268 367 458
Size=12 |Aut|=2
056 057 068 078 138 147 236 245 257 268 367 458
Size=12 |Aut|=2
034 034 068 135 138 147 236 245 257 268 367 458
Size=12 |Aut|=1
057 068 078 135 138 147 236 245 257 268 367 458
Size=12 |Aut|=1
034 034 056 138 146 147 156 237 245 257 268 367 458
Size=13 |Aut|=1
057 068 135 138 147 236 237 245 257 268 367 458
Size=12 |Aut|=1
057 138 146 147 236 237 245 257 268 367 458
Size=11 |Aut|=1
057 078 135 138 146 156 236 237 358 367 458
Size=11 |Aut|=1
068 078 135 138 146 156 237 245 358 367 458
Size=11 |Aut|=1
056 057 068 078 138 146 178 237 245 358 367 458
Size=12 |Aut|=1
057 068 078 135 138 146 178 237 245 358 367 458
Size=12 |Aut|=1
056 057 068 138 146 147 178 237 245 358 367 458
Size=12 |Aut|=1
056 068 138 146 147 156 178 237 245 358 367 458
Size=12 |Aut|=1
057 078 138 146 156 236 237 245 358 367 458
Size=11 |Aut|=1
078 135 138 146 156 236 237 245 358 367 458
Size=11 |Aut|=1
056 068 078 138 147 156 236 237 245 358 367 458
Size=12 |Aut|=1
078 138 146 147 156 236 237 245 358 367 458
Size=11 |Aut|=1
068 078 135 138 178 236 237 245 358 367 458
Size=11 |Aut|=1
057 068 078 138 146 178 236 237 245 358 367 458
Size=12 |Aut|=1
068 078 138 146 147 178 236 237 245 358 367 458
Size=12 |Aut|=1
034 034 056 057 138 156 245 248 358 367 458
Size=11 |Aut|=1
068 078 135 146 147 156 245 248 358 367 458
Size=11 |Aut|=1
056 057 068 138 146 147 156 245 248 358 367 458
Size=12 |Aut|=1
034 034 057 078 156 236 245 248 358 367 458
Size=11 |Aut|=1
068 078 135 147 156 236 245 248 358 367 458
Size=11 |Aut|=1
056 057 068 138 147 156 236 245 248 358 367 458
Size=12 |Aut|=1
056 068 135 138 147 156 236 245 248 358 367 458
Size=12 |Aut|=1
057 068 078 146 147 156 236 245 248 358 367 458
Size=12 |Aut|=1
068 078 135 147 178 236 245 248 358 367 458
Size=11 |Aut|=1
056 135 138 147 178 236 245 248 358 367 458
Size=11 |Aut|=1
057 078 146 147 178 236 245 248 358 367 458
Size=11 |Aut|=1
078 135 146 147 156 178 236 245 248 358 367 458
Size=12 |Aut|=1
012 057 068 078 135 138 146 147 236 257 358 367 458
Size=13 |Aut|=1
057 078 135 138 146 236 237 257 358 367 458
Size=11 |Aut|=1
135 138 146 147 178 236 237 257 358 367 458
Size=11 |Aut|=1
057 068 078 138 146 147 236 245 257 358 367 458
Size=12 |Aut|=1
012 068 078 135 138 146 147 236 245 257 358 367 458
Size=13 |Aut|=1
068 078 135 138 236 237 245 257 358 367 458
Size=11 |Aut|=1
056 068 078 138 147 236 237 245 257 358 367 458
Size=12 |Aut|=1
068 078 138 146 147 236 237 245 257 358 367 458
Size=12 |Aut|=1
078 135 138 146 178 236 237 245 257 358 367 458
Size=12 |Aut|=1
012 056 057 068 135 138 146 147 248 257 358 367 458
Size=13 |Aut|=1
056 057 068 078 135 146 237 248 257 358 367 458
Size=12 |Aut|=1
056 057 135 138 146 237 248 257 358 367 458
Size=11 |Aut|=1
056 057 068 135 138 236 237 248 257 358 367 458
Size=12 |Aut|=1
057 078 135 146 236 237 248 257 358 367 458
Size=11 |Aut|=1
057 135 138 146 236 237 248 257 358 367 458
Size=11 |Aut|=1
056 057 068 135 147 236 237 248 257 358 367 458
Size=12 |Aut|=1
057 135 146 147 236 237 248 257 358 367 458
Size=11 |Aut|=1
056 057 135 138 178 236 237 248 257 358 367 458
Size=12 |Aut|=1
135 146 147 178 236 237 248 257 358 367 458
Size=11 |Aut|=1
034 034 068 078 135 245 248 257 358 367 458
Size=11 |Aut|=1
034 034 057 078 236 245 248 257 358 367 458
Size=11 |Aut|=1
068 078 135 147 236 245 248 257 358 367 458
Size=11 |Aut|=1
068 135 138 147 236 245 248 257 358 367 458
Size=11 |Aut|=1
057 068 078 146 147 236 245 248 257 358 367 458
Size=12 |Aut|=1
057 068 138 146 147 236 245 248 257 358 367 458
Size=12 |Aut|=1
135 138 147 178 236 245 248 257 358 367 458
Size=11 |Aut|=1
057 138 146 147 178 236 245 248 257 358 367 458
Size=12 |Aut|=1
057 135 138 146 147 236 237 257 268 358 367 458
Size=12 |Aut|=1
056 068 135 138 147 156 236 237 358 367 458 467
Size=12 |Aut|=1
034 034 056 057 068 138 147 156 236 245 358 367 458 467
Size=14 |Aut|=2
034 034 057 068 078 138 147 156 236 245 358 367 458 467
Size=14 |Aut|=2
056 057 068 078 138 147 156 236 245 358 367 458 467
Size=13 |Aut|=2
068 078 135 138 156 236 237 245 358 367 458 467
Size=12 |Aut|=1
056 068 138 147 156 236 237 245 358 367 458 467
Size=12 |Aut|=1

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

Size Count
—- —–
9 3
10 162
11 384
12 165
13 17
14 2

Only 733 (non-isomorphic) minimal defining sets
Totally 5676 (inequivalent) minimal defining sets

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