cases := [
weight12level11,
weight12level13,
weight12level17,
weight12level19,
weight12level29,
weight12level31,
weight12level41 ]:

read "ReducedPolynomials":

p := 816212624008487344127999;
for i in cases do
	Factor( Qx_red_||i ) mod p
od;

M := 2^14 * 3^7 * 5^3 * 691:
h := (p+1)/M;
h+1 mod 23;
h mod 49;