# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 3431e58e6ae493c6f6cc01b57b3864e9e53fd047
output_heap: 682f4929764b44137dd8edea53287b272e9940cc
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
213aa27a91885d8623d0e93b79d66d05b4b45fee


