How many teams that played in the 2012 season belong to any of the English divisions and what percentage play in each of the divisions?
matches = Div
SELECT ( SELECT COUNT(T1.Div) AS total FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS num , CASE WHEN 1 THEN T.result END AS percentage FROM ( SELECT 100.0 * COUNT(T1.Div) / ( SELECT COUNT(T1.Div) FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS result FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 GROUP BY T2.division ) AS T
database name:db_id european_football_1
divisions table divisions Cols: division dtype text, name dtype text, country dtype text, 
matchs table matchs Cols: Division dtype text, Date dtype date, HomeTeam dtype text, AwayTeam dtype text, Final-time Home-team Goals dtype integer, Final-time Away-team Goals dtype integer, Final-time Results dtype text, season dtype integer, 
