"Source: Text/Incidence/Plane.text";
"Line: 2814";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Plane.text, line: 2814
// Example: H154E17 ()
print "Example: H154E17";
ei := GetEchoInput();
SetEchoInput(true);
sds := SingerDifferenceSet(2, 3);
sds;                             
sdv := Development(sds);
sdv;
spp := FiniteProjectivePlane(sdv);
spp: Maximal;
Universe(Support(spp));
SetEchoInput(ei);
