"Source: Text/System/IO.text";
"Line: 774";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/IO.text, line: 774
// Example: H3E5 ()
print "Example: H3E5";
ei := GetEchoInput();
SetEchoInput(true);
x := 3;
y := 4;
printf "x = %o, y = %o\n", x, y;
printf "G'"; printf "day";  
p := 53.211;                                 
x := 123.2;
printf "%.3o%% of %.2o is %.3o\n", p, x, p/100.0 * x;
Zx<x> := PolynomialRing(Integers());
printf "%O\n", x, "Magma";
SetEchoInput(ei);
