# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 5a7d97e2950663ff0f43e0766ba52dc19d0ec8c6
output_heap: c187f1168a4e05e06ad70fb65dec76a7fc205629
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
33e746cf52dbbfab404bc7e7453fc525bba47f13


