"Source: Text/Aggregates/Set.text";
"Line: 2127";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Aggregates/Set.text, line: 2127
// Example: H10E13 ()
print "Example: H10E13";
ei := GetEchoInput();
SetEchoInput(true);
forall(u){ m : m in [5..1000 by 4] | 
      exists{ <x, y, z> : x, y in [0..30], z in [-1, 0, 1] |
         x^2+y^2+z eq m } };
u;
SetEchoInput(ei);
