# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
3c2cae9b3493bb988d89b895c2dd3575b43d16f6
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7


