# isabelle_session_info

session_name: Iptables_Semantics
sources: 5b5514e3201dfcdf606dbb812cf7b6ac8f7f96ad
output_heap: 301ed11e3fbd8512bc0d03fc8fb97a61c9f3017a
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
d4edbdf3ecba056d2ec91d614d82145322551a4e
d4df39eb8ad201991bfa718f6ca2c24de3664dd8
197661e58ad14b9b00b16a58b20458bcc3d39aa7
b726e19c6ecdc007ddcc3afa5af56fdeee423bfd
236d20aa43a6946581c72c1b56064cd602661f78


