# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 7e8fab1f744eadb50abee1476e23c2e6b5bd30b0
output_heap: 24e9657dd9f993785d8e873fbdcf05605e97b377
input_heaps:
d2ef5c31b6b3dc4759222e80e0e7908f5583284d
0f37cc81934b398fa192c563f955fea88fb533f5
9bb40e9e64d29336494204c973699c384ecb3d8d
aa38f92879f2d1d60be2d25e2aa34c1474005016
91989eb276f6057992038fafb957e0196f6f21cf
ee4ac2dea1703cc399cca50ef8ebf08c4f997974
e2105aee88b4db11c93ff983f93df55d33a95122
36ce23cdd62ce1330e3276442a56dd3f1587613b


