# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources:
4eefe214acc9f42eaa94b978559c9f400baa288a
68f419cd412071fc1cb358e405581a6757e30acd
79b9a12952b4b038d65323baa7d33a28cd2888df
7ffc5ba9164a5135c8a774215c31f31768f1b221
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
b8d3a5b7b8837bd2db3847e3a0f26b566f587ba5

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
56381e65d929be2b28a6c2758bba2a0736db6379
29110a4e09e200d6dc1e9ce4b375890a6b2e6a91
e75d820ac5dac6afcc211f8e179afca7e6365a68


