# isabelle_session_info

session_name: Iptables_Semantics
sources: 19ece54ea086f3852f02c8c91a97267a69768118
output_heap: b970ac1403dc80e5eb4f0859e3e9bed26c732129
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
f8fe7f4c2b152b659cea7e981849dbcd96b44f42
c3d004f55e7410e57dd397fc720cdc2d30429a0c
8071e5231daa41b260dcdd76314849c26d994b82
e18b905272c8ce381f6f677c8d5ceb854374f5fd
331cf99bfd1ef91694d4a418fc65cfc884b762fa
a05d4f91dc8bbebbea1f5f361c89b17c787cca78


