> load"/home/harashita-lab/ogasawara/CompletedCodes/s-spUDCEC.txt";
Loading "/home/harashita-lab/ogasawara/CompletedCodes/s-spUDCEC.txt"
charcteristic of base field K: 13
Compute time Discriminant= 9.030
compute time Cartier-Manin matrix =0.180
========================================
Superspecial DCEC's
C=V(P,Q), where P,Q in L0[X,Y,Z,W], and Q:=W^2 - q
base field L0:  Finite field of size 13^4
field K: Finite field of size 13^2
========================================
 P[1]:= Y^2*Z - (X^3 + 10 *X*Z^2 + 6 *Z^3),and
--------
 q[1]:= 1*X^2 + 0*X*Y + L0.1^680*X*Z^2 + L0.1^11730*Y^2*Z + 0*Y*Z + 
L0.1^12240*Z^2;
 q[2]:= 1*X^2 + 0*X*Y + 2*X*Z^2 + 1*Y^2*Z + 0*Y*Z + 0*Z^2;
 q[3]:= 1*X^2 + 0*X*Y + L0.1^8840*X*Z^2 + L0.1^9690*Y^2*Z + 0*Y*Z + 
L0.1^16320*Z^2;
 q[4]:= 1*X^2 + 0*X*Y + 11*X*Z^2 + 5*Y^2*Z + 0*Y*Z + 2*Z^2;
 q[5]:= 1*X^2 + 0*X*Y + L0.1^17340*X*Z^2 + L0.1^5610*Y^2*Z + 0*Y*Z + 
L0.1^9860*Z^2;
 q[6]:= 1*X^2 + 0*X*Y + L0.1^25500*X*Z^2 + L0.1^15810*Y^2*Z + 0*Y*Z + 
L0.1^13940*Z^2;
 q[7]:= 1*X^2 + L0.1^1445*X*Y + 11*X*Z^2 + L0.1^25840*Y^2*Z + L0.1^1105*Y*Z + 
L0.1^14450*Z^2;
 q[8]:= 1*X^2 + L0.1^1700*X*Y + 5*X*Z^2 + L0.1^27200*Y^2*Z + L0.1^20740*Y*Z + 
L0.1^15130*Z^2;
 q[9]:= 1*X^2 + L0.1^2125*X*Y + L0.1^18190*X*Z^2 + L0.1^23290*Y^2*Z + 
L0.1^1615*Y*Z + L0.1^10710*Z^2;
 q[10]:= 1*X^2 + L0.1^2472*X*Y + L0.1^10096*X*Z^2 + L0.1^17239*Y^2*Z + 
L0.1^8087*Y*Z + L0.1^12719*Z^2;
 q[11]:= 1*X^2 + L0.1^3292*X*Y + L0.1^22191*X*Z^2 + L0.1^253*Y^2*Z + 
L0.1^13839*Y*Z + L0.1^2694*Z^2;
 q[12]:= 1*X^2 + L0.1^3576*X*Y + L0.1^17008*X*Z^2 + L0.1^24187*Y^2*Z + 
L0.1^19451*Y*Z + L0.1^22547*Z^2;
 q[13]:= 1*X^2 + L0.1^3648*X*Y + L0.1^21184*X*Z^2 + L0.1^271*Y^2*Z + 
L0.1^10103*Y*Z + L0.1^7511*Z^2;
 q[14]:= 1*X^2 + L0.1^3825*X*Y + L0.1^13600*X*Z^2 + L0.1^28050*Y^2*Z + 
L0.1^17595*Y*Z + L0.1^22440*Z^2;
 q[15]:= 1*X^2 + L0.1^3825*X*Y + L0.1^28390*X*Z^2 + L0.1^13090*Y^2*Z + 
L0.1^18445*Y*Z + L0.1^11390*Z^2;
 q[16]:= 1*X^2 + L0.1^4165*X*Y + L0.1^15130*X*Z^2 + L0.1^1360*Y^2*Z + 
L0.1^22185*Y*Z + L0.1^18870*Z^2;
 q[17]:= 1*X^2 + L0.1^4505*X*Y + 11*X*Z^2 + L0.1^21760*Y^2*Z + L0.1^85*Y*Z + 
