# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1359d60e78d95fcef4bd24effd2d287938689be5
input_heaps:
6b7ea948c08a4808501358e80052aac147b7eae5
c30c18fd78f34edd677a1ed4a755fbc1bde8fcf8
f54e2f325c0f1aa05eb65d7eb66304a6e6e57a2c


