# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
7d7e90c33154284234ec74ca3ef93827556f3a68
2537e81cebaee80938ef015d386066699daaab29


