# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 0a0e6aeb29a0b62ceb0be8c26357e88f795c45c4
output_heap: 7a55b1a726a797b994d6c6d6903b075d221dc858
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
b756461e3d46a3b8a5e823f554ad3c91b31b9e46


