# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


