I am starting to look the data generated by Isabelle to generate the final graphs and the definitive analysis of it. This is a sample of a possible plot.