# isabelle_session_info

session_name: Slicing
sources: 70c93aa89aa15deb834ca6bdab8ccc3f00977126
output_heap: d2843d2fd5dee82a89f49e3ff4e48a18438a7db2
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
b00b49c8ed70ed453ef127711e671cb988aa3069
dc4743a45544099788ae7ded7c17a241b046ec34


