m := 4; n := 6; g := 33; F:=CyclotomicField(4); R:=PolynomialRing(F,2); X := (-i*u^10 + u^8 + i*u^6)*v^16 + (-u^15 + u^14 + (-i - 2)*u^13 + (i + 2)*u^12 + (-16*i - 3)*u^11 + 3*u^10 + 12*u^9 + 4*u^8 + (16*i - 3)*u^7 + 3*u^6 + (i - 2)*u^5 + (-i + 2)*u^4 - u^3 + u^2)*v^15 + ((i - 9)*u^16 + (-2*i + 4)*u^15 + (-6*i - 6)*u^14 - 4*u^13 + (-93*i - 1)*u^12 + (-22*i - 4)*u^11 + (19*i + 106)*u^10 + 8*u^9 + (101*i + 1)*u^8 + (22*i - 4)*u^7 + (-12*i + 14)*u^6 - 4*u^5 + (-9*i + 9)*u^4 + (2*i + 4)*u^3 + (-i + 6)*u^2)*v^14 + (i*u^19 - 3*i*u^18 + (17*i - 36)*u^17 - 31*i*u^16 + (12*i + 7)*u^15 + (-72*i - 45)*u^14 + (-247*i - 30)*u^13 + (-223*i + 70)*u^12 + (192*i + 273)*u^11 + (32*i + 245)*u^10 + (326*i - 224)*u^9 + (234*i + 140)*u^8 + (-188*i - 35)*u^7 + (40*i + 65)*u^6 + (-93*i + 10)*u^5 + (19*i + 70)*u^4 + (-17*i + 35)*u^3 + (3*i + 15)*u^2 - 3*i*u + i)*v^13 + ((5*i + 1)*u^20 + (-10*i - 4)*u^19 + (52*i - 70)*u^18 + (-64*i - 60)*u^17 + (-24*i + 133)*u^16 + (-112*i - 208)*u^15 + (-671*i - 80)*u^14 + (-456*i + 216)*u^13 + (382*i + 776)*u^12 + (616*i + 472)*u^11 + (507*i - 324)*u^10 + (840*i - 256)*u^9 + (-512*i + 594)*u^8 + (-376*i - 304)*u^7 + (73*i + 440)*u^6 + (-304*i + 104)*u^5 + (141*i + 315)*u^4 + (-118*i + 44)*u^3 + (39*i + 34)*u^2 + (-16*i - 4)*u + (8*i + 1))*v^12 + ((9*i + 4)*u^21 + (-5*i - 12)*u^20 + (47*i - 88)*u^19 + (25*i - 128)*u^18 + (-289*i + 260)*u^17 + (73*i - 160)*u^16 + (-1236*i - 617)*u^15 + (-680*i + 965)*u^14 + (951*i + 1098)*u^13 + (1641*i + 1066)*u^12 + (1124*i - 1143)*u^11 + (1012*i - 357)*u^10 + (-468*i + 624)*u^9 + (-1840*i + 588)*u^8 + (260*i - 243)*u^7 + (-472*i + 1607)*u^6 + (-180*i + 222)*u^5 + (104*i + 694)*u^4 + (-195*i - 93)*u^3 + (115*i + 97)*u^2 + (-23*i - 24)*u + (27*i + 8))*v^11 + ((7*i + 6)*u^22 + (12*i - 12)*u^21 - 90*u^20 + (112*i - 88)*u^19 + (-382*i + 232)*u^18 + (-192*i + 136)*u^17 + (-557*i - 1095)*u^16 + (-1762*i + 1124)*u^15 + (2760*i + 2610)*u^14 + (2280*i - 300)*u^13 + (2029*i - 607)*u^12 + (594*i - 2292)*u^11 + (-1061*i + 2286)*u^10 + (-2720*i + 184)*u^9 + (-1165*i + 883)*u^8 + (926*i + 1564)*u^7 + (-1489*i + 2656)*u^6 + (588*i + 48)*u^5 + (-355*i + 881)*u^4 + (130*i - 308)*u^3 + (165*i + 218)*u^2 + (32*i - 56)*u + 48*i + 28)*v^10 + ((2*i + 4)*u^23 + (14*i - 4)*u^22 + (-13*i - 68)*u^21 + (35*i - 12)*u^20 + (-132*i + 184)*u^19 + (-616*i + 176)*u^18 + (260*i - 792)*u^17 + (-1268*i + 432)*u^16 + (1912*i + 3543)*u^15 + (5200*i - 625)*u^14 + (-387*i - 3114)*u^13 + (1213*i + 78)*u^12 + (-2720*i - 523)*u^11 + (-3184*i + 3933)*u^10 + (-1398*i - 1476)*u^9 + (578*i + 4372)*u^8 + (54*i + 2817)*u^7 + (-1534*i + 1905)*u^6 + (1384*i - 214)*u^5 + (-600*i + 794)*u^4 + (884*i - 305)*u^3 + (120*i + 335)*u^2 + (154*i - 56)*u + (42*i + 56))*v^9 + (u^24 + 4*i*u^23 - 28*u^22 - 32*i*u^21 + 158*u^20 - 372*i*u^19 - 284*u^18 + 488*i*u^17 + 2556*u^16 + 5128*i*u^15 - 4512*u^14 - 3016*i*u^13 + 2124*u^12 - 5216*i*u^11 + 3504*u^10 + 680*i*u^9 + 7251*u^8 - 860*i*u^7 + 940*u^6 + 1656*i*u^5 + 710*u^4 + 1316*i*u^3 + 380*u^2 + 224*i*u + 70)*v^8 + ((2*i - 4)*u^23 + (-14*i - 4)*u^22 + (-13*i + 68)*u^21 + (-35*i - 12)*u^20 + (-132*i - 184)*u^19 + (616*i + 176)*u^18 + (260*i + 792)*u^17 + (1268*i + 432)*u^16 + (1912*i - 3543)*u^15 + (-5200*i - 625)*u^14 + (-387*i + 3114)*u^13 + (-1213*i + 78)*u^12 + (-2720*i + 523)*u^11 + (3184*i + 3933)*u^10 + (-1398*i + 1476)*u^9 + (-578*i + 4372)*u^8 + (54*i - 2817)*u^7 + (1534*i + 1905)*u^6 + (1384*i + 214)*u^5 + (600*i + 794)*u^4 + (884*i + 305)*u^3 + (-120*i + 335)*u^2 + (154*i + 56)*u - 42*i + 56)*v^7 + ((-7*i + 6)*u^22 + (12*i + 12)*u^21 - 90*u^20 + (112*i + 88)*u^19 + (382*i + 232)*u^18 + (-192*i - 136)*u^17 + (557*i - 1095)*u^16 + (-1762*i - 1124)*u^15 + (-2760*i + 2610)*u^14 + (2280*i + 300)*u^13 + (-2029*i - 607)*u^12 + (594*i + 2292)*u^11 + (1061*i + 2286)*u^10 + (-2720*i - 184)*u^9 + (1165*i + 883)*u^8 + (926*i - 1564)*u^7 + (1489*i + 2656)*u^6 + (588*i - 48)*u^5 + (355*i + 881)*u^4 + (130*i + 308)*u^3 + (-165*i + 218)*u^2 + (32*i + 56)*u - 48*i + 28)*v^6 + ((9*i - 4)*u^21 + (5*i - 12)*u^20 + (47*i + 88)*u^19 + (-25*i - 128)*u^18 + (-289*i - 260)*u^17 + (-73*i - 160)*u^16 + (-1236*i + 617)*u^15 + (680*i + 965)*u^14 + (951*i - 1098)*u^13 + (-1641*i + 1066)*u^12 + (1124*i + 1143)*u^11 + (-1012*i - 357)*u^10 + (-468*i - 624)*u^9 + (1840*i + 588)*u^8 + (260*i + 243)*u^7 + (472*i + 1607)*u^6 + (-180*i - 222)*u^5 + (-104*i + 694)*u^4 + (-195*i + 93)*u^3 + (-115*i + 97)*u^2 + (-23*i + 24)*u - 27*i + 8)*v^5 + ((-5*i + 1)*u^20 + (-10*i + 4)*u^19 + (-52*i - 70)*u^18 + (-64*i + 60)*u^17 + (24*i + 133)*u^16 + (-112*i + 208)*u^15 + (671*i - 80)*u^14 + (-456*i - 216)*u^13 + (-382*i + 776)*u^12 + (616*i - 472)*u^11 + (-507*i - 324)*u^10 + (840*i + 256)*u^9 + (512*i + 594)*u^8 + (-376*i + 304)*u^7 + (-73*i + 440)*u^6 + (-304*i - 104)*u^5 + (-141*i + 315)*u^4 + (-118*i - 44)*u^3 + (-39*i + 34)*u^2 + (-16*i + 4)*u - 8*i + 1)*v^4 + (i*u^19 + 3*i*u^18 + (17*i + 36)*u^17 + 31*i*u^16 + (12*i - 7)*u^15 + (72*i - 45)*u^14 + (-247*i + 30)*u^13 + (223*i + 70)*u^12 + (192*i - 273)*u^11 + (-32*i + 245)*u^10 + (326*i + 224)*u^9 + (-234*i + 140)*u^8 + (-188*i + 35)*u^7 + (-40*i + 65)*u^6 + (-93*i - 10)*u^5 + (-19*i + 70)*u^4 + (-17*i - 35)*u^3 + (-3*i + 15)*u^2 - 3*i*u - i)*v^3 + ((-i - 9)*u^16 + (-2*i - 4)*u^15 + (6*i - 6)*u^14 + 4*u^13 + (93*i - 1)*u^12 + (-22*i + 4)*u^11 + (-19*i + 106)*u^10 - 8*u^9 + (-101*i + 1)*u^8 + (22*i + 4)*u^7 + (12*i + 14)*u^6 + 4*u^5 + (9*i + 9)*u^4 + (2*i - 4)*u^3 + (i + 6)*u^2)*v^2 + (u^15 + u^14 + (-i + 2)*u^13 + (-i + 2)*u^12 + (-16*i + 3)*u^11 + 3*u^10 - 12*u^9 + 4*u^8 + (16*i + 3)*u^7 + 3*u^6 + (i + 2)*u^5 + (i + 2)*u^4 + u^3 + u^2)*v + i*u^10 + u^8 - i*u^6; q := (u*v-u-v-1)/(u*v+u-v-1); t := -(u*v-u-v-1)/(u*v+u+v+1); 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];