# isabelle_session_info

session_name: AutoFocus-Stream
sources: 6d114b05301566701d2af2ddf15976566cf9ad4a
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
3b1e8ce5f323ecea79a993e383bcdf138254ae06
a3f8b34844902232b0428c6b3da5a7578a9d4e89


