# isabelle_session_info

session_name: BDD
sources: 2b975dc27266c1d4cf9a216fe179fb47ed632ab4
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
256034b3afcf8dc6fe6113c243901a7bff1f66df


