# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dc91ef7b259de306b3056e0153b3292b52670624
input_heaps:
a0f0a66fe4b4e42af65fbafc96b4437732b5beb9
5df07e4c8a7f31eb67d22158450f815fe237af54
996df9d2cc9faf9ddda7499b5ba285bf8ab2b96a


