\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 }Introduction}}{7}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{7}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}\leavevmode {\color  {Chapter }Motivation for this package}}{7}{section.1.1}}
\newlabel{philosophy}{{1.1}{7}{\textcolor {Chapter }{Motivation for this package}\relax }{section.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}\leavevmode {\color  {Chapter }Overview over this manual}}{7}{section.1.2}}
\newlabel{overview}{{1.2}{7}{\textcolor {Chapter }{Overview over this manual}\relax }{section.1.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Installation of the \textsf  {orb}-Package}}{8}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{install}{{2}{8}{\textcolor {Chapter }{Installation of the \textsf {orb}-Package}\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Static linking}}{8}{section.2.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Recompiling the documentation}}{9}{section.2.2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Basic orbit enumeration}}{10}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{basic}{{3}{10}{\textcolor {Chapter }{Basic orbit enumeration}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Enumerating orbits}}{10}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }Orb}}{10}{subsection.3.1.1}}
\newlabel{Orb}{{3.1.1}{10}{\textcolor {Chapter }{Orb}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color  {Chapter }Enumerate}}{11}{subsection.3.1.2}}
\newlabel{Enumerate}{{3.1.2}{11}{\textcolor {Chapter }{Enumerate}\relax }{subsection.3.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color  {Chapter }IsClosed}}{11}{subsection.3.1.3}}
\newlabel{IsClosed}{{3.1.3}{11}{\textcolor {Chapter }{IsClosed}\relax }{subsection.3.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}\leavevmode {\color  {Chapter }Options for orbits}}{12}{subsection.3.1.4}}
\newlabel{orboptions}{{3.1.4}{12}{\textcolor {Chapter }{Options for orbits}\relax }{subsection.3.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.5}\leavevmode {\color  {Chapter }Output components of orbits}}{15}{subsection.3.1.5}}
\newlabel{orboutputs}{{3.1.5}{15}{\textcolor {Chapter }{Output components of orbits}\relax }{subsection.3.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.6}\leavevmode {\color  {Chapter }StabWords (basic)}}{16}{subsection.3.1.6}}
\newlabel{StabWords:basic}{{3.1.6}{16}{\textcolor {Chapter }{StabWords (basic)}\relax }{subsection.3.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.7}\leavevmode {\color  {Chapter }PositionOfFound}}{16}{subsection.3.1.7}}
\newlabel{PositionOfFound}{{3.1.7}{16}{\textcolor {Chapter }{PositionOfFound}\relax }{subsection.3.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.8}\leavevmode {\color  {Chapter }DepthOfSchreierTree}}{16}{subsection.3.1.8}}
\newlabel{DepthOfSchreierTree}{{3.1.8}{16}{\textcolor {Chapter }{DepthOfSchreierTree}\relax }{subsection.3.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.9}\leavevmode {\color  {Chapter }ActionOnOrbit}}{16}{subsection.3.1.9}}
\newlabel{ActionOnOrbit}{{3.1.9}{16}{\textcolor {Chapter }{ActionOnOrbit}\relax }{subsection.3.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.10}\leavevmode {\color  {Chapter }OrbActionHomomorphism}}{16}{subsection.3.1.10}}
\newlabel{OrbActionHomomorphism}{{3.1.10}{16}{\textcolor {Chapter }{OrbActionHomomorphism}\relax }{subsection.3.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.11}\leavevmode {\color  {Chapter }TraceSchreierTreeForward}}{16}{subsection.3.1.11}}
\newlabel{TraceSchreierTreeForward}{{3.1.11}{16}{\textcolor {Chapter }{TraceSchreierTreeForward}\relax }{subsection.3.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.12}\leavevmode {\color  {Chapter }TraceSchreierTreeBack}}{17}{subsection.3.1.12}}
\newlabel{TraceSchreierTreeBack}{{3.1.12}{17}{\textcolor {Chapter }{TraceSchreierTreeBack}\relax }{subsection.3.1.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.13}\leavevmode {\color  {Chapter }ActWithWord}}{17}{subsection.3.1.13}}
\newlabel{ActWithWord}{{3.1.13}{17}{\textcolor {Chapter }{ActWithWord}\relax }{subsection.3.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.14}\leavevmode {\color  {Chapter }EvaluateWord}}{17}{subsection.3.1.14}}
\newlabel{EvaluateWord}{{3.1.14}{17}{\textcolor {Chapter }{EvaluateWord}\relax }{subsection.3.1.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.15}\leavevmode {\color  {Chapter }AddGeneratorsToOrbit}}{17}{subsection.3.1.15}}
\newlabel{AddGeneratorsToOrbit}{{3.1.15}{17}{\textcolor {Chapter }{AddGeneratorsToOrbit}\relax }{subsection.3.1.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.16}\leavevmode {\color  {Chapter }MakeSchreierTreeShallow}}{18}{subsection.3.1.16}}
\newlabel{MakeSchreierTreeShallow}{{3.1.16}{18}{\textcolor {Chapter }{MakeSchreierTreeShallow}\relax }{subsection.3.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.17}\leavevmode {\color  {Chapter }FindSuborbits}}{18}{subsection.3.1.17}}
\newlabel{FindSuborbits}{{3.1.17}{18}{\textcolor {Chapter }{FindSuborbits}\relax }{subsection.3.1.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.18}\leavevmode {\color  {Chapter }OrbitIntersectionMatrix}}{18}{subsection.3.1.18}}
\newlabel{OrbitIntersectionMatrix}{{3.1.18}{18}{\textcolor {Chapter }{OrbitIntersectionMatrix}\relax }{subsection.3.1.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.19}\leavevmode {\color  {Chapter }ORB{\textunderscore }EstimateOrbitSize}}{18}{subsection.3.1.19}}
\newlabel{ORBEstimateOrbitSize}{{3.1.19}{18}{\textcolor {Chapter }{ORB{\textunderscore }EstimateOrbitSize}\relax }{subsection.3.1.19}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Hashing techniques}}{20}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{hash}{{4}{20}{\textcolor {Chapter }{Hashing techniques}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }The idea of hashing}}{20}{section.4.1}}
\newlabel{hashidea}{{4.1}{20}{\textcolor {Chapter }{The idea of hashing}\relax }{section.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Hash functions}}{20}{section.4.2}}
\newlabel{hashfunc}{{4.2}{20}{\textcolor {Chapter }{Hash functions}\relax }{section.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }ChooseHashFunction}}{20}{subsection.4.2.1}}
\newlabel{ChooseHashFunction}{{4.2.1}{20}{\textcolor {Chapter }{ChooseHashFunction}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }ChooseHashFunction (gf2vec)}}{21}{subsection.4.2.2}}
\newlabel{ChooseHashFunction:gf2vec}{{4.2.2}{21}{\textcolor {Chapter }{ChooseHashFunction (gf2vec)}\relax }{subsection.4.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter }ChooseHashFunction (8bitvec)}}{21}{subsection.4.2.3}}
\newlabel{ChooseHashFunction:8bitvec}{{4.2.3}{21}{\textcolor {Chapter }{ChooseHashFunction (8bitvec)}\relax }{subsection.4.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color  {Chapter }ChooseHashFunction (gf2mat)}}{21}{subsection.4.2.4}}
\newlabel{ChooseHashFunction:gf2mat}{{4.2.4}{21}{\textcolor {Chapter }{ChooseHashFunction (gf2mat)}\relax }{subsection.4.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.5}\leavevmode {\color  {Chapter }ChooseHashFunction (8bitmat)}}{21}{subsection.4.2.5}}
\newlabel{ChooseHashFunction:8bitmat}{{4.2.5}{21}{\textcolor {Chapter }{ChooseHashFunction (8bitmat)}\relax }{subsection.4.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.6}\leavevmode {\color  {Chapter }ChooseHashFunction (int)}}{22}{subsection.4.2.6}}
\newlabel{ChooseHashFunction:int}{{4.2.6}{22}{\textcolor {Chapter }{ChooseHashFunction (int)}\relax }{subsection.4.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.7}\leavevmode {\color  {Chapter }ChooseHashFunction (perm)}}{22}{subsection.4.2.7}}
\newlabel{ChooseHashFunction:perm}{{4.2.7}{22}{\textcolor {Chapter }{ChooseHashFunction (perm)}\relax }{subsection.4.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.8}\leavevmode {\color  {Chapter }ChooseHashFunction (intlist)}}{22}{subsection.4.2.8}}
\newlabel{ChooseHashFunction:intlist}{{4.2.8}{22}{\textcolor {Chapter }{ChooseHashFunction (intlist)}\relax }{subsection.4.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.9}\leavevmode {\color  {Chapter }ChooseHashFunction (NBitsPcWord)}}{22}{subsection.4.2.9}}
\newlabel{ChooseHashFunction:NBitsPcWord}{{4.2.9}{22}{\textcolor {Chapter }{ChooseHashFunction (NBitsPcWord)}\relax }{subsection.4.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.10}\leavevmode {\color  {Chapter }ChooseHashFunction (IntLists)}}{22}{subsection.4.2.10}}
\newlabel{ChooseHashFunction:IntLists}{{4.2.10}{22}{\textcolor {Chapter }{ChooseHashFunction (IntLists)}\relax }{subsection.4.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.11}\leavevmode {\color  {Chapter }ChooseHashFunction (MatLists)}}{22}{subsection.4.2.11}}
\newlabel{ChooseHashFunction:MatLists}{{4.2.11}{22}{\textcolor {Chapter }{ChooseHashFunction (MatLists)}\relax }{subsection.4.2.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Using hash tables}}{22}{section.4.3}}
\newlabel{hashtables}{{4.3}{22}{\textcolor {Chapter }{Using hash tables}\relax }{section.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }HTCreate}}{22}{subsection.4.3.1}}
\newlabel{HTCreate}{{4.3.1}{22}{\textcolor {Chapter }{HTCreate}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }HTAdd}}{23}{subsection.4.3.2}}
\newlabel{HTAdd}{{4.3.2}{23}{\textcolor {Chapter }{HTAdd}\relax }{subsection.4.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color  {Chapter }HTValue}}{24}{subsection.4.3.3}}
\newlabel{HTValue}{{4.3.3}{24}{\textcolor {Chapter }{HTValue}\relax }{subsection.4.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color  {Chapter }HTUpdate}}{24}{subsection.4.3.4}}
\newlabel{HTUpdate}{{4.3.4}{24}{\textcolor {Chapter }{HTUpdate}\relax }{subsection.4.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color  {Chapter }HTDelete}}{24}{subsection.4.3.5}}
\newlabel{HTDelete}{{4.3.5}{24}{\textcolor {Chapter }{HTDelete}\relax }{subsection.4.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.6}\leavevmode {\color  {Chapter }HTGrow}}{24}{subsection.4.3.6}}
\newlabel{HTGrow}{{4.3.6}{24}{\textcolor {Chapter }{HTGrow}\relax }{subsection.4.3.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Using hash tables (legacy code)}}{25}{section.4.4}}
\newlabel{oldhashtables}{{4.4}{25}{\textcolor {Chapter }{Using hash tables (legacy code)}\relax }{section.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }NewHT}}{25}{subsection.4.4.1}}
\newlabel{NewHT}{{4.4.1}{25}{\textcolor {Chapter }{NewHT}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color  {Chapter }AddHT}}{25}{subsection.4.4.2}}
\newlabel{AddHT}{{4.4.2}{25}{\textcolor {Chapter }{AddHT}\relax }{subsection.4.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}\leavevmode {\color  {Chapter }ValueHT}}{25}{subsection.4.4.3}}
\newlabel{ValueHT}{{4.4.3}{25}{\textcolor {Chapter }{ValueHT}\relax }{subsection.4.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}\leavevmode {\color  {Chapter }InitHT}}{25}{subsection.4.4.4}}
\newlabel{InitHT}{{4.4.4}{25}{\textcolor {Chapter }{InitHT}\relax }{subsection.4.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.5}\leavevmode {\color  {Chapter }GrowHT}}{26}{subsection.4.4.5}}
\newlabel{GrowHT}{{4.4.5}{26}{\textcolor {Chapter }{GrowHT}\relax }{subsection.4.4.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color  {Chapter } The data structures for hash tables }}{26}{section.4.5}}
\newlabel{hashdata}{{4.5}{26}{\textcolor {Chapter }{ The data structures for hash tables }\relax }{section.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}\leavevmode {\color  {Chapter } Memory requirements }}{27}{subsection.4.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.2}\leavevmode {\color  {Chapter } Handling of collisions }}{27}{subsection.4.5.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.3}\leavevmode {\color  {Chapter } Efficiency }}{27}{subsection.4.5.3}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Caching techniques}}{28}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{cache}{{5}{28}{\textcolor {Chapter }{Caching techniques}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }The idea of caching}}{28}{section.5.1}}
\newlabel{cacheidea}{{5.1}{28}{\textcolor {Chapter }{The idea of caching}\relax }{section.5.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Using caches}}{28}{section.5.2}}
\newlabel{cacheusage}{{5.2}{28}{\textcolor {Chapter }{Using caches}\relax }{section.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }LinkedListCache}}{28}{subsection.5.2.1}}
\newlabel{LinkedListCache}{{5.2.1}{28}{\textcolor {Chapter }{LinkedListCache}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }CacheObject}}{28}{subsection.5.2.2}}
\newlabel{CacheObject}{{5.2.2}{28}{\textcolor {Chapter }{CacheObject}\relax }{subsection.5.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter }ClearCache}}{29}{subsection.5.2.3}}
\newlabel{ClearCache}{{5.2.3}{29}{\textcolor {Chapter }{ClearCache}\relax }{subsection.5.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color  {Chapter }UseCacheObject}}{29}{subsection.5.2.4}}
\newlabel{UseCacheObject}{{5.2.4}{29}{\textcolor {Chapter }{UseCacheObject}\relax }{subsection.5.2.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }Random elements}}{30}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{random}{{6}{30}{\textcolor {Chapter }{Random elements}\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }Randomizing mutable objects}}{30}{section.6.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color  {Chapter }Randomize}}{30}{subsection.6.1.1}}
\newlabel{Randomize}{{6.1.1}{30}{\textcolor {Chapter }{Randomize}\relax }{subsection.6.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color  {Chapter }MakeRandomVectors}}{30}{subsection.6.1.2}}
\newlabel{MakeRandomVectors}{{6.1.2}{30}{\textcolor {Chapter }{MakeRandomVectors}\relax }{subsection.6.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}\leavevmode {\color  {Chapter }MakeRandomLines}}{30}{subsection.6.1.3}}
\newlabel{MakeRandomLines}{{6.1.3}{30}{\textcolor {Chapter }{MakeRandomLines}\relax }{subsection.6.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}\leavevmode {\color  {Chapter }Product replacement}}{31}{section.6.2}}
\newlabel{prodrepl}{{6.2}{31}{\textcolor {Chapter }{Product replacement}\relax }{section.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}\leavevmode {\color  {Chapter }ProductReplacer}}{31}{subsection.6.2.1}}
\newlabel{ProductReplacer}{{6.2.1}{31}{\textcolor {Chapter }{ProductReplacer}\relax }{subsection.6.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}\leavevmode {\color  {Chapter }Next}}{32}{subsection.6.2.2}}
\newlabel{Next}{{6.2.2}{32}{\textcolor {Chapter }{Next}\relax }{subsection.6.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}\leavevmode {\color  {Chapter }Reset}}{32}{subsection.6.2.3}}
\newlabel{Reset}{{6.2.3}{32}{\textcolor {Chapter }{Reset}\relax }{subsection.6.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.4}\leavevmode {\color  {Chapter }AddGeneratorToProductReplacer}}{33}{subsection.6.2.4}}
\newlabel{AddGeneratorToProductReplacer}{{6.2.4}{33}{\textcolor {Chapter }{AddGeneratorToProductReplacer}\relax }{subsection.6.2.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color  {Chapter }Searching in groups and orbits}}{34}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{search}{{7}{34}{\textcolor {Chapter }{Searching in groups and orbits}\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color  {Chapter }Searching using orbit enumeration}}{34}{section.7.1}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color  {Chapter }Random searches in groups}}{35}{section.7.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}\leavevmode {\color  {Chapter }RandomSearcher}}{35}{subsection.7.2.1}}
\newlabel{RandomSearcher}{{7.2.1}{35}{\textcolor {Chapter }{RandomSearcher}\relax }{subsection.7.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}\leavevmode {\color  {Chapter }Search}}{35}{subsection.7.2.2}}
\newlabel{Search}{{7.2.2}{35}{\textcolor {Chapter }{Search}\relax }{subsection.7.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}\leavevmode {\color  {Chapter }The dihedral trick and applications}}{36}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}\leavevmode {\color  {Chapter }FindInvolution}}{36}{subsection.7.3.1}}
\newlabel{FindInvolution}{{7.3.1}{36}{\textcolor {Chapter }{FindInvolution}\relax }{subsection.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}\leavevmode {\color  {Chapter }FindCentralisingElementOfInvolution}}{36}{subsection.7.3.2}}
\newlabel{FindCentralisingElementOfInvolution}{{7.3.2}{36}{\textcolor {Chapter }{FindCentralisingElementOfInvolution}\relax }{subsection.7.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.3}\leavevmode {\color  {Chapter }FindInvolutionCentralizer}}{36}{subsection.7.3.3}}
\newlabel{FindInvolutionCentralizer}{{7.3.3}{36}{\textcolor {Chapter }{FindInvolutionCentralizer}\relax }{subsection.7.3.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}\leavevmode {\color  {Chapter }Orbit statistics on vector spaces}}{36}{section.7.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.1}\leavevmode {\color  {Chapter }OrbitStatisticOnVectorSpace}}{36}{subsection.7.4.1}}
\newlabel{OrbitStatisticOnVectorSpace}{{7.4.1}{36}{\textcolor {Chapter }{OrbitStatisticOnVectorSpace}\relax }{subsection.7.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.2}\leavevmode {\color  {Chapter }OrbitStatisticOnVectorSpaceLines}}{37}{subsection.7.4.2}}
\newlabel{OrbitStatisticOnVectorSpaceLines}{{7.4.2}{37}{\textcolor {Chapter }{OrbitStatisticOnVectorSpaceLines}\relax }{subsection.7.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}\leavevmode {\color  {Chapter }Finding generating sets of subgroups}}{37}{section.7.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.1}\leavevmode {\color  {Chapter }FindShortGeneratorsOfSubgroup}}{37}{subsection.7.5.1}}
\newlabel{FindShortGeneratorsOfSubgroup}{{7.5.1}{37}{\textcolor {Chapter }{FindShortGeneratorsOfSubgroup}\relax }{subsection.7.5.1}{}}
\citation{AVL}
\citation{ACP3}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}\leavevmode {\color  {Chapter }AVL trees}}{38}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{avl}{{8}{38}{\textcolor {Chapter }{AVL trees}\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}\leavevmode {\color  {Chapter }The idea of AVL trees}}{38}{section.8.1}}
\newlabel{avlidea}{{8.1}{38}{\textcolor {Chapter }{The idea of AVL trees}\relax }{section.8.1}{}}
\@writefile{brf}{\backcite{AVL}{{38}{8.1}{section.8.1}}}
\@writefile{brf}{\backcite{ACP3}{{38}{8.1}{section.8.1}}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}\leavevmode {\color  {Chapter }Using AVL trees}}{39}{section.8.2}}
\newlabel{avlusage}{{8.2}{39}{\textcolor {Chapter }{Using AVL trees}\relax }{section.8.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}\leavevmode {\color  {Chapter }AVLTree}}{39}{subsection.8.2.1}}
\newlabel{AVLTree}{{8.2.1}{39}{\textcolor {Chapter }{AVLTree}\relax }{subsection.8.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.2}\leavevmode {\color  {Chapter }AVLCmp}}{39}{subsection.8.2.2}}
\newlabel{AVLCmp}{{8.2.2}{39}{\textcolor {Chapter }{AVLCmp}\relax }{subsection.8.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.3}\leavevmode {\color  {Chapter }AVLAdd}}{39}{subsection.8.2.3}}
\newlabel{AVLAdd}{{8.2.3}{39}{\textcolor {Chapter }{AVLAdd}\relax }{subsection.8.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.4}\leavevmode {\color  {Chapter }AVLLookup}}{39}{subsection.8.2.4}}
\newlabel{AVLLookup}{{8.2.4}{39}{\textcolor {Chapter }{AVLLookup}\relax }{subsection.8.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.5}\leavevmode {\color  {Chapter }AVLDelete}}{40}{subsection.8.2.5}}
\newlabel{AVLDelete}{{8.2.5}{40}{\textcolor {Chapter }{AVLDelete}\relax }{subsection.8.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.6}\leavevmode {\color  {Chapter }AVLFindIndex}}{40}{subsection.8.2.6}}
\newlabel{AVLFindIndex}{{8.2.6}{40}{\textcolor {Chapter }{AVLFindIndex}\relax }{subsection.8.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.7}\leavevmode {\color  {Chapter }AVLIndex}}{40}{subsection.8.2.7}}
\newlabel{AVLIndex}{{8.2.7}{40}{\textcolor {Chapter }{AVLIndex}\relax }{subsection.8.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.8}\leavevmode {\color  {Chapter }AVLIndexLookup}}{40}{subsection.8.2.8}}
\newlabel{AVLIndexLookup}{{8.2.8}{40}{\textcolor {Chapter }{AVLIndexLookup}\relax }{subsection.8.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.9}\leavevmode {\color  {Chapter }AVLIndexAdd}}{40}{subsection.8.2.9}}
\newlabel{AVLIndexAdd}{{8.2.9}{40}{\textcolor {Chapter }{AVLIndexAdd}\relax }{subsection.8.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.10}\leavevmode {\color  {Chapter }AVLIndexDelete}}{41}{subsection.8.2.10}}
\newlabel{AVLIndexDelete}{{8.2.10}{41}{\textcolor {Chapter }{AVLIndexDelete}\relax }{subsection.8.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.11}\leavevmode {\color  {Chapter }AVLFind}}{41}{subsection.8.2.11}}
\newlabel{AVLFind}{{8.2.11}{41}{\textcolor {Chapter }{AVLFind}\relax }{subsection.8.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.12}\leavevmode {\color  {Chapter }AVLIndexFind}}{41}{subsection.8.2.12}}
\newlabel{AVLIndexFind}{{8.2.12}{41}{\textcolor {Chapter }{AVLIndexFind}\relax }{subsection.8.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.13}\leavevmode {\color  {Chapter }AVLData}}{41}{subsection.8.2.13}}
\newlabel{AVLData}{{8.2.13}{41}{\textcolor {Chapter }{AVLData}\relax }{subsection.8.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.14}\leavevmode {\color  {Chapter }AVLValue}}{42}{subsection.8.2.14}}
\newlabel{AVLValue}{{8.2.14}{42}{\textcolor {Chapter }{AVLValue}\relax }{subsection.8.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.15}\leavevmode {\color  {Chapter }Display}}{42}{subsection.8.2.15}}
\newlabel{Display}{{8.2.15}{42}{\textcolor {Chapter }{Display}\relax }{subsection.8.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.16}\leavevmode {\color  {Chapter }ELM{\textunderscore }LIST}}{42}{subsection.8.2.16}}
\newlabel{ELMLIST}{{8.2.16}{42}{\textcolor {Chapter }{ELM{\textunderscore }LIST}\relax }{subsection.8.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.17}\leavevmode {\color  {Chapter }Position}}{42}{subsection.8.2.17}}
\newlabel{Position}{{8.2.17}{42}{\textcolor {Chapter }{Position}\relax }{subsection.8.2.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.18}\leavevmode {\color  {Chapter }Add}}{42}{subsection.8.2.18}}
\newlabel{Add}{{8.2.18}{42}{\textcolor {Chapter }{Add}\relax }{subsection.8.2.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.19}\leavevmode {\color  {Chapter }Remove}}{42}{subsection.8.2.19}}
\newlabel{Remove}{{8.2.19}{42}{\textcolor {Chapter }{Remove}\relax }{subsection.8.2.19}{}}
\citation{ACP3}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.20}\leavevmode {\color  {Chapter }Length}}{43}{subsection.8.2.20}}
\newlabel{Length}{{8.2.20}{43}{\textcolor {Chapter }{Length}\relax }{subsection.8.2.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.21}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }in}}{43}{subsection.8.2.21}}
\newlabel{in}{{8.2.21}{43}{\textcolor {Chapter }{\texttt {\symbol {92}}in}\relax }{subsection.8.2.21}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}\leavevmode {\color  {Chapter }The internal data structures}}{43}{section.8.3}}
\@writefile{brf}{\backcite{ACP3}{{43}{8.3}{section.8.3}}}
\citation{MNW}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}\leavevmode {\color  {Chapter }Orbit enumeration by suborbits}}{45}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{bysuborbit}{{9}{45}{\textcolor {Chapter }{Orbit enumeration by suborbits}\relax }{chapter.9}{}}
\@writefile{brf}{\backcite{MNW}{{45}{9}{chapter.9}}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}\leavevmode {\color  {Chapter }\texttt  {OrbitBySuborbits} and its resulting objects}}{45}{section.9.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}\leavevmode {\color  {Chapter }OrbitBySuborbit}}{45}{subsection.9.1.1}}
\newlabel{OrbitBySuborbit}{{9.1.1}{45}{\textcolor {Chapter }{OrbitBySuborbit}\relax }{subsection.9.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}\leavevmode {\color  {Chapter }OrbitBySuborbitKnownSize}}{46}{subsection.9.1.2}}
\newlabel{OrbitBySuborbitKnownSize}{{9.1.2}{46}{\textcolor {Chapter }{OrbitBySuborbitKnownSize}\relax }{subsection.9.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}\leavevmode {\color  {Chapter }Size (fororb)}}{46}{subsection.9.1.3}}
\newlabel{Size:fororb}{{9.1.3}{46}{\textcolor {Chapter }{Size (fororb)}\relax }{subsection.9.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.4}\leavevmode {\color  {Chapter }Seed}}{46}{subsection.9.1.4}}
\newlabel{Seed}{{9.1.4}{46}{\textcolor {Chapter }{Seed}\relax }{subsection.9.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.5}\leavevmode {\color  {Chapter }SuborbitsDb}}{46}{subsection.9.1.5}}
\newlabel{SuborbitsDb}{{9.1.5}{46}{\textcolor {Chapter }{SuborbitsDb}\relax }{subsection.9.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.6}\leavevmode {\color  {Chapter }WordsToSuborbits}}{46}{subsection.9.1.6}}
\newlabel{WordsToSuborbits}{{9.1.6}{46}{\textcolor {Chapter }{WordsToSuborbits}\relax }{subsection.9.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.7}\leavevmode {\color  {Chapter }Memory (forob)}}{47}{subsection.9.1.7}}
\newlabel{Memory:forob}{{9.1.7}{47}{\textcolor {Chapter }{Memory (forob)}\relax }{subsection.9.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.8}\leavevmode {\color  {Chapter }Stabilizer (obso)}}{47}{subsection.9.1.8}}
\newlabel{Stabilizer:obso}{{9.1.8}{47}{\textcolor {Chapter }{Stabilizer (obso)}\relax }{subsection.9.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.9}\leavevmode {\color  {Chapter }StabWords}}{47}{subsection.9.1.9}}
\newlabel{StabWords}{{9.1.9}{47}{\textcolor {Chapter }{StabWords}\relax }{subsection.9.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.10}\leavevmode {\color  {Chapter }SavingFactor (fororb)}}{47}{subsection.9.1.10}}
\newlabel{SavingFactor:fororb}{{9.1.10}{47}{\textcolor {Chapter }{SavingFactor (fororb)}\relax }{subsection.9.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.11}\leavevmode {\color  {Chapter }TotalLength (fordb)}}{48}{subsection.9.1.11}}
\newlabel{TotalLength:fordb}{{9.1.11}{48}{\textcolor {Chapter }{TotalLength (fordb)}\relax }{subsection.9.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.12}\leavevmode {\color  {Chapter }Representatives}}{48}{subsection.9.1.12}}
\newlabel{Representatives}{{9.1.12}{48}{\textcolor {Chapter }{Representatives}\relax }{subsection.9.1.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.13}\leavevmode {\color  {Chapter }SavingFactor (fordb)}}{48}{subsection.9.1.13}}
\newlabel{SavingFactor:fordb}{{9.1.13}{48}{\textcolor {Chapter }{SavingFactor (fordb)}\relax }{subsection.9.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.14}\leavevmode {\color  {Chapter }OrigSeed}}{48}{subsection.9.1.14}}
\newlabel{OrigSeed}{{9.1.14}{48}{\textcolor {Chapter }{OrigSeed}\relax }{subsection.9.1.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color  {Chapter }Preparation functions for \texttt  {OrbitBySuborbit} (\ref  {OrbitBySuborbit})}}{48}{section.9.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}\leavevmode {\color  {Chapter }OrbitBySuborbitBootstrapForVectors}}{48}{subsection.9.2.1}}
\newlabel{OrbitBySuborbitBootstrapForVectors}{{9.2.1}{48}{\textcolor {Chapter }{OrbitBySuborbitBootstrapForVectors}\relax }{subsection.9.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.2}\leavevmode {\color  {Chapter }OrbitBySuborbitBootstrapForLines}}{49}{subsection.9.2.2}}
\newlabel{OrbitBySuborbitBootstrapForLines}{{9.2.2}{49}{\textcolor {Chapter }{OrbitBySuborbitBootstrapForLines}\relax }{subsection.9.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.3}\leavevmode {\color  {Chapter }OrbitBySuborbitBootstrapForSpaces}}{49}{subsection.9.2.3}}
\newlabel{OrbitBySuborbitBootstrapForSpaces}{{9.2.3}{49}{\textcolor {Chapter }{OrbitBySuborbitBootstrapForSpaces}\relax }{subsection.9.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.3}\leavevmode {\color  {Chapter }Data structures for orbit-by-suborbits}}{49}{section.9.3}}
\newlabel{obsodatastrucs}{{9.3}{49}{\textcolor {Chapter }{Data structures for orbit-by-suborbits}\relax }{section.9.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.1}\leavevmode {\color  {Chapter }IsOrbitBySuborbitSetup}}{50}{subsection.9.3.1}}
\newlabel{IsOrbitBySuborbitSetup}{{9.3.1}{50}{\textcolor {Chapter }{IsOrbitBySuborbitSetup}\relax }{subsection.9.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.2}\leavevmode {\color  {Chapter }The global record \texttt  {ORB}}}{51}{subsection.9.3.2}}
\@writefile{toc}{\contentsline {section}{\numberline {9.4}\leavevmode {\color  {Chapter }Lists of orbit-by-suborbit objects}}{52}{section.9.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.1}\leavevmode {\color  {Chapter }InitOrbitBySuborbitList}}{52}{subsection.9.4.1}}
\newlabel{InitOrbitBySuborbitList}{{9.4.1}{52}{\textcolor {Chapter }{InitOrbitBySuborbitList}\relax }{subsection.9.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.2}\leavevmode {\color  {Chapter }IsVectorInOrbitBySuborbitList}}{53}{subsection.9.4.2}}
\newlabel{IsVectorInOrbitBySuborbitList}{{9.4.2}{53}{\textcolor {Chapter }{IsVectorInOrbitBySuborbitList}\relax }{subsection.9.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.3}\leavevmode {\color  {Chapter }OrbitsFromSeedsToOrbitList}}{53}{subsection.9.4.3}}
\newlabel{OrbitsFromSeedsToOrbitList}{{9.4.3}{53}{\textcolor {Chapter }{OrbitsFromSeedsToOrbitList}\relax }{subsection.9.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.4}\leavevmode {\color  {Chapter }VerifyDisjointness}}{53}{subsection.9.4.4}}
\newlabel{VerifyDisjointness}{{9.4.4}{53}{\textcolor {Chapter }{VerifyDisjointness}\relax }{subsection.9.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.5}\leavevmode {\color  {Chapter }Memory (forobsol)}}{53}{subsection.9.4.5}}
\newlabel{Memory:forobsol}{{9.4.5}{53}{\textcolor {Chapter }{Memory (forobsol)}\relax }{subsection.9.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.6}\leavevmode {\color  {Chapter }TotalLength (forobsol)}}{53}{subsection.9.4.6}}
\newlabel{TotalLength:forobsol}{{9.4.6}{53}{\textcolor {Chapter }{TotalLength (forobsol)}\relax }{subsection.9.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.7}\leavevmode {\color  {Chapter }Size (forobsol)}}{54}{subsection.9.4.7}}
\newlabel{Size:forobsol}{{9.4.7}{54}{\textcolor {Chapter }{Size (forobsol)}\relax }{subsection.9.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.8}\leavevmode {\color  {Chapter }SavingFactor (forobsol)}}{54}{subsection.9.4.8}}
\newlabel{SavingFactor:forobsol}{{9.4.8}{54}{\textcolor {Chapter }{SavingFactor (forobsol)}\relax }{subsection.9.4.8}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}\leavevmode {\color  {Chapter }Finding nice quotients}}{55}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{quotfinder}{{10}{55}{\textcolor {Chapter }{Finding nice quotients}\relax }{chapter.10}{}}
\citation{MNW}
\citation{LongOrbits}
\citation{MueBMCo2}
\citation{MNW}
\@writefile{toc}{\contentsline {chapter}{\numberline {11}\leavevmode {\color  {Chapter }Examples}}{56}{chapter.11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{examples}{{11}{56}{\textcolor {Chapter }{Examples}\relax }{chapter.11}{}}
\@writefile{brf}{\backcite{MNW}{{56}{11}{chapter.11}}}
\@writefile{brf}{\backcite{LongOrbits}{{56}{11}{chapter.11}}}
\@writefile{brf}{\backcite{MueBMCo2}{{56}{11}{chapter.11}}}
\@writefile{brf}{\backcite{MNW}{{56}{11}{chapter.11}}}
\@writefile{toc}{\contentsline {section}{\numberline {11.1}\leavevmode {\color  {Chapter }The Mathieu group $M_{{11}}$ acting in dimension $24$}}{56}{section.11.1}}
\newlabel{M11example}{{11.1}{56}{\textcolor {Chapter }{The Mathieu group $M_{{11}}$ acting in dimension $24$}\relax }{section.11.1}{}}
\citation{CCN85}
\citation{CCN85}
\@writefile{brf}{\backcite{CCN85}{{57}{11.1}{section.11.1}}}
\citation{Fi23mod2}
\@writefile{toc}{\contentsline {section}{\numberline {11.2}\leavevmode {\color  {Chapter }The Fischer group $Fi_{{23}}$ acting in dimension $1494$ }}{58}{section.11.2}}
\newlabel{Fi23example}{{11.2}{58}{\textcolor {Chapter }{The Fischer group $Fi_{{23}}$ acting in dimension $1494$ }\relax }{section.11.2}{}}
\@writefile{brf}{\backcite{CCN85}{{58}{11.2}{section.11.2}}}
\@writefile{brf}{\backcite{Fi23mod2}{{58}{11.2}{section.11.2}}}
\@writefile{toc}{\contentsline {section}{\numberline {11.3}\leavevmode {\color  {Chapter }The Conway group $Co_1$ acting in dimension $24$ }}{58}{section.11.3}}
\newlabel{Co1example}{{11.3}{58}{\textcolor {Chapter }{The Conway group $Co_1$ acting in dimension $24$ }\relax }{section.11.3}{}}
\citation{CCN85}
\citation{Jansen}
\citation{LongOrbits}
\@writefile{brf}{\backcite{CCN85}{{59}{11.3}{section.11.3}}}
\@writefile{brf}{\backcite{Jansen}{{59}{11.3}{section.11.3}}}
\@writefile{brf}{\backcite{LongOrbits}{{59}{11.3}{section.11.3}}}
\@writefile{toc}{\contentsline {section}{\numberline {11.4}\leavevmode {\color  {Chapter }The Baby Monster $B$ acting on its 2A involutions}}{59}{section.11.4}}
\newlabel{Borbit}{{11.4}{59}{\textcolor {Chapter }{The Baby Monster $B$ acting on its 2A involutions}\relax }{section.11.4}{}}
\citation{CCN85}
\citation{Jansen}
\citation{Wil96}
\citation{AGR}
\citation{CCN85}
\@writefile{brf}{\backcite{CCN85}{{60}{11.4}{section.11.4}}}
\@writefile{brf}{\backcite{Jansen}{{60}{11.4}{section.11.4}}}
\@writefile{brf}{\backcite{Wil96}{{60}{11.4}{section.11.4}}}
\@writefile{brf}{\backcite{AGR}{{60}{11.4}{section.11.4}}}
\citation{Jansen}
\citation{AGR}
\@writefile{brf}{\backcite{CCN85}{{61}{11.4}{section.11.4}}}
\@writefile{brf}{\backcite{Jansen}{{61}{11.4}{section.11.4}}}
\@writefile{brf}{\backcite{AGR}{{61}{11.4}{section.11.4}}}
\citation{AGR}
\@writefile{brf}{\backcite{AGR}{{62}{11.4}{section.11.4}}}
\citation{AGR}
\@writefile{brf}{\backcite{AGR}{{63}{11.4}{section.11.4}}}
\bibstyle{alpha}
\bibdata{orb}
\bibcite{AVL}{AVM62}
\bibcite{CCN85}{CCN{$^{+}$}85}
\bibcite{Fi23mod2}{HNN06}
\bibcite{Jansen}{Jan05}
\bibcite{ACP3}{Knu97}
\bibcite{LongOrbits}{Mal06}
\bibcite{MNW}{MNW07}
\bibcite{MueBMCo2}{M{\"u}l08}
\bibcite{AGR}{Wil}
\bibcite{Wil96}{Wil96}
