CREATE TABLE table_name_9 (crowd INT, venue VARCHAR)

What is the average crowd size for corio oval?
SELECT AVG(crowd) FROM table_name_9 WHERE venue = "corio oval"
SELECT AVG("crowd") FROM "table_name_9" WHERE "corio oval" = "venue"