Divisibility by 6 AI 1.0