L0.1^16490*Z^2;
 q[18]:= 1*X^2 + L0.1^4584*X*Y + L0.1^18352*X*Z^2 + L0.1^3523*Y^2*Z + 
L0.1^2819*Y*Z + L0.1^11963*Z^2;
 q[19]:= 1*X^2 + L0.1^4983*X*Y + L0.1^21509*X*Z^2 + L0.1^20098*Y^2*Z + 
L0.1^6553*Y*Z + L0.1^5548*Z^2;
 q[20]:= 1*X^2 + L0.1^5199*X*Y + L0.1^19635*X*Z^2 + L0.1^27532*Y^2*Z + 
L0.1^1233*Y*Z + L0.1^2021*Z^2;
 q[21]:= 1*X^2 + L0.1^6375*X*Y + L0.1^17680*X*Z^2 + 2*Y^2*Z + L0.1^23205*Y*Z + 
L0.1^27370*Z^2;
 q[22]:= 1*X^2 + L0.1^6545*X*Y + L0.1^12240*X*Z^2 + L0.1^17170*Y^2*Z + 
L0.1^13345*Y*Z + L0.1^25160*Z^2;
 q[23]:= 1*X^2 + L0.1^6545*X*Y + L0.1^13090*X*Z^2 + L0.1^19890*Y^2*Z + 
L0.1^6035*Y*Z + L0.1^6290*Z^2;
 q[24]:= 1*X^2 + L0.1^6844*X*Y + L0.1^1707*X*Z^2 + L0.1^13201*Y^2*Z + 
L0.1^16443*Y*Z + L0.1^6798*Z^2;
 q[25]:= 1*X^2 + L0.1^6885*X*Y + L0.1^5440*X*Z^2 + L0.1^21930*Y^2*Z + 
L0.1^14535*Y*Z + L0.1^6120*Z^2;
 q[26]:= 1*X^2 + L0.1^6885*X*Y + L0.1^26350*X*Z^2 + L0.1^27370*Y^2*Z + 
L0.1^25585*Y*Z + L0.1^5270*Z^2;
 q[27]:= 1*X^2 + L0.1^7225*X*Y + L0.1^13090*X*Z^2 + L0.1^8500*Y^2*Z + 0*Y*Z + 
L0.1^4420*Z^2;
 q[28]:= 1*X^2 + L0.1^7551*X*Y + L0.1^5355*X*Z^2 + L0.1^26188*Y^2*Z + 
L0.1^22737*Y*Z + L0.1^27389*Z^2;
 q[29]:= 1*X^2 + L0.1^7565*X*Y + L0.1^24820*X*Z^2 + L0.1^15470*Y^2*Z + 
L0.1^26945*Y*Z + L0.1^2210*Z^2;
 q[30]:= 1*X^2 + L0.1^7659*X*Y + L0.1^22577*X*Z^2 + L0.1^4234*Y^2*Z + 
L0.1^28069*Y*Z + L0.1^15004*Z^2;
 q[31]:= 1*X^2 + L0.1^7820*X*Y + 5*X*Z^2 + L0.1^10880*Y^2*Z + L0.1^26860*Y*Z + 
L0.1^25330*Z^2;
 q[32]:= 1*X^2 + L0.1^8245*X*Y + L0.1^27370*X*Z^2 + L0.1^24820*Y^2*Z + 0*Y*Z + 
L0.1^340*Z^2;
 q[33]:= 1*X^2 + L0.1^9171*X*Y + L0.1^17033*X*Z^2 + L0.1^1546*Y^2*Z + 
L0.1^2701*Y*Z + L0.1^22396*Z^2;
 q[34]:= 1*X^2 + L0.1^9775*X*Y + L0.1^23290*X*Z^2 + L0.1^2550*Y^2*Z + 
L0.1^6545*Y*Z + L0.1^10540*Z^2;
 q[35]:= 1*X^2 + L0.1^10467*X*Y + L0.1^26775*X*Z^2 + L0.1^15196*Y^2*Z + 
L0.1^16029*Y*Z + L0.1^26273*Z^2;
 q[36]:= 1*X^2 + L0.1^11305*X*Y + L0.1^25330*X*Z^2 + L0.1^17680*Y^2*Z + 
