# isabelle_session_info

session_name: Real_Impl
sources: cfd81d0bef2198e233ddf7c8a168313ab35509f0
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
df10fba89b64f86549eb27ce3b6a1bd44f9402be
ff57b80aa56a2ccc61f72554bc8018c890932a3d


