Atcoder ABC #351 Short Solution Discussion (finished)