# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 926fc92c9e10ec1a104e454f28effef6a8bc9587
output_heap: f2afefd1f6b3a515b1db6af8538b56f9346126b0
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
e772b8cc58ae397ae37117b59bd90f6c0ca9413e


