# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
3828cb9b0150cc80164976109fa8b4fdc453c9bc
437df7b3387811bbd122c72d851c069f13a3ce99
4eefe214acc9f42eaa94b978559c9f400baa288a
7ffc5ba9164a5135c8a774215c31f31768f1b221
9b6affb3d8b7d65bf9ce5de2a6c590f279758e5f
b1ef7a3ec85404c96c4b02989c93710eb0f9d363

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
bb9ff7587ab10e11055ceb410da95336edaa5ea7
0c2ceec5f61d6c4922d319d4af83d515743fa260


