# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20ed40426cc3bb5a2d327ed6c1d78996834f25e6
input_heaps:
40d35f92060f57be7e534389481a5efb493217ff
23dce64ed4db5c6ce048649289ec788386d1a713
1f5e61a7d1703438cc5fb4cd5a08d0af49e6da70


