# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8a73fbb7cec6234a881f9f4c5ee80c002427bfbb
input_heaps:
3c696140ba4d112cb2fa7995799bd7524ef2249f
eff07190d0e5c4290c6a8881892fd85251ecd2a3
9d6810b5fbee17fa00d3c6a391f31930f682a590


