# isabelle_session_info

session_name: Selection_Heap_Sort
sources:
1676ffa397c6b01245be886a0fc3465093811eca
1b8cffaac62432b874fa8bff5f4c19b3748f0ca1
43df4d75898a7594d38a58028c1d34e4c8433432
7a98efdec282cba4e95e46303dea9e18de8b49b2
9b0bfdee363ab88dfb53d18309548fdde932c30a
af69fe4884476a8acbc0986000bacef6fe8b57dc
b7c9c849f43935a28d59bc64edc0e16b8bdfc610
bc771762a05134324001f2675ab4d55bc2efabfc

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


