# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 82b151f90f7887c42ea88a6f25b4f0403ae757a1
input_heaps:
3d51ec384f4fe0110890543589008d84c8e75ee4
0172210ae3ac6aaa94a4d31e666fffe9e67224e0
76adc2764a45b33095bdf7fd23868bde65ae97a4


