# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 729fa3a964ca09aafbbe090a900437d2c72c4fe4
input_heaps:
6f3a4f66f1aa7a73b21de80bf8c2e0fe2f71d420
12202e5f526fceaf2c8bba22b48190adfe4186dc
647f20c4a82cd79fd59e45a570648989055aadbc


