This completes the EFT basis of dimension-seven operators for
fermionic DM that couple DM bilinears to the fields in the visible
sector. We have checked in two different ways that this set of
operators forms a complete basis: first, using an algorithmic
procedure that explicitly implements the equations of motion and
various algebraic identities, outlined in Appendix ,
and second, with a procedure based on the conformal Hilbert
series [1]}, [2]}, [3]}.
