# isabelle_session_info

session_name: BDD
sources: f1eef7eb530ac26332953cf4f8d28e0319c59b16
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
cf37a51a8377adffd25ab5ceb57aa696b666aa1a


