# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources: b6f2f3c670e611203e1749b46eaa9e146eb626b7
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
dd3b26eb68cac29493bf399898266d7430458d30
41925010390a7ca39d5e8fdfbb3bd98b276f6b29
e5f7731764d92fb248757375cf4e8bbf69f0e9bf


