# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 6ef19f5eff2101da4d8302d796296b8451ee97c7
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
f87e99c2e2333d54a40f2ebcf261012b052e5e39
cf38246f5bea3b1de08f60df65911ef59f972a2e
80899b8fb124d9eecf290186390fe76b93086b30
974c2d536c6b4f5e00fb6cbee77d96dc110dfc52
6f444e710418b5fbbdff73f2bd294669a8989d62
d9135b2a9417482a9cb88d9253b93c1207b80be2
5332c1ff639f4ecbbfa4a01857f01ecc01b9d816


