# isabelle_session_info

session_name: Selection_Heap_Sort
sources:
1676ffa397c6b01245be886a0fc3465093811eca
1c27060115e9648bf816700b69770a3801ddc4b1
43df4d75898a7594d38a58028c1d34e4c8433432
7a98efdec282cba4e95e46303dea9e18de8b49b2
9b0bfdee363ab88dfb53d18309548fdde932c30a
b7c9c849f43935a28d59bc64edc0e16b8bdfc610
e09c5735ce29a5a97d451c9f6e7f4bc820d95434
f9aa0873d6651d96d8b47be1d2e18ef3185141c8

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


