# isabelle_session_info

session_name: Simple_Firewall
sources: 86755a91393cc62135a2382be7599528a8c1ea3f
output_heap: 89b3f7fcc7b7ccbfb5d7d5e1980d551c471e9073
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c
a12dd1d0f81bc03d2c48f05e28a3108e35148186
bd03c84f2866ac256b28bdd1e8611778cefc1b58


