# isabelle_session_info

session_name: Iptables_Semantics
sources: 0329c035aaa1aef35cf56855cd479666805678e1
output_heap: 0a2f920b0ecd2879c2d05fa5c7df108637b2066c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
031c9ca9e9c552c0be10b4fae4a475595340c4d7
df8f5f2c6c8a5f5022685732f5412d77eac1ab53
66eef6cd0ea9562772c39ba7b37796bc14f27876
e1d5c7d2fad6eb959d5e056bf940435022907ad2
235975d4d1f8d805d5f821fefd41f1099c1354ec


