What was the lowest recorded record for a player with an average larger than 13?
CREATE TABLE table_name_57 (rec INTEGER, avg INTEGER)
SELECT MIN(rec) FROM table_name_57 WHERE avg > 13
<s>[INST] Write mssql query to answer the following question given the database schema. 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? [/INST] SELECT MIN(rec) FROM table_name_57 WHERE avg > 13 </s>