# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
01a17de717b53cb887c9c7a0775614d2c2222a79


