PaC on Divisibility Rules