# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
726f8e01949c7e86b4f11f4594174b1d2b635507
a986defa655f1926e0e24e2cd611b02c47d519a3
bafa67240816f50a370a8091bbde59dd4e970f26
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9


