For \( N=2 \) there are 4 states with \( M=0 \); show this by hand and confirm your code reproduces it.