# isabelle_session_info

session_name: UPF_Firewall
sources: 77ddb646d2745ae251b7d93a221228b7f5598485
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
40124c8c8bc9f8bb64cd8f77b7eebdbe8e8b35be


