# isabelle_session_info

session_name: Real_Impl
sources: 6e9fe694a7d125bd23fe9a3dc2534c59fc979acc
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
6163f4541d67a241c9895f8473c33d4b3a47a131
9215496d56fb251d252b5a1d2b4eb82bd1d2a69a


