# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
bc2c295d9cc586e8d7376b493f8701e87c02b333
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f


