# isabelle_session_info

session_name: Deriving
sources: 394b34f52367e7e798fbb525426d9708c3ab0c7f
output_heap: fd3417ee8931a37f8fe4cc41fed664717dd60f27
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70


