# isabelle_session_info

session_name: Simple_Firewall
sources: 564e618e3d180773126d0edac461d4266eb38979
output_heap: 082fe39aa7669817f97e8a3de30a6166f9346ff1
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
d14ab3baff99d8e7fefffbc4d657058cc7e7dc8f
2fab7f145f2155ba135801750ec5e0f905248c1f
658a606d93d9523db0a3a51b7ccf89159bb44e39


