# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 8a1283b7f774e793704bc3ecbb8064ff7f5afd42
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
0c80c3089af67fbc367d2127bc33378b9803cdf7
6025cbc366cd0ce58390242f6e63e32a6ce365d1
1025ef12857e39270f97bf1ad63fa0ae271400c2


