# isabelle_session_info

session_name: Stream_Fusion_Code
sources: 0b7e915b3d4f8a6388922cc5e05ed231e9ded9ab
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
a719a564881bc4392379bb5b59a6eabc6cfcf740
c60bad492e8a9812e5d8f50a523f3ba87ced1e92


