IMO 2024 Problem 3 - *MONSTER* combinatorics - how many will get 7?