Submissions for team 2023级-蒋渝 on problem D Ruler