Isabelle phrase 62 sec