# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
e67c8202b67c345b15408085adc7e48672970ad7
c8570cc1c47fd3e1aa76f8de75b71a2ab3bb02e1


