# isabelle_session_info

session_name: AutoFocus-Stream
sources: f2918dd75f0538799c19081db0244636360056bb
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
8f3b17098edf26eaa7a12b12510a20452c8931bc
18076d14b8fad9998f18355cbde4b641b006719a


