# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
cce5e359cdc08868d80fc98e6846ca4e8992cb71
eadcb1f9d0d0107b0667a2880b65c0d67bf72e95