L0.1^17085*Y*Z + L0.1^16830*Z^2;
 q[37]:= 1*X^2 + L0.1^11475*X*Y + L0.1^1360*X*Z^2 + 2*Y^2*Z + L0.1^1785*Y*Z + 
L0.1^13090*Z^2;
 q[38]:= 1*X^2 + L0.1^12483*X*Y + L0.1^12495*X*Z^2 + L0.1^26284*Y^2*Z + 
L0.1^9981*Y*Z + L0.1^13337*Z^2;
 q[39]:= 1*X^2 + L0.1^12665*X*Y + L0.1^8500*X*Z^2 + L0.1^1190*Y^2*Z + 
L0.1^7565*Y*Z + L0.1^170*Z^2;
 q[40]:= 1*X^2 + L0.1^12835*X*Y + L0.1^17170*X*Z^2 + L0.1^4590*Y^2*Z + 
L0.1^27965*Y*Z + L0.1^22780*Z^2;
 q[41]:= 1*X^2 + L0.1^13345*X*Y + L0.1^7990*X*Z^2 + L0.1^17170*Y^2*Z + 
L0.1^6715*Y*Z + L0.1^24990*Z^2;
 q[42]:= 1*X^2 + L0.1^13685*X*Y + L0.1^16320*X*Z^2 + L0.1^23290*Y^2*Z + 
L0.1^16405*Y*Z + L0.1^12920*Z^2;
 q[43]:= 1*X^2 + L0.1^13685*X*Y + L0.1^27370*X*Z^2 + L0.1^1530*Y^2*Z + 
L0.1^7055*Y*Z + L0.1^24650*Z^2;
 q[44]:= 1*X^2 + L0.1^13708*X*Y + L0.1^8919*X*Z^2 + L0.1^14197*Y^2*Z + 
L0.1^25431*Y*Z + L0.1^26886*Z^2;
 q[45]:= 1*X^2 + L0.1^13887*X*Y + L0.1^7901*X*Z^2 + L0.1^26482*Y^2*Z + 
L0.1^22177*Y*Z + L0.1^23692*Z^2;
 q[46]:= 1*X^2 + L0.1^14236*X*Y + L0.1^2883*X*Z^2 + L0.1^3289*Y^2*Z + 
L0.1^8547*Y*Z + L0.1^6462*Z^2;
 q[47]:= 1*X^2 + L0.1^15725*X*Y + 11*X*Z^2 + L0.1^25840*Y^2*Z + L0.1^15385*Y*Z +
L0.1^14450*Z^2;
 q[48]:= 1*X^2 + L0.1^15980*X*Y + 5*X*Z^2 + L0.1^27200*Y^2*Z + L0.1^6460*Y*Z + 
L0.1^15130*Z^2;
 q[49]:= 1*X^2 + L0.1^16405*X*Y + L0.1^18190*X*Z^2 + L0.1^23290*Y^2*Z + 
L0.1^15895*Y*Z + L0.1^10710*Z^2;
 q[50]:= 1*X^2 + L0.1^16752*X*Y + L0.1^10096*X*Z^2 + L0.1^17239*Y^2*Z + 
L0.1^22367*Y*Z + L0.1^12719*Z^2;
 q[51]:= 1*X^2 + L0.1^17572*X*Y + L0.1^22191*X*Z^2 + L0.1^253*Y^2*Z + 
L0.1^28119*Y*Z + L0.1^2694*Z^2;
 q[52]:= 1*X^2 + L0.1^17856*X*Y + L0.1^17008*X*Z^2 + L0.1^24187*Y^2*Z + 
L0.1^5171*Y*Z + L0.1^22547*Z^2;
 q[53]:= 1*X^2 + L0.1^17928*X*Y + L0.1^21184*X*Z^2 + L0.1^271*Y^2*Z + 
L0.1^24383*Y*Z + L0.1^7511*Z^2;
 q[54]:= 1*X^2 + L0.1^18105*X*Y + L0.1^13600*X*Z^2 + L0.1^28050*Y^2*Z + 
L0.1^3315*Y*Z + L0.1^22440*Z^2;
 q[55]:= 1*X^2 + L0.1^18105*X*Y + L0.1^28390*X*Z^2 + L0.1^13090*Y^2*Z + 
