\makelabel{format:Introduction to FORMAT}{1} \makelabel{format:Formations in GAP}{2} \makelabel{format:Formation}{2} \makelabel{format:Formation}{2} \makelabel{format:IsFormation}{2} \makelabel{format:NameOfFormation}{2} \makelabel{format:ResidualFunctionOfFormation}{2} \makelabel{format:ScreenOfFormation}{2} \makelabel{format:SupportOfFormation}{2} \makelabel{format:ChangedSupport}{2} \makelabel{format:IsIntegrated}{2} \makelabel{format:Integrated}{2} \makelabel{format:formation!equality}{2} \makelabel{format:formation!comparison}{2} \makelabel{format:Intersection}{2} \makelabel{format:ProductOfFormations}{2} \makelabel{format:Residual Functions}{3} \makelabel{format:ResidualWrtFormation}{3} \makelabel{format:NilpotentResidual}{3} \makelabel{format:PResidual}{3} \makelabel{format:PiResidual}{3} \makelabel{format:CoprimeResidual}{3} \makelabel{format:ElementaryAbelianProductResidual}{3} \makelabel{format:FNormalizers}{4} \makelabel{format:FNormalizerWrtFormation}{4} \makelabel{format:SystemNormalizer}{4} \makelabel{format:Covering Subgroups}{5} \makelabel{format:CoveringSubgroup1}{5} \makelabel{format:CoveringSubgroup2}{5} \makelabel{format:CoveringSubgroupWrtFormation}{5} \makelabel{format:CarterSubgroup}{5} \makelabel{format:Formation Examples}{6} \makelabel{format:Other Applications}{7} \makelabel{format:Bibliography}{} \setcitlab {CH}{CH67} \setcitlab {DH}{DH92} \setcitlab {EW}{EW} \setcitlab {G}{Gas63} \setcitlab {WA}{Wri73a} \setcitlab {WB}{Wri73b} \makelabel{format:Index}{}