# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
c0ad21d6926f3212b802ef155fa746fc1b5d7e30
939152b5a9ace59ab1b6d9a8e8ab8fa893442b45


