\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amsmath, amsthm, amssymb}
\usepackage[ruled,vlined]{algorithm2e}
\usepackage{verbatim}
\usepackage{xcolor}
\usepackage{stmaryrd}
\usepackage[normalem]{ulem}

% \theoremstyle{definition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
% \newtheorem{corollary}[theorem]{Corollary}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{fact}[theorem]{Fact}



\newcommand{\commento}[1]{\textcolor{orange}{#1}}
