# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: e9d2d4e7dc7bb0d35db7b5658f48189389c54ebe
output_heap: 9a6a79b979d30368ae67c9075cde64165b17ae13
input_heaps:
ab7ebddde897b913697d04674b47135e7a71bba9
83a42f5ab2ecd7550bef3e5a26f7cc58642ad023
ccb4c822405f3f4dd56f664e8cef6f3daffd6629
51f9a260ae2b37e06f6e1e5f85b07c28ad0c291a
74288b0e7b5cfa812de7b33d86c7621d879468e8
7dc9a812151b1ed717317d0612b8582518c46e8f
9af42d3bb6b8f5e39a6d47ea1be65c3d92fab1c6


