# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
d0588517c8f6cbe01daa7d05f7b6fd5a31064a65
ce40a574e7f863c3c93eb865ad6e1dff930a9d4b
d82964badec0f83c453fe39bc6e6a6526cf6dfc7


