This uses Power Group Enumeration (PGE). The sequence ceases to grow once it reaches a(12) = 178249 because at most twelve colors can be represented and in a coloring with additional colors beyond the initial twelve the new colors can be permuted out and replaced by colors from the initial set, forming part of an orbit that has already been counted.
REFERENCES
F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, 1973.