programs for Atcoder Regular Contest #1