# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3737063340292ffcc2536976ae6c4c0733f9c7b0
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
6ce15cfe496fc88f929de993004b70b2da6eff86


