clear;

r:=NextPrime(2^255);
/*
repeat 
	h:=12*Random(0,2^1365);
until IsPrime(h*r-1);
*/

q:=425708693169757088196017853607835113595127103859429924930531263283244403251872949802982860038531930965867890444658222153407204383584492024637762799391807569669124814253270947366226515064812665901907204494611177526596015257984009814596057160388672298355821309046798841446111721495601835913381835880170934319890420895521320439930666405003725309562669243847766834546592867695533445054256132471093279787853214492986394176521193456205570309658462204234557728373615304193316916440130004424612327;

h:=7352984059166010680233884359397606261756085731577338642439932150955701269321213454518655461605744774716085653794334630778258378102093226056054442119867814442317069039216036089944150404302324800183491822164688698749102601811545840191574820318422314186443197052492022843531933221704298886040697066968888299462985825068144680220650422353753735779923579696322625555138319604221119415603229681158045748797449440677656;

//IsPrime(r*h-1);
//q:=h*r-1;
Fq:=GF(q);
E1:=EllipticCurve([Fq|0,314159]);
E2:=EllipticCurve([Fq|265358,0]);

IsSupersingular(E1);
IsSupersingular(E2);
Fq2<i>:=ExtensionField<Fq,x|x^2+1>;

h*r*Random(E1);
h*r*Random(E2);

