Submissions for team 2025级-姚远 on problem D Ruler