# isabelle_session_info

session_name: Iptables_Semantics
sources: bc6dd53c72240c3ea92493c33de49987c8cd457d
output_heap: 845fc5b45fc6bad53f45c34d463357a1b1f176ef
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c
a0c8c0591110c26ab241a8eba0e50930a9e1ed14
ac6582f5f36d3b0b093b023ef66ae6a325d0cfff
d0f95ff6d00ac492b23ea03b637bcd2c8f13d3e3
4db9faf0824252b4949a7b53257fc47ce834405f
733b5cfed0f481e0f29ca57aa2600cd5e5d9553a


