# isabelle_session_info

session_name: Iptables_Semantics
sources: 95af719389eb578634c33e5e26a02a405f6abb56
output_heap: 31a1996d979296db990e21b69a7f2ef8429727b3
input_heaps:
bf7b58a3abd9aad2c201e71c33ca4f749f4146b5
ad4297445c0b6027cf95e560b2c3511bbbfc1d62
827889030b775b4a42806bb133f468e2ede2f5aa
5639d65d5a0a1b14bc621bce778d96958662edf5
020aba8e0962234f65e676c8735c99db9bc5c495
c996811466135bd2a9543bb6b743239fefd4aee4


