# isabelle_session_info

session_name: Iptables_Semantics
sources: 923bfd25e86a80abc3d418027b9b42cc2bafab28
output_heap: c4682bc22e773001a5bc77de6871a357d8545b5f
uuid: a42b195f-ac85-4cee-b73f-325db79cc450
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
25eed2ed22cee016a5009b95cc0340cd19947519
19263a9e01132a4574de64703ec5527177622811
31377199fd2507022165b7231df78dfbe139a235
f99de8881a803048f519c47fb0aac0779e5a4fb2


