# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: beee6a6c728f91740101baf39c9a763121591ae1
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
3ed0a4251ff3beeb59b01914ef887c9a84095061


