# isabelle_session_info

session_name: Quick_Sort_Cost
output_heap: 32fdbd0860b1854f1fd5fb7e20d0441fb866e030
sources:
00397a27b716a17d9a023df60549d6646efe8e97
0bf9827594e96695f6d45e74577b7df7e7aaec47
0ce0705a136544b2e0d9a293a9499ea15b138513
23c6d5899203f02d2f28f1bf5ec91086d7e86829
354722ec3e35f23cf9e6c4271c1890f3b20abf4f
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
6641f2c5a6c744ad1c12229e57034e74487a313b
68f419cd412071fc1cb358e405581a6757e30acd
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
826bbfd35274c65618e85dc8aec12a4ae2402982
95801de5568ae6e8ab3cc1bb37caea60af70f7eb
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
9c754cf02c05f9dc2366a057400d526c1bd9abdf
ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782
e8f22c5be8f45e8011f66e549fb89b7c2ece6e19

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
9cfa954c1991db4fb676a015b9dcd5e692064dc4


