# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 592e4d969e11fd7a09afaf9349fa4fdf16425db0
output_heap: b3fc770a715319995ce9f79a3561aa6cff0170ea
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
c2f19a2087fc1fca1a87ec45dca28ae44c76d978


