# isabelle_session_info

session_name: Akra_Bazzi
sources: 6c4fe887c5e748ae6b84a85e055a4be8f4359872
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
07d27bba7e668c5bf69f11575f03da7ac2b1ffa3
cd582e0b383f0e773cc2649cb947dbd3e451fedc


