# isabelle_session_info

session_name: Stream-Fusion
sources: 76e06a5c056a8a6e84b7c6a544117f69373351df
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
b7c70401be04b6f8e0ad08f6066bf3435963cd22


