# isabelle_session_info

session_name: HOL-Bali
sources: b2f3beedfcb55dd4fe4ff44ced016d1e51cc7e4e
input_heaps:
a7e0098c16fd923224d12b7191f69f9fa4d76b8d
47bb6935461017c83f2b18eba239137ac1b6429b
6d7cf6dc69fdde7813b48ebf04886b7ee334a278


