"Source: Text/Geometry/CrvEllQNF.text";
"Line: 1143";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvEllQNF.text, line: 1143
// Example: H130E8 ()
print "Example: H130E8";
ei := GetEchoInput();
SetEchoInput(true);
time HeegnerPoint(EllipticCurve([1,0,0,312,-3008])); //uses search
time HeegnerPoint(EllipticCurve([0,0,1,-22787553,-41873464535]));
SetEchoInput(ei);
