What was the lowest recorded record for a player with an average larger than 13?
CREATE TABLE "wide_receivers" (
  "player" text,
  "rec" real,
  "yards" real,
  "avg" real,
  "td_s" real,
  "long" real
);
SELECT MIN("rec") FROM "wide_receivers" WHERE "avg">13;