# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
d9d73573f604b328b7f389a1ddf3522ff450e48b
f933f601ad1881d0de4569dadcd28825c79528fa


