--- a/PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter3.aux	Wed Mar 23 10:09:32 2022 +0000
+++ b/PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter3.aux	Thu Mar 24 20:52:34 2022 +0000
@@ -1,15 +1,15 @@
 \relax 
 \providecommand\hyper@newdestlabel[2]{}
-\@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{15}{chapter.47}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{25}{chapter.56}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{ChapterX}{{3}{15}{Common Identities In Simplification-Related Functions}{chapter.47}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit  {simp}$}{15}{section.48}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit  {simp}$}{15}{subsection.50}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{15}{subsection.51}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{15}{section.52}}
+\newlabel{ChapterX}{{3}{25}{Common Identities In Simplification-Related Functions}{chapter.56}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit  {simp}$}{25}{section.57}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit  {simp}$}{25}{subsection.59}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{25}{subsection.60}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{25}{section.61}}
 \@setckpt{Chapters/Chapter3}{
-\setcounter{page}{16}
+\setcounter{page}{26}
 \setcounter{equation}{1}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -31,7 +31,7 @@
 \setcounter{ContinuedFloat}{0}
 \setcounter{Item}{0}
 \setcounter{Hfootnote}{1}
-\setcounter{bookmark@seq@number}{37}
+\setcounter{bookmark@seq@number}{40}
 \setcounter{tabx@nest}{0}
 \setcounter{listtotal}{0}
 \setcounter{listcount}{0}