# isabelle_session_info

session_name: Stream_Fusion_Code
sources: 082649fba0c814ff9cc15b843f1ad04c09264f04
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c
e7d8ef4c95ffc25bbf4c26957c85a5029f1e088e
fcc4f9d59ca745b07ae748f0a4aa02e80e4bae04


