# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
a8f43d2da5840d0957b9f313b00cb6288301e992
3171541ad4d5613dbd66011ec80a0bcc3fbc47a8


