# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a181d8ae8f238d797e16ce2d1acac7f2ab23171c
input_heaps:
02c004c6c9aafa82f15da682e96a689a5860ebc7
eaef017979241d0dca2626b9e34da89976cc0785
6594f9fd48a4562d34c159289d5fc2d66927e318


