AWTF22 day 1
https://blog.mitrichev.ch/2023/09/atfw22-day-1.html
Atcoder ABC #354 Solution Discussion