# isabelle_session_info

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

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
bfd5848bacf97a9fb8952263c4037fd55861f6b4
ddb2041a069ef650d8d537192bc2c33881057596
859e73c8180e0d775cc6a78f82de3bc103eb068f


