# isabelle_session_info

session_name: AutoFocus-Stream
sources:
296c07736a2eb76dcfce8bf32a68975a73f1d0d3
315f8ae9032504ba91aa80184784c89d0a33bbf2
3c40b84801f079babcb203bdb62bbc97575716f6
503865e0a5eb2763605275b2e670232d38346cd7
633b88c080681c6712c9f7cab4483e8cad1b4727
a4ea0b102b5a3f7037347fe0a92c125d8107c9a3
bf2903c8fce04066026fd5b356e47860fceb87f9

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
70b9d5031ba2902127f6c56941368b40e9c579af
42059f96f59afb1a563a473505d22fd475169dfa


