# isabelle_session_info

session_name: InformationFlowSlicing_Inter
sources: ee7f95681de5065afee68ae2d484adec1949cdfb
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
8ff325352a38c1ca485a328e3bbf63052b1d2abb
8d59be17f39e25574c767afc15dd0f6543334f7f


