# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 2e3771fb1dafe1f37f8d872b8d72f312b20ce138
output_heap: f4ffa67dedd0c1921107ddbc2a4d29d5c3e4fa83
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
638267a28063c11f1cf1dfa5a0f5a806d6a9a1d9


