User blog comment:Scarletsky/Contest/@comment-5285471-20120712160103

You don't have to do Isabelle in Prompt 1. I thought I deleted it.