# isabelle_session_info

session_name: Real_Impl
sources: 22c4deb707a4c9a001b053aa2c46d68e0dd5fd5a
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
218c40f8db18b56e77a680bb68919395633b4679
99a314283612593702889832ba344149c18c657d


