Doge

Or slower. The whole junior gear restriction (which I hate and see as completely unfair) taught us a lot. One is that it matters and is a disadvantage, the other is that pedaling is not always faster esp in the higher speeds on a decent.
I have a hunch that may even transfer to adults (on decents) doing 40+. The churn can be significant and sometimes a tuck and tight knees conserving may end up in a total faster time.
We saw better results in that 40mph-55mph pedaling up to speed and coasting. Certaining on junior gears, but also on unrestricted gears. Yes, at 40mph plus, you go faster pedalig than coasting - but barely and at a significant effort that you might want to instead use to recover.