# isabelle_session_info

session_name: Simple_Firewall
sources: 5ff876a01798ab34b169c27855ba4ef13cceaafd
output_heap: 7a11fdbe44519785ab4c3ef4b06fe6292a5dc9b7
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
8d6739281d9956d6c76beb34aff5208897b8912e
87363835e3a990d639fd7bb323db1c9535fde872
c5b0eb019f376384f1ed587fd1f2354daf0cd112


