# isabelle_session_info

session_name: Sqrt_Babylonian
sources: d98cd4df6864491a43f455b7696ce4d35bdcd83e
output_heap: 9e4465932464e46d5153850f8c3579f992cc1bc0
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
b7130581108fa04fdca37ad5a2f0c69d769d5436


