# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
190aba293ecca7a1fb1d23b827c0a4edea07cd47
f0510f2c76a5403ce56881da7392413a0e09c10e
19bd054ec8c27cbf1ec6627ba72745c83450ba4d
8c6942eb6f6125ad67ba064ac8e93a7ac2feadd8


