# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
912f457881ed9ae88bb738b933dbedd232e16526
12548a55825b72633f97f4e9a52dddff2cc9e59a


