# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bf6f944c44ffc29a9cadf81a12b68012eab23191
input_heaps:
fa37635535c1a91559f94a7dc9acf81e08caa63c
108107ba6152a8567743bcd769d1dd970013adfa
e0491affa43ef64307b221499435f247b2079386


