# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 9df2c3933ebc5f5837cb943719812eee85e9f4a2
output_heap: 1207c467f521d2683ec2994ea425654c6972b025
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
9f2faf180d8cb16ee0dee490a9f95330bdb4d786


