what was the lowest recorded record for a player with an average larger than 13?
none