# isabelle_session_info

session_name: Simple_Firewall
sources: bfa9b56fd5e519ec1e4dafa0a3838be513f16b83
output_heap: 42e83d2c8803ccfb115027d424e729f77e1ba55d
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117
efa17d1979521ff6ba840f4bc69feec4cbad3016
8aa6e8386c028baad58c0279318644e7bfd85439


