### Database Schema:
CREATE TABLE matchs (
	Div	TEXT	NULL,
	Date	DATE	NULL,
	HomeTeam	TEXT	NULL,
	AwayTeam	TEXT	NULL,
	FTHG	INTEGER	NULL,
	FTAG	INTEGER	NULL,
	FTR	TEXT	NULL,
	season	INTEGER	NULL,
	foreign key (Div) references divisions (division)
);

CREATE TABLE divisions (
	division	TEXT	NOT NULL	PRIMARY KEY,
	name	TEXT	NULL,
	country	TEXT	NULL
);

### User's Query:
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?

### Extra Knowledge:
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