Divisibility_rule loading ...