# isabelle_session_info

session_name: Simple_Firewall
sources: bffcb0b1e0b4ccc4de0978d4286021de136cac7b
output_heap: 5e0b9beb0ebb36fac6e7b281fb0786d48f8fab9f
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
de080a6e9a001cc218fa2593f399edf3cf599caa
91387ddbc395c501aa6f6a7850f8bffb29995809
8ba8c40b46ac8afd09f23b1264606003e80ebd75


