"Source: Text/Geometry/CrvEllQNF.text";
"Line: 1844";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllQNF.text, line: 1844
// Example: H133E19 ()
print "Example: H133E19";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([-228, 848]);
Q := SIntegralPoints(E, [2, 3, 5, 7]);
for P in Q do P; end for;    // Print one per line
SetEchoInput(ei);
