# isabelle_session_info

session_name: AutoFocus-Stream
sources: e529d78a7b338afa61c99699b8665c441ddfe06e
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
bd431763f6876133b052ddb4752b302fdea3f7a6
60bbce6f2e9cca87643ae4fce63150a206b0f134


