# isabelle_session_info

session_name: HOL-SPARK
sources: 4e635e881e6827a1c383faff5d0f4b76200ed1c3
output_heap: 41dd1b761213dd118b0fbe23efbb6ad638411ed5
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
0e2dbec035b49eaacdf8a082cb27db5a8a73b0cb


