# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 31f0531774555f02afa91e7919b1f43f9019d5b6
output_heap: c9fe27b3eb6fb31b1dcc96554066a6f44dd5cab3
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
f1ca85cce59105a84d4be084927ee474b9dfc8f0


