atcoder ABC008C large