# isabelle_session_info

session_name: Sqrt_Babylonian
sources: ceaf66caa9ac89f79ba6bf453fc481a53cb25932
output_heap: 0fbe1bd9c216a5c50a50c66301b7251887f39b5c
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
a3b2c7dc26c5339a49796d9398ca1b5e98854a74


