# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
437df7b3387811bbd122c72d851c069f13a3ce99
4eefe214acc9f42eaa94b978559c9f400baa288a
7ffc5ba9164a5135c8a774215c31f31768f1b221
80d8111260c526587926492cc7fd3fcaca862676
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
b9ebefe63206634b984e3c42f405b18029f4964a

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd
b6311d76534b540eec642c74066d630e7a3d1978


