# isabelle_session_info

session_name: Simple_Firewall
sources: f7a2ab9c5f85f268f5a2e5f7002c3d224b39a6d6
output_heap: b726e19c6ecdc007ddcc3afa5af56fdeee423bfd
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
d4edbdf3ecba056d2ec91d614d82145322551a4e
d4df39eb8ad201991bfa718f6ca2c24de3664dd8
197661e58ad14b9b00b16a58b20458bcc3d39aa7


