# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources:
437df7b3387811bbd122c72d851c069f13a3ce99
4eefe214acc9f42eaa94b978559c9f400baa288a
7ffc5ba9164a5135c8a774215c31f31768f1b221
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
9ee7fa0f3f64295afb4c6284bc088e5ca9f17759
e05ac6c1d58904a63b7a98671f7c4a10b7cd2773

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
042732838dc4a8f7b026f268d23dfcd6ac269904
fc1b914ba2d23b917906ac108f7970e9dc4b9313
6e059390ed6ce806450287d900470ef9b6cdef93


