# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: aba2790fd5162c8a1076c0317fb326e8697e9ea5
input_heaps:
39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7
945f328ae679b2c2573e1277807dc9c4099a3d18
9d3865db46433725fc09ce594b61c34d36f15e1a


