1\relax 2\citation{Unicode} 3\@writefile{toc}{\contentsline {chapter}{Formal Syntax}{455}} 4\@writefile{lof}{\addvspace {10\p@ }} 5\@writefile{lot}{\addvspace {10\p@ }} 6\newlabel{APPENDIXFORMALSYNTAX}{{12.11.7}{455}} 7\newlabel{./grammar:s0}{{12.11.7}{455}} 8\newlabel{./grammar:s1}{{12.11.7}{455}} 9\newlabel{./grammar:s2}{{12.11.7}{455}} 10\newlabel{./grammar:s3}{{12.11.7}{455}} 11\newlabel{./grammar:s4}{{12.11.7}{455}} 12\newlabel{./grammar:s5}{{12.11.7}{455}} 13\newlabel{./grammar:s6}{{12.11.7}{455}} 14\newlabel{./grammar:s7}{{12.11.7}{455}} 15\newlabel{./grammar:s8}{{12.11.7}{455}} 16\newlabel{./grammar:s9}{{12.11.7}{455}} 17\newlabel{./grammar:s10}{{12.11.7}{455}} 18\newlabel{./grammar:s11}{{12.11.7}{455}} 19\newlabel{./grammar:s12}{{12.11.7}{456}} 20\newlabel{grammar:datums}{{12.11.7}{456}} 21\newlabel{./grammar:s13}{{12.11.7}{456}} 22\newlabel{grammar:booleans}{{12.11.7}{457}} 23\newlabel{./grammar:s14}{{12.11.7}{457}} 24\newlabel{grammar:characters}{{12.11.7}{457}} 25\newlabel{./grammar:s15}{{12.11.7}{457}} 26\newlabel{grammar:strings}{{12.11.7}{458}} 27\newlabel{./grammar:s16}{{12.11.7}{458}} 28\newlabel{grammar:symbols}{{12.11.7}{458}} 29\newlabel{./grammar:s17}{{12.11.7}{458}} 30\newlabel{grammar:numbers}{{12.11.7}{459}} 31\newlabel{./grammar:s18}{{12.11.7}{459}} 32\newlabel{grammar:lists}{{12.11.7}{460}} 33\newlabel{./grammar:s19}{{12.11.7}{460}} 34\newlabel{./grammar:s20}{{12.11.7}{460}} 35\newlabel{./grammar:s21}{{12.11.7}{460}} 36\newlabel{grammar:vectors}{{12.11.7}{461}} 37\newlabel{./grammar:s22}{{12.11.7}{461}} 38\newlabel{grammar:bytevectors}{{12.11.7}{461}} 39\newlabel{./grammar:s23}{{12.11.7}{461}} 40\@setckpt{grammar}{ 41\setcounter{page}{462} 42\setcounter{equation}{0} 43\setcounter{enumi}{8} 44\setcounter{enumii}{0} 45\setcounter{enumiii}{0} 46\setcounter{enumiv}{32} 47\setcounter{footnote}{0} 48\setcounter{mpfootnote}{0} 49\setcounter{chapter}{12} 50\setcounter{section}{11} 51\setcounter{exercise}{7} 52\setcounter{alphacount}{6} 53} 54