# isabelle_session_info

session_name: Sqrt_Babylonian
sources: d5d787775a4e693f20b038b37dd011370406d975
output_heap: d2ceef6747481e3a48d5e78186015b1af61c8b6f
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
f3c9b9bf08fbf198b987ac3781f9ce41438b597b


