# isabelle_session_info

session_name: Optimal_BST
sources: fa98cd79f52e44ee8ad3758ddf3a585c526bc3e7
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
b34308922ad6ccfe36e0cbdce5dfcc6e04fd2abe


