# isabelle_session_info

session_name: Sqrt_Babylonian
sources: e19d814b0ae7410dc666d3e72054ad9cd57a1593
output_heap: 614a768895461edd7a8123161ae044f379531338
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
933c8c206dbf870e871439b9003613416bd9fa0e


