Grogg colors each of the edges of a tetrahedron either purple or orange. two colorings are considered the same if you can rotate one to produce the other. how many distinct colorings can grogg make?