atcoder 001C,004C,007C