# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 11ee20c958862cb0d5e6dfa6876ec40fa4de6a5f
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
8299fc860ca605d42055d4569ce45da8c35d31f8
24f65aee7f41406716babf1baec877dd5c6e2a54


