# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: a50229e0230673eb7636a75487eb99a5120c58ed
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
c4289df73d2da3e7667555eaaece5ebda01e36a0
7ac71d6ef92d5aea59dce7db87427d9ed2b221a1


