allocatemem(2^31) tr1(p,d) = (p^d-1)/(p-1) tr2(p,d)=(p^d-1)*(p^(d-1)-1)/((p-1)^2*(p+1)) tr3(p,d)=(p^d-1)*(p^(d-1)-1)*(p^(d-2)-1)/((p-1)^3*(p+1)*(p^2+p+1)) tr4(p,d)=(p^d-1)*(p^(d-1)-1)*(p^(d-2)-1)*(p^(d-3)-1)/((p-1)^4*(p+1)^2*(p^2+p+1)*(p^2+1)) chercher(v,V) = local(a) ; for(i=1,#V, if(v==vector(#v,j,V[i][j]), a=i)); a tr1Delta11(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([13,11,9],V); V[i][4]/tr1(p,3) tr1Delta15(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([17,15,13],V); V[i][4]/tr1(p,3) tr1Delta17(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([19,17,15],V); V[i][4]/tr1(p,3) tr1Delta19(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([21,19,17],V); V[i][4]/tr1(p,3) tr1Delta21(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,21,19],V); V[i][4]/tr1(p,3) tr1Delta25(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,3,1],V); V[i][4]-p^11*tr1(p,4) tr1Delta23(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,23,21],V); V[i][4]/tr1(p,3) tr1Delta23carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,23,21],V); ((p+1)*W[i][4]+V[i][4]+2*p^20*(1+p+p^2+p^3+p^4+p^5))/(tr1(p,3)^2) tr1Delta23pol(p) = local(a=tr1Delta23(p), b=tr1Delta23carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta197(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([19,11,7],V); V[i][4]-p^4*tr1Delta11(p) tr2Delta197(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([19,11,7],V); (V[i][4]^2*p-W[i][4]*p-p^15*(1+p+p^2+p^3+p^4+p^5)+p^15*(p+1)*(p^4+p^2+1))/(p+1) - p^19 -tr1Delta197(p)*tr1Delta11(p)*p^4 tr1Delta215(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([21,11,5],V); V[i][4]-p^5*tr1Delta11(p) tr2Delta215(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([21,11,5],V); (V[i][4]^2*p-W[i][4]*p-p^17*(1+p+p^2+p^3+p^4+p^5)+p^17*(p+1)*(p^4+p^2+1))/(p+1) - p^21 -tr1Delta215(p)*tr1Delta11(p)*p^5 tr1Delta219(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([21,11,9],V); V[i][4]-p^5*tr1Delta11(p) tr2Delta219(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([21,11,9],V); (V[i][4]^2*p-W[i][4]*p-p^17*(1+p+p^2+p^3+p^4+p^5)+p^17*(p+1)*(p^4+p^2+1))/(p+1) - p^21 -tr1Delta219(p)*tr1Delta11(p)*p^5 tr1Delta2113(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([21,15,13],V); V[i][4]-p^3*tr1Delta15(p) tr2Delta2113(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([21,15,13],V); (V[i][4]^2*p-W[i][4]*p-p^17*(1+p+p^2+p^3+p^4+p^5)+p^17*(p+1)*(p^4+p^2+1))/(p+1) - p^21 -tr1Delta2113(p)*tr1Delta15(p)*p^3 tr1Delta237(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,19,7],V); V[i][4]-p^2*tr1Delta19(p) tr2Delta237(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,19,7],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) - p^23 -tr1Delta237(p)*tr1Delta19(p)*p^2 tr1Delta239(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,19,9],V); V[i][4]-p^2*tr1Delta19(p) tr2Delta239(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,19,9],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) - p^23 -tr1Delta239(p)*tr1Delta19(p)*p^2 tr1Delta2313(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,19,13],V); V[i][4]-p^2*tr1Delta19(p) tr2Delta2313(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,19,13],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) - p^23 -tr1Delta2313(p)*tr1Delta19(p)*p^2 tr1Delta255(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,11,5],V); V[i][4]-p^7*tr1Delta11(p) tr2Delta255(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,11,5],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta255(p)*tr1Delta11(p)*p^7 tr1Delta257(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,11,7],V); V[i][4]-p^7*tr1Delta11(p) tr2Delta257(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,11,7],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta257(p)*tr1Delta11(p)*p^7 tr1Delta2511(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,11],V); V[i][4]-p^3*tr1Delta19(p) tr2Delta2511(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,19,11],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta2511(p)*tr1Delta19(p)*p^3 tr1Delta2515(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,15],V); V[i][4]-p^3*tr1Delta19(p) tr2Delta2515(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,19,15],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta2515(p)*tr1Delta19(p)*p^3 tr1Delta2517(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,17],V); V[i][4]-p^3*tr1Delta19(p) tr2Delta2517(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,19,17],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta2517(p)*tr1Delta19(p)*p^3 tr1Delta2519(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,21,19],V); V[i][4]-p^2*tr1Delta21(p) tr2Delta2519(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,21,19],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) - p^25 -tr1Delta2519(p)*tr1Delta21(p)*p^2 tr1Delta259(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,11,9],V); V[i][4]-2*p^7*tr1Delta11(p) tr1Delta259carre(p) = local(i,V=readvec("TraceT"p"E7") , VV=readvec("TraceT"p^2"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,17,9],V); (p+1)*W[i][4]+VV[i][4]+2*p^20*(1+p+p^2+p^3+p^4+p^5)+2*p^8*(tr1Delta17(p)^2)-2*(tr1Delta259(p)+2*p^4*tr1Delta17(p))*tr1Delta17(p)*p^4 tr2Delta259(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,11,9],V); p*W[i][4]+2*p^21*(p^2+1)-tr1Delta259(p)*tr1Delta11(p)*p^7 tr1Delta2513(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,15,13],V); V[i][4]-2*p^5*tr1Delta15(p) tr2Delta2513(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,15,13],V); p*W[i][4]+2*p^21*(p^2+1)-tr1Delta2513(p)*tr1Delta15(p)*p^5 tr1Delta2513carre(p) = local(i,V=readvec("TraceT"p"E7") , VV=readvec("TraceT"p^2"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,17,13],V); (p+1)*W[i][4]+VV[i][4]+2*p^20*(1+p+p^2+p^3+p^4+p^5)+2*p^8*(tr1Delta17(p)^2)-2*(tr1Delta2513(p)+2*p^4*tr1Delta17(p))*tr1Delta17(p)*p^4 tr1Delta23135(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,13,5],V); V[i][4] tr2Delta23135(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,13,5],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta23135(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,13,5],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4] tr1Delta23153(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,15,3],V); V[i][4] tr2Delta23153(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,15,3],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta23153(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,15,3],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4] tr1Delta23157(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,15,7],V); V[i][4]-tr1Delta237(p)-p^4*tr1Delta15(p) tr2Delta23157(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,15,7],V); (p*(V[i][4]-tr1Delta237(p)-p^4*tr1Delta15(p))^2-p*(W[i][4]-(tr1Delta237(p)+p^4*tr1Delta15(p))^2 + p^18*(1+p+p^2+p^3+p^4+p^5)-p^18*(p+1)*(p^4+p^2+1) + ((p+1)/p)*(tr2Delta237(p)+p^4*tr1Delta15(p)*tr1Delta237(p) +p^23)) -p^19*(1+p+p^2+p^3+p^4+p^5) )/(p+1) + p^19*(p^4+p^2+1) tr3Delta23157(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,15,7],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4]-tr1Delta237(p)*2*p^23 - tr1Delta15(p)*tr2Delta237(p)*p^4 tr1Delta23175(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,17,5],V); V[i][4] tr2Delta23175(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,17,5],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta23175(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,17,5],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4] tr1Delta23179(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,17,9],V); V[i][4]-tr1Delta239(p)-p^3*tr1Delta17(p) tr2Delta23179(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,17,9],V); (p*(V[i][4]-tr1Delta239(p)-p^3*tr1Delta17(p))^2-p*(W[i][4]-(tr1Delta239(p)+p^3*tr1Delta17(p))^2 + p^18*(1+p+p^2+p^3+p^4+p^5)-p^18*(p+1)*(p^4+p^2+1) + ((p+1)/p)*(tr2Delta239(p)+p^3*tr1Delta17(p)*tr1Delta239(p) +p^23)) -p^19*(1+p+p^2+p^3+p^4+p^5) )/(p+1) + p^19*(p^4+p^2+1) tr3Delta23179(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,17,9],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4]-tr1Delta239(p)*2*p^23 - tr1Delta17(p)*tr2Delta239(p)*p^3 tr1Delta23193(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,19,3],V); V[i][4] tr2Delta23193(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,19,3],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta23193(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,19,3],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4] tr1Delta231911(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([23,19,11],V); V[i][4] tr2Delta231911(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([23,19,11],V); (V[i][4]^2*p-W[i][4]*p-p^19*(1+p+p^2+p^3+p^4+p^5)+p^19*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta231911(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([23,19,11],V); W[i][4]*p^3+(p^2+1)*p^21*V[i][4] tr1Delta25133(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,13,3],V); V[i][4] tr2Delta25133(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,13,3],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta25133(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,13,3],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4] tr1Delta25137(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,13,7],V); V[i][4] tr2Delta25137(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,13,7],V); (V[i][4]^2*p-W[i][4]*p-p^21*(1+p+p^2+p^3+p^4+p^5)+p^21*(p+1)*(p^4+p^2+1))/(p+1) tr3Delta25137(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,13,7],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4] tr1Delta25155(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,15,5],V); V[i][4]-tr1Delta255(p)-p^5*tr1Delta15(p) tr2Delta25155(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,15,5],V); (p*(V[i][4]-tr1Delta255(p)-p^5*tr1Delta15(p))^2-p*(W[i][4]-(tr1Delta255(p)+p^5*tr1Delta15(p))^2 + p^20*(1+p+p^2+p^3+p^4+p^5)-p^20*(p+1)*(p^4+p^2+1) + ((p+1)/p)*(tr2Delta255(p)+p^5*tr1Delta15(p)*tr1Delta255(p) +p^25)) -p^21*(1+p+p^2+p^3+p^4+p^5) )/(p+1) + p^21*(p^4+p^2+1) tr3Delta25155(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,15,5],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-tr1Delta255(p)*2*p^25 - tr1Delta15(p)*tr2Delta255(p)*p^5 tr1Delta25159(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,15,9],V); V[i][4]-tr1Delta259(p)-2*p^5*tr1Delta15(p) tr2Delta25159(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,15,9],V); p*W[i][4]-tr2Delta259(p)-p^5*tr1Delta15(p)*tr1Delta259(p)+p^21*(p^4+3*p^2+3) tr3Delta25159(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,15,9],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-2*p^25*tr1Delta259(p)-p^5*tr1Delta15(p)*tr2Delta259(p) tr1Delta251711(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,17,11],V); V[i][4]-tr1Delta2511(p)-p^4*tr1Delta17(p) tr2Delta251711(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p^2"E7")) ; i=chercher([25,17,11],V); (p*(V[i][4]-tr1Delta2511(p)-p^4*tr1Delta17(p))^2-p*(W[i][4]-(tr1Delta2511(p)+p^4*tr1Delta17(p))^2 + p^20*(1+p+p^2+p^3+p^4+p^5)-p^20*(p+1)*(p^4+p^2+1) + ((p+1)/p)*(tr2Delta2511(p)+p^4*tr1Delta17(p)*tr1Delta2511(p) +p^25)) -p^21*(1+p+p^2+p^3+p^4+p^5) )/(p+1) + p^21*(p^4+p^2+1) tr3Delta251711(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,17,11],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-tr1Delta2511(p)*2*p^25 - tr1Delta17(p)*tr2Delta2511(p)*p^4 tr1Delta25191(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,1],V); V[i][4]-tr1Delta2519(p)-2*p^12*tr1(p,2)-tr1Delta25(p)-p^3*tr1Delta19(p) tr2Delta25191(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,19,1],V); p*W[i][4]-tr2Delta2519(p)-p^12*tr1Delta2519(p)*tr1(p,2)-p^3*tr1Delta19(p)*tr1Delta25(p)-p^12*tr1Delta25(p)*tr1(p,2)-p^15*tr1Delta19(p)*tr1(p,2)+p^21*(-p^4+3*p^2+3) tr3Delta25191(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,19,1],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-2*p^25*tr1Delta2519(p)-p^12*tr2Delta2519(p)*tr1(p,2)-2*p^25*tr1Delta25(p) -2*p^28*tr1Delta19(p) -2*p^37*tr1(p,2)-p^15*tr1Delta25(p)*tr1Delta19(p)*tr1(p,2) tr1Delta251913(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,13],V); V[i][4]-tr1Delta2513(p)-2*p^3*tr1Delta19(p) tr2Delta251913(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,19,13],V); p*W[i][4]-tr2Delta2513(p)-p^3*tr1Delta19(p)*tr1Delta2513(p)+p^21*(p^4+3*p^2+3) tr3Delta251913(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,19,13],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-2*p^25*tr1Delta2513(p)-p^3*tr1Delta19(p)*tr2Delta2513(p) tr1Delta252115(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,21,15],V); V[i][4]-tr1Delta2515(p)-p^2*tr1Delta21(p) tr2Delta252115(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,21,15],V); p*W[i][4]+2*p^21*(p^4+p^2+1)-tr2Delta2515(p)-p^25-p^2*tr1Delta2515(p)*tr1Delta21(p) tr3Delta252115(p) = local(i,V=readvec("TraceT"p"E7") , W=readvec("TraceT"p"_"p"_"p"E7")) ; i=chercher([25,21,15],V); W[i][4]*p^3+(p^2+1)*p^23*V[i][4]-p^25*tr1Delta2515(p)-p^2*tr2Delta2515(p)*tr1Delta21(p)-p^25*tr1Delta2515(p) tr1Delta25173(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,17,3],V); V[i][4] tr1Delta25173carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,17,3],V); (p+1)*W[i][4]+V[i][4]+2*p^20*(1+p+p^2+p^3+p^4+p^5) tr1Delta25177(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,17,7],V); V[i][4]-tr1Delta257(p)-p^4*tr1Delta17(p) tr1Delta25177carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,17,7],V); (p+1)*W[i][4]+V[i][4]+3*p^20*(1+p+p^2+p^3+p^4+p^5)-(tr1Delta257(p)+p^4*tr1Delta17(p))^2 tr1Delta25195(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,5],V); V[i][4]-tr1Delta255(p)-p^3*tr1Delta19(p) tr1Delta25195carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,19,5],V); (p+1)*W[i][4]+V[i][4]+3*p^20*(1+p+p^2+p^3+p^4+p^5)-(tr1Delta255(p)+p^3*tr1Delta19(p))^2 tr1Delta25199(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,19,9],V); V[i][4]-tr1Delta259(p)-2*p^3*tr1Delta19(p) tr1Delta25199carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,19,9],V); (p+1)*W[i][4]+V[i][4]+4*p^20*(1+p+p^2+p^3+p^4+p^5)-(tr1Delta259carre(p)+2*p^6*(tr1Delta19(p))^2 +2*p^3*tr1Delta19(p)*tr1Delta259(p)) tr1Delta25213(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,21,3],V); V[i][4] tr1Delta25213carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,21,3],V); (p+1)*W[i][4]+V[i][4]+2*p^20*(1+p+p^2+p^3+p^4+p^5) tr1Delta25217(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,21,7],V); V[i][4]-tr1Delta257(p)-p^2*tr1Delta21(p) tr1Delta25217carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,21,7],V); (p+1)*W[i][4]+V[i][4]+3*p^20*(1+p+p^2+p^3+p^4+p^5)-(tr1Delta257(p)+p^2*tr1Delta21(p))^2 tr1Delta252111(p) = local(i,V=readvec("TraceT"p"E7")) ; i=chercher([25,21,11],V); V[i][4]-tr1Delta2511(p)-p^2*tr1Delta21(p) tr1Delta252111carre(p) = local(i,V=readvec("TraceT"p^2"E7"), W=readvec("TraceT"p"_"p"E7")) ; i=chercher([25,21,11],V); (p+1)*W[i][4]+V[i][4]+3*p^20*(1+p+p^2+p^3+p^4+p^5)-(tr1Delta2511(p)+p^2*tr1Delta21(p))^2 tr1Delta25173pol(p) = local(a=tr1Delta25173(p), b=tr1Delta25173carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta25177pol(p) = local(a=tr1Delta25177(p), b=tr1Delta25177carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta25195pol(p) = local(a=tr1Delta25195(p), b=tr1Delta25195carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta25199pol(p) = local(a=tr1Delta25199(p), b=tr1Delta25199carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta25213pol(p) = local(a=tr1Delta25213(p), b=tr1Delta25213carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta25217pol(p) = local(a=tr1Delta25217(p), b=tr1Delta25217carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta252111pol(p) = local(a=tr1Delta252111(p), b=tr1Delta252111carre(p)) ; X^2-a*X+ (a^2-b)/2 tr1Delta251795(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,17,9,5],V); V[i][5] tr1Delta2517135(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,17,13,5],V); V[i][5] tr1Delta251993(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,9,3],V); V[i][5] tr1Delta2519115(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,11,5],V); V[i][5]-(tr1Delta25195(p)+2*p^7*tr1Delta11(p)) tr1Delta2519133(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,13,3],V); V[i][5] tr1Delta2519135(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,13,5],V); V[i][5] tr1Delta2519137(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,13,7],V); V[i][5]-(tr1Delta2513(p)+2*p^3*tr1Delta197(p)) tr1Delta2519139(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,13,9],V); V[i][5] tr1Delta2519155(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,19,15,5],V); V[i][5]-(tr1Delta25195(p)+2*p^5*tr1Delta15(p)) tr1Delta2521117(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,11,7],V); V[i][5]-(tr1Delta25217(p)+2*p^7*tr1Delta11(p)) tr1Delta2521135(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,13,5],V); V[i][5]-(tr1Delta2513(p)+2*p^2*tr1Delta215(p)) tr1Delta2521137(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,13,7],V); V[i][5] tr1Delta2521153(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,15,3],V); V[i][5]-(tr1Delta25213(p)+2*p^5*tr1Delta15(p)) tr1Delta2521155(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,15,5],V); V[i][5]-(tr1Delta25(p)+p^5*tr1Delta15(p)+2*p^2*tr1Delta215(p)+tr1Delta2515(p)) tr1Delta2521159(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,15,9],V); V[i][5]-(tr1Delta25(p)+p^5*tr1Delta15(p)+2*p^2*tr1Delta219(p)+tr1Delta2515(p)) tr1Delta2521175(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,17,5],V); V[i][5]-(tr1Delta25(p)+p^4*tr1Delta17(p)+2*p^2*tr1Delta215(p)+tr1Delta2517(p)) tr1Delta2521177(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,17,7],V); V[i][5]-(tr1Delta25217(p)+2*p^4*tr1Delta17(p)) tr1Delta2521179(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,17,9],V); V[i][5]-(tr1Delta25(p)+p^4*tr1Delta17(p)+2*p^2*tr1Delta219(p)+tr1Delta2517(p)) tr1Delta252393(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,9,3],V); V[i][5] tr1Delta2523111(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,11,1],V); V[i][5] tr1Delta2523133(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,13,3],V); V[i][5] tr1Delta2523137(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,13,7],V); V[i][5]-(tr1Delta2513(p)+2*p*tr1Delta237(p)) tr1Delta2523151(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,15,1],V); V[i][5] tr1Delta2523159(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,15,9],V); V[i][5]-(tr1Delta25(p)+p^5*tr1Delta15(p)+2*p*tr1Delta239(p)+tr1Delta2515(p)) tr1Delta25231511(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,15,11],V); V[i][5] tr1Delta2523173(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,17,3],V); V[i][5] tr1Delta2523175(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,17,5],V); V[i][5]-(p*tr1Delta23175(p)+tr1Delta25(p)) tr1Delta2523177(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,17,7],V); V[i][5]-(tr1Delta25(p)+p^4*tr1Delta17(p)+2*p*tr1Delta237(p)+tr1Delta2517(p)) tr1Delta25231711(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,17,11],V); V[i][5] tr1Delta2523195(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,19,5],V); V[i][5] tr1Delta2521157(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,21,15,7],V); V[i][5]-(tr1Delta25217(p)+2*p^5*tr1Delta15(p)) tr1Delta2523115(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,11,5],V); V[i][5] tr1Delta2523155(p) = local(i,V=readvec("TraceT"p"E8xA1")) ; i=chercher([25,23,15,5],V); V[i][5] tr1Delta24168(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([24,16,8,0],V); V[i][5]-p^12 tr2Delta24168(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([24,16,8,0],V); p*V[i][5]+p^19*(p^4+2*p^2+1)-p^12*tr1Delta24168(p) tr3Delta24168(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([24,16,8,0],V); p^3*W[i][5]+p^21*(p^2+p+1)*V[i][5]-p^12*tr2Delta24168(p) tr4Delta24168(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([24,16,8,0],V); p^6*W[i][5]+2*p^24*V[i][5]+2*p^42*(p^4+p^2+1)-p^12*tr3Delta24168(p) tr1Delta261610(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,16,10,0],V); V[i][5]-p^13 tr2Delta261610(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,16,10,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta261610(p) tr3Delta261610(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,16,10,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta261610(p) tr4Delta261610(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,16,10,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta261610(p) tr1Delta26206(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,20,6,0],V); V[i][5]-p^13 tr2Delta26206(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,20,6,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta26206(p) tr3Delta26206(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,20,6,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta26206(p) tr4Delta26206(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,20,6,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta26206(p) tr1Delta262010(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,20,10,0],V); V[i][5]-p^13 tr2Delta262010(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,20,10,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta262010(p) tr3Delta262010(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,20,10,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta262010(p) tr4Delta262010(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,20,10,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta262010(p) tr1Delta262014(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,20,14,0],V); V[i][5]-p^13 tr2Delta262014(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,20,14,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta262014(p) tr3Delta262014(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,20,14,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta262014(p) tr4Delta262014(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,20,14,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta262014(p) tr1Delta262410(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,10,0],V); V[i][5]-p^13 tr2Delta262410(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,10,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta262410(p) tr3Delta262410(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,10,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta262410(p) tr4Delta262410(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,10,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta262410(p) tr1Delta262414(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,14,0],V); V[i][5]-p^13 tr2Delta262414(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,14,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta262414(p) tr3Delta262414(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,14,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta262414(p) tr4Delta262414(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,14,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta262414(p) tr1Delta262418(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,18,0],V); V[i][5]-p^13 tr2Delta262418(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,18,0],V); p*V[i][5]+p^21*(p^4+2*p^2+1)-p^13*tr1Delta262418(p) tr3Delta262418(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,18,0],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5]-p^13*tr2Delta262418(p) tr4Delta262418(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,18,0],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)-p^13*tr3Delta262418(p) tr1Delta2418104(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([24,18,10,4],V); V[i][5] tr2Delta2418104(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([24,18,10,4],V); p*V[i][5]+p^19*(p^4+2*p^2+1) tr3Delta2418104(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([24,18,10,4],V); p^3*W[i][5]+p^21*(p^2+p+1)*V[i][5] tr4Delta2418104(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([24,18,10,4],V); p^6*W[i][5]+2*p^24*V[i][5]+2*p^42*(p^4+p^2+1) tr1Delta2420142(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([24,20,14,2],V); V[i][5] tr2Delta2420142(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([24,20,14,2],V); p*V[i][5]+p^19*(p^4+2*p^2+1) tr3Delta2420142(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([24,20,14,2],V); p^3*W[i][5]+p^21*(p^2+p+1)*V[i][5] tr4Delta2420142(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([24,20,14,2],V); p^6*W[i][5]+2*p^24*V[i][5]+2*p^42*(p^4+p^2+1) tr1Delta2618102(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,18,10,2],V); V[i][5] tr2Delta2618102(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,18,10,2],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2618102(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,18,10,2],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2618102(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,18,10,2],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2618146(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,18,14,6],V); V[i][5] tr2Delta2618146(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,18,14,6],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2618146(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,18,14,6],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2618146(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,18,14,6],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2620104(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,20,10,4],V); V[i][5] tr2Delta2620104(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,20,10,4],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2620104(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,20,10,4],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2620104(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,20,10,4],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2620148(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,20,14,8],V); V[i][5] tr2Delta2620148(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,20,14,8],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2620148(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,20,14,8],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2620148(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,20,14,8],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2622106(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,22,10,6],V); V[i][5] tr2Delta2622106(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,22,10,6],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2622106(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,22,10,6],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2622106(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,22,10,6],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2622142(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,22,14,2],V); V[i][5] tr2Delta2622142(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,22,14,2],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2622142(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,22,14,2],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2622142(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,22,14,2],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2624144(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,14,4],V); V[i][5] tr2Delta2624144(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,14,4],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2624144(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,14,4],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2624144(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,14,4],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2624162(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,16,2],V); V[i][5] tr2Delta2624162(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,16,2],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2624162(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,16,2],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2624162(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,16,2],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2624188(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,18,8],V); V[i][5] tr2Delta2624188(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,18,8],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2624188(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,18,8],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2624188(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,18,8],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1) tr1Delta2624206(p) = local(i,V=readvec("TraceT"p"E8")) ; i=chercher([26,24,20,6],V); V[i][5] tr2Delta2624206(p) = local(i,V=readvec("TraceT"p"_"p"E8")) ; i=chercher([26,24,20,6],V); p*V[i][5]+p^21*(p^4+2*p^2+1) tr3Delta2624206(p) = local(i,V=readvec("TraceT"p"E8"),W=readvec("TraceT"p"_"p"_"p"E8")) ; i=chercher([26,24,20,6],V); p^3*W[i][5]+p^23*(p^2+p+1)*V[i][5] tr4Delta2624206(p) = local(i,V=readvec("TraceT"p"_"p"E8"),W=readvec("TraceT"p"_"p"_"p"_"p"E8")) ; i=chercher([26,24,20,6],V); p^6*W[i][5]+2*p^26*V[i][5]+2*p^46*(p^4+p^2+1)