# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 59eb66ff25920cfe2c6f2d09399ca587d68a1261
input_heaps:
dc9a9988939d5185ce4d58109b3c7ffc48063b65
00b3fd39e96e18bf037b747e64925783ae796195
ee4225d4649ba6ffba6642cf950c436e5eac9c63


