# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748


