"Source: Text/System/State.text";
"Line: 2210";
"Date: Wed Mar 24 09:58:40 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/System/State.text, line: 2210
// Example: H1E23 ()
print "Example: H1E23";
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);