L0.1^4165*Y*Z + L0.1^11390*Z^2;
 q[56]:= 1*X^2 + L0.1^18445*X*Y + L0.1^15130*X*Z^2 + L0.1^1360*Y^2*Z + 
L0.1^7905*Y*Z + L0.1^18870*Z^2;
 q[57]:= 1*X^2 + L0.1^18785*X*Y + 11*X*Z^2 + L0.1^21760*Y^2*Z + L0.1^14365*Y*Z +
L0.1^16490*Z^2;
 q[58]:= 1*X^2 + L0.1^18864*X*Y + L0.1^18352*X*Z^2 + L0.1^3523*Y^2*Z + 
L0.1^17099*Y*Z + L0.1^11963*Z^2;
 q[59]:= 1*X^2 + L0.1^19263*X*Y + L0.1^21509*X*Z^2 + L0.1^20098*Y^2*Z + 
L0.1^20833*Y*Z + L0.1^5548*Z^2;
 q[60]:= 1*X^2 + L0.1^19479*X*Y + L0.1^19635*X*Z^2 + L0.1^27532*Y^2*Z + 
L0.1^15513*Y*Z + L0.1^2021*Z^2;
 q[61]:= 1*X^2 + L0.1^20655*X*Y + L0.1^17680*X*Z^2 + 2*Y^2*Z + L0.1^8925*Y*Z + 
L0.1^27370*Z^2;
 q[62]:= 1*X^2 + L0.1^20825*X*Y + L0.1^12240*X*Z^2 + L0.1^17170*Y^2*Z + 
L0.1^27625*Y*Z + L0.1^25160*Z^2;
 q[63]:= 1*X^2 + L0.1^20825*X*Y + L0.1^13090*X*Z^2 + L0.1^19890*Y^2*Z + 
L0.1^20315*Y*Z + L0.1^6290*Z^2;
 q[64]:= 1*X^2 + L0.1^21124*X*Y + L0.1^1707*X*Z^2 + L0.1^13201*Y^2*Z + 
L0.1^2163*Y*Z + L0.1^6798*Z^2;
 q[65]:= 1*X^2 + L0.1^21165*X*Y + L0.1^5440*X*Z^2 + L0.1^21930*Y^2*Z + 
L0.1^255*Y*Z + L0.1^6120*Z^2;
 q[66]:= 1*X^2 + L0.1^21165*X*Y + L0.1^26350*X*Z^2 + L0.1^27370*Y^2*Z + 
L0.1^11305*Y*Z + L0.1^5270*Z^2;
 q[67]:= 1*X^2 + L0.1^21505*X*Y + L0.1^13090*X*Z^2 + L0.1^8500*Y^2*Z + 0*Y*Z + 
L0.1^4420*Z^2;
 q[68]:= 1*X^2 + L0.1^21831*X*Y + L0.1^5355*X*Z^2 + L0.1^26188*Y^2*Z + 
L0.1^8457*Y*Z + L0.1^27389*Z^2;
 q[69]:= 1*X^2 + L0.1^21845*X*Y + L0.1^24820*X*Z^2 + L0.1^15470*Y^2*Z + 
L0.1^12665*Y*Z + L0.1^2210*Z^2;
 q[70]:= 1*X^2 + L0.1^21939*X*Y + L0.1^22577*X*Z^2 + L0.1^4234*Y^2*Z + 
L0.1^13789*Y*Z + L0.1^15004*Z^2;
 q[71]:= 1*X^2 + L0.1^22100*X*Y + 5*X*Z^2 + L0.1^10880*Y^2*Z + L0.1^12580*Y*Z + 
L0.1^25330*Z^2;
 q[72]:= 1*X^2 + L0.1^22525*X*Y + L0.1^27370*X*Z^2 + L0.1^24820*Y^2*Z + 0*Y*Z + 
L0.1^340*Z^2;
 q[73]:= 1*X^2 + L0.1^23451*X*Y + L0.1^17033*X*Z^2 + L0.1^1546*Y^2*Z + 
L0.1^16981*Y*Z + L0.1^22396*Z^2;
 q[74]:= 1*X^2 + L0.1^24055*X*Y + L0.1^23290*X*Z^2 + L0.1^2550*Y^2*Z + 
