# isabelle_session_info

session_name: Sturm_Tarski
sources:
28ab9349f9be4b74f589960d4975586ca3d3aa47
5bfc6c210a6408621584ccaae9e84e3bd4af7643
92c1e31c258336fd9f6fc9bcf86ce88af6df0f71
9d838eb0ed4067720ed0cb0de84198246e74d387
d7a232073248ef822686aed382d19f59323e3fa3

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409


