\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}\leavevmode {\color  {BrickRed}Data} and \leavevmode {\color  {NavyBlue}Codata}}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Codata, Records, and Copatterns}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Row-Typed \leavevmode {\color  {NavyBlue}Co}data}{3}}