# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 285c9c95aa2d7c3855d202fa0b75900f5e539fae
input_heaps:
53f1d67548a50d94a90baccfd7c8ce511a3e1b4a
f6118ffad2997e518d2c1b8be12985c8c95a4176
869c5ba72da07c949134677a759da421389b2470


