# isabelle_session_info

session_name: HOL-SPARK
sources: 0dc020bbc84bf9c44f6ffc3df26a4c66bcfa264e
output_heap: 99865baa09d1ca3b261d766aab076d0504254cbd
input_heaps:
1cdfa493abc57ab9691669c8109d13bf20bc65c6
6f974f3708387dcf61ccb15ff92a91ea3a0c06d1
fa16b1315a077981076674b0f14d35e99bf793f2


