# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 51fc10998bf9ad4d5c4b5788aa557184d1fb2629
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
aa63c8d68f414bdf4abf74362e83721179b17b86


