# isabelle_session_info

session_name: BDD
sources: 9985c868821c5f093aa8ba3f909723ec2b5eff6b
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1c47fb1e5ab0b8e0fb5263907cdc48f085194d08


