# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources:
69d0c5385beb5869d409d00e3901fba31abd9b06
84566d7d7a79c4d41de3de2b33f306aea044d434
974e8213afb6cadc24ac67baaeb3ac914d640b71
9c232d7029a1b9134fee70a1ce8162a133580fbf
9f0b4bbbee284527170127effd3487aa8669bb97

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
912f457881ed9ae88bb738b933dbedd232e16526
4044417c3dd61a1edd19bb81c420f8e2a4c37975


