# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
3c2cae9b3493bb988d89b895c2dd3575b43d16f6
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
f013446ba76027b3286f5b8e02f8911162859882
e10af832a830686e469df2bb65936697791c0a85
0af3ffe6e292f2435151ab6bd9f2a1b9fda8510b


