# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 659ed2edbaf93eabdbfc68b61603fd6c25afe304
output_heap: 0a496fb53864d82dd574f06f205f5464229f3c53
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
a9e5e07d3e096cc585c98d80647bd4ce36240975


