shortened atcoder ABC001