Database schema:

CREATE TABLE divisions (
	division TEXT NOT NULL -- example: ['D1', 'B1'],
	name TEXT -- example: ['Division 1A', 'Bundesliga'],
	country TEXT -- example: ['Deutschland', 'Belgium'],
	PRIMARY KEY (division)
)


CREATE TABLE matchs (
	"Div" TEXT -- example: ['D1', 'B1'],
	"Date" DATE -- example: ['2020-08-08', '2020-08-09'],
	"HomeTeam" TEXT -- example: ['Antwerp', 'Club Brugge'],
	"AwayTeam" TEXT -- example: ['Mouscron', 'Charleroi'],
	"FTHG" INTEGER -- example: ['0', '1'],
	"FTAG" INTEGER -- example: ['0', '1'],
	"FTR" TEXT -- example: ['A', 'D'],
	season INTEGER -- example: ['2020', '2021'],
	CONSTRAINT fk_matchs_divisions FOREIGN KEY("Div") REFERENCES divisions (division)
)

Question: What percentage of matches played on 2005/07/30 belong to the F1 division?
Evidence: Division refers to Div; DIVIDE(COUNT(Div = 'F1', Date = '2005/07/30'), COUNT(Div, Date = '2005/07/30')) as percentage;

SQL:
SELECT CAST(SUM(CASE WHEN Div = 'F1' THEN 1 ELSE 0 END) AS REAL) * 100 / COUNT(Div) FROM matchs WHERE Date = '2005-07-30'