# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
1f7995e90b37865ea3356d69b09c3bb479779704
3a2bf3fa25db86fd6834b90ded4d7e73ebb0f356
b3d839b63de7bd8171a7e1f57034a598fa946230

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
3c9c1fd15029e7300bba65e28c07e174a74ddd90


