# isabelle_session_info

session_name: Real_Impl
sources: 547832049c07bf4e8dc3bac318e1f6b9db641b29
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
638267a28063c11f1cf1dfa5a0f5a806d6a9a1d9
f4ffa67dedd0c1921107ddbc2a4d29d5c3e4fa83


