CREATE TABLE "statistics_of_bud_walton_arena" (
  "season" text,
  "overall_record" text,
  "sec_record" text,
  "overall_attendance" real,
  "average_attendance" real,
  "rank_nationally" text
);

Question: How many times was the overall attendance 17807?
SQL: SELECT COUNT("overall_attendance") FROM "statistics_of_bud_walton_arena" WHERE "average_attendance"=17807;

Question: What is the overall attendance in the places where the average attendance was 17148?
SQL: SELECT "overall_attendance" FROM "statistics_of_bud_walton_arena" WHERE "average_attendance"=17148;

Question: What season was the average attendance is 16043?
SQL: SELECT "season" FROM "statistics_of_bud_walton_arena" WHERE "average_attendance"=16043;

Question: What was the overall record in the season where average attendance was 16720?
SQL: SELECT "overall_record" FROM "statistics_of_bud_walton_arena" WHERE "average_attendance"=16720;