user: Question: WHAT IS THE HIGHEST 2012 ENROLLMENT FOR école mathieu-martin, AFTER 1972?
Columns: ['School Name', 'Start', 'School District', 'Year Open', '2012 Enrolment']
Types: ['text', 'text', 'text', 'real', 'real']
Sample row: ['École Amirault', 'K', 'Francophone Sud', 1969.0, 307.0]
SQL:

assistant: SELECT MAX("2012 Enrolment") FROM "Table" WHERE "School Name" = 'école mathieu-martin' AND "Year Open" > 1972.0;