# isabelle_session_info

session_name: AutoFocus-Stream
sources: c082301b3d09649643a67bcf7483c0e9f1097337
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
af4bbae4b9ea16b6b597e756483e87e8d6441217
e00c7859080502f9bd2b663c286d7504ca9cff98
3aa77ae2cea814b4f17adb1c86828469fa329a51


