# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1a3135c6802b7162cae1d9967bf02d3259bf4bb4
input_heaps:
bae43dd2951a6b8e1263e49c814c4a696de4b0ad
fa7786099e4357d1af728bd041479c3ee700c993
fa6733aed775814970d512af40272af2aa2a393c


