# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 48e3f421a686a9ea6c4a4926cb9e27b623563135
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
b3d1e8edd7232db3517e3b4b6bef2a8bb235646e
ba068c143d2eed4c0adc5987858cfdf8539513c2


