# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
609027c0b5e2d5a13a9424abded96d9da8b41772
9af8b800f666541cbe138b0c73c675da401c3f67
7b4156e3917a93b1f6cbe9a5bf329f8b0ba51264
8fbab10a7770cc6a25a4e99953d00d08e75bd04d


