# isabelle_session_info

session_name: Iptables_Semantics
sources: 07f14e398bf5c18000523296c2ae570fe6c5e9fa
output_heap: f7ff5aa3472cad440d8571564fe583c7fb756708
input_heaps:
b448280d99dfca3fcc3b756c60f43e37c9f889a6
32c1b1c09689810c1d8958b74fbadf82f0a39e0d
9737b707643b03669bf3c02a8691c9300bb40622
0d693792a8e1b938654f9e6cd7ab4e8c5820513d
8ca91c2c8b834be17097f9fc009a7734aa74ed05
7c845f1d2c25d59034aaa214c755e807effe03b1
5dafc6a22ee4214850114c95b6247996241b749c


