What is the Name of a state Authority that has a Roll of 72?
CREATE TABLE table_name_13 (
    name VARCHAR,
    authority VARCHAR,
    roll VARCHAR
)
SELECT name FROM table_name_13 WHERE authority = "state" AND roll = "72"
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 a state Authority that has a Roll of 72? ### Input: CREATE TABLE table_name_13 (
    name VARCHAR,
    authority VARCHAR,
    roll VARCHAR
) ### Response: SELECT name FROM table_name_13 WHERE authority = "state" AND roll = "72"