# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 8db61e1c21978fa27ae640a96787a30054d3faf6
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
1f987d3462968c9153d897fd0d45a009d1a6c161
d138de3797cc9aea7184125ca660927a96e5c361


