# isabelle_session_info

session_name: Iptables_Semantics
sources: 85d874ea9e5e69062c490e2635351d516293e292
output_heap: 203d71610e7ea7de6d7929764a6f437ef05e60b2
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
21c162074efe45b9b45c1371553b103f18d3ee25
9cd8fb798ad04da75baddd15664ad9cbb9dfe6d0
f213cdc38981c5adcde7216b3470810937ad2b39
b84656bd58830121b329de7bc0b61d2bafd4390c
f1e37fda778cbd38adcabad2578831d3a18a6c3a


