# isabelle_session_info

session_name: Efficient-Mergesort
sources:
17299d3ba8717cd4b2446b784f149c5440aa8081
2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8
338f5fc9e0a7f2ef67811da5a8179f13449066e7
994a0fccc0fa771e9040b466dda92c7b26d3507b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


