# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 7e69f3a0ecb3f17bd816da37f84bb1585ef8d80a
output_heap: 067d04a47c65624391561af867daea66f5706de1
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
3e8ee9c07416ed69003b2e8a1f2747d851db45fe


