CREATE TABLE table_name_57 (rec NUMBER, avg NUMBER)

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