Isabelle

parse took 0.13532400131226
mysql: 19 queries took 0.012108325958252