# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources: 0b429585874987282dc3339edf09fbed96bd1631
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
46924ae7fdf2d3b6dfe0db46173b9c412365c8f6
61c087ceec5be1c7d2527cff8d57a8b2b4981d50
71833d7c809fbd162632edd463443e6d3a2b3308


