# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 349023bf70f91bdfe2a1e470139eeff22ad95ca4
output_heap: 5f653b57b690db820cc0a6ad0235449c636038ff
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
b7ea345064e6ade7544c71fbd991740359381db8
87c1a6936225b83c12473f74f6cdff18b3fd694e


