# isabelle_session_info

session_name: Shivers-CFA
sources: 93ce0cd1b6b07e1ff18c7845695455e66075a098
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
f2a43879b50b268ff2db3f5692adc58efb8d10c1


