# isabelle_session_info

session_name: Simple_Firewall
sources: 00561d80c4d848b807f55f9720f2d93538618282
output_heap: fec70ce9d56ea63b1d5ff5b0a8eb1cd829341cdd
uuid: 0043dbd1-b37a-4f3f-840c-6014c201916f
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
7fc77052a749690e5982f3d8038831e38e7c7b15
5c8418a0f84c20a149612889d3676a237b63895a


