# isabelle_session_info

session_name: Iptables_Semantics
sources: d8efba4672803e6c9ea209887b1969a23c7447ca
output_heap: 0d92b14c495514691c70bdea3634558d0064f497
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
e9f51a7c41addecf1f69ca5aff13e0edba7277f3
87a604ccf7565e19e822950b1bbdecaef0956ed4
a6844a0b089ce20a4bb4fc75ac27a7dfc409042d
165b81a8b8ff259616568ef786ab8355e6542570
89d0cac7b5a10790f4f830103489da933dfc5a7c


