# isabelle_session_info

session_name: InformationFlowSlicing
sources:
1812407495cec5df04e9400ffda893a10b1dd05d
48f54b27801ac9bc464dcbe870311259f7be9c1d
974e8213afb6cadc24ac67baaeb3ac914d640b71
9bd5f47ea803bc1938aa92395b6338b228df9c7d
9f0b4bbbee284527170127effd3487aa8669bb97
ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
c0ad21d6926f3212b802ef155fa746fc1b5d7e30
c6eefdf3d0af584abce18bd26accc885c4ac7f8e


