# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
726f8e01949c7e86b4f11f4594174b1d2b635507
a986defa655f1926e0e24e2cd611b02c47d519a3
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f


