#% M = 1
\[do\](2, 0, t-1, 1);
#%\[do\](2, 0, t-1, 2); #: This gives $\MG(2)$
#%\[do\](2, 3, t-1, 1); #: Same as (2, 0, t-1, 1)

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

#% M = 3
\[do\](6, 0, t^2+t+1, 2);
\[do\](3, 2, t^2+t+1, 2);

#% M = 4
\[do\](4, 0, t^2+1, 1);
\[do\](4, 3, t^2+1, 3);

#% M = 5
\[do\](10, 0, t^4-t^3+t^2-t+1, 1);
\[do\](10, 3, t^4-t^3+t^2-t+1, 3);
\[do\]( 5, 2, t^4-t^3+t^2-t+1, 1); #% p=2
\[do\]( 5, 2, t^4-t^3+t^2-t+1, 5);

#% M = 6
\[do\](3, 0, t^2-t+1, 1);
#%\[do\](3, 0, t^2-t+1, 2); #: This gives $\MG(3)$
\[do\](3, 2, t^2-t+1, 1); #% p=2
