Fan chart of Isabelle

%