Table schema:
CREATE TABLE table_name_57 (rec INTEGER, avg INTEGER)

Question: What was the lowest recorded record for a player with an average larger than 13?
SQL: SELECT MIN(rec) FROM table_name_57 WHERE avg > 13