A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers (ArXiv cs.LO Recent Papers, 2026)