Tags: divisibility rules, HSA, beginning-of-the-year, algebraic analysis, conflict,