# isabelle_session_info

session_name: Sqrt_Babylonian
output_heap: 8dbf65189602510ece9f7b304b777bad5b004984
sources:
0f545a212cb2579fd93200014db1f9b0b841bbf8
30bb572f70dbc9e84164316c4e3bbe24d4073853
5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d
64a845b1220ceee7d28a066e234aff43a3785d06
7372831dab65a2016ffaa58ae1f3c890e16253b0
942048c211146fca0ed89d8bc8c594e9750c1b8d
c0b968d23a82977de5c5376fdc0961634308f36b

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
72889b77a7cca4b0bb35d2db48a45d4609dfcf95


