atcoder025, codeeval148