# isabelle_session_info

session_name: TortoiseHare
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
059b39b3c71e408ea02474875982517bfad13772
0e2946d92be93c75cc5d9d40392354f701718436
19e2cf0910b7071efb7af8472164cf296f5e5ce5
42400f19e8830f3eb7eef1e599b0298d3a617449
8b68cf377068d359bb682e8177940c0d05e33582
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008


