Harry Potter and the Philosopher's Stone (Extended Version)