# isabelle_session_info

session_name: Iptables_Semantics_Examples
sources: 7c660071156d44b26480472fb05d4e43357251a1
output_heap: f23fbee4ba01965a4067ac413c909cbf2fc6f297
uuid: 1158fa51-b42f-47b4-8fec-768cda3464f6
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
25eed2ed22cee016a5009b95cc0340cd19947519
19263a9e01132a4574de64703ec5527177622811
31377199fd2507022165b7231df78dfbe139a235
f99de8881a803048f519c47fb0aac0779e5a4fb2
c4682bc22e773001a5bc77de6871a357d8545b5f


