\relax 
\citation{ARVFULL}
\citation{MAGEN}
\@writefile{toc}{\contentsline {section}{\numberline {1}Proof of MST:}{3}}
\bibcite{ARVFULL}{1}
\bibcite{MAGEN}{2}