# isabelle_session_info

session_name: BDD
sources: 70b2fa208ee561ff25729c37af81a2e8b5e1b73c
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
32c9366dc5433d8d9ceb92ab9fedeab0646f156b


