What is the average rank of Great Britain when their total is over 4?
CREATE TABLE table_name_80 (
    rank INTEGER,
    total VARCHAR,
    nation VARCHAR
)
SELECT AVG(rank) FROM table_name_80 WHERE total > 4 AND nation = "great britain"
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 average rank of Great Britain when their total is over 4? ### Input: CREATE TABLE table_name_80 (
    rank INTEGER,
    total VARCHAR,
    nation VARCHAR
) ### Response: SELECT AVG(rank) FROM table_name_80 WHERE total > 4 AND nation = "great britain"