# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0a359a91231f2d622f813a11e5082c09cf630989
input_heaps:
0d46e8014914da4e1c47dfabe60e74a66f8c0804
3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2
c10602e22d4f2c85803c368e9b7a66b9c82a654b


