# isabelle_session_info

session_name: InformationFlowSlicing
sources: c636e59f2960eff77e9fa8b3226e9513059a2ec6
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
e94e161f62255b1fcf38c93526ddb70c8f614326
5c936d8a55c3e0302de428e60af5cbf0e03b77ad


