\newcommand{\NN}[0]{{\mathbb{N}}}
\newcommand{\RR}[0]{{\mathbb{R}}}
\newcommand{\ZZ}[0]{{\mathbb{Z}}}
\newcommand{\CC}[0]{{\mathbb{C}}}
\newcommand{\QQ}[0]{{\mathbb{Q}}}
\newcommand{\RP}[0]{{\mathbb{RP}}}
\newcommand{\CP}[0]{{\mathbb{CP}}}
\newcommand{\HP}[0]{{\mathbb{HP}}}
\newcommand{\OP}[0]{{\mathbb{OP}}}
\newcommand{\FF}[0]{{\mathbb{F}}}
\newcommand{\GF}[0]{{\mathbb{GF}}}
\newcommand{\PP}[0]{{\mathbb{P}}}
\newcommand{\Af}[0]{{\mathbb{A}}}
\newcommand{\MM}[0]{{\mathbb{M}}}
\newcommand{\TT}[0]{{\mathbb{T}}}
\newcommand{\Sp}[0]{{\mathbb{S}}}
\newcommand{\KK}[0]{{\mathbb{K}}}
\newcommand{\Gr}[0]{{\text{Gr}}}
\newcommand{\GL}[0]{{\text{GL}}}
\newcommand{\liegl}[0]{{\mathfrak{gl}}}
\newcommand{\lieg}[0]{{\mathfrak{g}}}
\newcommand{\lieh}[0]{{\mathfrak{h}}}
\newcommand{\SL}[0]{{\text{SL}}}
\newcommand{\liesl}[0]{{\mathfrak{sl}}}
\newcommand{\SP}[0]{{\text{SP}}}
\newcommand{\liesp}[0]{{\mathfrak{sp}}}
\newcommand{\SO}[0]{{\text{SO}}}
\newcommand{\lieso}[0]{{\mathfrak{so}}}
\newcommand{\OO}[0]{{\mathcal{O}}}
\newcommand{\mm}[0]{{\mathfrak{m}}}
\newcommand{\pr}[0]{{\mathfrak{p}}}
\newcommand{\mltext}[1]{\left\{\begin{array}{c}#1\end{array}\right\}}
\newcommand{\dual}[0]{^\vee}
\newcommand{\Tr}[0]{\mathrm{Tr}}
\newcommand{\tr}[0]{\mathrm{Tr}}
\def\endo{\operatorname{End}}
\def\Endo{\operatorname{End}}
\def\Ind{\operatorname{End}}
\def\ind{\operatorname{End}}
\newcommand{\divides}[0]{{~\Bigm| ~}}
\newcommand{\notdivides}[0]{{~\not\Bigm| ~}}
\newcommand{\sym}[0]{\mathrm{Sym}}
\newcommand{\aut}[0]{\mathrm{Aut}}
\newcommand{\grad}[0]{\mathrm{grad}}
\newcommand{\sign}[0]{\mathrm{sign}}
\newcommand{\spec}[0]{{\mathrm{Spec}}}
\newcommand{\spanof}[0]{{\mathrm{span}}}
%\newcommand{\suchthat}[0]{{~\backepsilon ~}}
\newcommand{\suchthat}[0]{{~\mathrel{\Big|}~}}
\newcommand{\uniformlyconverges}[0]{\rightrightarrows}
\newcommand{\mapsvia}[1]{\xrightarrow{#1}}
\newcommand{\converges}[1]{\overset{#1}}
\newcommand{\generators}[1]{\left\langle{#1}\right\rangle}
\newcommand{\theset}[1]{\left\{{#1}\right\}}
\newcommand{\too}[1]{{\xrightarrow{#1}}}
\newcommand{\correspond}[1]{\theset{\substack{#1}}}
\newcommand{\restrictionof}[2]{{\left.{#1}\right|_{#2}}}
\newcommand{\inner}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\indicator}[1]{{\unicode{x1D7D9}\left[#1\right]}}
\newcommand{\equalsbecause}[1]{{\stackrel{\mbox{$\tiny{\text{ #1 }}$}}{=}}}
\newcommand{\conjugate}[1]{{\overline{{#1}}}}
\newcommand{\strike}[1]{{\enclose{horizontalstrike}{#1}}}
\newcommand{\realpart}[1]{{\mathcal{Re}({#1})}}
\newcommand{\imaginarypart}[1]{{\mathcal{Im}({#1})}}
\newcommand{\dd}[2]{{\frac{\partial #1}{\partial #2}}}
\newcommand{\rotate}[2]{{\style{display: inline-block; transform: rotate(#1deg)}{#2}}}
\newcommand{\stirling}[2]{\genfrac\{\}{0pt}{}{#1}{#2}}
\newcommand{\thevector}[1]{{\left[ {#1} \right]}}
%\newcommand{\abs}[2]{{\left\lvert {#2} \right\rvert_{\text{#1}}}}
\newcommand{\norm}[1]{{\left\lVert {#1} \right\rVert}}
\newcommand{\abs}[1]{{\left\lvert {#1} \right\rvert}}
\newcommand{\intersect}[0]{\bigcap}
\newcommand{\union}[0]{\bigcup}
\newcommand{\coker}[0]{\operatorname{coker}}
\newcommand{\rank}[0]{\operatorname{rank}}
\newcommand{\tensor}[0]{\otimes}
\newcommand{\semidirect}[0]{\rtimes}
\newcommand{\pt}[0]{\{\text{pt}\}}
\newcommand{\bd}[0]{{\del}}
\newcommand{\wait}[0]{{\,\cdot\,}}
\newcommand{\selfmap}[0]{{\circlearrowleft}}
\newcommand{\tor}[0]{\text{Tor}}
\newcommand{\Tor}[0]{\text{Tor}}
\newcommand{\ext}[0]{\text{Ext}}
\newcommand{\actson}[0]{\curvearrowright}
\newcommand{\actsonl}[0]{\curvearrowleft}
\newcommand{\disjoint}[0]{{\coprod}}
\newcommand{\dash}[0]{{\hbox{-}}}
\newcommand{\bigast}[0]{{\mathop{\Large \ast}}}
\newcommand{\from}[0]{\leftarrow}
\newcommand{\covers}[0]{\twoheadrightarrow}
\newcommand{\Zp}[0]{\mathbb{Z}_{(p)}}
\newcommand{\Qp}[0]{\mathbb{Q}_{(p)}}
\newcommand{\ZpZ}[0]{\mathbb{Z}/p\mathbb{Z}}
\newcommand{\ZnZ}[0]{\mathbb{Z}/n\mathbb{Z}}
\newcommand{\Sm}[0]{{\text{Sm}_k}}
\newcommand{\GG}[0]{{\mathbb{G}}}
\newcommand{\bung}[0]{\text{Bun}_G}
\newcommand{\Aut}[0]{{\text{Aut}}}
\newcommand{\del}[0]{{\partial}}
\newcommand{\im}[0]{{\text{im}~}}
\newcommand{\homotopic}[0]{\simeq}
\newcommand{\into}[0]{\to}
\newcommand{\cross}[0]{\times}
\newcommand{\definedas}[0]{\coloneqq}
\newcommand{\surjects}[0]{\twoheadrightarrow}
\newcommand{\onto}[0]{\twoheadrightarrow}
\newcommand{\injects}[0]{\hookrightarrow}
\newcommand{\id}[0]{\text{id}}
\newcommand{\inv}[0]{^{-1}}
\newcommand{\normal}[0]{{~\trianglelefteq~}}
\newcommand{\trianglerightneq}{\mathrel{\ooalign{\raisebox{-0.5ex}{\reflectbox{\rotatebox{90}{$\nshortmid$}}}\cr$\triangleright$\cr}\mkern-3mu}}
\newcommand{\normalneq}{\mathrel{\reflectbox{$\trianglerightneq$}}}
\newcommand{\units}[0]{^{\times}}
\newcommand{\annd}[0]{{\text{ and }}}
\newcommand{\orr}[0]{{\text{ or }}}
\newcommand{\arcsec}[0]{\mathrm{arcsec}}
\newcommand{\Gal}[0]{\mathrm{Gal}}
\newcommand{\gal}[0]{\mathrm{Gal}}
\newcommand{\ann}[0]{\mathrm{Ann}}
\newcommand{\lcm}[0]{\mathrm{lcm}}
\newcommand{\multinomial}[1]{\left(\!\!{#1}\!\!\right)}
\newcommand{\stirlingfirst}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}}
\newcommand{\floor}[1]{{\left\lfloor #1 \right\rfloor}}
\newcommand{\ad}[0]{\mathrm{ad}~}
\newcommand{\ch}[0]{\mathrm{char}~}
\renewcommand{\mid}[0]{\mathrel{\Big|}}
%\newcommand{\vector}[1]{{\mathbf{ {#1} }}}
%\newcommand{\hom}[0]{\text{Hom}}
%\newcommand{\qed}[0]{{\tag*{$\blacksquare$}}}
\renewcommand{\qed}[0]{\hfill\blacksquare}
%\renewcommand{\qed}[0]{\eqno\qed}
%\newcommand{\char}[0]{\text{char}}
\renewcommand{\vector}[1]{\mathbf{#1}}