I have no idea but do have input. I have a 5500 Mahindra that is 54 hp. I bought a 6' hog because I wanted to get in tight places. I have regretted it, shoulda went 7 or even 8. If your tractor will pull it go for the bigger shredder.
Something tells me a 7 footer is a bit heavy for that tractor. Especially if you are in some heavy stuff or something tough like bahaya. That's a big mower.
A standard size Woods mower weighs 830 lbs. The L4400 can pick up over 2000 lbs. It is rated at 37.5 PTO HP. A rule of thumb is 5 HP for each foot of rotary mower, so you should be fine.
Woods is a brand name. 7' cutters are usually the most taxing on pto hp. You might find yourself at a snails pace in thick grass. A double spindle 8' uses less.
Careful with width and selection of what you want to use cutter for. If you get too far beyond width of rears it can hang up on stumps/trees doing food plots or reclaim work. Not a problem in open pasture.
I have a 6' Rhino medium duty and some times it can be much on the tractor, but 98% of the time it is fine. I does bog down in the heavy stuff but all depends on what you are cutting. It sticks out about a foot on each side of the tractor.
The biggest single consideration should be weight. It does take a lot more HP to run 7' over 6'. But look at weights of 6 and 7 foot mowers of the same brand/model. The 7'er is generally 40 to 60% heavier. Add in the fact that the weight will extend back at least another foot behind the tractor. Most medium-to-heavy duty 7' mowers will weigh from 1200 to 1800 lbs (and even higher)
Anything short of mowing your lawn, I'd stick with a minimum of 50 HP for a 7' mower. 60 would be better.