# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 37442499a082ca73c8d5e03e3680935263441f0f a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
014fdf73a0b928fde39c061b3b448884e65fa152
f4f811683dcda440eaf96bee8739ce28e3523afa
b451a5a8d197850f0eeb96d54db4a6056944d796


