OR Prime Line
I am not familiar with this particular mower but most mower belts are not a standard A, B, M, or even L profiles.
The position , size & number of the kevlar cords are often different as well.
So it is always best to get either the branded belt or an OEM Specification aftermarket belt.
Check the new belt against the old belt and never believe any of the cross reference charts as a lot of them are wrong.
The only one I trust is the Gates catalogue but that will only give you the specifications of the belt if Gates makes one.