# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 47fae16218479f931f07106a3ca567cb08be6619
output_heap: 5d413bb91d36462acce768dd93f8c5ac87a23151
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
a9dfd2a8f6105d882d60799fd7d253b1cf770b97
d04b23fba585927ec7b4cf04c3ef8207db26c1ed
9e33065c6c509b1464259e65a2418161f15ce6e3
a00550afe12ea224b1e75c665d58e277fd647c78
e85eb808129af72431f182f9dd586365ff244d8e


