# isabelle_session_info

session_name: UPF_Firewall
sources: 7255df0067ec2bd4119f7a7b6d24bae2cd295d6e
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
5cd0038c603958298f9d326ff69241eee29114ad


