# isabelle_session_info

session_name: BDD
sources: f2d67c0668b1b870f6dad4d40db692703ed65f18
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
840e3b36387e19bc317273e4d3a5630c63a356b0


