# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources:
2cf3ac984326e5ec979e2ddf440fc22ee8082b5c
69d0c5385beb5869d409d00e3901fba31abd9b06
974e8213afb6cadc24ac67baaeb3ac914d640b71
9f0b4bbbee284527170127effd3487aa8669bb97
fdbf32e36261549b9f23738683ab25b4dd9c74f8

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
24a7653685155ee8ddf548eac28e2f2e44d3853c
41bf0c1bc32986ef5a529e74b22f16c47d73adfe


