>>60
各同値類の代表元を選ぶところです。