"Source: Text/Aggregates/Set.text";
"Line: 2036";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Aggregates/Set.text, line: 2036
// Example: H10E12 ()
print "Example: H10E12";
ei := GetEchoInput();
SetEchoInput(true);
exists(t){ <x, y> : x, y in [ t^3 : t in [-10..10] ] | x + y eq 218 };
t;
exists(t){ <x, y> : x, y in [ t^3 : t in [1..10] ] | x + y eq 218 };
SetEchoInput(ei);
