# isabelle_session_info

session_name: Iptables_Semantics
sources: 2e5a09fd439822282876bdcdc68467dd2f34ab19
output_heap: 8e225daa2ccdedc2d886ad60419400187cfdfd92
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
88b4f2682bb4f2e725f7b620eafbecfb10667ae0
2f0373457ec77174336524b955169928c6b974e9
3ae56b1a9c8a731e8ff2d1009e099bf6cecadd29
bd3a284216dedd505b941c42667a1d69a481cc85
be2060335711e4bda7c1995fdf3d0deb9c7129bd


