# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 2eb2b4f44ee43fd7d82937f4141491950ce95f82
input_heaps:
159773851650ac68d3c2cfe38c048d4c887c247c
f1609948a6431f29c3e36d835a829345e7d4b3a1
4f54f37b32fa15f41100b80974f390a2e0e680b2


