# isabelle_session_info

session_name: Iptables_Semantics
sources: acaa727411769eaaeb2a08250fc6375d4958e253
output_heap: 0291ead64154c3c8510428a81fa4bf6d878bb16f
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c
a12dd1d0f81bc03d2c48f05e28a3108e35148186
bd03c84f2866ac256b28bdd1e8611778cefc1b58
89b3f7fcc7b7ccbfb5d7d5e1980d551c471e9073
c5569af32249da0e3adb686414cb9a1bf9888af1


