USAlgo 2023 Set 2 517