# isabelle_session_info

session_name: Real_Impl
sources: 547dd6a34b3ccaeedcdbabca77ce4e0da6240293
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
f3c9b9bf08fbf198b987ac3781f9ce41438b597b
d2ceef6747481e3a48d5e78186015b1af61c8b6f


