Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é a especificação onde o ensino médio é de 25mm?
 ###Tabelas: CREATE TABLE thames-coromandel_district (thames-coromandel_district_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Gender VARCHAR, Area VARCHAR, Authority VARCHAR, Decile INT, Roll INT) CREATE TABLE head-to-head_records_against_other_countries (head-to-head_records_against_other_countries_id AUTO_INCREMENT PRIMARY KEY, Games INT, Wins INT, Draws INT, Losses INT, Goals For INT, Goals Against INT, Goal Differential VARCHAR) CREATE TABLE top_goalscorers_by_season (top_goalscorers_by_season_id AUTO_INCREMENT PRIMARY KEY, Season INT, Player VARCHAR, Club VARCHAR, Nationality VARCHAR, Goals INT) CREATE TABLE regulations (regulations_id AUTO_INCREMENT PRIMARY KEY, Specification VARCHAR, Gender VARCHAR, Junior High School (12–15 yrs) VARCHAR, Senior High School (15–18 yrs) VARCHAR, University students and Adults (18yrs+) VARCHAR) CREATE TABLE intel_centrino (intel_centrino_id AUTO_INCREMENT PRIMARY KEY, Wireless LAN VARCHAR, Chipset VARCHAR, Centrino VARCHAR, Processor VARCHAR, Codename VARCHAR, Release Date INT, Process Technology VARCHAR, Microarchitecture VARCHAR)  
SELECT Specification FROM regulations WHERE Senior High School (15–18 yrs) = 25mm