# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
ec4bfbb6a63caf0ea8aa70f1b470e318f747ad33
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
4f18e9a530820a3095133bc8c220a97b46c0c5a4


