When I was about to start testing your DigitMap, it dawned on me that in this particular case, S0 won't have any effect because both rules are effectively S0 already. When either rule goes into the Exactly Matched state the other will be in the Mismatch state, so the DMP returns the matched rule's value immediately.
shazam for pc windows