# isabelle_session_info

session_name: BDD
sources: 8e516924ed94cdb004cee7bda587c1fa824eb016
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
0b94d7d418fd267bc2ef090e6f4db27f171fac23


