# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: 85e18d6f6ddf46c825bbebb73f22d5a3e1f3af1a
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
64dd7d92ff5d98070ecf769080fc9773522f3cb2
e9fb3c6b82e1b1a32df2cc843ff1819ef66a5f06


