# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8ccf4e985d096232b1b75f3ab51f44681b4dc526
input_heaps:
c3f84dba95bf0709c61a37f27d090eafa0bb6b15
5ec4a71d50b92c5aac197cb7db0025929ac32b1d
255127fb796591e74f2dc960c56a52d9004ed9b9


