"Source: Text/Incidence/Graph.text";
"Line: 358";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Graph.text, line: 358
// Example: H162E3 ()
print "Example: H162E3";
ei := GetEchoInput();
SetEchoInput(true);
G := PermutationGroup< 30 |
    (1, 2)(3, 4)(5, 7)(6, 8)(9, 13)(10, 12)(11, 15)(14, 19) (16, 23)
        (17, 22)(18, 21)(20, 27)(24, 29)(25, 28)(26, 30),
    (1, 24, 28, 8)(2, 9, 17, 22)(3, 29, 19, 15)(4, 5, 21, 25)
        (6, 18, 7, 16)(10, 13, 30, 11)(12, 14)(20, 23)(26, 27) >;
N1 := rep{ o : o in Orbits(Stabilizer(G, 1)) | #o eq 3 };
tutte := Graph< 30 | <1, N1>^G >;
SetEchoInput(ei);
