# isabelle_session_info

session_name: Real_Impl
sources: ea70e2e55ff818a8c2903b2f2c70430a714f2878
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
73c423cf12f12b6bbf649e5be0556104d37ba543
874b6f9a94a093af80755b49fe3865f0371953c9


