# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources:
1455603c6a0979c554de747017e209c95ae4c527
69d0c5385beb5869d409d00e3901fba31abd9b06
974e8213afb6cadc24ac67baaeb3ac914d640b71
9c232d7029a1b9134fee70a1ce8162a133580fbf
9f0b4bbbee284527170127effd3487aa8669bb97

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
2341c1931b05c94af721c1b1ca9682ee82aa19f1
92af4bd4ad6fe436002831bdc4e18c95f63a218f


