# isabelle_session_info

session_name: Real_Impl
sources: 93e9e3e383697f4951993461ba263f66d2fc4e8e
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
6c8bdc66b0018559a8d36c5f6279d3ff41938c81
e2abb3a4dc9a8ace8ffddc202d0a2e8519118deb


