# isabelle_session_info

session_name: Iptables_Semantics
sources: 630bd4910366b0b15132033da143aabe28ba8546
output_heap: 71bee2d85e1c6c3997552ec23630003f45eeb40e
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
227e6a94955eb427babf9960aeba84f712fd6244
57e4f5049f0951bfb40b29f900c0e37448c1fe3d
6910abc5ef0a10ee8216ed35b49c88eb137fd5dc
1e5febe9e66899148fdff8f28e8f22287001e68f


