# isabelle_session_info

session_name: Slicing
sources: 8faf3942f3e95a8db9ceca199009bab2f9ef5d52
output_heap: 8d020fd5d0406da45c520e4c92e26e12073a692a
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
8ff325352a38c1ca485a328e3bbf63052b1d2abb


