# isabelle_session_info

session_name: TortoiseHare
sources:
059b39b3c71e408ea02474875982517bfad13772
8b68cf377068d359bb682e8177940c0d05e33582
a97ff926b183a752771e2adfec367bde418798fe
bbefb10f486e73c2598db592efdaceb3bea4358f
e6620216318191273215b663199973260548bbd2
fec8b66b788018618e3c3d8415bb381ba89fb008

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


