# isabelle_session_info

session_name: Stream_Fusion_Code
sources: 25047673d6407dd972cbad95755a65b4fa482fd6
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
2ab3967580a9293260799294f3a72b6d3e4eceae
2c0b615319cf6f4a8e024451a6c76b9c1cd6b043


