"Source: Text/Incidence/Graph.text";
"Line: 169";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Graph.text, line: 169
// Example: H162E1 ()
print "Example: H162E1";
ei := GetEchoInput();
SetEchoInput(true);
n := 65536;
m := 0;
assert GraphSizeInBytes(n, m) gt 2^32;
GraphSizeInBytes(n, m : SparseRep := true);
m := 33538101;
assert GraphSizeInBytes(n, m : SparseRep := true) gt 2^32;
SetEchoInput(ei);
