BMS analyzer

M =
(may be non-standard)

Key

Cyan - (0,0,0) column, added to the sum.
Yellow - Simple upgrader.
Green - Ancestor upgrader.
Grayed - Not counted in calculation of o(M,n).
When there is a * in the U(M,i) column, it indicates an upgrade chain.