# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
9aa367bb8061c194cb2caef837c811362fe2f146


