# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d1c553daf453dbe39579c75d4195a72fd6b1cdb
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
0baae9c3cc55bb46e0f3289b05054103bd7cc2d6
ff1389949cdf050e4858f4609bb6126493d7de8b


