# isabelle_session_info

session_name: Stream-Fusion
sources: 210caec9db047723066ba5bbbdc73ad4687a97f3
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
f2a43879b50b268ff2db3f5692adc58efb8d10c1


