
(*
  << IHX.m
  Clear[DimB]
  Difficulty[m_,cols_List] := N[m! 2^m / (Times @@ (cols!))]
  << Dims.m
  DimB[___]:=TooHard
  Join @@ Table[Print[m];DimBTable[m],{m,7,15}]
  List @@ First /@ Select[%,!FreeQ[#,TooHard]&]
  Take[Sort[{Difficulty @@ #,#}& /@ %],50]
  Last /@ %
  % >>> Do.m
*)
