How does verifier 36 work when the digit sum is 12, and is a result on that sum a bug? — Turing Machine FAQ | RulesPal