# isabelle_session_info

session_name: TortoiseHare
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
059b39b3c71e408ea02474875982517bfad13772
19e2cf0910b7071efb7af8472164cf296f5e5ce5
3685fc51f7bca5790fab21bd3e79d43dee881507
42400f19e8830f3eb7eef1e599b0298d3a617449
8b68cf377068d359bb682e8177940c0d05e33582
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008


