# isabelle_session_info

session_name: Sqrt_Babylonian
sources: 1f017371146fae9b28ea9f169c053f1086bf4608
output_heap: 155f43b5d06df408433339327a678cae5d1b2726
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
8fc452c3a63504e4bb4d7f8033be6ac874270fba


