# isabelle_session_info

session_name: Real_Impl
sources: 54af168dae4cb22923605d7ca4331ca11365ee8e
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
862c984e78a8715cf93a0c70ac9edbd620ed5692
4da09166725f26457f89e8ff53e05202e88e146e


