# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: b9ec6ad37ef46947a802f14dd609413add9bd4bf
output_heap: 77ca5e57e772fa7842f50890e74df3793a734951
input_heaps:
a6e14f3df5685a2cf70838105a1d52553d7e5c21
7e91a6acdbf094f8bcc460b702802d7d8cfd5801
e7def96da553798171c906d1581657804b24d1d3
4df1b75652a468419358529841a9d33f1e3cd755
558e857d88ed692e6fac9db4cb6fd097258de505
4695d952fb7ad8e7e679134e7e608fb6f5fa4958
8edfe8cb9e4b313ba57b6d6bd25d8e254ca02b9d
ad3d8ec4ac42009d0da1b57305a5ec740ae49d0c


