# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20ed40426cc3bb5a2d327ed6c1d78996834f25e6
input_heaps:
da36a99885b072ea1df6da1ecd17877fde202f52
bdf29acc00c9b494811f7778844336d9d406d3ec
114229bf7820a9b073f0c2c11caae4a4476ae6a7


