user: Question: What was the lowest recorded record for a player with an average larger than 13?
Columns: ['Player', 'Rec.', 'Yards', 'Avg.', "TD's", 'Long']
Types: ['text', 'real', 'real', 'real', 'real', 'real']
Sample row: ['Lawrence Samuels', 11.0, 116.0, 10.5, 1.0, 18.0]
SQL:

assistant: SELECT MIN("Rec.") FROM "Table" WHERE "Avg." > 13.0;