\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{Self}
\pp@spagectr{FN@totalid}{1}{1}{1}
\pp@spagectr{FN@totalid}{2}{1}{1}
\pp@spagectr{FN@totalid}{3}{1}{1}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Fheorems and Froofs}}{1}{section.1}\protected@file@percent }
\newlabel{disc:first}{{1.1}{1}{}{equation.1.1}{}}
\pp@spagectr{FN@totalid}{4}{1}{1}
\@writefile{brf}{\backcite{Self}{{1}{1}{Doc-Start}}}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }}{2}{figure.caption.2}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:OUExamples}{{1}{2}{The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }{figure.caption.2}{}}
\newlabel{def:OU}{{1.3}{2}{}{equation.1.3}{}}
\pp@spagectr{FN@totalid}{5}{1}{2}
\newlabel{fhm:every}{{1.5}{2}{Gliding}{equation.1.5}{}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{2}{2}{equation.1.3}}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Glide moves between two crossings and bulk glide moves.\relax }}{3}{figure.caption.3}\protected@file@percent }
\newlabel{fig:Gliding}{{2}{3}{Glide moves between two crossings and bulk glide moves.\relax }{figure.caption.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Two possibilities for ``interacting'' UO intervals (each marked with a\nonbreakingspace $\bullet $ symbol).\relax }}{3}{figure.caption.4}\protected@file@percent }
\newlabel{fig:unique}{{3}{3}{Two possibilities for ``interacting'' UO intervals (each marked with a~$\bullet $ symbol).\relax }{figure.caption.4}{}}
\newlabel{thm:unique}{{1.6}{3}{}{equation.1.6}{}}
\newlabel{for:UniqueReduced}{{1.8}{3}{Separation of Tangles}{equation.1.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }}{4}{figure.caption.5}\protected@file@percent }
\newlabel{fig:R1R2}{{4}{4}{R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }{figure.caption.5}{}}
\newlabel{for:classification}{{1.9}{4}{of Forollary~\ref {for:UniqueReduced}}{equation.1.9}{}}
\newlabel{disc:froofs1}{{1.10}{4}{}{equation.1.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces  An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }}{5}{figure.caption.6}\protected@file@percent }
\newlabel{fig:swirls}{{5}{5}{An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }{figure.caption.6}{}}
\newlabel{disc:Options}{{1.13}{5}{}{equation.1.13}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Theorems and Proofs}}{5}{section.2}\protected@file@percent }
\newlabel{ssec:classical}{{2.1}{5}{The Classical Case}{subsection.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{The Classical Case}}{5}{subsection.2.1}\protected@file@percent }
\pp@spagectr{FN@totalid}{6}{1}{5}
\newlabel{exa:acyclic}{{2.2}{6}{}{equation.2.2}{}}
\newlabel{thm:acyclic}{{2.3}{6}{}{equation.2.3}{}}
\newlabel{cor:GammaIso}{{2.5}{6}{}{equation.2.5}{}}
\newlabel{cor:actions}{{2.6}{6}{}{equation.2.6}{}}
\citation{BirmanBrendle:BraidsSurvey}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }}{7}{figure.caption.7}\protected@file@percent }
\newlabel{fig:stirring}{{6}{7}{Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }{figure.caption.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Stirring is gliding.\relax }}{7}{figure.caption.8}\protected@file@percent }
\newlabel{fig:StirringIsGliding}{{7}{7}{Stirring is gliding.\relax }{figure.caption.8}{}}
\newlabel{thm:iso}{{2.7}{7}{Classical Isomorphism}{equation.2.7}{}}
\pp@spagectr{FN@totalid}{7}{1}{7}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{7}{4}{figure.caption.7}}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Manturov:VirtualKnots}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The map $\Lambda $ turning an OU tangle into a braid.\relax }}{8}{figure.caption.9}\protected@file@percent }
\newlabel{fig:ReverseGamma}{{8}{8}{The map $\Lambda $ turning an OU tangle into a braid.\relax }{figure.caption.9}{}}
\pp@spagectr{FN@totalid}{8}{1}{8}
\newlabel{cor:braids}{{2.8}{8}{}{equation.2.8}{}}
\newlabel{cor:cOUisBraids}{{2.9}{8}{}{equation.2.9}{}}
\newlabel{ssec:virtual}{{2.2}{8}{The Virtual Case}{subsection.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{The Virtual Case}}{8}{subsection.2.2}\protected@file@percent }
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{8}{2.2}{subsection.2.2}}}
\citation{Talk:GvI}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }}{9}{figure.caption.10}\protected@file@percent }
\newlabel{fig:vexamples}{{9}{9}{A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }{figure.caption.10}{}}
\pp@spagectr{FN@totalid}{9}{1}{9}
\@writefile{brf}{\backcite{Talk:GvI}{{9}{6}{figure.caption.10}}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{GodelleParis:WordProblems}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{2.2}{figure.caption.10}}}
\newlabel{thm:vinj}{{2.11}{10}{}{equation.2.11}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{2.11}{equation.2.11}}}
\newlabel{cor:vbraids}{{2.12}{10}{}{equation.2.12}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{2.12}{equation.2.12}}}
\pp@spagectr{FN@totalid}{10}{1}{10}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{2.13}{equation.2.13}}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{10}{2.14}{equation.2.14}}}
\newlabel{disc:plan}{{2.15}{10}{}{equation.2.15}{}}
\newlabel{exa:indivisible}{{2.17}{10}{}{equation.2.17}{}}
\newlabel{exa:GarsideHexagon}{{2.18}{10}{}{equation.2.18}{}}
\@writefile{brf}{\backcite{GodelleParis:WordProblems}{{10}{7}{equation.2.12}}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\mathit  {CR}_3$, $\mathit  {CR}_4$, and $\mathit  {CR}_5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url  {https://thenounproject.com/}. \relax }}{11}{figure.caption.11}\protected@file@percent }
\newlabel{fig:CinnamonRolls}{{10}{11}{The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\CR _3$, $\CR _4$, and $\CR _5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url {https://thenounproject.com/}. \relax }{figure.caption.11}{}}
\newlabel{exa:CinnamonRolls}{{2.19}{11}{}{equation.2.19}{}}
\newlabel{eq:CinnamonRolls}{{2.20}{11}{}{equation.2.20}{}}
\newlabel{exa:SCR}{{2.21}{11}{}{equation.2.21}{}}
\newlabel{eq:SCRBraids1}{{2.22}{11}{}{equation.2.22}{}}
\pp@spagectr{FN@totalid}{11}{1}{11}
\newlabel{disc:divquo}{{2.23}{11}{}{equation.2.23}{}}
\pp@spagectr{FN@totalid}{12}{1}{11}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces A slashed cinnamon roll and its quotients down to the identity.\relax }}{12}{figure.caption.12}\protected@file@percent }
\newlabel{fig:SCR}{{11}{12}{A slashed cinnamon roll and its quotients down to the identity.\relax }{figure.caption.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Everything we need to know about divisibility and quotients.\relax }}{12}{figure.caption.13}\protected@file@percent }
\newlabel{fig:divquo}{{12}{12}{Everything we need to know about divisibility and quotients.\relax }{figure.caption.13}{}}
\citation{Bergman:Diamond}
\citation{Sapir:CombinatorialAlgebra}
\citation{Smolka:Confluence}
\pp@spagectr{FN@totalid}{13}{1}{13}
\newlabel{lem:divquo}{{2.24}{13}{Division}{equation.2.24}{}}
\pp@spagectr{FN@totalid}{14}{1}{13}
\@writefile{brf}{\backcite{Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{13}{2.2}{Item.3}}}
\newlabel{def:diamond}{{2.25}{13}{}{equation.2.25}{}}
\newlabel{foot:parallel}{{11}{13}{The Virtual Case}{Item.3}{}}
\citation{Newman:DiamondLemma}
\newlabel{lem:diamond}{{2.26}{14}{}{equation.2.26}{}}
\@writefile{brf}{\backcite{Newman:DiamondLemma}{{14}{2.26}{equation.2.26}}}
\newlabel{disc:to}{{2.29}{14}{}{equation.2.29}{}}
\newlabel{eq:DiamondInX}{{2.30}{15}{}{equation.2.30}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Two other slashed cinnamon rolls.\relax }}{16}{figure.caption.14}\protected@file@percent }
\newlabel{fig:Cases23}{{13}{16}{Two other slashed cinnamon rolls.\relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces The what ifs.\relax }}{16}{figure.caption.15}\protected@file@percent }
\newlabel{fig:WhatIfs}{{14}{16}{The what ifs.\relax }{figure.caption.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Case 2 and the resulting diamond.\relax }}{17}{figure.caption.16}\protected@file@percent }
\newlabel{fig:CaseM}{{15}{17}{Case 2 and the resulting diamond.\relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces The diamond for case 4.\relax }}{17}{figure.caption.17}\protected@file@percent }
\newlabel{fig:Square}{{16}{17}{The diamond for case 4.\relax }{figure.caption.17}{}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\newlabel{ssec:Assorted}{{2.3}{18}{Assorted Comments}{subsection.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{Assorted Comments}}{18}{subsection.2.3}\protected@file@percent }
\newlabel{disc:Chterental}{{2.32}{18}{}{equation.2.32}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{18}{2.32}{equation.2.32}}}
\pp@spagectr{FN@totalid}{15}{1}{18}
\pp@spagectr{FN@totalid}{16}{1}{18}
\citation{Artin:TheoryOfBraids}
\citation{AudoxBellingeriMeilhanWagner:UVWHomotopy}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }}{19}{figure.caption.18}\protected@file@percent }
\newlabel{fig:VCD}{{17}{19}{A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }{figure.caption.18}{}}
\newlabel{rem:classical}{{2.33}{19}{}{equation.2.33}{}}
\newlabel{rem:tent}{{2.34}{19}{}{equation.2.34}{}}
\newlabel{rem:TwoSquares}{{2.35}{19}{}{equation.2.35}{}}
\citation{Bar-Natan:glN}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Woronowicz:Solutions}
\citation{MurakamiVanDerVeen:Quantized}
\pp@spagectr{FN@totalid}{17}{1}{20}
\@writefile{brf}{\backcite{Artin:TheoryOfBraids}{{20}{2.35}{equation.2.35}}}
\pp@spagectr{FN@totalid}{18}{1}{20}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{{20}{2.35}{equation.2.35}}}
\@writefile{brf}{\backcite{Bar-Natan:glN}{{20}{2.3}{equation.2.36}}}
\newlabel{disc:OUH}{{2.37}{20}{}{equation.2.37}{}}
\pp@spagectr{FN@totalid}{19}{1}{20}
\pp@spagectr{FN@totalid}{20}{1}{20}
\@writefile{brf}{\backcite{Kauffman:RotationalVirtualKnots}{{20}{2.38}{equation.2.38}}}
\@writefile{brf}{\backcite{Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{20}{2.39}{equation.2.39}}}
\newlabel{rem:core}{{2.40}{20}{}{equation.2.40}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces  A virtual O/U tangle in $v\mathcal  {OU}^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\operatorname  {Hom}(H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }}{21}{figure.caption.19}\protected@file@percent }
\newlabel{fig:HopfWords}{{18}{21}{A virtual O/U tangle in $\vcalOU ^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\Hom (H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }{figure.caption.19}{}}
\newlabel{disc:EG}{{2.41}{21}{}{equation.2.41}{}}
\pp@spagectr{FN@totalid}{21}{1}{21}
\citation{Wolfram:Mathematica}
\citation{Self}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Some Computations}}{22}{section.3}\protected@file@percent }
\newlabel{sec:comp}{{3}{22}{Some Computations}{section.3}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{22}{3}{section.3}}}
\@writefile{brf}{\backcite{Self}{{22}{3}{section.3}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Implementing virtual OU tangles, virtual braids, and $\mathit  {Ch}$}}{22}{subsection.3.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Tabulating Virtual Pure Braids}}{24}{subsection.3.2}\protected@file@percent }
\citation{Self}
\citation{Self}
\citation{Epstein:WordProcessing}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{brf}{\backcite{Self}{{26}{3.2}{subsection.3.2}}}
\@writefile{brf}{\backcite{Self}{{26}{3.2}{subsection.3.2}}}
\pp@spagectr{FN@totalid}{22}{1}{26}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{Tabulating Classical Braids}}{26}{subsection.3.3}\protected@file@percent }
\@writefile{brf}{\backcite{Epstein:WordProcessing}{{26}{3.3}{subsection.3.3}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{26}{3.3}{subsection.3.3}}}
\citation{Self}
\@writefile{brf}{\backcite{Self}{{27}{3.3}{subsection.3.3}}}
\newlabel{ssec:EG}{{3.4}{27}{Extraction Graphs}{subsection.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.4}{Extraction Graphs}}{27}{subsection.3.4}\protected@file@percent }
\citation{Self}
\newlabel{ssec:CC}{{3.5}{30}{Computational Complexity}{subsection.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.5}{Computational Complexity}}{30}{subsection.3.5}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{30}{3.5}{subsection.3.5}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{There's more!}}{30}{section.4}\protected@file@percent }
\newlabel{sec:more}{{4}{30}{There's more!}{section.4}{}}
\citation{Talk:OU}
\citation{ThurstonD:Sutured}
\citation{Milnor:LinkGroups}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\citation{KBH}
\citation{KBH}
\citation{WKO2}
\citation{WKO3}
\citation{WKO4}
\citation{WKO4}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Weakening the Bond}}{31}{subsection.4.1}\protected@file@percent }
\@writefile{brf}{\backcite{Talk:OU}{{31}{4.1}{subsection.4.1}}}
\@writefile{brf}{\backcite{ThurstonD:Sutured}{{31}{4.1}{subsection.4.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Prior Art}}{31}{subsection.4.2}\protected@file@percent }
\@writefile{brf}{\backcite{Milnor:LinkGroups}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{KBH}{{31}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO2, WKO3, WKO4}{{31}{4.2}{subsection.4.2}}}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\citation{Enriquez:QuantizationFunctors}
\citation{WKO2}
\citation{Caen}
\citation{MasterClass}
\citation{WKO1}
\citation{EtingofKazhdan:BialgebrasI}
\citation{Severa:BialgebrasRevisited}
\bibcite{Artin:TheoryOfBraids}{Ar}
\bibcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{ABMW1}
\bibcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{ABMW2}
\bibcite{AudouxMeilhan:PeripheralSystems}{AM}
\bibcite{Bar-Natan:glN}{BN1}
\bibcite{Caen}{BN2}
\bibcite{MasterClass}{BN3}
\bibcite{KBH}{BN4}
\bibcite{Talk:OU}{BN5}
\@writefile{brf}{\backcite{WKO4}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Enriquez:QuantizationFunctors}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO2}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Caen, MasterClass}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO1}{{32}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{32}{4.2}{subsection.4.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Acknowledgement}}{32}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{32}{section*.20}\protected@file@percent }
\bibcite{Talk:GvI}{BN6}
\bibcite{WKO4}{BN7}
\bibcite{WKO1}{BD1}
\bibcite{WKO2}{BD2}
\bibcite{WKO3}{BD3}
\bibcite{Self}{BDV}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Bergman:Diamond}{Be}
\bibcite{BirmanBrendle:BraidsSurvey}{BB}
\bibcite{Chterental:VBandVCD}{Ch1}
\bibcite{Chterental:Thesis}{Ch2}
\bibcite{Enriquez:UniversalAlgebras}{En1}
\bibcite{Enriquez:QuantizationFunctors}{En2}
\bibcite{Epstein:WordProcessing}{Ep}
\bibcite{EtingofKazhdan:BialgebrasI}{EK}
\bibcite{GodelleParis:WordProblems}{GP}
\bibcite{Kauffman:VirtualKnotTheory}{Ka1}
\bibcite{Kauffman:RotationalVirtualKnots}{Ka2}
\bibcite{Manturov:VirtualKnots}{Ma}
\bibcite{Milnor:LinkGroups}{Mi}
\bibcite{MurakamiVanDerVeen:Quantized}{MV}
\bibcite{Newman:DiamondLemma}{Ne}
\bibcite{Sapir:CombinatorialAlgebra}{Sa}
\bibcite{Severa:BialgebrasRevisited}{Se}
\bibcite{Smolka:Confluence}{Sm}
\bibcite{ThurstonD:Sutured}{Th}
\bibcite{Wolfram:Mathematica}{Wol}
\bibcite{Woronowicz:Solutions}{Wor}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}
\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{Self}
\pp@spagectr{FN@totalid}{1}{1}{1}
\pp@spagectr{FN@totalid}{2}{1}{1}
\pp@spagectr{FN@totalid}{3}{1}{1}
\@writefile{brf}{\backcite{Self}{{1}{}{Doc-Start}}}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }}{3}{figure.caption.2}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:OUExamples}{{1}{3}{The tangle diagram (A) is OU as strand 1 is all ``over'' (so it has an empty ``U'' part) and strand 2 is all ``under'' (so it has an empty ``O'' part). The tangle diagram (B) is not OU: strand 1 is O then U, but strand 2 is U then O. Yet the tangle represented by (B) is OU because it is also represented by (C), which is OU. The diagram (D) is again OU; which familiar tangle does it represent? \relax }{figure.caption.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Fheorems and Froofs}}{3}{section.1}\protected@file@percent }
\newlabel{disc:first}{{1.1}{3}{}{equation.1.1}{}}
\pp@spagectr{FN@totalid}{4}{1}{3}
\newlabel{def:OU}{{1.3}{3}{}{equation.1.3}{}}
\pp@spagectr{FN@totalid}{5}{1}{3}
\newlabel{fhm:every}{{1.5}{3}{Gliding}{equation.1.5}{}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{3}{2}{equation.1.3}}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Glide moves between two crossings and bulk glide moves.\relax }}{4}{figure.caption.3}\protected@file@percent }
\newlabel{fig:Gliding}{{2}{4}{Glide moves between two crossings and bulk glide moves.\relax }{figure.caption.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Two possibilities for ``interacting'' UO intervals (each marked with a\nonbreakingspace $\bullet $ symbol).\relax }}{4}{figure.caption.4}\protected@file@percent }
\newlabel{fig:unique}{{3}{4}{Two possibilities for ``interacting'' UO intervals (each marked with a~$\bullet $ symbol).\relax }{figure.caption.4}{}}
\newlabel{thm:unique}{{1.6}{4}{}{equation.1.6}{}}
\newlabel{for:UniqueReduced}{{1.8}{4}{Separation of Tangles}{equation.1.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }}{5}{figure.caption.5}\protected@file@percent }
\newlabel{fig:R1R2}{{4}{5}{R1 and R2 moves ``commute'' with glides (A), or they make glides redundant (B), (C).\relax }{figure.caption.5}{}}
\newlabel{for:classification}{{1.9}{5}{of Forollary~\ref {for:UniqueReduced}}{equation.1.9}{}}
\newlabel{disc:froofs1}{{1.10}{5}{}{equation.1.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces  An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }}{6}{figure.caption.6}\protected@file@percent }
\newlabel{fig:swirls}{{5}{6}{An attempt to fix a non-OU tangle diagram. In each step we use a single glide move to fix the first UO sequence encountered on strand 1 (we mark it with a $\bullet $), but things get progressively more complicated. The O/U sequences below the diagrams are listed from the perspective of strand 1. \relax }{figure.caption.6}{}}
\newlabel{disc:Options}{{1.13}{6}{}{equation.1.13}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Theorems and Proofs}}{7}{section.2}\protected@file@percent }
\newlabel{ssec:classical}{{2.1}{9}{The Classical Case}{subsection.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{The Classical Case}}{9}{subsection.2.1}\protected@file@percent }
\pp@spagectr{FN@totalid}{6}{1}{9}
\newlabel{exa:acyclic}{{2.2}{9}{}{equation.2.2}{}}
\newlabel{thm:acyclic}{{2.3}{9}{}{equation.2.3}{}}
\newlabel{cor:GammaIso}{{2.5}{9}{}{equation.2.5}{}}
\newlabel{cor:actions}{{2.6}{9}{}{equation.2.6}{}}
\citation{BirmanBrendle:BraidsSurvey}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }}{10}{figure.caption.7}\protected@file@percent }
\newlabel{fig:stirring}{{6}{10}{Stirring a pool of tahini sauce garnished with parsley lines using a braid whisk.\relax }{figure.caption.7}{}}
\newlabel{thm:iso}{{2.7}{10}{Classical Isomorphism}{equation.2.7}{}}
\@writefile{brf}{\backcite{BirmanBrendle:BraidsSurvey}{{10}{4}{figure.caption.7}}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Stirring is gliding.\relax }}{11}{figure.caption.8}\protected@file@percent }
\newlabel{fig:StirringIsGliding}{{7}{11}{Stirring is gliding.\relax }{figure.caption.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The map $\Lambda $ turning an OU tangle into a braid.\relax }}{11}{figure.caption.9}\protected@file@percent }
\newlabel{fig:ReverseGamma}{{8}{11}{The map $\Lambda $ turning an OU tangle into a braid.\relax }{figure.caption.9}{}}
\pp@spagectr{FN@totalid}{7}{1}{11}
\pp@spagectr{FN@totalid}{8}{1}{11}
\newlabel{cor:braids}{{2.8}{11}{}{equation.2.8}{}}
\newlabel{cor:cOUisBraids}{{2.9}{12}{}{equation.2.9}{}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Manturov:VirtualKnots}
\citation{Talk:GvI}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces  A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }}{13}{figure.caption.10}\protected@file@percent }
\newlabel{fig:vexamples}{{9}{13}{A 3-crossing knot and a 2-crossing virtual knot, a 3-crossing braid and a 2-crossing virtual braid, and a 3-crossing tangle and a 2-crossing virtual tangle. \relax }{figure.caption.10}{}}
\newlabel{ssec:virtual}{{2.2}{13}{The Virtual Case}{subsection.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{The Virtual Case}}{13}{subsection.2.2}\protected@file@percent }
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{13}{2.2}{subsection.2.2}}}
\pp@spagectr{FN@totalid}{9}{1}{13}
\@writefile{brf}{\backcite{Talk:GvI}{{13}{6}{figure.caption.10}}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{GodelleParis:WordProblems}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{2.2}{figure.caption.10}}}
\newlabel{thm:vinj}{{2.11}{14}{}{equation.2.11}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{2.11}{equation.2.11}}}
\newlabel{cor:vbraids}{{2.12}{14}{}{equation.2.12}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{2.12}{equation.2.12}}}
\pp@spagectr{FN@totalid}{10}{1}{14}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{2.13}{equation.2.13}}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{14}{2.14}{equation.2.14}}}
\newlabel{disc:plan}{{2.15}{14}{}{equation.2.15}{}}
\newlabel{exa:indivisible}{{2.17}{14}{}{equation.2.17}{}}
\@writefile{brf}{\backcite{GodelleParis:WordProblems}{{14}{7}{equation.2.12}}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces  The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\mathit  {CR}_3$, $\mathit  {CR}_4$, and $\mathit  {CR}_5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url  {https://thenounproject.com/}. \relax }}{15}{figure.caption.11}\protected@file@percent }
\newlabel{fig:CinnamonRolls}{{10}{15}{The 3-twist, 4-twist, and 5-twist braids, and their reduced OU forms the Cinnamon Roll tangles $\CR _3$, $\CR _4$, and $\CR _5$. The equivalence of the twist braids with their respective cinnamon rolls should be clear to anyone who has observed how a kink in a band becomes a twisted band upon tugging. The bonus cinnamon roll was purchased from \url {https://thenounproject.com/}. \relax }{figure.caption.11}{}}
\newlabel{exa:GarsideHexagon}{{2.18}{15}{}{equation.2.18}{}}
\newlabel{exa:CinnamonRolls}{{2.19}{15}{}{equation.2.19}{}}
\newlabel{eq:CinnamonRolls}{{2.20}{15}{}{equation.2.20}{}}
\newlabel{exa:SCR}{{2.21}{15}{}{equation.2.21}{}}
\newlabel{eq:SCRBraids1}{{2.22}{15}{}{equation.2.22}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces A slashed cinnamon roll and its quotients down to the identity.\relax }}{16}{figure.caption.12}\protected@file@percent }
\newlabel{fig:SCR}{{11}{16}{A slashed cinnamon roll and its quotients down to the identity.\relax }{figure.caption.12}{}}
\pp@spagectr{FN@totalid}{11}{1}{16}
\newlabel{disc:divquo}{{2.23}{16}{}{equation.2.23}{}}
\pp@spagectr{FN@totalid}{12}{1}{16}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Everything we need to know about divisibility and quotients.\relax }}{17}{figure.caption.13}\protected@file@percent }
\newlabel{fig:divquo}{{12}{17}{Everything we need to know about divisibility and quotients.\relax }{figure.caption.13}{}}
\pp@spagectr{FN@totalid}{13}{1}{17}
\newlabel{lem:divquo}{{2.24}{17}{Division}{equation.2.24}{}}
\citation{Bergman:Diamond}
\citation{Sapir:CombinatorialAlgebra}
\citation{Smolka:Confluence}
\citation{Newman:DiamondLemma}
\pp@spagectr{FN@totalid}{14}{1}{18}
\@writefile{brf}{\backcite{Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{18}{2.2}{Item.3}}}
\newlabel{def:diamond}{{2.25}{18}{}{equation.2.25}{}}
\newlabel{lem:diamond}{{2.26}{18}{}{equation.2.26}{}}
\@writefile{brf}{\backcite{Newman:DiamondLemma}{{18}{2.26}{equation.2.26}}}
\newlabel{foot:parallel}{{11}{18}{The Virtual Case}{Item.3}{}}
\newlabel{disc:to}{{2.29}{19}{}{equation.2.29}{}}
\newlabel{eq:DiamondInX}{{2.30}{19}{}{equation.2.30}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Two other slashed cinnamon rolls.\relax }}{20}{figure.caption.14}\protected@file@percent }
\newlabel{fig:Cases23}{{13}{20}{Two other slashed cinnamon rolls.\relax }{figure.caption.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces The what ifs.\relax }}{21}{figure.caption.15}\protected@file@percent }
\newlabel{fig:WhatIfs}{{14}{21}{The what ifs.\relax }{figure.caption.15}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Case 2 and the resulting diamond.\relax }}{21}{figure.caption.16}\protected@file@percent }
\newlabel{fig:CaseM}{{15}{21}{Case 2 and the resulting diamond.\relax }{figure.caption.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces The diamond for case 4.\relax }}{22}{figure.caption.17}\protected@file@percent }
\newlabel{fig:Square}{{16}{22}{The diamond for case 4.\relax }{figure.caption.17}{}}
\citation{Chterental:VBandVCD}
\citation{Chterental:Thesis}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }}{23}{figure.caption.18}\protected@file@percent }
\newlabel{fig:VCD}{{17}{23}{A Chterental Virtual Curve Diagram (VCD) and the corresponding virtual OU tangle.\relax }{figure.caption.18}{}}
\newlabel{ssec:Assorted}{{2.3}{23}{Assorted Comments}{subsection.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{Assorted Comments}}{23}{subsection.2.3}\protected@file@percent }
\newlabel{disc:Chterental}{{2.32}{23}{}{equation.2.32}{}}
\@writefile{brf}{\backcite{Chterental:VBandVCD, Chterental:Thesis}{{23}{2.32}{equation.2.32}}}
\pp@spagectr{FN@totalid}{15}{1}{23}
\pp@spagectr{FN@totalid}{16}{1}{23}
\newlabel{rem:classical}{{2.33}{23}{}{equation.2.33}{}}
\citation{Artin:TheoryOfBraids}
\citation{AudoxBellingeriMeilhanWagner:UVWHomotopy}
\citation{Bar-Natan:glN}
\newlabel{rem:tent}{{2.34}{24}{}{equation.2.34}{}}
\newlabel{rem:TwoSquares}{{2.35}{24}{}{equation.2.35}{}}
\pp@spagectr{FN@totalid}{17}{1}{24}
\@writefile{brf}{\backcite{Artin:TheoryOfBraids}{{24}{2.35}{equation.2.35}}}
\pp@spagectr{FN@totalid}{18}{1}{24}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{{24}{2.35}{equation.2.35}}}
\@writefile{brf}{\backcite{Bar-Natan:glN}{{24}{2.3}{equation.2.36}}}
\newlabel{disc:OUH}{{2.37}{24}{}{equation.2.37}{}}
\citation{Kauffman:RotationalVirtualKnots}
\citation{Woronowicz:Solutions}
\citation{MurakamiVanDerVeen:Quantized}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces  A virtual O/U tangle in $v\mathcal  {OU}^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\operatorname  {Hom}(H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }}{25}{figure.caption.19}\protected@file@percent }
\newlabel{fig:HopfWords}{{18}{25}{A virtual O/U tangle in $\vcalOU ^2_3$ becomes a Gauss diagram becomes a universal Hopf formula representing an element of $\Hom (H^{\otimes 2} \to H^{\otimes 3})$. Note that the antipode $S$ is inserted on the $(-)$-marked edges of the Gauss diagram, which correspond to the negative crossings of the tangle. \relax }{figure.caption.19}{}}
\pp@spagectr{FN@totalid}{19}{1}{25}
\pp@spagectr{FN@totalid}{20}{1}{25}
\@writefile{brf}{\backcite{Kauffman:RotationalVirtualKnots}{{25}{2.38}{equation.2.38}}}
\@writefile{brf}{\backcite{Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{25}{2.39}{equation.2.39}}}
\newlabel{rem:core}{{2.40}{25}{}{equation.2.40}{}}
\newlabel{disc:EG}{{2.41}{25}{}{equation.2.41}{}}
\pp@spagectr{FN@totalid}{21}{1}{26}
\citation{Wolfram:Mathematica}
\citation{Self}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Some Computations}}{27}{section.3}\protected@file@percent }
\newlabel{sec:comp}{{3}{27}{Some Computations}{section.3}{}}
\@writefile{brf}{\backcite{Wolfram:Mathematica}{{27}{3}{section.3}}}
\@writefile{brf}{\backcite{Self}{{27}{3}{section.3}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Implementing virtual OU tangles, virtual braids, and $\mathit  {Ch}$}}{27}{subsection.3.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Tabulating Virtual Pure Braids}}{29}{subsection.3.2}\protected@file@percent }
\citation{Self}
\citation{Self}
\citation{Epstein:WordProcessing}
\citation{Bar-NatanMorrison:KnotTheory}
\@writefile{brf}{\backcite{Self}{{31}{3.2}{subsection.3.2}}}
\@writefile{brf}{\backcite{Self}{{31}{3.2}{subsection.3.2}}}
\pp@spagectr{FN@totalid}{22}{1}{31}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{Tabulating Classical Braids}}{31}{subsection.3.3}\protected@file@percent }
\@writefile{brf}{\backcite{Epstein:WordProcessing}{{31}{3.3}{subsection.3.3}}}
\@writefile{brf}{\backcite{Bar-NatanMorrison:KnotTheory}{{31}{3.3}{subsection.3.3}}}
\citation{Self}
\@writefile{brf}{\backcite{Self}{{32}{3.3}{subsection.3.3}}}
\newlabel{ssec:EG}{{3.4}{32}{Extraction Graphs}{subsection.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.4}{Extraction Graphs}}{32}{subsection.3.4}\protected@file@percent }
\citation{Self}
\newlabel{ssec:CC}{{3.5}{35}{Computational Complexity}{subsection.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.5}{Computational Complexity}}{35}{subsection.3.5}\protected@file@percent }
\@writefile{brf}{\backcite{Self}{{35}{3.5}{subsection.3.5}}}
\citation{Talk:OU}
\citation{ThurstonD:Sutured}
\citation{Milnor:LinkGroups}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudouxMeilhan:PeripheralSystems}
\citation{AudoxBellingeriMeilhanWagner:WeldedStringLinks}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{There's more!}}{37}{section.4}\protected@file@percent }
\newlabel{sec:more}{{4}{37}{There's more!}{section.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Weakening the Bond}}{37}{subsection.4.1}\protected@file@percent }
\@writefile{brf}{\backcite{Talk:OU}{{37}{4.1}{subsection.4.1}}}
\@writefile{brf}{\backcite{ThurstonD:Sutured}{{37}{4.1}{subsection.4.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Prior Art}}{37}{subsection.4.2}\protected@file@percent }
\@writefile{brf}{\backcite{Milnor:LinkGroups}{{37}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{37}{4.2}{subsection.4.2}}}
\citation{KBH}
\citation{KBH}
\citation{WKO2}
\citation{WKO3}
\citation{WKO4}
\citation{WKO4}
\citation{Enriquez:UniversalAlgebras}
\citation{Enriquez:QuantizationFunctors}
\citation{Enriquez:QuantizationFunctors}
\citation{WKO2}
\citation{Caen}
\citation{MasterClass}
\citation{WKO1}
\citation{EtingofKazhdan:BialgebrasI}
\citation{Severa:BialgebrasRevisited}
\@writefile{brf}{\backcite{AudouxMeilhan:PeripheralSystems}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{KBH}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{KBH}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO2, WKO3, WKO4}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO4}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Enriquez:QuantizationFunctors}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO2}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{Caen, MasterClass}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{WKO1}{{38}{4.2}{subsection.4.2}}}
\@writefile{brf}{\backcite{EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{38}{4.2}{subsection.4.2}}}
\bibcite{Artin:TheoryOfBraids}{Ar}
\bibcite{AudoxBellingeriMeilhanWagner:WeldedStringLinks}{ABMW1}
\bibcite{AudoxBellingeriMeilhanWagner:UVWHomotopy}{ABMW2}
\bibcite{AudouxMeilhan:PeripheralSystems}{AM}
\bibcite{Bar-Natan:glN}{BN1}
\bibcite{Caen}{BN2}
\bibcite{MasterClass}{BN3}
\bibcite{KBH}{BN4}
\bibcite{Talk:OU}{BN5}
\bibcite{Talk:GvI}{BN6}
\bibcite{WKO4}{BN7}
\bibcite{WKO1}{BD1}
\bibcite{WKO2}{BD2}
\bibcite{WKO3}{BD3}
\bibcite{Self}{BDV}
\bibcite{Bar-NatanMorrison:KnotTheory}{BM}
\bibcite{Bergman:Diamond}{Be}
\bibcite{BirmanBrendle:BraidsSurvey}{BB}
\bibcite{Chterental:VBandVCD}{Ch1}
\bibcite{Chterental:Thesis}{Ch2}
\bibcite{Enriquez:UniversalAlgebras}{En1}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Acknowledgement}}{39}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{39}{section*.20}\protected@file@percent }
\bibcite{Enriquez:QuantizationFunctors}{En2}
\bibcite{Epstein:WordProcessing}{Ep}
\bibcite{EtingofKazhdan:BialgebrasI}{EK}
\bibcite{GodelleParis:WordProblems}{GP}
\bibcite{Kauffman:VirtualKnotTheory}{Ka1}
\bibcite{Kauffman:RotationalVirtualKnots}{Ka2}
\bibcite{Manturov:VirtualKnots}{Ma}
\bibcite{Milnor:LinkGroups}{Mi}
\bibcite{MurakamiVanDerVeen:Quantized}{MV}
\bibcite{Newman:DiamondLemma}{Ne}
\bibcite{Sapir:CombinatorialAlgebra}{Sa}
\bibcite{Severa:BialgebrasRevisited}{Se}
\bibcite{Smolka:Confluence}{Sm}
\bibcite{ThurstonD:Sutured}{Th}
\bibcite{Wolfram:Mathematica}{Wol}
\bibcite{Woronowicz:Solutions}{Wor}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Extras for Talks/TrendsInLDT-2005}}{41}{section.6}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{Recycling}}{43}{section.7}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{Recycled April 22, 2020}}{43}{subsection.7.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{Recycled May 11, 2020}}{43}{subsection.7.2}\protected@file@percent }
\newlabel{lem:div}{{7.1}{43}{}{equation.7.1}{}}
\newlabel{disc:divides}{{7.2}{43}{}{equation.7.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {19}{\ignorespaces Proof of the ``only if'' side of Lemma\nonbreakingspace \ref  {lem:div}.\relax }}{44}{figure.caption.21}\protected@file@percent }
\newlabel{fig:hard}{{19}{44}{Proof of the ``only if'' side of Lemma~\ref {lem:div}.\relax }{figure.caption.21}{}}
\citation{Kauffman:VirtualKnotTheory}
\citation{Turaev:Knotoids}
\citation{Kauffman:VirtualKnotTheory}
\citation{Turaev:Knotoids}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3}{Also recycled May 11, 2020}}{45}{subsection.7.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.4}{Recycled May 27, 2020}}{45}{subsection.7.4}\protected@file@percent }
\bibcite{Turaev:Knotoids}{Tu}
\@writefile{lof}{\contentsline {figure}{\numberline {20}{\ignorespaces The Reidemeister 3 Diamond.\relax }}{46}{figure.caption.22}\protected@file@percent }
\newlabel{fig:R3Diamond}{{20}{46}{The Reidemeister 3 Diamond.\relax }{figure.caption.22}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {21}{\ignorespaces Stirring cappuccino with a braid whisk.\relax }}{46}{figure.caption.23}\protected@file@percent }
\newlabel{fig:StirringOneRow}{{21}{46}{Stirring cappuccino with a braid whisk.\relax }{figure.caption.23}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {22}{\ignorespaces  Attempting to fix a non-OU tangle diagram in the virtual\nonbreakingspace \cite  {Kauffman:VirtualKnotTheory} / tangloid\nonbreakingspace \cite  {Turaev:Knotoids} case. \relax }}{46}{figure.caption.24}\protected@file@percent }
\@writefile{brf}{\backcite{Kauffman:VirtualKnotTheory}{{46}{22}{figure.caption.24}}}
\@writefile{brf}{\backcite{Turaev:Knotoids}{{46}{22}{figure.caption.24}}}
\newlabel{fig:swirloids}{{22}{46}{Attempting to fix a non-OU tangle diagram in the virtual~\cite {Kauffman:VirtualKnotTheory} / tangloid~\cite {Turaev:Knotoids} case. \relax }{figure.caption.24}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.5}{Recycled July 8, 2020}}{46}{figure.caption.24}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{46}{section*.25}\protected@file@percent }
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{34.5pt}
\newlabel{tocindent3}{0pt}