# isabelle_session_info

session_name: Real_Impl
sources: d579fa1928ac137f7a449ea164f084adf3e13a86
input_heaps:
1cdfa493abc57ab9691669c8109d13bf20bc65c6
6f974f3708387dcf61ccb15ff92a91ea3a0c06d1
f9fc3365b999f128005cf062b22ca8d470134c65
8d46d68d2e6b7e9fa5162a457e676a47cc496338


