# isabelle_session_info

session_name: AutoFocus-Stream
sources: cdb0b4f5c3101c65d63c78c0c124eb07bbc27928
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c
21223b03c0bbdc696bf2c7c8014cef5d8dec6170
b9c8595fb827cbea5ea4bdeb62e9ad3f9c548ca4


