# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f8606834402657850608b338b93530e67b5e0df1
input_heaps:
3332edf39847f1628d35f5610cfefa768193eb62
cc7658c0667840e71fec6de22d6d5d51b1c00f17
a25ee70f8e3dd501a92f2ed1b364eb900d0726f3


