# isabelle_session_info

session_name: Simple_Firewall
sources: 27e3b3a13db746d76b01eb9f5ddfe4c6267945b8
output_heap: 74288b0e7b5cfa812de7b33d86c7621d879468e8
input_heaps:
ab7ebddde897b913697d04674b47135e7a71bba9
83a42f5ab2ecd7550bef3e5a26f7cc58642ad023
ccb4c822405f3f4dd56f664e8cef6f3daffd6629
51f9a260ae2b37e06f6e1e5f85b07c28ad0c291a


