# isabelle_session_info

session_name: Quick_Sort_Cost
sources: 8a42eba3b14cf9d7a040139e6f5e7f6173f24cd6
output_heap: af855bbbb6d2a81c10e4e10c1a47fb62565d2c88
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
386744bb6b75820dd10c5e18faf5c4419e2f36ca


