# isabelle_session_info

session_name: Real_Impl
sources: da2ee5817b7b858c4c46b4eae7286fc743ad1422
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
b276dffcf0c794b14cbe83283b2e6905fdb390ca
4a3aa1157983da7f68f0d7dd86f8343d3da49546


