# isabelle_session_info

session_name: Sturm_Tarski
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
0f83e9379368d232af1423c3a9685e6e1cf74f88
1e7ab19d32592565d771a2534a2041f54f5896b8
34221437a109a5594ba7786476b5abb5979a2647
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
6ce00b5eddc5266fb1efa1c921c60649721df944
7484ac13bdadf5d7db4dce48410fdd5e64a042ca
767b848e899bf51172cfcafea6b2fd397e8b0312
7968f6322732c3ba03250bfbaf9834d26331cb65
82fce86746f9061205d625fb926c1da3b71e3bc1
838f958b45d76730a0be92b27d51a00c732b3a44
99a313f1db1e1572443b88b26b1db53bf14520a4
9a5f87b9c4b437be0d52ba1bec0b07f7d035c655
a6d881014016ac510413e96c94577bf126ea335f
a983b7dacbcbeca7f189237577759f4195807224
b1414c3ca7d741dc9c3828d873306f24e6963539
b8f70cf488f601fef79bc2af41296acc46bd82b1
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d9c238d1006300c8d53bbc0550a820903309c88c
e8d54a490cccbb1d0c75fbf65c7c8239ae317e04


