# isabelle_session_info

session_name: InformationFlowSlicing
sources:
1812407495cec5df04e9400ffda893a10b1dd05d
21e9f913a68380a170af4805759155512874fe2e
48f54b27801ac9bc464dcbe870311259f7be9c1d
974e8213afb6cadc24ac67baaeb3ac914d640b71
9f0b4bbbee284527170127effd3487aa8669bb97
ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
9a4c084945f81a5b9c7b01430aeb45632d328eb5
454d37a4965677413677e69979f134fddac2a06c


