# isabelle_session_info

session_name: UPF_Firewall
sources: 5b8ce7aba80c0d5a0fdc7fab78c6d579354d0799
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
595693497216e4b5f588bb0be419d990a502f6f4


