# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 6121374606dc9598b80179c927e82ace651fb415
output_heap: 634bb4d41d18e897915b2ed445eda7279873bb11
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
43d5ec70b1b9aae7804bf8eddfeef170699f61cc
b2db10665bce6654e310cd64794359b98da71601


