# isabelle_session_info

session_name: HOL-Bali
sources: 3b7a07400f25e77fe73fd0b1571e29414b43a407
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5


