# isabelle_session_info

session_name: Iptables_Semantics
sources: 8f03a718c72aed12266560ff1199ec9b8385d2b0
output_heap: 9694ece73c30cf7eee7e105d44c7a00cd151f1ec
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
67a081e9b4aa333e6af5f0f43e16f9cb227649d4
a91eef02d5f9e4d52c9ef39218bee8ccad5bd723
1fbeb7e8ae623fe441b70818ae2c926ea4d507b2
0e429310264546db7c0101674431da47830a14fa
f55860a1d336d0fb61d79df908057f9d600e7d50


