# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303


