Y analyzer
M =
n.s.
Key
Cyan
- (1) added to the sum.
Yellow
- Simple upgrader.
Green
- Ancestor upgrader.
Grayed
- Not counted in calculation of o(M,n).