# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
437df7b3387811bbd122c72d851c069f13a3ce99
4eefe214acc9f42eaa94b978559c9f400baa288a
7d5e5ded6b7f50c67e0dc6b4e7f533ae8afede4d
7ffc5ba9164a5135c8a774215c31f31768f1b221
b1ef7a3ec85404c96c4b02989c93710eb0f9d363

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
bd0387820c887a5b95904735a0e26b7b975531c4
0a1d261716bd570ccc2ca45098af83aadf1f1b5a
5d56e00380fedcef0abd05b535b3120b366d0ce9


