# isabelle_session_info

session_name: Simple_Firewall
sources: ce9e99acfb8fcee1ecb79623a07b783cf5500e14
output_heap: 294602197f42e5ec312f7dc14d829283bcd40795
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
425e794a17a4a7ed70038f158ff9b3b5e4078a82
c1d584f169b500062f4f5252e6e9f822fb2ce0e7
c68b50915635947f243ae3abb7eb2893e5feb75c


