# isabelle_session_info

session_name: Sturm_Tarski
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
3574328b4a96dbc674908deaa3bca05d51aceca9
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
6ce00b5eddc5266fb1efa1c921c60649721df944
7364e9ccf7ab42c119771af0b30c338443b40c92
7484ac13bdadf5d7db4dce48410fdd5e64a042ca
74c7b3b9fc805b37404841e74148b8988e671d65
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
838f958b45d76730a0be92b27d51a00c732b3a44
88bddf642f8d245e56518b669478e3610b2e7f45
9a5f87b9c4b437be0d52ba1bec0b07f7d035c655
9b9e177591d02c11b520dec097a77fabd4864729
a6d881014016ac510413e96c94577bf126ea335f
ba3b3a5730257d7f4916bd70913829a914ccdf7a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d9c238d1006300c8d53bbc0550a820903309c88c
f83abfa96c2346ecc68d747c8f1846d73e577b2e


