[math-fun] Possibly new sequence related to dodecahedron