"Source: Text/Aggregates/Set.text";
"Line: 2036";
"Date: Wed Nov 13 15:56:29 2019";
"Main: Thu May 25 10:02:38 2023";
// 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);
