# isabelle_session_info

session_name: HOL-SPARK
sources: 853120f7363f440cafdf2d160ae04db615e08159
output_heap: 113487f6cf3dea17a866343c8742b3f8ee2e2d0d
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
0b9c642baf939d258dfd45d0549daedc3df6d63e


