Here we briefly describe the algorithmic procedure that was used to
construct the operator basis (see also Ref. [1]}, [2]}). We concentrate on the EFT valid above the
electroweak breaking scale, so that the DM furnishes a general
representation of the \(SU(2)\)  gauge group. The construction of the
operator basis below the electroweak scale proceeds in an analogous,
albeit simpler way.
