# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 4472254de9329d27f33f9a5223be79f99eb1d80a
output_heap: 66b0e37b6bf2b721bef343f6072ddadb87ed6503
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
edc0236a24935ee0905145f501b97eae0abeeb61
5227800c3847c986039cf1d050a21cb8f0ecc278


