Proof 1

• Codeforces Div 3 Round 900 Problem F Feb 6, 2024