# isabelle_session_info

session_name: Real_Impl
sources: b02f65cbc2f3c1d0161061440a260a5e814720a7
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
3e8ee9c07416ed69003b2e8a1f2747d851db45fe
067d04a47c65624391561af867daea66f5706de1


