# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 6048a38b19c942a29d35f0fedfa03be71c3ea88d
output_heap: 8e314a9470f89bc2551378186d491b14ad5b1938
input_heaps:
724c7f3ae9a8a6f3fa9668fe696b47388a7b8b71
cda097f0bf3ea97322e944a342d133a31abdd0f6
593487a4e71ada9245b3cfa5a45eaf11e8fd2376
e9243305ead085af91f8ad13953e878a42f0d585
ed470eeb6fa68ca9fd6f588d8e96a00c4c099982
e6f72d0a0b6493b051a2c0e2c58b359f712da6a8
680ebe42d474cd1fa88bfab057a894e4c9d1e7b0


