\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}First-order logic}{165}{chapter.4}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:fol}{{4}{165}{First-order logic}{chapter.4}{}}
\newlabel{chap:fol@cref}{{[chapter][4][]4}{[1][165][]165}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Predicate logic}{165}{section.4.1}\protected@file@percent }
\newlabel{sec:fol}{{4.1}{165}{Predicate logic}{section.4.1}{}}
\newlabel{sec:fol@cref}{{[section][1][4]4.1}{[1][165][]165}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Structural rules and simple rules}{166}{subsection.4.1.1}\protected@file@percent }
\newlabel{sec:fol-struc}{{4.1.1}{166}{Structural rules and simple rules}{subsection.4.1.1}{}}
\newlabel{sec:fol-struc@cref}{{[subsection][1][4,1]4.1.1}{[1][166][]166}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Structural rules for first-order logic}}{167}{figure.4.1}\protected@file@percent }
\newlabel{fig:fol-struc}{{4.1}{167}{Structural rules for first-order logic}{figure.4.1}{}}
\newlabel{fig:fol-struc@cref}{{[figure][1][4]4.1}{[1][166][]167}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}The universal quantifier}{168}{subsection.4.1.2}\protected@file@percent }
\newlabel{sec:forall}{{4.1.2}{168}{The universal quantifier}{subsection.4.1.2}{}}
\newlabel{sec:forall@cref}{{[subsection][2][4,1]4.1.2}{[1][168][]168}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}The existential quantifier}{170}{subsection.4.1.3}\protected@file@percent }
\newlabel{sec:exists}{{4.1.3}{170}{The existential quantifier}{subsection.4.1.3}{}}
\newlabel{sec:exists@cref}{{[subsection][3][4,1]4.1.3}{[1][170][]170}}
\citation{lawvere:comprehension}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Equality}{172}{subsection.4.1.4}\protected@file@percent }
\newlabel{sec:equality}{{4.1.4}{172}{Equality}{subsection.4.1.4}{}}
\newlabel{sec:equality@cref}{{[subsection][4][4,1]4.1.4}{[1][171][]172}}
\@writefile{brf}{\backcite{lawvere:comprehension}{{172}{4.1.4}{subsection.4.1.4}}}
\newlabel{eq:refl-withsub}{{4.1.2}{172}{Equality}{equation.4.1.2}{}}
\newlabel{eq:refl-withsub@cref}{{[equation][2][4,1]4.1.2}{[1][172][]172}}
\citation{lawvere:comprehension}
\newlabel{eq:J-withsub}{{4.1.3}{173}{Equality}{equation.4.1.3}{}}
\newlabel{eq:J-withsub@cref}{{[equation][3][4,1]4.1.3}{[1][173][]173}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.5}First-order theories}{173}{subsection.4.1.5}\protected@file@percent }
\newlabel{sec:first-order-theories}{{4.1.5}{173}{First-order theories}{subsection.4.1.5}{}}
\newlabel{sec:first-order-theories@cref}{{[subsection][5][4,1]4.1.5}{[1][173][]173}}
\@writefile{brf}{\backcite{lawvere:comprehension}{{173}{4.1.5}{rmk.4.1.5}}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.2}{\ignorespaces Natural deduction rules for quantifiers, equality, and axioms}}{175}{figure.4.2}\protected@file@percent }
\newlabel{fig:fol-natded}{{4.2}{175}{Natural deduction rules for quantifiers, equality, and axioms}{figure.4.2}{}}
\newlabel{fig:fol-natded@cref}{{[figure][2][4]4.2}{[1][175][]175}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.6}Natural deduction}{175}{subsection.4.1.6}\protected@file@percent }
\newlabel{sec:fol-natded}{{4.1.6}{175}{Natural deduction}{subsection.4.1.6}{}}
\newlabel{sec:fol-natded@cref}{{[subsection][6][4,1]4.1.6}{[1][174][]175}}
\newlabel{thm:fol-subprop-adm}{{4.1.6}{175}{}{thm.4.1.6}{}}
\newlabel{thm:fol-subprop-adm@cref}{{[thm][6][4,1]4.1.6}{[1][175][]175}}
\newlabel{eq:fol-subprop-funct}{{4.1.7}{176}{Natural deduction}{equation.4.1.7}{}}
\newlabel{eq:fol-subprop-funct@cref}{{[equation][7][4,1]4.1.7}{[1][176][]176}}
\newlabel{thm:fol-subent-adm}{{4.1.8}{176}{}{thm.4.1.8}{}}
\newlabel{thm:fol-subent-adm@cref}{{[thm][8][4,1]4.1.8}{[1][176][]176}}
\newlabel{thm:fol-natded-cutadm}{{4.1.9}{176}{}{thm.4.1.9}{}}
\newlabel{thm:fol-natded-cutadm@cref}{{[thm][9][4,1]4.1.9}{[1][176][]176}}
\newlabel{ex:eq-frob-from-hom}{{4.1.1}{178}{}{@ex.4.1.1}{}}
\newlabel{ex:eq-frob-from-hom@cref}{{[@ex][1][4,1]4.1.1}{[1][178][]178}}
\newlabel{ex:quantifier-laws}{{4.1.2}{178}{}{@ex.4.1.2}{}}
\newlabel{ex:quantifier-laws@cref}{{[@ex][2][4,1]4.1.2}{[1][178][]178}}
\newlabel{ex:equality}{{4.1.3}{178}{}{@ex.4.1.3}{}}
\newlabel{ex:equality@cref}{{[@ex][3][4,1]4.1.3}{[1][178][]178}}
\newlabel{ex:fol-egs}{{4.1.4}{178}{}{@ex.4.1.4}{}}
\newlabel{ex:fol-egs@cref}{{[@ex][4][4,1]4.1.4}{[1][178][]178}}
\newlabel{ex:fol-natded-strucadm}{{4.1.5}{178}{}{@ex.4.1.5}{}}
\newlabel{ex:fol-natded-strucadm@cref}{{[@ex][5][4,1]4.1.5}{[1][178][]178}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}First-order hyperdoctrines}{179}{section.4.2}\protected@file@percent }
\newlabel{sec:hyperdoctrines}{{4.2}{179}{First-order hyperdoctrines}{section.4.2}{}}
\newlabel{sec:hyperdoctrines@cref}{{[section][2][4]4.2}{[1][178][]179}}
\newlabel{thm:pshf-multi-catprod}{{4.2.2}{179}{}{lem.4.2.2}{}}
\newlabel{thm:pshf-multi-catprod@cref}{{[lem][2][]4.2.2}{[1][179][]179}}
\citation{lawvere:adjointness}
\citation{lawvere:comprehension}
\newlabel{defn:hyperdoctrine-heyting-fibers}{{4.2.4}{180}{}{defn.4.2.4}{}}
\newlabel{defn:hyperdoctrine-heyting-fibers@cref}{{[defn][4][]4.2.4}{[1][180][]180}}
\newlabel{eg:subset-hyperdoctrine}{{4.2.5}{180}{}{eg.4.2.5}{}}
\newlabel{eg:subset-hyperdoctrine@cref}{{[eg][5][]4.2.5}{[1][180][]180}}
\newlabel{eg:subobject-hyperdoctrine}{{4.2.6}{180}{}{eg.4.2.6}{}}
\newlabel{eg:subobject-hyperdoctrine@cref}{{[eg][6][]4.2.6}{[1][180][]180}}
\newlabel{eg:family-hyperdoctrine}{{4.2.7}{180}{}{eg.4.2.7}{}}
\newlabel{eg:family-hyperdoctrine@cref}{{[eg][7][]4.2.7}{[1][180][]180}}
\@writefile{brf}{\backcite{lawvere:adjointness,lawvere:comprehension}{{181}{4.2}{eg.4.2.7}}}
\newlabel{defn:multicat-radj}{{4.2.8}{181}{}{defn.4.2.8}{}}
\newlabel{defn:multicat-radj@cref}{{[defn][8][]4.2.8}{[1][181][]181}}
\newlabel{defn:bc}{{4.2.9}{181}{}{defn.4.2.9}{}}
\newlabel{defn:bc@cref}{{[defn][9][]4.2.9}{[1][181][]181}}
\newlabel{defn:multicat-hopf-ladj}{{4.2.11}{182}{}{defn.4.2.11}{}}
\newlabel{defn:multicat-hopf-ladj@cref}{{[defn][11][]4.2.11}{[1][182][]182}}
\newlabel{defn:multicat-hopf-ladj-empty}{{4.2.13}{184}{}{defn.4.2.13}{}}
\newlabel{defn:multicat-hopf-ladj-empty@cref}{{[defn][13][]4.2.13}{[1][183][]184}}
\newlabel{thm:fol-initial}{{4.2.17}{185}{}{thm.4.2.17}{}}
\newlabel{thm:fol-initial@cref}{{[thm][17][4,2]4.2.17}{[1][185][]185}}
\newlabel{rmk:fol-soundness-completeness}{{4.2.18}{186}{}{rmk.4.2.18}{}}
\newlabel{rmk:fol-soundness-completeness@cref}{{[rmk][18][]4.2.18}{[1][186][]186}}
\newlabel{ex:pshf-multi-catprod}{{4.2.1}{186}{}{@ex.4.2.1}{}}
\newlabel{ex:pshf-multi-catprod@cref}{{[@ex][1][4,2]4.2.1}{[1][186][]186}}
\newlabel{ex:multicat-radj}{{4.2.2}{186}{}{@ex.4.2.2}{}}
\newlabel{ex:multicat-radj@cref}{{[@ex][2][4,2]4.2.2}{[1][186][]186}}
\newlabel{ex:moncat-radj}{{4.2.3}{187}{}{@ex.4.2.3}{}}
\newlabel{ex:moncat-radj@cref}{{[@ex][3][4,2]4.2.3}{[1][187][]187}}
\newlabel{ex:multicat-prod-ladj}{{4.2.4}{187}{}{@ex.4.2.4}{}}
\newlabel{ex:multicat-prod-ladj@cref}{{[@ex][4][4,2]4.2.4}{[1][187][]187}}
\newlabel{ex:beck-chev}{{4.2.5}{187}{}{@ex.4.2.5}{}}
\newlabel{ex:beck-chev@cref}{{[@ex][5][4,2]4.2.5}{[1][187][]187}}
\newlabel{ex:hopf-ladj}{{4.2.6}{187}{}{@ex.4.2.6}{}}
\newlabel{ex:hopf-ladj@cref}{{[@ex][6][4,2]4.2.6}{[1][187][]187}}
\newlabel{ex:multicat-coprod-ladj}{{4.2.7}{187}{}{@ex.4.2.7}{}}
\newlabel{ex:multicat-coprod-ladj@cref}{{[@ex][7][4,2]4.2.7}{[1][187][]187}}
\newlabel{ex:hopf-ladj-at-one}{{4.2.8}{187}{}{@ex.4.2.8}{}}
\newlabel{ex:hopf-ladj-at-one@cref}{{[@ex][8][4,2]4.2.8}{[1][187][]187}}
\newlabel{ex:hyperdoctrine-alladj}{{4.2.9}{187}{}{@ex.4.2.9}{}}
\newlabel{ex:hyperdoctrine-alladj@cref}{{[@ex][9][4,2]4.2.9}{[1][187][]187}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Hyperdoctrines of subobjects}{188}{section.4.3}\protected@file@percent }
\newlabel{sec:subobjects}{{4.3}{188}{Hyperdoctrines of subobjects}{section.4.3}{}}
\newlabel{sec:subobjects@cref}{{[section][3][4]4.3}{[1][188][]188}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}Horn hyperdoctrines from finite limits}{188}{subsection.4.3.1}\protected@file@percent }
\newlabel{sec:horn-subobjects}{{4.3.1}{188}{Horn hyperdoctrines from finite limits}{subsection.4.3.1}{}}
\newlabel{sec:horn-subobjects@cref}{{[subsection][1][4,3]4.3.1}{[1][188][]188}}
\newlabel{thm:horn-subobjects}{{4.3.1}{188}{}{thm.4.3.1}{}}
\newlabel{thm:horn-subobjects@cref}{{[thm][1][4,3]4.3.1}{[1][188][]188}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}Regular categories}{189}{subsection.4.3.2}\protected@file@percent }
\newlabel{sec:regular-categories}{{4.3.2}{189}{Regular categories}{subsection.4.3.2}{}}
\newlabel{sec:regular-categories@cref}{{[subsection][2][4,3]4.3.2}{[1][189][]189}}
\newlabel{thm:extremal-epi}{{4.3.3}{189}{}{lem.4.3.3}{}}
\newlabel{thm:extremal-epi@cref}{{[lem][3][]4.3.3}{[1][189][]189}}
\newlabel{item:ee1}{{(a)}{189}{}{Item.253}{}}
\newlabel{item:ee1@cref}{{[enumi][1][](a)}{[1][189][]189}}
\newlabel{item:ee2}{{(b)}{189}{}{Item.254}{}}
\newlabel{item:ee2@cref}{{[enumi][2][](b)}{[1][189][]189}}
\newlabel{item:ee3}{{(c)}{190}{}{Item.255}{}}
\newlabel{item:ee3@cref}{{[enumi][3][](c)}{[1][189][]190}}
\newlabel{thm:regular-subobjects}{{4.3.4}{190}{}{thm.4.3.4}{}}
\newlabel{thm:regular-subobjects@cref}{{[thm][4][4,3]4.3.4}{[1][190][]190}}
\newlabel{thm:logic-extremal-epi}{{4.3.5}{192}{}{lem.4.3.5}{}}
\newlabel{thm:logic-extremal-epi@cref}{{[lem][5][]4.3.5}{[1][191][]192}}
\newlabel{thm:logic-mono}{{4.3.6}{192}{}{lem.4.3.6}{}}
\newlabel{thm:logic-mono@cref}{{[lem][6][]4.3.6}{[1][192][]192}}
\newlabel{thm:logic-uniquechoice}{{4.3.7}{192}{}{lem.4.3.7}{}}
\newlabel{thm:logic-uniquechoice@cref}{{[lem][7][]4.3.7}{[1][192][]192}}
\newlabel{thm:logic-uniquechoice-funct}{{4.3.8}{193}{}{lem.4.3.8}{}}
\newlabel{thm:logic-uniquechoice-funct@cref}{{[lem][8][]4.3.8}{[1][193][]193}}
\newlabel{thm:logic-extepi-regepi}{{4.3.9}{193}{}{thm.4.3.9}{}}
\newlabel{thm:logic-extepi-regepi@cref}{{[thm][9][4,3]4.3.9}{[1][193][]193}}
\newlabel{item:eere1}{{(a)}{193}{Regular categories}{Item.261}{}}
\newlabel{item:eere1@cref}{{[enumi][1][](a)}{[1][193][]193}}
\newlabel{item:eere2}{{(b)}{193}{Regular categories}{Item.262}{}}
\newlabel{item:eere2@cref}{{[enumi][2][](b)}{[1][193][]193}}
\newlabel{item:eere3}{{(c)}{193}{Regular categories}{Item.263}{}}
\newlabel{item:eere3@cref}{{[enumi][3][](c)}{[1][193][]193}}
\citation{ptj:elephant}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3}{\ignorespaces Derivation tree of~\ref {item:eere1} in proof of \cref  {thm:logic-extepi-regepi}}}{194}{figure.4.3}\protected@file@percent }
\newlabel{fig:eere1}{{4.3}{194}{Derivation tree of~\ref {item:eere1} in proof of \cref {thm:logic-extepi-regepi}}{figure.4.3}{}}
\newlabel{fig:eere1@cref}{{[figure][3][4]4.3}{[1][193][]194}}
\@writefile{brf}{\backcite{ptj:elephant}{{194}{4.3.2}{Item.266}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}Coherent categories}{194}{subsection.4.3.3}\protected@file@percent }
\newlabel{sec:coherent-categories}{{4.3.3}{194}{Coherent categories}{subsection.4.3.3}{}}
\newlabel{sec:coherent-categories@cref}{{[subsection][3][4,3]4.3.3}{[1][194][]194}}
\newlabel{thm:coherent-subobjects}{{4.3.11}{194}{}{thm.4.3.11}{}}
\newlabel{thm:coherent-subobjects@cref}{{[thm][11][4,3]4.3.11}{[1][194][]194}}
\newlabel{thm:logic-uniquechoice-2}{{4.3.12}{195}{}{lem.4.3.12}{}}
\newlabel{thm:logic-uniquechoice-2@cref}{{[lem][12][]4.3.12}{[1][195][]195}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}Heyting categories}{195}{subsection.4.3.4}\protected@file@percent }
\newlabel{sec:heyting-categories}{{4.3.4}{195}{Heyting categories}{subsection.4.3.4}{}}
\newlabel{sec:heyting-categories@cref}{{[subsection][4][4,3]4.3.4}{[1][195][]195}}
\citation{mm:shv-gl}
\citation{mclarty:ecat-etop}
\citation{ptj:elephant}
\citation{wyler:quasitopoi}
\citation{ptj:elephant}
\newlabel{thm:heyting-subobjects}{{4.3.15}{196}{}{thm.4.3.15}{}}
\newlabel{thm:heyting-subobjects@cref}{{[thm][15][4,3]4.3.15}{[1][195][]196}}
\@writefile{brf}{\backcite{mm:shv-gl,mclarty:ecat-etop,ptj:elephant,wyler:quasitopoi}{{196}{4.3.4}{Item.268}}}
\@writefile{brf}{\backcite{ptj:elephant}{{196}{4.3.4}{Item.268}}}
\newlabel{ex:fptheory-horn}{{4.3.1}{196}{}{@ex.4.3.1}{}}
\newlabel{ex:fptheory-horn@cref}{{[@ex][1][4,3]4.3.1}{[1][196][]196}}
\newlabel{ex:regular-epis}{{4.3.2}{196}{}{@ex.4.3.2}{}}
\newlabel{ex:regular-epis@cref}{{[@ex][2][4,3]4.3.2}{[1][196][]196}}
\newlabel{ex:regular-egs}{{4.3.3}{196}{}{@ex.4.3.3}{}}
\newlabel{ex:regular-egs@cref}{{[@ex][3][4,3]4.3.3}{[1][196][]196}}
\newlabel{ex:regular-not-coherent}{{4.3.4}{197}{}{@ex.4.3.4}{}}
\newlabel{ex:regular-not-coherent@cref}{{[@ex][4][4,3]4.3.4}{[1][196][]197}}
\newlabel{ex:factsys}{{4.3.5}{197}{}{@ex.4.3.5}{}}
\newlabel{ex:factsys@cref}{{[@ex][5][4,3]4.3.5}{[1][196][]197}}
\newlabel{ex:sieves}{{4.3.6}{197}{}{@ex.4.3.6}{}}
\newlabel{ex:sieves@cref}{{[@ex][6][4,3]4.3.6}{[1][197][]197}}
\newlabel{ex:reg-allbc}{{4.3.7}{197}{}{@ex.4.3.7}{}}
\newlabel{ex:reg-allbc@cref}{{[@ex][7][4,3]4.3.7}{[1][197][]197}}
\newlabel{ex:logic-uniquechoice-funct}{{4.3.8}{197}{}{@ex.4.3.8}{}}
\newlabel{ex:logic-uniquechoice-funct@cref}{{[@ex][8][4,3]4.3.8}{[1][197][]197}}
\newlabel{ex:logic-extepi-regepi}{{4.3.9}{197}{}{@ex.4.3.9}{}}
\newlabel{ex:logic-extepi-regepi@cref}{{[@ex][9][4,3]4.3.9}{[1][197][]197}}
\newlabel{ex:regular-subobjects}{{4.3.10}{197}{}{@ex.4.3.10}{}}
\newlabel{ex:regular-subobjects@cref}{{[@ex][10][4,3]4.3.10}{[1][197][]197}}
\newlabel{ex:logic-uniquechoice-2}{{4.3.11}{198}{}{@ex.4.3.11}{}}
\newlabel{ex:logic-uniquechoice-2@cref}{{[@ex][11][4,3]4.3.11}{[1][197][]198}}
\newlabel{ex:coherent-strictinitial}{{4.3.12}{198}{}{@ex.4.3.12}{}}
\newlabel{ex:coherent-strictinitial@cref}{{[@ex][12][4,3]4.3.12}{[1][197][]198}}
\newlabel{ex:coherent-effunions}{{4.3.13}{198}{}{@ex.4.3.13}{}}
\newlabel{ex:coherent-effunions@cref}{{[@ex][13][4,3]4.3.13}{[1][197][]198}}
\newlabel{ex:unions-not-images}{{4.3.14}{198}{}{@ex.4.3.14}{}}
\newlabel{ex:unions-not-images@cref}{{[@ex][14][4,3]4.3.14}{[1][198][]198}}
\newlabel{ex:coherent-not-heyting}{{4.3.15}{198}{}{@ex.4.3.15}{}}
\newlabel{ex:coherent-not-heyting@cref}{{[@ex][15][4,3]4.3.15}{[1][198][]198}}
\newlabel{ex:lccc}{{4.3.16}{198}{}{@ex.4.3.16}{}}
\newlabel{ex:lccc@cref}{{[@ex][16][4,3]4.3.16}{[1][198][]198}}
\newlabel{ex:presheaves-sheaves}{{4.3.17}{198}{}{@ex.4.3.17}{}}
\newlabel{ex:presheaves-sheaves@cref}{{[@ex][17][4,3]4.3.17}{[1][198][]198}}
\newlabel{item:pshsh1}{{(a)}{198}{}{Item.281}{}}
\newlabel{item:pshsh1@cref}{{[enumi][1][](a)}{[1][198][]198}}
\newlabel{item:pshsh2}{{(b)}{198}{}{Item.282}{}}
\newlabel{item:pshsh2@cref}{{[enumi][2][](b)}{[1][198][]198}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Comprehension}{198}{section.4.4}\protected@file@percent }
\newlabel{sec:comprehension}{{4.4}{198}{Comprehension}{section.4.4}{}}
\newlabel{sec:comprehension@cref}{{[section][4][4]4.4}{[1][198][]198}}
\newlabel{thm:hdmap-cat}{{4.4.1}{199}{}{thm.4.4.1}{}}
\newlabel{thm:hdmap-cat@cref}{{[thm][1][4,4]4.4.1}{[1][199][]199}}
\newlabel{thm:hdmap-lex}{{4.4.4}{201}{}{thm.4.4.4}{}}
\newlabel{thm:hdmap-lex@cref}{{[thm][4][4,4]4.4.4}{[1][201][]201}}
\newlabel{ex:hdmap-cat}{{4.4.1}{201}{}{@ex.4.4.1}{}}
\newlabel{ex:hdmap-cat@cref}{{[@ex][1][4,4]4.4.1}{[1][201][]201}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Finite-limit theories}{201}{section.4.5}\protected@file@percent }
\newlabel{sec:lex-theories}{{4.5}{201}{Finite-limit theories}{section.4.5}{}}
\newlabel{sec:lex-theories@cref}{{[section][5][4]4.5}{[1][201][]201}}
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Indexed monoidal categories}{201}{section.4.6}\protected@file@percent }
\newlabel{sec:indexed-moncat}{{4.6}{201}{Indexed monoidal categories}{section.4.6}{}}
\newlabel{sec:indexed-moncat@cref}{{[section][6][4]4.6}{[1][201][]201}}
\@setckpt{fol}{
\setcounter{page}{206}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{2}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{1}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{6}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{3}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{section@level}{1}
\setcounter{Item}{311}
\setcounter{Hfootnote}{17}
\setcounter{bookmark@seq@number}{67}
\setcounter{thm}{0}
\setcounter{@ex}{0}
}