# isabelle_session_info

session_name: Slicing
sources: 1d38b2f34ed54732429ed6d11737a2f169fd6547
output_heap: 1c8de3f0869cfc8060765326a0dc872208939c52
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
529da90294ae6a76ad19369b741f8531c3213614


