# isabelle_session_info

session_name: Sturm_Tarski
input_heaps: b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
sources:
181424a1a317e84a0deead29eb9e860ac0a9b092
1bc701f8eb6474e542db12a6b783a92904024b2b
34221437a109a5594ba7786476b5abb5979a2647
3dcf91a101056b97f303a0a607b8222b50ee7c0d
4028b5a92ba314841f49943f7400ea672a8df6bd
441fab4bc7c9e0d12209063e73e87935cd705669
5efbd0ad50d06040cd115e75bf7b2ad5a13499f6
6ce00b5eddc5266fb1efa1c921c60649721df944
70e33af90bc8cad54cfda6c5fab6010b0966bbdf
7484ac13bdadf5d7db4dce48410fdd5e64a042ca
82fce86746f9061205d625fb926c1da3b71e3bc1
831f13aa4d1960e98711722b46c4f16d65a7e454
99a313f1db1e1572443b88b26b1db53bf14520a4
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
c781a5f4788893bc9c14b49b5202d4f9d56d9aa6
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d590558ac27bd56791168a8179e1e46d592628cd
d9c238d1006300c8d53bbc0550a820903309c88c
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad
fa5ed28ef35857c42accd2df3e63f74e86e39731


