# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 7e2304ccb7335c01356f4bfdf74783d81426b28a
output_heap: 31e92ecf336af1e1f074ffdbd7ef05963629be1e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
cf5c49d97b0589e9ca64c8fe1f9553cf674362d2


