# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d1c553daf453dbe39579c75d4195a72fd6b1cdb
input_heaps:
5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362
8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d
9cf32d1eb8932570d3d46ef0c8b398573ac3fe0f


