1 files changed, 28 insertions, 0 deletions
diff --git a/logic/logic_a.in.aux b/logic/logic_a.in.aux
new file mode 100644
index 0000000..e467de7
--- /dev/null
+++ b/logic/logic_a.in.aux
@@ -0,0 +1,28 @@
+\relax 
+\providecommand\hyper@newdestlabel[2]{}
+\@setckpt{logic/logic_a.in}{
+\setcounter{page}{7}
+\setcounter{equation}{8}
+\setcounter{enumi}{9}
+\setcounter{enumii}{0}
+\setcounter{enumiii}{0}
+\setcounter{enumiv}{0}
+\setcounter{footnote}{0}
+\setcounter{mpfootnote}{0}
+\setcounter{part}{0}
+\setcounter{section}{0}
+\setcounter{subsection}{0}
+\setcounter{subsubsection}{0}
+\setcounter{paragraph}{0}
+\setcounter{subparagraph}{0}
+\setcounter{figure}{0}
+\setcounter{table}{1}
+\setcounter{parentequation}{0}
+\setcounter{lstnumber}{10}
+\setcounter{Item}{9}
+\setcounter{Hfootnote}{0}
+\setcounter{bookmark@seq@number}{0}
+\setcounter{float@type}{8}
+\setcounter{lstlisting}{2}
+\setcounter{section@level}{0}
+}