# isabelle_session_info

session_name: UPF_Firewall
sources: d4a52b2d8fc3ddb0fb2d00fba459314451a0dbb8
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
c2378298773ada8852db1c5166977517ce84546e


