WHAT IS THE HIGHEST 2012 ENROLLMENT FOR cole mathieu-martin, AFTER 1972?
CREATE TABLE table_9622 (
    "School Name" text,
    "Start" text,
    "School District" text,
    "Year Open" real,
    "2012 Enrolment" real
)
SELECT MAX("2012 Enrolment") FROM table_9622 WHERE "School Name" = 'école mathieu-martin' AND "Year Open" > '1972'
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 HIGHEST 2012 ENROLLMENT FOR cole mathieu-martin, AFTER 1972? ### Input: CREATE TABLE table_9622 (
    "School Name" text,
    "Start" text,
    "School District" text,
    "Year Open" real,
    "2012 Enrolment" real
) ### Response: SELECT MAX("2012 Enrolment") FROM table_9622 WHERE "School Name" = 'école mathieu-martin' AND "Year Open" > '1972'