\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

\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Licensing}}{10}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{MR2091700}
\citation{MR2035113}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }FR package}}{11}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{frpackage}{{2}{11}{\textcolor {Chapter }{FR package}\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }A brief mathematical introduction}}{11}{section.2.1}}
\newlabel{mathintro}{{2.1}{11}{\textcolor {Chapter }{A brief mathematical introduction}\relax }{section.2.1}{}}
\@writefile{brf}{\backcite{MR2091700}{{11}{2.1}{section.2.1}}}
\@writefile{brf}{\backcite{MR2035113}{{11}{2.1}{section.2.1}}}
\citation{MR713968}
\citation{MR565099}
\citation{MR696534}
\citation{MR1902367}
\citation{MR2176547}
\@writefile{brf}{\backcite{MR713968}{{12}{2.1}{section.2.1}}}
\@writefile{brf}{\backcite{MR565099}{{12}{2.1}{section.2.1}}}
\@writefile{brf}{\backcite{MR696534}{{12}{2.1}{section.2.1}}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }An example session}}{12}{section.2.2}}
\newlabel{frintro}{{2.2}{12}{\textcolor {Chapter }{An example session}\relax }{section.2.2}{}}
\@writefile{brf}{\backcite{MR1902367}{{12}{2.2}{section.2.2}}}
\@writefile{brf}{\backcite{MR2176547}{{12}{2.2}{section.2.2}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Functionally recursive machines}}{16}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{frmachines}{{3}{16}{\textcolor {Chapter }{Functionally recursive machines}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Types of machines}}{16}{section.3.1}}
\newlabel{frmachine-types}{{3.1}{16}{\textcolor {Chapter }{Types of machines}\relax }{section.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }Products of machines}}{17}{section.3.2}}
\newlabel{frmachine-products}{{3.2}{17}{\textcolor {Chapter }{Products of machines}\relax }{section.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Creators for \texttt  {FRMachine}s}}{17}{section.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }FRMachineNC (family,free,listlist,list)}}{17}{subsection.3.3.1}}
\newlabel{FRMachineNC:family,free,listlist,list}{{3.3.1}{17}{\textcolor {Chapter }{FRMachineNC (family,free,listlist,list)}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color  {Chapter }FRMachine ([list,]list,list)}}{17}{subsection.3.3.2}}
\newlabel{FRMachine:[list,]list,list}{{3.3.2}{17}{\textcolor {Chapter }{FRMachine ([list,]list,list)}\relax }{subsection.3.3.2}{}}
\newlabel{FRMachine:semigroup,list,list}{{3.3.2}{17}{\textcolor {Chapter }{FRMachine ([list,]list,list)}\relax }{subsection.3.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}\leavevmode {\color  {Chapter }UnderlyingFRMachine}}{18}{subsection.3.3.3}}
\newlabel{UnderlyingFRMachine}{{3.3.3}{18}{\textcolor {Chapter }{UnderlyingFRMachine}\relax }{subsection.3.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}\leavevmode {\color  {Chapter }AsGroupFRMachine}}{19}{subsection.3.3.4}}
\newlabel{AsGroupFRMachine}{{3.3.4}{19}{\textcolor {Chapter }{AsGroupFRMachine}\relax }{subsection.3.3.4}{}}
\newlabel{AsMonoidFRMachine}{{3.3.4}{19}{\textcolor {Chapter }{AsGroupFRMachine}\relax }{subsection.3.3.4}{}}
\newlabel{AsSemigroupFRMachine}{{3.3.4}{19}{\textcolor {Chapter }{AsGroupFRMachine}\relax }{subsection.3.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.5}\leavevmode {\color  {Chapter }ChangeFRMachineBasis}}{20}{subsection.3.3.5}}
\newlabel{ChangeFRMachineBasis}{{3.3.5}{20}{\textcolor {Chapter }{ChangeFRMachineBasis}\relax }{subsection.3.3.5}{}}
\citation{MR2162164}
\@writefile{brf}{\backcite{MR2162164}{{21}{3.3.5}{subsection.3.3.5}}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color  {Chapter }Attributes for \texttt  {FRMachine}s}}{21}{section.3.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color  {Chapter }StateSet (FR machine)}}{21}{subsection.3.4.1}}
\newlabel{StateSet:FR machine}{{3.4.1}{21}{\textcolor {Chapter }{StateSet (FR machine)}\relax }{subsection.3.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}\leavevmode {\color  {Chapter }GeneratorsOfFRMachine}}{21}{subsection.3.4.2}}
\newlabel{GeneratorsOfFRMachine}{{3.4.2}{21}{\textcolor {Chapter }{GeneratorsOfFRMachine}\relax }{subsection.3.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}\leavevmode {\color  {Chapter }Output (FR machine,state)}}{22}{subsection.3.4.3}}
\newlabel{Output:FR machine,state}{{3.4.3}{22}{\textcolor {Chapter }{Output (FR machine,state)}\relax }{subsection.3.4.3}{}}
\newlabel{Output:FR machine,state,letter}{{3.4.3}{22}{\textcolor {Chapter }{Output (FR machine,state)}\relax }{subsection.3.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.4}\leavevmode {\color  {Chapter }Transition (FR machine,state,input)}}{22}{subsection.3.4.4}}
\newlabel{Transition:FR machine,state,input}{{3.4.4}{22}{\textcolor {Chapter }{Transition (FR machine,state,input)}\relax }{subsection.3.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.5}\leavevmode {\color  {Chapter }WreathRecursion}}{22}{subsection.3.4.5}}
\newlabel{WreathRecursion}{{3.4.5}{22}{\textcolor {Chapter }{WreathRecursion}\relax }{subsection.3.4.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}\leavevmode {\color  {Chapter }Operations for \texttt  {FRMachine}s}}{23}{section.3.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}\leavevmode {\color  {Chapter }StructuralGroup}}{23}{subsection.3.5.1}}
\newlabel{StructuralGroup}{{3.5.1}{23}{\textcolor {Chapter }{StructuralGroup}\relax }{subsection.3.5.1}{}}
\newlabel{StructuralMonoid}{{3.5.1}{23}{\textcolor {Chapter }{StructuralGroup}\relax }{subsection.3.5.1}{}}
\newlabel{StructuralSemigroup}{{3.5.1}{23}{\textcolor {Chapter }{StructuralGroup}\relax }{subsection.3.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }+}}{23}{subsection.3.5.2}}
\newlabel{+}{{3.5.2}{23}{\textcolor {Chapter }{\texttt {\symbol {92}}+}\relax }{subsection.3.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }*}}{24}{subsection.3.5.3}}
\newlabel{*}{{3.5.3}{24}{\textcolor {Chapter }{\texttt {\symbol {92}}*}\relax }{subsection.3.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.4}\leavevmode {\color  {Chapter }TensorSumOp (FR Machines)}}{24}{subsection.3.5.4}}
\newlabel{TensorSumOp:FR Machines}{{3.5.4}{24}{\textcolor {Chapter }{TensorSumOp (FR Machines)}\relax }{subsection.3.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.5}\leavevmode {\color  {Chapter }TensorProductOp (FR Machines)}}{24}{subsection.3.5.5}}
\newlabel{TensorProductOp:FR Machines}{{3.5.5}{24}{\textcolor {Chapter }{TensorProductOp (FR Machines)}\relax }{subsection.3.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.6}\leavevmode {\color  {Chapter }DirectSumOp (FR Machines)}}{25}{subsection.3.5.6}}
\newlabel{DirectSumOp:FR Machines}{{3.5.6}{25}{\textcolor {Chapter }{DirectSumOp (FR Machines)}\relax }{subsection.3.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.7}\leavevmode {\color  {Chapter }DirectProductOp (FR Machines)}}{25}{subsection.3.5.7}}
\newlabel{DirectProductOp:FR Machines}{{3.5.7}{25}{\textcolor {Chapter }{DirectProductOp (FR Machines)}\relax }{subsection.3.5.7}{}}
\citation{MR2197828}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.8}\leavevmode {\color  {Chapter }TreeWreathProduct (FR machine)}}{26}{subsection.3.5.8}}
\newlabel{TreeWreathProduct:FR machine}{{3.5.8}{26}{\textcolor {Chapter }{TreeWreathProduct (FR machine)}\relax }{subsection.3.5.8}{}}
\@writefile{brf}{\backcite{MR2197828}{{26}{3.5.8}{subsection.3.5.8}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.9}\leavevmode {\color  {Chapter }SubFRMachine}}{26}{subsection.3.5.9}}
\newlabel{SubFRMachine}{{3.5.9}{26}{\textcolor {Chapter }{SubFRMachine}\relax }{subsection.3.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.10}\leavevmode {\color  {Chapter }Minimized (FR machine)}}{27}{subsection.3.5.10}}
\newlabel{Minimized:FR machine}{{3.5.10}{27}{\textcolor {Chapter }{Minimized (FR machine)}\relax }{subsection.3.5.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.11}\leavevmode {\color  {Chapter }Correspondence (FR machine)}}{27}{subsection.3.5.11}}
\newlabel{Correspondence:FR machine}{{3.5.11}{27}{\textcolor {Chapter }{Correspondence (FR machine)}\relax }{subsection.3.5.11}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Functionally recursive elements}}{28}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{frelements}{{4}{28}{\textcolor {Chapter }{Functionally recursive elements}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }Creators for \texttt  {FRElement}s}}{28}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }FRElementNC (family,free,listlist,list,assocword)}}{28}{subsection.4.1.1}}
\newlabel{FRElementNC:family,free,listlist,list,assocword}{{4.1.1}{28}{\textcolor {Chapter }{FRElementNC (family,free,listlist,list,assocword)}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color  {Chapter }FRElement ([list,]list,list,list)}}{29}{subsection.4.1.2}}
\newlabel{FRElement:[list,]list,list,list}{{4.1.2}{29}{\textcolor {Chapter }{FRElement ([list,]list,list,list)}\relax }{subsection.4.1.2}{}}
\newlabel{FRElement:semigroup,list,list,list}{{4.1.2}{29}{\textcolor {Chapter }{FRElement ([list,]list,list,list)}\relax }{subsection.4.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color  {Chapter }FRElement (machine/element,list)}}{30}{subsection.4.1.3}}
\newlabel{FRElement:machine/element,list}{{4.1.3}{30}{\textcolor {Chapter }{FRElement (machine/element,list)}\relax }{subsection.4.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}\leavevmode {\color  {Chapter }ComposeElement (elementcoll,perm)}}{30}{subsection.4.1.4}}
\newlabel{ComposeElement:elementcoll,perm}{{4.1.4}{30}{\textcolor {Chapter }{ComposeElement (elementcoll,perm)}\relax }{subsection.4.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.5}\leavevmode {\color  {Chapter }VertexElement}}{31}{subsection.4.1.5}}
\newlabel{VertexElement}{{4.1.5}{31}{\textcolor {Chapter }{VertexElement}\relax }{subsection.4.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.6}\leavevmode {\color  {Chapter }DiagonalElement}}{31}{subsection.4.1.6}}
\newlabel{DiagonalElement}{{4.1.6}{31}{\textcolor {Chapter }{DiagonalElement}\relax }{subsection.4.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.7}\leavevmode {\color  {Chapter }AsGroupFRElement}}{32}{subsection.4.1.7}}
\newlabel{AsGroupFRElement}{{4.1.7}{32}{\textcolor {Chapter }{AsGroupFRElement}\relax }{subsection.4.1.7}{}}
\newlabel{AsMonoidFRElement}{{4.1.7}{32}{\textcolor {Chapter }{AsGroupFRElement}\relax }{subsection.4.1.7}{}}
\newlabel{AsSemigroupFRElement}{{4.1.7}{32}{\textcolor {Chapter }{AsGroupFRElement}\relax }{subsection.4.1.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Operations and Attributes for \texttt  {FRElement}s}}{33}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }Output (FR element)}}{33}{subsection.4.2.1}}
\newlabel{Output:FR element}{{4.2.1}{33}{\textcolor {Chapter }{Output (FR element)}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }Activity}}{34}{subsection.4.2.2}}
\newlabel{Activity}{{4.2.2}{34}{\textcolor {Chapter }{Activity}\relax }{subsection.4.2.2}{}}
\newlabel{ActivityInt}{{4.2.2}{34}{\textcolor {Chapter }{Activity}\relax }{subsection.4.2.2}{}}
\newlabel{ActivityTransformation}{{4.2.2}{34}{\textcolor {Chapter }{Activity}\relax }{subsection.4.2.2}{}}
\newlabel{ActivityPerm}{{4.2.2}{34}{\textcolor {Chapter }{Activity}\relax }{subsection.4.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter }Transition (FR element,input)}}{34}{subsection.4.2.3}}
\newlabel{Transition:FR element,input}{{4.2.3}{34}{\textcolor {Chapter }{Transition (FR element,input)}\relax }{subsection.4.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color  {Chapter }Portrait}}{35}{subsection.4.2.4}}
\newlabel{Portrait}{{4.2.4}{35}{\textcolor {Chapter }{Portrait}\relax }{subsection.4.2.4}{}}
\newlabel{PortraitInt}{{4.2.4}{35}{\textcolor {Chapter }{Portrait}\relax }{subsection.4.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.5}\leavevmode {\color  {Chapter }DecompositionOfFRElement}}{35}{subsection.4.2.5}}
\newlabel{DecompositionOfFRElement}{{4.2.5}{35}{\textcolor {Chapter }{DecompositionOfFRElement}\relax }{subsection.4.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.6}\leavevmode {\color  {Chapter }StateSet (FR element)}}{35}{subsection.4.2.6}}
\newlabel{StateSet:FR element}{{4.2.6}{35}{\textcolor {Chapter }{StateSet (FR element)}\relax }{subsection.4.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.7}\leavevmode {\color  {Chapter }State}}{36}{subsection.4.2.7}}
\newlabel{State}{{4.2.7}{36}{\textcolor {Chapter }{State}\relax }{subsection.4.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.8}\leavevmode {\color  {Chapter }States}}{36}{subsection.4.2.8}}
\newlabel{States}{{4.2.8}{36}{\textcolor {Chapter }{States}\relax }{subsection.4.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.9}\leavevmode {\color  {Chapter }FixedStates}}{37}{subsection.4.2.9}}
\newlabel{FixedStates}{{4.2.9}{37}{\textcolor {Chapter }{FixedStates}\relax }{subsection.4.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.10}\leavevmode {\color  {Chapter }LimitStates}}{37}{subsection.4.2.10}}
\newlabel{LimitStates}{{4.2.10}{37}{\textcolor {Chapter }{LimitStates}\relax }{subsection.4.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.11}\leavevmode {\color  {Chapter }IsFiniteStateFRElement}}{37}{subsection.4.2.11}}
\newlabel{IsFiniteStateFRElement}{{4.2.11}{37}{\textcolor {Chapter }{IsFiniteStateFRElement}\relax }{subsection.4.2.11}{}}
\newlabel{IsFiniteStateFRMachine}{{4.2.11}{37}{\textcolor {Chapter }{IsFiniteStateFRElement}\relax }{subsection.4.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.12}\leavevmode {\color  {Chapter }InitialState}}{38}{subsection.4.2.12}}
\newlabel{InitialState}{{4.2.12}{38}{\textcolor {Chapter }{InitialState}\relax }{subsection.4.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.13}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }\texttt  {\char 94\relax } (POW)}}{38}{subsection.4.2.13}}
\newlabel{^:POW}{{4.2.13}{38}{\textcolor {Chapter }{\texttt {\symbol {92}}\texttt {\symbol {94}} (POW)}\relax }{subsection.4.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.14}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (PROD)}}{39}{subsection.4.2.14}}
\newlabel{*:PROD}{{4.2.14}{39}{\textcolor {Chapter }{\texttt {\symbol {92}}* (PROD)}\relax }{subsection.4.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.15}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }[\texttt  {\char 92\relax }] (ELMLIST)}}{39}{subsection.4.2.15}}
\newlabel{[]:ELMLIST}{{4.2.15}{39}{\textcolor {Chapter }{\texttt {\symbol {92}}[\texttt {\symbol {92}}] (ELMLIST)}\relax }{subsection.4.2.15}{}}
\newlabel{{}:ELMSLIST}{{4.2.15}{39}{\textcolor {Chapter }{\texttt {\symbol {92}}[\texttt {\symbol {92}}] (ELMLIST)}\relax }{subsection.4.2.15}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Mealy machines and elements}}{40}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{mealy}{{5}{40}{\textcolor {Chapter }{Mealy machines and elements}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }Creators for \texttt  {MealyMachine}s and \texttt  {MealyElement}s}}{40}{section.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color  {Chapter }MealyMachine ([list,]listlist,list)}}{40}{subsection.5.1.1}}
\newlabel{MealyMachine:[list,]listlist,list}{{5.1.1}{40}{\textcolor {Chapter }{MealyMachine ([list,]listlist,list)}\relax }{subsection.5.1.1}{}}
\newlabel{MealyElement:[list,]listlist,list,int}{{5.1.1}{40}{\textcolor {Chapter }{MealyMachine ([list,]listlist,list)}\relax }{subsection.5.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color  {Chapter }MealyMachine (domain,domain,function,function)}}{41}{subsection.5.1.2}}
\newlabel{MealyMachine:domain,domain,function,function}{{5.1.2}{41}{\textcolor {Chapter }{MealyMachine (domain,domain,function,function)}\relax }{subsection.5.1.2}{}}
\newlabel{MealyElement:domain,domain,function,function,obj}{{5.1.2}{41}{\textcolor {Chapter }{MealyMachine (domain,domain,function,function)}\relax }{subsection.5.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}\leavevmode {\color  {Chapter }MealyMachineNC (family,listlist,list)}}{42}{subsection.5.1.3}}
\newlabel{MealyMachineNC:family,listlist,list}{{5.1.3}{42}{\textcolor {Chapter }{MealyMachineNC (family,listlist,list)}\relax }{subsection.5.1.3}{}}
\newlabel{MealyElementNC:family,listlist,list,int}{{5.1.3}{42}{\textcolor {Chapter }{MealyMachineNC (family,listlist,list)}\relax }{subsection.5.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}\leavevmode {\color  {Chapter }AllMealyMachines}}{42}{subsection.5.1.4}}
\newlabel{AllMealyMachines}{{5.1.4}{42}{\textcolor {Chapter }{AllMealyMachines}\relax }{subsection.5.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Operations and Attributes for \texttt  {MealyMachine}s and \texttt  {MealyElement}s}}{43}{section.5.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }Draw}}{43}{subsection.5.2.1}}
\newlabel{Draw}{{5.2.1}{43}{\textcolor {Chapter }{Draw}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }Minimized (Mealy machine)}}{44}{subsection.5.2.2}}
\newlabel{Minimized:Mealy machine}{{5.2.2}{44}{\textcolor {Chapter }{Minimized (Mealy machine)}\relax }{subsection.5.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter }DualMachine}}{44}{subsection.5.2.3}}
\newlabel{DualMachine}{{5.2.3}{44}{\textcolor {Chapter }{DualMachine}\relax }{subsection.5.2.3}{}}
\citation{MR1841119}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color  {Chapter }IsReversible}}{45}{subsection.5.2.4}}
\newlabel{IsReversible}{{5.2.4}{45}{\textcolor {Chapter }{IsReversible}\relax }{subsection.5.2.4}{}}
\@writefile{brf}{\backcite{MR1841119}{{45}{5.2.4}{subsection.5.2.4}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.5}\leavevmode {\color  {Chapter }IsMinimized}}{45}{subsection.5.2.5}}
\newlabel{IsMinimized}{{5.2.5}{45}{\textcolor {Chapter }{IsMinimized}\relax }{subsection.5.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.6}\leavevmode {\color  {Chapter }AlphabetInvolution}}{45}{subsection.5.2.6}}
\newlabel{AlphabetInvolution}{{5.2.6}{45}{\textcolor {Chapter }{AlphabetInvolution}\relax }{subsection.5.2.6}{}}
\citation{MR1841119}
\citation{MR1774362}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.7}\leavevmode {\color  {Chapter }IsBireversible}}{46}{subsection.5.2.7}}
\newlabel{IsBireversible}{{5.2.7}{46}{\textcolor {Chapter }{IsBireversible}\relax }{subsection.5.2.7}{}}
\@writefile{brf}{\backcite{MR1841119}{{46}{5.2.7}{subsection.5.2.7}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.8}\leavevmode {\color  {Chapter }StateGrowth}}{46}{subsection.5.2.8}}
\newlabel{StateGrowth}{{5.2.8}{46}{\textcolor {Chapter }{StateGrowth}\relax }{subsection.5.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.9}\leavevmode {\color  {Chapter }Degree (FR element)}}{46}{subsection.5.2.9}}
\newlabel{Degree:FR element}{{5.2.9}{46}{\textcolor {Chapter }{Degree (FR element)}\relax }{subsection.5.2.9}{}}
\newlabel{DegreeOfFRMachine}{{5.2.9}{46}{\textcolor {Chapter }{Degree (FR element)}\relax }{subsection.5.2.9}{}}
\newlabel{DegreeOfFRElement}{{5.2.9}{46}{\textcolor {Chapter }{Degree (FR element)}\relax }{subsection.5.2.9}{}}
\@writefile{brf}{\backcite{MR1774362}{{46}{5.2.9}{subsection.5.2.9}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.10}\leavevmode {\color  {Chapter }IsFinitaryFRElement}}{47}{subsection.5.2.10}}
\newlabel{IsFinitaryFRElement}{{5.2.10}{47}{\textcolor {Chapter }{IsFinitaryFRElement}\relax }{subsection.5.2.10}{}}
\newlabel{IsFinitaryFRMachine}{{5.2.10}{47}{\textcolor {Chapter }{IsFinitaryFRElement}\relax }{subsection.5.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.11}\leavevmode {\color  {Chapter }Depth (FR element)}}{47}{subsection.5.2.11}}
\newlabel{Depth:FR element}{{5.2.11}{47}{\textcolor {Chapter }{Depth (FR element)}\relax }{subsection.5.2.11}{}}
\newlabel{DepthOfFRMachine}{{5.2.11}{47}{\textcolor {Chapter }{Depth (FR element)}\relax }{subsection.5.2.11}{}}
\newlabel{DepthOfFRElement}{{5.2.11}{47}{\textcolor {Chapter }{Depth (FR element)}\relax }{subsection.5.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.12}\leavevmode {\color  {Chapter }IsBoundedFRElement}}{47}{subsection.5.2.12}}
\newlabel{IsBoundedFRElement}{{5.2.12}{47}{\textcolor {Chapter }{IsBoundedFRElement}\relax }{subsection.5.2.12}{}}
\newlabel{IsBoundedFRMachine}{{5.2.12}{47}{\textcolor {Chapter }{IsBoundedFRElement}\relax }{subsection.5.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.13}\leavevmode {\color  {Chapter }IsPolynomialGrowthFRElement}}{48}{subsection.5.2.13}}
\newlabel{IsPolynomialGrowthFRElement}{{5.2.13}{48}{\textcolor {Chapter }{IsPolynomialGrowthFRElement}\relax }{subsection.5.2.13}{}}
\newlabel{IsPolynomialGrowthFRMachine}{{5.2.13}{48}{\textcolor {Chapter }{IsPolynomialGrowthFRElement}\relax }{subsection.5.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.14}\leavevmode {\color  {Chapter }Signatures}}{48}{subsection.5.2.14}}
\newlabel{Signatures}{{5.2.14}{48}{\textcolor {Chapter }{Signatures}\relax }{subsection.5.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.15}\leavevmode {\color  {Chapter }VertexTransformationsFRMachine}}{49}{subsection.5.2.15}}
\newlabel{VertexTransformationsFRMachine}{{5.2.15}{49}{\textcolor {Chapter }{VertexTransformationsFRMachine}\relax }{subsection.5.2.15}{}}
\newlabel{VertexTransformationsFRElement}{{5.2.15}{49}{\textcolor {Chapter }{VertexTransformationsFRMachine}\relax }{subsection.5.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.16}\leavevmode {\color  {Chapter }FixedRay (FR element)}}{49}{subsection.5.2.16}}
\newlabel{FixedRay:FR element}{{5.2.16}{49}{\textcolor {Chapter }{FixedRay (FR element)}\relax }{subsection.5.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.17}\leavevmode {\color  {Chapter }IsLevelTransitive (FR element)}}{49}{subsection.5.2.17}}
\newlabel{IsLevelTransitive:FR element}{{5.2.17}{49}{\textcolor {Chapter }{IsLevelTransitive (FR element)}\relax }{subsection.5.2.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.18}\leavevmode {\color  {Chapter }AsMealyMachine (FR machine)}}{50}{subsection.5.2.18}}
\newlabel{AsMealyMachine:FR machine}{{5.2.18}{50}{\textcolor {Chapter }{AsMealyMachine (FR machine)}\relax }{subsection.5.2.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.19}\leavevmode {\color  {Chapter }AsMealyMachine (List)}}{50}{subsection.5.2.19}}
\newlabel{AsMealyMachine:List}{{5.2.19}{50}{\textcolor {Chapter }{AsMealyMachine (List)}\relax }{subsection.5.2.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.20}\leavevmode {\color  {Chapter }AsMealyElement}}{51}{subsection.5.2.20}}
\newlabel{AsMealyElement}{{5.2.20}{51}{\textcolor {Chapter }{AsMealyElement}\relax }{subsection.5.2.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.21}\leavevmode {\color  {Chapter }AsIntMealyMachine}}{51}{subsection.5.2.21}}
\newlabel{AsIntMealyMachine}{{5.2.21}{51}{\textcolor {Chapter }{AsIntMealyMachine}\relax }{subsection.5.2.21}{}}
\newlabel{AsIntMealyElement}{{5.2.21}{51}{\textcolor {Chapter }{AsIntMealyMachine}\relax }{subsection.5.2.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.22}\leavevmode {\color  {Chapter }TopElement}}{52}{subsection.5.2.22}}
\newlabel{TopElement}{{5.2.22}{52}{\textcolor {Chapter }{TopElement}\relax }{subsection.5.2.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.23}\leavevmode {\color  {Chapter }ConfinalityClasses}}{52}{subsection.5.2.23}}
\newlabel{ConfinalityClasses}{{5.2.23}{52}{\textcolor {Chapter }{ConfinalityClasses}\relax }{subsection.5.2.23}{}}
\newlabel{IsWeaklyFinitaryFRElement}{{5.2.23}{52}{\textcolor {Chapter }{ConfinalityClasses}\relax }{subsection.5.2.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.24}\leavevmode {\color  {Chapter }Germs}}{53}{subsection.5.2.24}}
\newlabel{Germs}{{5.2.24}{53}{\textcolor {Chapter }{Germs}\relax }{subsection.5.2.24}{}}
\newlabel{NormOfBoundedFRElement}{{5.2.24}{53}{\textcolor {Chapter }{Germs}\relax }{subsection.5.2.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.25}\leavevmode {\color  {Chapter }HasOpenSetConditionFRElement}}{53}{subsection.5.2.25}}
\newlabel{HasOpenSetConditionFRElement}{{5.2.25}{53}{\textcolor {Chapter }{HasOpenSetConditionFRElement}\relax }{subsection.5.2.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.26}\leavevmode {\color  {Chapter }LimitMachine}}{53}{subsection.5.2.26}}
\newlabel{LimitMachine}{{5.2.26}{53}{\textcolor {Chapter }{LimitMachine}\relax }{subsection.5.2.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.27}\leavevmode {\color  {Chapter }NucleusMachine (FR machine)}}{54}{subsection.5.2.27}}
\newlabel{NucleusMachine:FR machine}{{5.2.27}{54}{\textcolor {Chapter }{NucleusMachine (FR machine)}\relax }{subsection.5.2.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.28}\leavevmode {\color  {Chapter }GuessMealyElement}}{54}{subsection.5.2.28}}
\newlabel{GuessMealyElement}{{5.2.28}{54}{\textcolor {Chapter }{GuessMealyElement}\relax }{subsection.5.2.28}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }Linear machines and elements}}{56}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{vector}{{6}{56}{\textcolor {Chapter }{Linear machines and elements}\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }Methods and operations for \texttt  {LinearFRMachine}s and \texttt  {LinearFRElement}s}}{56}{section.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color  {Chapter }VectorMachine}}{56}{subsection.6.1.1}}
\newlabel{VectorMachine}{{6.1.1}{56}{\textcolor {Chapter }{VectorMachine}\relax }{subsection.6.1.1}{}}
\newlabel{VectorElement}{{6.1.1}{56}{\textcolor {Chapter }{VectorMachine}\relax }{subsection.6.1.1}{}}
\newlabel{VectorMachineNC}{{6.1.1}{56}{\textcolor {Chapter }{VectorMachine}\relax }{subsection.6.1.1}{}}
\newlabel{VectorElementNC}{{6.1.1}{56}{\textcolor {Chapter }{VectorMachine}\relax }{subsection.6.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color  {Chapter }AlgebraMachine}}{57}{subsection.6.1.2}}
\newlabel{AlgebraMachine}{{6.1.2}{57}{\textcolor {Chapter }{AlgebraMachine}\relax }{subsection.6.1.2}{}}
\newlabel{AlgebraElement}{{6.1.2}{57}{\textcolor {Chapter }{AlgebraMachine}\relax }{subsection.6.1.2}{}}
\newlabel{AlgebraMachineNC}{{6.1.2}{57}{\textcolor {Chapter }{AlgebraMachine}\relax }{subsection.6.1.2}{}}
\newlabel{AlgebraElementNC}{{6.1.2}{57}{\textcolor {Chapter }{AlgebraMachine}\relax }{subsection.6.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}\leavevmode {\color  {Chapter }Transition (Linear machine)}}{58}{subsection.6.1.3}}
\newlabel{Transition:Linear machine}{{6.1.3}{58}{\textcolor {Chapter }{Transition (Linear machine)}\relax }{subsection.6.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}\leavevmode {\color  {Chapter }Transitions}}{58}{subsection.6.1.4}}
\newlabel{Transitions}{{6.1.4}{58}{\textcolor {Chapter }{Transitions}\relax }{subsection.6.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.5}\leavevmode {\color  {Chapter }NestedMatrixState}}{59}{subsection.6.1.5}}
\newlabel{NestedMatrixState}{{6.1.5}{59}{\textcolor {Chapter }{NestedMatrixState}\relax }{subsection.6.1.5}{}}
\newlabel{NestedMatrixCoefficient}{{6.1.5}{59}{\textcolor {Chapter }{NestedMatrixState}\relax }{subsection.6.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.6}\leavevmode {\color  {Chapter }ActivitySparse}}{59}{subsection.6.1.6}}
\newlabel{ActivitySparse}{{6.1.6}{59}{\textcolor {Chapter }{ActivitySparse}\relax }{subsection.6.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.7}\leavevmode {\color  {Chapter }Activities}}{60}{subsection.6.1.7}}
\newlabel{Activities}{{6.1.7}{60}{\textcolor {Chapter }{Activities}\relax }{subsection.6.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.8}\leavevmode {\color  {Chapter }IsConvergent}}{60}{subsection.6.1.8}}
\newlabel{IsConvergent}{{6.1.8}{60}{\textcolor {Chapter }{IsConvergent}\relax }{subsection.6.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.9}\leavevmode {\color  {Chapter }TransposedFRElement}}{60}{subsection.6.1.9}}
\newlabel{TransposedFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\newlabel{IsSymmetricFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\newlabel{IsAntisymmetricFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\newlabel{IsLowerTriangularFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\newlabel{IsUpperTriangularFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\newlabel{IsDiagonalFRElement}{{6.1.9}{60}{\textcolor {Chapter }{TransposedFRElement}\relax }{subsection.6.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.10}\leavevmode {\color  {Chapter }LDUDecompositionFRElement}}{61}{subsection.6.1.10}}
\newlabel{LDUDecompositionFRElement}{{6.1.10}{61}{\textcolor {Chapter }{LDUDecompositionFRElement}\relax }{subsection.6.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.11}\leavevmode {\color  {Chapter }GuessVectorElement}}{62}{subsection.6.1.11}}
\newlabel{GuessVectorElement}{{6.1.11}{62}{\textcolor {Chapter }{GuessVectorElement}\relax }{subsection.6.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.12}\leavevmode {\color  {Chapter }AsLinearMachine}}{62}{subsection.6.1.12}}
\newlabel{AsLinearMachine}{{6.1.12}{62}{\textcolor {Chapter }{AsLinearMachine}\relax }{subsection.6.1.12}{}}
\newlabel{AsLinearElement}{{6.1.12}{62}{\textcolor {Chapter }{AsLinearMachine}\relax }{subsection.6.1.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.13}\leavevmode {\color  {Chapter }AsVectorMachine}}{63}{subsection.6.1.13}}
\newlabel{AsVectorMachine}{{6.1.13}{63}{\textcolor {Chapter }{AsVectorMachine}\relax }{subsection.6.1.13}{}}
\newlabel{AsVectorElement}{{6.1.13}{63}{\textcolor {Chapter }{AsVectorMachine}\relax }{subsection.6.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.14}\leavevmode {\color  {Chapter }AsAlgebraMachine}}{63}{subsection.6.1.14}}
\newlabel{AsAlgebraMachine}{{6.1.14}{63}{\textcolor {Chapter }{AsAlgebraMachine}\relax }{subsection.6.1.14}{}}
\newlabel{AsAlgebraElement}{{6.1.14}{63}{\textcolor {Chapter }{AsAlgebraMachine}\relax }{subsection.6.1.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.15}\leavevmode {\color  {Chapter }AsVectorMachine (Linear machine)}}{64}{subsection.6.1.15}}
\newlabel{AsVectorMachine:Linear machine}{{6.1.15}{64}{\textcolor {Chapter }{AsVectorMachine (Linear machine)}\relax }{subsection.6.1.15}{}}
\newlabel{AsVectorElement:Linear machine}{{6.1.15}{64}{\textcolor {Chapter }{AsVectorMachine (Linear machine)}\relax }{subsection.6.1.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.16}\leavevmode {\color  {Chapter }AsAlgebraMachine (Linear machine)}}{64}{subsection.6.1.16}}
\newlabel{AsAlgebraMachine:Linear machine}{{6.1.16}{64}{\textcolor {Chapter }{AsAlgebraMachine (Linear machine)}\relax }{subsection.6.1.16}{}}
\newlabel{AsAlgebraElement:Linear machine}{{6.1.16}{64}{\textcolor {Chapter }{AsAlgebraMachine (Linear machine)}\relax }{subsection.6.1.16}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color  {Chapter }Self-similar groups, monoids and semigroups}}{65}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{group}{{7}{65}{\textcolor {Chapter }{Self-similar groups, monoids and semigroups}\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color  {Chapter }Creators for FR semigroups}}{65}{section.7.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}\leavevmode {\color  {Chapter }FRGroup}}{65}{subsection.7.1.1}}
\newlabel{FRGroup}{{7.1.1}{65}{\textcolor {Chapter }{FRGroup}\relax }{subsection.7.1.1}{}}
\newlabel{FRMonoid}{{7.1.1}{65}{\textcolor {Chapter }{FRGroup}\relax }{subsection.7.1.1}{}}
\newlabel{FRSemigroup}{{7.1.1}{65}{\textcolor {Chapter }{FRGroup}\relax }{subsection.7.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}\leavevmode {\color  {Chapter }SCGroup}}{67}{subsection.7.1.2}}
\newlabel{SCGroup}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\newlabel{SCGroupNC}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\newlabel{SCMonoid}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\newlabel{SCMonoidNC}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\newlabel{SCSemigroup}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\newlabel{SCSemigroupNC}{{7.1.2}{67}{\textcolor {Chapter }{SCGroup}\relax }{subsection.7.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}\leavevmode {\color  {Chapter }Correspondence (FR semigroup)}}{68}{subsection.7.1.3}}
\newlabel{Correspondence:FR semigroup}{{7.1.3}{68}{\textcolor {Chapter }{Correspondence (FR semigroup)}\relax }{subsection.7.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.4}\leavevmode {\color  {Chapter }FullSCGroup}}{68}{subsection.7.1.4}}
\newlabel{FullSCGroup}{{7.1.4}{68}{\textcolor {Chapter }{FullSCGroup}\relax }{subsection.7.1.4}{}}
\newlabel{FullSCMonoid}{{7.1.4}{68}{\textcolor {Chapter }{FullSCGroup}\relax }{subsection.7.1.4}{}}
\newlabel{FullSCSemigroup}{{7.1.4}{68}{\textcolor {Chapter }{FullSCGroup}\relax }{subsection.7.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.5}\leavevmode {\color  {Chapter }FRMachineFRGroup}}{69}{subsection.7.1.5}}
\newlabel{FRMachineFRGroup}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\newlabel{FRMachineFRMonoid}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\newlabel{FRMachineFRSemigroup}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\newlabel{MealyMachineFRGroup}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\newlabel{MealyMachineFRMonoid}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\newlabel{MealyMachineFRSemigroup}{{7.1.5}{69}{\textcolor {Chapter }{FRMachineFRGroup}\relax }{subsection.7.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.6}\leavevmode {\color  {Chapter }IsomorphismFRGroup}}{70}{subsection.7.1.6}}
\newlabel{IsomorphismFRGroup}{{7.1.6}{70}{\textcolor {Chapter }{IsomorphismFRGroup}\relax }{subsection.7.1.6}{}}
\newlabel{IsomorphismFRMonoid}{{7.1.6}{70}{\textcolor {Chapter }{IsomorphismFRGroup}\relax }{subsection.7.1.6}{}}
\newlabel{IsomorphismFRSemigroup}{{7.1.6}{70}{\textcolor {Chapter }{IsomorphismFRGroup}\relax }{subsection.7.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.7}\leavevmode {\color  {Chapter }IsomorphismMealyGroup}}{71}{subsection.7.1.7}}
\newlabel{IsomorphismMealyGroup}{{7.1.7}{71}{\textcolor {Chapter }{IsomorphismMealyGroup}\relax }{subsection.7.1.7}{}}
\newlabel{IsomorphismMealyMonoid}{{7.1.7}{71}{\textcolor {Chapter }{IsomorphismMealyGroup}\relax }{subsection.7.1.7}{}}
\newlabel{IsomorphismMealySemigroup}{{7.1.7}{71}{\textcolor {Chapter }{IsomorphismMealyGroup}\relax }{subsection.7.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.8}\leavevmode {\color  {Chapter }FRGroupByVirtualEndomorphism}}{72}{subsection.7.1.8}}
\newlabel{FRGroupByVirtualEndomorphism}{{7.1.8}{72}{\textcolor {Chapter }{FRGroupByVirtualEndomorphism}\relax }{subsection.7.1.8}{}}
\citation{MR2197828}
\citation{MR1995624}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.9}\leavevmode {\color  {Chapter }TreeWreathProduct (FR group)}}{73}{subsection.7.1.9}}
\newlabel{TreeWreathProduct:FR group}{{7.1.9}{73}{\textcolor {Chapter }{TreeWreathProduct (FR group)}\relax }{subsection.7.1.9}{}}
\@writefile{brf}{\backcite{MR2197828}{{73}{7.1.9}{subsection.7.1.9}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.10}\leavevmode {\color  {Chapter }WeaklyBranchedEmbedding}}{73}{subsection.7.1.10}}
\newlabel{WeaklyBranchedEmbedding}{{7.1.10}{73}{\textcolor {Chapter }{WeaklyBranchedEmbedding}\relax }{subsection.7.1.10}{}}
\@writefile{brf}{\backcite{MR1995624}{{73}{7.1.10}{subsection.7.1.10}}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color  {Chapter }Operations for FR semigroups}}{73}{section.7.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}\leavevmode {\color  {Chapter }PermGroup}}{73}{subsection.7.2.1}}
\newlabel{PermGroup}{{7.2.1}{73}{\textcolor {Chapter }{PermGroup}\relax }{subsection.7.2.1}{}}
\newlabel{EpimorphismPermGroup}{{7.2.1}{73}{\textcolor {Chapter }{PermGroup}\relax }{subsection.7.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}\leavevmode {\color  {Chapter }PcGroup}}{74}{subsection.7.2.2}}
\newlabel{PcGroup}{{7.2.2}{74}{\textcolor {Chapter }{PcGroup}\relax }{subsection.7.2.2}{}}
\newlabel{EpimorphismPcGroup}{{7.2.2}{74}{\textcolor {Chapter }{PcGroup}\relax }{subsection.7.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}\leavevmode {\color  {Chapter }TransMonoid}}{75}{subsection.7.2.3}}
\newlabel{TransMonoid}{{7.2.3}{75}{\textcolor {Chapter }{TransMonoid}\relax }{subsection.7.2.3}{}}
\newlabel{EpimorphismTransnMonoid}{{7.2.3}{75}{\textcolor {Chapter }{TransMonoid}\relax }{subsection.7.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.4}\leavevmode {\color  {Chapter }TransSemigroup}}{75}{subsection.7.2.4}}
\newlabel{TransSemigroup}{{7.2.4}{75}{\textcolor {Chapter }{TransSemigroup}\relax }{subsection.7.2.4}{}}
\newlabel{EpimorphismTransSemigroup}{{7.2.4}{75}{\textcolor {Chapter }{TransSemigroup}\relax }{subsection.7.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.5}\leavevmode {\color  {Chapter }EpimorphismGermGroup}}{76}{subsection.7.2.5}}
\newlabel{EpimorphismGermGroup}{{7.2.5}{76}{\textcolor {Chapter }{EpimorphismGermGroup}\relax }{subsection.7.2.5}{}}
\newlabel{EpimorphismGermGroup:EGG0}{{7.2.5}{76}{\textcolor {Chapter }{EpimorphismGermGroup}\relax }{subsection.7.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.6}\leavevmode {\color  {Chapter }StabilizerImage}}{76}{subsection.7.2.6}}
\newlabel{StabilizerImage}{{7.2.6}{76}{\textcolor {Chapter }{StabilizerImage}\relax }{subsection.7.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.7}\leavevmode {\color  {Chapter }LevelStabilizer}}{77}{subsection.7.2.7}}
\newlabel{LevelStabilizer}{{7.2.7}{77}{\textcolor {Chapter }{LevelStabilizer}\relax }{subsection.7.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.8}\leavevmode {\color  {Chapter }IsStateClosedFRSemigroup}}{77}{subsection.7.2.8}}
\newlabel{IsStateClosedFRSemigroup}{{7.2.8}{77}{\textcolor {Chapter }{IsStateClosedFRSemigroup}\relax }{subsection.7.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.9}\leavevmode {\color  {Chapter }StateClosure}}{77}{subsection.7.2.9}}
\newlabel{StateClosure}{{7.2.9}{77}{\textcolor {Chapter }{StateClosure}\relax }{subsection.7.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.10}\leavevmode {\color  {Chapter }IsRecurrentFRSemigroup}}{78}{subsection.7.2.10}}
\newlabel{IsRecurrentFRSemigroup}{{7.2.10}{78}{\textcolor {Chapter }{IsRecurrentFRSemigroup}\relax }{subsection.7.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.11}\leavevmode {\color  {Chapter }IsLevelTransitive (FR group)}}{78}{subsection.7.2.11}}
\newlabel{IsLevelTransitive:FR group}{{7.2.11}{78}{\textcolor {Chapter }{IsLevelTransitive (FR group)}\relax }{subsection.7.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.12}\leavevmode {\color  {Chapter }IsInfinitelyTransitive}}{78}{subsection.7.2.12}}
\newlabel{IsInfinitelyTransitive}{{7.2.12}{78}{\textcolor {Chapter }{IsInfinitelyTransitive}\relax }{subsection.7.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.13}\leavevmode {\color  {Chapter }IsFinitaryFRSemigroup}}{79}{subsection.7.2.13}}
\newlabel{IsFinitaryFRSemigroup}{{7.2.13}{79}{\textcolor {Chapter }{IsFinitaryFRSemigroup}\relax }{subsection.7.2.13}{}}
\newlabel{IsWeaklyFinitaryFRSemigroup}{{7.2.13}{79}{\textcolor {Chapter }{IsFinitaryFRSemigroup}\relax }{subsection.7.2.13}{}}
\newlabel{IsBoundedFRSemigroup}{{7.2.13}{79}{\textcolor {Chapter }{IsFinitaryFRSemigroup}\relax }{subsection.7.2.13}{}}
\newlabel{IsPolynomialGrowthFRSemigroup}{{7.2.13}{79}{\textcolor {Chapter }{IsFinitaryFRSemigroup}\relax }{subsection.7.2.13}{}}
\newlabel{IsFiniteStateFRSemigroup}{{7.2.13}{79}{\textcolor {Chapter }{IsFinitaryFRSemigroup}\relax }{subsection.7.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.14}\leavevmode {\color  {Chapter }Degree (FR semigroup)}}{79}{subsection.7.2.14}}
\newlabel{Degree:FR semigroup}{{7.2.14}{79}{\textcolor {Chapter }{Degree (FR semigroup)}\relax }{subsection.7.2.14}{}}
\newlabel{DegreeOfFRSemigroup}{{7.2.14}{79}{\textcolor {Chapter }{Degree (FR semigroup)}\relax }{subsection.7.2.14}{}}
\newlabel{Depth:FR semigroup}{{7.2.14}{79}{\textcolor {Chapter }{Degree (FR semigroup)}\relax }{subsection.7.2.14}{}}
\newlabel{DepthOfFRSemigroup}{{7.2.14}{79}{\textcolor {Chapter }{Degree (FR semigroup)}\relax }{subsection.7.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.15}\leavevmode {\color  {Chapter }HasOpenSetConditionFRSemigroup}}{80}{subsection.7.2.15}}
\newlabel{HasOpenSetConditionFRSemigroup}{{7.2.15}{80}{\textcolor {Chapter }{HasOpenSetConditionFRSemigroup}\relax }{subsection.7.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.16}\leavevmode {\color  {Chapter }IsContracting}}{80}{subsection.7.2.16}}
\newlabel{IsContracting}{{7.2.16}{80}{\textcolor {Chapter }{IsContracting}\relax }{subsection.7.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.17}\leavevmode {\color  {Chapter }NucleusOfFRSemigroup}}{80}{subsection.7.2.17}}
\newlabel{NucleusOfFRSemigroup}{{7.2.17}{80}{\textcolor {Chapter }{NucleusOfFRSemigroup}\relax }{subsection.7.2.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.18}\leavevmode {\color  {Chapter }NucleusMachine (FR semigroup)}}{80}{subsection.7.2.18}}
\newlabel{NucleusMachine:FR semigroup}{{7.2.18}{80}{\textcolor {Chapter }{NucleusMachine (FR semigroup)}\relax }{subsection.7.2.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.19}\leavevmode {\color  {Chapter }BranchingSubgroup}}{81}{subsection.7.2.19}}
\newlabel{BranchingSubgroup}{{7.2.19}{81}{\textcolor {Chapter }{BranchingSubgroup}\relax }{subsection.7.2.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.20}\leavevmode {\color  {Chapter }FindBranchingSubgroup}}{81}{subsection.7.2.20}}
\newlabel{FindBranchingSubgroup}{{7.2.20}{81}{\textcolor {Chapter }{FindBranchingSubgroup}\relax }{subsection.7.2.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.21}\leavevmode {\color  {Chapter }IsBranched (FR group)}}{82}{subsection.7.2.21}}
\newlabel{IsBranched:FR group}{{7.2.21}{82}{\textcolor {Chapter }{IsBranched (FR group)}\relax }{subsection.7.2.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.22}\leavevmode {\color  {Chapter }IsBranchingSubgroup (FR semigroup)}}{82}{subsection.7.2.22}}
\newlabel{IsBranchingSubgroup:FR semigroup}{{7.2.22}{82}{\textcolor {Chapter }{IsBranchingSubgroup (FR semigroup)}\relax }{subsection.7.2.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.23}\leavevmode {\color  {Chapter }TopVertexTransformations}}{82}{subsection.7.2.23}}
\newlabel{TopVertexTransformations}{{7.2.23}{82}{\textcolor {Chapter }{TopVertexTransformations}\relax }{subsection.7.2.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.24}\leavevmode {\color  {Chapter }VertexTransformations (FR semigroup)}}{83}{subsection.7.2.24}}
\newlabel{VertexTransformations:FR semigroup}{{7.2.24}{83}{\textcolor {Chapter }{VertexTransformations (FR semigroup)}\relax }{subsection.7.2.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.25}\leavevmode {\color  {Chapter }VirtualEndomorphism}}{83}{subsection.7.2.25}}
\newlabel{VirtualEndomorphism}{{7.2.25}{83}{\textcolor {Chapter }{VirtualEndomorphism}\relax }{subsection.7.2.25}{}}
\citation{MR2009317}
\citation{eick-hartung}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.26}\leavevmode {\color  {Chapter }EpimorphismFromFpGroup}}{84}{subsection.7.2.26}}
\newlabel{EpimorphismFromFpGroup}{{7.2.26}{84}{\textcolor {Chapter }{EpimorphismFromFpGroup}\relax }{subsection.7.2.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.27}\leavevmode {\color  {Chapter }IsomorphismSubgroupFpGroup}}{84}{subsection.7.2.27}}
\newlabel{IsomorphismSubgroupFpGroup}{{7.2.27}{84}{\textcolor {Chapter }{IsomorphismSubgroupFpGroup}\relax }{subsection.7.2.27}{}}
\newlabel{AsSubgroupFpGroup}{{7.2.27}{84}{\textcolor {Chapter }{IsomorphismSubgroupFpGroup}\relax }{subsection.7.2.27}{}}
\newlabel{IsomorphismLpGroup}{{7.2.27}{84}{\textcolor {Chapter }{IsomorphismSubgroupFpGroup}\relax }{subsection.7.2.27}{}}
\newlabel{AsLpGroup}{{7.2.27}{84}{\textcolor {Chapter }{IsomorphismSubgroupFpGroup}\relax }{subsection.7.2.27}{}}
\@writefile{brf}{\backcite{MR2009317}{{84}{7.2.27}{subsection.7.2.27}}}
\@writefile{brf}{\backcite{eick-hartung}{{84}{7.2.27}{subsection.7.2.27}}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}\leavevmode {\color  {Chapter }Properties for infinite groups}}{85}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}\leavevmode {\color  {Chapter }IsTorsionGroup}}{85}{subsection.7.3.1}}
\newlabel{IsTorsionGroup}{{7.3.1}{85}{\textcolor {Chapter }{IsTorsionGroup}\relax }{subsection.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}\leavevmode {\color  {Chapter }IsTorsionFreeGroup}}{85}{subsection.7.3.2}}
\newlabel{IsTorsionFreeGroup}{{7.3.2}{85}{\textcolor {Chapter }{IsTorsionFreeGroup}\relax }{subsection.7.3.2}{}}
\citation{vneumann}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.3}\leavevmode {\color  {Chapter }IsAmenableGroup}}{86}{subsection.7.3.3}}
\newlabel{IsAmenableGroup}{{7.3.3}{86}{\textcolor {Chapter }{IsAmenableGroup}\relax }{subsection.7.3.3}{}}
\@writefile{brf}{\backcite{vneumann}{{86}{7.3.3}{subsection.7.3.3}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.4}\leavevmode {\color  {Chapter }IsVirtuallySimpleGroup}}{86}{subsection.7.3.4}}
\newlabel{IsVirtuallySimpleGroup}{{7.3.4}{86}{\textcolor {Chapter }{IsVirtuallySimpleGroup}\relax }{subsection.7.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.5}\leavevmode {\color  {Chapter }IsResiduallyFinite}}{86}{subsection.7.3.5}}
\newlabel{IsResiduallyFinite}{{7.3.5}{86}{\textcolor {Chapter }{IsResiduallyFinite}\relax }{subsection.7.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.6}\leavevmode {\color  {Chapter }IsSQUniversal}}{86}{subsection.7.3.6}}
\newlabel{IsSQUniversal}{{7.3.6}{86}{\textcolor {Chapter }{IsSQUniversal}\relax }{subsection.7.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.7}\leavevmode {\color  {Chapter }IsJustInfinite}}{86}{subsection.7.3.7}}
\newlabel{IsJustInfinite}{{7.3.7}{86}{\textcolor {Chapter }{IsJustInfinite}\relax }{subsection.7.3.7}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}\leavevmode {\color  {Chapter }Algebras}}{88}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{algebras}{{8}{88}{\textcolor {Chapter }{Algebras}\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}\leavevmode {\color  {Chapter }Creators for FR algebras}}{88}{section.8.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}\leavevmode {\color  {Chapter }FRAlgebra}}{88}{subsection.8.1.1}}
\newlabel{FRAlgebra}{{8.1.1}{88}{\textcolor {Chapter }{FRAlgebra}\relax }{subsection.8.1.1}{}}
\newlabel{FRAlgebraWithOne}{{8.1.1}{88}{\textcolor {Chapter }{FRAlgebra}\relax }{subsection.8.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.2}\leavevmode {\color  {Chapter }SCAlgebra}}{89}{subsection.8.1.2}}
\newlabel{SCAlgebra}{{8.1.2}{89}{\textcolor {Chapter }{SCAlgebra}\relax }{subsection.8.1.2}{}}
\newlabel{SCAlgebraWithOne}{{8.1.2}{89}{\textcolor {Chapter }{SCAlgebra}\relax }{subsection.8.1.2}{}}
\newlabel{SCAlgebraNC}{{8.1.2}{89}{\textcolor {Chapter }{SCAlgebra}\relax }{subsection.8.1.2}{}}
\newlabel{SCAlgebraWithOneNC}{{8.1.2}{89}{\textcolor {Chapter }{SCAlgebra}\relax }{subsection.8.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}\leavevmode {\color  {Chapter }Operations for FR algebras}}{89}{section.8.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}\leavevmode {\color  {Chapter }MatrixQuotient}}{89}{subsection.8.2.1}}
\newlabel{MatrixQuotient}{{8.2.1}{89}{\textcolor {Chapter }{MatrixQuotient}\relax }{subsection.8.2.1}{}}
\newlabel{EpimorphismMatrixQuotient}{{8.2.1}{89}{\textcolor {Chapter }{MatrixQuotient}\relax }{subsection.8.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.2}\leavevmode {\color  {Chapter }ThinnedAlgebra}}{89}{subsection.8.2.2}}
\newlabel{ThinnedAlgebra}{{8.2.2}{89}{\textcolor {Chapter }{ThinnedAlgebra}\relax }{subsection.8.2.2}{}}
\newlabel{ThinnedAlgebraWithOne}{{8.2.2}{89}{\textcolor {Chapter }{ThinnedAlgebra}\relax }{subsection.8.2.2}{}}
\citation{MR2162164}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}\leavevmode {\color  {Chapter }Iterated monodromy groups}}{91}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{img}{{9}{91}{\textcolor {Chapter }{Iterated monodromy groups}\relax }{chapter.9}{}}
\@writefile{brf}{\backcite{MR2162164}{{91}{9}{chapter.9}}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}\leavevmode {\color  {Chapter }Creators and operations for IMG FR machines}}{91}{section.9.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}\leavevmode {\color  {Chapter }IMGFRMachine (FR machine)}}{91}{subsection.9.1.1}}
\newlabel{IMGFRMachine:FR machine}{{9.1.1}{91}{\textcolor {Chapter }{IMGFRMachine (FR machine)}\relax }{subsection.9.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}\leavevmode {\color  {Chapter }IMGRelator}}{91}{subsection.9.1.2}}
\newlabel{IMGRelator}{{9.1.2}{91}{\textcolor {Chapter }{IMGRelator}\relax }{subsection.9.1.2}{}}
\citation{MR762431}
\citation{MR812271}
\citation{MR1149891}
\citation{math.DS/9305207}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}\leavevmode {\color  {Chapter }Mating}}{92}{subsection.9.1.3}}
\newlabel{Mating}{{9.1.3}{92}{\textcolor {Chapter }{Mating}\relax }{subsection.9.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.4}\leavevmode {\color  {Chapter }PolynomialFRMachine}}{92}{subsection.9.1.4}}
\newlabel{PolynomialFRMachine}{{9.1.4}{92}{\textcolor {Chapter }{PolynomialFRMachine}\relax }{subsection.9.1.4}{}}
\newlabel{PolynomialIMGMachine}{{9.1.4}{92}{\textcolor {Chapter }{PolynomialFRMachine}\relax }{subsection.9.1.4}{}}
\newlabel{PolynomialMealyMachine}{{9.1.4}{92}{\textcolor {Chapter }{PolynomialFRMachine}\relax }{subsection.9.1.4}{}}
\@writefile{brf}{\backcite{MR762431}{{92}{9.1.4}{subsection.9.1.4}}}
\@writefile{brf}{\backcite{MR812271}{{92}{9.1.4}{subsection.9.1.4}}}
\@writefile{brf}{\backcite{MR1149891}{{92}{9.1.4}{subsection.9.1.4}}}
\@writefile{brf}{\backcite{math.DS/9305207}{{92}{9.1.4}{subsection.9.1.4}}}
\citation{tan:database}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.5}\leavevmode {\color  {Chapter }DBRationalIMGGroup}}{93}{subsection.9.1.5}}
\newlabel{DBRationalIMGGroup}{{9.1.5}{93}{\textcolor {Chapter }{DBRationalIMGGroup}\relax }{subsection.9.1.5}{}}
\@writefile{brf}{\backcite{tan:database}{{93}{9.1.5}{subsection.9.1.5}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.6}\leavevmode {\color  {Chapter }ValueRational}}{94}{subsection.9.1.6}}
\newlabel{ValueRational}{{9.1.6}{94}{\textcolor {Chapter }{ValueRational}\relax }{subsection.9.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.7}\leavevmode {\color  {Chapter }CriticalValuesQuadraticRational}}{94}{subsection.9.1.7}}
\newlabel{CriticalValuesQuadraticRational}{{9.1.7}{94}{\textcolor {Chapter }{CriticalValuesQuadraticRational}\relax }{subsection.9.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.8}\leavevmode {\color  {Chapter }CanonicalQuadraticRational}}{94}{subsection.9.1.8}}
\newlabel{CanonicalQuadraticRational}{{9.1.8}{94}{\textcolor {Chapter }{CanonicalQuadraticRational}\relax }{subsection.9.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.9}\leavevmode {\color  {Chapter }PostCriticalMachine}}{95}{subsection.9.1.9}}
\newlabel{PostCriticalMachine}{{9.1.9}{95}{\textcolor {Chapter }{PostCriticalMachine}\relax }{subsection.9.1.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color  {Chapter }Spiders}}{95}{section.9.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}\leavevmode {\color  {Chapter }RationalFunction}}{95}{subsection.9.2.1}}
\newlabel{RationalFunction}{{9.2.1}{95}{\textcolor {Chapter }{RationalFunction}\relax }{subsection.9.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.2}\leavevmode {\color  {Chapter }IMGFRMachine (rational function)}}{96}{subsection.9.2.2}}
\newlabel{IMGFRMachine:rational function}{{9.2.2}{96}{\textcolor {Chapter }{IMGFRMachine (rational function)}\relax }{subsection.9.2.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}\leavevmode {\color  {Chapter }Examples}}{97}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{frexamples}{{10}{97}{\textcolor {Chapter }{Examples}\relax }{chapter.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.1}\leavevmode {\color  {Chapter }Examples of groups}}{97}{section.10.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.1}\leavevmode {\color  {Chapter }FullBinaryGroup}}{97}{subsection.10.1.1}}
\newlabel{FullBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\newlabel{FiniteDepthBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\newlabel{FinitaryBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\newlabel{BoundedBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\newlabel{PolynomialGrowthBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\newlabel{FiniteStateBinaryGroup}{{10.1.1}{97}{\textcolor {Chapter }{FullBinaryGroup}\relax }{subsection.10.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.2}\leavevmode {\color  {Chapter }BinaryKneadingGroup}}{97}{subsection.10.1.2}}
\newlabel{BinaryKneadingGroup}{{10.1.2}{97}{\textcolor {Chapter }{BinaryKneadingGroup}\relax }{subsection.10.1.2}{}}
\newlabel{BinaryKneadingMachine}{{10.1.2}{97}{\textcolor {Chapter }{BinaryKneadingGroup}\relax }{subsection.10.1.2}{}}
\citation{MR2176547}
\citation{MR1902367}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.3}\leavevmode {\color  {Chapter }BasilicaGroup}}{98}{subsection.10.1.3}}
\newlabel{BasilicaGroup}{{10.1.3}{98}{\textcolor {Chapter }{BasilicaGroup}\relax }{subsection.10.1.3}{}}
\@writefile{brf}{\backcite{MR2176547}{{98}{10.1.3}{subsection.10.1.3}}}
\@writefile{brf}{\backcite{MR1902367}{{98}{10.1.3}{subsection.10.1.3}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.4}\leavevmode {\color  {Chapter }AddingGroup}}{98}{subsection.10.1.4}}
\newlabel{AddingGroup}{{10.1.4}{98}{\textcolor {Chapter }{AddingGroup}\relax }{subsection.10.1.4}{}}
\newlabel{AddingMachine}{{10.1.4}{98}{\textcolor {Chapter }{AddingGroup}\relax }{subsection.10.1.4}{}}
\newlabel{AddingElement}{{10.1.4}{98}{\textcolor {Chapter }{AddingGroup}\relax }{subsection.10.1.4}{}}
\citation{MR1856923}
\citation{MR2035113}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.5}\leavevmode {\color  {Chapter }BinaryAddingGroup}}{99}{subsection.10.1.5}}
\newlabel{BinaryAddingGroup}{{10.1.5}{99}{\textcolor {Chapter }{BinaryAddingGroup}\relax }{subsection.10.1.5}{}}
\newlabel{BinaryAddingMachine}{{10.1.5}{99}{\textcolor {Chapter }{BinaryAddingGroup}\relax }{subsection.10.1.5}{}}
\newlabel{BinaryAddingElement}{{10.1.5}{99}{\textcolor {Chapter }{BinaryAddingGroup}\relax }{subsection.10.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.6}\leavevmode {\color  {Chapter }MixerGroup}}{99}{subsection.10.1.6}}
\newlabel{MixerGroup}{{10.1.6}{99}{\textcolor {Chapter }{MixerGroup}\relax }{subsection.10.1.6}{}}
\newlabel{MixerMachine}{{10.1.6}{99}{\textcolor {Chapter }{MixerGroup}\relax }{subsection.10.1.6}{}}
\@writefile{brf}{\backcite{MR1856923}{{99}{10.1.6}{subsection.10.1.6}}}
\@writefile{brf}{\backcite{MR2035113}{{99}{10.1.6}{subsection.10.1.6}}}
\citation{MR2318546}
\citation{MR764305}
\citation{MR2144977}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.7}\leavevmode {\color  {Chapter }SunicGroup}}{100}{subsection.10.1.7}}
\newlabel{SunicGroup}{{10.1.7}{100}{\textcolor {Chapter }{SunicGroup}\relax }{subsection.10.1.7}{}}
\newlabel{Sunicmachine}{{10.1.7}{100}{\textcolor {Chapter }{SunicGroup}\relax }{subsection.10.1.7}{}}
\@writefile{brf}{\backcite{MR2318546}{{100}{10.1.7}{subsection.10.1.7}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.8}\leavevmode {\color  {Chapter }GrigorchukMachines}}{100}{subsection.10.1.8}}
\newlabel{GrigorchukMachines}{{10.1.8}{100}{\textcolor {Chapter }{GrigorchukMachines}\relax }{subsection.10.1.8}{}}
\newlabel{GrigorchukGroups}{{10.1.8}{100}{\textcolor {Chapter }{GrigorchukMachines}\relax }{subsection.10.1.8}{}}
\@writefile{brf}{\backcite{MR764305}{{100}{10.1.8}{subsection.10.1.8}}}
\@writefile{brf}{\backcite{MR2144977}{{100}{10.1.8}{subsection.10.1.8}}}
\citation{MR565099}
\citation{MR819415}
\citation{MR1899368}
\citation{MR2009317}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.9}\leavevmode {\color  {Chapter }GrigorchukMachine}}{101}{subsection.10.1.9}}
\newlabel{GrigorchukMachine}{{10.1.9}{101}{\textcolor {Chapter }{GrigorchukMachine}\relax }{subsection.10.1.9}{}}
\newlabel{GrigorchukGroup}{{10.1.9}{101}{\textcolor {Chapter }{GrigorchukMachine}\relax }{subsection.10.1.9}{}}
\@writefile{brf}{\backcite{MR565099}{{101}{10.1.9}{subsection.10.1.9}}}
\@writefile{brf}{\backcite{MR819415}{{101}{10.1.9}{subsection.10.1.9}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.10}\leavevmode {\color  {Chapter }GrigorchukOverGroup}}{101}{subsection.10.1.10}}
\newlabel{GrigorchukOverGroup}{{10.1.10}{101}{\textcolor {Chapter }{GrigorchukOverGroup}\relax }{subsection.10.1.10}{}}
\@writefile{brf}{\backcite{MR1899368}{{101}{10.1.10}{subsection.10.1.10}}}
\@writefile{brf}{\backcite{MR2009317}{{101}{10.1.10}{subsection.10.1.10}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.11}\leavevmode {\color  {Chapter }GrigorchukEvilTwin}}{101}{subsection.10.1.11}}
\newlabel{GrigorchukEvilTwin}{{10.1.11}{101}{\textcolor {Chapter }{GrigorchukEvilTwin}\relax }{subsection.10.1.11}{}}
\citation{MR1656573}
\citation{MR713968}
\citation{vorobets}
\citation{steinberg-vorobets}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.12}\leavevmode {\color  {Chapter }BrunnerSidkiVieiraGroup}}{102}{subsection.10.1.12}}
\newlabel{BrunnerSidkiVieiraGroup}{{10.1.12}{102}{\textcolor {Chapter }{BrunnerSidkiVieiraGroup}\relax }{subsection.10.1.12}{}}
\newlabel{BrunnerSidkiVieiraMachine}{{10.1.12}{102}{\textcolor {Chapter }{BrunnerSidkiVieiraGroup}\relax }{subsection.10.1.12}{}}
\@writefile{brf}{\backcite{MR1656573}{{102}{10.1.12}{subsection.10.1.12}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.13}\leavevmode {\color  {Chapter }AleshinGroups}}{102}{subsection.10.1.13}}
\newlabel{AleshinGroups}{{10.1.13}{102}{\textcolor {Chapter }{AleshinGroups}\relax }{subsection.10.1.13}{}}
\newlabel{AleshinMachines}{{10.1.13}{102}{\textcolor {Chapter }{AleshinGroups}\relax }{subsection.10.1.13}{}}
\@writefile{brf}{\backcite{MR713968}{{102}{10.1.13}{subsection.10.1.13}}}
\@writefile{brf}{\backcite{vorobets}{{102}{10.1.13}{subsection.10.1.13}}}
\@writefile{brf}{\backcite{steinberg-vorobets}{{102}{10.1.13}{subsection.10.1.13}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.14}\leavevmode {\color  {Chapter }AleshinGroup}}{102}{subsection.10.1.14}}
\newlabel{AleshinGroup}{{10.1.14}{102}{\textcolor {Chapter }{AleshinGroup}\relax }{subsection.10.1.14}{}}
\newlabel{AleshinMachine}{{10.1.14}{102}{\textcolor {Chapter }{AleshinGroup}\relax }{subsection.10.1.14}{}}
\citation{MR2162164}
\citation{MR696534}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.15}\leavevmode {\color  {Chapter }BabyAleshinGroup}}{103}{subsection.10.1.15}}
\newlabel{BabyAleshinGroup}{{10.1.15}{103}{\textcolor {Chapter }{BabyAleshinGroup}\relax }{subsection.10.1.15}{}}
\newlabel{BabyAleshinMachine}{{10.1.15}{103}{\textcolor {Chapter }{BabyAleshinGroup}\relax }{subsection.10.1.15}{}}
\@writefile{brf}{\backcite{MR2162164}{{103}{10.1.15}{subsection.10.1.15}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.16}\leavevmode {\color  {Chapter }SidkiFreeGroup}}{103}{subsection.10.1.16}}
\newlabel{SidkiFreeGroup}{{10.1.16}{103}{\textcolor {Chapter }{SidkiFreeGroup}\relax }{subsection.10.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.17}\leavevmode {\color  {Chapter }GuptaSidkiGroups}}{103}{subsection.10.1.17}}
\newlabel{GuptaSidkiGroups}{{10.1.17}{103}{\textcolor {Chapter }{GuptaSidkiGroups}\relax }{subsection.10.1.17}{}}
\newlabel{GeneralizedGuptaSidkiGroups}{{10.1.17}{103}{\textcolor {Chapter }{GuptaSidkiGroups}\relax }{subsection.10.1.17}{}}
\newlabel{GuptaSidkiMachines}{{10.1.17}{103}{\textcolor {Chapter }{GuptaSidkiGroups}\relax }{subsection.10.1.17}{}}
\@writefile{brf}{\backcite{MR696534}{{103}{10.1.17}{subsection.10.1.17}}}
\citation{MR840129}
\citation{MR1981466}
\citation{MR942349}
\citation{MR1153150}
\citation{MR1899368}
\citation{MR1839488}
\citation{MR1839489}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.18}\leavevmode {\color  {Chapter }GuptaSidkiGroup}}{104}{subsection.10.1.18}}
\newlabel{GuptaSidkiGroup}{{10.1.18}{104}{\textcolor {Chapter }{GuptaSidkiGroup}\relax }{subsection.10.1.18}{}}
\newlabel{GuptaSidkiMachine}{{10.1.18}{104}{\textcolor {Chapter }{GuptaSidkiGroup}\relax }{subsection.10.1.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.19}\leavevmode {\color  {Chapter }NeumannGroup}}{104}{subsection.10.1.19}}
\newlabel{NeumannGroup}{{10.1.19}{104}{\textcolor {Chapter }{NeumannGroup}\relax }{subsection.10.1.19}{}}
\newlabel{NeumannMachine}{{10.1.19}{104}{\textcolor {Chapter }{NeumannGroup}\relax }{subsection.10.1.19}{}}
\@writefile{brf}{\backcite{MR840129}{{104}{10.1.19}{subsection.10.1.19}}}
\@writefile{brf}{\backcite{MR1981466}{{104}{10.1.19}{subsection.10.1.19}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.20}\leavevmode {\color  {Chapter }FabrykowskiGuptaGroup}}{104}{subsection.10.1.20}}
\newlabel{FabrykowskiGuptaGroup}{{10.1.20}{104}{\textcolor {Chapter }{FabrykowskiGuptaGroup}\relax }{subsection.10.1.20}{}}
\newlabel{FabrykowskiGuptaGroups}{{10.1.20}{104}{\textcolor {Chapter }{FabrykowskiGuptaGroup}\relax }{subsection.10.1.20}{}}
\@writefile{brf}{\backcite{MR942349}{{104}{10.1.20}{subsection.10.1.20}}}
\@writefile{brf}{\backcite{MR1153150}{{104}{10.1.20}{subsection.10.1.20}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.21}\leavevmode {\color  {Chapter }OtherSpinalGroup}}{104}{subsection.10.1.21}}
\newlabel{OtherSpinalGroup}{{10.1.21}{104}{\textcolor {Chapter }{OtherSpinalGroup}\relax }{subsection.10.1.21}{}}
\@writefile{brf}{\backcite{MR1899368}{{104}{10.1.21}{subsection.10.1.21}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.22}\leavevmode {\color  {Chapter }GammaPQMachine}}{104}{subsection.10.1.22}}
\newlabel{GammaPQMachine}{{10.1.22}{104}{\textcolor {Chapter }{GammaPQMachine}\relax }{subsection.10.1.22}{}}
\newlabel{GammaPQGroup}{{10.1.22}{104}{\textcolor {Chapter }{GammaPQMachine}\relax }{subsection.10.1.22}{}}
\citation{MR2155175}
\citation{MR713968}
\citation{MR2217913}
\citation{MR2140091}
\citation{MR2139928}
\@writefile{brf}{\backcite{MR1839488}{{105}{10.1.22}{subsection.10.1.22}}}
\@writefile{brf}{\backcite{MR1839489}{{105}{10.1.22}{subsection.10.1.22}}}
\@writefile{brf}{\backcite{MR2155175}{{105}{10.1.22}{subsection.10.1.22}}}
\@writefile{brf}{\backcite{MR713968}{{105}{10.1.22}{subsection.10.1.22}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.23}\leavevmode {\color  {Chapter }HanoiGroup}}{105}{subsection.10.1.23}}
\newlabel{HanoiGroup}{{10.1.23}{105}{\textcolor {Chapter }{HanoiGroup}\relax }{subsection.10.1.23}{}}
\@writefile{brf}{\backcite{MR2217913}{{105}{10.1.23}{subsection.10.1.23}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.24}\leavevmode {\color  {Chapter }DahmaniGroup}}{105}{subsection.10.1.24}}
\newlabel{DahmaniGroup}{{10.1.24}{105}{\textcolor {Chapter }{DahmaniGroup}\relax }{subsection.10.1.24}{}}
\@writefile{brf}{\backcite{MR2140091}{{105}{10.1.24}{subsection.10.1.24}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.25}\leavevmode {\color  {Chapter }MamaghaniGroup}}{105}{subsection.10.1.25}}
\newlabel{MamaghaniGroup}{{10.1.25}{105}{\textcolor {Chapter }{MamaghaniGroup}\relax }{subsection.10.1.25}{}}
\@writefile{brf}{\backcite{MR2139928}{{105}{10.1.25}{subsection.10.1.25}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.26}\leavevmode {\color  {Chapter }WeierstrassGroup}}{105}{subsection.10.1.26}}
\newlabel{WeierstrassGroup}{{10.1.26}{105}{\textcolor {Chapter }{WeierstrassGroup}\relax }{subsection.10.1.26}{}}
\citation{MR0142635}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.27}\leavevmode {\color  {Chapter }FRAffineGroup}}{106}{subsection.10.1.27}}
\newlabel{FRAffineGroup}{{10.1.27}{106}{\textcolor {Chapter }{FRAffineGroup}\relax }{subsection.10.1.27}{}}
\@writefile{brf}{\backcite{MR0142635}{{106}{10.1.27}{subsection.10.1.27}}}
\citation{MR2197829}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.28}\leavevmode {\color  {Chapter }CayleyGroup}}{107}{subsection.10.1.28}}
\newlabel{CayleyGroup}{{10.1.28}{107}{\textcolor {Chapter }{CayleyGroup}\relax }{subsection.10.1.28}{}}
\newlabel{CayleyMachine}{{10.1.28}{107}{\textcolor {Chapter }{CayleyGroup}\relax }{subsection.10.1.28}{}}
\newlabel{LamplighterGroup}{{10.1.28}{107}{\textcolor {Chapter }{CayleyGroup}\relax }{subsection.10.1.28}{}}
\@writefile{brf}{\backcite{MR2197829}{{107}{10.1.28}{subsection.10.1.28}}}
\citation{MR2194959}
\citation{bartholdi-reznykov}
\citation{bacher}
\@writefile{toc}{\contentsline {section}{\numberline {10.2}\leavevmode {\color  {Chapter }Examples of semigroups}}{108}{section.10.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.1}\leavevmode {\color  {Chapter }I2Machine}}{108}{subsection.10.2.1}}
\newlabel{I2Machine}{{10.2.1}{108}{\textcolor {Chapter }{I2Machine}\relax }{subsection.10.2.1}{}}
\newlabel{I2Monoid}{{10.2.1}{108}{\textcolor {Chapter }{I2Machine}\relax }{subsection.10.2.1}{}}
\@writefile{brf}{\backcite{MR2194959}{{108}{10.2.1}{subsection.10.2.1}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.2}\leavevmode {\color  {Chapter }I4Machine}}{108}{subsection.10.2.2}}
\newlabel{I4Machine}{{10.2.2}{108}{\textcolor {Chapter }{I4Machine}\relax }{subsection.10.2.2}{}}
\newlabel{I4Monoid}{{10.2.2}{108}{\textcolor {Chapter }{I4Machine}\relax }{subsection.10.2.2}{}}
\@writefile{brf}{\backcite{bartholdi-reznykov}{{108}{10.2.2}{subsection.10.2.2}}}
\@writefile{toc}{\contentsline {section}{\numberline {10.3}\leavevmode {\color  {Chapter }Bacher's determinant identities}}{108}{section.10.3}}
\newlabel{bacher}{{10.3}{108}{\textcolor {Chapter }{Bacher's determinant identities}\relax }{section.10.3}{}}
\@writefile{brf}{\backcite{bacher}{{108}{10.3}{section.10.3}}}
\@writefile{toc}{\contentsline {section}{\numberline {10.4}\leavevmode {\color  {Chapter }VH groups}}{111}{section.10.4}}
\newlabel{vhgroups}{{10.4}{111}{\textcolor {Chapter }{VH groups}\relax }{section.10.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.1}\leavevmode {\color  {Chapter }VHStructure}}{111}{subsection.10.4.1}}
\newlabel{VHStructure}{{10.4.1}{111}{\textcolor {Chapter }{VHStructure}\relax }{subsection.10.4.1}{}}
\newlabel{IsVHGroup}{{10.4.1}{111}{\textcolor {Chapter }{VHStructure}\relax }{subsection.10.4.1}{}}
\citation{MR1446574}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.2}\leavevmode {\color  {Chapter }VerticalAction}}{112}{subsection.10.4.2}}
\newlabel{VerticalAction}{{10.4.2}{112}{\textcolor {Chapter }{VerticalAction}\relax }{subsection.10.4.2}{}}
\newlabel{HorizontalAction}{{10.4.2}{112}{\textcolor {Chapter }{VerticalAction}\relax }{subsection.10.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.3}\leavevmode {\color  {Chapter }VHGroup}}{112}{subsection.10.4.3}}
\newlabel{VHGroup}{{10.4.3}{112}{\textcolor {Chapter }{VHGroup}\relax }{subsection.10.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.4}\leavevmode {\color  {Chapter }IsIrreducibleVHGroup}}{112}{subsection.10.4.4}}
\newlabel{IsIrreducibleVHGroup}{{10.4.4}{112}{\textcolor {Chapter }{IsIrreducibleVHGroup}\relax }{subsection.10.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.5}\leavevmode {\color  {Chapter }MaximalSimpleSubgroup}}{112}{subsection.10.4.5}}
\newlabel{MaximalSimpleSubgroup}{{10.4.5}{112}{\textcolor {Chapter }{MaximalSimpleSubgroup}\relax }{subsection.10.4.5}{}}
\@writefile{brf}{\backcite{MR1446574}{{112}{10.4.5}{subsection.10.4.5}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {11}\leavevmode {\color  {Chapter }FR implementation details}}{114}{chapter.11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {11.1}\leavevmode {\color  {Chapter }The family of FR objects}}{114}{section.11.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.1}\leavevmode {\color  {Chapter }FRMFamily}}{114}{subsection.11.1.1}}
\newlabel{FRMFamily}{{11.1.1}{114}{\textcolor {Chapter }{FRMFamily}\relax }{subsection.11.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.2}\leavevmode {\color  {Chapter }FREFamily}}{114}{subsection.11.1.2}}
\newlabel{FREFamily}{{11.1.2}{114}{\textcolor {Chapter }{FREFamily}\relax }{subsection.11.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.3}\leavevmode {\color  {Chapter }AlphabetOfFRObject}}{114}{subsection.11.1.3}}
\newlabel{AlphabetOfFRObject}{{11.1.3}{114}{\textcolor {Chapter }{AlphabetOfFRObject}\relax }{subsection.11.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.4}\leavevmode {\color  {Chapter }AsPermutation (FR object)}}{115}{subsection.11.1.4}}
\newlabel{AsPermutation:FR object}{{11.1.4}{115}{\textcolor {Chapter }{AsPermutation (FR object)}\relax }{subsection.11.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.5}\leavevmode {\color  {Chapter }AsTransformation (FR object)}}{115}{subsection.11.1.5}}
\newlabel{AsTransformation:FR object}{{11.1.5}{115}{\textcolor {Chapter }{AsTransformation (FR object)}\relax }{subsection.11.1.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.2}\leavevmode {\color  {Chapter }Filters for \texttt  {FRObject}s}}{115}{section.11.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.1}\leavevmode {\color  {Chapter }IsGroupFRMachine}}{115}{subsection.11.2.1}}
\newlabel{IsGroupFRMachine}{{11.2.1}{115}{\textcolor {Chapter }{IsGroupFRMachine}\relax }{subsection.11.2.1}{}}
\newlabel{IsMonoidFRMachine}{{11.2.1}{115}{\textcolor {Chapter }{IsGroupFRMachine}\relax }{subsection.11.2.1}{}}
\newlabel{IsSemigroupFRMachine}{{11.2.1}{115}{\textcolor {Chapter }{IsGroupFRMachine}\relax }{subsection.11.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.2}\leavevmode {\color  {Chapter }IsFRMachineStrRep}}{115}{subsection.11.2.2}}
\newlabel{IsFRMachineStrRep}{{11.2.2}{115}{\textcolor {Chapter }{IsFRMachineStrRep}\relax }{subsection.11.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.3}\leavevmode {\color  {Chapter }IsMealyMachine}}{115}{subsection.11.2.3}}
\newlabel{IsMealyMachine}{{11.2.3}{115}{\textcolor {Chapter }{IsMealyMachine}\relax }{subsection.11.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.4}\leavevmode {\color  {Chapter }IsMealyElement}}{116}{subsection.11.2.4}}
\newlabel{IsMealyElement}{{11.2.4}{116}{\textcolor {Chapter }{IsMealyElement}\relax }{subsection.11.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.5}\leavevmode {\color  {Chapter }IsMealyMachineIntRep}}{116}{subsection.11.2.5}}
\newlabel{IsMealyMachineIntRep}{{11.2.5}{116}{\textcolor {Chapter }{IsMealyMachineIntRep}\relax }{subsection.11.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.6}\leavevmode {\color  {Chapter }IsMealyMachineDomainRep}}{116}{subsection.11.2.6}}
\newlabel{IsMealyMachineDomainRep}{{11.2.6}{116}{\textcolor {Chapter }{IsMealyMachineDomainRep}\relax }{subsection.11.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.7}\leavevmode {\color  {Chapter }IsVectorFRMachineRep}}{116}{subsection.11.2.7}}
\newlabel{IsVectorFRMachineRep}{{11.2.7}{116}{\textcolor {Chapter }{IsVectorFRMachineRep}\relax }{subsection.11.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.8}\leavevmode {\color  {Chapter }IsAlgebraFRMachineRep}}{116}{subsection.11.2.8}}
\newlabel{IsAlgebraFRMachineRep}{{11.2.8}{116}{\textcolor {Chapter }{IsAlgebraFRMachineRep}\relax }{subsection.11.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.9}\leavevmode {\color  {Chapter }IsLinearFRMachine}}{116}{subsection.11.2.9}}
\newlabel{IsLinearFRMachine}{{11.2.9}{116}{\textcolor {Chapter }{IsLinearFRMachine}\relax }{subsection.11.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.10}\leavevmode {\color  {Chapter }IsLinearFRElement}}{117}{subsection.11.2.10}}
\newlabel{IsLinearFRElement}{{11.2.10}{117}{\textcolor {Chapter }{IsLinearFRElement}\relax }{subsection.11.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.11}\leavevmode {\color  {Chapter }IsFRElement}}{117}{subsection.11.2.11}}
\newlabel{IsFRElement}{{11.2.11}{117}{\textcolor {Chapter }{IsFRElement}\relax }{subsection.11.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.12}\leavevmode {\color  {Chapter }IsFRObject}}{117}{subsection.11.2.12}}
\newlabel{IsFRObject}{{11.2.12}{117}{\textcolor {Chapter }{IsFRObject}\relax }{subsection.11.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.13}\leavevmode {\color  {Chapter }IsFRMachine}}{117}{subsection.11.2.13}}
\newlabel{IsFRMachine}{{11.2.13}{117}{\textcolor {Chapter }{IsFRMachine}\relax }{subsection.11.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.14}\leavevmode {\color  {Chapter }IsInvertible}}{117}{subsection.11.2.14}}
\newlabel{IsInvertible}{{11.2.14}{117}{\textcolor {Chapter }{IsInvertible}\relax }{subsection.11.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.15}\leavevmode {\color  {Chapter }IsFRGroup}}{118}{subsection.11.2.15}}
\newlabel{IsFRGroup}{{11.2.15}{118}{\textcolor {Chapter }{IsFRGroup}\relax }{subsection.11.2.15}{}}
\newlabel{IsFRMonoid}{{11.2.15}{118}{\textcolor {Chapter }{IsFRGroup}\relax }{subsection.11.2.15}{}}
\newlabel{IsFRSemigroup}{{11.2.15}{118}{\textcolor {Chapter }{IsFRGroup}\relax }{subsection.11.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.16}\leavevmode {\color  {Chapter }IsFRAlgebra}}{118}{subsection.11.2.16}}
\newlabel{IsFRAlgebra}{{11.2.16}{118}{\textcolor {Chapter }{IsFRAlgebra}\relax }{subsection.11.2.16}{}}
\newlabel{IsFRAlgebraWithOne}{{11.2.16}{118}{\textcolor {Chapter }{IsFRAlgebra}\relax }{subsection.11.2.16}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.3}\leavevmode {\color  {Chapter }Some of the algorithms implemented}}{118}{section.11.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.1}\leavevmode {\color  {Chapter }FRMachineRWS}}{118}{subsection.11.3.1}}
\newlabel{FRMachineRWS}{{11.3.1}{118}{\textcolor {Chapter }{FRMachineRWS}\relax }{subsection.11.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.2}\leavevmode {\color  {Chapter }Order of FR elements}}{118}{subsection.11.3.2}}
\citation{MR1839488}
\citation{MR2009317}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.3}\leavevmode {\color  {Chapter }Membership in semigroups}}{119}{subsection.11.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.4}\leavevmode {\color  {Chapter }Order of groups}}{119}{subsection.11.3.4}}
\@writefile{brf}{\backcite{MR1839488}{{119}{11.3.4}{subsection.11.3.4}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.5}\leavevmode {\color  {Chapter }Images and preimages of some groups in f.p. and l.p. groups}}{119}{subsection.11.3.5}}
\newlabel{preimages}{{11.3.5}{119}{\textcolor {Chapter }{Images and preimages of some groups in f.p. and l.p. groups}\relax }{subsection.11.3.5}{}}
\@writefile{brf}{\backcite{MR2009317}{{119}{11.3.5}{subsection.11.3.5}}}
\citation{bacher}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.6}\leavevmode {\color  {Chapter }Comparison of FR, Mealy, vector, and algebra elements}}{120}{subsection.11.3.6}}
\newlabel{sorting}{{11.3.6}{120}{\textcolor {Chapter }{Comparison of FR, Mealy, vector, and algebra elements}\relax }{subsection.11.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.7}\leavevmode {\color  {Chapter }Inverses of linear elements}}{120}{subsection.11.3.7}}
\@writefile{brf}{\backcite{bacher}{{120}{11.3.7}{subsection.11.3.7}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {12}\leavevmode {\color  {Chapter }Miscellanea}}{122}{chapter.12}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {12.1}\leavevmode {\color  {Chapter }Helpers}}{122}{section.12.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.1}\leavevmode {\color  {Chapter }maybe}}{122}{subsection.12.1.1}}
\newlabel{maybe}{{12.1.1}{122}{\textcolor {Chapter }{maybe}\relax }{subsection.12.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.2}\leavevmode {\color  {Chapter }ReturnMaybe}}{122}{subsection.12.1.2}}
\newlabel{ReturnMaybe}{{12.1.2}{122}{\textcolor {Chapter }{ReturnMaybe}\relax }{subsection.12.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.3}\leavevmode {\color  {Chapter }TensorSum}}{122}{subsection.12.1.3}}
\newlabel{TensorSum}{{12.1.3}{122}{\textcolor {Chapter }{TensorSum}\relax }{subsection.12.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.4}\leavevmode {\color  {Chapter }TensorProductX}}{122}{subsection.12.1.4}}
\newlabel{TensorProductX}{{12.1.4}{122}{\textcolor {Chapter }{TensorProductX}\relax }{subsection.12.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.5}\leavevmode {\color  {Chapter }DirectSum}}{122}{subsection.12.1.5}}
\newlabel{DirectSum}{{12.1.5}{122}{\textcolor {Chapter }{DirectSum}\relax }{subsection.12.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.6}\leavevmode {\color  {Chapter }PeriodicList}}{123}{subsection.12.1.6}}
\newlabel{PeriodicList}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{PeriodicList:period, looping point}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{PeriodicList:list, function}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{CompressedPeriodicList}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{CompressedPeriodicList:period, looping point}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{PrePeriod}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\newlabel{Period}{{12.1.6}{123}{\textcolor {Chapter }{PeriodicList}\relax }{subsection.12.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.7}\leavevmode {\color  {Chapter }CompressPeriodicList}}{123}{subsection.12.1.7}}
\newlabel{CompressPeriodicList}{{12.1.7}{123}{\textcolor {Chapter }{CompressPeriodicList}\relax }{subsection.12.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.8}\leavevmode {\color  {Chapter }IsConfinal}}{124}{subsection.12.1.8}}
\newlabel{IsConfinal}{{12.1.8}{124}{\textcolor {Chapter }{IsConfinal}\relax }{subsection.12.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.9}\leavevmode {\color  {Chapter }ConfinalityClass}}{124}{subsection.12.1.9}}
\newlabel{ConfinalityClass}{{12.1.9}{124}{\textcolor {Chapter }{ConfinalityClass}\relax }{subsection.12.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.10}\leavevmode {\color  {Chapter }LargestCommonPrefix}}{124}{subsection.12.1.10}}
\newlabel{LargestCommonPrefix}{{12.1.10}{124}{\textcolor {Chapter }{LargestCommonPrefix}\relax }{subsection.12.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.11}\leavevmode {\color  {Chapter }WordGrowth}}{124}{subsection.12.1.11}}
\newlabel{WordGrowth}{{12.1.11}{124}{\textcolor {Chapter }{WordGrowth}\relax }{subsection.12.1.11}{}}
\newlabel{OrbitGrowth}{{12.1.11}{124}{\textcolor {Chapter }{WordGrowth}\relax }{subsection.12.1.11}{}}
\newlabel{Ball}{{12.1.11}{124}{\textcolor {Chapter }{WordGrowth}\relax }{subsection.12.1.11}{}}
\newlabel{Sphere}{{12.1.11}{124}{\textcolor {Chapter }{WordGrowth}\relax }{subsection.12.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.12}\leavevmode {\color  {Chapter }ShortGroupRelations}}{126}{subsection.12.1.12}}
\newlabel{ShortGroupRelations}{{12.1.12}{126}{\textcolor {Chapter }{ShortGroupRelations}\relax }{subsection.12.1.12}{}}
\newlabel{ShortMonoidRelations}{{12.1.12}{126}{\textcolor {Chapter }{ShortGroupRelations}\relax }{subsection.12.1.12}{}}
\citation{MR2043362}
\citation{MR1314589}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.13}\leavevmode {\color  {Chapter }ShortGroupWordInSet}}{127}{subsection.12.1.13}}
\newlabel{ShortGroupWordInSet}{{12.1.13}{127}{\textcolor {Chapter }{ShortGroupWordInSet}\relax }{subsection.12.1.13}{}}
\newlabel{ShortMonoidWordInSet}{{12.1.13}{127}{\textcolor {Chapter }{ShortGroupWordInSet}\relax }{subsection.12.1.13}{}}
\newlabel{ShortSemigroupWordInSet}{{12.1.13}{127}{\textcolor {Chapter }{ShortGroupWordInSet}\relax }{subsection.12.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.14}\leavevmode {\color  {Chapter }SurfaceBraidFpGroup}}{127}{subsection.12.1.14}}
\newlabel{SurfaceBraidFpGroup}{{12.1.14}{127}{\textcolor {Chapter }{SurfaceBraidFpGroup}\relax }{subsection.12.1.14}{}}
\newlabel{PureSurfaceBraidFpGroup}{{12.1.14}{127}{\textcolor {Chapter }{SurfaceBraidFpGroup}\relax }{subsection.12.1.14}{}}
\@writefile{brf}{\backcite{MR2043362}{{127}{12.1.14}{subsection.12.1.14}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.15}\leavevmode {\color  {Chapter }CharneyBraidFpGroup}}{127}{subsection.12.1.15}}
\newlabel{CharneyBraidFpGroup}{{12.1.15}{127}{\textcolor {Chapter }{CharneyBraidFpGroup}\relax }{subsection.12.1.15}{}}
\@writefile{brf}{\backcite{MR1314589}{{128}{12.1.15}{subsection.12.1.15}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.16}\leavevmode {\color  {Chapter }ArtinRepresentation}}{128}{subsection.12.1.16}}
\newlabel{ArtinRepresentation}{{12.1.16}{128}{\textcolor {Chapter }{ArtinRepresentation}\relax }{subsection.12.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.17}\leavevmode {\color  {Chapter }StringByInt}}{128}{subsection.12.1.17}}
\newlabel{StringByInt}{{12.1.17}{128}{\textcolor {Chapter }{StringByInt}\relax }{subsection.12.1.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.18}\leavevmode {\color  {Chapter }PositionTower}}{128}{subsection.12.1.18}}
\newlabel{PositionTower}{{12.1.18}{128}{\textcolor {Chapter }{PositionTower}\relax }{subsection.12.1.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.19}\leavevmode {\color  {Chapter }CoefficientsInAbelianExtension}}{128}{subsection.12.1.19}}
\newlabel{CoefficientsInAbelianExtension}{{12.1.19}{128}{\textcolor {Chapter }{CoefficientsInAbelianExtension}\relax }{subsection.12.1.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.20}\leavevmode {\color  {Chapter }MagmaEndomorphismByImagesNC}}{128}{subsection.12.1.20}}
\newlabel{MagmaEndomorphismByImagesNC}{{12.1.20}{128}{\textcolor {Chapter }{MagmaEndomorphismByImagesNC}\relax }{subsection.12.1.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.21}\leavevmode {\color  {Chapter }MagmaHomomorphismByImagesNC}}{128}{subsection.12.1.21}}
\newlabel{MagmaHomomorphismByImagesNC}{{12.1.21}{128}{\textcolor {Chapter }{MagmaHomomorphismByImagesNC}\relax }{subsection.12.1.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.22}\leavevmode {\color  {Chapter }NewFIFO}}{129}{subsection.12.1.22}}
\newlabel{NewFIFO}{{12.1.22}{129}{\textcolor {Chapter }{NewFIFO}\relax }{subsection.12.1.22}{}}
\newlabel{Add:FIFO}{{12.1.22}{129}{\textcolor {Chapter }{NewFIFO}\relax }{subsection.12.1.22}{}}
\newlabel{Append:FIFO}{{12.1.22}{129}{\textcolor {Chapter }{NewFIFO}\relax }{subsection.12.1.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.23}\leavevmode {\color  {Chapter }ProductIdeal}}{129}{subsection.12.1.23}}
\newlabel{ProductIdeal}{{12.1.23}{129}{\textcolor {Chapter }{ProductIdeal}\relax }{subsection.12.1.23}{}}
\newlabel{ProductBOIIdeal}{{12.1.23}{129}{\textcolor {Chapter }{ProductIdeal}\relax }{subsection.12.1.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.24}\leavevmode {\color  {Chapter }DimensionSeries}}{129}{subsection.12.1.24}}
\newlabel{DimensionSeries}{{12.1.24}{129}{\textcolor {Chapter }{DimensionSeries}\relax }{subsection.12.1.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.25}\leavevmode {\color  {Chapter }Trans}}{130}{subsection.12.1.25}}
\newlabel{Trans}{{12.1.25}{130}{\textcolor {Chapter }{Trans}\relax }{subsection.12.1.25}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.2}\leavevmode {\color  {Chapter }User settings}}{130}{section.12.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.2.1}\leavevmode {\color  {Chapter }InfoFR}}{130}{subsection.12.2.1}}
\newlabel{InfoFR}{{12.2.1}{130}{\textcolor {Chapter }{InfoFR}\relax }{subsection.12.2.1}{}}
\bibstyle{alpha}
\bibdata{frbib.xml}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.2.2}\leavevmode {\color  {Chapter }FR{\textunderscore }SEARCH}}{131}{subsection.12.2.2}}
\newlabel{FRSEARCH}{{12.2.2}{131}{\textcolor {Chapter }{FR{\textunderscore }SEARCH}\relax }{subsection.12.2.2}{}}
\bibcite{MR713968}{Ale83}
\bibcite{bacher}{Bac07}
\bibcite{MR2009317}{Bar03a}
\bibcite{MR1981466}{Bar03b}
\bibcite{MR2043362}{Bel04}
\bibcite{MR1149891}{BFH92}
\bibcite{MR1899368}{BG02}
\bibcite{MR2091700}{BGN03}
\bibcite{MR2035113}{BG{\v S}03}
\bibcite{MR1446574}{BM97}
\bibcite{MR1839488}{BM00a}
\bibcite{MR1839489}{BM00b}
\bibcite{bartholdi-reznykov}{BR05}
\bibcite{MR2194959}{BRS06}
\bibcite{MR0142635}{BS62}
\bibcite{MR1856923}{B{\v S}01}
\bibcite{MR1656573}{BSV99}
\bibcite{MR2176547}{BV05}
\bibcite{MR1314589}{Cha95}
\bibcite{MR2140091}{Dah05}
\bibcite{MR762431}{DH84}
\bibcite{MR812271}{DH85}
\bibcite{eick-hartung}{EH07}
\bibcite{MR2144977}{Ers04}
\bibcite{MR942349}{FG85}
\bibcite{MR1153150}{FG91}
\bibcite{MR2155175}{GM05}
\bibcite{MR565099}{Gri80}
\bibcite{MR764305}{Gri84}
\bibcite{MR696534}{GS83}
\bibcite{MR2217913}{G{\v S}06}
\bibcite{MR1902367}{G{\.Z}02}
\bibcite{MR819415}{Lys85}
\bibcite{MR2139928}{Mam03}
\bibcite{MR1841119}{MNS00}
\bibcite{MR2162164}{Nek05}
\bibcite{MR840129}{Neu86}
\bibcite{math.DS/9305207}{Poi}
\bibcite{MR1774362}{Sid00}
\bibcite{MR2197828}{Sid05}
\bibcite{MR2197829}{SS05}
\bibcite{MR2318546}{{\v S}un07}
\bibcite{steinberg-vorobets}{SVV06}
\bibcite{MR1995624}{SW03}
\bibcite{tan:database}{Tan02}
\bibcite{vneumann}{vN29}
\bibcite{vorobets}{VV06}
