  
  [1X5 [33X[0;0YResolutions of the ground ring[133X[101X
  
      │                                                                 [10XTietzeReducedResolution(R)[110X                                                                 
      │                                                           [10XResolutionArithmeticGroup("PSL(4,Z)",n)[110X                                                          
      │                                                         [10XFreeGResolution(P,n)[110X [10XFreeGResolution(P,n,p)[110X                                                        
      │                                                                    [10XResolutionGTree(P,n)[110X                                                                    
      │                                                                     [10XResolutionSL2Z(p,n)[110X                                                                    
      │                                                   [10XResolutionAbelianGroup(L,n)[110X [10XResolutionAbelianGroup(G,n)[110X                                                  
      │                                                              [10XResolutionAlmostCrystalGroup(G,n)[110X                                                             
      │                                     [10XResolutionAlmostCrystalQuotient(G,n,c)[110X [10XResolutionAlmostCrystalQuotient(G,n,c,false)[110X                                    
      │                                                                  [10XResolutionArtinGroup(D,n)[110X                                                                 
      │                                                           [10XResolutionAsphericalPresentation(F,R,n)[110X                                                          
      │                                             [10XResolutionBieberbachGroup( G ) [110X [10XResolutionBieberbachGroup( G, v ) [110X                                             
      │                                                                 [10XResolutionCoxeterGroup(D,n)[110X                                                                
      │                                            [10XResolutionDirectProduct(R,S) [110X [10XResolutionDirectProduct(R,S,"internal")[110X                                           
      │                     [10XResolutionExtension(g,R,S) [110X [10XResolutionExtension(g,R, S,"TestFiniteness")[110X [10XResolutionExtension(g,R,S,"NoTest",GmapE)[110X                     
      │                                     [10XResolutionFiniteDirectProduct(R,S) [110X [10XResolutionFiniteDirectProduct(R,S, "internal")[110X                                     
      │       [10XResolutionFiniteExtension(gensE,gensG,R,n)[110X [10XResolutionFiniteExtension(gensE,gensG,R,n,true) [110X [10XResolutionFiniteExtension(gensE,gensG,R,n,false,S) [110X      
      │ [10XResolutionFiniteGroup(gens,n)[110X [10XResolutionFiniteGroup(gens,n,true)[110X [10XResolutionFiniteGroup(gens,n,false,p) [110X [10XResolutionFiniteGroup(gens,n,false,0,"extendible") [110X
      │                                            [10XResolutionFiniteSubgroup(R,K)[110X [10XResolutionFiniteSubgroup(R,gensG,gensK)[110X                                           
      │                                                [10XResolutionGraphOfGroups(D,n) [110X [10XResolutionGraphOfGroups(D,n,L) [110X                                               
      │                                        [10XResolutionNilpotentGroup(G,n) [110X [10XResolutionNilpotentGroup(G,n,"TestFiniteness")[110X                                       
      │                              [10XResolutionNormalSeries(L,n) [110X [10XResolutionNormalSeries(L,n,true)[110X [10XResolutionNormalSeries(L,n,false,p)[110X                             
      │                                              [10XResolutionPrimePowerGroup(P,n) [110X [10XResolutionPrimePowerGroup(G,n,p)[110X                                              
      │                                                 [10XResolutionSmallFpGroup(G,n) [110X [10XResolutionSmallFpGroup(G,n,p) [110X                                                
      │                                                                   [10XResolutionSubgroup(R,K)[110X                                                                  
      │                                                               [10XResolutionSubnormalSeries(L,n) [110X                                                              
      │                                             [10XTwistedTensorProduct(R,S,EhomG,GmapE,NhomE,NEhomN,EltsE,Mult,InvE)[110X                                             
      │                                                                  [10XConjugatedResolution(R,x)[110X                                                                 
      │                                                               [10XRecalculateIncidenceNumbers(R)[110X                                                               
  
