module A012 where