Instruct: What was the lowest recorded record for a player with an average larger than 13?
Output: SELECT MIN Rec. FROM table WHERE Avg. > 13