# isabelle_session_info

session_name: Shivers-CFA
sources: 6c24e53d56ef538e3ffba53b390aa0ff8e7e0684
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
de9ff781461484f19324503b789f1b48b37a2b24


