# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 47e1d3e0c261163085852ebde40e062eb9b78bf5
output_heap: 3e4a613237d44d0dfdb1e048a1b186415a57060b
input_heaps:
ddac2b5ec5b65da1b8b70ee1f826bc68a3a90672
30153c358506b8c6cf9900427066fbc55c1a434e
263e2f374574964b0e070362c8d0eb753575cafc
52b285a4a7eb84684b807ab36409508a88a6d053
e0412eddfc66555afe8f005661c7bea47493ab17
a778bb6ba5580463982293fed8aa0a9f47ee42fb
e311d5b2ab9e99a52956f08d00722cdb21704500


