# isabelle_session_info

session_name: Simple_Firewall
sources: 471d563b9760111f8bc5efd8a6a74dbdda6b86c1
output_heap: 9f78c19aa38362e2c985588c9e3e3a0d7025eca8
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
d0b2fe50fc0f701f7662f4730cd7e9295831c7fa
0e7234a415409952ce190418f83cd5e2b78a8575


