# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: c6c0641134255d4a74e80a68ca1f087d4f58f3bb
output_heap: 89d95aa40d1257550e3fe8319e0cb69dbd0c3fe2
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
ab58c73c43072a722217713615f96ad2250391b9
a71ced17e46cd53818d03b0cc7148a4e10d04958


