# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 9943b2461e499fbde11b99134e1d06a1e0f93f99
output_heap: e53bb2e975d5e393e27f2f3b7af13ff2c42f36bc
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
121a5e1d25f87b80067cabdb67b695f48512cd8c


