# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a181d8ae8f238d797e16ce2d1acac7f2ab23171c
input_heaps:
6c60686a775c17b128fd9cd71424693ae23fa627
4ff4ab262683e151508a9833c0dc0c10d1ef6532
692329694cbebd37395fb3049db5a466761ac84d


