# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 8db61e1c21978fa27ae640a96787a30054d3faf6
input_heaps:
12f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1
46ad376ad2a6dd11847ad9345c3b8c722d541914
77ae78db190c91e51daa31487ca48b178ffc92d1
a0bf545dc35b872f1b5f0e4885b213aad2691c9c


