# isabelle_session_info

session_name: TortoiseHare
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
sources:
059b39b3c71e408ea02474875982517bfad13772
19e2cf0910b7071efb7af8472164cf296f5e5ce5
3685fc51f7bca5790fab21bd3e79d43dee881507
42400f19e8830f3eb7eef1e599b0298d3a617449
8b68cf377068d359bb682e8177940c0d05e33582
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008


