# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1e9c5c1c7a114e089f8149f0f28605945a530378
input_heaps:
e84f79adc9fae80ecce744260a10d713e14975f7
a21ea278ac8fad69f4ecd3913a79992386534467
7e130142dcf2b7c71c8d76aed5f2b06045777dab


