# isabelle_session_info

session_name: BDD
sources: 8d2ad6a126c1a2a8964efae0fb6539d6144ec206
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
0d8b987e5918ef4b5a7f7170bd878fadc4b43088


