  
  [1X23 [33X[0;0YG-Outer Groups[133X[101X
  
      │                 [10XGOuterGroup(E,N)[110X [10XGOuterGroup()[110X                
      │ [10XGOuterGroupHomomorphismNC(A,B,phi)[110X [10XGOuterGroupHomomorphismNC()[110X
      │               [10XGOuterHomomorphismTester(A,B,phi)[110X               
      │                           [10XCentre(A)[110X                           
      │          [10XDirectProductGog(A,B)[110X [10XDirectProductGog(Lst)[110X          
  
