"Source: Text/System/State.text";
"Line: 2318";
"Date: Thu Sep 25 21:32:21 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/State.text, line: 2318
// Example: H1E24 ()
print "Example: H1E24";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1); 
GetSeed(); 
time S := {* Random(1, 4): i in [1..100000] *};
S;
GetSeed();
[Random(1, 100): i in [1 .. 10]];
GetSeed();
SetSeed(23);
GetSeed();
time S := {* Random(1, 4): i in [1..100000] *};
S;
GetSeed();
[Random(1, 100): i in [1 .. 10]];
GetSeed();
SetSeed(1, 100000);
[Random(1, 100): i in [1 .. 10]];
GetSeed();                       
SetEchoInput(ei);
