# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 1fa62439ecf61d056370a2a1d9a635e4a4571db8
output_heap: 8786616d045be98a4adc5f1d3623b4f4bb0dec64
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
c713c629a7578f1617c8aa485eed6827da974c4e


