What is the name of the swimmer from Australia in lane 4 with a heat larger than 4?
CREATE TABLE table_name_16 (
    name VARCHAR,
    nationality VARCHAR,
    heat VARCHAR,
    lane VARCHAR
)
SELECT name FROM table_name_16 WHERE heat > 4 AND lane = 4 AND nationality = "australia"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the name of the swimmer from Australia in lane 4 with a heat larger than 4? ### Input: CREATE TABLE table_name_16 (
    name VARCHAR,
    nationality VARCHAR,
    heat VARCHAR,
    lane VARCHAR
) ### Response: SELECT name FROM table_name_16 WHERE heat > 4 AND lane = 4 AND nationality = "australia"