session SESSION_NAME = "PARENT_SESSION" +
  options [timeout = 2000000000, quick_and_dirty = true]
  theories Scala_Isabelle_Master_Control_Program
