# isabelle_session_info

session_name: UPF_Firewall
sources: 664ed0ef4c99173e6e172b0555fd1fbdfe11ffc5
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
0ad86fb8f4d0da838cf9c2db98b7cc6a5746dc41


