What percentage of matches played on 2005/07/30 belong to the F1 division?
Division refers to Div; DIVIDE(COUNT(Div = 'F1', Date = '2005/07/30'), COUNT(Div, Date = '2005/07/30')) as percentage;
SELECT CAST(SUM(CASE WHEN Div = 'F1' THEN 1 ELSE 0 END) AS REAL) * 100 / COUNT(Div) FROM matchs WHERE Date = '2005-07-30' 
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, 
