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