# isabelle_session_info

session_name: Iptables_Semantics
sources: 69b53bac73725d982b6b28588cf7b5d16d54fe50
output_heap: 130e5f099fd373148ee340cfe7ae4b2bd87d35d0
input_heaps:
bbb5b609aa28db9cebc78e0c10b29428b5e676bd
28100a2ea34f8e56f0719ea87d7ea43a4de19490
5c0630f619bec019519b38a32fecab4cf059ade6
2696781e6c40a14c1d7ecd828d6c8dde2939b0c1
2862fa46d9b4c0ee956825a9fcedf1fec60b8c7b
0e5d1b9aa1bd2e451e318a8f1f885f68a8e3d8db
6e400f006747b241c6b5721d01d069c57e608647


