# isabelle_session_info

session_name: Simple_Firewall
sources: 3673c57306717142f4dfa0f8318a6553c6204a2d
output_heap: 6910abc5ef0a10ee8216ed35b49c88eb137fd5dc
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
227e6a94955eb427babf9960aeba84f712fd6244
57e4f5049f0951bfb40b29f900c0e37448c1fe3d


