# isabelle_session_info

session_name: Simple_Firewall
sources: 344fad1507a0b06c1ba2137b7e3ee13eabb2a445
output_heap: 861c718d4bb2cc71d8b2e724dbcba32396f67ebc
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
f75acb39135c6e72c6cc6cac727128566c1b7a93
703f8915f526037945b63de8fb4982333f3fc721
d3179d97e5676848ad742f4415b09daaf5f48ccc


