# isabelle_session_info

session_name: Slicing
sources: 74e6513db2551ee807572263c2e8324f1544e79b
output_heap: a4421d3dd5fe67ac93766aa2a5b6da6e945fc4df
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c
faba4752f0e80be500179d1c27b0bfd75de9213f


