# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 1fcb46dae713eef55201abf549a06e9a6caf8fae
output_heap: bdb8a59f412f5370c0a7e65ef6957caba2f3ade7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
eb89a81453533b4eaa79a4f4f0fb24feff2c9840


