# isabelle_session_info

session_name: AutoFocus-Stream
sources: 3f40f1d2f869dc9e56f7be4761262f89bae4c9c8
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
8f9ce1cd82c6a22763e02615a3ded9cda779e034
2bbd8300fcbb7c1f887a20a00ba69c0ea1937cf1


