Gaper spotlight fright valuable thither my be in session Isabelle

parse took 0.39829897880554
mysql: 37 queries took 0.14446687698364