# isabelle_session_info

session_name: Akra_Bazzi
sources: e0148e46319786be213023a1bfaa1947981a2638
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
197ef942efe1b520e57810c9e607ada8b7573cc3
0d9cd6e72a2d713e7f970ecd8db43a8cb97e1282


