Thus, by an application of the Cauchy-Frobenius Lemma, we obtain
where
.
Corollary
The number of
-graphs on
vertices is equal to
is as above. More explicitly and in terms of
cycle types of
(see
) this number is equal to
A table giving the first of these numbers looks as follows:
Check these numbers and compute some more of them.