# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: b0229659bc50af8c1bd96559ecec391838b00f21
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
798755567a91c9a41e3d36801948fc3194d925cb
4b9c5b9cccf8e81a5e81e5271b6dba3381976c06


