# isabelle_session_info

session_name: UPF_Firewall
sources: b8b5707ad7cffcf338980ab35e55893229b0defd
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
a2f7608105627bb3236803cd68ef32d7698650ca


