# isabelle_session_info

session_name: Simple_Firewall
sources: 550de1545d20901eb589cff235751915c57841b3
output_heap: 3ff4d88b90d07ef2b57edb406ccb94132eabab92
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
86c62a8d8ac123fce4a0ee6d182b7e268d49ebac
11a246fffd9c657ee000184900c4b699c46c89c0
1172be46fa9b4fac3132139e34ce5be6ad0afc91


