# isabelle_session_info

session_name: Slicing
sources: 888008be5725652b2735f65eaff24ae015f34284
output_heap: 209e12df859f53760ce596a786e3e375faf6ce58
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
828baedff154701414f8d12e612493ea5fea761a


