# isabelle_session_info

session_name: UPF_Firewall
sources: c4a59bf20c210e13569c7f5b730503cc19842555
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
01e6cbc1fabf0055e8a20a17d4072871833d56e3


