# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: f0225d18ca30981c1f7473901b722ff9df4848df
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
42c3d01822789bdbb251f5d84c25e5c3b5dd57b4
de11b362bc539bff3dc41dcb75dffa82fb83f33e


