\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\citation{emma-thesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{5}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{5}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{brf}{\backcite{emma-thesis}{{5}{1}{chapter.1}}}
\citation{BrMoPoWe}
\citation{emma-thesis}
\@writefile{brf}{\backcite{BrMoPoWe}{{6}{1}{chapter.1}}}
\@writefile{brf}{\backcite{emma-thesis}{{6}{1}{chapter.1}}}
\citation{BrTop}
\citation{BrTopGpd}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Groupoids}}{7}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-gpd}{{2}{7}{\textcolor {Chapter }{Groupoids}\relax }{chapter.2}{}}
\@writefile{brf}{\backcite{BrTop}{{7}{2}{chapter.2}}}
\@writefile{brf}{\backcite{BrTopGpd}{{7}{2}{chapter.2}}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Groupoids: their elements and attributes}}{7}{section.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color  {Chapter }ConnectedGroupoid}}{7}{subsection.2.1.1}}
\newlabel{ConnectedGroupoid}{{2.1.1}{7}{\textcolor {Chapter }{ConnectedGroupoid}\relax }{subsection.2.1.1}{}}
\newlabel{GroupAsGroupoid}{{2.1.1}{7}{\textcolor {Chapter }{ConnectedGroupoid}\relax }{subsection.2.1.1}{}}
\newlabel{GroupoidByUnion}{{2.1.1}{7}{\textcolor {Chapter }{ConnectedGroupoid}\relax }{subsection.2.1.1}{}}
\newlabel{Groupoid}{{2.1.1}{7}{\textcolor {Chapter }{ConnectedGroupoid}\relax }{subsection.2.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color  {Chapter }ComponentsOfGroupoid}}{8}{subsection.2.1.2}}
\newlabel{ComponentsOfGroupoid}{{2.1.2}{8}{\textcolor {Chapter }{ComponentsOfGroupoid}\relax }{subsection.2.1.2}{}}
\newlabel{ObjectsOfGroupoid}{{2.1.2}{8}{\textcolor {Chapter }{ComponentsOfGroupoid}\relax }{subsection.2.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color  {Chapter }IsPermGroupoid}}{8}{subsection.2.1.3}}
\newlabel{IsPermGroupoid}{{2.1.3}{8}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.2.1.3}{}}
\newlabel{IsPcGroupoid}{{2.1.3}{8}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.2.1.3}{}}
\newlabel{IsFpGroupoid}{{2.1.3}{8}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.2.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}\leavevmode {\color  {Chapter }GroupoidElement}}{9}{subsection.2.1.4}}
\newlabel{GroupoidElement}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\newlabel{IsElementOfGroupoid}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\newlabel{GroupElement}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\newlabel{Tail}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\newlabel{Head}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\newlabel{Size}{{2.1.4}{9}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.2.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.5}\leavevmode {\color  {Chapter }IsConnectedGroupoid}}{10}{subsection.2.1.5}}
\newlabel{IsConnectedGroupoid}{{2.1.5}{10}{\textcolor {Chapter }{IsConnectedGroupoid}\relax }{subsection.2.1.5}{}}
\newlabel{IsDiscreteGroupoid}{{2.1.5}{10}{\textcolor {Chapter }{IsConnectedGroupoid}\relax }{subsection.2.1.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Subgroupoids}}{10}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }SubgroupoidByComponents}}{10}{subsection.2.2.1}}
\newlabel{SubgroupoidByComponents}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{Subgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{FullSubgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{MaximalDiscreteSubgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{DiscreteSubgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{FullIdentitySubgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\newlabel{DiscreteIdentitySubgroupoid}{{2.2.1}{10}{\textcolor {Chapter }{SubgroupoidByComponents}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Stars, Costars and Homsets}}{11}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }ObjectStar}}{11}{subsection.2.3.1}}
\newlabel{ObjectStar}{{2.3.1}{11}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.2.3.1}{}}
\newlabel{ObjectCostar}{{2.3.1}{11}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.2.3.1}{}}
\newlabel{Homset}{{2.3.1}{11}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color  {Chapter }IdentityElement}}{12}{subsection.2.3.2}}
\newlabel{IdentityElement}{{2.3.2}{12}{\textcolor {Chapter }{IdentityElement}\relax }{subsection.2.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Left, right and double cosets}}{12}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }RightCoset}}{12}{subsection.2.4.1}}
\newlabel{RightCoset}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{RightCosetRepresentatives}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{RightCosetsNC}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{LeftCoset}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{LeftCosetRepresentatives}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{LeftCosetRepresentativesFromObject}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{LeftCosetsNC}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{DoubleCoset}{{2.4.1}{12}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{DoubleCosetRepresentatives}{{2.4.1}{13}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\newlabel{DoubleCosetsNC}{{2.4.1}{13}{\textcolor {Chapter }{RightCoset}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Morphisms of Groupoids}}{14}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-gpdmor}{{3}{14}{\textcolor {Chapter }{Morphisms of Groupoids}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Morphisms to a connected groupoid}}{14}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }MorphismOfConnectedGroupoids}}{14}{subsection.3.1.1}}
\newlabel{MorphismOfConnectedGroupoids}{{3.1.1}{14}{\textcolor {Chapter }{MorphismOfConnectedGroupoids}\relax }{subsection.3.1.1}{}}
\newlabel{Source}{{3.1.1}{14}{\textcolor {Chapter }{MorphismOfConnectedGroupoids}\relax }{subsection.3.1.1}{}}
\newlabel{Range}{{3.1.1}{14}{\textcolor {Chapter }{MorphismOfConnectedGroupoids}\relax }{subsection.3.1.1}{}}
\newlabel{ComponentImages}{{3.1.1}{14}{\textcolor {Chapter }{MorphismOfConnectedGroupoids}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color  {Chapter }MorphismToConnectedGroupoid}}{15}{subsection.3.1.2}}
\newlabel{MorphismToConnectedGroupoid}{{3.1.2}{15}{\textcolor {Chapter }{MorphismToConnectedGroupoid}\relax }{subsection.3.1.2}{}}
\newlabel{GroupoidMorphismWithCommonRange}{{3.1.2}{15}{\textcolor {Chapter }{MorphismToConnectedGroupoid}\relax }{subsection.3.1.2}{}}
\newlabel{GroupoidMorphism}{{3.1.2}{15}{\textcolor {Chapter }{MorphismToConnectedGroupoid}\relax }{subsection.3.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color  {Chapter }IsomorphismNewObjects}}{16}{subsection.3.1.3}}
\newlabel{IsomorphismNewObjects}{{3.1.3}{16}{\textcolor {Chapter }{IsomorphismNewObjects}\relax }{subsection.3.1.3}{}}
\newlabel{IdentityMapping}{{3.1.3}{16}{\textcolor {Chapter }{IsomorphismNewObjects}\relax }{subsection.3.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}\leavevmode {\color  {Chapter }InclusionMappingGroupoids}}{16}{subsection.3.1.4}}
\newlabel{InclusionMappingGroupoids}{{3.1.4}{16}{\textcolor {Chapter }{InclusionMappingGroupoids}\relax }{subsection.3.1.4}{}}
\newlabel{RestrictionMappingGroupoids}{{3.1.4}{16}{\textcolor {Chapter }{InclusionMappingGroupoids}\relax }{subsection.3.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }General Morphisms and composites}}{17}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }GroupoidMorphismByComponents}}{17}{subsection.3.2.1}}
\newlabel{GroupoidMorphismByComponents}{{3.2.1}{17}{\textcolor {Chapter }{GroupoidMorphismByComponents}\relax }{subsection.3.2.1}{}}
\newlabel{GroupoidMorphismByUnion}{{3.2.1}{17}{\textcolor {Chapter }{GroupoidMorphismByComponents}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color  {Chapter }IsGroupoidMorphism}}{18}{subsection.3.2.2}}
\newlabel{IsGroupoidMorphism}{{3.2.2}{18}{\textcolor {Chapter }{IsGroupoidMorphism}\relax }{subsection.3.2.2}{}}
\newlabel{IsInjectiveOnObjects}{{3.2.2}{18}{\textcolor {Chapter }{IsGroupoidMorphism}\relax }{subsection.3.2.2}{}}
\newlabel{IsSurjectiveOnObjects}{{3.2.2}{18}{\textcolor {Chapter }{IsGroupoidMorphism}\relax }{subsection.3.2.2}{}}
\newlabel{IsBijectiveOnObjects}{{3.2.2}{18}{\textcolor {Chapter }{IsGroupoidMorphism}\relax }{subsection.3.2.2}{}}
\newlabel{IsGroupoidAutomorphism}{{3.2.2}{18}{\textcolor {Chapter }{IsGroupoidMorphism}\relax }{subsection.3.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}\leavevmode {\color  {Chapter }ImagesOfObjects}}{18}{subsection.3.2.3}}
\newlabel{ImagesOfObjects}{{3.2.3}{18}{\textcolor {Chapter }{ImagesOfObjects}\relax }{subsection.3.2.3}{}}
\newlabel{ImagesSource}{{3.2.3}{18}{\textcolor {Chapter }{ImagesOfObjects}\relax }{subsection.3.2.3}{}}
\newlabel{ImageElm}{{3.2.3}{18}{\textcolor {Chapter }{ImagesOfObjects}\relax }{subsection.3.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.4}\leavevmode {\color  {Chapter }Product}}{19}{subsection.3.2.4}}
\newlabel{Product}{{3.2.4}{19}{\textcolor {Chapter }{Product}\relax }{subsection.3.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.5}\leavevmode {\color  {Chapter }InverseMorphism}}{19}{subsection.3.2.5}}
\newlabel{InverseMorphism}{{3.2.5}{19}{\textcolor {Chapter }{InverseMorphism}\relax }{subsection.3.2.5}{}}
\newlabel{Order}{{3.2.5}{19}{\textcolor {Chapter }{InverseMorphism}\relax }{subsection.3.2.5}{}}
\citation{Serre}
\citation{HiJLMS}
\citation{emma-thesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Graphs of Groups and Groupoids}}{20}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-ggraph}{{4}{20}{\textcolor {Chapter }{Graphs of Groups and Groupoids}\relax }{chapter.4}{}}
\@writefile{brf}{\backcite{Serre}{{20}{4}{chapter.4}}}
\@writefile{brf}{\backcite{HiJLMS}{{20}{4}{chapter.4}}}
\@writefile{brf}{\backcite{emma-thesis}{{20}{4}{chapter.4}}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }Digraphs}}{20}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }FpWeightedDigraph}}{20}{subsection.4.1.1}}
\newlabel{FpWeightedDigraph}{{4.1.1}{20}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.4.1.1}{}}
\newlabel{IsFpWeightedDigraph}{{4.1.1}{20}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.4.1.1}{}}
\newlabel{InvolutoryArcs}{{4.1.1}{20}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Graphs of Groups}}{21}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }GraphOfGroups}}{21}{subsection.4.2.1}}
\newlabel{GraphOfGroups}{{4.2.1}{21}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.4.2.1}{}}
\newlabel{DigraphOfGraphOfGroups}{{4.2.1}{21}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.4.2.1}{}}
\newlabel{GroupsOfGraphOfGroups}{{4.2.1}{21}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.4.2.1}{}}
\newlabel{SubgroupsOfGraphOfGroups}{{4.2.1}{21}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.4.2.1}{}}
\newlabel{IsomorphismsOfGraphOfGroups}{{4.2.1}{21}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }IsGraphOfFpGroups}}{22}{subsection.4.2.2}}
\newlabel{IsGraphOfFpGroups}{{4.2.2}{22}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.4.2.2}{}}
\newlabel{IsGraphOfPcGroups}{{4.2.2}{22}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.4.2.2}{}}
\newlabel{IsGraphOfPermGroups}{{4.2.2}{22}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.4.2.2}{}}
\citation{emma-thesis}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter }RightTransversalsOfGraphOfGroups}}{23}{subsection.4.2.3}}
\newlabel{RightTransversalsOfGraphOfGroups}{{4.2.3}{23}{\textcolor {Chapter }{RightTransversalsOfGraphOfGroups}\relax }{subsection.4.2.3}{}}
\newlabel{LeftTransversalsOfGraphOfGroups}{{4.2.3}{23}{\textcolor {Chapter }{RightTransversalsOfGraphOfGroups}\relax }{subsection.4.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Words in a Graph of Groups and their normal forms}}{23}{section.4.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }GraphOfGroupsWord}}{23}{subsection.4.3.1}}
\newlabel{GraphOfGroupsWord}{{4.3.1}{23}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.4.3.1}{}}
\newlabel{IsGraphOfGroupsWord}{{4.3.1}{23}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.4.3.1}{}}
\newlabel{GraphOfGroupsOfWord}{{4.3.1}{23}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.4.3.1}{}}
\newlabel{WordOfGraphOfGroupsWord}{{4.3.1}{23}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.4.3.1}{}}
\@writefile{brf}{\backcite{emma-thesis}{{23}{4.3.1}{subsection.4.3.1}}}
\citation{emma-thesis}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }ReducedGraphOfGroupsWord}}{24}{subsection.4.3.2}}
\newlabel{ReducedGraphOfGroupsWord}{{4.3.2}{24}{\textcolor {Chapter }{ReducedGraphOfGroupsWord}\relax }{subsection.4.3.2}{}}
\newlabel{IsReducedGraphOfGroupsWord}{{4.3.2}{24}{\textcolor {Chapter }{ReducedGraphOfGroupsWord}\relax }{subsection.4.3.2}{}}
\@writefile{brf}{\backcite{emma-thesis}{{24}{4.3.2}{subsection.4.3.2}}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Free products with amalgamation and HNN extensions}}{24}{section.4.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }FreeProductWithAmalgamation}}{24}{subsection.4.4.1}}
\newlabel{FreeProductWithAmalgamation}{{4.4.1}{24}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.4.4.1}{}}
\newlabel{IsFpaGroup}{{4.4.1}{24}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.4.4.1}{}}
\newlabel{GraphOfGroupsRewritingSystem}{{4.4.1}{24}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.4.4.1}{}}
\newlabel{NormalFormGGRWS}{{4.4.1}{24}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color  {Chapter }HnnExtension}}{26}{subsection.4.4.2}}
\newlabel{HnnExtension}{{4.4.2}{26}{\textcolor {Chapter }{HnnExtension}\relax }{subsection.4.4.2}{}}
\newlabel{IsHnnGroup}{{4.4.2}{26}{\textcolor {Chapter }{HnnExtension}\relax }{subsection.4.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color  {Chapter }GraphsOfGroupoids and their Words}}{27}{section.4.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}\leavevmode {\color  {Chapter }GraphOfGroupoids}}{27}{subsection.4.5.1}}
\newlabel{GraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{IsGraphOfPermGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{IsGraphOfFpGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{GroupoidsOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{DigraphOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{SubgroupoidsOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{IsomorphismsOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{RightTransversalsOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\newlabel{LefvtTransversalsOfGraphOfGroupoids}{{4.5.1}{27}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.4.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.2}\leavevmode {\color  {Chapter }GraphOfGroupoidsWord}}{28}{subsection.4.5.2}}
\newlabel{GraphOfGroupoidsWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\newlabel{IsGraphOfGroupoidsWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\newlabel{GraphOfGroupoidsOfWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\newlabel{WordOfGraphOfGroupoidsWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\newlabel{ReducedGraphOfGroupoidsWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\newlabel{IsReducedGraphOfGroupoidsWord}{{4.5.2}{28}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.4.5.2}{}}
\citation{emma-thesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Development History}}{29}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{history}{{5}{29}{\textcolor {Chapter }{Development History}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }Versions of the Package}}{29}{section.5.1}}
\@writefile{brf}{\backcite{emma-thesis}{{29}{5.1}{section.5.1}}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }What needs to be done next?}}{29}{section.5.2}}
\bibstyle{alpha}
\bibdata{manual}
\bibcite{BrMoPoWe}{BMPW02}
\bibcite{BrTop}{Bro88}
\bibcite{BrTopGpd}{Bro06}
\bibcite{HiJLMS}{Hig76}
\bibcite{emma-thesis}{Moo01}
\bibcite{Serre}{Ser80}
