# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f2246ab3d94f87035fbe1bdea96e8d839f7ccde2
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12
5974925cb3694a763a160b74b2b4d928a1c30f6e


