# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 41b1db8bf491dbeadb2b2cf6c9cfa8ea68853897
output_heap: e2abb3a4dc9a8ace8ffddc202d0a2e8519118deb
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
6c8bdc66b0018559a8d36c5f6279d3ff41938c81


