for atcoder