m := 4; n := 5; g := 25; F:=CyclotomicField(4); R:=PolynomialRing(F,2); X := (-u^14 + (i - 6)*u^13 + (6*i - 14)*u^12 + (14*i - 14)*u^11 + (14*i - 1)*u^10 + 8*u^9 + (-14*i - 1)*u^8 + (-14*i - 14)*u^7 + (-6*i - 14)*u^6 + (-i - 6)*u^5 - u^4)*v^12 + (24*u^13 + (-24*i + 120)*u^12 + (-120*i + 216)*u^11 + (-216*i + 120)*u^10 + (-120*i - 96)*u^9 + (120*i - 96)*u^8 + (216*i + 120)*u^7 + (120*i + 216)*u^6 + (24*i + 120)*u^5 + 24*u^4)*v^11 + (12*u^14 + (-12*i + 48)*u^13 + (-48*i - 192)*u^12 + (192*i - 1008)*u^11 + (1008*i - 1308)*u^10 + 1320*i*u^9 + (48*i + 1068)*u^8 + (-1248*i + 48)*u^7 + (-1008*i - 1248)*u^6 + (-252*i - 1008)*u^5 - 252*u^4)*v^10 + (-240*u^13 + (240*i - 720)*u^12 + (720*i + 1040)*u^11 + (-1040*i + 5040)*u^10 + (-5040*i + 3520)*u^9 + (-3760*i - 3520)*u^8 + (2800*i - 3760)*u^7 + (4560*i + 2800)*u^6 + (1520*i + 4560)*u^5 + 1520*u^4)*v^9 + (i*u^17 + (2*i + 1)*u^16 + 2*u^15 + (-2*i - 58)*u^14 + (58*i - 118)*u^13 + (118*i + 2040)*u^12 + (-2040*i + 4198)*u^11 + (-4198*i - 5823)*u^10 + (5760*i - 15844)*u^9 + (15718*i - 63)*u^8 + (2040*i + 15718)*u^7 + (-11638*i + 2040)*u^6 + (-5818*i - 11638)*u^5 + (2*i - 5818)*u^4 + 2*u^3 + (-2*i + 1)*u^2 - i*u)*v^8 + (-16*i*u^16 + (-16*i - 16)*u^15 + (16*i - 16)*u^14 + (16*i + 944)*u^13 + (-944*i + 944)*u^12 + (-944*i - 10544)*u^11 + (10544*i - 10544)*u^10 + (10544*i + 25376)*u^9 + (-24368*i + 25376)*u^8 + (-24368*i - 24368)*u^7 + (14768*i - 24368)*u^6 + (14768*i + 14768)*u^5 + (-16*i + 14768)*u^4 + (-16*i - 16)*u^3 + (16*i - 16)*u^2 + 16*i*u)*v^7 + (-8*i*u^17 - 8*u^16 + 112*i*u^15 + 256*u^14 - 256*i*u^13 - 6288*u^12 + 6288*i*u^11 + 33672*u^10 - 33488*i*u^9 - 59176*u^8 + 52624*i*u^7 + 52624*u^6 - 25280*i*u^5 - 25280*u^4 + 112*i*u^3 + 104*u^2 - 104*i*u)*v^6 + (96*i*u^16 + (-96*i + 96)*u^15 + (-352*i - 96)*u^14 + (352*i - 2080)*u^13 + (1824*i + 2080)*u^12 + (-1824*i + 20512)*u^11 + (-20768*i - 20512)*u^10 + (20768*i - 51136)*u^9 + (48672*i + 51136)*u^8 + (-48672*i + 48928)*u^7 + (-29216*i - 48928)*u^6 + (29216*i - 28960)*u^5 + (96*i + 28960)*u^4 + (-96*i + 352)*u^3 + (-352*i - 352)*u^2 + 352*i*u)*v^5 + (21*i*u^17 + (-42*i + 21)*u^16 + (-390*i - 42)*u^15 + (822*i - 585)*u^14 + (70*i + 1212)*u^13 + (-962*i + 7261)*u^12 + (-7246*i - 15734)*u^11 + (15454*i - 23465)*u^10 + (23680*i + 62664)*u^9 + (-62814*i + 1495)*u^8 + (8526*i - 65654)*u^7 + (45762*i + 11101)*u^6 + (-23110*i + 43452)*u^5 + (458*i - 21065)*u^4 + (-890*i - 1322)*u^3 + (1322*i + 661)*u^2 - 661*i*u)*v^4 + (-168*i*u^16 + (504*i - 168)*u^15 + (56*i + 504)*u^14 + (-1512*i + 1616)*u^13 + (440*i - 6192)*u^12 + (3160*i - 6328)*u^11 + (10264*i + 35944)*u^10 + (-40712*i - 21792)*u^9 + (29960*i - 36128)*u^8 + (21992*i + 38504)*u^7 + (-36440*i + 14664)*u^6 + (13384*i - 30256)*u^5 + (-2072*i + 8272)*u^4 + (2504*i + 2040)*u^3 + (-2040*i - 680)*u^2 + 680*i*u)*v^3 + (-20*i*u^17 + (80*i - 20)*u^16 + (240*i + 80)*u^15 + (-1360*i + 380)*u^14 + (2208*i - 1920)*u^13 + (-1712*i - 292)*u^12 + (4848*i + 11088)*u^11 + (-16592*i - 13652)*u^10 + (20632*i - 8832)*u^9 + (-656*i + 26564)*u^8 + (-19632*i - 9744)*u^7 + (16528*i - 12428)*u^6 + (-5568*i + 10752)*u^5 + (2288*i - 908)*u^4 + (-2352*i - 1424)*u^3 + (1424*i + 356)*u^2 - 356*i*u)*v^2 + (80*i*u^16 + (-400*i + 80)*u^15 + (784*i - 400)*u^14 + (-720*i + 224)*u^13 + (912*i + 2080)*u^12 + (-3280*i - 4368)*u^11 + (5968*i + 720)*u^10 + (-3344*i + 6464)*u^9 + (-3344*i - 6464)*u^8 + (5968*i - 720)*u^7 + (-3280*i + 4368)*u^6 + (912*i - 2080)*u^5 + (-720*i - 224)*u^4 + (784*i + 400)*u^3 + (-400*i - 80)*u^2 + 80*i*u)*v + u^18 + (4*i - 6)*u^17 + (-24*i + 25)*u^16 + (40*i - 80)*u^15 + (40*i + 116)*u^14 + (-200*i + 88)*u^13 + (136*i - 508)*u^12 + (264*i + 464)*u^11 + (-440*i + 366)*u^10 - 932*u^9 + (440*i + 366)*u^8 + (-264*i + 464)*u^7 + (-136*i - 508)*u^6 + (200*i + 88)*u^5 + (-40*i + 116)*u^4 + (-40*i - 80)*u^3 + (24*i + 25)*u^2 + (-4*i - 6)*u + 1; q := (2-u*v-v)/2; t := -q/u; E := [R!1,(q^2-1)*(t^2-1)/16,(q^2-1)*(t^2-1)/16,0,0]; P := [R!0,0]; Q := [(q+1)*(t^2-1)/8,(q+1)^2*(t-1)^2*(t+1)/32];