# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 088862f28c8db5484f48ecb6e27e70b0c25ae5a3
input_heaps:
19126f922e3aa9c20f5a31237f68a37a6d2cdfb1
078fec9a335ed8e63b0d7f40d8edca7f752c4fb3
a8b913143d0ad435dd3ddd75e7c6fe4f2063f171
1e954c8b854259466a0cc12fa5abbdc434638964


