# isabelle_session_info

session_name: Real_Impl
sources: 33e865752342d5adb6a9635dc96ad3502b451c65
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
11878563d388ddaf2eac888c274d12d72474ce9a
92abe5f8149161fb6642bb4a8d105c04fa99c426


