# isabelle_session_info

session_name: Simple_Firewall
sources: f7909eed1c5618f20ac3644c9b6c631514c9d981
output_heap: ee2c05ceaebe353852011988842fa47ba6c3ce96
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
b9823c63ec65db558a030907f9cc1960ca53839e
2d89d4e79034818779a0f15518ae2ef2606ca2f2
6804df1a849268d20a03926557675d488766b9d9


