# isabelle_session_info

session_name: InformationFlowSlicing
sources: c4ea19ede70bace2c9960362e3f8bbab93fb8497
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
8ff325352a38c1ca485a328e3bbf63052b1d2abb
8d020fd5d0406da45c520e4c92e26e12073a692a


