# isabelle_session_info

session_name: HOL-SPARK
sources: 682adec1863ef242627fecf2bf35b3513a249520
output_heap: a5460a9aa3ac8cdb9dcce11441c1ac939003030a
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117


