# isabelle_session_info

session_name: Efficient-Mergesort
sources:
17299d3ba8717cd4b2446b784f149c5440aa8081
338f5fc9e0a7f2ef67811da5a8179f13449066e7
6735e2520b3b26c54c995457f3c15c201552842f
994a0fccc0fa771e9040b466dda92c7b26d3507b

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


