# isabelle_session_info

session_name: Comparison_Sort_Lower_Bound
sources: 2c1f77fa8c74ade5584471126318c16255958011
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
b343917444c41539516ff2ead8444841a71abc9c
52afec1465445a0a2a7c5124b8b3876e683c726b
b6e20dd48862ed9ea5de715b3174bb0a2f9b5831
2425cc6441a5c42823815ac59e10b3a813e113b0


