# isabelle_session_info

session_name: InformationFlowSlicing
sources: f75b9a60950540e9824e69346804a68f52c71d81
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
b289b2d35e21bab3230d78ec88be7bd1d162c47f
9fce95bd626625a78ce7e16064b255135858ad7b
38cb2e05b1f4790ddac171a4dab3efee201585bc


