\setcounter{algocfline}{15}
\setcounter{algocfproc}{15}
\setcounter{algocf}{15}
+\setcounter{nprt@mantissa@digitsbefore}{0}
+\setcounter{nprt@mantissa@digitsafter}{0}
+\setcounter{nprt@exponent@digitsbefore}{0}
+\setcounter{nprt@exponent@digitsafter}{0}
+\setcounter{nprt@digitsfirstblock}{0}
+\setcounter{nprt@blockcnt}{0}
+\setcounter{nprt@cntprint}{0}
\setcounter{proposition}{1}
\setcounter{theorem}{0}
\setcounter{exercise}{0}