"Source: Text/System/Par.text";
"Line: 2542";
"Date: Thu Jul 13 10:19:10 2023";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/Par.text, line: 2542
// Example: H5E29 ()
print "Example: H5E29";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
initial_results_maxval := < 0, 0 >;
update_results_maxval := procedure(~results, result, index)
    n, niters, maxval := Explode(result);
    assert index eq n;
    if results[1] lt maxval then
        results := < maxval, n >;
    end if;
end procedure;
socket := Socket(: LocalHost := "circle", LocalPort := 10000);
DistributedManager(socket, [1..10] :
    initial_results := initial_results_maxval,
    update_results := update_results_maxval
);
SetEchoInput(ei);
