# isabelle_session_info

session_name: Simple_Firewall
sources: 2f021ec19e17f4513ec9dfd2009acae015a192ad
output_heap: 28b6759a9923bb7e9465ea97f934a57cd926cfef
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
6ec5a074f88e21307c28c2c9241302beb5a00b5c
a3070651a02e203a826c485fbd280a788e8bbbb7


