# isabelle_session_info

session_name: Iptables_Semantics
sources: bcf07d2587676b423d4be5e97b7128394430a238
output_heap: 144109d9c0929b884b642b0ed2fc33ba8128fb17
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
ab58c73c43072a722217713615f96ad2250391b9
14879ff0b74d00378f383fa5277c3a4a58e6f917
92bea6cf330f9a404baf42abe3b2a4ce1ba49982
ae2c697adb8f76617366bcb28adae8034be20a30
2fbd017d33655bc1a9b97fbd97e491061f58a036


