# isabelle_session_info

session_name: UPF_Firewall
sources: 790acced231ccef2af69adaa97fb125ee19c2c50
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
baeff8ab8b024021869a679ed58becc264e64634


