# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 2471077eae0f29e6b419f0b671af0459cbcded66
output_heap: dd703afac38d76c3be96048d7b64e8b28bdfa138
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ff310911aa494f23f7196f2c943762de682e0524


