# isabelle_session_info

session_name: Sturm_Tarski
sources:
373e17a74a5d45401c95237fd8ea5f1c9a3245c0
7484ac13bdadf5d7db4dce48410fdd5e64a042ca
8f93cf5fe04be3e267c8f2d2c7b05cd3d346f05b
c717c73f0a67903194e6112d21cf74647899fe92
d9c238d1006300c8d53bbc0550a820903309c88c

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
26a337b48b8c63fd275ea93a777a3e7a3401e2e1


