From 90efebad98f7a441b928f68eeb81598bbc2c6229 Mon Sep 17 00:00:00 2001
From: Yu Cong <sxlxcsxlxc@gmail.com>
Date: Tue, 30 Dec 2025 14:00:15 +0800
Subject: [PATCH] test new act_runner

---
 main.tex | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/main.tex b/main.tex
index a75b000..6eb6a8d 100644
--- a/main.tex
+++ b/main.tex
@@ -12,11 +12,6 @@
     BoldFont={Fira Sans Medium},
     BoldItalicFont={Fira Sans Medium Italic}
 ]{Fira Sans}
-% \setsansfont[
-%     ItalicFont={Fira Sans Light Italic},
-%     BoldFont={Fira Sans},
-%     BoldItalicFont={Fira Sans Italic}
-% ]{Fira Sans Light}
 \setmonofont[BoldFont={Fira Mono Medium}]{Fira Mono}
 \AtBeginEnvironment{tabular}{%
     \addfontfeature{Numbers={Monospaced}}
@@ -30,7 +25,20 @@
 \begin{document}
 \maketitle
 \section{Connectivity interdiction}
-\begin{frame}{First Frame}
+\begin{frame}{Connectivity interdiction}
+\begin{problem}[CI]
+
+\end{problem}
+\begin{theorem}[aaa]
+sdfsdf
+\end{theorem}
+\begin{lemma}[aaa]
+sdfsdf
+\end{lemma}
+\begin{proof}
+	sdfs
+\end{proof}
+
 \end{frame}
 \section{Computing cogirth in perturbed graphic matroids}
 \begin{frame}{Perturbed graphic matroids}