# isabelle_session_info

session_name: Stream_Fusion_Code
sources:
01d0bdf631988cc5d8b72eeb42ef4edfcb65c434
21801d08fb7b25dafbb4d558fd6472932aadadea
3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44
682cf9b44f4b810fbf3dd344dbb58ad4b42af876
b049cf22e7ce3479c88b968a63aca5671d014e0f
eb81db9d877bd29465f2102e24c4ca792cef95a0
f0e5a57dfdf7f6cdacfc0b9da865465b469ec054
f99ee1f2d92f36615ec365d1532b742d63c007e9

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
0f274b86b2665f3e8fc4c8fb05d48c2d1e342654


