# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5a74b2ed5212a02e4795e3363669d3ae4c3b1af4
input_heaps:
dd6687a512096fbd242a18d446c4b55d3f2372f6
a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607
a8f35fbe1fce470fe3889b59b636e88778aae171


