# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
0b725abec58eed00a409d12a3a78106616ef493f


