# isabelle_session_info

session_name: Slicing
sources: 1ae74fd03a5ea5f6a90fd3e379fa61cc27cffa8a
output_heap: 329daccd932eb157b22ee36bd26bcb488f671fdb
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
248a7669852433247d5900ba6894b0d4ba636a1d


