# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
be88a5128bdffbc661324343b14b9af6efc8373f
ce84bad5ed464a866aa7ae1c27cfc13d71e98abb