L0.1^20825*Y*Z + L0.1^10540*Z^2;
 q[75]:= 1*X^2 + L0.1^24747*X*Y + L0.1^26775*X*Z^2 + L0.1^15196*Y^2*Z + 
L0.1^1749*Y*Z + L0.1^26273*Z^2;
 q[76]:= 1*X^2 + L0.1^25585*X*Y + L0.1^25330*X*Z^2 + L0.1^17680*Y^2*Z + 
L0.1^2805*Y*Z + L0.1^16830*Z^2;
 q[77]:= 1*X^2 + L0.1^25755*X*Y + L0.1^1360*X*Z^2 + 2*Y^2*Z + L0.1^16065*Y*Z + 
L0.1^13090*Z^2;
 q[78]:= 1*X^2 + L0.1^26763*X*Y + L0.1^12495*X*Z^2 + L0.1^26284*Y^2*Z + 
L0.1^24261*Y*Z + L0.1^13337*Z^2;
 q[79]:= 1*X^2 + L0.1^26945*X*Y + L0.1^8500*X*Z^2 + L0.1^1190*Y^2*Z + 
L0.1^21845*Y*Z + L0.1^170*Z^2;
 q[80]:= 1*X^2 + L0.1^27115*X*Y + L0.1^17170*X*Z^2 + L0.1^4590*Y^2*Z + 
L0.1^13685*Y*Z + L0.1^22780*Z^2;
 q[81]:= 1*X^2 + L0.1^27625*X*Y + L0.1^7990*X*Z^2 + L0.1^17170*Y^2*Z + 
L0.1^20995*Y*Z + L0.1^24990*Z^2;
 q[82]:= 1*X^2 + L0.1^27965*X*Y + L0.1^16320*X*Z^2 + L0.1^23290*Y^2*Z + 
L0.1^2125*Y*Z + L0.1^12920*Z^2;
 q[83]:= 1*X^2 + L0.1^27965*X*Y + L0.1^27370*X*Z^2 + L0.1^1530*Y^2*Z + 
L0.1^21335*Y*Z + L0.1^24650*Z^2;
 q[84]:= 1*X^2 + L0.1^27988*X*Y + L0.1^8919*X*Z^2 + L0.1^14197*Y^2*Z + 
L0.1^11151*Y*Z + L0.1^26886*Z^2;
 q[85]:= 1*X^2 + L0.1^28167*X*Y + L0.1^7901*X*Z^2 + L0.1^26482*Y^2*Z + 
L0.1^7897*Y*Z + L0.1^23692*Z^2;
 q[86]:= 1*X^2 + L0.1^28516*X*Y + L0.1^2883*X*Z^2 + L0.1^3289*Y^2*Z + 
L0.1^22827*Y*Z + L0.1^6462*Z^2;
 q[87]:= 0*X^2 + 1*X*Y + L0.1^935*X*Z^2 + L0.1^22015*Y^2*Z + L0.1^10880*Y*Z + 
L0.1^4505*Z^2;
 q[88]:= 0*X^2 + 1*X*Y + L0.1^12155*X*Z^2 + L0.1^595*Y^2*Z + L0.1^27200*Y*Z + 
L0.1^1445*Z^2;
 q[89]:= 0*X^2 + 1*X*Y + L0.1^15215*X*Z^2 + L0.1^7735*Y^2*Z + L0.1^10880*Y*Z + 
L0.1^18785*Z^2;
 q[90]:= 0*X^2 + 1*X*Y + L0.1^26435*X*Z^2 + L0.1^14875*Y^2*Z + L0.1^27200*Y*Z + 
L0.1^15725*Z^2;
--------
number of superspecial DCEC for P[ 1 ]: 90
Especially, below No. of q defines UDCEC among them:
[ 8, 10, 11, 12, 13, 18, 19, 20, 24, 28, 30, 31, 33, 35, 38, 44, 45, 46, 48, 50,
51, 52, 53, 58, 59, 60, 64, 68, 70, 71, 73, 75, 78, 84, 85, 86 ]
number of superspecial UDCEC for P[ 1 ]:  36
----------------------------------------

========================================
The total number of superspecial DCEC :  90
The total number of superspecial UDCEC:  36

compute time variety=1.420
compute time QuotientTest=108.710
compute time Total=119.370

Total time: 119.349 seconds, Total memory usage: 97.03MB