# isabelle_session_info

session_name: InformationFlowSlicing
sources:
974e8213afb6cadc24ac67baaeb3ac914d640b71
9f0b4bbbee284527170127effd3487aa8669bb97
af0fce6e79c19393b556c8f6824b18ac961bcf30
bdab28321b67323894438fbaa3bbaa05d37270b0
c92ab62de4be442c5aacc5328dfcf2bd0f181305
caa6596dfa93f7644db52f75d75dd6e1d7c2be70

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
24a7653685155ee8ddf548eac28e2f2e44d3853c
67b43de4e6bc03f2193a342c474117d6612cd141


