# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8aff0ad1a5392076dc78f5d8fec1b1f451f97d99
input_heaps:
8bf312bdadee5daf8facd55eb1fd3c8949cfba8b
7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5
bd93adaf280cb69afacaff9b7b754d2acd690361


