# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
3c2cae9b3493bb988d89b895c2dd3575b43d16f6
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
e239851711910a6527f92e8db31572ec8f52b3c6
db46c2d97862fb5dd860308057c1a116323a2f0d
c7d16a49b695e38a9561a211a55bd45b0e798182


