# isabelle_session_info

session_name: Iptables_Semantics_Examples_Big
sources: ed5db902978ea7a69f1af40ea43a4e15f955f2b8
input_heaps:
ddac2b5ec5b65da1b8b70ee1f826bc68a3a90672
30153c358506b8c6cf9900427066fbc55c1a434e
263e2f374574964b0e070362c8d0eb753575cafc
52b285a4a7eb84684b807ab36409508a88a6d053
e0412eddfc66555afe8f005661c7bea47493ab17
a778bb6ba5580463982293fed8aa0a9f47ee42fb
e311d5b2ab9e99a52956f08d00722cdb21704500
3e4a613237d44d0dfdb1e048a1b186415a57060b


