# isabelle_session_info

session_name: BDD
sources: 56c25dacd83d4b2fc7bc4c51518038f5b1ec634a
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
eb75621f8ab6648d9914f278cec733eac63cc705
a55ea87b381753f0a3417c55ad6e3de704ef5856


