# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources: 9b4e88d0326976ac78d4bc0832cf49ec75f385c4
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
a719a564881bc4392379bb5b59a6eabc6cfcf740
fec55c93856cba0eb9bef7968d19e70e69c2191d
7aeab69cf69ed7be0c3a3f6aeb7c728cde7a1c92
13d35dad542ff66b2ec88ab2032d67e495291c7c


