# isabelle_session_info

session_name: InformationFlowSlicing
sources: 7c22ecd5d306f464abf5be51f090875e43915ba3
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
20fff034098a88da2fad29093b25d7f90e0ec05c
4998ef0f46ea0b8981796ac3defefa422018523c


