# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 56f2d01aaa410d7cfe957e2e860eeab5aa9dda16
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
8d6739281d9956d6c76beb34aff5208897b8912e
87363835e3a990d639fd7bb323db1c9535fde872
4b2634255c96284c0b3a16e9f6b48f4c56e27300
08a09e2fc9d73b60aaebcc9c9cc391d9dcf3e931
7a4f3fbe3f7c93cd9cea7ce52f1d675bf6d78513
c2c2c3061eaf2d695ed346182073bbbe665f53d9


