# isabelle_session_info

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

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
f60747b440ff03a765b404a47b50b781d9eabc9e
5374984b7a57d1249eaae374d8bb9c2ded93e1dc
b6bb7b07d685e2c60c1cc974969bcf0e1c949673


