# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources: c333e2d7555ab7e77d8aedc498372fa83997b868
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
a2abe554b024808f20211ba5faa2097c20520e83
4e2be6ad0111d9b3d10f9a8e3b23b1fe634fc082
cb27faee1474145fe09b043305e6b30da22c667e


