What are the student ids for students over 20 years old?
CREATE TABLE allergy_type (
    allergy text,
    allergytype text
)

CREATE TABLE has_allergy (
    stuid number,
    allergy text
)

CREATE TABLE student (
    stuid number,
    lname text,
    fname text,
    age number,
    sex text,
    major number,
    advisor number,
    city_code text
)
SELECT stuid FROM student WHERE age > 20
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 are the student ids for students over 20 years old? ### Input: CREATE TABLE allergy_type (
    allergy text,
    allergytype text
)

CREATE TABLE has_allergy (
    stuid number,
    allergy text
)

CREATE TABLE student (
    stuid number,
    lname text,
    fname text,
    age number,
    sex text,
    major number,
    advisor number,
    city_code text
) ### Response: SELECT stuid FROM student WHERE age > 20