Console Output

Skipping 454,261 KB.. Full Log

legalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

*** Consumer thread failure: "Isabelle.Session.manager"
*** java.lang.IllegalStateException: Timer already cancelled.

Sending interrupt signal to process
+ true