#% Dihedral quotients (N = 1)
#%\[do\](1, 2, t+1, 1); #: Same as (2, 0, t-1, 1)
\[do\](1, 3, t+1, 1); #: 3B^0=\MG_1(3) #: Same as (3, 0, t^2-t+1, 1) (theorem)
\[do\](1, 5, t+1, 1); #: 5D^0=\MG_1(5)
\[do\](1, 7, t+1, 1); #: 7E^0=\MG_1(7)

#% N = 2
\[do\](2, 0, t-1, 1); #: 2B^0=\MG_1(2)
\[do\](2, 3, t-1, 2); #: 2A^0=\MG^2
#%\[do\](2, 0, t-1, 2); #: This gives $\MG(2)$

#% N = 3
\[do\](3, 0, t^2-t+1, 1); #: 3B^0=\MG_1(3)
\[do\](3, 2, t^2-t+1, 1); #: smaller group
\[do\](3, 2, t^2-t+1, 2); #: 3A^0=\MG^3 #: (\MG)^-

#% N = 4
\[do\](4, 0, t^2+1, 1); #: 4B^0=\MG_1(4)
\[do\](4, 3, t^2+1, 3); #: 4D^0

#% N = 5
\[do\](5, 0, t^4-t^3+t^2-t+1, 1); #: 5D^0=\MG_1(5)
\[do\](5, 2, t^4-t^3+t^2-t+1, 1); #: smaller group
\[do\](5, 2, t^4-t^3+t^2-t+1, 5); #: 5E^0
\[do\](5, 3, t^4-t^3+t^2-t+1, 3); #: 5F^0
