# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 6ab14134e0af35f351faf3fa3eb6068c88b34863
output_heap: 8318dfa85f27d135927d31528fe7c718932c0260
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
9bd9748c2d2e7aa11c37bf27fa98493b5aac7dd3


