# isabelle_session_info

session_name: Simple_Firewall
sources: b84463d97ca658dcdffe12148296368f00d8cd11
output_heap: 9e33065c6c509b1464259e65a2418161f15ce6e3
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
a9dfd2a8f6105d882d60799fd7d253b1cf770b97
d04b23fba585927ec7b4cf04c3ef8207db26c1ed


