# isabelle_session_info

session_name: Quick_Sort_Cost
sources: d9b02930442738e305d5f7e0cc061209aa0e78db
output_heap: d5ee1fe3a540900bc44cb77410863657c6037569
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
65d80b9f55bd9ee9c1acb629a585b7cb4350661b
dc3e076957ba0d15098d6c3414296f517e3588b5


