# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934


