# isabelle_session_info

session_name: Real_Impl
sources: 1739602bad34c6cd68abb7c610396f931a2f8a1d
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
b7246222e3a4d52ad04e3c7e0905d75353f7a306
61b674dd97daf49f64f6a982daf2c82076500b84


