# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: eb36d86d056c4a18dcde349f5440a65dfd7383c0
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
6fb23ac2ffb6978e0c7bb3b8d101b97865185255


