# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 4df0f7e7f9a7496eaa74b024eb7971386ada1564
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
dc22c858392f9d2dd9a409d7f624a25295bcc9b9
ed5afa527a88adaf4c5d02a1a7d16ea854e3e145


