Atcoder ABC 392 Solution Discussion (finished)