# isabelle_session_info

session_name: TortoiseHare
sources:
059b39b3c71e408ea02474875982517bfad13772
0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad
42400f19e8830f3eb7eef1e599b0298d3a617449
8b68cf377068d359bb682e8177940c0d05e33582
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


