OFFSET
0,3
COMMENTS
Equivalently, the number of n-colorings of the faces of the disdyakis dodecahedron, which is the polyhedral dual of the truncated cuboctahedron.
Colorings are counted up to the full octahedral group of order 48.
LINKS
FORMULA
a(n) = 1/48*(n^48 + 19*n^24 + 8*n^16 + 12*n^12 + 8*n^8).
Asymptotically, a(n) ~ n^48/48.
CROSSREFS
KEYWORD
nonn,easy,new
AUTHOR
Peter Kagey, Nov 27 2024
STATUS
approved