Atcoder Regular Contest 173 Solution Discussion (with Jan) (finished)