# isabelle_session_info

session_name: TortoiseHare
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
059b39b3c71e408ea02474875982517bfad13772
19e2cf0910b7071efb7af8472164cf296f5e5ce5
42400f19e8830f3eb7eef1e599b0298d3a617449
8b68cf377068d359bb682e8177940c0d05e33582
cef405a4eae01a712fb3cd3a2ac870a2a29b7033
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008


