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

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

Design parameters are 2-(7,3,4), b=28

Blocks of the design are:
012 012 012 013 024 034 034 035 046 056 056 056 125 135 136 136 145 145 146 146 234 235 236 236 245
246 256 345
The design is not simple, with support 19

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

Auto’m group order is 2

All non-isomorphic minimal defining sets are:

012 012 012 013 024 034 034 035 125 135 136 136
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 136 136
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 136 136
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 135 136 136
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 135 136 136
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 135 136 136
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 135 136 136
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 135 145 145
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 145 145
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 145 145
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 135 145 145
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 135 145 145
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 135 145 145
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 135 145 145
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 135 136 136 145 145
Size=13 |Aut|=1
012 012 012 013 024 034 034 035 136 136 146 146
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 136 136 146 146
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 136 136 146 146
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 136 136 146 146
Size=12 |Aut|=2
012 012 012 013 046 056 056 056 136 136 146 146
Size=12 |Aut|=2
012 012 012 024 034 034 035 125 136 136 146 146
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 136 136 146 146
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 145 145 146 146
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 145 145 146 146
Size=12 |Aut|=1
012 012 012 035 056 056 056 125 145 145 146 146
Size=12 |Aut|=1
012 012 012 046 056 056 056 125 145 145 146 146
Size=12 |Aut|=1
034 034 035 046 056 056 056 125 145 145 146 146
Size=12 |Aut|=1
013 034 034 035 056 056 056 136 136 145 145 146 146
Size=13 |Aut|=1
024 034 034 035 056 056 056 136 136 145 145 146 146
Size=13 |Aut|=1
013 034 034 046 056 056 056 136 136 145 145 146 146
Size=13 |Aut|=1
024 034 034 046 056 056 056 136 136 145 145 146 146
Size=13 |Aut|=1
034 034 035 056 056 056 125 136 136 145 145 146 146
Size=13 |Aut|=1
034 034 046 056 056 056 125 136 136 145 145 146 146
Size=13 |Aut|=1
013 024 034 034 035 135 136 136 145 145 146 146
Size=12 |Aut|=1
013 024 034 034 046 135 136 136 145 145 146 146
Size=12 |Aut|=1
013 035 056 056 056 135 136 136 145 145 146 146
Size=12 |Aut|=1
024 035 056 056 056 135 136 136 145 145 146 146
Size=12 |Aut|=1
013 046 056 056 056 135 136 136 145 145 146 146
Size=12 |Aut|=1
024 046 056 056 056 135 136 136 145 145 146 146
Size=12 |Aut|=1
024 034 034 035 125 135 136 136 145 145 146 146
Size=12 |Aut|=1
024 034 034 046 125 135 136 136 145 145 146 146
Size=12 |Aut|=1
035 056 056 056 125 135 136 136 145 145 146 146
Size=12 |Aut|=1
046 056 056 056 125 135 136 136 145 145 146 146
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 136 136 234
Size=13 |Aut|=1
024 034 034 046 056 056 056 125 135 136 136 234
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 145 145 234
Size=13 |Aut|=1
013 034 034 046 056 056 056 136 136 146 146 234
Size=12 |Aut|=1
024 034 034 046 056 056 056 136 136 146 146 234
Size=12 |Aut|=1
034 034 035 056 056 056 125 145 145 146 146 234
Size=12 |Aut|=1
012 012 012 046 056 056 056 125 136 136 146 146 235
Size=13 |Aut|=1
034 034 035 046 056 056 056 125 136 136 146 146 235
Size=13 |Aut|=1
013 035 046 056 056 056 135 136 136 146 146 235
Size=12 |Aut|=1
024 035 046 056 056 056 135 136 136 146 146 235
Size=12 |Aut|=1
035 046 056 056 056 125 135 136 136 146 146 235
Size=12 |Aut|=1
024 034 034 035 046 125 135 145 145 146 146 235
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 135 234 235
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 234 235
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 234 235
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 234 235
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 135 234 235
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 135 234 235
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 135 234 235
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 135 234 235
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 146 146 234 235
Size=13 |Aut|=1
012 012 012 024 034 034 046 125 146 146 234 235
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 146 146 234 235
Size=13 |Aut|=1
012 012 012 024 035 056 056 056 125 146 146 234 235
Size=13 |Aut|=1
012 012 012 046 056 056 056 125 146 146 234 235
Size=12 |Aut|=1
034 034 035 046 056 056 056 125 146 146 234 235
Size=12 |Aut|=1
034 034 046 056 056 056 125 136 136 146 146 234 235
Size=13 |Aut|=1
013 046 056 056 056 135 136 136 146 146 234 235
Size=12 |Aut|=1
024 046 056 056 056 135 136 136 146 146 234 235
Size=12 |Aut|=1
046 056 056 056 125 135 136 136 146 146 234 235
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 013 024 034 034 046 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 013 035 056 056 056 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 024 046 056 056 056 135 136 136 236 236
Size=13 |Aut|=1
013 034 034 035 046 056 056 056 135 136 136 236 236
Size=13 |Aut|=1
024 034 034 035 046 056 056 056 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 013 034 034 035 125 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 013 034 034 046 125 135 136 136 236 236
Size=13 |Aut|=1
012 012 012 013 034 034 035 125 135 145 145 236 236
Size=13 |Aut|=1
012 012 012 013 034 034 046 125 135 145 145 236 236
Size=13 |Aut|=1
012 012 012 046 056 056 056 125 135 145 145 236 236
Size=13 |Aut|=1
034 034 035 046 056 056 056 125 135 145 145 236 236
Size=13 |Aut|=1
013 035 056 056 056 135 136 136 145 145 236 236
Size=12 |Aut|=1
024 046 056 056 056 135 136 136 145 145 236 236
Size=12 |Aut|=1
046 056 056 056 125 135 136 136 145 145 236 236
Size=12 |Aut|=1
012 012 012 034 034 035 125 145 145 146 146 236 236
Size=13 |Aut|=1
012 012 012 034 034 046 125 145 145 146 146 236 236
Size=13 |Aut|=1
013 034 034 035 136 136 145 145 146 146 236 236
Size=12 |Aut|=1
024 034 034 035 136 136 145 145 146 146 236 236
Size=12 |Aut|=2
013 034 034 046 136 136 145 145 146 146 236 236
Size=12 |Aut|=2
034 034 035 125 136 136 145 145 146 146 236 236
Size=12 |Aut|=1
034 034 046 125 136 136 145 145 146 146 236 236
Size=12 |Aut|=1
012 012 012 013 024 034 034 136 136 234 236 236
Size=12 |Aut|=1
012 012 012 013 056 056 056 136 136 234 236 236
Size=12 |Aut|=1
012 012 012 024 056 056 056 136 136 234 236 236
Size=12 |Aut|=1
013 034 034 046 056 056 056 136 136 234 236 236
Size=12 |Aut|=1
024 034 034 046 056 056 056 136 136 234 236 236
Size=12 |Aut|=1
012 012 012 013 034 034 125 136 136 234 236 236
Size=12 |Aut|=1
012 012 012 013 034 034 125 145 145 234 236 236
Size=12 |Aut|=1
012 012 012 056 056 056 125 145 145 234 236 236
Size=12 |Aut|=1
034 034 035 056 056 056 125 145 145 234 236 236
Size=12 |Aut|=1
013 034 034 056 056 056 136 136 145 145 234 236 236
Size=13 |Aut|=1
024 034 034 056 056 056 136 136 145 145 234 236 236
Size=13 |Aut|=1
034 034 056 056 056 125 136 136 145 145 234 236 236
Size=13 |Aut|=1
013 056 056 056 135 136 136 145 145 234 236 236
Size=12 |Aut|=1
024 056 056 056 135 136 136 145 145 234 236 236
Size=12 |Aut|=1
056 056 056 125 135 136 136 145 145 234 236 236
Size=12 |Aut|=1
012 012 012 013 034 034 136 136 146 146 234 236 236
Size=13 |Aut|=1
012 012 012 024 034 034 136 136 146 146 234 236 236
Size=13 |Aut|=1
012 012 012 034 034 125 145 145 146 146 234 236 236
Size=13 |Aut|=1
013 034 034 136 136 145 145 146 146 234 236 236
Size=12 |Aut|=1
024 034 034 136 136 145 145 146 146 234 236 236
Size=12 |Aut|=1
034 034 125 136 136 145 145 146 146 234 236 236
Size=12 |Aut|=1
012 012 012 013 024 035 135 136 136 235 236 236
Size=12 |Aut|=1
012 012 012 013 024 046 135 136 136 235 236 236
Size=12 |Aut|=1
013 035 046 056 056 056 135 136 136 235 236 236
Size=12 |Aut|=1
024 035 046 056 056 056 135 136 136 235 236 236
Size=12 |Aut|=1
012 012 012 013 035 125 135 136 136 235 236 236
Size=12 |Aut|=1
012 012 012 013 046 125 135 136 136 235 236 236
Size=12 |Aut|=1
012 012 012 013 035 125 135 145 145 235 236 236
Size=12 |Aut|=1
012 012 012 013 046 125 135 145 145 235 236 236
Size=12 |Aut|=1
012 012 012 013 035 136 136 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 024 035 136 136 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 013 046 136 136 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 024 046 136 136 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 046 125 136 136 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 035 125 145 145 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 046 125 145 145 146 146 235 236 236
Size=12 |Aut|=1
034 034 035 046 125 145 145 146 146 235 236 236
Size=12 |Aut|=1
013 035 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
024 035 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
013 046 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
024 046 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
035 125 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
046 125 135 136 136 145 145 146 146 235 236 236
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 234 235 236 236
Size=13 |Aut|=1
012 012 012 013 024 034 034 046 125 234 235 236 236
Size=13 |Aut|=1
012 012 012 013 035 056 056 056 125 234 235 236 236
Size=13 |Aut|=1
012 012 012 024 035 056 056 056 125 234 235 236 236
Size=13 |Aut|=1
012 012 012 046 056 056 056 125 234 235 236 236
Size=12 |Aut|=1
034 034 035 046 056 056 056 125 234 235 236 236
Size=12 |Aut|=1
034 034 046 056 056 056 125 136 136 234 235 236 236
Size=13 |Aut|=1
012 012 012 013 024 135 136 136 234 235 236 236
Size=12 |Aut|=1
013 046 056 056 056 135 136 136 234 235 236 236
Size=12 |Aut|=1
024 046 056 056 056 135 136 136 234 235 236 236
Size=12 |Aut|=1
012 012 012 013 125 135 136 136 234 235 236 236
Size=12 |Aut|=1
046 056 056 056 125 135 136 136 234 235 236 236
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 234 235 236 236
Size=12 |Aut|=1
012 012 012 013 136 136 146 146 234 235 236 236
Size=12 |Aut|=1
012 012 012 024 136 136 146 146 234 235 236 236
Size=12 |Aut|=1
012 012 012 125 145 145 146 146 234 235 236 236
Size=12 |Aut|=1
034 034 035 125 145 145 146 146 234 235 236 236
Size=12 |Aut|=1
013 135 136 136 145 145 146 146 234 235 236 236
Size=12 |Aut|=1
024 135 136 136 145 145 146 146 234 235 236 236
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 234 235 236 236
Size=12 |Aut|=1
013 024 034 034 046 125 135 136 136 145 145 245
Size=12 |Aut|=1
035 056 056 056 125 136 136 145 145 146 146 245
Size=12 |Aut|=1
046 056 056 056 125 136 136 145 145 146 146 245
Size=12 |Aut|=1
012 012 012 013 024 034 034 125 136 136 234 245
Size=12 |Aut|=1
012 012 012 024 056 056 056 125 136 136 234 245
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 136 136 234 245
Size=13 |Aut|=1
012 012 012 013 046 056 056 056 125 136 136 234 245
Size=13 |Aut|=1
024 034 034 046 056 056 056 125 136 136 234 245
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 136 136 234 245
Size=13 |Aut|=1
012 012 012 013 024 034 034 125 145 145 234 245
Size=12 |Aut|=1
012 012 012 024 056 056 056 125 145 145 234 245
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 145 145 234 245
Size=13 |Aut|=1
012 012 012 013 046 056 056 056 125 145 145 234 245
Size=13 |Aut|=1
013 034 034 035 046 056 056 056 125 145 145 234 245
Size=13 |Aut|=1
024 034 034 035 046 056 056 056 125 145 145 234 245
Size=13 |Aut|=1
012 012 012 013 024 034 034 136 136 146 146 234 245
Size=13 |Aut|=1
012 012 012 024 056 056 056 136 136 146 146 234 245
Size=13 |Aut|=1
012 012 012 024 034 034 125 136 136 146 146 234 245
Size=13 |Aut|=1
012 012 012 024 034 034 125 145 145 146 146 234 245
Size=13 |Aut|=1
024 056 056 056 136 136 145 145 146 146 234 245
Size=12 |Aut|=1
013 024 034 034 135 136 136 145 145 146 146 234 245
Size=13 |Aut|=1
024 034 034 125 135 136 136 145 145 146 146 234 245
Size=13 |Aut|=1
012 012 012 013 024 035 125 135 136 136 235 245
Size=12 |Aut|=1
012 012 012 013 024 046 125 135 136 136 235 245
Size=12 |Aut|=1
012 012 012 013 024 035 125 135 145 145 235 245
Size=12 |Aut|=1
012 012 012 013 024 046 125 135 145 145 235 245
Size=12 |Aut|=1
012 012 012 013 024 035 136 136 146 146 235 245
Size=12 |Aut|=1
012 012 012 013 024 046 136 136 146 146 235 245
Size=12 |Aut|=1
012 012 012 024 035 125 136 136 146 146 235 245
Size=12 |Aut|=1
012 012 012 024 046 125 136 136 146 146 235 245
Size=12 |Aut|=1
035 046 056 056 056 125 136 136 146 146 235 245
Size=12 |Aut|=1
012 012 012 024 035 125 145 145 146 146 235 245
Size=12 |Aut|=1
012 012 012 024 046 125 145 145 146 146 235 245
Size=12 |Aut|=1
013 024 035 135 136 136 145 145 146 146 235 245
Size=12 |Aut|=1
013 024 046 135 136 136 145 145 146 146 235 245
Size=12 |Aut|=1
024 035 125 135 136 136 145 145 146 146 235 245
Size=12 |Aut|=1
024 046 125 135 136 136 145 145 146 146 235 245
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 234 235 245
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 234 235 245
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 234 235 245
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 234 235 245
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 234 235 245
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 234 235 245
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 234 235 245
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 234 235 245
Size=12 |Aut|=1
012 012 012 013 024 125 135 136 136 234 235 245
Size=12 |Aut|=1
012 012 012 013 024 125 135 145 145 234 235 245
Size=12 |Aut|=1
012 012 012 013 024 136 136 146 146 234 235 245
Size=12 |Aut|=1
013 046 056 056 056 136 136 146 146 234 235 245
Size=12 |Aut|=1
024 046 056 056 056 136 136 146 146 234 235 245
Size=12 |Aut|=1
012 012 012 024 125 136 136 146 146 234 235 245
Size=12 |Aut|=1
046 056 056 056 125 136 136 146 146 234 235 245
Size=12 |Aut|=1
012 012 012 024 125 145 145 146 146 234 235 245
Size=12 |Aut|=1
013 024 135 136 136 145 145 146 146 234 235 245
Size=12 |Aut|=1
024 125 135 136 136 145 145 146 146 234 235 245
Size=12 |Aut|=1
013 024 034 034 035 135 136 136 145 145 236 236 245
Size=13 |Aut|=1
013 024 034 034 046 135 136 136 145 145 236 236 245
Size=13 |Aut|=1
013 034 034 035 125 135 136 136 145 145 236 236 245
Size=13 |Aut|=1
013 034 034 046 125 135 136 136 145 145 236 236 245
Size=13 |Aut|=1
013 024 034 034 136 136 145 145 234 236 236 245
Size=12 |Aut|=1
013 056 056 056 136 136 145 145 234 236 236 245
Size=12 |Aut|=1
024 056 056 056 136 136 145 145 234 236 236 245
Size=12 |Aut|=1
013 034 034 125 136 136 145 145 234 236 236 245
Size=12 |Aut|=1
056 056 056 125 136 136 145 145 234 236 236 245
Size=12 |Aut|=1
013 024 035 135 136 136 145 145 235 236 236 245
Size=12 |Aut|=1
013 024 046 135 136 136 145 145 235 236 236 245
Size=12 |Aut|=1
013 035 125 135 136 136 145 145 235 236 236 245
Size=12 |Aut|=1
013 046 125 135 136 136 145 145 235 236 236 245
Size=12 |Aut|=1
013 035 136 136 145 145 146 146 235 236 236 245
Size=12 |Aut|=1
024 035 136 136 145 145 146 146 235 236 236 245
Size=12 |Aut|=2
013 046 136 136 145 145 146 146 235 236 236 245
Size=12 |Aut|=2
035 125 136 136 145 145 146 146 235 236 236 245
Size=12 |Aut|=1
046 125 136 136 145 145 146 146 235 236 236 245
Size=12 |Aut|=1
013 046 056 056 056 136 136 234 235 236 236 245
Size=12 |Aut|=1
024 046 056 056 056 136 136 234 235 236 236 245
Size=12 |Aut|=1
046 056 056 056 125 136 136 234 235 236 236 245
Size=12 |Aut|=1
013 024 135 136 136 145 145 234 235 236 236 245
Size=12 |Aut|=1
013 125 135 136 136 145 145 234 235 236 236 245
Size=12 |Aut|=1
013 136 136 145 145 146 146 234 235 236 236 245
Size=12 |Aut|=1
024 136 136 145 145 146 146 234 235 236 236 245
Size=12 |Aut|=1
125 136 136 145 145 146 146 234 235 236 236 245
Size=12 |Aut|=1
013 024 034 034 035 046 135 136 136 146 146 246
Size=12 |Aut|=2
024 034 034 035 046 125 135 136 136 146 146 246
Size=12 |Aut|=1
013 035 046 056 056 056 135 145 145 146 146 246
Size=12 |Aut|=1
024 035 046 056 056 056 135 145 145 146 146 246
Size=12 |Aut|=1
035 046 056 056 056 125 135 145 145 146 146 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 135 234 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 234 246
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 234 246
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 234 246
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 135 234 246
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 135 234 246
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 135 234 246
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 135 234 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 146 146 234 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 146 146 234 246
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 146 146 234 246
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 146 146 234 246
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 146 146 234 246
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 146 146 234 246
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 146 146 234 246
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 146 146 234 246
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 146 146 234 246
Size=13 |Aut|=1
013 024 034 034 046 135 136 136 146 146 234 246
Size=12 |Aut|=1
024 034 034 046 125 135 136 136 146 146 234 246
Size=12 |Aut|=1
013 034 034 035 056 056 056 145 145 146 146 234 246
Size=13 |Aut|=1
024 034 034 035 056 056 056 145 145 146 146 234 246
Size=13 |Aut|=1
013 035 056 056 056 135 145 145 146 146 234 246
Size=12 |Aut|=1
024 035 056 056 056 135 145 145 146 146 234 246
Size=12 |Aut|=1
035 056 056 056 125 135 145 145 146 146 234 246
Size=12 |Aut|=1
013 024 034 034 035 046 135 145 145 146 146 235 246
Size=13 |Aut|=1
013 024 034 034 035 046 135 146 146 234 235 246
Size=12 |Aut|=1
013 035 046 056 056 056 135 146 146 234 235 246
Size=12 |Aut|=1
024 035 046 056 056 056 135 146 146 234 235 246
Size=12 |Aut|=1
024 034 034 035 046 125 135 146 146 234 235 246
Size=12 |Aut|=1
035 046 056 056 056 125 135 146 146 234 235 246
Size=12 |Aut|=1
012 012 012 013 035 125 135 136 136 236 236 246
Size=12 |Aut|=1
012 012 012 013 046 125 135 136 136 236 236 246
Size=12 |Aut|=1
012 012 012 013 035 125 135 145 145 236 236 246
Size=12 |Aut|=1
012 012 012 013 046 125 135 145 145 236 236 246
Size=12 |Aut|=1
035 046 056 056 056 125 135 145 145 236 236 246
Size=12 |Aut|=1
012 012 012 035 125 145 145 146 146 236 236 246
Size=12 |Aut|=1
012 012 012 046 125 145 145 146 146 236 236 246
Size=12 |Aut|=1
013 035 135 136 136 145 145 146 146 236 236 246
Size=12 |Aut|=1
024 035 135 136 136 145 145 146 146 236 236 246
Size=12 |Aut|=2
013 046 135 136 136 145 145 146 146 236 236 246
Size=12 |Aut|=2
035 125 135 136 136 145 145 146 146 236 236 246
Size=12 |Aut|=1
046 125 135 136 136 145 145 146 146 236 236 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 234 236 236 246
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 234 236 236 246
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 234 236 236 246
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 234 236 236 246
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 234 236 236 246
Size=13 |Aut|=1
012 012 012 013 024 135 136 136 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 125 135 136 136 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 145 145 234 236 236 246
Size=13 |Aut|=1
012 012 012 024 056 056 056 145 145 234 236 236 246
Size=13 |Aut|=1
013 034 034 035 056 056 056 145 145 234 236 236 246
Size=13 |Aut|=1
024 034 034 035 056 056 056 145 145 234 236 236 246
Size=13 |Aut|=1
012 012 012 013 024 135 145 145 234 236 236 246
Size=12 |Aut|=1
013 035 056 056 056 135 145 145 234 236 236 246
Size=12 |Aut|=1
024 035 056 056 056 135 145 145 234 236 236 246
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 234 236 236 246
Size=12 |Aut|=1
035 056 056 056 125 135 145 145 234 236 236 246
Size=12 |Aut|=1
012 012 012 024 034 034 046 146 146 234 236 236 246
Size=13 |Aut|=1
012 012 012 013 136 136 146 146 234 236 236 246
Size=12 |Aut|=1
012 012 012 024 136 136 146 146 234 236 236 246
Size=12 |Aut|=1
013 034 034 046 136 136 146 146 234 236 236 246
Size=12 |Aut|=1
024 034 034 046 136 136 146 146 234 236 236 246
Size=12 |Aut|=1
012 012 012 024 145 145 146 146 234 236 236 246
Size=12 |Aut|=1
012 012 012 125 145 145 146 146 234 236 236 246
Size=12 |Aut|=1
013 135 136 136 145 145 146 146 234 236 236 246
Size=12 |Aut|=1
024 135 136 136 145 145 146 146 234 236 236 246
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 234 236 236 246
Size=12 |Aut|=1
034 034 035 046 125 136 136 146 146 235 236 236 246
Size=13 |Aut|=1
013 035 046 135 136 136 146 146 235 236 236 246
Size=12 |Aut|=1
024 035 046 135 136 136 146 146 235 236 236 246
Size=12 |Aut|=1
035 046 125 135 136 136 146 146 235 236 236 246
Size=12 |Aut|=1
013 035 046 135 145 145 146 146 235 236 236 246
Size=12 |Aut|=1
024 035 046 135 145 145 146 146 235 236 236 246
Size=12 |Aut|=1
035 046 125 135 145 145 146 146 235 236 236 246
Size=12 |Aut|=1
013 035 046 056 056 056 135 234 235 236 236 246
Size=12 |Aut|=1
024 035 046 056 056 056 135 234 235 236 236 246
Size=12 |Aut|=1
035 046 056 056 056 125 135 234 235 236 236 246
Size=12 |Aut|=1
024 034 034 035 046 146 146 234 235 236 236 246
Size=12 |Aut|=1
034 034 046 125 136 136 146 146 234 235 236 236 246
Size=13 |Aut|=1
013 046 135 136 136 146 146 234 235 236 236 246
Size=12 |Aut|=1
024 046 135 136 136 146 146 234 235 236 236 246
Size=12 |Aut|=1
046 125 135 136 136 146 146 234 235 236 236 246
Size=12 |Aut|=1
013 034 034 035 145 145 146 146 234 235 236 236 246
Size=13 |Aut|=1
024 034 034 035 145 145 146 146 234 235 236 236 246
Size=13 |Aut|=1
013 035 135 145 145 146 146 234 235 236 236 246
Size=12 |Aut|=1
024 035 135 145 145 146 146 234 235 236 236 246
Size=12 |Aut|=1
035 125 135 145 145 146 146 234 235 236 236 246
Size=12 |Aut|=1
012 012 012 013 024 035 125 135 136 136 245 246
Size=12 |Aut|=1
012 012 012 013 024 046 125 135 136 136 245 246
Size=12 |Aut|=1
013 024 034 034 035 046 125 135 136 136 245 246
Size=12 |Aut|=1
012 012 012 013 024 035 125 135 145 145 245 246
Size=12 |Aut|=1
012 012 012 013 024 046 125 135 145 145 245 246
Size=12 |Aut|=1
012 012 012 024 035 125 136 136 146 146 245 246
Size=12 |Aut|=1
012 012 012 024 046 125 136 136 146 146 245 246
Size=12 |Aut|=1
012 012 012 024 035 125 145 145 146 146 245 246
Size=12 |Aut|=1
012 012 012 024 046 125 145 145 146 146 245 246
Size=12 |Aut|=1
035 046 056 056 056 125 145 145 146 146 245 246
Size=12 |Aut|=1
024 035 125 135 136 136 145 145 146 146 245 246
Size=12 |Aut|=1
024 046 125 135 136 136 145 145 146 146 245 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 234 245 246
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 234 245 246
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 234 245 246
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 234 245 246
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 234 245 246
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 234 245 246
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 234 245 246
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 234 245 246
Size=12 |Aut|=1
012 012 012 013 024 125 135 136 136 234 245 246
Size=12 |Aut|=1
013 024 034 034 046 125 135 136 136 234 245 246
Size=12 |Aut|=1
012 012 012 013 024 125 135 145 145 234 245 246
Size=12 |Aut|=1
012 012 012 013 024 136 136 146 146 234 245 246
Size=12 |Aut|=1
012 012 012 024 125 136 136 146 146 234 245 246
Size=12 |Aut|=1
013 035 056 056 056 145 145 146 146 234 245 246
Size=12 |Aut|=1
024 035 056 056 056 145 145 146 146 234 245 246
Size=12 |Aut|=1
012 012 012 024 125 145 145 146 146 234 245 246
Size=12 |Aut|=1
035 056 056 056 125 145 145 146 146 234 245 246
Size=12 |Aut|=1
013 024 135 136 136 145 145 146 146 234 245 246
Size=12 |Aut|=1
024 125 135 136 136 145 145 146 146 234 245 246
Size=12 |Aut|=1
013 024 035 046 135 136 136 146 146 235 245 246
Size=12 |Aut|=2
024 035 046 125 135 136 136 146 146 235 245 246
Size=12 |Aut|=1
013 024 035 046 135 145 145 146 146 235 245 246
Size=12 |Aut|=1
024 035 046 125 135 145 145 146 146 235 245 246
Size=12 |Aut|=1
013 035 046 056 056 056 146 146 234 235 245 246
Size=12 |Aut|=1
024 035 046 056 056 056 146 146 234 235 245 246
Size=12 |Aut|=1
035 046 056 056 056 125 146 146 234 235 245 246
Size=12 |Aut|=1
013 024 046 135 136 136 146 146 234 235 245 246
Size=12 |Aut|=1
024 046 125 135 136 136 146 146 234 235 245 246
Size=12 |Aut|=1
013 035 125 135 136 136 145 145 236 236 245 246
Size=12 |Aut|=1
013 046 125 135 136 136 145 145 236 236 245 246
Size=12 |Aut|=1
035 125 136 136 145 145 146 146 236 236 245 246
Size=12 |Aut|=1
046 125 136 136 145 145 146 146 236 236 245 246
Size=12 |Aut|=1
013 024 034 034 046 136 136 234 236 236 245 246
Size=12 |Aut|=1
013 035 056 056 056 145 145 234 236 236 245 246
Size=12 |Aut|=1
024 035 056 056 056 145 145 234 236 236 245 246
Size=12 |Aut|=1
035 056 056 056 125 145 145 234 236 236 245 246
Size=12 |Aut|=1
013 024 135 136 136 145 145 234 236 236 245 246
Size=12 |Aut|=1
013 125 135 136 136 145 145 234 236 236 245 246
Size=12 |Aut|=1
013 136 136 145 145 146 146 234 236 236 245 246
Size=12 |Aut|=1
024 136 136 145 145 146 146 234 236 236 245 246
Size=12 |Aut|=1
125 136 136 145 145 146 146 234 236 236 245 246
Size=12 |Aut|=1
035 046 125 136 136 146 146 235 236 236 245 246
Size=12 |Aut|=1
035 046 125 145 145 146 146 235 236 236 245 246
Size=12 |Aut|=1
013 035 046 056 056 056 234 235 236 236 245 246
Size=12 |Aut|=1
024 035 046 056 056 056 234 235 236 236 245 246
Size=12 |Aut|=1
035 046 056 056 056 125 234 235 236 236 245 246
Size=12 |Aut|=1
013 024 046 135 136 136 234 235 236 236 245 246
Size=12 |Aut|=1
013 046 136 136 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
024 046 136 136 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
046 125 136 136 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
013 035 145 145 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
024 035 145 145 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
035 125 145 145 146 146 234 235 236 236 245 246
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 136 136 256
Size=13 |Aut|=1
013 034 034 035 056 056 056 125 135 136 136 256
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 145 145 256
Size=13 |Aut|=1
013 034 034 046 056 056 056 125 135 145 145 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 135 145 145 256
Size=12 |Aut|=1
034 034 046 056 056 056 125 145 145 146 146 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 125 135 136 136 234 256
Size=13 |Aut|=1
013 034 034 046 056 056 056 125 135 136 136 234 256
Size=13 |Aut|=1
013 034 034 035 056 056 056 125 135 145 145 234 256
Size=13 |Aut|=1
024 034 034 035 056 056 056 125 135 145 145 234 256
Size=13 |Aut|=1
012 012 012 013 024 034 034 035 125 135 235 256
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 235 256
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 235 256
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 235 256
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 125 135 235 256
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 125 135 235 256
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 125 135 235 256
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 125 135 235 256
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 146 146 235 256
Size=13 |Aut|=1
012 012 012 024 034 034 046 125 146 146 235 256
Size=12 |Aut|=1
012 012 012 035 056 056 056 125 146 146 235 256
Size=12 |Aut|=1
012 012 012 046 056 056 056 125 146 146 235 256
Size=12 |Aut|=1
034 034 035 046 056 056 056 125 146 146 235 256
Size=12 |Aut|=1
034 034 035 056 056 056 125 136 136 146 146 235 256
Size=13 |Aut|=1
035 056 056 056 125 135 136 136 146 146 235 256
Size=12 |Aut|=1
024 034 034 046 125 135 145 145 146 146 235 256
Size=12 |Aut|=1
013 034 034 035 056 056 056 125 135 234 235 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 125 135 234 235 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 125 135 234 235 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 135 234 235 256
Size=12 |Aut|=1
034 034 035 056 056 056 125 146 146 234 235 256
Size=12 |Aut|=1
034 034 046 056 056 056 125 146 146 234 235 256
Size=12 |Aut|=1
012 012 012 013 034 034 125 145 145 236 236 256
Size=12 |Aut|=1
012 012 012 056 056 056 125 145 145 236 236 256
Size=12 |Aut|=2
034 034 056 056 056 125 136 136 145 145 236 236 256
Size=13 |Aut|=1
056 056 056 125 135 136 136 145 145 236 236 256
Size=12 |Aut|=1
034 034 125 136 136 145 145 146 146 236 236 256
Size=12 |Aut|=2
013 034 034 056 056 056 136 136 234 236 236 256
Size=12 |Aut|=1
024 034 034 056 056 056 136 136 234 236 236 256
Size=12 |Aut|=1
034 034 056 056 056 125 145 145 234 236 236 256
Size=12 |Aut|=1
012 012 012 013 034 034 035 125 235 236 236 256
Size=12 |Aut|=1
012 012 012 013 034 034 046 125 235 236 236 256
Size=12 |Aut|=1
012 012 012 035 056 056 056 125 235 236 236 256
Size=12 |Aut|=1
012 012 012 046 056 056 056 125 235 236 236 256
Size=12 |Aut|=1
034 034 035 046 056 056 056 125 235 236 236 256
Size=12 |Aut|=1
012 012 012 056 056 056 125 136 136 235 236 236 256
Size=13 |Aut|=1
034 034 035 056 056 056 125 136 136 235 236 236 256
Size=13 |Aut|=1
012 012 012 013 125 135 136 136 235 236 236 256
Size=12 |Aut|=1
035 056 056 056 125 135 136 136 235 236 236 256
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 235 236 236 256
Size=12 |Aut|=1
012 012 012 034 034 046 125 146 146 235 236 236 256
Size=13 |Aut|=1
012 012 012 125 136 136 146 146 235 236 236 256
Size=12 |Aut|=1
012 012 012 125 145 145 146 146 235 236 236 256
Size=12 |Aut|=1
034 034 046 125 145 145 146 146 235 236 236 256
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 235 236 236 256
Size=12 |Aut|=1
034 034 035 056 056 056 125 234 235 236 236 256
Size=12 |Aut|=1
034 034 046 056 056 056 125 234 235 236 236 256
Size=12 |Aut|=1
034 034 056 056 056 125 136 136 234 235 236 236 256
Size=13 |Aut|=1
013 056 056 056 135 136 136 234 235 236 236 256
Size=12 |Aut|=1
024 056 056 056 135 136 136 234 235 236 236 256
Size=12 |Aut|=1
056 056 056 125 135 136 136 234 235 236 236 256
Size=12 |Aut|=1
034 034 125 145 145 146 146 234 235 236 236 256
Size=12 |Aut|=1
013 024 034 034 125 135 136 136 145 145 245 256
Size=12 |Aut|=1
024 034 034 125 135 136 136 145 145 146 146 245 256
Size=13 |Aut|=1
013 034 034 056 056 056 125 136 136 234 245 256
Size=12 |Aut|=1
024 034 034 056 056 056 125 136 136 234 245 256
Size=12 |Aut|=1
013 034 034 056 056 056 125 145 145 234 245 256
Size=12 |Aut|=1
024 034 034 056 056 056 125 145 145 234 245 256
Size=12 |Aut|=1
013 034 034 056 056 056 136 136 146 146 234 245 256
Size=13 |Aut|=1
024 034 034 056 056 056 136 136 146 146 234 245 256
Size=13 |Aut|=1
034 034 056 056 056 125 145 145 146 146 234 245 256
Size=13 |Aut|=1
012 012 012 013 024 034 034 035 125 235 245 256
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 235 245 256
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 235 245 256
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 235 245 256
Size=12 |Aut|=2
012 012 012 013 046 056 056 056 125 235 245 256
Size=12 |Aut|=2
012 012 012 013 024 125 135 136 136 235 245 256
Size=12 |Aut|=1
012 012 012 013 024 125 135 145 145 235 245 256
Size=12 |Aut|=1
013 024 034 034 046 125 135 145 145 235 245 256
Size=12 |Aut|=1
012 012 012 024 125 136 136 146 146 235 245 256
Size=12 |Aut|=1
012 012 012 024 125 145 145 146 146 235 245 256
Size=12 |Aut|=1
024 125 135 136 136 145 145 146 146 235 245 256
Size=12 |Aut|=1
013 034 034 035 056 056 056 125 234 235 245 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 125 234 235 245 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 125 234 235 245 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 234 235 245 256
Size=12 |Aut|=1
013 056 056 056 136 136 146 146 234 235 245 256
Size=12 |Aut|=1
024 056 056 056 136 136 146 146 234 235 245 256
Size=12 |Aut|=1
013 034 034 046 125 145 145 235 236 236 245 256
Size=12 |Aut|=2
013 125 135 136 136 145 145 235 236 236 245 256
Size=12 |Aut|=1
125 136 136 145 145 146 146 235 236 236 245 256
Size=12 |Aut|=2
013 056 056 056 136 136 234 235 236 236 245 256
Size=12 |Aut|=1
024 056 056 056 136 136 234 235 236 236 245 256
Size=12 |Aut|=1
056 056 056 125 136 136 234 235 236 236 245 256
Size=12 |Aut|=1
013 034 034 125 145 145 234 235 236 236 245 256
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 125 135 246 256
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 125 135 246 256
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 125 135 246 256
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 125 135 246 256
Size=12 |Aut|=2
012 012 012 013 046 056 056 056 125 135 246 256
Size=12 |Aut|=2
046 056 056 056 125 135 145 145 146 146 246 256
Size=12 |Aut|=1
013 034 034 035 056 056 056 125 135 234 246 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 125 135 234 246 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 125 135 234 246 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 135 234 246 256
Size=12 |Aut|=1
013 034 034 035 056 056 056 146 146 234 246 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 146 146 234 246 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 146 146 234 246 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 146 146 234 246 256
Size=12 |Aut|=1
024 034 034 035 046 125 135 146 146 235 246 256
Size=12 |Aut|=1
035 046 056 056 056 125 135 146 146 235 246 256
Size=12 |Aut|=1
013 035 056 056 056 135 146 146 234 235 246 256
Size=12 |Aut|=1
024 035 056 056 056 135 146 146 234 235 246 256
Size=12 |Aut|=1
013 046 056 056 056 135 146 146 234 235 246 256
Size=12 |Aut|=1
024 046 056 056 056 135 146 146 234 235 246 256
Size=12 |Aut|=1
024 034 034 046 125 135 146 146 234 235 246 256
Size=12 |Aut|=1
035 056 056 056 125 135 146 146 234 235 246 256
Size=12 |Aut|=1
046 056 056 056 125 135 146 146 234 235 246 256
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 236 236 246 256
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 236 236 246 256
Size=12 |Aut|=2
013 034 034 035 056 056 056 234 236 236 246 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 234 236 236 246 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 234 236 236 246 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 234 236 236 246 256
Size=12 |Aut|=1
013 034 034 056 056 056 145 145 234 236 236 246 256
Size=13 |Aut|=1
024 034 034 056 056 056 145 145 234 236 236 246 256
Size=13 |Aut|=1
013 056 056 056 135 145 145 234 236 236 246 256
Size=12 |Aut|=1
024 056 056 056 135 145 145 234 236 236 246 256
Size=12 |Aut|=1
056 056 056 125 135 145 145 234 236 236 246 256
Size=12 |Aut|=1
013 034 034 136 136 146 146 234 236 236 246 256
Size=12 |Aut|=1
024 034 034 136 136 146 146 234 236 236 246 256
Size=12 |Aut|=1
035 046 056 056 056 125 135 235 236 236 246 256
Size=12 |Aut|=1
035 125 135 136 136 146 146 235 236 236 246 256
Size=12 |Aut|=1
046 125 135 145 145 146 146 235 236 236 246 256
Size=12 |Aut|=1
013 035 056 056 056 135 234 235 236 236 246 256
Size=12 |Aut|=1
024 035 056 056 056 135 234 235 236 236 246 256
Size=12 |Aut|=1
013 046 056 056 056 135 234 235 236 236 246 256
Size=12 |Aut|=1
024 046 056 056 056 135 234 235 236 236 246 256
Size=12 |Aut|=1
035 056 056 056 125 135 234 235 236 236 246 256
Size=12 |Aut|=1
046 056 056 056 125 135 234 235 236 236 246 256
Size=12 |Aut|=1
013 034 034 035 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
024 034 034 046 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
034 034 046 125 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
034 034 125 136 136 146 146 234 235 236 236 246 256
Size=13 |Aut|=1
013 135 136 136 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
024 135 136 136 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
125 135 136 136 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
013 034 034 145 145 146 146 234 235 236 236 246 256
Size=13 |Aut|=1
024 034 034 145 145 146 146 234 235 236 236 246 256
Size=13 |Aut|=1
013 135 145 145 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
024 135 145 145 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
125 135 145 145 146 146 234 235 236 236 246 256
Size=12 |Aut|=1
013 034 034 035 056 056 056 125 234 245 246 256
Size=12 |Aut|=1
024 034 034 035 056 056 056 125 234 245 246 256
Size=12 |Aut|=1
013 034 034 046 056 056 056 125 234 245 246 256
Size=12 |Aut|=1
024 034 034 046 056 056 056 125 234 245 246 256
Size=12 |Aut|=1
013 024 034 034 125 135 136 136 234 245 246 256
Size=12 |Aut|=1
013 024 034 034 135 136 136 146 146 234 245 246 256
Size=13 |Aut|=1
056 056 056 125 145 145 146 146 234 245 246 256
Size=12 |Aut|=1
013 024 034 034 035 046 125 135 235 245 246 256
Size=12 |Aut|=2
024 046 125 135 145 145 146 146 235 245 246 256
Size=12 |Aut|=1
013 024 034 034 046 125 135 234 235 245 246 256
Size=12 |Aut|=1
013 035 056 056 056 146 146 234 235 245 246 256
Size=12 |Aut|=1
024 035 056 056 056 146 146 234 235 245 246 256
Size=12 |Aut|=1
013 046 056 056 056 146 146 234 235 245 246 256
Size=12 |Aut|=1
024 046 056 056 056 146 146 234 235 245 246 256
Size=12 |Aut|=1
035 056 056 056 125 146 146 234 235 245 246 256
Size=12 |Aut|=1
046 056 056 056 125 146 146 234 235 245 246 256
Size=12 |Aut|=1
013 024 135 136 136 146 146 234 235 245 246 256
Size=12 |Aut|=1
013 024 034 034 136 136 234 236 236 245 246 256
Size=12 |Aut|=1
013 034 034 125 136 136 234 236 236 245 246 256
Size=12 |Aut|=1
013 056 056 056 145 145 234 236 236 245 246 256
Size=12 |Aut|=1
024 056 056 056 145 145 234 236 236 245 246 256
Size=12 |Aut|=1
056 056 056 125 145 145 234 236 236 245 246 256
Size=12 |Aut|=1
013 046 125 135 145 145 235 236 236 245 246 256
Size=12 |Aut|=2
013 024 034 034 035 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 024 034 034 046 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 035 056 056 056 234 235 236 236 245 246 256
Size=12 |Aut|=1
024 035 056 056 056 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 046 056 056 056 234 235 236 236 245 246 256
Size=12 |Aut|=1
024 046 056 056 056 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 034 034 035 125 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 034 034 046 125 234 235 236 236 245 246 256
Size=12 |Aut|=1
035 056 056 056 125 234 235 236 236 245 246 256
Size=12 |Aut|=1
046 056 056 056 125 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 024 135 136 136 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 125 135 136 136 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 024 034 034 145 145 234 235 236 236 245 246 256
Size=13 |Aut|=1
013 024 135 145 145 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 125 135 145 145 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 136 136 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
024 136 136 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
125 136 136 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
013 145 145 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
024 145 145 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
125 145 145 146 146 234 235 236 236 245 246 256
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 135 136 136 234 345
Size=13 |Aut|=1
024 034 034 046 056 056 056 135 136 136 234 345
Size=12 |Aut|=1
013 034 034 035 056 056 056 135 145 145 234 345
Size=12 |Aut|=1
024 034 034 035 056 056 056 135 145 145 234 345
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 135 145 145 234 345
Size=13 |Aut|=1
034 034 035 056 056 056 145 145 146 146 234 345
Size=12 |Aut|=1
012 012 012 013 024 034 034 035 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 135 234 235 345
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 046 056 056 056 135 234 235 345
Size=12 |Aut|=1
012 012 012 024 046 056 056 056 135 234 235 345
Size=12 |Aut|=1
013 034 034 035 046 056 056 056 135 234 235 345
Size=12 |Aut|=1
024 034 034 035 046 056 056 056 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 034 034 035 125 135 234 235 345
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 034 034 046 125 135 234 235 345
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 135 234 235 345
Size=12 |Aut|=1
012 012 012 013 034 034 035 146 146 234 235 345
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 146 146 234 235 345
Size=13 |Aut|=1
012 012 012 035 056 056 056 146 146 234 235 345
Size=12 |Aut|=1
012 012 012 046 056 056 056 146 146 234 235 345
Size=12 |Aut|=1
034 034 035 046 056 056 056 146 146 234 235 345
Size=12 |Aut|=1
012 012 012 034 034 035 125 146 146 234 235 345
Size=12 |Aut|=1
012 012 012 034 034 046 125 146 146 234 235 345
Size=12 |Aut|=1
034 034 046 056 056 056 136 136 146 146 234 235 345
Size=13 |Aut|=1
046 056 056 056 135 136 136 146 146 234 235 345
Size=12 |Aut|=1
013 034 034 035 135 145 145 146 146 234 235 345
Size=12 |Aut|=1
034 034 035 125 135 145 145 146 146 234 235 345
Size=12 |Aut|=1
012 012 012 024 034 034 145 145 234 236 236 345
Size=12 |Aut|=1
012 012 012 056 056 056 145 145 234 236 236 345
Size=12 |Aut|=2
012 012 012 034 034 125 145 145 234 236 236 345
Size=12 |Aut|=1
034 034 056 056 056 136 136 145 145 234 236 236 345
Size=13 |Aut|=1
056 056 056 135 136 136 145 145 234 236 236 345
Size=12 |Aut|=1
034 034 136 136 145 145 146 146 234 236 236 345
Size=12 |Aut|=2
012 012 012 024 034 034 035 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 024 034 034 046 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 035 056 056 056 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 046 056 056 056 234 235 236 236 345
Size=12 |Aut|=1
034 034 035 046 056 056 056 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 034 034 035 125 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 034 034 046 125 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 056 056 056 136 136 234 235 236 236 345
Size=13 |Aut|=1
034 034 046 056 056 056 136 136 234 235 236 236 345
Size=13 |Aut|=1
012 012 012 034 034 125 136 136 234 235 236 236 345
Size=13 |Aut|=1
012 012 012 024 135 136 136 234 235 236 236 345
Size=12 |Aut|=1
046 056 056 056 135 136 136 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 125 135 136 136 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 024 135 145 145 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 125 135 145 145 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 034 034 035 146 146 234 235 236 236 345
Size=13 |Aut|=1
012 012 012 136 136 146 146 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 145 145 146 146 234 235 236 236 345
Size=12 |Aut|=1
034 034 035 145 145 146 146 234 235 236 236 345
Size=12 |Aut|=1
135 136 136 145 145 146 146 234 235 236 236 345
Size=12 |Aut|=1
012 012 012 013 034 034 125 136 136 234 245 345
Size=12 |Aut|=1
012 012 012 024 034 034 125 136 136 234 245 345
Size=12 |Aut|=1
012 012 012 013 034 034 125 145 145 234 245 345
Size=12 |Aut|=1
012 012 012 024 034 034 125 145 145 234 245 345
Size=12 |Aut|=1
013 024 034 034 135 136 136 145 145 234 245 345
Size=12 |Aut|=1
024 034 034 125 135 136 136 145 145 234 245 345
Size=12 |Aut|=1
012 012 012 034 034 125 145 145 146 146 234 245 345
Size=13 |Aut|=1
013 034 034 135 136 136 145 145 146 146 234 245 345
Size=13 |Aut|=1
034 034 125 135 136 136 145 145 146 146 234 245 345
Size=13 |Aut|=1
012 012 012 013 024 034 034 035 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 234 235 245 345
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 234 235 245 345
Size=12 |Aut|=2
012 012 012 013 046 056 056 056 234 235 245 345
Size=12 |Aut|=2
012 012 012 013 034 034 035 125 234 235 245 345
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 034 034 046 125 234 235 245 345
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 024 135 136 136 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 125 135 136 136 234 235 245 345
Size=12 |Aut|=1
012 012 012 024 125 135 136 136 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 024 135 145 145 234 235 245 345
Size=12 |Aut|=1
013 024 034 034 035 135 145 145 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 234 235 245 345
Size=12 |Aut|=1
012 012 012 024 125 135 145 145 234 235 245 345
Size=12 |Aut|=1
013 034 034 035 125 135 145 145 234 235 245 345
Size=12 |Aut|=1
024 034 034 035 125 135 145 145 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 136 136 146 146 234 235 245 345
Size=12 |Aut|=1
012 012 012 013 145 145 146 146 234 235 245 345
Size=12 |Aut|=1
012 012 012 125 145 145 146 146 234 235 245 345
Size=12 |Aut|=1
013 135 136 136 145 145 146 146 234 235 245 345
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 234 235 245 345
Size=12 |Aut|=1
034 034 125 136 136 145 145 234 236 236 245 345
Size=12 |Aut|=1
024 034 034 035 145 145 234 235 236 236 245 345
Size=12 |Aut|=2
034 034 035 125 145 145 234 235 236 236 245 345
Size=12 |Aut|=1
024 135 136 136 145 145 234 235 236 236 245 345
Size=12 |Aut|=1
125 135 136 136 145 145 234 235 236 236 245 345
Size=12 |Aut|=1
136 136 145 145 146 146 234 235 236 236 245 345
Size=12 |Aut|=2
012 012 012 013 024 034 034 035 135 234 246 345
Size=12 |Aut|=1
012 012 012 013 024 034 034 046 135 234 246 345
Size=12 |Aut|=1
012 012 012 013 035 056 056 056 135 234 246 345
Size=12 |Aut|=1
012 012 012 024 035 056 056 056 135 234 246 345
Size=12 |Aut|=2
012 012 012 013 046 056 056 056 135 234 246 345
Size=12 |Aut|=2
012 012 012 013 034 034 035 125 135 234 246 345
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 135 234 246 345
Size=12 |Aut|=1
012 012 012 013 034 034 046 125 135 234 246 345
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 135 234 246 345
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 146 146 234 246 345
Size=13 |Aut|=1
012 012 012 013 034 034 046 125 146 146 234 246 345
Size=13 |Aut|=1
035 056 056 056 135 145 145 146 146 234 246 345
Size=12 |Aut|=1
013 034 034 035 046 135 146 146 234 235 246 345
Size=12 |Aut|=1
035 046 056 056 056 135 146 146 234 235 246 345
Size=12 |Aut|=1
034 034 035 046 125 135 146 146 234 235 246 345
Size=12 |Aut|=1
012 012 012 013 034 034 035 125 234 236 236 246 345
Size=13 |Aut|=1
012 012 012 013 034 034 046 125 234 236 236 246 345
Size=13 |Aut|=1
012 012 012 024 135 145 145 234 236 236 246 345
Size=12 |Aut|=1
012 012 012 125 135 145 145 234 236 236 246 345
Size=12 |Aut|=1
135 136 136 145 145 146 146 234 236 236 246 345
Size=12 |Aut|=2
035 046 056 056 056 135 234 235 236 236 246 345
Size=12 |Aut|=1
046 135 136 136 146 146 234 235 236 236 246 345
Size=12 |Aut|=1
035 135 145 145 146 146 234 235 236 236 246 345
Size=12 |Aut|=1
012 012 012 013 034 034 035 125 234 245 246 345
Size=12 |Aut|=1
012 012 012 024 034 034 035 125 234 245 246 345
Size=12 |Aut|=1
012 012 012 013 034 034 046 125 234 245 246 345
Size=12 |Aut|=1
012 012 012 024 034 034 046 125 234 245 246 345
Size=12 |Aut|=1
012 012 012 013 125 135 136 136 234 245 246 345
Size=12 |Aut|=1
012 012 012 024 125 135 136 136 234 245 246 345
Size=12 |Aut|=1
024 034 034 046 125 135 136 136 234 245 246 345
Size=12 |Aut|=1
012 012 012 013 125 135 145 145 234 245 246 345
Size=12 |Aut|=1
012 012 012 024 125 135 145 145 234 245 246 345
Size=12 |Aut|=1
012 012 012 125 145 145 146 146 234 245 246 345
Size=12 |Aut|=1
125 135 136 136 145 145 146 146 234 245 246 345
Size=12 |Aut|=1
013 024 034 034 035 046 135 234 235 245 246 345
Size=12 |Aut|=2
024 034 034 035 046 125 135 234 235 245 246 345
Size=12 |Aut|=1
013 035 135 145 145 146 146 234 235 245 246 345
Size=12 |Aut|=1
035 125 135 145 145 146 146 234 235 245 246 345
Size=12 |Aut|=1
125 135 136 136 145 145 234 236 236 245 246 345
Size=12 |Aut|=1
024 035 135 145 145 234 235 236 236 245 246 345
Size=12 |Aut|=2
035 125 135 145 145 234 235 236 236 245 246 345
Size=12 |Aut|=1
013 034 034 125 135 145 145 234 235 245 256 345
Size=12 |Aut|=1
024 034 034 125 135 145 145 234 235 245 256 345
Size=12 |Aut|=1
034 034 125 135 145 145 146 146 234 235 245 256 345
Size=13 |Aut|=1
034 034 125 145 145 234 235 236 236 245 256 345
Size=12 |Aut|=2
013 034 034 035 125 135 234 235 245 246 256 345
Size=12 |Aut|=1
125 135 145 145 146 146 234 235 245 246 256 345
Size=12 |Aut|=1
125 135 145 145 234 235 236 236 245 246 256 345
Size=12 |Aut|=2

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

Size Count
—- —–
12 625
13 112

Only 737 (non-isomorphic) minimal defining sets
Totally 1440 (inequivalent) minimal defining sets

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