# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
dd7e3803e91f5754765d14ca575e931ed147ba12
de13b235fb5a3f329c406c80ceebe9126d14d66a


