# isabelle_session_info

session_name: Ptolemys_Theorem
sources:
726f8e01949c7e86b4f11f4594174b1d2b635507
bafa67240816f50a370a8091bbde59dd4e970f26
bc2c295d9cc586e8d7376b493f8701e87c02b333
db09a704f063b4cb99ad8e0ce3249c2ca42e91b9

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fc9bc996dc88f5795916c8392ce9eff6dcc840c


