# isabelle_session_info

session_name: UPF_Firewall
sources: a07243cdc0b59f88a204d8a54c6c469d8c605e26
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
0ca36c5c94e0ccdfa3d1a451a730f1a7d8e2a795


