# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 93460938e24a5eb6ec1f42fab83926374efbdf31
output_heap: 6a26d3d8fb0aabba9eaf08ff19b451e095bd3aad
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
b9823c63ec65db558a030907f9cc1960ca53839e
643f6166177e9595bf3580bd85bf3e1616f84d71


