# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources:
2cf3ac984326e5ec979e2ddf440fc22ee8082b5c
69d0c5385beb5869d409d00e3901fba31abd9b06
974e8213afb6cadc24ac67baaeb3ac914d640b71
9c232d7029a1b9134fee70a1ce8162a133580fbf
9f0b4bbbee284527170127effd3487aa8669bb97

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
d9d73573f604b328b7f389a1ddf3522ff450e48b
226b4c6837839e282994735f532be71704729c96


