# isabelle_session_info

session_name: Iptables_Semantics
sources: 5e58c9ae58bdce7cf73e868a7044c572356b9080
output_heap: a82e6a834691a11ff9c1293fa22b4f521f8d8012
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
b8472359012f34971f91d8be2ac721aa84a24dbd
ba44f6b1cfb40d68fec95146b97019e531c6917d
106d83eba7dbc60eb7b9d9f80302c8c8849a2db7
5774196fd35639b805a10c558b353efc9ecbda20
01d6aa1a76af46833709c97221aacef54b5ffd11


