# isabelle_session_info

session_name: Sqrt_Babylonian
sources: d5d787775a4e693f20b038b37dd011370406d975
output_heap: b42e4e0d00fdbd2abe0856dd0285275e852872c1
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
10be064e9ea2fbddd563517c2c7b4dc2c5da3590


