# isabelle_session_info

session_name: Real_Impl
sources: 23c900a5021adf1849898440a0fe36886e654c8c
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
d17d1b2e797e8f27599692330d29d59b74f168a2
963c9a9f77b56165b3c652b88387a3c299003d8f


