# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
3c2cae9b3493bb988d89b895c2dd3575b43d16f6
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
26a337b48b8c63fd275ea93a777a3e7a3401e2e1
43d82483a65cf8b30698af36c334bb4ab4c71b44


