# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 98578f36b25d81434c8f819d5f16614f512045a9
input_heaps:
126b3e7210b637747af3583ce8c4a1dc1eb33510
86dd0d4663cffbd9fb337dc820aef4a636e6ff50
e8cdc0a3010d43eaa0045839661e7eb4beed1601


