# isabelle_session_info

session_name: AutoFocus-Stream
sources:
131e43cfecd9e446da72becb278b2ea7c436f6b4
1b80d85ed736bf07dd657ffbedd75fa04c61d7ce
296c07736a2eb76dcfce8bf32a68975a73f1d0d3
633b88c080681c6712c9f7cab4483e8cad1b4727
664f0d125a0e34e4d1c3e926b5624b05989e4c01
a4ea0b102b5a3f7037347fe0a92c125d8107c9a3
ee0edc3f2b4bd4f2a921bf756edf19dcb9478c05

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
278d3a45d56163c7a0a92ad467d4e69c490882ba
bc8c51a33e3bd5809202135f048bde61128e017e
1a560cd5ecc7420737ab0e84d9cb587bc4ccce0f


