# isabelle_session_info

session_name: Simple_Firewall
sources: f7a2ab9c5f85f268f5a2e5f7002c3d224b39a6d6
output_heap: 521ee89fa66314ba62d3776d4ce00ca76e8e45bc
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
8b92a806768679e21fcbb96de884495b3ac11adf
81596c0866731621a166ee1c4531f7e4590d4361
ef4e3d4ef0aa12b6f04f533cca6fc17a0e58683d


