# isabelle_session_info

session_name: Real_Impl
sources: 2346cbef47a52d50ba9e23a9b6d9dd09f69547c4
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
3e62a8e77ee66454c0c3a0bee242a7e0dd5aba26
3f4380564b2e2a5167456749afe7fb29c836ccc4


