\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Talk:Waco-2203}
\citation{Talk:Geneva-2206}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{The Formulas}}{1}{section.1}\protected@file@percent }
\newlabel{sec:Formulas}{{1}{1}{The Formulas}{section.1}{}}
\@writefile{brf}{\backcite{Talk:Waco-2203}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{Talk:Geneva-2206}{{2}{1}{section.1}}}
\newlabel{eq:A}{{1}{2}{The Formulas}{equation.1.1}{}}
\newlabel{eq:Delta}{{2}{3}{The Formulas}{equation.1.2}{}}
\newlabel{eq:GExamples}{{3}{3}{The Formulas}{equation.1.3}{}}
\newlabel{eq:R1}{{4}{3}{The Formulas}{equation.1.4}{}}
\newlabel{eq:rho1}{{5}{3}{The Formulas}{equation.1.5}{}}
\citation{Storjohann:ComplexityOfInversion}
\citation{Lickorish:Introduction}
\citation{Wolfram:Mathematica}
\citation{Self}
\citation{Bar-NatanMorrison:KnotTheory}
\citation{Self}
\newlabel{thm:Main}{{1}{4}{``Invariance'', proofs in Section~\ref {sec:Proofs}}{theorem.1}{}}
\newlabel{thm:Genus}{{2}{4}{``Genus''}{theorem.2}{}}
\@writefile{brf}{\backcite{Lickorish:Introduction}{{4}{1}{theorem.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Implementation and Power}}{4}{section.2}\protected@file@percent }
\newlabel{sec:Implementation}{{2}{4}{Implementation and Power}{section.2}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Self}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Self}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Storjohann:ComplexityOfInversion}{{4}{3}{Hfootnote.3}}}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{The Program}}{5}{subsection.2.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{A Step-by-Step Run-Through}}{5}{subsection.2.2}\protected@file@percent }
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{5}{2.2}{subsection.2.2}}}
\citation{PG}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{Fox:Problems}
\newlabel{ssec:Demo}{{2.3}{7}{A Demo Run}{subsection.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{A Demo Run}}{7}{subsection.2.3}\protected@file@percent }
\@writefile{brf}{\backcite{PG}{{7}{2.3}{subsection.2.3}}}
\@writefile{brf}{\backcite{GompfScharlemannThompson:Counterexample}{{7}{2.3}{figure.caption.2}}}
\@writefile{brf}{\backcite{Fox:Problems}{{7}{2.3}{figure.caption.2}}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A 48-crossing knot from\nonbreakingspace \cite  {GompfScharlemannThompson:Counterexample}.\relax }}{8}{figure.caption.2}\protected@file@percent }
\@writefile{brf}{\backcite{GompfScharlemannThompson:Counterexample}{{8}{2.1}{figure.caption.2}}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:GST48}{{2.1}{8}{A 48-crossing knot from~\cite {GompfScharlemannThompson:Counterexample}.\relax }{figure.caption.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{The Separation Power of $\rho _1$}}{8}{subsection.2.4}\protected@file@percent }
\citation{Polyak:RMoves}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces  The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }}{9}{figure.caption.3}\protected@file@percent }
\newlabel{fig:UprightRMoves}{{3.1}{9}{The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }{figure.caption.3}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Proofs of Theorem\nonbreakingspace \ref  {thm:Main}, the Invariance Theorem}}{9}{section.3}\protected@file@percent }
\newlabel{sec:Proofs}{{3}{9}{Proofs of Theorem~\ref {thm:Main}, the Invariance Theorem}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Common Elements}}{9}{subsection.3.1}\protected@file@percent }
\newlabel{thm:UprightRMoves}{{3}{9}{``Upright Reidemeister''}{theorem.3}{}}
\citation{Jones:Hecke}
\citation{LinTianWang:RandomWalk}
\@writefile{brf}{\backcite{Polyak:RMoves}{{10}{3.1}{theorem.3}}}
\newlabel{lem:gRules}{{4}{10}{``$g$-rules''}{theorem.4}{}}
\newlabel{eq:CarRules}{{6}{10}{``$g$-rules''}{equation.3.6}{}}
\newlabel{eq:CounterRules}{{7}{10}{``$g$-rules''}{equation.3.7}{}}
\newlabel{ssec:Cars}{{3.2}{10}{Cars, Traffic Counters, and Interchanges}{subsection.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Cars, Traffic Counters, and Interchanges}}{10}{subsection.3.2}\protected@file@percent }
\@writefile{brf}{\backcite{Jones:Hecke}{{10}{3.2}{subsection.3.2}}}
\@writefile{brf}{\backcite{LinTianWang:RandomWalk}{{10}{3.2}{subsection.3.2}}}
\citation{Burau:Zopfgruppen}
\@writefile{brf}{\backcite{Burau:Zopfgruppen}{{12}{4}{Hfootnote.4}}}
\newlabel{ssec:dull}{{3.3}{13}{A More Formal Version of the Proof}{subsection.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{A More Formal Version of the Proof}}{13}{subsection.3.3}\protected@file@percent }
\newlabel{prop:R3}{{8}{13}{}{theorem.8}{}}
\newlabel{prop:R2c}{{9}{14}{}{theorem.9}{}}
\newlabel{prop:R1l}{{10}{15}{}{theorem.10}{}}
\citation{PP1}
\citation{PG}
\citation{Talk:NCSU-1604}
\citation{Talk:Indiana-1611}
\citation{Talk:LesDiablerets-1708}
\citation{Talk:Matemale-1804}
\citation{Talk:Toronto-1811}
\citation{Talk:DaNang-1905}
\citation{Talk:UCLA-191101}
\citation{EtingofSchiffman:QuantumGroups}
\citation{Lawrence:UniversalUsingQG}
\citation{Lawrence:Universal}
\citation{Ohtsuki:QuantumInvariants}
\citation{Jones:Hecke}
\citation{Talk:Chicago-1009}
\citation{WKO1}
\citation{MelvinMorton:Coloured}
\citation{Rozansky:TrivialFlatI}
\citation{Bar-NatanGaroufalidis:MMR}
\citation{Drinfeld:QuantumGroups}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Some Context and Some Morals}}{16}{section.4}\protected@file@percent }
\newlabel{sec:Context}{{4}{16}{Some Context and Some Morals}{section.4}{}}
\@writefile{brf}{\backcite{PP1, PG, Talk:NCSU-1604, Talk:Indiana-1611, Talk:LesDiablerets-1708, Talk:Matemale-1804, Talk:Toronto-1811, Talk:DaNang-1905, Talk:UCLA-191101}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{EtingofSchiffman:QuantumGroups}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Lawrence:UniversalUsingQG, Lawrence:Universal, Ohtsuki:QuantumInvariants}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Jones:Hecke}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Talk:Chicago-1009, WKO1}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{MelvinMorton:Coloured, Rozansky:TrivialFlatI}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Bar-NatanGaroufalidis:MMR}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Drinfeld:QuantumGroups}{{16}{4}{section.4}}}
\citation{Talk:Sydney-190916}
\citation{PP1}
\citation{PG}
\citation{Talk:NCSU-1604}
\citation{Talk:Indiana-1611}
\citation{Talk:LesDiablerets-1708}
\citation{Talk:Matemale-1804}
\citation{Talk:Toronto-1811}
\citation{Talk:DaNang-1905}
\citation{Talk:UCLA-191101}
\@writefile{brf}{\backcite{Talk:Sydney-190916}{{17}{4}{section.4}}}
\newlabel{mor:rhok}{{2}{17}{Some Context and Some Morals}{Item.2}{}}
\citation{Rozansky:TrivialFlatI}
\citation{Rozansky:Burau}
\citation{Rozansky:U1RCC}
\citation{Overbay:Thesis}
\citation{Rozansky:U1RCC}
\citation{Kricker:Lines}
\citation{GaroufalidisRozansky:LoopExpansion}
\citation{Schaveling:Thesis}
\citation{PG}
\citation{Talk:DaNang-1905}
\citation{Talk:Sydney-190916}
\citation{PG}
\citation{FoxMilnor:CobordismOfKnots}
\bibcite{Talk:Chicago-1009}{BN1}
\bibcite{Talk:NCSU-1604}{BN2}
\bibcite{Talk:Indiana-1611}{BN3}
\bibcite{Talk:LesDiablerets-1708}{BN4}
\bibcite{Talk:Toronto-1811}{BN5}
\bibcite{Talk:DaNang-1905}{BN6}
\bibcite{Talk:Sydney-190916}{BN7}
\@writefile{brf}{\backcite{PP1, PG, Talk:NCSU-1604, Talk:Indiana-1611, Talk:LesDiablerets-1708, Talk:Matemale-1804, Talk:Toronto-1811, Talk:DaNang-1905, Talk:UCLA-191101}{{18}{3}{Item.3}}}
\@writefile{brf}{\backcite{Rozansky:TrivialFlatI, Rozansky:Burau, Rozansky:U1RCC, Overbay:Thesis}{{18}{4}{Item.4}}}
\@writefile{brf}{\backcite{Rozansky:U1RCC}{{18}{5}{Item.5}}}
\@writefile{brf}{\backcite{Kricker:Lines, GaroufalidisRozansky:LoopExpansion}{{18}{5}{Item.5}}}
\newlabel{mor:frakg}{{6}{18}{Some Context and Some Morals}{Item.6}{}}
\@writefile{brf}{\backcite{Schaveling:Thesis}{{18}{6}{Item.6}}}
\@writefile{brf}{\backcite{PG, Talk:DaNang-1905}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{Talk:Sydney-190916}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{PG}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{FoxMilnor:CobordismOfKnots}{{18}{9}{Item.9}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{18}{section*.4}\protected@file@percent }
\bibcite{Talk:UCLA-191101}{BN8}
\bibcite{Talk:Waco-2203}{BN9}
\bibcite{Talk:Geneva-2206}{BN10}
\bibcite{WKO1}{BD}
\bibcite{Bar-NatanGaroufalidis:MMR}{BNG}
\bibcite{PP1}{BV1}
\bibcite{Talk:Matemale-1804}{BV2}
\bibcite{PG}{BV3}
\bibcite{Self}{BV4}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Burau:Zopfgruppen}{Bu}
\bibcite{Drinfeld:QuantumGroups}{Dr}
\bibcite{EtingofSchiffman:QuantumGroups}{ES}
\bibcite{Fox:Problems}{Fo}
\bibcite{FoxMilnor:CobordismOfKnots}{FM}
\bibcite{GaroufalidisRozansky:LoopExpansion}{GR}
\bibcite{GompfScharlemannThompson:Counterexample}{GST}
\bibcite{Jones:Hecke}{Jo}
\bibcite{Kricker:Lines}{Kr}
\bibcite{Lawrence:UniversalUsingQG}{La1}
\bibcite{Lawrence:Universal}{La2}
\bibcite{Lickorish:Introduction}{Li}
\bibcite{LinTianWang:RandomWalk}{LTW}
\bibcite{MelvinMorton:Coloured}{MM}
\bibcite{Ohtsuki:QuantumInvariants}{Oh}
\bibcite{Overbay:Thesis}{Ov}
\bibcite{Polyak:RMoves}{Po}
\bibcite{Rozansky:TrivialFlatI}{Ro1}
\bibcite{Rozansky:Burau}{Ro2}
\bibcite{Rozansky:U1RCC}{Ro3}
\bibcite{Schaveling:Thesis}{Sch}
\bibcite{Storjohann:ComplexityOfInversion}{St}
\bibcite{Wolfram:Mathematica}{Wo}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}
\gdef \@abspage@last{20}
\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Talk:Waco-2203}
\citation{Talk:Geneva-2206}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{The Formulas}}{1}{section.1}\protected@file@percent }
\newlabel{sec:Formulas}{{1}{1}{The Formulas}{section.1}{}}
\@writefile{brf}{\backcite{Talk:Waco-2203}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{Talk:Geneva-2206}{{2}{1}{section.1}}}
\newlabel{eq:A}{{1}{2}{The Formulas}{equation.1.1}{}}
\newlabel{eq:Delta}{{2}{3}{The Formulas}{equation.1.2}{}}
\newlabel{eq:GExamples}{{3}{3}{The Formulas}{equation.1.3}{}}
\newlabel{eq:R1}{{4}{3}{The Formulas}{equation.1.4}{}}
\newlabel{eq:rho1}{{5}{3}{The Formulas}{equation.1.5}{}}
\citation{Storjohann:ComplexityOfInversion}
\citation{Wolfram:Mathematica}
\citation{Self}
\citation{Bar-NatanMorrison:KnotTheory}
\citation{Self}
\newlabel{thm:Main}{{1}{4}{``Invariance'', proofs in Section~\ref {sec:Proofs}}{theorem.1}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Implementation and Power}}{4}{section.2}\protected@file@percent }
\newlabel{sec:Implementation}{{2}{4}{Implementation and Power}{section.2}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Self}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{4}{2}{section.2}}}
\@writefile{brf}{\backcite{Self}{{4}{2}{section.2}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{The Program}}{4}{subsection.2.1}\protected@file@percent }
\@writefile{brf}{\backcite{Storjohann:ComplexityOfInversion}{{4}{3}{Hfootnote.3}}}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{A Step-by-Step Run-Through}}{5}{subsection.2.2}\protected@file@percent }
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{5}{2.2}{subsection.2.2}}}
\citation{PG}
\newlabel{ssec:Demo}{{2.3}{6}{A Demo Run}{subsection.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{A Demo Run}}{6}{subsection.2.3}\protected@file@percent }
\@writefile{brf}{\backcite{PG}{{6}{2.3}{subsection.2.3}}}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{Fox:Problems}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A 48-crossing knot from\nonbreakingspace \cite  {GompfScharlemannThompson:Counterexample}.\relax }}{7}{figure.caption.2}\protected@file@percent }
\@writefile{brf}{\backcite{GompfScharlemannThompson:Counterexample}{{7}{2.1}{figure.caption.2}}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:GST48}{{2.1}{7}{A 48-crossing knot from~\cite {GompfScharlemannThompson:Counterexample}.\relax }{figure.caption.2}{}}
\@writefile{brf}{\backcite{GompfScharlemannThompson:Counterexample}{{7}{2.3}{figure.caption.2}}}
\@writefile{brf}{\backcite{Fox:Problems}{{7}{2.3}{figure.caption.2}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{The Separation Power of $\rho _1$}}{8}{subsection.2.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Proofs of Theorem\nonbreakingspace \ref  {thm:Main}, the Invariance Theorem}}{8}{section.3}\protected@file@percent }
\newlabel{sec:Proofs}{{3}{8}{Proofs of Theorem~\ref {thm:Main}, the Invariance Theorem}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Common Elements}}{8}{subsection.3.1}\protected@file@percent }
\citation{Polyak:RMoves}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces  The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }}{9}{figure.caption.3}\protected@file@percent }
\newlabel{fig:UprightRMoves}{{3.1}{9}{The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }{figure.caption.3}{}}
\newlabel{thm:UprightRMoves}{{2}{9}{``Upright Reidemeister''}{theorem.2}{}}
\@writefile{brf}{\backcite{Polyak:RMoves}{{9}{3.1}{theorem.2}}}
\newlabel{lem:gRules}{{3}{9}{``$g$-rules''}{theorem.3}{}}
\newlabel{eq:CarRules}{{6}{9}{``$g$-rules''}{equation.3.6}{}}
\newlabel{eq:CounterRules}{{7}{9}{``$g$-rules''}{equation.3.7}{}}
\citation{Jones:Hecke}
\citation{LinTianWang:RandomWalk}
\newlabel{ssec:Cars}{{3.2}{10}{Cars, Traffic Counters, and Interchanges}{subsection.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Cars, Traffic Counters, and Interchanges}}{10}{subsection.3.2}\protected@file@percent }
\@writefile{brf}{\backcite{Jones:Hecke}{{10}{3.2}{subsection.3.2}}}
\@writefile{brf}{\backcite{LinTianWang:RandomWalk}{{10}{3.2}{subsection.3.2}}}
\citation{Burau:Zopfgruppen}
\newlabel{prop:CarsAreGreen}{{5}{11}{}{theorem.5}{}}
\newlabel{ssec:dull}{{3.3}{12}{A More Formal Version of the Proof}{subsection.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{A More Formal Version of the Proof}}{12}{subsection.3.3}\protected@file@percent }
\newlabel{prop:R3}{{7}{12}{}{theorem.7}{}}
\@writefile{brf}{\backcite{Burau:Zopfgruppen}{{12}{4}{Hfootnote.4}}}
\newlabel{prop:R2c}{{8}{14}{}{theorem.8}{}}
\newlabel{prop:R1l}{{9}{15}{}{theorem.9}{}}
\citation{PP1}
\citation{PG}
\citation{Talk:NCSU-1604}
\citation{Talk:Indiana-1611}
\citation{Talk:LesDiablerets-1708}
\citation{Talk:Matemale-1804}
\citation{Talk:Toronto-1811}
\citation{Talk:DaNang-1905}
\citation{Talk:UCLA-191101}
\citation{EtingofSchiffman:QuantumGroups}
\citation{Lawrence:UniversalUsingQG}
\citation{Lawrence:Universal}
\citation{Ohtsuki:QuantumInvariants}
\citation{Jones:Hecke}
\citation{Talk:Chicago-1009}
\citation{WKO1}
\citation{MelvinMorton:Coloured}
\citation{Rozansky:TrivialFlatI}
\citation{Bar-NatanGaroufalidis:MMR}
\citation{Drinfeld:QuantumGroups}
\citation{Talk:Sydney-190916}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Some Context and Some Morals}}{16}{section.4}\protected@file@percent }
\newlabel{sec:Context}{{4}{16}{Some Context and Some Morals}{section.4}{}}
\@writefile{brf}{\backcite{PP1, PG, Talk:NCSU-1604, Talk:Indiana-1611, Talk:LesDiablerets-1708, Talk:Matemale-1804, Talk:Toronto-1811, Talk:DaNang-1905, Talk:UCLA-191101}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{EtingofSchiffman:QuantumGroups}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Lawrence:UniversalUsingQG, Lawrence:Universal, Ohtsuki:QuantumInvariants}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Jones:Hecke}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Talk:Chicago-1009, WKO1}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{MelvinMorton:Coloured, Rozansky:TrivialFlatI}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Bar-NatanGaroufalidis:MMR}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Drinfeld:QuantumGroups}{{16}{4}{section.4}}}
\@writefile{brf}{\backcite{Talk:Sydney-190916}{{16}{4}{section.4}}}
\citation{PP1}
\citation{PG}
\citation{Talk:NCSU-1604}
\citation{Talk:Indiana-1611}
\citation{Talk:LesDiablerets-1708}
\citation{Talk:Matemale-1804}
\citation{Talk:Toronto-1811}
\citation{Talk:DaNang-1905}
\citation{Talk:UCLA-191101}
\citation{Rozansky:TrivialFlatI}
\citation{Rozansky:Burau}
\citation{Rozansky:U1RCC}
\citation{Overbay:Thesis}
\citation{Rozansky:U1RCC}
\citation{Kricker:Lines}
\citation{GaroufalidisRozansky:LoopExpansion}
\citation{Schaveling:Thesis}
\newlabel{mor:rhok}{{2}{17}{Some Context and Some Morals}{Item.2}{}}
\@writefile{brf}{\backcite{PP1, PG, Talk:NCSU-1604, Talk:Indiana-1611, Talk:LesDiablerets-1708, Talk:Matemale-1804, Talk:Toronto-1811, Talk:DaNang-1905, Talk:UCLA-191101}{{17}{3}{Item.3}}}
\@writefile{brf}{\backcite{Rozansky:TrivialFlatI, Rozansky:Burau, Rozansky:U1RCC, Overbay:Thesis}{{17}{4}{Item.4}}}
\@writefile{brf}{\backcite{Rozansky:U1RCC}{{17}{5}{Item.5}}}
\@writefile{brf}{\backcite{Kricker:Lines, GaroufalidisRozansky:LoopExpansion}{{17}{5}{Item.5}}}
\newlabel{mor:frakg}{{6}{17}{Some Context and Some Morals}{Item.6}{}}
\@writefile{brf}{\backcite{Schaveling:Thesis}{{17}{6}{Item.6}}}
\citation{PG}
\citation{Talk:DaNang-1905}
\citation{Talk:Sydney-190916}
\citation{PG}
\citation{FoxMilnor:CobordismOfKnots}
\bibcite{Talk:Chicago-1009}{BN1}
\bibcite{Talk:NCSU-1604}{BN2}
\bibcite{Talk:Indiana-1611}{BN3}
\bibcite{Talk:LesDiablerets-1708}{BN4}
\bibcite{Talk:Toronto-1811}{BN5}
\bibcite{Talk:DaNang-1905}{BN6}
\bibcite{Talk:Sydney-190916}{BN7}
\bibcite{Talk:UCLA-191101}{BN8}
\bibcite{Talk:Waco-2203}{BN9}
\bibcite{Talk:Geneva-2206}{BN10}
\bibcite{WKO1}{BD}
\bibcite{Bar-NatanGaroufalidis:MMR}{BNG}
\bibcite{PP1}{BV1}
\bibcite{Talk:Matemale-1804}{BV2}
\bibcite{PG}{BV3}
\bibcite{Self}{BV4}
\@writefile{brf}{\backcite{PG, Talk:DaNang-1905}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{Talk:Sydney-190916}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{PG}{{18}{8}{Item.8}}}
\@writefile{brf}{\backcite{FoxMilnor:CobordismOfKnots}{{18}{9}{Item.9}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{18}{section*.4}\protected@file@percent }
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Burau:Zopfgruppen}{Bu}
\bibcite{Drinfeld:QuantumGroups}{Dr}
\bibcite{EtingofSchiffman:QuantumGroups}{ES}
\bibcite{Fox:Problems}{Fo}
\bibcite{FoxMilnor:CobordismOfKnots}{FM}
\bibcite{GaroufalidisRozansky:LoopExpansion}{GR}
\bibcite{GompfScharlemannThompson:Counterexample}{GST}
\bibcite{Jones:Hecke}{Jo}
\bibcite{Kricker:Lines}{Kr}
\bibcite{Lawrence:UniversalUsingQG}{La1}
\bibcite{Lawrence:Universal}{La2}
\bibcite{LinTianWang:RandomWalk}{LTW}
\bibcite{MelvinMorton:Coloured}{MM}
\bibcite{Ohtsuki:QuantumInvariants}{Oh}
\bibcite{Overbay:Thesis}{Ov}
\bibcite{Polyak:RMoves}{Po}
\bibcite{Rozansky:TrivialFlatI}{Ro1}
\bibcite{Rozansky:Burau}{Ro2}
\bibcite{Rozansky:U1RCC}{Ro3}
\bibcite{Schaveling:Thesis}{Sch}
\bibcite{Storjohann:ComplexityOfInversion}{St}
\bibcite{Wolfram:Mathematica}{Wo}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}
\gdef \@abspage@last{20}
\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\babel@aux[2]{}
\@nameuse{bbl@beforestart}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\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{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{Talk:Waco-2203}
\citation{Talk:Geneva-2206}
\babel@aux{british}{}
\@writefile{toc}{\contentsline {section}{\numberline {1.}The Formulas}{1}{section.1}\protected@file@percent }
\newlabel{sec:Formulas}{{1}{1}{The Formulas}{section.1}{}}
\newlabel{eq:A}{{1.1}{2}{The Formulas}{equation.1.1}{}}
\newlabel{eq:Delta}{{1.2}{3}{The Formulas}{equation.1.2}{}}
\citation{Storjohann:ComplexityOfInversion}
\citation{Wolfram:Mathematica}
\citation{Self}
\newlabel{eq:GExamples}{{1.3}{4}{The Formulas}{equation.1.3}{}}
\newlabel{eq:R1}{{1.4}{4}{The Formulas}{equation.1.4}{}}
\newlabel{eq:rho1}{{1.5}{4}{The Formulas}{equation.1.5}{}}
\newlabel{thm:Main}{{1}{4}{``Invariance'', proofs in Section~\ref {sec:Proofs}}{theorem.1}{}}
\citation{Bar-NatanMorrison:KnotTheory}
\citation{Self}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{toc}{\contentsline {section}{\numberline {2.}Implementation and Power}{5}{section.2}\protected@file@percent }
\newlabel{sec:Implementation}{{2}{5}{Implementation and Power}{section.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.}The Program}{5}{subsection.2.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.}A Step-by-Step Run-Through}{6}{subsection.2.2}\protected@file@percent }
\citation{PG}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.}A Demo Run}{7}{subsection.2.3}\protected@file@percent }
\newlabel{ssec:Demo}{{2.3}{7}{A Demo Run}{subsection.2.3}{}}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{GompfScharlemannThompson:Counterexample}
\citation{Fox:Problems}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A 48-crossing knot from\nobreakspace  {}\cite  {GompfScharlemannThompson:Counterexample}.\relax }}{8}{figure.caption.1}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:GST48}{{1}{8}{A 48-crossing knot from~\cite {GompfScharlemannThompson:Counterexample}.\relax }{figure.caption.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.}The Separation Power of $\rho _1$}{9}{subsection.2.4}\protected@file@percent }
\citation{Polyak:RMoves}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces  The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }}{10}{figure.caption.2}\protected@file@percent }
\newlabel{fig:UprightRMoves}{{2}{10}{The upright Reidemeister moves: Reidemeister 1 left and right, Reidemeister 2 braid-like and cyclic, Reidemeister 3, and (the $+$) Swirl. \relax }{figure.caption.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.}Proofs of Theorem\nobreakspace  {}\ref  {thm:Main}, the Invariance Theorem}{10}{section.3}\protected@file@percent }
\newlabel{sec:Proofs}{{3}{10}{Proofs of Theorem~\ref {thm:Main}, the Invariance Theorem}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.}Common Elements}{10}{subsection.3.1}\protected@file@percent }
\newlabel{thm:UprightRMoves}{{2}{10}{``Upright Reidemeister''}{theorem.2}{}}
\citation{Jones:Hecke}
\citation{LinTianWang:RandomWalk}
\newlabel{lem:gRules}{{3}{11}{``$g$-rules''}{theorem.3}{}}
\newlabel{eq:CarRules}{{3.1}{11}{``$g$-rules''}{equation.3.1}{}}
\newlabel{eq:CounterRules}{{3.2}{11}{``$g$-rules''}{equation.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.}Cars, Traffic Counters, and Interchanges}{11}{subsection.3.2}\protected@file@percent }
\newlabel{ssec:Cars}{{3.2}{11}{Cars, Traffic Counters, and Interchanges}{subsection.3.2}{}}
\citation{Burau:Zopfgruppen}
\newlabel{prop:CarsAreGreen}{{5}{13}{}{theorem.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.}A More Formal Version of the Proof}{14}{subsection.3.3}\protected@file@percent }
\newlabel{ssec:dull}{{3.3}{14}{A More Formal Version of the Proof}{subsection.3.3}{}}
\newlabel{prop:R3}{{7}{14}{}{theorem.7}{}}
\newlabel{prop:R2c}{{8}{16}{}{theorem.8}{}}
\newlabel{prop:R1l}{{9}{17}{}{theorem.9}{}}
\citation{PP1,PG,Talk:NCSU-1604,Talk:Indiana-1611,Talk:LesDiablerets-1708,Talk:Matemale-1804,Talk:Toronto-1811,Talk:DaNang-1905,Talk:UCLA-191101}
\citation{EtingofSchiffman:QuantumGroups}
\citation{Lawrence:UniversalUsingQG,Lawrence:Universal,Ohtsuki:QuantumInvariants}
\citation{Jones:Hecke}
\@writefile{toc}{\contentsline {section}{\numberline {4.}Some Context and Some Morals}{18}{section.4}\protected@file@percent }
\newlabel{sec:Context}{{4}{18}{Some Context and Some Morals}{section.4}{}}
\citation{Talk:Chicago-1009,WKO1}
\citation{MelvinMorton:Coloured,Rozansky:TrivialFlatI}
\citation{Bar-NatanGaroufalidis:MMR}
\citation{Drinfeld:QuantumGroups}
\citation{Talk:Sydney-190916}
\citation{PP1,PG,Talk:NCSU-1604,Talk:Indiana-1611,Talk:LesDiablerets-1708,Talk:Matemale-1804,Talk:Toronto-1811,Talk:DaNang-1905,Talk:UCLA-191101}
\citation{Rozansky:TrivialFlatI,Rozansky:Burau,Rozansky:U1RCC,Overbay:Thesis}
\newlabel{mor:rhok}{{2}{20}{Some Context and Some Morals}{Item.2}{}}
\citation{Rozansky:U1RCC}
\citation{Kricker:Lines,GaroufalidisRozansky:LoopExpansion}
\citation{Schaveling:Thesis}
\citation{PG,Talk:DaNang-1905}
\citation{Talk:Sydney-190916}
\citation{PG}
\citation{FoxMilnor:CobordismOfKnots}
\bibcite{Talk:Chicago-1009}{BN1}
\bibcite{Talk:NCSU-1604}{BN2}
\newlabel{mor:frakg}{{6}{21}{Some Context and Some Morals}{Item.6}{}}
\@writefile{toc}{\contentsline {section}{References}{21}{section*.3}\protected@file@percent }
\bibcite{Talk:Indiana-1611}{BN3}
\bibcite{Talk:LesDiablerets-1708}{BN4}
\bibcite{Talk:Toronto-1811}{BN5}
\bibcite{Talk:DaNang-1905}{BN6}
\bibcite{Talk:Sydney-190916}{BN7}
\bibcite{Talk:UCLA-191101}{BN8}
\bibcite{Talk:Waco-2203}{BN9}
\bibcite{Talk:Geneva-2206}{BN10}
\bibcite{WKO1}{BD}
\bibcite{Bar-NatanGaroufalidis:MMR}{BNG}
\bibcite{PP1}{BV1}
\bibcite{Talk:Matemale-1804}{BV2}
\bibcite{PG}{BV3}
\bibcite{Self}{BV4}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Burau:Zopfgruppen}{Bu}
\bibcite{Drinfeld:QuantumGroups}{Dr}
\bibcite{EtingofSchiffman:QuantumGroups}{ES}
\bibcite{Fox:Problems}{Fo}
\bibcite{FoxMilnor:CobordismOfKnots}{FM}
\bibcite{GaroufalidisRozansky:LoopExpansion}{GR}
\bibcite{GompfScharlemannThompson:Counterexample}{GST}
\bibcite{Jones:Hecke}{Jo}
\bibcite{Kricker:Lines}{Kr}
\bibcite{Lawrence:UniversalUsingQG}{La1}
\bibcite{Lawrence:Universal}{La2}
\bibcite{LinTianWang:RandomWalk}{LTW}
\bibcite{MelvinMorton:Coloured}{MM}
\bibcite{Ohtsuki:QuantumInvariants}{Oh}
\bibcite{Overbay:Thesis}{Ov}
\bibcite{Polyak:RMoves}{Po}
\bibcite{Rozansky:TrivialFlatI}{Ro1}
\bibcite{Rozansky:Burau}{Ro2}
\bibcite{Rozansky:U1RCC}{Ro3}
\bibcite{Schaveling:Thesis}{Sch}
\bibcite{Storjohann:ComplexityOfInversion}{St}
\bibcite{Wolfram:Mathematica}{Wo}
\zref@newlabel{LastPage}{\default{4}\page{24}}
\gdef \@abspage@last{24}