"Source: Text/Lat/Lat.text";
"Line: 4609";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 4609
// Example: H31E18 ()
print "Example: H31E18";
ei := GetEchoInput();
SetEchoInput(true);
SetNthreads(4); // 4 threads
L := Lattice(LatticeDatabase(),"Leech");
D := DirectSum([L,L]); // dimension 48
cpu := Cputime(); t := Time();
ThetaSeries(D,6); // real time of 1 min
Cputime(cpu); Time(t);
SetEchoInput(ei);
