# isabelle_session_info

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

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
c0de3a72380c3ab1b14c971396752f50c590bc0d
5e085061acc7b4090528adfed724cd4dc9a1969a
3eb2d7fff15bedb574eaeee1e1c627172d43a25f


