# isabelle_session_info

session_name: UPF_Firewall
sources: 32556dfd9000bf53b5b066fe8b405e7c2c2f0fe4
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
b039aa347b3edb03edd8291333904f5c0f3bb70a


