This task comes from Bruce Gray and Kevin Simpson. It’s a lovely example of IDQs!

Credit: @bucksburnmaths