# isabelle_session_info

session_name: AutoFocus-Stream
sources: 222cbff7d70cde45b862f37a5e5bba0a1b4cc8ea
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
a15e9030bb829e65726be753cd6c29a0a343ef2f
298831af24cc88b3cfbcefef1e23af24cb479ed7
2b86c4913f59c41205580d8526bc7ff058a1ee4e


