# isabelle_session_info

session_name: Sqrt_Babylonian
sources: e8463296eec109e2ffe60b0efff9f6cab5983502
output_heap: e3e2cdcd0f70e9198e9ba594d1ef765c49a2e938
input_heaps:
325386da1460dc38f32089d1221024ec932a2181
06bff5eb73bee75606e14d28e9b646bebba8f569
cb64a4dcd3c16eaeedf8aef4e2fe8f4b9921c105


