# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 2e6fd7fc143e777069410b3c7cd9fc1ddf56aa26
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
caa7d4ae12415bcf6cf3ea1992b00b499263dc83


