# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c52d55f617774719548693c980f59a253d2046e6
input_heaps:
5f1f4c97eda553942b9ec06e90a078c551996761
43ab74d089e128bd76f985380546492c99756e15
09630bc2cebad732ba7362143d1c36aa29e3b85f


