9 значений. Из алгоритма видим, что значения M будут неотрицательными. Тупо берём Ексцель и смотрим:
0 8
1 0
2 -6
3 -10
4 -12
5 -12
6 -10
7 -6
8 0
9 8
10 18
11 30
12 44
Восемь случаев просто не запустят цикл и ещё один - M = 0 - запустит его один раз.