# isabelle_session_info

session_name: Slicing
sources: 0c15f1f0c5462f431bb4ce1b62d00e32940dfe39
output_heap: 1f72214a05bba2a59a487dfbf4b923b6b75b4a43
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72
86890cf78c648fb1477ddf66ecb54b4661a9c9bc


