Lemma: Reported computation for M.3

contact_space.py exits with status $0$. It records the table of Theorem thm:M3, the disjointness of monomials across $N$, the vectors $u_m$ spanning $U_N$, and certified annihilators: for every annihilator vector $x$ of $U_N$, ${\sum }_b{x}_b{\hat{\bar{a}}}_b=0$ exactly (graph_contact_map.txt).