# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 94d3b4702363f29293bca8ca254bbd243d4c799c
output_heap: 2313d657651f9844f843754e23623cc0ace0d91b
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
1b6dd4c6f68494b908b97dd6f4ab365790a44f49
e70a3bd0d72734b257061ec58f28fd6a067138f8


