Combinatorial_enumeration loading ...