# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 9943b2461e499fbde11b99134e1d06a1e0f93f99
output_heap: ab94558959cd636dc3dd1f5cec957b2ca6a21bf9
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
a505eb0c9532d0d71804118811277d022ad9d1e9


